Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Directional spectral measure of a Hermitian matrix

Definition

For positive integers d,N, let X∈Cd×N and let T∈Cd×d be Hermitian positive semidefinite, meaning T=T∗ and v∗Tv≥0 for every v∈Cd. Let T1/2 be its Hermitian positive semidefinite square root and set A:=1NT1/2XX∗T1/2. For each distinct eigenvalue λ of the Hermitian matrix A, let Pλ be the orthogonal projection onto its eigenspace. The empirical spectral distribution of A, normalized by its dimension d, is μA:=1d∑λ∈spec⁡(A)rank⁡(Pλ) δλ, where δλ is the unit point mass at λ. For a deterministic unit vector x∈Cd, its directional spectral measure is μAx:=∑λ∈spec⁡(A)∥Pλx∥22 δλ. For a Borel set B⊆R, set 1B(A):=∑λ∈B∩spec⁡(A)Pλ; then μAx(B)=x∗1B(A)x. Both measures are supported on the nonnegative real axis.

Definition references

Bai, Miao, and Pan, §1, printed pp. 7–8 (full paper PDF).

Bai and Silverstein, Chapter 3, §§3.1–3.3, printed pp. 39–58 (full book PDF).

Facts & Assumptions

Given: Positive integers d,N, the matrices and vector in the Definition, and the finite-dimensional spectral decomposition.

[F1]

Every Hermitian matrix has real eigenvalues and mutually orthogonal eigenspace projections whose sum is the identity (Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely).

[F2]

For each real λ, δλ is the unit Borel point mass at λ (The Dirac set function at a point).

[F3]

Each point mass δλ is a Borel probability measure (A Dirac set function is a probability measure).

Verification

Given: The positive semidefinite matrix T, matrix X, and the definitions in the Definition.

1.1givenF1algebra

By [F1], diagonalize T=Udiag⁡(t1,…,td)U∗ with each tj≥0. Then T1/2:=Udiag⁡(t1,…,td)U∗ is Hermitian positive semidefinite. With B=N−1/2T1/2X, the matrix A=BB∗ is Hermitian and v∗Av=∥B∗v∥22≥0 for every v; hence all its eigenvalues are nonnegative.

2.1givenF2F3step 1.1algebra∎

Each displayed set function is a finite nonnegative linear combination of the point masses defined in [F2], which are Borel probability measures by [F3]; its coefficients are nonnegative because rank⁡(Pλ)/d≥0 and ∥Pλx∥22≥0. Thus both are finite Borel measures. By step 1.1 their finite supports lie in [0,∞).

Depends on

Used by

Dependency tree · two levels

11 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources