AIMech AI

L-Infinity Eigenvector Perturbation Bound and Robust Factor Covariance Estimation

Mathematical Methods AIMech:LInfinityEigenvectorPerturbationBoundAndRobustFactorCovarianceEstimation DRAFT
Aliases: L-Infinity Eigenvector Perturbation Bound, Fan-Wang-Zhong L-Infinity Singular Vector Perturbation Theorem, Robust Factor Covariance Estimation via Catoni M-Estimator and Spatial Kendall's Tau, Entrywise L-Infinity Singular Vector Perturbation Bound, Robust POET via Catoni M-Estimator and Spatial Kendall's Tau
A deterministic entrywise ($\ell_\infty$) eigenvector and singular-vector perturbation theory and heavy-tailed factor covariance estimation framework (introduced by Jianqing Fan, Weichen Wang, and Yiqiao Zhong in 2018). For a rank-$r$ symmetric matrix $\mathbf{A} = \mathbf{V}\boldsymbol{\Lambda}\mathbf{V}^T \in \mathbb{R}^{d \times d}$ with orthonormal eigenvectors $\mathbf{V} = [\mathbf{v}_1, \dots, \mathbf{v}_r]$, coherence $\mu(\mathbf{V}) = (d/r)\max_i \sum_{j=1}^r V_{ij}^2$, eigengap $\gamma_0 = \min\{|\lambda_i - \lambda_j| : 1 \le i \ne j \le r+1\}$, and symmetric perturbation $\widetilde{\mathbf{A}} = \mathbf{A} + \mathbf{E}$ satisfying $\gamma_0 - \|\mathbf{E}\|_\infty = \Omega(r^3\mu^2\|\mathbf{E}\|_\infty)$, where $\|\mathbf{E}\|_\infty = \max_i \sum_{j=1}^d |E_{ij}|$ is the matrix $\ell_\infty$ operator norm, Theorem 1 (and Theorem 2.1) establishes the coordinatewise delocalized perturbation bound $\max_{1 \le k \le r}\|\widetilde{\mathbf{v}}_k - \operatorname{sgn}(\widetilde{\mathbf{v}}_k^T\mathbf{v}_k)\mathbf{v}_k\|_\infty = O\left(r^{5/2}\mu^{3/2}\,\frac{\|\mathbf{E}\|_\infty}{\gamma_0\sqrt{d}}\right)$, improving upon the Davis–Kahan $\ell_2$ bound by a factor of $1/\sqrt{d}$, while Theorems 2.2–2.4 extend the bound to rectangular low-rank matrices $\mathbf{A} = \mathbf{U}\boldsymbol{\Sigma}\mathbf{V}^T \in \mathbb{R}^{d_1 \times d_2}$ via asymmetric singular-vector norms $\|\mathbf{E}\|_{2,\infty}$ and approximate low-rank decompositions $\mathbf{A} = \mathbf{A}_r + \mathbf{A}_{\rm rem}$. Applying this $\ell_\infty$ eigenvector perturbation bound to a spiked approximate factor model $\mathbf{y}_i = \mathbf{B}\mathbf{f}_i + \boldsymbol{\varepsilon}_i$ with covariance $\boldsymbol{\Sigma} = \mathbf{B}\mathbf{B}^T + \boldsymbol{\Sigma}_u$, the framework constructs two robust high-dimensional factor covariance estimators under heavy tails: (1) an entrywise Catoni M-estimator $\widehat{\Sigma}_{jk}$ solving $\sum_{i=1}^n \psi(\alpha(Y_{ij}Y_{ik} - \widehat{\Sigma}_{jk})) = 0$ with $\psi(x) = \operatorname{sgn}(x)\log(1 + |x| + x^2/2)$ under finite fourth moments, followed by top-$r$ eigen-extraction and adaptive thresholding of the residual covariance (Section 3, Theorems 3.1–3.2); and (2) an elliptical-distribution estimator combining the eigenvectors $\widetilde{\mathbf{V}}^K$ of the spatial Kendall's tau matrix $\widetilde{\boldsymbol{\Sigma}}^K = \binom{n}{2}^{-1}\sum_{i < i'}(\mathbf{y}_i - \mathbf{y}_{i'})(\mathbf{y}_i - \mathbf{y}_{i'})^T / \|\mathbf{y}_i - \mathbf{y}_{i'}\|_2^2$ with Catoni variance and principal-eigenvalue estimators without requiring finite fourth moments for the eigenvector directions (Section 4, Theorems 4.1–4.2).
Identity Notes & Concept Scope Resolved against all 442 pinned AIO concepts and 673 maintained AIMech concepts. Distinct from `AIMech:PrincipalOrthogonalComplementThresholdingForApproximateFactorCovarianceEstimation` (Fan, Liao, & Mincheva 2013, which uses the sample covariance matrix $\widehat{\boldsymbol{\Sigma}}_{\rm samp} = n^{-1}\sum_{i=1}^n \mathbf{y}_i\mathbf{y}_i^T$ under sub-Gaussian tails and relies on the $p \times p$ dual Gram matrix $T \times T$ rather than proving deterministic $\ell_\infty$ eigenvector perturbation bounds in terms of $\|\mathbf{E}\|_\infty$ or using Catoni M-estimation and spatial Kendall's tau under heavy tails), and from `AIMech:AdaptiveThresholdingForHighDimensionalSparseCovarianceMatrixEstimation` (Cai & Liu 2011, which thresholds the sample covariance matrix directly without latent factor extraction or $\ell_\infty$ singular-vector perturbation theory).

Claims & Grounded Evidence

3 Claims
Mechanism #claim-l-infinity-eigenvector-and-singular-vector-perturbation-bounds
For a symmetric rank-$r$ matrix $\mathbf{A} = \mathbf{V}\boldsymbol{\Lambda}\mathbf{V}^T \in \mathbb{R}^{d \times d}$ with coherence $\mu(\mathbf{V}) = (d/r)\max_i \sum_{j=1}^r V_{ij}^2$ and eigengap $\gamma_0$, any symmetric perturbation $\widetilde{\mathbf{A}} = \mathbf{A} + \mathbf{E}$ satisfying $\gamma_0 - \|\mathbf{E}\|_\infty = \Omega(r^3\mu^2\|\mathbf{E}\|_\infty)$ has perturbed eigenvectors satisfying $\max_{1 \le k \le r}\|\widetilde{\mathbf{v}}_k - \operatorname{sgn}(\widetilde{\mathbf{v}}_k^T\mathbf{v}_k)\mathbf{v}_k\|_\infty = O(r^{5/2}\mu^{3/2}\|\mathbf{E}\|_\infty / (\gamma_0\sqrt{d}))$ (Theorem 1 / Theorem 2.1), proved by reducing the eigenvector equation via Schur complement to the secular identity $\widetilde{\lambda}_k = \lambda_k + \mathbf{u}_k^T\mathbf{E}\mathbf{u}_k + \mathbf{u}_k^T\mathbf{E}\mathbf{x}^*$ and bounding the Neumann series $\mathbf{x}^* = \sum_{m=0}^\infty \widetilde{\lambda}_k^{-(m+1)}(\mathbf{Q}\mathbf{E}\mathbf{Q})^m\mathbf{Q}\mathbf{E}\mathbf{u}_k$ in $\ell_\infty$ norm via contraction analysis (Section 5.1, Lemmas 5.1–5.3); for general rectangular matrices $\mathbf{A} = \mathbf{U}\boldsymbol{\Sigma}\mathbf{V}^T + \mathbf{A}_{\rm rem} \in \mathbb{R}^{d_1 \times d_2}$, Theorem 2.4 bounds $\|\widetilde{\mathbf{u}}_i - \mathbf{u}_i\|_\infty$ and $\|\widetilde{\mathbf{v}}_i - \mathbf{v}_i\|_\infty$ by $O(r^{5/2}\mu_0^{3/2}\tau_0 / (\delta_0 - \varepsilon_0)) / \sqrt{d_k}$ where $\tau_0 = \max\{\|\widetilde{\mathbf{E}}\|_{2,\infty}, \|\widetilde{\mathbf{E}}^T\|_{2,\infty}\}$ and $\widetilde{\mathbf{E}} = \mathbf{E} + \mathbf{A}_{\rm rem}$.
Mechanism #claim-catoni-m-estimator-robust-factor-covariance-recovery
In a spiked factor model $\mathbf{y}_i = \mathbf{B}\mathbf{f}_i + \boldsymbol{\varepsilon}_i$ ($i=1,\dots,n$) with pervasive loadings $\|p^{-1}\mathbf{B}^T\mathbf{B} - \boldsymbol{\Sigma}_B\|_2 = o(1)$ and heavy-tailed observations satisfying the bounded fourth-moment condition $\max_{j,k}\mathbb{E}[(Y_{ij}Y_{ik} - \Sigma_{jk})^2] \le v_0^2 < \infty$ (Assumption 3.2), the entrywise Catoni M-estimator $\widehat{\Sigma}_{jk}$ (Equations 3.2–3.3) achieves uniform entrywise concentration $\|\widehat{\boldsymbol{\Sigma}} - \boldsymbol{\Sigma}\|_{\max} = O_p(\sqrt{\log d / n}) without sub-Gaussian tails; combined with Theorem 2.2, this yields $\|\widehat{\mathbf{v}}_k - \mathbf{v}_k\|_\infty = O_p(\sqrt{\log d / (n d)} + 1/d)$ for the spiked eigenvectors and optimal convergence rates $\|\widehat{\boldsymbol{\Sigma}}_u - \boldsymbol{\Sigma}_u\|_2 = O_p(\omega_n^{1-q} m_d)$ and $\|\widehat{\boldsymbol{\Sigma}} - \boldsymbol{\Sigma}\|_{\boldsymbol{\Sigma}} = O_p(d^{-1/2}\sqrt{\log d / n} + \omega_n^{1-q} m_d)$ where $\omega_n = \sqrt{\log d / n} + 1/\sqrt{d}$ (Section 3.2, Theorems 3.1–3.2).
Mechanism #claim-elliptical-spatial-kendalls-tau-eigenvector-recovery
When $\mathbf{y}_i \sim \mathrm{ED}_d(\mathbf{0}, \boldsymbol{\Sigma}, \xi)$ follows an elliptical factor model where fourth moments may not exist, the spatial Kendall's tau U-statistic matrix $\widetilde{\boldsymbol{\Sigma}}^K = \binom{n}{2}^{-1}\sum_{i < i'}(\mathbf{y}_i - \mathbf{y}_{i'})(\mathbf{y}_i - \mathbf{y}_{i'})^T / \|\mathbf{y}_i - \mathbf{y}_{i'}\|_2^2$ shares the exact population eigenvectors $\mathbf{V}$ of $\boldsymbol{\Sigma}$ with top-$r$ eigenvalues $\widetilde{\lambda}_j \asymp \lambda_j / \operatorname{tr}(\boldsymbol{\Sigma}) = \Theta(1)$ and satisfies $\|\widetilde{\boldsymbol{\Sigma}}^K - \boldsymbol{\Sigma}^K\|_2 = O_p(\sqrt{\log d / n})$ unconditionally on tail heaviness; applying Theorem 2.2 to $\widetilde{\boldsymbol{\Sigma}}^K$ proves that its top $r$ eigenvectors $\widetilde{\mathbf{v}}_j^K$ satisfy $\max_{1 \le j \le r}\|\widetilde{\mathbf{v}}_j^K - \mathbf{v}_j\|_\infty = O_p(\sqrt{d\log d / n} + d^{-1/2})$ without any moment condition on $\xi$ (Section 4.1, Theorems 4.1–4.2).

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:PrincipalComponentAnalysis
Principal Component Analysis
related_match The l_infinity eigenvector perturbation bound characterizes coordinatewise stability of principal components and singular vectors, and Sections 3-4 apply it to robust principal-component factor covariance estimation.
AIO:DimensionalityReduction
Dimensionality Reduction
related_match Low-rank spectral and singular-value decomposition of high-dimensional factor covariance matrices is a core linear dimensionality-reduction methodology.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
fwz2018-linf-pdf
Jianqing Fan, Weichen Wang, Yiqiao Zhong
primary paper
full_text
ID: https://jmlr.org/papers/v18/16-140.html
sha256:a12e3611ecf0…
fwz2018-linf-abs
Jianqing Fan, Weichen Wang, Yiqiao Zhong
primary paper
abstract_only
ID: https://arxiv.org/abs/1603.03516
sha256:df06a64ce264…
fwz2018-linf-jmlr
Jianqing Fan, Weichen Wang, Yiqiao Zhong
primary paper
abstract_only
ID: https://jmlr.org/papers/v18/16-140.html
sha256:5b0832c747e4…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Mathematical Methods AIMech:LInfinityEigenvectorPerturbationBoundAndRobustFactorCovarianceEstimation L-Infinity Eigenvector... 3 claims · 3 sources AIO GROUNDING AIO:PrincipalComponentAnalysis (2)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T05:10:00Z
Updated: 2026-10-19T05:10:00Z
Source File: data/curated/LInfinityEigenvectorPerturbationBoundAndRobustFactorCovarianceEstimation.yaml · Schema: curated_concept.yaml

Explore across X-Mech

Related computational & biological Mechs: Embedding Map Network Graph ProteinTraitsMech (ESM-2 pLM) DUFMech (Domain pLM) TraitMech CultureMech All 14 X-Mech Repositories