Previous Conferences & Workshops

Mar
23
2016

Analysis Seminar

Universality for random matrices beyond mean field models
4:30pm|S-101

The goal of this talk is to explain universality for random band matrices, for band width comparable to the matrix size. Patching of quantum unique ergodicity on successive blocks plays a key role in proving random matrix statistics for such non...

Mar
22
2016

Geometric Structures on 3-manifolds

Slowly converging pseudo-Anosovs
Mark Bell
2:00pm|S-101

A classical property of pseudo-Anosov mapping classes is that they act on the space of projective measured laminations with north-south dynamics. This means that under iteration of such a mapping class, laminations converge exponentially quickly...

Mar
22
2016

Computer Science/Discrete Mathematics Seminar II

The Resolution proof system
10:30am|S-101

The Resolution proof system is perhaps the simplest and most universally used in verification system and automated theorem proving. It was introduced by Davis and Putnam in 1960. The study of its efficiency, both in terms of proof length of natural...

Mar
21
2016

Joint IAS/Princeton University Symplectic Geometry Seminar

Stable homotopy theory and Floer theory
Thomas Kragh
3:10pm|S-101

In this talk I will define and explain some basic notions from stable homotopy theory, and illustrate how it relates to (and refines) the notion of Floer homology in some simple cases. I will also discuss what extra kind of information this...

Mar
21
2016

Members’ Seminar

An introduction to the abc conjecture
Héctor Pastén Vásquez
2:00pm|S-101

In this talk I will discuss some classical and new applications of the abc conjecture, its relation to conjectures about elliptic curves, and some (admittedly weak) unconditional partial results.

Mar
21
2016

Computer Science/Discrete Mathematics Seminar I

Polynomial-time tensor decompositions via sum-of-squares
Tengyu Ma
11:15am|S-101

Tensor decompositions have been the key algorithmic components in provable learning of a wide range of hidden variable models such as topic models, Gaussian mixture models, independent component analysis, dictionary learning. Despite its success...

Mar
18
2016

Geometric Structures on 3-manifolds

Counting closed orbits of Anosov flows in free homotopy classes
2:00pm|S-101

This is joint work with Thomas Barthelme of Penn State University. There are Anosov and pseudo-Anosov flows so that some orbits are freely homotopic to infinitely many other orbits. An Anosov flow is $R$-covered if either the stable or unstable...

Mar
17
2016

Hermann Weyl Lectures

Weyl groups, and their generalizations, in enumerative geometry III
4:00pm|S-101

These lectures will be about enumerative K-theory of curves (and more general 1-dimensional sheaves) in algebraic threefolds. In the first lecture, we will set up the enumerative problem and survey what we know and what we conjecture about it. In...

Mar
16
2016

Mathematical Conversations

p-adic numbers in cryptography and data compression
6:00pm|Dilworth Room

The $p$-adic numbers are finally entering the realm of engineering. I will give several examples of how they arise in applications.

Mar
16
2016

Hermann Weyl Lectures

Weyl groups, and their generalizations, in enumerative geometry II
4:00pm

These lectures will be about enumerative K-theory of curves (and more general 1-dimensional sheaves) in algebraic threefolds. In the first lecture, we will set up the enumerative problem and survey what we know and what we conjecture about it. In...