The purpose of this talk is to give an overview of recent work involving differential equations posed on spaces of probability measures and their use in analyzing controlled multi-agent systems. The study of such systems has seen increased interest in recent years, due to their ubiquity in applications coming from macroeconomics, social behavior, and telecommunications. When the number of agents becomes large, the model can be formally replaced by one involving a mean-field description of the population, analogously to similar models in statistical physics. Justifying this continuum limit is often nontrivial and is sensitive to the type of stochastic noise influencing the population, i.e. idiosyncratic or systemic. We will describe settings for which the convergence to mean field stochastic control problems can be resolved through the analysis of a certain Hamilton-Jacobi-Bellman equation posed on Wasserstein spaces. In particular, we develop new stability and regularity results for the equations. These allow for new convergence results for more general problems, for example, zero-sum stochastic differential games of mean-field type. We conclude with a discussion of some further problems for which the techniques for equations on Wasserstein space may be amenable.

In this talk I will present both mathematical and numerical analysis as well as experiments to study a few basic computational issues in using neural network to approximate functions: (1) the numerical error that can be achieved given a finite machine precision, (2) the learning dynamics and computation cost to achieve certain accuracy, and (3) structured and balanced approximation. These issues are investigated for both approximation and optimization in asymptotic and non-asymptotic regimes.

One way to understand the concentration of the norm of a random matrix X with Gaussian entries is to apply a standard concentration inequality, such as the one for Lipschitz functions of i.i.d. standard Gaussian variables, which yields subgaussian tail bounds on the norm of X. However, as was shown by Tracy and Widom in 1990s, when the entries of X are i.i.d. the norm of X exhibits even sharper concentration. The phenomenon of a function of many i.i.d. variables having strictly smaller tails than those predicted by classical concentration inequalities is sometimes referred to as «superconcentration», a term originally dubbed by Chatterjee. I will discuss novel results that can be interpreted as superconcentration inequalities for the norm of X, where X is a Gaussian random matrix with independent entries and an arbitrary variance profile. We can also view our results as a nonhomogeneous extension of Tracy-Widom-type upper tail estimates for the norm of X.

Distance problems in discrete geometry include fascinating examples of questions that are easy to state and hard to solve. Three of the best known problems of this type, raised in the 40s, are the Erd\H{o}s Unit Distance Problem, his Distinct Distances Problem, and the Hadwiger-Nelson Problem about the chromatic number of the unit distance graph in the plane. I will describe surprisingly tight recent solutions of the analogs of all three problems for typical norms, settling, in a strong form, questions and conjectures of Matou\v{s}ek, of Brass, of Brass, Moser and Pach, and of Chilakamarri. I will also discuss a related work about ordering points according to the sum of their distances from chosen vantage points. The proofs combine Combinatorial, Geometric and Probabilistic methods with tools from Linear Algebra, Topology, and Algebraic Geometry. Based on recent joint works with Matija Buci\'c and Lisa Sauermann, and with Colin Defant, Noah Kravitz and Daniel Zhu.

Dehn surgery is a fundamental construction in topology where one removes a neighborhood of a knot from the three-sphere and reglues to obtain a new three-manifold. The Cosmetic Surgery Conjecture predicts two different surgeries on the same knot always gives different three-manifolds. We discuss how gauge theory, in particular, the Chern-Simons functional, can help approach this problem. This technique allows us to solve the conjecture in essentially all but one case. This is joint work with Ali Daemi and Mike Miller Eismeier.

We study the boundary layer theory for slightly viscous stationary flows forced by an imposed slip velocity at the boundary. According to the theory of Prandtl (1904) and Batchelor (1956), any Euler solution arising in this limit and consisting of a single "eddy" must have constant vorticity. Feynman and Lagerstrom (1956) gave a procedure to select the value of this vorticity by demanding a necessary condition for the existence of a periodic Prandtl boundary layer description. We will show that this condition is also sufficient for the existence of a periodic boundary layer described by the Prandtl equations. This is joint work with S. Iyer and T. Nguyen.

