Abstract:The goal of this work is to obtain optimal rates for the convergence problem in mean field control. Our analysis covers cases where the solutions to the limiting problem may not be unique nor stable. Equivalently the value function of the limiting problem might not be differentiable on the entire space. Our main result is then to derive sharp rates of convergence in two distinct regimes. When the data is sufficiently regular, we obtain rates proportional to $N^{-1/2}$, with $N$ being the number of particles. When the data is merely Lipschitz and semi-concave with respect to the first Wasserstein distance, we obtain rates proportional to $N^{-2/(3d+6)}$. Noticeably, the exponent $2/(3d+6)$ is close to $1/d$, which is the optimal rate of convergence for uncontrolled particle systems driven by data with a similar regularity. The key argument in our approach consists in mollifying the value function of the limiting problem in order to produce functions that are almost classical sub-solutions to the limiting Hamilton-Jacobi equation (which is a PDE set on the space of probability measures). These sub-solutions can be projected onto finite dimensional spaces and then compared with the value functions associated with the particle systems. In the end, this comparison is used to prove the most demanding bound in the estimates. The key challenge therein is thus to exhibit an appropriate form of mollification. We do so by employing sup-convolution within a convenient functional Hilbert space. To make the whole easier, we limit ourselves to the periodic setting. We also provide some examples to show that our results are sharp up to some extent.

Constrained Moser-Trudinger-Onofri inequality and a uniqueness criterion for the mean field equation

On Log-Concave-Tailed Chaos and the Restricted Isometry Property

Quantization property of n-Laplacian mean field equation and sharp Moser-Onofri inequality

A Nonlinear Inequality of Moser-Trudinger Type

Moser-Trudinger Inequality for the Complex Monge-Ampère Equation

A new log-weighted Trudinger-Moser inequality in and applications to some mean field equation

Remarks on the Extremal Functions for the Moser–Trudinger Inequality

A Sharp Moser–Trudinger Type Inequality Involving Adimurthi–Druet Term in Two Dimensional Hyperbolic Space

Convergence of the Newton Method and Uniqueness of Zeros of Vector Fields on Riemannian Manifolds

On Mean Field Monotonicity Conditions from Control Theoretical Perspective

Mean field equations and premodular forms, I: at critical parameter $16\pi$

The Moser method and boundedness of solutions to infinitely degenerate elliptic equations

Uniform log-Sobolev inequalities for mean field particles beyond flat-convexity

Constrained monotone mean-variance problem with random coefficients

Extremals for the Singular Moser-Trudinger Inequality via n-Harmonic Transplantation

Moser-Trudinger inequalities: from local to global

Hölder Stability and Uniqueness for The Mean Field Games System via Carleman Estimates

Mean Field Games Systems under Displacement Monotonicity

On the Optimal Rate for the Convergence Problem in Mean Field Control

On Log-Concave-Tailed Chaoses and the Restricted Isometry Property