Toeplitz Matrices and Determinants Under the Impetus of the Ising Model

Percy Deift
Courant Institute, NYU
January 28, 2013 - 2:00pm

This is the first of two talks in which the speaker will discuss the development of the theory of Toeplitz matrices and determinants in response to questions arising in the analysis of the Ising model of statistical mechanics. The first talk will be largely historical and the second will describe the state of the art today, including recent results of the speaker and his colleagues Alexander Its and Igor Krasovsky.


New Independent Source Extractors with Exponential Improvement

Xin Li
University of Washington
January 28, 2013 - 11:15am

We study the problem of constructing extractors for independent weak random sources. The probabilistic method shows that such an extractor exists for two sources on n bits with min-entropy k >= 2 log n. On the other hand, explicit constructions are far from optimal. Previously the best known extractor for (n,k) sources requires O(log n/log k) independent sources [Rao06, Barak-Rao-Shaltiel-Wigderson06]. In this talk I will give a new extractor that uses only O(log (log n/log k))+O(1) independent sources. This improves the previous best result exponentially.


Abelian varieties with maximal Galois action on their torsion points

David Zywina
Queen's University; Member, School of Mathematics
January 24, 2013 - 4:30pm

Abstract:
Associated to an abelian variety A/K is a Galois representation which describes the action of the absolute Galois group of K on the torsion points of A. In this talk, we shall describe how large the image of this representation can be (in terms of a number field K and the dimension of A). We achieve this by considering abelian varieties in families and then using a special variant of Hilbert's irreducibility theorem. Some results of Serre on the mod ell Galois image will also be reviewed. (This is joint work with David Zureick-Brown)


Orthogonal factorization in HoTT

Egbert Rijke
Nijmegen Univ/IAS
January 24, 2013 - 11:00am

Homotopy and Univalence

Thorsten Altenkirch
Univ Nottingham/IAS
January 23, 2013 - 11:00am

Sphere Packing Bounds Via Spherical Codes

Henry Cohn
Microsoft Research New England/MIT
January 22, 2013 - 4:30pm

We develop a simple geometric variant of the Kabatiansky-Levenshtein approach to proving sphere packing density bounds. This variant gives a small improvement to the best bounds known in Euclidean space (from 1978) and an exponential improvement in hyperbolic space. Furthermore, we show how to achieve the same results via the Cohn-Elkies linear programming bounds, and we formulate a few problems in harmonic analysis that could lead to even better bounds. This is joint work with Yufei Zhao.


Hamiltonian Evolution Equations -- Where They Come From, What They Are Good For

Juerg Frohlich
ETH Zurich; Member, School of Mathematics
January 22, 2013 - 3:15pm

Several examples of Hamiltonian evolution equations for systems with infinitely many degrees of freedom are presented. It is sketched how these equations can be derived from some underlying quantum dynamics ("mean-field limit") and what kind of physics they describe.


Sparsity Lower Bounds for Dimensionality Reducing Maps

Jelani Nelson
Member, School of Mathematics
January 22, 2013 - 10:30am

Abstract:
We give near-tight lower bounds for the sparsity required in several dimensionality reducing linear maps. In particular, we show:
(1) The sparsity achieved by [Kane-Nelson, SODA 2012] in the sparse Johnson-Lindenstrauss lemma is optimal up to a log(1/eps) factor.
(2) RIP_2 matrices preserving k-space vectors in R^n with the optimal number of rows must be dense as long as k < n / polylog(n).


State of the New Proof Assistant

Daniel Grayson
University of Illinois at Urbana-Champaign; Member, School of Mathematics
January 17, 2013 - 11:00am

Simplicial Types

Peter Lumsdaine
Dalhousie University; Member, School of Mathematics
January 16, 2013 - 11:00am