Colloquia/Fall 2024

Organizers: Dallas Albritton and Michael Kemeny

UW-Madison Mathematics Colloquium is on Fridays at 4:00 pm in Van Vleck B239 unless otherwise noted.

mathcolloquium@g-groups.wisc.edu is the mailing list. Everyone in the math department is subscribed.

date	speaker	title	host(s)
Sept 6	Dan Romik (UC Davis)	Sphere packing in dimension 8, Viazovska's solution, and a new human proof of her modular form inequalities	Gurevitch
Sept 13	No Colloquium
Sept 20	Alireza Golsefidy (UCSD)	Closure of orbits of the pure mapping class group on the character variety	Marshall
Sept 25 (Wednesday) in VV 911 (not in B239)	Qing Nie (UC Irvine)	Systems Learning of Single Cells	Craciun
Oct 4	Su Gao (Nankai University)	Continuous combinatorics of countable abelian group actions	Lempp
Oct 11 in VV 911 (not in B239)	Mikaela Iacobelli (ETH Zurich/IAS Princeton)	Challenges and Breakthroughs in the Mathematics of Plasmas	Li
Oct 18	Guillaume Bal (U Chicago)	Speckle formation of laser light in random media: The Gaussian conjecture	Li, Stechmann
Oct 25	Connor Mooney (UC Irvine)	Minimal graphs in higher codimension	Albritton
Nov 1	Dima Arinkin (UW-Madison)	What is the geometric Langlands conjecture?
Nov 5 (Tuesday), 4-5 pm in Sterling 1313 Nov 6 (Wednesday), 2-3 pm in Sterling 2335 Nov 7 (Thursday), 4-5 pm in VV 911	Maksym Radziwill (Northwestern)	Distinguished Lecture Series	Guo
Nov 15	Matthew Stover (Temple)	Negative curvature, branched covers, and central extensions	Kent
Nov 18 (Monday)	Will Johnson (Fudan)	Model theory, VC classes, and Henselian rings	Miller
Nov 20 (Wednesday)	Jonathan Chaika (Utah)	Recent progress on the horocycle flow on strata of translation surfaces	Zimmer
Nov 22	Peter Morfe (Max Planck Institute, Leipzig)	Passive tracer motion in a random incompressible flow: From diffusive to superdiffusive behavior and back again	Feldman
Nov 25 (Monday)	Mari Kawakatsu (UPenn)	Mathematical models of reputation, polarization, and cooperation	Cochran
Nov 26 (Tuesday), 4-5 pm in Sterling 1310	Marcus Michelen (UIC)	Sphere packing and randomness	Shcherbyna
Nov 29	Thanksgiving holiday break
Dec 3 (Tuesday), 4-5 pm in Sterling 1310	Rajula Srivastava (Edinburgh/Bonn)	Counting, Curvature and Convex Duality	Stovall
Dec 4 (Wednesday)	Niclas Technau (Bonn)	Harmonic Analysis, Number Theory, and fine-scale Statistics	Seeger
Dec 5 (Thursday), 2:30-3:30 pm in 911 VV (not B239)	Jiajie Chen (Courant)	Singularity formation in fluids	Feldman
Dec 6	Robert Lemke Oliver (Tufts)	Symmetries and counting: Finite group theory and arithmetic statistics	Caldararu
Dec 9 (Monday)	Shanyin Tong (Columbia)	A policy iteration method for inverse mean field games	Rycroft

Abstracts

September 6: Dan Romik (UC Davis)

Title: Sphere packing in dimension 8, Viazovska's solution, and a new human proof of her modular form inequalities

Abstract: Maryna Viazovska in 2016 found a remarkable application of complex analysis and the theory of modular forms to a fundamental problem in geometry, obtaining a solution to the sphere packing problem in dimension 8 through an explicit construction of a so-called "magic function" that she defined in terms of classical special functions. The same method also led shortly afterwards to the solution of the sphere packing problem in dimension 24 by her and several collaborators. One component of Viazovska's proof consisted of proving a pair of inequalities satisfied by the modular forms she constructed. Viazovska gave a proof of these inequalities that relied in an essential way on computer calculations. In this talk I will describe the background leading up to Viazovska's groundbreaking proof, and present a new proof of her inequalities that uses only elementary arguments that can be easily checked by a human.

September 20: Alireza Golsefidy (UCSD)

