Abstract:Let $(k_n)_{n \in \mathbb{N}}$ be a sequence of positive integers growing to infinity at a sublinear rate, $k_n \rightarrow \infty$ and $k_n/n \rightarrow 0$ as $n \rightarrow \infty$. Given a sequence of $n$-dimensional random vectors $\{Y^{(n)}\}_{n \in \mathbb{N}}$ belonging to a certain class, which includes uniform distributions on suitably scaled $\ell_p^n$-balls or $\ell_p^n$-spheres, $p \geq 2$, and product distributions with sub-Gaussian marginals, we study the large deviations behavior of the corresponding sequence of $k_n$-dimensional orthogonal projections $n^{-1/2} \boldsymbol{a}_{n,k_n} Y^{(n)}$, where $\boldsymbol{a}_{n,k_n}$ is an $(n \times k_n)$-dimensional projection matrix lying in the Stiefel manifold of orthonormal $k_n$-frames in $\mathbb{R}^n$. For almost every sequence of projection matrices, we establish a large deviation principle (LDP) for the corresponding sequence of projections, with a fairly explicit rate function that does not depend on the sequence of projection matrices. As corollaries, we also obtain quenched LDPs for sequences of $\ell_2$-norms and $\ell_\infty$-norms of the coordinates of the projections. Past work on LDPs for projections with growing dimension has mainly focused on the annealed setting, where one also averages over the random projection matrix, chosen from the Haar measure, in which case the coordinates of the projection are exchangeable. The quenched setting lacks such symmetry properties, and gives rise to significant new challenges in the setting of growing projection dimension. Along the way, we establish new Gaussian approximation results on the Stiefel manifold that may be of independent interest. Such LDPs are of relevance in asymptotic convex geometry, statistical physics and high-dimensional statistics.

Short remark on dimension-free estimates for discrete maximal functions over $l^q$ balls: small scale

Macroscopic dimension of the $\ell^p$-ball with respect to the $\ell^q$-norm

Dimension-free $L^p$ estimates for higher order maximal Riesz transforms in terms of the Riesz transforms

Dimension-free estimates for low degree functions on the Hamming cube

Sparse Bounds for Discrete Maximal Functions associated with Birch-Magyar averages

Dimension-free Fourier restriction inequalities

Spherical maximal functions and Hardy spaces for Fourier integral operators

Hardy Spaces Associated with Non-negative Self-adjoint Operators and Ball Quasi-Banach Function Spaces on Doubling Metric Measure Spaces and Their Applications

Ekström-Persson conjecture regarding random covering sets

Dimension-free Estimates for the Vector-Valued Variational Operators

Dimension-free $L^p$ estimates for vectors of Riesz transforms in the rational Dunkl setting

Marcinkiewicz--Zygmund inequalities for scattered and random data on the $q$-sphere

Nikodym sets and maximal functions associated with spheres

Boundedness for maximal operators over hypersurfaces in $\mathbb{R}^3$

Dimension-free inequalities for low and high degree functions on the Hamming cube

Discrete logarithmic Sobolev inequalities in Banach spaces

$L^{p}$-estimate of Schrödinger maximal function in higher dimensions

Quenched large deviation principles for random projections of $\ell_p^n$ balls

The curse of dimensionality for the $L_p$-discrepancy with finite $p$

Approximating the distribution of the $L_q$-norm of a random point in a $d$-dimensional cube

Weighted $\ell_q$ approximation problems on the ball and on the sphere