**Spectral Theory Sum Rules, Meromorphic Herglotz Functions and Large Deviations**

*Wednesday, January 4, 2017, 10:05 a.m.-10:55 a.m.* *Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Barry Simon**, Caltech

After defining the spectral theory of orthogonal polynomials on the unit circle (OPUC) and real line (OPRL), I'll describe Verblunsky's version of Szegö's as a sum rule for OPUC and the Killip-Simon sum rule for OPRL and their spectral consequences. Next I'll explain the original proof of Killip-Simon using representation theorems for meromorphic Herglotz functions. Finally I'll focus on recent work of Gambo, Nagel and Rouault who obtain the sum rules using large deviations for random matrices.

**Through the Cryptographer's Looking-Glass, and What Alice Found There**

*Wednesday, January 4, 2017, 11:10 a.m.-12:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Alice Silverberg**, University of California, Irvine

I will give an account of my adventures in the wonderlands of mathematics and cryptography. I'll offer some food for thought on how mathematics can be useful in cryptography, how cryptography can motivate research of mathematical interest, and how mathematicians and cryptographers can learn to play well together. A primary focus will be on the quest to find cryptographically useful multilinear maps. Along the way I will share some thoughts that I hope will be helpful on what I learned about community.

**LECTURE I **

**The Focusing Energy Critical Wave Equation**

*Wednesday, January 4, 2017, 1:00 p.m.-2:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Carlos E. Kenig**, University of Chicago

The theory of nonlinear dispersive equations has seen a spectacular development in the last 35 years. The initial works studied the behavior of special solutions such as solitons/traveling waves. Then, there was a systematic study of the well-posedness theory, using extensively tools from harmonic analysis. The last 25 years have seen a lot of interest in the study of the long-time behavior of solutions, for large data. Issues like blow-up, global existence, scattering and long-time asymptotic behavior have come to the forefront, especially in critical problems. We will concentrate the discussion on the energy critical wave equation, in the focusing case. In the defocusing case, it was shown (1990-2000) that all (large) data in the energy space yield global in time solutions which scatter. The focusing case is very different since one can have finite time blow-up, even for solutions which remain bounded in the energy norm, and solutions which exist for all time and are bounded in the energy norm, but do not scatter, for instance traveling waves. In this lecture I will give an overview of the progress in the last 10 years in the program of obtaining a complete understanding of the global dynamics of solutions which remain bounded in the energy space.

See Lecture Notes Here.

**LECTURE II **

**The Focusing Energy Critical Wave Equation: The Radial Case in 3 Space Dimensions**

*Thursday, January 5, 2017, 1:00 p.m.-2:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

In this second lecture we will concentrate on the classification, in terms of their asymptotic behavior, of radial solutions of the focusing energy critical wave equation in the radial three dimensional case. This will include a discussion of the proof of soliton resolution, for solutions bounded in the energy norm (Duyckaerts-Kenig-Merle, 2013).

**LECTURE III **

**The Focusing Energy Critical Wave Equation: The Non-Radial Case**

*Friday, January 6, 2017, 1:00 p.m.-2:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

In this third lecture we will give an outline of the proof of soliton resolution, along a well-chosen sequence of times, for general (non-radial) solutions of the energy critical wave equation which remain bounded in the energy norm (for dimensions 3,4,5,6). This is work of Duyckaerts-Jia-Kenig-Merle from 2016.

**Math by Design: 3D Printing for the Working Mathematician**

*Wednesday, January 4, 2017, 2:15 p.m.-3:05 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Laura Taalman**, James Madison University

Mathematicians often spend their days thinking about ideas that exist only in their minds. In this talk we'll discuss how to use 3D printing to bring models of those ideas into reality, from start to finish. We'll show how to leverage design software to convert mathematical objects into triangular meshes or voxel representations, and then how those digital representations become code that a 3D printer can understand and implement to create real-world objects. Learn how to get started creating your own mathematical 3D design files, level up your existing design skills, or just enjoy watching the process of turning abstract mathematics into physical plastic. Along the way we'll explore the essential importance of failure, not only in the design process but also in the study of mathematics itself.

