AIMech AI

Truncated Power Method for Sparse Eigenvalue and Sparse PCA

Algorithms AIMech:TruncatedPowerMethodForSparseEigenvalueAndSparsePCA DRAFT
Aliases: Truncated Power Method, TPower, k-Sparse Largest Eigenvalue Truncated Power Iteration, Sparse Eigenvalue Truncation Iteration, Yuan-Zhang Truncated Power Method for Sparse PCA
Truncated Power Method for Sparse Eigenvalue and Sparse PCA (TPower) is a non-convex iterative hard-thresholding spectral algorithm introduced by Yuan and Zhang (2013) that approximates the k-sparse largest (or smallest) eigenvalue problem max_{x in R^p} x^T A x subject to ||x||_2 = 1 and ||x||_0 <= k for a symmetric positive semidefinite matrix A in R^{p x p}. Starting from a k-sparse unit vector x_0, each iteration t >= 1 computes the power-step vector g_t = A x_{t-1}, restricts g_t to the support F_t = supp(g_t, k) of its k largest-magnitude coordinates via the truncation operator Truncate(g_t, F_t), and normalizes x_t = Truncate(g_t, F_t) / ||Truncate(g_t, F_t)||_2. Under the sparse restricted eigenvalue/condition number ratio gamma_{k+2s} = rho_max(k+2s)/rho_min(k+2s) and a sparsity-over-relaxation factor k >= s (1 + 4/(gamma_{k+2s}-1)^{-2}) when the target eigenvector x_bar has support size |F_bar| = s, TPower monotonically increases the Rayleigh objective x_t^T A x_t and contracts geometrically in directional alignment |x_t^T x_bar| toward the true sparse principal eigenvector.
Identity Notes & Concept Scope Distinct from generic AIO:PrincipalComponentAnalysis, AIO:DimensionalityReduction, semidefinite relaxations (DSPCA), diagonal-thresholding and covariance-thresholding sparse PCA (AIMech:CovarianceThresholdingAndReducedRankSemidefiniteRelaxationForSparsePCA), and convex Fantope projection (AIMech:FantopeProjectionAndSelectionForSparsePCA). Specifically captures the Yuan-Zhang (2013) non-convex Truncated Power (TPower) method (Algorithm 1), its two-step optimality certificate x_t = Truncate(A x_t, supp(x_t)) / ||Truncate(A x_t, supp(x_t))||_2 (Proposition 1), its support-truncation perturbation bounds (Lemmas 3-4), and its geometric alignment contraction under sparse condition number control (Theorems 1-2).

Claims & Grounded Evidence

3 Claims
Mechanism #claim-01
Each TPower iteration decomposes the cardinality-constrained quadratic maximization into a linear lower-bound maximization y_t = argmax_{||y||_2=1, ||y||_0<=k} x_{t-1}^T A y = Truncate(A x_{t-1}, F_t)/||Truncate(A x_{t-1}, F_t)||_2 where F_t = supp(A x_{t-1}, k), ensuring monotonic ascent x_{t-1}^T A x_{t-1} <= x_{t-1}^T A x_t <= x_t^T A x_t for any positive semidefinite matrix A and convergence to a fixed point satisfying the fixed-support eigenvector equation (A x)_{F} = lambda x_F with lambda >= max_{i not in F} |(A x)_i| / min_{i in F} |x_i|.
Scope #claim-02
For a target eigenvector x_bar with sparsity |supp(x_bar)| <= s and perturbation E = A - A_bar with sparse spectral norm rho(s+k; E) <= epsilon, the untruncated power step x'_t = A x_{t-1}/||A x_{t-1}||_2 satisfies Lemma 3's alignment bound sqrt(1 - |x'_t^T x_bar|^2) <= gamma_{k+2s} sqrt(1 - |x_{t-1}^T x_bar|^2) + sqrt(2)*epsilon/lambda_bar, and the k-truncation step satisfies Lemma 4's alignment preservation |x_t^T x_bar| >= |x'_t^T x_bar| - min(sqrt(s/k), (1 + sqrt(2*s/k)) sqrt(1 - |x'_t^T x_bar|^2)), yielding geometric contraction sqrt(1 - |x_t^T x_bar|^2) <= mu sqrt(1 - |x_{t-1}^T x_bar|^2) + c*epsilon whenever mu = (1 + sqrt(1 + (1+sqrt(2))^2 s/k)) gamma_{k+2s} < 1 (Theorem 1).
Limitation #claim-03
Because the k-sparse eigenvalue objective is non-convex and invariant to sign flips, TPower is a local ascent method whose convergence to the global sparse eigenvector requires both an initial iterate x_0 with strictly positive alignment |x_0^T x_bar| > c*epsilon/(1-mu) (preventing orthogonal initialization trapping in complementary coordinates) and a sparsity-over-relaxation factor k/s > 1 + 4/(gamma_{k+2s}-1)^{-2} when the restricted condition ratio gamma_{k+2s} is not sufficiently small.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:PrincipalComponentAnalysis
Principal Component Analysis
narrow_match TPower computes k-sparse leading principal components via iterative hard-thresholded power iteration.
AIO:DimensionalityReduction
Dimensionality Reduction
broad_match Sparse eigenvalue extraction and sparse PCA are dimensionality reduction techniques.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r313-primary-pdf
Xiao-Tong Yuan, Tong Zhang
primary paper
full_text
ID: https://jmlr.org/papers/v14/yuan13a.html
sha256:a29ec76e0fc0…
r313-arxiv-abs
Xiao-Tong Yuan, Tong Zhang
primary paper
abstract_only
ID: https://arxiv.org/abs/1112.2679v1
sha256:9bc9b80aa722…
r313-metadata-cr
Xiao-Tong Yuan, Tong Zhang
primary paper
abstract_only
ID: https://jmlr.org/papers/v14/yuan13a.html
sha256:dfa00e0f8b30…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:TruncatedPowerMethodForSparseEigenvalueAndSparsePCA Truncated Power Method... 3 claims · 3 sources AIO GROUNDING AIO:PrincipalComponentAnalysis (2)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T06:18:00Z
Updated: 2026-10-19T06:18:00Z
Source File: data/curated/TruncatedPowerMethodForSparseEigenvalueAndSparsePCA.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