Surface Plasmon Resonance (SPR) assays are a standard approach for quantifying kinetic parameters in antibody-antigen binding reactions. Classical SPR approaches ignore the bivalent structure of antibodies, and use simplified ODE models to estimate effective reaction rates for such interactions. In this work we develop a new SPR protocol, coupling a model that explicitly accounts for the bivalent nature of such interactions and the limited spatial distance over which such interactions can occur, to a SPR assay that provides more features in the generated data. Our approach allows the estimation of bivalent binding kinetics and the spatial extent over which antibodies and antigens can interact, while also providing substantially more robust fits to experimental data compared to classical bivalent ODE models. I will present our new modeling and parameter estimation approach, and demonstrate how it is being used to study interactions between antibodies and spike protein. I will also explain how we make the overall parameter estimation problem computationally feasible via the construction of a surrogate approximation to the (computationally-expensive) particle model. The latter enables fitting of model parameters via standard optimization approaches.

The class number formula describes the behavior of the Dedekind zeta function at s = 0. The Stark conjecture extends the class number formula, describing the behavior of Artin L-functions at s = 0 in terms of units. The Harrisâ??Venkatesh conjecture, originally motivated by the conjectures of Venkatesh and Prasannaâ??Venkatesh on derived Hecke algebras, can be viewed as an analogue to the Stark conjecture modulo p. In this talk, I will draw an introductory picture, formulate a unified conjecture combining Harrisâ??Venkatesh and Stark for modular forms of weight 1, and describe the proof of this in the imaginary dihedral case. Time permitting, I will also describe some new questions and in-progress work modulo pn.

In this talk I will present a recent result showing that for all solutions of the 2d Euler equations with initial vorticity with finite Sobolev smoothness then an initial data dependent norm of the associated Lagrangian flow blows up in infinite time like $t^{\frac{1}{3}}$. This initial data dependent norm quantifies the exact $L^2$ decay of the Fourier transform of the solution. This adapted norm turns out to be the exact quantity that controls a low to high frequency cascade which I will then show to be the quantitative phenomenon behind a microlocal generalized Lyapunov function constructed by Shnirelman.

We'll give a useful description of braids in $\underset{n}{\#}(S^1\times S^2)$ using surgery diagrams, which will allow us to address families of knots in lens spaces that admit fillable positive contact surgery. We also demonstrate that smooth $16$ surgery to the knot $P(-2,3,7)$ bounds a rational ball, which admits a Stein handlebody. This answers a question left open by Thomas Mark and Bülent Tosun.

With Yongyuan Huang and Jun Bo Lau, we recently completed a census of genus-6 curves over the field F_2, and are working on a similar census in genus 7. This uses Mukai's "flowcharts" for describing canonical curves in this genera. We discuss some of the key features of this classification; some aspects of computational group theory required to convert this classification into tractable computations; and some applications of the results, including relative class number problems for function fields, gonality of curves over finite fields (work of Faber-Grantham-Howe), and cohomology of modular curves (work of Canning-Larson and Bergstrom-Canning-Petersen-Schmitt).

In this talk I will lay the foundations of the geometry of p-harmonic forms and L^p-Hodge theory. As an application, I will give strong evidence for (half of) a conjecture of Gromov on the L^p cohomology of negatively curved symmetric spaces.

The infinite Atlas model describes a countable system of competing Brownian particles where the lowest particle gets a unit upward drift and the rest evolve as standard Brownian motions. The stochastic process of gaps between the particles in the infinite Atlas model has a one parameter family {p(a), a > 0} of product form mutually singular stationary distributions. We say that an initial distribution of gaps is in the weak domain of attraction of the stationary measure p(a) if the time averaged laws of the stochastic process of the gaps, when initialized using that distribution, converge to p(a) weakly in the large time limit. We provide general sufficient conditions on the initial gap distribution of the Atlas particles for it to lie in the weak domain of attraction of p(a) for each a. Results on extremality and ergodicity of p(a) will be presented. Finally, I will describe some recent results on fluctuations of the Atlas model from inhomogeneous stationary profiles. This is based on joint work with Sayan Banerjee and Peter Rudzis.

G protein-coupled receptors (GPCRs) are membrane receptors that play a pivotal role in the regulation of reproduction and behavior in humans. Upon binding to specific ligands, they trigger a local cAMP production. Activated receptor are then internalized to different endosomal compartments where they can continue signaling before being recycled or destroyed. Recent studies showed that the different pools of cAMP have different effect on the cell.
In the first part of the talk, I will present a piecewise deterministic Markov process (PDMP) of intracellular signaling. The stochastic part of the model accounts for formation, coagulation, fragmentation and recycling of intracellular vesicles which contain the receptor, whereas the deterministic part of the model represents evolution of chemical reactions due to signaling activity of the receptor. We are interested in the existence of and convergence to a stationary measure. I will present different cases for which we were able to obtain results in this direction.
In the second part of the talk, I will present the numerical workflow (SBML, PEtab and PyPESTO) we use to fit ODEs model of GPCR signaling to longitudinal measure of chemical concentrations (BRET data).