**Random Polygons, Grassmannians, and A Problem of Lewis Carroll**

*Wednesday, January 4, 2017, 3:20 p.m.-4:10 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Jason Cantarella**, University of Georgia

Lewis Carroll once published a set of mathematical “pillow problems"; brainteasers designed to give the reader something to ponder before going to sleep. One of the problems was this: what is the probability that a randomly chosen triangle is obtuse? This talk will explore a surprising connection between the shapes of polygons and the Grassmann manifold of 2-planes in real or complex n-space. Using this bridge, a number of interesting problems about random polygons and shapes have recently been solved, including explicit computations of some expectations for geometric properties of random polygons and fast algorithms for polygon sampling. The talk will be accessible to a wide mathematical audience, including students, and will also sketch some connections with biology and polymer science.

See Two Different Versions of His Slides Here and Here.

**Quantum Computing and the Entanglement Frontier **

*Wednesday, January 4, 2017, 8:30 p.m.-9:30 p.m*. *Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**John Preskill**, California Institute of Technology

The quantum laws governing atoms and other tiny objects seem to defy common sense, and information encoded in quantum systems has weird properties that baffle our feeble human minds. John Preskill will explain why he loves quantum entanglement, the elusive feature making quantum information fundamentally different from information in the macroscopic world. By exploiting quantum entanglement, quantum computers should be able to solve otherwise intractable problems, with far-reaching applications to cryptology, materials, and fundamental physical science. Preskill is less weird than a quantum computer, and easier to understand.

**From Gauss to Today: Class Numbers and p-torsion in Class Groups of Number Fields**

*Thursday, January 5, 2017, 9:00 a.m.-9:50 a.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Lillian Pierce**, Duke University

Each number field (finite extension of the rationals) has a positive integer associated to it called the class number, defined to be the cardinality of the class group of the field. Class numbers are important objects that arise naturally in many contexts in number theory: for example, Gauss famously investigated class numbers of quadratic fields, in the context of classifying the representation of integers by binary quadratic forms. Today, many deep open questions remain about the structure of class groups and the growth and divisibility properties of class numbers as fields vary over an appropriate infinite family. This talk will focus on the size of the p-torsion subgroup of the class group: it is conjectured that for any number field and any rational prime p, the p-torsion part of the class group of the field should be very small, in a suitable sense, relative to the discriminant of the field. The talk will survey progress on this open problem, from Gauss to today.

**Real Loci in Symplectic Manifolds**

*Thursday, January 5, 2017, 10:05 a.m.-10:55 a.m.* *Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Lisa Jeffrey**, University of Toronto

Let $M$ be a symplectic manifold and let $\sigma$ be an antisymplectic involution on $M$. The real locus is the fixed point set of the involution. It is a Lagrangian submanifold. Suppose also $M$ is equipped with the Hamiltonian action of a torus $T$. It is possible to define a compatibility between $T$ and $M$. This set of ideas was introduced in a 1983 paper by Hans Duistermaat.

In this talk I will describe some developments in this field since Duistermaat's foundational paper. My contributions in this area are joint work with Liviu Mare, and (in a separate project) with Nan-Kuo Ho, Khoa Dang Nguyen and Eugene Xia.

**The Dynamics of Particle Systems by Boltzmann Type Models**

*Thursday, January 5, 2017, 11:10 a.m.-12:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Irene M. Gamba**, University of Texas at Austin

