Previous Conferences & Workshops

Dec
06
2010

Computer Science/Discrete Mathematics Seminar I

Nonlinear Dvoretzky Theory
11:15am|S-101

The classical Dvoretzky theorem asserts that for every integer k>1 and every target distortion D>1 there exists an integer n=n(k,D) such that any n-dimensional normed space contains a subspace of dimension k that embeds into Hilbert space with...

Dec
03
2010

Geometry/Dynamical Systems Seminar

A Reidemeister-Singer Conjecture for Surface Diagrams
Jonathan Williams
4:00pm|S-101

There is a way to specify any smooth, closed oriented four-manifold using a surface decorated with simple closed curves, something I call a surface diagram. In this talk I will describe three moves on these objects, two of which are reminiscent of...

Dec
03
2010

Analysis/Mathematical Physics Seminar

Localization and Thermalization in Highly-Excited Many-Body Quantum Systems
David Huse
2:00pm|S-101

As originally proposed by Anderson (1958), a quantum system of many local degrees of freedom with short-range interactions and static disorder may fail to thermally equilibrate, even with strong interactions and high excitation energy density. This...

Dec
03
2010

Introduction to the Univalent Foundations of Mathematics

Constructive Type Theory and Homotopy
11:00am|S-101

In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in terms of Quillen...

Dec
02
2010

Galois Representations and Automorphic Forms Seminar

Relative p-Adic Hodge Theory
2:15pm|S-101

The theory of (\varphi, \Gamma)-modules, which was introduced by Fontaine in the early 90's, classifies local Galois representations into modules over certain power series rings carrying certain extra structures (\varphi and \Gamma). In a recent...

Dec
01
2010

Workshop on Topology: Identifying Order in Complex Systems

Patterns, Universality and Computational Algorithms
Nigel Goldenfeld
4:30pm|S-101

Can we use computational algorithms to make accurate predictions of physical phenomena? In this talk, intended for non-experts, I will give examples where complicated space-time phenomena can be exquisitely captured with simple computational...