Closure of orbits of the pure mapping class group on the character variety

For every surface S, the pure mapping class group G_S acts on the (SL_2)-character variety Ch_S of a fundamental group P of S. The character variety Ch_S is a scheme over the ring of integers. Classically this action on the real points Ch_S(R) of the character variety has been studied in the context of the Teichmuller theory and SL(2,R)-representations of P. In a seminal work, Goldman studied this action on a subset of Ch_S(R) which comes from SU(2)-representations of P. In this case, Goldman showed that if S is of genus g>1 and zero punctures, then the action of G_S is ergodic. Previte and Xia studied this question from topological point of view, and when g>0, proved that the orbit closure is as large as algebraically possible. Bourgain, Gamburd, and Sarnak studied this action on the F_p-points Ch_S(F_p) of the character variety where S is a puncture torus. They conjectured that in this case, this action has only two orbits, where one of the orbits has only one point. Recently, this conjecture was proved for large enough primes by Chen. When S is an n-punture sphere, the finite orbits of this action on Ch_S(C) are connected to the algebraic solutions of Painleve differential equations. In this talk, I will report on our recent contributions to this theory. Here are some sample results:

• An almost complete description of the Zariski-closure of infinite G_S-orbits in Ch_S(F) where F is a characteristic zero field.

• Answering a question of Goldman-Previte-Xia by understanding the orbit closure of G_S on SU(2)-representation part of Ch_S(R) where S is an n-puncture sphere.

• Show that the original result of Previte and Xia is not accurate and give a description of the cases where it fails.

• Proving that in most cases the closure of G_S-orbits in the p-adic integer points Ch_S(Z_p) are open within given polynomial constrains. We give precise description of exceptional cases.

(This is a joint work with Natallie Tamam.)

September 25: Qing Nie (UC Irvine)

Title: Systems Learning of Single Cells

Cells make fate decisions in response to dynamic environments, and multicellular structures emerge from multiscale interplays among cells and genes in space and time. The recent single-cell genomics technology provides an unprecedented opportunity to profile cells for all their genes. While those measurements provide high-dimensional gene expression profiles for all cells, it requires fixing individual cells that lose many important spatiotemporal information. Is it possible to infer temporal relationships among cells from single or multiple snapshots? How to recover spatial interactions among cells, for example, cell-cell communication? In this talk I will present our newly developed computational tools to study cell fate in the context of single cells as a system. In particular, I will show dynamical models and machine-learning methods, with a focus on inference and analysis of transitional properties of cells and cell-cell communication using both high-dimensional single-cell and spatial transcriptomics, as well as multi-omics data for some cases. Through their applications to various complex systems in development, regeneration, and diseases, we show the discovery power of such methods in addition to identifying areas for further method development for spatiotemporal analysis of single-cell data.

October 4: Su Gao (Nankai University)

Title: Continuous combinatorics of countable abelian group actions

Abstract: We consider combinatorial problems on the free parts of the Bernoulli shift actions of countable abelian groups, such as chromatic numbers, edge chromatic numbers, perfect matchings, etc. These problems can all be regarded as special cases of the problem whether there exist continuous equivariant maps from the free part of the Bernoulli shift action to a subshift of finite type. We prove a master theorem which in theory gives complete answers to the subshift problem. Furthermore, we show that the class of (codes for) all subshifts of finite type with a positive answer to the subshift problem is a complete c.e. set. This is joint work with Steve Jackson, Ed Krohne, and Brandon Seward.

October 11: Mikaela Iacobelli (ETH/IAS)

Title: Challenges and Breakthroughs in the Mathematics of Plasmas

Abstract: This colloquium will explore some fundamental issues in the mathematics of plasmas, focusing on the stability and instability of solutions to Vlasov-type equations, which are crucial for describing the behavior of charged particles in a plasma. A general introduction to kinetic theory is given, making the subject accessible to a wide audience of mathematicians. Key mathematical concepts such as well-posedness, stability, and the behavior of solutions in singular limits are discussed. In addition, a new class of Wasserstein-type distances is introduced, offering new perspectives on the stability of kinetic equations.

October 18: Guillaume Bal (Chicago)

Title: Speckle formation of laser light in random media: The Gaussian conjecture

