L3

Using novel arguments as well as techniques developed over the last  twenty years to study mean field games, in this paper (i) we investigate the optimal control of the Dyson equation, which is the mean field equation for the so-called Dyson Brownian motion, that is, the stochastic particle system satisfied by the eigenvalues of large random matrices, (ii) we establish the well-posedness of the resulting infinite dimensional Hamilton-Jacobi equation, 
(iii) we provide a complete and direct proof for the large deviations for the spectrum of large random matrices, and (iv) we study the asymptotic behavior of the transition probabilities of the Dyson Brownian motion.  Joint work with Charles Bertucci and Pierre-Louis Lions.

This illustrated historical talk covers the period from around 1890, when graph theory was still mainly a collection of isolated results, to the 1990s, when it had become part of mainstream mathematics. Among many other topics, it includes material on graph and map colouring, factorisation, trees, graph structure, and graph algorithms. 

I will present a collaborative project in which we formalized the construction of Brownian motion in Lean. Lean is an interactive theorem prover, with a large mathematical library called Mathlib. I will give an introduction to Lean and Mathlib, explain why one may want to formalize mathematics, and give a tour of the probability theory part of Mathlib. I will then describe the Brownian motion project, its organization, and some of the formalized results. For that project, we developed the theory of Gaussian measures and implemented a proof of Kolmogorov's extension theorem, as well as a modern version of the Kolmogorov-Chentsov continuity theorem based on Talagrand's chaining technique. Finally, I will discuss the next step of the project: formalizing stochastic integrals.

The universal infinitesimal symmetry of a holomorphic field theory is the Lie algebra of holomorphic vector fields. We introduce the higher-dimensional Virasoro algebra and prove a local, universal, form of the Riemann–Roch theorem using Feynman diagrams. We use the concept of a (Jouanoulou) higher-dimensional chiral algebra as developed recently with Gui and Wang. We will remark on applications to superconformal field theory. This project is joint work with Zhengping Gui.

We consider particles following a diffusion process in a multi-well potential and attracted by their barycenter (corresponding to the particle approximation of the Wasserstein flow of a suitable free energy). It is well-known that this process exhibits phase transitions: at high temperature, the mean-field limit has a single stationary solution, the N-particle system converges to equilibrium at a rate independent from N and propagation of chaos is uniform in time. At low temperature, there are several stationary solutions for the non-linear PDE, and the limit of the particle system as N and t go to infinity do not commute. We show that, in the presence of multiple stationary solutions, it is still possible to establish local convergence rates for initial conditions starting in some Wasserstein balls (this is a joint work with Julien Reygner). In terms of metastability for the particle system, we also show that for these initial conditions, the exit time of the empirical distribution from some neighborhood of a stationary solution is exponentially large with N and approximately follows an exponential distribution, and that propagation of chaos holds uniformly over times up to this expected exit time (hence, up to times which are exponentially large with N). Exactly at the critical temperature below which multiple equilibria appear, the situation is somewhat degenerate and we can get uniform in N convergence estimates, but polynomial instead of exponential.

Pfaffian functions, and by extension Pfaffian and semi-Pfaffian sets, play a crucial role in various areas of mathematics, including o-minimal theory. Incidence combinatorics has recently experienced a surge of activity, fuelled by the introduction of the polynomial partitioning method of Guth and Katz. While traditionally restricted to simple geometric objects such as points and lines, focus has shifted towards incidence questions involving higher dimensional algebraic or semi-algebraic sets. We present a generalization of the polynomial partitioning method to semi-Pfaffian sets and illustrate how this leads to Pfaffian generalizations of classic results in incidence geometry, such as the Szemerédi-Trotter Theorem. Finally, we outline an application of semi-Pfaffian geometry and Khovanskii's bound to the robustness of neural networks.

The problem of integration in finite terms is the problem of finding exact closed forms for antiderivatives of functions, within a given class of functions. Liouville introduced his elementary functions (built from polynomials, exponentials, logarithms and trigonometric functions) and gave a solution to the problem for that class, nearly 200 years ago. The same problem was shown to be decidable and an algorithm given by Risch in 1969.

We introduce the class of exponentially-algebraic functions, generalising the elementary functions and much more robust than them, and give characterisations of them both in terms of o-minimal local definability and in terms of their types in a reduct of the theory of differentially closed fields.

We then prove the analogue of Liouville's theorem for these exponentially-algebraic functions and give some new decidability results.

This is joint work with Rémi Jaoui, Lyon