AIMech AI

Subspace Pursuit for Compressive Sensing Signal Reconstruction

Algorithms AIMech:SubspacePursuitForCompressiveSensingSignalReconstruction DRAFT
Aliases: Subspace Pursuit, SP Algorithm for Compressive Sensing, Dai-Milenkovic Subspace Pursuit
Subspace Pursuit for Compressive Sensing Signal Reconstruction (SP) is an iterative backtracking greedy algorithm introduced by Dai and Milenkovic (2009) for reconstructing K-sparse and compressible signals x in R^N from linear measurements y = Phi x + e in R^m. Unlike CoSaMP (which merges 2K proxy coordinates and prunes without re-projecting), SP initializes the K-element support T^0 = {K indices of largest magnitude of Phi^* y} with orthogonal-projection residue y_r^0 = resid(y, Phi_{T^0}) and at each iteration l >= 1 forms the 2K-element candidate union T_tilde^l = T^{l-1} union {K indices of largest magnitude of Phi^* y_r^{l-1}}, computes the intermediate projection coefficients x_p = Phi_{T_tilde^l}^dagger y, prunes T^l to the K indices of largest magnitude in x_p, and performs a second orthogonal projection y_r^l = y - Phi_{T^l} Phi_{T^l}^dagger y onto the pruned K-dimensional column subspace before checking termination ||y_r^l||_2 >= ||y_r^{l-1}||_2.
Identity Notes & Concept Scope Distinct from CoSaMP (AIMech:CoSaMPCompressiveSamplingMatchingPursuit, which selects 2K atoms per step, operates on 3K supports under delta_{4K}, and omits the post-pruning subspace projection), Orthogonal Matching Pursuit (AIMech:OrthogonalMatchingPursuitTroppGilbertSignalRecovery), and Iterative Hard Thresholding (AIMech:IterativeHardThresholdingForCompressedSensing). Specifically captures the Dai-Milenkovic (2009) Subspace Pursuit algorithm (Algorithm 1), its post-pruning orthogonal residue property Phi_{T^l}^* y_r^l = 0 (Lemma 2), its 3K-RIP geometric contraction under delta_{3K} < 0.205 (Theorems 1-2) and noisy/compressible stability under delta_{3K} < 0.083 (Theorem 9).

Claims & Grounded Evidence

3 Claims
Mechanism #claim-01
Because Subspace Pursuit re-projects the measurement vector y onto the pruned K-column subspace span(Phi_{T^{l-1}}) to form y_r^{l-1} = resid(y, Phi_{T^{l-1}}), the correlation vector Phi^* y_r^{l-1} vanishes identically on all currently active indices T^{l-1} (Lemma 2), ensuring that the K newly selected correlation indices are strictly disjoint from T^{l-1} and that the merged support T_tilde^l has exact cardinality 2K, requiring only 3K-restricted isometry constants delta_{3K} rather than 4K-RIP constants.
Scope #claim-02
Under the noiseless 3K-RIP condition delta_{3K} < 0.205 (or delta_{3K} < 0.165 for both support-missed error and residue norms), Theorem 1 and Theorem 2 prove the per-step contractions ||x_{T - T^l}||_2 <= c_K ||x_{T - T^{l-1}}||_2 and ||y_r^l||_2 <= c'_K ||y_r^{l-1}||_2 with c_K, c'_K < 1, guaranteeing exact K-sparse recovery in finite iterations <= ceil(log(x_min/||x||_2)/log(c_K)) (Theorem 3); under noisy compressible measurements with delta_{3K} < 0.083, Theorem 9 proves ||x - x_hat||_2 <= C_1 ||x - x_K||_2 + (C_1/sqrt(K)) ||x - x_K||_1 + C_2 ||e||_2.
Limitation #claim-03
Unlike CoSaMP, each Subspace Pursuit iteration performs two least-squares pseudoinversions (one on the 2K-column matrix Phi_{T_tilde^l} for pruning and a second on the K-column matrix Phi_{T^l} to orthogonalize the residue y_r^l), and requires the target sparsity K to be known a priori.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:LinearRegression
Linear Regression
related_match Subspace Pursuit solves sparse linear reconstruction problems via iterative 2K and K least-squares subspace projections.
AIO:LassoRegression
Lasso Regression
related_match Subspace Pursuit achieves instance-optimal l2/l1 sparse recovery guarantees comparable to l1-regularized Lasso / Basis Pursuit.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r316-primary-pdf
Wei Dai, Olgica Milenkovic
primary paper
full_text
ID: https://doi.org/10.1109/TIT.2009.2016006
sha256:41bc8e1020c1…
r316-arxiv-abs
Wei Dai, Olgica Milenkovic
primary paper
abstract_only
ID: https://arxiv.org/abs/0803.0811v3
sha256:4c602a5f8887…
r316-metadata-cr
Wei Dai, Olgica Milenkovic
primary paper
abstract_only
ID: https://doi.org/10.1109/TIT.2009.2016006
sha256:32b698f007b5…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:SubspacePursuitForCompressiveSensingSignalReconstruction Subspace Pursuit for... 3 claims · 3 sources AIO GROUNDING AIO:LinearRegression (2)

Curation Provenance

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