Skip to content
Preprint

The Optimal Rate in the Averaged Random-Marginal Central Limit Theorem for Log-Concave Measures

Aug 2026 · 0 citations · 23 references
Mathematics

Abstract

Let $X$ be a centered isotropic log-concave random vector in $\mathbb{R}^n$. For $\theta\in S^{n-1}$, let $\mu_\theta$ be the law of $\langle X,\theta\rangle$, and let $\Theta$ be uniformly distributed on $S^{n-1}$, independently of $X$. We prove the sharp estimate \[ \textsf{E} W_1(\mu_\Theta,\gamma_1) \le \frac{C}{n}. \] Here the Wasserstein distance is computed after the direction is fixed and is then averaged over the sphere. No symmetry assumption is imposed. A product measure with centered exponential coordinates gives a matching lower bound of order $n^{-1}$. The proof separates the averaged-direction law from the fluctuation among fixed directions. For the first part, a Taylor expansion in the random radius retains a mean-zero cancellation and yields an $O(n^{-1})$ error. For the second, a weighted $L^2$ distance between distribution functions is converted into an exact spherical kernel depending only on $|x|^2$, $|y|^2$, and $\langle x,y\rangle$. Expanding this kernel in $\langle x,y\rangle$, we control its linear, quadratic, and cubic terms using the quadratic variance inequality $\operatorname{Var}(X^\top M X) \le 8\operatorname{Tr}(M^2)$, while fixed-order moment estimates control the remainder.

View source

Similar papers

Preprint Sep 2026

Optimal central limit theorem for bounded random variables in high dimensions

Let $W=n^{-1/2}\sum_{i=1}^n X_i$, where the $X_i$ are independent centered random vectors in ${\mathbb R}^p$ with $|X_{ij}|\le B$ almost surely. Suppose that $\text{Cov}(W)$ has unit diagonal and smallest eigenvalue at least $b^2>0$. We prove that the distance between $W$ and a Gaussian vector with the same covariance,...

P. M. Aronow, Patrick Lopatto · 0 citations
Preprint Sep 2026

Dimension-free estimates for the full discrete Euclidean ball maximal function

Let $M_t$ denote the normalized average over the lattice points in the Euclidean ball of radius $t$ in $\mathbb{Z}^d$. We prove that the full maximal operator $f\mapsto\sup_{t\geq0}\lvert M_t f\rvert$ is bounded on $\ell^p(\mathbb{Z}^d)$, for every $1<p\leq\infty$, with a constant independent of the dimension. In parti...

Sheng-Chen Mao · 0 citations
Open access Aug 2026

Limit laws of the iterated logarithm under sub-linear expectations

Let $\{Y_n; n\ge 1\}$ be a sequence of independent and identically distributed random variables with mean zero in Peng's framework of the sub-linear expectation space $(\Omega,\mathscr{H},\widehat{\mathbb E})$, and $S_n=\sum_{i=1}^nY_i$. In this paper, we establish a limit law of \begin{align*}\lim_{n\to \infty}\max_{k...

Li-Xin Zhang, Yongze Song · 0 citations
Preprint Aug 2026

Central limit theorem in R\'enyi divergence for lattice random variables

We establish a central limit theorem in R\'enyi divergence for independent and identically distributed lattice random variables $X_1, \cdots, X_n$ with zero mean, unit variance, and maximal span $h>0$. Let $S_n=(X_1+\cdots+X_n)/\sqrt n$. Let $Z_n$ denote the standard Gaussian distribution quantized on the support latti...

Zhen Fu, Jiange Li · 0 citations
Jul 2026

Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture

Let $R$ be an $m\times m$ correlation matrix satisfying $R-\mathbf{1}\mathbf{1}^{\mathsf T}/m\succeq0$, let $X\sim\mathcal{N}(0,R)$, and let $Z_1,\ldots,Z_m$ be independent standard Gaussian random variables. We prove $\max_i X_i\leq_{\mathrm{st}}\max_i Z_i$, with equality in distribution if and only if $R=I_m$. We use...

Abhijeet Mulgund · 4 citations · ⚡3
Preprint Jul 2026

The KLS constant is $O(\log^{1/4} n)$

We confirm the Kannan--Lov\'asz--Simonovits conjecture for quadratic forms: if $X \sim \mu$ is an isotropic log-concave random vector in $\mathbb{R}^n$, then for any symmetric matrix $M$ one has $$ \operatorname{Var}_{X \sim \mu}(\langle MX,X\rangle) \leq 2\,\mathbb{E}_{X \sim \mu}|\nabla\langle MX,X\rangle|^2. $$ As a...

B. Letwin · 12 citations · ⚡9

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.