Fluctuations of the quadratic matching cost on the flat torus: dimensions two, three and four

Shi Feng; Gilles Mordant

In the authors' words

We establish sharp variance asymptotics and limiting distributions for the quadratic optimal matching cost between the uniform measure and an empirical measure counterpart on the flat torus $T^{d}$ in dimensions $d = 2, 3, 4$ . More precisely, let $μ$ be Haar probability measure and $μ_{n}$ the empirical measure of $n$ independent samples drawn from $μ$ . Then, for $d = 2, 3$ , $n (W_{2}^{2} (μ_{n}, μ) - E [W_{2}^{2} (μ_{n}, μ)]) n^{2} Var (W_{2}^{2} (μ_{n}, μ)) d L_{d}, ⟶ \frac{1}{8 π ^{4}} k \in Z^{d} ∖ {0} \sum \frac{1}{∣ k ∣ ^{4}},$ where $L_{d}$ is an explicit non-Gaussian weighted sum of independent centered exponential random variables. In dimension four, $\frac{n}{l o g n} (W_{2}^{2} (μ_{n}, μ) - E [W_{2}^{2} (μ_{n}, μ)]) d N (0, \frac{1}{16 π ^{2}}) .$ The main idea of the proof is to rely on a Hoeffding decomposition of the optimal transport cost, which turns out to be asymptotically equivalent to U-statistics of order 2.

Main resultThe abstract does not state a limitation.

Fluctuations of the quadratic matching cost on the flat torus: dimensions two, three and four

In the authors' words

More on Probability that day

The Most Informative Bit and Beyond: A Proof of the Courtade--Kumar Conjecture and Multibit Extensions

Sample-Based Prophet Inequalities for Random Walks

Repeated averaging on expanders I: random d-regular graph

Counterexamples to the Ramos conjecture for two hyperplanes

Concentration of Regularized Sparse Random Matrices: Spectral Edge Bounds via Nonbacktracking Operators

Repeated averaging on expanders I: random $d$ -regular graph