Interacting particle transport or kinetic collisional modeling was introduced in the last quarter of the nineteenth century by L. Boltzmann and J.C. Maxwell, independently, giving birth to the area of mathematical Statistical Mechanics and Thermodynamics. These types of evolution models concern a class of non-local, and non-linear integro-differential problems whose rigorous mathematical treatment and approximations are still emerging in comparison to classical non-linear PDE theory. Their applications range from rarefied elastic and inelastic gas dynamics including very low temperature regimes for quantum interactions, collisional plasmas and electron transport in nanostructures, to self-organized or social interacting dynamics. Based on a Markovian framework of birth and death processes, under the regime of molecular chaos propagation, their evolution is described by equations of non-linear collisional Boltzmann type. We will discuss recent progress in analytical and numerical methods covering form initial and boundary value problems, long time dynamics and stability issues.

**The Many Faces of Dispersive and Wave Equations**

*Thursday, January 5, 2017, 2:15 p.m.-3:05 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Gigliola Staffilani**, Massachusetts Institute of Technology

The mathematical nature of dispersion is the starting point of a very rich mathematical activity that has seen incredible progress in the last twenty years, and that has involved many different branches of mathematics: Fourier and harmonic analysis, analytic number theory, differential and symplectic geometry, dynamical systems and probability. In this talk I will give examples of these diverse directions and related open problems.

**Mathematics for Human Flourishing**

*Friday, January 6, 2017, 9:00 a.m.-9:50 a.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Francis Su**, Harvey Mudd College

Mathematics is often valued for its ability to describe the world in beautiful ways. Indeed, beauty is one of many ideals to which we aspire. But why does the practice of mathematics often fall short of our ideals and hopes? How can the deeply human themes that drive us to do mathematics be channeled to build a more beautiful and just world in which all can truly flourish?

See Transcript of His Talk Here

**Galois Groups and Locally Symmetric Spaces**

*Thursday, January 5, 2017, 3:20 p.m.-4:10 p.m.* *Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Richard Taylor**, Institute for Advanced Study

Langlands proposed an extraordinary correspondence between representations of Galois groups and automorphic forms, which has deep, and completely unexpected, implications for the study of both objects. The simplest special case is Gauss' law of quadratic reciprocity. In the so called `regular, self-dual' case much progress has been made in the roughly 40 years since Langlands made these conjectures. In this talk I will discuss recent progress in regular, but non-self-dual case. In this case the automorphic forms in question can be realized as cohomology classes for arithmetic locally symmetric spaces, i.e quotients of symmetric spaces by discrete groups. Thus instead of the Langlands correspondence being a relationship between algebra and analysis, it can be thought of as a relationship between algebra and topology. This realization of the Langlands correspondence is in many ways more concrete. It also admits to generalizations not envisioned by Langlands, for instance relating mod p Galois representations with mod p cohomology classes. In this talk I will describe the expected Langlands correspondence in the setting of locally symmetric spaces. I will try both to present the general picture and to give numerical examples. I will also describe recent theorems of Lan, Harris, Thorne and myself on the Langlands correspondence in this setting and startling progress of Peter Scholze in the mod p case. I will not attempt to describe the proofs.

**A Tale of Rigidity and Flexibility - Discrete Subgroups of Higher Rank Lie Groups**

*Friday,** January 6, 2017, 10:05 a.m.-10:55 a.m.* *Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Anna Wienhard**, Heidelberg University

Discrete subgroups of Lie groups play an important role in various areas of mathematics. Lattices, discrete subgroups of finite covolume, are fairly well understood, revealing a dichotomy of flexibility and rigidity. Lattices in $\mathrm{SL}(2,\mathbb{R})$ are flexible, each such lattice has a deformation space of positive dimension, which is closely related to the Teichmüller space of a surface. Lattices in $\mathrm{SL}(n,\mathbb{R})$ with $n\geq 2$ are super-rigid, due to a celebrated theorem of Margulis. It is rather difficult to get a handle on discrete subgroups which are not lattices. I will discuss new developments in geometry, low-dimensional topology, number theory, analysis and representation theory that led to the discovery of several interesting families of discrete subgroups which are not lattices, but - quite surprisingly – admit an interesting structure theory, which arises from a combination of flexibility and rigidity. A particular exciting aspect is the discovery of higher Teichmüller spaces and their relation to various areas in mathematics, such as analysis, algebraic geometry, geometry, dynamics, representation theory.

