Search arXivSearch

arXiv · 2008.04389

Central Limit Theorem in High Dimensions : The Optimal Bound on Dimension Growth Rate

Abstract

In this article, we try to give an answer to the simple question: ``\textit{What is the critical growth rate of the dimension $p$ as a function of the sample size $n$ for which the Central Limit Theorem holds uniformly over the collection of $p$-dimensional hyper-rectangles ?''}. Specifically, we are interested in the normal approximation of suitably scaled versions of the sum $\sum_{i=1}^{n}X_i$ in $\mathcal{R}^p$ uniformly over the class of hyper-rectangles $\mathcal{A}^{re}=\{\prod_{j=1}^{p}[a_j,b_j]\cap\mathcal{R}:-\infty\leq a_j\leq b_j \leq \infty, j=1,\ldots,p\}$, where $X_1,\dots,X_n$ are independent $p-$dimensional random vectors with each having independent and identically distributed (iid) components. We investigate the critical cut-off rate of $\log p$ below which the uniform central limit theorem (CLT) holds and above which it fails. According to some recent results of Chernozukov et al. (2017), it is well known that the CLT holds uniformly over $\mathcal{A}^{re}$ if $\log p=o\big(n^{1/7}\big)$. They also conjectured that for CLT to hold uniformly over $\mathcal{A}^{re}$, the optimal rate is $\log p = o\big(n^{1/3}\big)$. We show instead that under some conditions, the CLT holds uniformly over $\mathcal{A}^{re}$, when $\log p=o\big(n^{1/2}\big)$. More precisely, we show that if $\log p =ε\sqrt{n}$ for some sufficiently small $ε>0$, the normal approximation is valid with an error $ε$, uniformly over $\mathcal{A}^{re}$. Further, we show by an example that the uniform CLT over $\mathcal{A}^{re}$ fails if $\limsup_{t\rightarrow \infty} n^{-(1/2+δ)} \log p >0$ for some $δ>0$. Hence the critical rate of the growth of $p$ for the validity of the CLT is given by $\log p=o\big(n^{1/2}\big)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Debraj Das, Soumendra Lahiri. 2020-08-10. Central Limit Theorem in High Dimensions : The Optimal Bound on Dimension Growth Rate. https://arxiv.org/abs/2008.04389

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

KEEP EXPLORING

Related papers

Breuer-Major Theorems for Hilbert Space-Valued Random Variables

Let $\{X_k\}_{k\in\mathbb Z}$ be a stationary Gaussian process with values in a separable Hilbert space $\mathcal H_1$, and let $G:\mathcal H_1\to\mathcal H_2$ be a measurable map into another separable Hilbert space $\mathcal H_2$. We derive a central limit theorem for the centered normalized partial sums of the Hilbert space-valued subordinated process $\{G[X_k]\}_{k\in\mathbb Z}$. Our result holds under either of two sets of sufficient conditions, formulated in terms of the transformation $G$ and the temporal and cross-sectional dependence structure of $\{X_k\}_{k\in\mathbb Z}$. These conditions coincide in finite dimensions but lead to genuinely different phenomena in the infinite-dimensional setting. The proof relies on the recently developed Fourth Moment Theorem on Hilbert spaces, leveraging tools from the infinite-dimensional Malliavin-Stein framework. We also provide continuous-time and quantitative versions of the central limit theorem. In a series of examples, we recover and strengthen limit theorems for a wide array of statistics relevant in functional data analysis, and present, as an application of our result, a novel limit theorem in the framework of neural operators.

math.PR

The Fourth-Moment Theorem on Hilbert Spaces

In this work, we establish conditions ensuring convergence in distribution of a sequence admitting a Wiener-Itô chaos representation to a Gaussian measure on a separable Hilbert space. Our first main result shows that, assuming convergence of the associated covariance operators in the trace-class norm, a sequence lying in a fixed Wiener-Itô chaos converges in distribution if and only if its fourth weak moments converge to the corresponding Gaussian moments. For general sequences with infinite chaos expansions, we derive analogous sufficient conditions for convergence in distribution. A key ingredient in our approach is a Stein-Malliavin bound formulated with respect to a distance that metrizes weak convergence of probability measures on separable Hilbert spaces. The results are infinite-dimensional extensions of the classical real-valued Fourth-Moment Theorem of Nualart and Peccati [Ann. Probab. 33, 177-193 (2005)]. Our work builds upon the work by Bourguin and Campese [Electron. J. Probab. 25, 1-30 (2020)] who claimed a Fourth-Moment Theorem in separable Hilbert spaces. However, a recent work by Bassetti, Bourguin, Campese, and Peccati [Stat. Probab. Lett. 233, 110671, (2026)] showed that the distance employed in the former article does not metrize weak convergence of probability measures on separable Hilbert spaces. Consequently, the conditions stated in Bourguin and Campese are not sufficient to recover a valid Fourth-Moment Theorem in the Hilbert-space setting.

math.PR

Collision types and times in interacting particle systems

We consider a system of stochastic interacting particles with general diffusion coefficient and drift functions and we study the types of collisions that arise in them. In particular, interactions between particles are inversely proportional to their separation, and the coupling function of interaction is also considered in great generality. Our main result shows that, under positivity and the stated variance compatibility conditions, no two distinct positive-root hyperplanes are reached simultaneously at a positive time. In type $A_{N-1}$, this excludes both collisions involving three or more particles and simultaneous collisions of disjoint pairs. In order to obtain our results we make use of symmetric polynomials in squared root projections; the degree of these polynomials indicates the type of collision, and by a locality argument we show that polynomials indicating a non-simple collision almost surely do not cancel. We use this result to obtain upper and lower bounds for the Hausdorff dimension of the set of collision times in terms of interaction-to-variance ratios. These bounds coincide in particular constant-ratio cases. Our results cover many of the most well-known particle systems, such as the Dyson model and Wishart processes and their extensions to non-constant diffusion coefficients and background drifts.

math.PR