Abstract: A widely accepted conjecture in the physical literature states that classical wave-fields propagating in random media over large distances eventually follow a complex circular Gaussian distribution. In this limit, the wave intensity becomes exponentially distributed, which corroborates the speckle patterns of, e.g., laser light observed in experiments. This talk reports on recent results settling the conjecture in the weak-coupling, paraxial regime of wave propagation. The limiting macroscopic Gaussian wave-field is fully characterized by a correlation function that satisfies an unusual diffusion equation.

The paraxial model of wave propagation is an approximation of the Helmholtz model where backscattering has been neglected. It is mathematically simpler to analyze but quite accurate practically for wave-fields that maintain a beam-like structure as in the application of laser light propagating in turbulent atmospheres.

The derivation of the limiting model is first obtained in the Itô-Schrödinger regime, where the random medium is replaced by its white noise limit. The resulting stochastic PDE has the main advantage that finite dimensional statistical moments of the wave-field satisfy closed form equations. The proof of the derivation of the macroscopic model is based on showing that these moment solutions are asymptotically those of the Gaussian limit, on obtaining a stochastic continuity (and tightness) result, and on establishing that moments in the paraxial and the Itô-Schrödinger regimes are asymptotically close.

This is joint work with Anjali Nair.

October 25: Connor Mooney (UC Irvine)

Title: Minimal graphs in higher codimension

Abstract: Minimal graphs have been studied since Lagrange wrote the minimal surface equation around 1760. By the 1970s, many beautiful results had been proven for the minimal surface equation (existence, regularity, Bernstein theorem). Around that time, Lawson and Osserman showed that most of these results are false for the minimal surface system. However, there are conditions under which such results can be extended to the minimal surface system, and we've recently answered some fundamental questions about this system that the work of Lawson and Osserman left open. I will discuss a few of these advances.

November 1: Dima Arinkin (UW Madison)

Title: What is the geometric Langlands conjecture?

Abstract: The Langlands program originated in a series of conjectures formulated by Robert Langlands in late 1960's. A geometric version of the conjectures relates two natural spaces associated to a Riemann surface: the space of vector bundles and the space of local systems. The geometric Langlands program went through several transformations and grew to connect many areas of mathematics.

My goal is to provide an informal introduction to the (global) geometric Langlands conjecture, and sketch some recent developments, combining classical ideas and modern tools.

Distinguished Lectures by Maksym Radziwill (Northwestern)

Lecture 1: Tuesday (Nov 5), 4-5pm – Sterling 1313

Lecture 2: Wednesday (Nov 6), 2-3pm – Sterling 2335

Lecture 3: Thursday (Nov 7), 4-5pm – Van Vleck 911

Lecture 1: I will introduce some of the basic properties of the Riemann zeta-function and discuss their arithmetic meaning. I will then explain how these basic properties lead to the Riemann Hypothesis and its significance. Finally I will explain in what circumstances we expect analogues of the Riemann Hypothesis to be true and what happens when we don't expect such analogues to hold.

Lecture 2: I will start by discussing Selberg's central limit theorem, which describes the typical behavior of the Riemann zeta-function. An extrapolation of this result leads to conjectures about global and local maxima of the Riemann zeta-function, which are however wrong in subtle ways. I will then discuss ways in which these predictions can be corrected. This will lead us into a discussion of the random matrix theory model for the Riemann zeta-function (and how it came to be) and a discussion of the recently discovered branching structure (as in "branching random walks") in the Riemann zeta-function.

Lecture 3: I will discuss recent work (joint with Arguin and Bourgade) in which we settle the Fyodorov-Hiary-Keating conjecture concerning the local maxima of the Riemann zeta-function. Based on the second lecture, this conjecture also admits a natural variant describing the maxima of characteristic polynomials of random unitary matrices. The latter has a physical significance that I will explain. I will then explain the broad ideas that appear in the proof of this conjecture and the connections with branching random walks. Time permitting, I will explain the connection with some techniques arising in sieve theory

November 15: Matthew Stover (Temple)

Title: Negative curvature, branched covers, and central extensions

By the classical uniformization theorem, a smooth complex projective curve admits a Riemannian metric of constant curvature $-1$ if and only if the genus is at least two. Mostow and Siu famously proved in 1980 that the analogous problem for higher-dimensional Kähler manifolds has a negative solution: there are $2$-dimensional compact complex manifolds with a negatively curved Kähler metric that do not admit a metric of constant holomorphic sectional curvature. Domingo Toledo and I recently extended this to all higher dimensions by a robust branched cover construction reminiscent of Gromov and Thurston's construction of negatively curved Riemannian $n$-manifolds for each $n \ge 4$ that admit no constant curvature $-1$ metric. It ends up that the key result on the way to our examples is about something called residual finiteness for central extensions of certain fundamental groups. This talk will be a general introduction of the problem of building negatively curved manifolds with no locally symmetric metric, why something like residual finiteness becomes relevant for building branched covers, and a brief overview of how deep results on arithmetic groups provide just the right starting input.

November 18: Will Johnson (Fudan)

Title: Model theory, VC classes, and Henselian rings

Model theory is a subject which analyzes algebraic structures like groups and rings using tools from mathematical logic, such as definability and elementary equivalence. A number of important mathematical structures, such as the fields of real numbers and p-adic numbers, satisfy a special model-theoretic property called "NIP" (or "dependence"). NIP is closely related to the notion of "VC classes" in statistical learning theory—a structure M is NIP if and only if every definable family of sets in M is a VC class.

In the past 20 years, NIP structures have become a central area of research in model theory. It is natural to ask which fields and rings are NIP. While these questions remain open, a conjectural classification of NIP fields has now emerged: almost all NIP fields are expected to arise from Henselian valuation rings. The classification is already known in the "finite-dimensional" case. For rings, the situation is murkier, though we now have a classification of the "one-dimensional" NIP integral domains. Moreover, a growing amount of evidence suggests that NIP integral domains are always Henselian local rings. In this talk, I will sketch how VC classes arise independently in statistics and model theory, and give a high-level overview of what we know and what we expect to hold for NIP fields and NIP commutative rings.

November 20: Jonathan Chaika (Utah)

Title: Recent progress on the horocycle flow on strata of translation surfaces

Abstract: For about 2 decades the horocycle flow on strata of translation surfaces was studied, very successfully, in analogy with unipotent flows on homogeneous spaces, which by work of Ratner, Margulis, Dani and many others, have striking rigidity properties. In the past decade Eskin-Mirzakhani and Eskin-Mirzakhani-Mohammadi proved some analogous rigidity results for SL(2,R) and the full upper triangular subgroup on strata of translation surfaces. This talk will begin by introducing ergodic theory and translation surfaces. Then it will describe some of the previously mentioned rigidity theorems before moving on to its goal, that many such rigidity results fail for the horocycle flow on strata of translation surfaces. Time permitting we will also describe a rigidity result for special sub-objects in strata of translation surfaces. This will include joint work with Osama Khalil, John Smillie, Barak Weiss and Florent Ygouf.

November 22: Peter Morfe (Max Planck Institute, Leipzig)

Title: Passive tracer motion in a random incompressible flow: From diffusive to superdiffusive behavior and back again

Abstract: This talk considers a classical question, namely, the long-time asymptotic behavior of a passive tracer in a random incompressible flow. The model is fairly simple: suppose you are given a fluid flow, which could be quite complicated at small scales, and you drop a small amount of dye into the fluid. (The dye is an example of a “passive tracer.”) How does the fluid mix and carry away the dye as time progresses? As a first question, we could ask how far the dye travels after time T. I will discuss what is known about this problem in the context when the flow velocity is modeled as a stationary random vector field. Classically, mathematicians and physicists studying this question have sought to prove that the passive tracer will exhibit diffusive asymptotic behavior, meaning it travels a distance like the square root of T after time T. However, I will give relatively simple examples that show that anomalous superdiffusive (faster than diffusive) behavior is also possible. Finally, I will describe some recent progress in the analysis of superdiffusive asymptotics in the so-called “critically correlated” case in two dimensions, which is joint work with G. Chatzigeorgiou, F. Otto, C. Wagner, and L. Wang.

November 25: Mari Kawakatsu (UPenn)

Title: Mathematical models of reputation, polarization, and cooperation

