Motivated by G2-manifolds with coassociative fibrations in the adiabatic limit, Donaldson and Scaduto conjectured the existence of associative submanifolds homeomorphic to a three-holed 3-sphere with three asymptotically cylindrical ends in X \times R^3, where X is an A2-type ALE hyperkähler manifold. We prove this conjecture by solving a real Monge-Ampère equation with singular right hand side. The method produces many other asymptotically cylindrical U(1)-invariant special Lagrangians in X \times R^2, where X arises from the Gibbons-Hawking construction. This is joint work in progress with Saman Habibi Esfahani.

In this talk, we discuss the distributions of class groups of orders in number fields. We explain how studying such distributions is related to counting integral orbits having bounded invariants that lie inside the cusps of fundamental domains for coregular representations. We introduce two new methods to solve this counting problem, and as an application, we demonstrate how to determine the average size of the 2-torsion in the class groups of cubic orders. Much of this work is joint with Arul Shankar, Artane Siad, and Ila Varma.

We define an equivariant Lagrangian Floer theory on compact symplectic toric manifolds for the subtorus actions. We prove that the set of Lagrangian torus fibers (with weak bounding cochain data) with non-vanishing equivariant Lagrangian Floer cohomology forms a rigid analytic space. We can apply tropical geometry to locate such Lagrangian torus fibers in the moment map. We show that these Lagrangian submanifolds are nondisplaceable by equivariant Hamiltonian diffeomorphisms.

Ossian Bonnet (1819–1892) classified the surfaces in Euclidean 3-space that can be isometrically deformed without changing the mean curvature function H, showing that there are two types: the surfaces of constant mean curvature and a 4-dimensional ‘exceptional family’ (with variable mean curvature) that are now known as Bonnet surfaces. The corresponding problem in affine 3-space is much more difficult, and the full classification is still unknown. More than 10 years ago, I classified the affine surfaces that can isometrically deformed (with respect to the induced Blaschke metric) while preserving their affine mean curvature in a 3-dimensional family (the maximum dimension possible), showing that they depend on 2 functions of 1 variable in Cartan’s sense. When I gave a talk* in this seminar about these results on September 10, 2013, I only knew that these surfaces corresponded to pseudoholomorphic curves in a certain almost-complex surface. However, I have recently shown that the structure equations for these mysterious surfaces can be interpreted as describing holomorphic Legendrian curves in CP^3 subject to a natural positivity condition, and the integration corresponds to a flat sp(2,R) connection, i.e., they can be interpreted as a Lax pair, but of a very special kind, for which the integration can be effected explicitly. I’ll explain these results and use them to show how the classical problem of determining the affine surfaces with constant affine mean curvature and constant Gauss curvature of the Blaschke metric can be explicitly integrated, which, heretofore, was unknown. * https://www4.math.duke.edu/media/watch_video.php?v=6948e657e69cadbaa1a6915335e9ea87

I will propose a way to combine the theory of translation functors with the trace formula to study automorphic representations of connected semisimple anisotropic algebraic groups over the rational numbers whose Archimedean component is a limit of discrete series. I will explain the main ideas of the derivation of a trace formula which, modulo a conjecture on the decomposition of the tensor product of a limit of discrete series with a finite-dimensional representation into basic representations, allows to isolate the non-Archimedean parts of a finite family of C-algebraic automorphic representations containing the ones whose Archimedean component is a given limit of discrete series.

We discuss the following recent result of the speaker. Suppose a closed 3-manifold M has scalar curvature at least 1, and has nontrivial second homotopy group, and is not covered by the cylinder (S^2)*R. Then the pi_2-systole of M (i.e. the minimal area in the second homotopy group) is bounded by a constant that is approximately 5.44pi. If we include quotients of cylinder into consideration, then the best upper bound is weakened to 8_pi. This shows a topological gap in the pi_2-systolic inequality. We will discuss the ideas behind this theorem, as well as the proof using Huisken and Ilmanen’s weak inverse mean curvature flow.

Strikingly regular, large-scale patterns of vegetation growth were first documented by aerial photography in the Horn of Africa circa 1950 and are now known to exist in drylands across the globe. The patterns often appear on very gently sloped terrain as bands of dense vegetation alternating with bare soil, and models suggest that they may be a strategy for maximizing usage of the limited water available. A particular challenge for modeling these patterns is appropriately resolving fast processes such as surface water flow during rainstorms while still being able to capture slow dynamics such as the uphill migration of the vegetation bands, which has been observed to occur on the scale of a band width per century. We propose a pulsed-precipitation model that treats rainstorms as instantaneous kicks to the soil water as it interacts with vegetation on the timescale of plant growth. We use a stochastic rainfall model with the influence of fast storm-level hydrology captured by the spatial distribution of the soil water kicks. The model allows for predictions about the influence of storm characteristics on the large-scale patterns. Analysis and simulations suggest that the distance water travels on the surface before infiltrating into the soil during a typical storm plays a key role in determining the spacing between the bands.

