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
- Requires two least-squares projections per iteration (on 2K and K columns) and prior specification of the sparsity parameter K; guarantees depend on the 3K-Restricted Isometry Property of the measurement matrix.
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 →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