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 , let and let be Hermitian positive semidefinite, meaning and for every . Let be its Hermitian positive semidefinite square root and set For each distinct eigenvalue of the Hermitian matrix , let be the orthogonal projection onto its eigenspace. The empirical spectral distribution of , normalized by its dimension , is where is the unit point mass at . For a deterministic unit vector , its directional spectral measure is For a Borel set , set ; then . 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 , the matrices and vector in the Definition, and the finite-dimensional spectral decomposition.
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).
For each real , is the unit Borel point mass at (The Dirac set function at a point).
Each point mass is a Borel probability measure (A Dirac set function is a probability measure).
Verification
Given: The positive semidefinite matrix , matrix , and the definitions in the Definition.
By [F1], diagonalize with each . Then is Hermitian positive semidefinite. With , the matrix is Hermitian and for every ; hence all its eigenvalues are nonnegative.
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 and . Thus both are finite Borel measures. By step 1.1 their finite supports lie in .
Depends on
Used by
- Fixed negative-axis directional resolvent integrals converge Corollary
- An anisotropic population with a balanced deterministic direction Example
- At aspect one the reciprocal-spectrum limit diverges Example
- A Hermitian directional spectral measure is a probability law Lemma
- Directional deterministic equivalent for bounded sample-covariance entries Theorem
- General-population sample-covariance law for bounded entries Theorem
- Sample-covariance resolvent deterministic equivalents Theorem
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
- Z. D. Bai, B. Q. Miao, and G. M. Pan, On Asymptotics of Eigenvectors of Large Sample Covariance Matrix (standard reference, not scraped)
- Z. D. Bai and J. W. Silverstein, Spectral Analysis of Large Dimensional Random Matrices, 2nd ed. (standard reference, not scraped)