In this talk we discuss our recently introduced methods for obtaining strictly positive lower bounds on the top Lyapunov exponent of high-dimensional, stochastic differential equations such as the weakly-damped Lorenz-96 (L96) model or Galerkin truncations of the 2d Navier-Stokes equations (joint with Alex Blumenthal and Sam Punshon-Smith). This hallmark of chaos has long been observed in these models, however, no mathematical proof had previously been made for any type of deterministic or stochastic forcing. The method we proposed combines (A) a new identity connecting the Lyapunov exponents to a Fisher information of the stationary measure of the Markov process tracking tangent directions (the so-called "projective process"); and (B) an L1-based hypoelliptic regularity estimate to show that this (degenerate) Fisher information is an upper bound on some fractional regularity. For L96 and GNSE, we then further reduce the lower bound of the top Lyapunov exponent to proving that the projective process satisfies Hörmander's condition. I will also discuss the recent work of Sam Punshon-Smith and I on verifying this condition for the 2d Galerkin-Navier-Stokes equations in a rectangular, periodic box of any aspect ratio using some special structure of matrix Lie algebras and ideas from computational algebraic geometry.

Perspectives from computational algebra and numerical optimization are brought to bear on a scientific application and a data science application. In the first part of the talk, I will discuss cryo-electron microscopy (cryo-EM), an imaging technique to determine the 3-D shape of macromolecules from many noisy 2-D projections, recognized by the 2017 Chemistry Nobel Prize. Mathematically, cryo-EM presents a particularly rich inverse problem, with unknown orientations, extreme noise, big data and conformational heterogeneity. In particular, this motivates a general framework for statistical estimation under compact group actions, connecting information theory and group invariant theory. In the second part of the talk, I will discuss tensor rank decomposition, a higher-order variant of PCA broadly applicable in data science. A fast algorithm is introduced and analyzed, combining ideas of Sylvester and the power method.

Computational protein design is a transformative field with exciting prospects for advancing both basic science and translational medical research. New algorithms blend discrete and continuous mathematics to address the challenges of creating designer proteins. I will discuss recent progress in this area and some interesting open problems. I will motivate this talk by discussing how, by using continuous geometric representations within a discrete optimization framework, broadly-neutralizing anti-HIV-1 antibodies were computationally designed that are now being tested in humans - the designed antibodies are currently in eight clinical trials (See https://clinicaltrials.gov/ct2/results?cond=&term=VRC07&cntry=&state=&city=&dist= ), one of which is Phase 2a (NCT03721510). These continuous representations model the flexibility and dynamics of biological macromolecules, which are an important structural determinant of function. However, reconstruction of biomolecular dynamics from experimental observables requires the determination of a conformational probability distribution. These distributions are not fully constrained by the limited information from experiments, making the problem ill-posed in the sense of Hadamard. The ill-posed nature of the problem comes from the fact that it has no unique solution. Multiple or even an infinite number of solutions may exist. To avoid the ill-posed nature, the problem must be regularized by making (hopefully reasonable) assumptions. I will present new ways to both represent and visualize correlated inter-domain protein motions (See Figure). We use Bingham distributions, based on a quaternion fit to circular moments of a physics-based quadratic form. To find the optimal solution for the distribution, we designed an efficient, provable branch-and-bound algorithm that exploits the structure of analytical solutions to the trigonometric moment problem. Hence, continuous conformational PDFs can be determined directly from NMR measurements. The representation works especially well for multi-domain systems with broad conformational distributions. Ultimately, this method has parallels to other branches of applied mathematics that balance discrete and continuous representations, including physical geometric algorithms, robotics, computer vision, and robust optimization. I will advocate for using continuous distributions for protein modeling, and describe future work and open problems.

The classical Hardy-Littlewood maximal operators (averaging over families of Euclidean balls and cubes) are known to satisfy L^p bounds that are independent of dimension. This talk will extend these results to spherical maximal functions acting on Cartesian products of cyclic groups equipped with the Hamming metric.

Nonlocal models are experiencing a firm upswing recently as more realistic alternatives to the conventional local models for studying various phenomena from physics and biology to materials and social sciences. In this talk, I will describe our recent effort in taming the computational challenges for nonlocal models. I will first highlight a family of numerical schemes -- the asymptotically compatible schemes -- for nonlocal models that are robust with the modeling parameter approaching an asymptotic limit. Second, fast algorithms will be presented to reduce the high computational cost from the numerical implementation of the nonlocal operators. Although new nonlocal models have been gaining popularity in various applications, they often appear as phenomenological models, such as the peridynamics model in fracture mechanics. Here we will try to provide better perspectives of the origin of nonlocality from multiscale modeling and homogenization, which in turn may help the development of more effective numerical methods for homogenization.

We first discuss a general method to derive macroscopic laws from certain microscopic interactions that can be applied to a large class of particle systems. In particular we consider a broad class of systems that are linear in a special algebra, so-called tropical algebra. Some natural connections among the scaling limits of these random systems, the solutions to specific partial differential equations (Hamilton-Jacobi type) and combinatorial optimization problems have been noticed. If time allows, we further discuss a useful application of the variational formula (microscopic version of Hopf-Lax formula) to a well-known interacting particle system, totally asymmetric simple exclusion process.

The optimal transport (Monge-Kantorovich) problem is a variational problem involving transportation of mass subject to minimizing some kind of energy, and it arises in connection with many parts of math, both pure and applied. In this talk, I will discuss a numerical algorithm to approximate solutions in the semi-discrete case. We propose a damped Newton algorithm which exploits the structure of the associated dual problem, and using geometric implications of the regularity theory of Monge-Amp{\`e}re equations, we are able to rigorously prove global linear convergence and local superlinear convergence of the algorithm. This talk is based on joint work with Quentin M{\’e}rigot and Boris Thibert.

Mean field games (MFGs) study strategic decision-making in large populations where individual players interact via specific mean-field quantities. They have recently gained enormous popularity as powerful research tools with vast applications. For example, the Nash equilibrium of MFGs forms a pair of PDEs, which connects and extends variational optimal transport problems. This talk will present recent progress in this direction, focusing on computational MFG and engineering applications in robotics path planning, pandemics control, and Bayesian/AI sampling algorithms. This is based on joint work with the MURI team led by Stanley Osher (UCLA).

We will discuss two issues in the context of applying deep learning methods to multi-scale molecular modelling: 1) how to construct symmetry-preserving neural network models for scalar and tensorial quantities; 2) how to efficiently explore the relevant configuration space and generate a minimal set of training data. We show that by properly addressing these two issues, one can systematically develop deep learning-based models for electronic properties and interatomic and coarse-grained potentials, which greatly boost the ability of ab-initio molecular dynamics; one can also develop enhanced sampling techniques that are capable of using tens or even hundreds of collective variables to drive phase transition and accelerate structure search

In this talk, I will discuss three ingredients of optimization theory in the context of MCMC: Non-convexity, Acceleration, and Stochasticity.

I will focus on a class of non-convex objective functions arising from mixture models. For that class of objective functions, I will demonstrate that the computational complexity of a simple MCMC algorithm scales linearly with the model dimension, while optimization problems are NP-hard.

I will then study MCMC algorithms as optimization over the KL-divergence in the space of measures. By incorporating a momentum variable, I will discuss an algorithm which performs "accelerated gradient descent" over the KL-divergence. Using optimization-like ideas, a suitable Lyapunov function is constructed to prove that an accelerated convergence rate is obtained.

Finally, I will present a general recipe for constructing stochastic gradient MCMC algorithms that translates the task of finding a valid sampler into one of choosing two matrices. I will then describe how stochastic gradient MCMC algorithms can be applied to applications involving temporally dependent data, where the challenge arises from the need to break the dependencies when considering minibatches of observations.

Matroids are combinatorial objects that model various types of independence. They appear several fields mathematics, including graph theory, combinatorial optimization, and algebraic geometry. In this talk, I will introduce the theory of matroids along with the closely related class of polynomials called strongly log-concave polynomials. Strong log-concavity is a functional property of a real multivariate polynomial that translates to useful conditions on its coefficients. Discrete probability distributions defined by these coefficients inherit several of these nice properties. I will discuss the beautiful real and combinatorial geometry underlying these polynomials and describe applications to random walks on the faces of simplicial complexes. Consequences include proofs of Mason's conjecture that the sequence of numbers of independent sets of a matroid is ultra log-concave and the Mihail-Vazirani conjecture that the basis exchange graph of a matroid has expansion at least one. This is based on joint work with Nima Anari, Kuikui Liu, and Shayan Oveis Gharan.

Given two probability measures and a transportation cost, the optimal transport problem asks to find the most cost efficient way to transport one measure to the other. Since its introduction in 1781 by Gaspard Monge, the optimal transport problem has found applications in logistics, economics, physics, PDEs, and more recently data science. However, despite sustained attention from the numerics community, solving optimal transport problems has been a notoriously difficult task. In this talk I will introduce the back-and-forth method, a new algorithm to efficiently solve the optimal transportation problem for a general class of strictly convex transportation costs. Given two probability measures supported on a discrete grid with n points, the method computes the optimal map in O(n log(n)) operations using O(n) storage space. As a result, the method can compute highly accurate solutions to optimal transportation problems on spatial grids as large as 4096 x 4096 and 384 x 384 x 384 in a matter of minutes. If time permits, I will demonstrate an extension of the algorithm to the simulation of a class of gradient flows. This talk is joint work with Flavien Leger.

In this talk I will discuss the application of techniques initially developed to study singularities of Yang Mill's fields and harmonic maps to obtain Betti number bounds, especially for negatively curved manifolds.

An effort at UNC is involved in understanding key mechanisms in the lung related to defense against pathogens. In diseases ranging from Cystic Fibrosis to asthma, these mechanisms are highly compromised, requiring therapeutic strategies that one would like to be able to quantify or even predict in some way. The Virtual Lung Project has focused on one principal component of lung defense: "the mucus escalator" as it is called in physiology texts. My goal in this lecture, with apologies to Tina Turner, is to give a longwinded answer to "what's math got to do with it?", and at the same time to convey how this collaboration is influencing the applied mathematics experience at UNC.

One of the most fundamental questions in partial differential equations is that of regularity and the possible breakdown of solutions. We will discuss this question for solutions to a canonical example of a geometric wave equation; energy critical wave maps. Break-through works of Krieger-Schlag-Tataru, Rodnianski-Sterbenz and Rapha ̈el-Rodnianski produced examples of wave maps that develop singularities in finite time. These solutions break down by concentrating energy at a point in space (via bubbling a harmonic map) but have a regular limit, away from the singular point, as time approaches the final time of existence. The regular limit is referred to as the radiation. This mechanism of breakdown occurs in many other PDE including energy critical wave equations, Schro ̈dinger maps and Yang-Mills equations. A basic question is the following: • Can we give a precise description of all bubbling singularities for wave maps with the goal of finding the natural unique continuation of such solutions past the singularity? In this talk, we will discuss recent work (joint with J. Jendrej and A. Lawrie) which is the first to directly and explicitly connect the radiative component to the bubbling dynamics by constructing and classifying bubbling solutions with a simple form of prescribed radiation. Our results serve as an important first step in formulating and proving the following Radiative Uniqueness Conjecture for a large class of wave maps: every bubbling solution is uniquely characterized by it’s radiation, and thus, every bubbling solution can be uniquely continued past blow-up time while conserving energy.

A pressure difference across a liquid layer will accelerate it. For incompressible and inviscid motion, it is possible to describe the motion of the surfaces through boundary integral techniques. In particular, dipole distributions can be used together with an external flow that specifies the acceleration. The classical Rayleigh-Taylor instability and the creation of bubbles at an orifice are two important applications. A new method for the numerical approximation of the boundary integrals removes the difficulties associate with surfaces in close proximity.

The kernel-free boundary integral method is a Cartesian grid based method for solving elliptic partial differential equations (PDEs). It solves elliptic PDEs in the framework of boundary integral equations (BIEs). The method evaluates boundary and volume integrals by solving equivalent simple interface problems on Cartesian grids. It takes advantages of the well-conditioning properties of the BIE formulation, the convenience of grid generation with Cartesian grids and the availability of fast and efficient elliptic solvers for the simple interface problems. In this talk, I will present recent developments of the method for the reaction-diffusion equations in computational cardiology, the nonlinear Poisson-Boltzmann equation in biophysics, the Stokes equation in fluid dynamics as well as some free boundary and moving interface problems.

Nonlocal continuum models are in general integro-differential equations in place of the conventional partial differential equations. While nonlocal models show their effectiveness in modeling a number of anomalous and singular processes in physics and material sciences, they also come with increased difficulty in numerical analysis with nonlocality involved. In the first part of this talk, I will discuss nonlocal-to-local coupling techniques so as to improve the computational efficiency of using nonlocal models. This also motivates the development of new mathematical results -- for instance, a new trace theorem that extends the classical results. In the second part of this talk, I will describe our recent effort in computing a nonlocal interface problem arising from segregation of two species with high competition. One species moves according to the classical diffusion and the other adopts a nonlocal strategy. A novel iterative scheme will be presented that constructs a sequence of supersolutions shown to be convergent to the viscosity solution of the interface problem.

Obtaining predictive dynamical equations from data lies at the heart of science and engineering modeling, and is the linchpin of our technology. In mathematical modeling one typically progresses from observations of the world (and some serious thinking!) first to selection of variables, then to equations for a model, and finally to the analysis of the model to make predictions. Good mathematical models give good predictions (and inaccurate ones do not) --- but the computational tools for analyzing them are the same: algorithms that are typically operating on closed form equations.
While the skeleton of the process remains the same, today we witness the development of mathematical techniques that operate directly on observations --- data, and appear to circumvent the serious thinking that goes into selecting variables and parameters and deriving accurate equations. The process then may appear to the user a little like making predictions by "looking into a crystal ball". Yet the "serious thinking" is still there and uses the same --- and some new --- mathematics: it goes into building algorithms that "jump directly" from data to the analysis of the model (which is now not available in closed form) so as to make predictions. Our work here presents a couple of efforts that illustrate this "new" path from data to predictions. It really is the same old path, but it is traveled by new means.

Certain diffusive PDEs can be viewed as infinite-dimensional gradient flows. This fact has led to the development of new tools in various areas of mathematics ranging from PDE theory to data science. In this talk, we focus on two different directions: model-driven approaches and data-driven approaches. In the first part of the talk we use gradient flows for analyzing non-linear and non-local aggregation-diffusion equations when the corresponding energy functionals are not necessarily convex. Moreover, the gradient flow structure enables us to make connections to well-known functional inequalities, revealing possible links between the optimizers of these inequalities and the equilibria of certain aggregation-diffusion PDEs. We present recent results on properties of these equilibria and long-time asymptotics of solutions in the setting where attractive and repulsive forces are in competition. In the second part, we use and develop gradient flow theory to design novel tools for data analysis. We draw a connection between gradient flows and Ensemble Kalman methods for parameter estimation. We introduce the Ensemble Kalman Sampler - a derivative-free methodology for model calibration and uncertainty quantification in expensive black-box models. The interacting particle dynamics underlying our algorithm can be approximated by a novel gradient flow structure in a modified Wasserstein metric which reflects particle correlations. The geometry of this modified Wasserstein metric is of independent theoretical interest.

Boundary value and interface problems for the Laplace equation are often solved by boundary integral methods due to the reduction of dimensionality and its flexibility in domain geometry. However, there are two well-known computational issues with the boundary integral method: (a) evaluation of boundary integrals at points close to domain boundaries usually has low order accuracy; (b) the method typically yields dense coefficient matrices in the resulting discrete systems, which makes the matrix vector multiplication very expensive when the size of the system is very large. In this talk, I will describe a fast accurate boundary integral method for the Laplace boundary value and interface problems. The algorithm uses the high order accurate method proposed by (Beale and Lai 2001) for evaluation of the boundary integrals and applies the fast multipole method for the dense matrix vector multiplication. Numerical results demonstrating the efficiency and accuracy of the method will be presented.

Blood vessel systems and leaf venations are typical biological transport networks. The energy consumption for such a system to perform its biological functions is determined by the network structure. In the first part of this talk, I will discuss the optimized structure of vessel networks, and show how the blood vessel system adapts itself to an optimized structure. Mathematical models are used to predict pruning vessels in the experiments of zebra fish. In the second part, I will discuss our recent modeling work on the initiation process of transport networks. Simulation results are used to illustrate how a tree-like structure is obtained from a continuum adaptation equation system, and how loops can exist in our model. Possible further application of this model will also be discussed.

Chemotaxis plays a crucial role in a variety of processes in biology and ecology. One of the most studied PDE models of chemotaxis is given by Keller-Segel equation, which describes a population density of bacteria or mold which attract chemically to substance they secrete. However, solution of Keller-Segel equation can exhibit dramatic collapsing behavior. In other words, there exist initial data leading to finite time blow up. In this talk, we will discuss the possible effects resulting from interaction of chemotactic and fluid transport processes, namely we will consider the Keller-Segel equation with additional advection term modeling ambient fluid flow. We will prove that the presence of fluid can prevent the singularity formation. We will discuss two classes of flows that have the explosion arresting property. Both classes are known as very efficient mixers.

We derive quantitative estimates proving the propagation of chaos for large stochastic systems of interacting particles. We obtain explicit bounds on the relative entropy between the joint law of the particles and the tensorized law at the limit. Technically, the heart of the argument are new laws of large numbers at the exponential scale, proved through an explicit combinatorics approach. Our result only requires weak regularity on the interaction kernel in negative Sobolev spaces, thus including the Biot-Savart law and the point vortices dynamics for the 2d incompressible Navier-Stokes. For dissipative gradient flows, we may allow any singularity lower than the Poisson kernel. This talk corresponds to a joint work with Z. Wang and an upcoming work with D. Bresch and Z. Wang.

Many partial differential equation models arising in applications generate complex patterns evolving with time which are hard to quantify due to the lack of any underlying regular structure. Such models often include some element of stochasticity which leads to variations in the detail structure of the patterns and forces one to concentrate on rougher common geometric features. From a mathematical point of view, algebraic topology suggests itself as a natural quantification tool. In this talk I will present some recent results for both the deterministic and the stochastic Cahn-Hilliard equation, both of which describe phase separation in alloys. In this situation one is interested in the geometry of time-varying sub-level sets of a function. I will present theoretical results on the pattern formation and dynamics, show how computational homology can be used to quantify the geometry of the patterns, and will assess the accuracy of the homology computations using probabilistic methods.

Arnold diffusion is the phenomenon of loss of stability of a completely integrable Hamiltonian system: an arbitrarily small perturbation can cause action to change along some orbit by a finite amount. Arnold produced the first example of diffusion and gave an outline of the proof. After a brief overview of related results I will describe the simplest example of Arnold diffusion which we found recently with Vadim Kaloshin. We consider geodesics on the 3-torus, or equivalently rays in a periodic optical medium in $ {\mathbb R} ^3 $ (or equivalently a point mass in a periodic potential in $ {\mathbb R} ^3 $.) Arnold diffusion has a transparent intuitive explanation and a simple proof. Resonances and the so-called ``whiskered tori" acquire a clear geometrical interpretation as well. I will conclude with a sketch of a different but related manifestation of Arnold diffusion as acceleration of a particle by a pulsating potential. This is joint work with Vadim Kaloshin.

Some reaction-advection-diffusion equations admit traveling wave solutions; these are simple models of a combustion reaction spreading with constant speed. Even in a random medium, solutions to the initial value problem may develop fronts propagating with a well-defined asymptotic speed. First, I will describe this behavior when the nonlinearity is the Kolmogorov-Petrovsky-Piskunov (KPP) type nonlinearity and the randomness comes from a prescribed random drift (a simple model of turbulent combustion). Next, I will describe propagation of fronts when the nonlinearity is a random ignition-type nonlinearity. In the latter case, there exist special solutions that generalize the notion of a traveling wave in the random setting.

We have witnessed a lot of exciting development of data science in recent years. From the perspective of optimization, many modern data-science problems involve some basic ``non’’-properties that lack systematic treatment by the current approaches for the sake of the computation convenience. These non-properties include the coupling of the non-convexity, non-differentiability and non-determinism. In this talk, we present rigorous computational methods for solving two typical non-problems: the piecewise linear regression and the feed-forward deep neural network. The algorithmic framework is an integration of the first order non-convex majorization-minimization method and the second order non-smooth Newton methods. Numerical experiments demonstrate the effectiveness of our proposed approach. Contrary to existing methods for solving non-problems which provide at best very weak guarantees on the computed solutions obtained in practical implementation, our rigorous mathematical treatment aims to understand properties of these computed solutions with reference to both the empirical and the population risk minimizations. This is based on joint work with Jong-Shi Pang, Bodhisattva Sen and Ziyu He.

Blood is a concentrated suspension of red cells, white cells, and platelets, each having a unique constitution and serving a different function. Red cells are highly deformable liquid capsules enclosed by a thin incompressible membrane whose resting shape is a biconcave disk. White cells are viscoelastic spherical particles enclosed by a cortical shell. In the unactivated state, platelets are oblate spheroids with an average aspect ratio approximately equal to 0.25. Like red cells, platelets lack a nucleus; like white cells, platelets exhibit a low degree of flow-induced deformation. In this talk, the biomechanics and biofluid-dynamics of these three types of cells will be discussed, recent progress in modeling and simulation methods will be reviewed, and open problems will be outlined.

The Fermi-Pasta-Ulam (FPU) model of coupled anharmonic oscillators has long been of interest in nonlinear science. It is only recently (Friesecke and Wattis 1994, Frieseck and Pego 1999-2003, and Mizumachi (submitted)) that the existence and stability of solitary waves in FPU has been completely understood. In light of the fact that the Korteweg-deVries (KdV) equation may recovered as a long wave limit of FPU and that the theory of soliton interaction is both beautiful and completely understood in KdV, it is of interest to describe the interaction of two colliding solitary waves in the FPU model. We show that the FPU model contains an open set of solutions which remain close to the linear sum of two long wave low amplitude solitions as time goes to either positive or negative infinity.