Projected Central Limit Theorem on Hyperspheres

• The projected central limit theorem is defined as the exact finite‑n statement that the projection of a uniformly distributed point on a hypersphere yields a computable density with compact support, converging to a Gaussian as n→∞.
• It reformulates the induced density into a Beta law via hyperspherical moments, thereby unifying subsystem occupation probabilities, Lubkin’s purity formula, and Page’s entropy correction within a geometric framework.
• The theorem incorporates finite‑n, platykurtic corrections that accurately suppress tail events, providing a rigorous basis for quantum typicality and bipartite mutual information analyses.

The projected central limit theorem (PCLT), in the form developed for hyperspheres, is the exact finite-$n$ statement that the projection of a uniformly distributed point on $S^{n-1}\subset\mathbb R^n$ onto a fixed $D$-dimensional coordinate subspace has an explicitly computable density that reduces asymptotically to a Gaussian when $n\to\infty$ with $D$ fixed. In the formulation studied in "Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres" (Wang et al., 28 May 2026), the theorem is not treated merely as an asymptotic approximation, but as an exact geometric distributional statement from which one can rederive the Beta law for subsystem occupation probabilities, Lubkin’s purity formula, Page’s leading entropy correction, and an exact factorized structure for the typical bipartite quantum mutual information of Haar-random pure states.

1. Exact finite-$n$ statement on $S^{n-1}$

Let $x=(x_1,\dots,x_n)$ be drawn uniformly on the unit sphere

$S^{\,n-1}=\{x\in\mathbb R^n:\|x\|^2=1\},$

and let $X=(x_1,\dots,x_D)$ denote its projection onto a fixed $S^{n-1}\subset\mathbb R^n$0-dimensional coordinate subspace. The exact finite-$S^{n-1}\subset\mathbb R^n$1 density of $S^{n-1}\subset\mathbb R^n$2, with respect to Lebesgue measure $S^{n-1}\subset\mathbb R^n$3, is (Wang et al., 28 May 2026)

$S^{n-1}\subset\mathbb R^n$4

Equivalently, if $S^{n-1}\subset\mathbb R^n$5, the associated radial density is

$S^{n-1}\subset\mathbb R^n$6

These densities are normalized by

$S^{n-1}\subset\mathbb R^n$7

The significance of this formulation is that it replaces the conventional Gaussian heuristic for low-dimensional projections by an exact compact-support law. The compact support $S^{n-1}\subset\mathbb R^n$8 is geometrically inherited from the ambient sphere and is central to the finite-size corrections emphasized in the paper. In this setting, the phrase “projected central limit theorem” refers not only to Gaussian convergence in the large-$S^{n-1}\subset\mathbb R^n$9 limit but also to the exact pre-asymptotic structure of the projected distribution.

2. Beta-law reformulation and hyperspherical moments

A central reformulation is obtained by introducing

$D$0

Using the change of variables $D$1 and $D$2, the induced density of $D$3 becomes (Wang et al., 28 May 2026)

$D$4

This is exactly the Beta distribution $D$5 with parameters

$D$6

using

$D$7

The same law is recovered from hyperspherical moments. The $D$8th moment satisfies

$D$9

where

$n\to\infty$0

Hence

$n\to\infty$1

Within the paper’s framework, this moment identity is not merely a consistency check; it is the mechanism by which subsystem-probability distributions and related typicality statements are derived from elementary hyperspherical geometry. This suggests that the PCLT is functioning as a unifying geometric principle rather than as an isolated distributional lemma.

3. Large-$n\to\infty$2 expansion and the platykurtic correction

For $n\to\infty$3 with $n\to\infty$4 fixed, the exact density admits a systematic $n\to\infty$5 expansion. Writing

$n\to\infty$6

one has

$n\to\infty$7

The normalization factor expands as (Wang et al., 28 May 2026)

$n\to\infty$8

Writing $n\to\infty$9, the power term is expanded through

$D$0

which yields

$D$1

Combining the two pieces gives

$D$2

The leading term is the Gaussian $D$3. The first correction is described in the paper as a finite-$D$4 “platykurtic” correction that suppresses the tails relative to the Gaussian approximation (Wang et al., 28 May 2026). For large $D$5, this correction becomes negative, and the exact density vanishes at $D$6, whereas the Gaussian has unbounded support. In the paper’s interpretation, this finite-size tail suppression is quantitatively relevant for standard eigenstate-thermalization and typicality treatments that use Gaussian approximations.

4. Subsystem occupation probabilities and canonical typicality

The principal quantum-information application begins with a Haar-random pure state

$D$7

of total real dimension

$D$8

Expanding

$D$9

the probability of finding the subsystem in $n$0 is

$n$1

Because the real vector

$n$2

is uniformly distributed on $n$3, one identifies

$n$4

with $n$5. The exact PCLT then gives (Wang et al., 28 May 2026)

$n$6

so that

$n$7

Its mean and variance are

$n$8

These relations reproduce canonical typicality in the sense stated in the paper (Wang et al., 28 May 2026).

