Empirical measures and random walks on compact spaces in the quadratic Wasserstein metric

DOI10.1214/22-AIHP1322MaRDI QIDQ6147698zbMATHOpenAlexFDO

Authors Bence Borda

Publication date 16 January 2024

Published in Annales de l'Institut Henri Poincaré. Probabilités et Statistiques (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.00295

zbMATH Keywords

optimal transportationRiemannian manifoldBerry-Esseen inequalityheat kerneloccupation measureLie group

Mathematics Subject Classification ID

Optimal transportation (49Q22) Stationary stochastic processes (60G10) Sums of independent random variables; random walks (60G50) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15)

Abstract: Estimating the rate of convergence of the empirical measure of an i.i.d. sample to the reference measure is a classical problem in probability theory. Extending recent results of Ambrosio, Stra and Trevisan on 2-dimensional manifolds, in this paper we prove sharp asymptotic and nonasymptotic upper bounds for the mean rate in the quadratic Wasserstein metric $W_2$ on a $d$-dimensional compact Riemannian manifold. Under a smoothness assumption on the reference measure, our bounds match the classical rate in the optimal matching problem on the unit cube due to Ajtai, Koml'os, Tusn'ady and Talagrand. The i.i.d. condition is relaxed to stationary samples with a mixing condition. As an example of a nonstationary sample, we also consider the empirical measure of a random walk on a compact Lie group. Surprisingly, on semisimple groups random walks attain almost optimal rates even without a spectral gap assumption. The proofs are based on Fourier analysis, and in particular on a Berry-Esseen smoothing inequality for $W_2$ on compact manifolds, a result of independent interest with a wide range of applications.

Recommendations

• Berry-Esseen smoothing inequality for the Wasserstein metric on compact Lie groups
• Equidistribution of random walks on compact groups. II: The Wasserstein metric
• Wasserstein convergence rate for empirical measures on noncompact manifolds
• On the rate of convergence in Wasserstein distance of the empirical measure
• Mean rates of convergence of empirical measures in the Wasserstein metric

Cites work

• scientific article; zbMATH DE number 3877889 (Why is no real title available?)
• scientific article; zbMATH DE number 5342783 (Why is no real title available?)
• scientific article; zbMATH DE number 3808476 (Why is no real title available?)
• scientific article; zbMATH DE number 1018550 (Why is no real title available?)
• A PDE approach to a 2-dimensional matching problem
• A Wasserstein inequality and minimal Green energy on compact manifolds
• A simple Fourier analytic proof of the AKT optimal matching theorem
• A spectral gap theorem in SU\((d)\)
• A spectral gap theorem in simple Lie groups
• Approximation by finitely supported measures
• Automorphic forms and the distribution of points on odd-dimensional spheres.
• Basic properties of strong mixing conditions. A survey and some open questions
• Behavior of the Wasserstein distance between the empirical and the marginal distributions of stationary \(\alpha\)-dependent sequences
• Berry-Esseen smoothing inequality for the Wasserstein metric on compact Lie groups
• Comparison between \(W_2\) distance and \(\dot{H}^{-1}\) norm, and localization of Wasserstein distance
• Equidistribution of random walks on compact groups. II: The Wasserstein metric
• Ergodicity and exponential \(\beta\)-mixing bounds for multidimensional diffusions with jumps
• Foundations of quantization for probability distributions
• Hecke operators and distributing points on S². II
• Hecke operators and distributing points on the sphere I
• Matching random samples in many dimensions
• On optimal matchings
• On polynomial mixing bounds for stochastic differential equations
• On the Wasserstein distance between classical sequences and the Lebesgue measure
• On the mean speed of convergence of empirical and occupation measures in Wasserstein distance
• On the rate of convergence in Wasserstein distance of the empirical measure
• On the spectral gap for finitely-generated subgroups of \(\text{SU}(2)\)
• One-dimensional empirical measures, order statistics, and Kantorovich transport distances
• Probabilities on a Compact Group
• Random walks in compact groups
• Riemannian manifolds with uniformly bounded eigenfunctions
• Sharp asymptotic and finite-sample rates of convergence of empirical measures in Wasserstein distance
• Simple bounds for the convergence of empirical and occupation measures in 1-Wasserstein distance
• Some Limit Theorems for Random Functions. I
• Subgeometric ergodicity and \(\beta\)-mixing
• Symmetric Random Walks on Groups
• The Ruziewicz problem and distributing points on homogeneous spaces of a compact Lie group
• Transport inequalities on Euclidean spaces for non-Euclidean metrics
• Wasserstein distance, Fourier series and applications

Cited in

(3)

• A dimension-independent bound on the Wasserstein contraction rate of a geodesic random walk on the sphere
• Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
• Riesz energy, \(L^2\) discrepancy, and optimal transport of determinantal point processes on the sphere and the flat torus

This page was built for publication: Empirical measures and random walks on compact spaces in the quadratic Wasserstein metric

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6147698)