In Newtonian gravity, a self-gravitating gas around a massive object such as a star or a planet is modeled via Vlasov Poisson equation with an external Kepler potential. The presence of this attractive potential allows for bounded trajectories along which the gas neither falls in towards the object or escape to infinity. We focus on this regime and prove first a linear phase mixing result in 3D outside symmetry with exact Kepler potential. Then we also prove a long-time nonlinear phase mixing result in spherical symmetry. The mechanism is phenomenologically similar to Landau damping on a torus but mathematically the situation is quite a lot more complex. This is based on an upcoming joint work with Jonathan Luk at Stanford.

We introduce and analyze a size-structured oocyte population model, with non local nonlinearities on recruitment, growth and mortality rates to take into account interactions between cells. We pay special attention to the form of the recruitment term, and its influence on the asymptotic behavior of the cell population.
This model is well-suited for representing oocyte population dynamics within the fish ovary. The nonlocal nonlinearities enable us to capture the diverse feedback mechanisms acting on the growth of oocytes of varying sizes and on the recruitment of new oocytes.
We firstly investigate the existence and uniqueness of global bounded solutions by transforming the partial differential equation into an equivalent system of integral equations, which can be solved using the Contraction Mapping Principle.
In a second step, we investigate the asymptotic behavior of the model. Under an additional assumption regarding the form of the growth rate, we can, with the use of a classical time-scaling transformation, reduce the study to that of a equation with linear growth speed and nonlinear inflow boundary condition. Using arguments from the theory of abstract semilinear Cauchy problems, we investigate the local stability of stationary solutions of this equation by reducing it to a characteristic equation involving the eigenvalues of the linearized problem around equilibrium states.
When the mortality rate is zero, the study of existence and stability of stationary solutions is simplified. Explicit calculations can be carried out in certain interesting cases.

Stochastic modeling and analysis can help answer pressing medical questions. In this talk, I will attempt to justify this claim by describing recent work on two problems in medicine. The first problem concerns ovarian tissue cryopreservation, which is a proven tool to preserve ovarian follicles prior to gonadotoxic treatments. Can this procedure be applied to healthy women to delay or eliminate menopause? How can it be optimized? The second problem concerns medication nonadherence. What should you do if you miss a dose of medication? How can physicians design dosing regimens that are robust to missed/late doses? I will describe (a) how stochastics theory offers insights into these questions and (b) the mathematical questions that emerge from this investigation. The first problem is based on joint work with Joshua Johnson (University of Colorado School of Medicine), John Emerson (Yale University), and Kutluk Oktay (Yale School of Medicine).

The classical branching rules describe the spectrum of an irreducible complex representation of a compact Lie group to its subgroup. The local Ganâ??Grossâ??Prasad conjecture generalizes the branching problem to classical groups over local fields of characteristic zero. After the pioneering work of Waldspurger, there has been significant progress on the conjecture using various approaches. In my talk, I will introduce a relatively uniform approach to prove the conjecture, including joint work with Z. Luo and joint work with R. Chen and J. Zou.

Hilbert modular surfaces are 2-dimensional analogues of modular curves, parametrizing polarized abelian surfaces with endomorphism and level structure. Modular curves are stratified by genus, and canonical equations for modular curves are obtained from the graded ring of modular forms. Similar to how curves are stratified by genus, surfaces are organized by their numerical invariants; the Enriques-Kodaira classification organizes smooth surfaces by Kodaira dimension, Hodge numbers, and Chern numbers. In this talk, we explain how to compute these invariants and equations for certain Hilbert modular surfaces. This is joint work with Eran Assaf, Angie Babei, Ben Breen, Sara Chari, Edgar Costa, Juanita Duque-Rosero, Alex Horawa, Jean Kieffer, Avi Kulkarni, Grant Molnar, Abhijit S. Mudigonda, Michael Musty, Sam Schiavone, Shikhin Sethi, and Samuel Tripp.