Central Limit Theorems for Optimal Transport Functionals

Haruki Kono

Home/Archive/arXiv

arXiv · 2610.27857

Central Limit Theorems for Optimal Transport Functionals

Haruki Kono

View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish central limit theorems for empirical plug-in estimators of scalar functionals of quadratic optimal transport maps and potentials, including Wasserstein costs and several risk measures constructed from transport-based multivariate quantiles. We study the one-sample problem with a known reference distribution and i.i.d. observations from the target distribution. A natural approach is to combine a limit theorem for the empirical transport map with the functional delta method. We show, however, that in dimensions at least two, empirical transport-map errors admit no nonzero weak limit in $L^2$ under any normalizing scale. Instead, we linearize the functional directly in the target distribution, obtaining an influence-function expansion with a remainder controlled by the transport-map error. The influence function is characterized by a linear elliptic partial differential equation. Under regularity conditions, we use this expansion to prove central limit theorems in low dimensions and establish validity of the empirical bootstrap. We also derive semiparametric efficiency bounds and show that the plug-in estimators attain them under the same conditions.

Explore related subjects

math.ST econ.EM stat.TH

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Haruki Kono. 2026-10-20. Central Limit Theorems for Optimal Transport Functionals. https://arxiv.org/abs/2610.27857

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Detection Is Harder Than Estimation in Certain Regimes: Inference for Moment and Cumulant Tensors

We study estimation and detection of high-order cumulant tensors from $n$ i.i.d. observations of a $p$-dimensional random vector, with performance measured in the tensor spectral norm. Under sub-Gaussianity, we show that the minimax rate for estimating the order-$d$ cumulant tensor is $\sqrt{p/n}\wedge 1$. In contrast to covariance estimation, the natural plug-in estimator obtained by replacing population moments in the moment--cumulant formula with sample moments, which we call the sample cumulant tensor, is generally not rate-optimal for $d\ge 3$, and we construct an estimator that attains the minimax rate. On the computational side, we study testing whether the $d$-th order cumulant tensor vanishes after whitening. We provide evidence, under a model-specific low-degree conjecture, that detection is computationally hard when $n\ll p^{d/2}$. At the same time, we identify a regime in which an efficiently computable estimator achieves error smaller than the separation at which polynomial-time tests can reliably distinguish the null from the alternative under the same conjecture. This reveals an unusual reverse detection--estimation gap: computationally efficient detection can be harder than computationally efficient estimation. The underlying reason is that the relevant loss, tensor spectral norm, is itself NP-hard to compute, creating a new form of computational--statistical gap.

math.ST↗

arXiv2026

Debiased parametric inference for regime-switching jump diffusions with infinite variation jumps

We study high-frequency inference for an ergodic regime-switching jump diffusion with locally stable infinite-variation jumps. The state and the finite-state regime are observed on the same grid. The mesh satisfies $h_n\to0$, while the horizon satisfies $T_n=nh_n\to\infty$. We estimate structural drift and diffusion parameters in the presence of unknown regime-specific Lévy measures. For a common activity index $1<β<8/5$, we remove two leading jump biases from each regime's truncated variation. We then combine the diffusion estimator with estimated signed tail means in an adaptive drift contrast. We prove joint asymptotic normality at rates $\sqrt{T_n}$ and $\sqrt n$, together with feasible studentization. The growing horizon requires uniform control of the debiasing remainders and random denominators over increasing regime exposures. It also produces an explicit Lévy-measure term in the drift covariance. A fixed-grid median stabilizes the two-step correction without changing its first-order limit. We study finite-sample behavior by simulation and apply the method to 127.5 hours of cattle sensor data. In the application, jaw-activity labels are recorded by a device separate from the sensor that measures the state process.

math.ST↗

arXiv2026

Symmetries and Causality: Causal Effect Identification Beyond IID Data

We develop theory for the identification of complex causal queries from non-IID data. We propose a formal description of stochastic systems based on symmetries in data leaving causal mechanisms invariant. These symmetries become the source of statistical repetition for identification and mandate knowledge-transfer from observations to queries. The result is an abstract, simple and very general language for causal reasoning. We give descriptions of models and queries, and the formal infrastructure for their mathematically rigorous identification. The proposed structure enables a number of simplifying principles: A shared description of mechanisms and interventions, a duality of observed and queried structure, and the sub-division of the identification task into three steps - extraction, computation and query-expression. Our approach reproduces and matches standard theoretical results on IID data and transport of experimental and non-experimental data. By design, it additionally applies beyond IID data and captures complex causal queries not expressible via do- or soft-interventions.

math.ST↗