Let $\widehat R$ be the Pearson sample correlation matrix formed from $n$ independent Gaussian observations in $p$ dimensions, and write $m=n-1\ge p$. Under the null correlation $R=I_p$, the classical independent beta product, exact cumulants, and full Fourier inversion yield, along every sequence $p\to\infty$ with $m\ge p$, a uniform first Edgeworth expansion for $\log\det\widehat R$, centered by its exact mean and scaled by its exact standard deviation. The expansion identifies the exact finite dimensional skewness correction and gives the sharp Kolmogorov equivalent $A_{m,p}/\{6\sqrt{2\pi}V_{m,p}^{3/2}\}$, where $V_{m,p}$ is the exact variance and $A_{m,p}$ is the absolute third cumulant. This equivalent unifies the square, fixed gap, growing gap, proportional, and dilute regimes; in the square regime the error has order $(\log p)^{-3/2}$ with an exact constant. For every positive definite population correlation matrix $R$, we prove a uniform finite sample Berry-Esseen bound that explicitly tracks population dependence. All theoretical results have exact or proved equivalent Lean 4 formulations whose declarations and dependencies are kernel checked.
We provide limit theory for the trace of the squared sample correlation matrix $\mathbf R$, constructed from $n$ observations of a $p$-dimensional random vector with iid components. If the entries have finite fourth moment and $p$ and $n$ grow proportionally, it is known that $\operatorname{tr}({\mathbf R}^2)$ satisfie...
We establish Berry-Esseen bounds for the number of real roots of Gaussian Weyl polynomials $P_n$, where $n$ denotes the degree and is assumed to be sufficiently large. For each fixed $B$ above an absolute threshold, let $I_n=[-\sqrt n+B\sqrt{\log n}, \sqrt n-B\sqrt{\log n}]$. Uniformly over deterministic compact interv...
The set of $n\times n$ correlation matrices, known as the elliptope, has volume decaying at the super-exponential rate $\exp\{-\tfrac14 n^2\log n\}$. We characterize where this vanishing volume concentrates. A uniform draw is entrywise close to the identity yet globally far from it and nearly singular: its maximum abso...
For a centered, variance-one random variable $X$ with finite fourth moment, let $x$ be the vector of square-free degree-$d$ monomials in $n$ independent copies of $X$. At the critical scale $d^2/n \to \lambda \in (0,\infty)$, the normalized squared length of $x$ converges to the lognormal variable $R = \exp(\sqrt{\lamb...
We study the smallest nonzero eigenvalue of the sample correlation matrix $\mathbf{R}_n$ formed from a $p_n \times n$ data matrix with i.i.d. real entries $\xi$ of mean zero and unit variance, in the high-dimensional regime $p_n / n \to \phi \in (0, \infty) \setminus \{1\}$. In the tall regime $\phi>1$, we prove almost...
Ze-Qin Lin, Guamgming Pan, Hao-Zhu Zhao et al.· 1 citation
Let $P$ be a real polynomial of degree at most $m$ on $\mathbb{R}^d$, and let $X$ be standard Gaussian. Because Gaussian observations are invariant under $O(d)$, the natural inverse problem is to recover the orthogonal orbit of $P$; the law of $P(X)$ alone is generally insufficient. We prove that a prescribed finite fa...
O. J. Assaad· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