Abstract: Addressing contemporary problems of collective action—from pandemic management to climate change—requires that we understand the dynamic interplay between information and behavior. In this talk, I will discuss two models of cooperative behavior coupled with dynamics of information spread. In the first model, we will consider cooperation driven by the spread of social reputations. Using methods from evolutionary game theory and dynamical systems, we develop a mathematical model of cooperation that integrates a mechanistic description of how reputations spread through peer-to-peer gossip. We show that sufficiently long periods of gossip can stabilize cooperation by facilitating consensus about reputations. In the second model, we will examine the dynamics of prosociality under political polarization. We develop a stochastic model of game-theoretic opinion dynamics in a multi-dimensional space of political interests. We show that while increasing the diversity of interests can improve both cooperation and social cohesion, strong partisan bias reduces the effective dimensionality of the opinion space via self-sorting along party lines, yielding greater in-group cooperation at the cost of increasing polarization. Taken together, these studies contribute to our understanding of when and how communication and opinion contagion facilitate cooperation.

November 26: Marcus Michelen (UIC)

Title: Sphere packing and randomness

Abstract: The sphere packing problem asks for the maximum proportion of d-dimensional Euclidean space that can be covered by disjoint identical spheres.  The first result we will discuss is a new lower bound for this problem, which is the first asymptotically growing improvement in all high dimensions since Rogers' bound from 1947.  We will then discuss connections to statistical physics and describe problems concerning the structure of random sphere packings in both Euclidean and non-Euclidean spaces.

December 3: Rajula Srivastava (Edinburgh)

Title: Counting, Curvature and Convex Duality

Abstract: How many rational points with denominator of a given size lie within a specified distance from a compact, "non-degenerate" manifold? A precise answer to this question has significant implications for a host of problems, including the dimension growth conjecture and Diophantine approximation on manifolds. I will describe how the analytic and geometric properties of the manifold critically influence this count, and provide a heuristic for it. Further, I will talk about recent work which leverages Fourier analytic methods to establish the desired asymptotic for manifolds satisfying a strong curvature condition. At the heart of the proof is a bootstrapping argument that combines Poisson summation, convex duality, and oscillatory integral techniques.

December 4: Niclas Technau (Bonn)

Title: Harmonic Analysis, Number Theory, and fine-scale Statistics

Abstract: This talk concerns the resolution of number theoretic problems through pure harmonic analysis. My presentation focuses on correlation functions, which are natural tools to investigate the fine-scale randomness of sequences. The first part of my talk is a general introduction to the area. In the second part, I report on deterministic results (the first of their kind) concerning monomial sequences. This is based on joint work with Christopher Lutsko and Athanasios Sourmelidis.

December 5: Jiajie Chen (Courant)

Title: Singularity formation in fluids

Abstract: Whether the 3D incompressible Euler equations can develop a finite-time singularity from smooth initial data is a long-standing open problem in mathematical fluid mechanics. In this talk, I will begin by providing an overview of this problem and then introduce a framework for stable, nearly self-similar blowup, developed in joint work with Tom Hou (Caltech). Using this framework, we establish singularity formation in the incompressible Euler equations with smooth data and boundary. Additionally, I will briefly present recent results on vorticity blowup in compressible Euler equations and beyond, using the self-similar blowup method.

December 6: Robert Lemke-Oliver (Tufts)

Title: Symmetries and counting: Finite group theory and arithmetic statistics

Abstract: Finite group theory is an old subject that grew at least partially out of a desire to understand the symmetries of roots of polynomial equations. Arithmetic statistics, by contrast, is a comparatively new subfield of number theory, with the term "arithmetic statistics" itself only being coined in the early 2000's. It is now understood to encompass many different kinds of questions, but a central focus is the study of number fields, which are fields obtained from the rational numbers by adjoining roots of polynomial equations. One may therefore think of arithmetic statistics and finite group theory as born out of the same questions, but with divergent paths in the intervening 200 years. In this talk, I hope to convince you that it is time for them to become closer again.

December 9: Shanyin Tong (Columbia))

Title: A policy iteration method for inverse mean field games

Abstract: Mean-field games (MFGs) model non-cooperative games among large populations of agents and are widely applied in areas such as traffic flow, finance, and epidemic control. Inverse mean-field games address the challenge of inferring environmental factors from observed agent behavior. The coupled forward-backward structure of MFG equations makes solving these problems difficult and adds even greater complexity to their inverse problems. In this talk, I will introduce a policy iteration method for solving inverse MFGs. This method simplifies the problem by decoupling it into solving linear PDEs and linear inverse problems, leading to significant computational efficiency. The approach is flexible, accommodating a variety of numerical methods and machine learning tools. I will also present theoretical results that guarantee the convergence of our proposed method, along with numerical examples demonstrating its accuracy and efficiency.