The asymptotic Gaussian approximation

$n$9

follows from the leading term of the PCLT, but the paper states that its unbounded support “grossly overestimates rare fluctuations for small $S^{n-1}$0.” By contrast, the exact Beta tail falls to zero at $S^{n-1}$1 and is strictly platykurtic, suppressing extreme events by orders of magnitude. A plausible implication is that finite-environment corrections are geometrically controlled rather than merely perturbative.

5. Purity, entropy, and the geometric origin of typical entanglement

The same hyperspherical formalism yields standard average-entanglement quantities. The paper states that hyperspherical cross-moments produce Lubkin’s purity formula (Wang et al., 28 May 2026): $S^{n-1}$2

Via a quadratic expansion of von Neumann entropy, the same framework also reproduces Page’s leading correction,

$S^{n-1}$3

In the paper’s presentation, these results are not introduced as separate random-matrix identities but as direct consequences of the exact hyperspherical projection law and its moments. This places subsystem occupation probabilities, purity, and entropy corrections within a single geometric scheme. The unifying idea is that Haar-random pure-state typicality can be recast as the geometry of coordinate projections on high-dimensional spheres.

The abstract further states that Page’s formula, conjectured in Ref. Page 1993 and subsequently proven in later work, admits an exact algebraic reorganization in the present framework (Wang et al., 28 May 2026). That reorganization is then used to isolate the structure of the leading finite-size correction to the bipartite quantum mutual information.

6. Bipartite quantum mutual information and factorized finite-size structure

The main new result reported in the paper concerns the bipartite quantum mutual information $S^{n-1}$4 for Haar-random pure states (Wang et al., 28 May 2026). Its full asymptotic expansion in $S^{n-1}$5 is said to admit a Bernoulli-factorized form in which every order $S^{n-1}$6 carries the symmetric factor

$S^{n-1}$7

and all higher odd-order corrections vanish identically.

Through an exact algebraic reorganization of Page’s formula, the leading finite-size correction separates into two terms: $S^{n-1}$8 and

$S^{n-1}$9

The first is identified as a dominant $x=(x_1,\dots,x_n)$0 bipartite quantum coherence contribution, and the second as a subtracted classical-probability (Cartan $x=(x_1,\dots,x_n)$1 Cartan) contribution (Wang et al., 28 May 2026).

The paper traces this separation to the difference between diagonal and eigenvalue entropies via Schur’s majorisation theorem, with the dimensional counts $x=(x_1,\dots,x_n)$2 and $x=(x_1,\dots,x_n)$3 acquiring meaning through the Cartan structure of the generalised Bloch decomposition. In this formulation, the mutual-information correction is not simply a scalar finite-size effect; it resolves into Lie-algebraic sectors corresponding to classical-probability and coherent degrees of freedom.

A non-perturbative closed form is also given: $x=(x_1,\dots,x_n)$4 where $x=(x_1,\dots,x_n)$5 is described as an explicit Bose--Einstein integral whose asymptotic expansion in $x=(x_1,\dots,x_n)$6 reproduces the Bernoulli series (Wang et al., 28 May 2026). This suggests a highly constrained analytic structure: the exact typical mutual information factorizes into a universal symmetric dimension factor and a residual function of subsystem and environment dimensions.

7. Conceptual scope and relation to standard typicality treatments

Within the treatment of (Wang et al., 28 May 2026), the PCLT serves as a common geometric source for several results that are often discussed separately: the Beta distribution for subsystem occupation probabilities, canonical typicality, Lubkin’s purity formula, Page’s leading entropy correction, and the asymptotic structure of typical bipartite mutual information.

The paper emphasizes finite-size behavior that is invisible in a purely Gaussian approximation. The term “platykurtic” is used specifically to describe the suppression of tails relative to the Gaussian, and this suppression is tied to the exact compact support of the projected density. In that sense, the theorem refines standard eigenstate-thermalization and typicality arguments by replacing asymptotic normality with an exact hyperspherical law plus controlled $x=(x_1,\dots,x_n)$7 corrections.

A common misconception in this area is that the Gaussian approximation is the essential content of projection-based typicality. The analysis summarized here indicates otherwise: the Gaussian appears only as the leading term, while the exact PCLT retains the finite-$x=(x_1,\dots,x_n)$8 geometry needed to recover bounded-support subsystem statistics and structured entanglement corrections. Another potential misconception is that mutual-information corrections are featureless finite-size remnants. The factorization results described in the abstract point instead to a rigid algebraic pattern involving Bernoulli structure, vanishing higher odd orders, and a separation between $x=(x_1,\dots,x_n)$9 coherence and Cartan probability sectors (Wang et al., 28 May 2026).

Taken together, these results place the projected central limit theorem on hyperspheres at the intersection of high-dimensional geometry, Haar measure, and bipartite entanglement theory. In the paper’s formulation, it is both an exact theorem about projections of uniform spherical measure and a framework for deriving typicality and entanglement properties of random quantum states from elementary hyperspherical moments.