**Distance Correlation: A New Tool for Detecting Association and Measuring Correlation between Data Sets**

*Friday, January 6, 2017, 11:10 a.m.-12:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Donald Richards**, Penn State University

The difficulties of detecting association and establishing causation have fascinated mankind since time immemorial. Democritus, the Greek philosopher, noted the importance of proving causality when he wrote, “I would rather discover one cause than gain the kingdom of Persia."

To address the difficulties of establishing causation, statisticians have developed many inferential techniques. Perhaps the most well-known method stems from Karl Pearson's correlation coefficient, which was introduced in the late 19th century based on ideas of Francis Galton.

I will introduce in this lecture the recently-devised distance correlation coefficient and describe its advantages over Pearson's and other measures of correlation. We will apply the distance correlation coefficient to data from large astro-physical databases, where it is desired to classify galaxies. The lecture also will analyze data arising from a study of the association between state-by-state homicide rates and the stringency of state gun laws.

The lecture will review a remarkable singular integral arising in the theory of distance correlation coefficients. We will show extensions of this integral to truncated Maclaurin expansions of the cosine function and in the theory of spherical functions on symmetric cones.

**Take What You Have Gathered from Coincidence: Understanding and Using Randomness**

*Friday, January 6, 2017, 1:00 p.m.-1:50 p.m. *Regency Ballroom VII, Ballroom Level, Hyatt Regency

**Matthew Richey**, St. Olaf College

What does it mean to be random? We all encounter randomness every day---it is part of how we talk about the weather, sports, and even love. Despite being so familiar, randomness has proven to be an elusive idea to pin down. Even mathematicians have struggled to define randomness, leading to competing and sometimes conflicting definitions. Whatever it is, randomness is a driving force behind many modern computational algorithms. These algorithms --- the Metropolis Algorithm, Markov chain Monte Carlo Methods, and others --- use randomness as the secret ingredient that makes it possible to tackle famously difficult problems such as the Traveling Salesperson Problem and image reconstruction. Using many pictures (and even a few Bob Dylan references), this lecture will reveal the historical quest to define randomness and illustrate how randomness allows us to solve many of today's most challenging applied mathematics problems.

*Friday, January 6, 2017, 1:00 p.m. - 5:00 p.m. Imperial Ballroom A, Marquis Level, Marriott Marquis Atlanta*

**LECTURE I**

**Black Hole Formation and Stability: A Mathematical Investigation**

*Friday, January 6, 2017, Starting at 1:00 p.m.* * Imperial Ballroom A, Marquis Level, Marriott Marquis Atlanta*

**Lydia Bieri**, University of Michigan

The dynamics of the Einstein equations feature the formation of black holes. The latter are related to the presence of trapped surfaces in the spacetime manifold. The mathematical study of these phenomena has gained momentum since D. Christodoulou's breakthrough result proving that in the regime of pure general relativity trapped surfaces form through the focusing of gravitational waves. (The latter were observed for the first time last year by LIGO.) The proof combines new ideas from geometric analysis and nonlinear partial differential equations (pde) as well as it introduces new methods to solve large data problems. These methods have many applications beyond general relativity. D. Christodoulou's result was generalized by S. Klainerman and I. Rodnianski. In this talk, we investigate the dynamics of the Einstein equations, focusing on these works. Moreover, we address the question of stability of black holes and what has been known so far, involving recent works of many contributors.

**LECTURE II**

**Hodge Theory in Combinatorics**

*Friday, January 6, 2017, Starting at 2:00 p.m.* * Imperial Ballroom A, Marquis Level, Marriott Marquis Atlanta*

**Matt Baker**, Georgia Tech

