Sharp Wasserstein Stability for Gaussian Deconvolution of Log-Concave Laws
Loading original first page…
Abstract
Fix a dimension, a positive Gaussian noise level, and an isotropic reference whose C² potential has two-sided positive Hessian bounds. We prove a sharp inverse-logarithmic modulus of order 3/2 for the latent quadratic Wasserstein distance, uniformly over isotropic log-concave inputs, including nonsmooth and compactly supported densities. The observation may be either the W₁ distance between noisy outputs or the excess quadratic risk of the reference Bayes estimator. An explicit narrow-Gaussian perturbation preserves mass, mean and covariance exactly and gives the matching order at every permitted reference. The Gaussian-reference specialization yields the sharp modulus from the linear-MMSE gap at every fixed positive SNR. The upper proof combines bandlimited comparison, conditional curvature measures and a density-weighted divergence correction. Its constants are uniform over references in a fixed curvature interval. Consequently, known Gaussian noise gives fixed-reference testing against all isotropic log-concave alternatives and minimax W₂ estimation on the stated two-sided curvature classes at order (log n)^(-3/2). The matching estimation lower bound assumes 0<c<1<C; constants depend on the fixed dimension, noise and curvature bounds.
Read the full paper in the original PDF.
Edition files
- Paper.pdf191.4 KiB · pdf
SHA-256
489b29d9c9eb9bcb8576606d7c9575d332a256d71331645690e41c5f47f477de - Publication_Package.zip212.1 KiB · package
SHA-256
bd7f1ef3fb0b8ef1313255e553ae8e743fe8ab8b397752e2d8f83a870b5ce61a
Available editions
Research details
- Subjects
- Mathematics · Geometry and Optimal Transport · Statistics and Data Science · Statistical Theory
- Keywords
- Gaussian deconvolution, log-concavity, Wasserstein distance, inverse stability, minimax estimation
- Manuscript date
- 2026-10-23
- Reader reuse
- No additional permission granted
Scope
Fixed-dimension, fixed-positive-noise sharp latent W₂ inverse modulus of logarithmic order 3/2, for all isotropic log-concave inputs around each isotropic C² reference with two-sided positive Hessian bounds. Observations are noisy-output W₁ discrepancy or reference Bayes-estimator regret. Matching exact-moment alternatives at every reference; uniform upper bounds on fixed curvature classes; stated testing and minimax estimation consequences.
Disclosures
OpenAI ChatGPT/Codex assisted with literature discovery, proof exploration and drafting. The author reviewed the resulting manuscript and takes responsibility for its mathematical statements and references.
Reproduction
The 16-page manuscript includes complete analytic upper, matching lower and statistical proofs. The source package includes all four TeX files, bibliography, build instructions and fixed-timestamp build.py. No numerical experiment or computer-generated certificate is a premise of the mathematical proof.
References and related resources
- D. Guo, Y. Wu, S. Shamai (Shitz) and S. Verdú, Estimation in Gaussian noise: Properties of the minimum mean-square error, IEEE Trans. Inform. Theory 57 (2011), 2371–2385. arXiv:1004.3332.
- X. Nguyen, Convergence of latent mixing measures in finite and infinite mixture models, Ann. Statist. 41 (2013), 370–400. doi:10.1214/12-AOS1065.
- J. Dedecker and B. Michel, Minimax rates of convergence for Wasserstein deconvolution with supersmooth errors in any dimension, preprint (2013), arXiv:1302.6103.
- C. Scricciolo, Minimax rates for Wasserstein–Kantorovich distribution deconvolution under known ordinary smooth errors and dependent signal processes, Stat. Methods Appl. (2026). doi:10.1007/s10260-026-00858-9.
- S. G. Bobkov, G. P. Chistyakov and F. Götze, Stability of Cramer’s characterization of normal laws in information distances, preprint (2015), arXiv:1512.03571.
- R. Eldan and B. Klartag, Pointwise estimates for marginals of convex bodies, J. Funct. Anal. 254 (2008), 2275–2293. doi:10.1016/j.jfa.2007.08.014.
- R. Peyré, Comparison between W2 distance and ̇H −1 norm, and localisation of Wasserstein distance, ESAIM Control Optim. Calc. Var. 24 (2018), 1489–1501. doi:10.1051/cocv/2017050.
- J. Niles-Weed and Q. Berthet, Minimax estimation of smooth densities in Wasserstein distance, preprint (2019; revised 2020), arXiv:1902.01778.
- B. Efron, Tweedie’s formula and selection bias, J. Amer. Statist. Assoc. 106 (2011), 1602–1614.
- J. Chen and Y. Wu, Sharp regret–Hellinger bounds and optimal rates for Gaussian empirical Bayes via polynomial approximation, preprint (2026), arXiv:2605.02070v2.
- H. J. Brascamp and E. H. Lieb, On extensions of the Brunn–Minkowski and Prékopa–Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation, J. Funct. Anal. 22 (1976), 366–389. doi:10.1016/0022-1236(76)90004-5.
- D. Bakry, I. Gentil and M. Ledoux, Analysis and Geometry of Markov Diffusion Operators , Springer, 2014. doi:10.1007/978-3-319-00227-9.
- F. Otto and C. Villani, Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality, J. Funct. Anal. 173 (2000), 361–400. doi:10.1006/jfan.1999.3557.
- L. Gross, Logarithmic Sobolev inequalities, Amer. J. Math. 97 (1975), 1061–1083. doi:10.2307/2373688.
- M. Talagrand, Transportation cost for Gaussian and other product measures, Geom. Funct. Anal. 6 (1996), 587–600. doi:10.1007/BF02249265.
- J.-D. Benamou and Y. Brenier, A computational fluid mechanics solution to the Monge–Kantorovich mass transfer problem, Numer. Math. 84 (2000), 375–393. doi:10.1007/s002110050002.
- S. G. Bobkov, Isoperimetric and analytic inequalities for log-concave probability measures, Ann. Probab. 27 (1999), 1903–1921. doi:10.1214/aop/1022874820.
- J. Dedecker, A. Fischer and B. Michel, Improved rates for Wasserstein deconvolution with ordinary smooth error in dimension one, Electron. J. Stat. 9 (2015), 234–265. arXiv:1404.0646.
- Jaeseong Park and Arlene K. H. Kim, Minimax rate-optimal estimation in log-concave deconvolution, JSM Annual 2026, August 6, 2026. Official slides: Minimax theory for log-concave deconvolution, pp. 7, 10-13.