Integrable stochastic particle systems in one space dimension, like the Totally Asymmetric Simple Exclusion Process (TASEP), have been studied for over 50 years (introduced simultaneously in biology and mathematics in 1969-70). They strike a balance between being simple enough to be mathematically tractable and complicated enough to describe many interesting phenomena. Many natural questions about these systems can be generalized by introducing multiple parameters. The interplay between these parameters is powered by the Yang-Baxter equation, which brings new intriguing results to the well-traveled territory. In particular, I will discuss new Lax-type equations for the Markov semigroups of the TASEP and its relatives. Based on a joint work with Axel Saenz.

This talk will be about the convergence problem in mean field control (MFC), i.e. the challenge of rigorously justifying the convergence of certain "symmetric" $N$-particle stochastic control problems towards their mean field counterparts. On the one hand, this convergence problem is already well-understood from a qualitative perspective, thanks to powerful probabilistic techniques based on compactness. On the other hand, quantitative results (i.e. rates of convergence) are more difficult to obtain, in large part because the value function of the mean field problem (which is also the solution to a certain Hamilton-Jacobi equation on the Wasserstein space) may fail to be $C^1$, even if all the data is smooth. After giving an overview of the convergence problem, I will discuss the results of two recent joint works with Cardaliaguet, Daudin, Delarue, and Souganidis, in which we use some ideas from the theory of viscosity solutions to overcome this lack of regularity and obtain rates of convergence of the $N$-particle value functions towards the value function of the corresponding MFC problem.

In 2020, Bhargava, Shankar, Taniguchi, Thorne, Tsimerman, and Zhao established that, for a given number field $K$ with a degree $n\geq 5$, the size of the $2$-torsion is bounded by $h_{2}(K) \ll D^{\frac{1}{2}-\frac{1}{2n}}$, where $D_{K}$ is the discriminant of $K$ over $\mathbb{Q}$. In this presentation, we will introduce new bounds that take into account the geometry of the lattice underlying the ring of integers of $K$. This research is a joint project with Pierre Le Boudec.

Reaction-diffusion equations are widely used to model spatial propagation, and constant-speed "traveling waves" play a central role in their dynamics. These waves are well understood in "essentially 1D" domains like cylinders, but much less is known about waves with noncompact transverse structure. In this direction, we will consider traveling waves of the Fisher–KPP reaction-diffusion equation in the Dirichlet half-space. We will see that minimal-speed waves are unique (unlike faster waves) and exhibit curious asymptotics. The arguments rest on the theory of conformal maps and a powerful connection with the probabilistic system known as branching Brownian motion.

This is joint work with Julien Berestycki, Yujin H. Kim, and Bastien Mallein.

Reconstruction problems ask whether or not it is possible to uniquely build a discrete structure from the collection of its substructures of a fixed size. This question has been explored in a wide range of settings, most famously with graphs and the resulting Graph Reconstruction Conjecture due to Kelly and Ulam, but also including geometric sets, jigsaws, and abelian groups. In this talk, we'll consider the reconstruction of random pictures (n-by-n grids with binary entries) from the collection of its k-by-k subgrids and prove a nearly-sharp threshold for k = k(n). Our main proof technique is an adaptation of the Peierls contour method from statistical physics. Joint work with Bhargav Narayanan.

In this talk, we will study strongly negative amphicheiral knots - a class of knots with symmetry. These knots provide torsion elements in the knot concordance group, which are less understood than infinite-order elements. We will introduce the half-Alexander polynomial, an equivariant version of the Alexander polynomial for strongly negative amphicheiral knots, focusing on its applications to knot concordance. In particular, I will show how it facilitated the construction of the first examples of non-slice amphicheiral knots of determinant one. This talk is based on joint work with Keegan Boyle.

Building models for biological, chemical, and physical systems has traditionally relied on domain specific intuition about which interaction and features most strongly influence a system. Statistical methods based in information criteria provide a framework to balance likelihood and model complexity. Recently developed for and applied to dynamical systems, sparse optimization strategies can select a subset of terms from a library that best describe data, automatically interfering model structure. I will discuss my group's application and development of data driven methods for model selection to 1) find simple statistical models to use wastewater surveillance to track the COVID pandemic and 2) recover chaotic systems models from data with hidden variables. I'll briefly discuss current preliminary work and roadblocks in developing new methods for model selection of biological metabolic and regulatory networks.

There are two proofs of Vinogradov's Mean Value Theorem (VMVT), the harmonic analysis decoupling proof by Bourgain, Demeter, and Guth from 2015 and the number theoretic efficient congruencing proof by Wooley from 2017. While there has been some work illustrating the relation between these two methods, VMVT has been around since 1935. It is then natural to ask: What does previous partial progress on VMVT look like in harmonic analysis language? How similar or different does it look from current decoupling proofs? We talk about a classical argument due to Karatsuba that shows VMVT "asymptotically" and interpret this in decoupling language. This is joint work with Brian Cook, Kevin Hughes, Olivier Robert, Akshat Mudgal, and Po-Lam Yung.