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 lattice of $S_n$. For every $\alpha>1$, with $\beta=\alpha/(\alpha-1)$, we prove that the R\'enyi divergence $D_\alpha(S_n\|Z_n)\to 0$ if and only if the divergence is finite at some convolution level and the strict sub-Gaussian condition $$ \mathbb E e^{tX}<e^{\beta t^2/2},\quad t\in\mathbb R,~ t\ne0 $$ holds. Under these conditions, we further derive an Edgeworth-type asymptotic expansion of the divergence to arbitrary order. These results provide a lattice counterpart of the R\'enyi entropic central limit theorem for continuous random variables due to Bobkov, Chisyakov and G\"{o}tze (\emph{Ann. Probab.} \textbf{47} (2019), 270--323).
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,...
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}...
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...
Let $(X_1,\ldots,X_n)$ be independent nonnegative random variables with $\mathbb{E} X_i\le1$, and write $S=\sum_iX_i$. For $\delta>0$, we prove that \[ \mathbb{P}\left(S<\mathbb{E} S+\delta\right)\ge b_{n,\delta}, \] where $b_{n,\delta}=\delta(n/(n+\delta))^n$ for $0<\delta<1$ and $b_{n,\delta}=(1-1/(n+\delta))^n$ for...
Weibo Fu, Yanjun Han, Guanyang Wang et al.· 7 citations· ⚡1
For each $s>0$, we consider a random Dirichlet series $X(s)=\sum_{k\geq 1}k^{-1/2-s}a_k\eta_k$, where $\eta_1$, $\eta_2,\ldots$ are independent and identically distributed random variables with mean zero and finite positive variance, and $(a_k)_{k\geq 1}$ is a deterministic sequence of real numbers satisfying $\sum_{k\...
Let $X_1,X_2,\ldots$ be i.i.d. finitely supported random variables in a torsion-free abelian group, and write $S_k=X_1+\cdots+X_k$, and $H(S_k)$ is the Shannon entropy $S_k$, for all $k \ge 1$. We prove that, for every fixed $n\geq1$, \[ H(S_{n+1})-H(S_n) \geq \frac12\log\frac{n+1}{n} -o_{H(X_1)\to\infty}(1), \] unifor...
Zi-Ran Liu· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
