78
0

Uniform Central Limit Theorem for self normalized sums in high dimensions

Abstract

In this article, we are interested in the normal approximation of the self-normalized random vector (i=1nXi1i=1nXi12,,i=1nXipi=1nXip2)\Big(\frac{\sum_{i=1}^{n}X_{i1}}{\sqrt{\sum_{i=1}^{n}X_{i1}^2}},\dots,\frac{\sum_{i=1}^{n}X_{ip}}{\sqrt{\sum_{i=1}^{n}X_{ip}^2}}\Big) in Rp\mathcal{R}^p uniformly over the class of hyper-rectangles Are={j=1p[aj,bj]R:ajbj,j=1,,p}\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 X1,,XnX_1,\dots,X_n are non-degenerate independent pp-dimensional random vectors with each having independent and identically distributed (iid) components. We investigate the optimal cut-off rate of logp\log p in the uniform central limit theorem (UCLT) under variety of moment conditions. When XijX_{ij}'s have (2+δ)(2+\delta)th absolute moment for some 0<δ10< \delta\leq 1, the optimal rate of logp\log p is o(nδ/(2+δ))o\big(n^{\delta/(2+\delta)}\big). When XijX_{ij}'s are independent and identically distributed (iid) across (i,j)(i,j), even (2+δ)(2+\delta)th absolute moment of X11X_{11} is not needed. Only under the condition that X11X_{11} is in the domain of attraction of the normal distribution, the growth rate of logp\log p can be made to be o(ηn)o(\eta_n) for some ηn0\eta_n\rightarrow 0 as nn\rightarrow \infty. We also establish that the rate of logp\log p can be pushed to logp=o(n1/2)\log p =o(n^{1/2}) if we assume the existence of fourth moment of XijX_{ij}'s. By an example, it is shown however that the rate of growth of logp\log p can not further be improved from n1/2n^{1/2} as a power of nn. As an application, we found respective versions of the high dimensional UCLT for component-wise Student's t-statistic. An important aspect of the these UCLTs is that it does not require the existence of some exponential moments even when dimension pp grows exponentially with some power of nn, as opposed to the UCLT of normalized sums. Only the existence of some absolute moment of order [2,4]\in [2,4] is sufficient.

View on arXiv
Comments on this paper