In 2015, Karim Adiprasito, June Huh, and Eric Katz announced a proof of a 50-year old conjecture of Heron, Rota, and Welsh asserting that the coefficients of the characteristic polynomial of a matroid form a log-concave sequence. The proof of this conjecture establishes far more: the authors prove combinatorial analogues of Poincare duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring of an arbitrary matroid. This work opens up new horizons in both algebraic geometry and combinatorics, applying deep algebro-geometric intuition to a combinatorial problem with no direct link to algebraic geometry.

**LECTURE III**

**Tao's Work on the Erdos Discrepancy Problem**

*Friday, January 6, 2017, Starting at 3:00 p.m.* * Imperial Ballroom A, Marquis Level, Marriott Marquis Atlanta*

**Kannan Soundararajan**, Stanford University

The Erdos discrepancy problem asks whether every assignment of signs to the natural numbers must have large imbalances among the multiples of some integer. In 2015 Tao found a remarkable proof that there must be such irregularities. The key is a logarithmic version of the Chowla and Elliott conjectures from multiplicative number theory, which Tao established building upon another breakthrough of Matomaki and Radziwill on multiplicative functions in short intervals. My goal will be to describe some of the story and ideas behind this proof.

**LECTURE IV**

**Statistical Proof and the Problem of Irreproducibility**

*Friday, January 6, 2017, Starting at 4:00 p.m.* * Imperial Ballroom A, Marquis Level, Marriott Marquis Atlanta*

**Susan Holmes**, Stanford University

Data currently generated in the fields of ecology, medicine, climate science and neuroscience often contain tens of thousands of measured variables. Statistical analyses can result in publications whose results are irreproducible.

The field of modern statistics has had to revisit the standard hypothesis testing paradigm. A first step has consisted in the correction for multiplicity in the number of possible variables selected as significant using multiple hypotheses correction and FDR control (Benjamini, Hochberg, 1995). However this does not solve the problem of post-selection inference where the same data is used to choose models and evaluate them. Recent work by groups at the Wharton school (Brown et al.) and at Stanford (Taylor et al.) address these issues.

It remains that the complexity of software and flexibility of choices in tuning parameters can bias the output towards inflation of significant results; neuroscientists recently revisited the problem in the context of fMRI studies.

Formal correction methods cannot accommodate the flexibility available to today's statisticians. I will also present ways that open source tools (Huber, 2015) and publication of code and data can enhance reproducibility.

**Arrival Time**

*Saturday, January 7, 2017, 9:00 a.m.-9:50 a.m.* *Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Tobias Holck Colding**, Massachusetts Institute of Technology

Modeling of a wide range of physical phenomena leads to tracking fronts moving with curvature-dependent speed. A particularly natural example is where the speed is the mean curvature. If the movement is monotone inwards, then the arrival time function is the time when the front arrives at a given point. It has long been known that this function satisfies a natural differential equation in a weak sense but one wonders what is the regularity. It turns out that one can completely answer this question. It is always twice differentiable and the second derivative is only continuous in very rigid situations that have a simple geometric description. The proof weaves together analysis and geometry.

**Finding Meaningful Patterns: the Decoding of the Human Microbiome**

*Saturday, January 7, 2017, 10:05 a.m.-10:55 a.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Susan Holmes, Stanford University**

Modern biological data present multiple challenges akin to code breaking. We can learn from the master codebreakers who worked during World War II how to leverage patterns using mathematics and statistics. Turing and his fellow codebreakers used graphs and alignments to process their data. I will show how similar approaches provide rich insight into the complex dynamics of the human microbiome. We still use the Bayes factors and diversity indices developed in the 1940's to detect changes in the bacterial communities.

*Saturday, January 7, 2017, 3:00 p.m.-4:00 p.m. Atrium Ballroom, Atrium Level, Marriott Marquis Atlanta*

**Ingrid Daubechies**, Duke University

Mathematical tools for image analysis increasingly play a role in helping art historians and art conservators assess the state of conservation of paintings, and probe into the secrets of their history. The talk will review several case studies, Van Gogh, Gauguin, Van Eyck among others.