CoSaMP (Compressive Sampling Matching Pursuit)
Algorithms AIMech:CoSaMPCompressiveSamplingMatchingPursuit DRAFT
Aliases: CoSaMP, Compressive Sampling Matching Pursuit, Needell-Tropp CoSaMP Algorithm
CoSaMP (Compressive Sampling Matching Pursuit) is an iterative greedy-pursuit signal reconstruction algorithm introduced by Needell and Tropp (2009) that combines combinatorial support-identification ideas with the optimal restricted-isometry stability guarantees of convex optimization. Given noisy linear measurements u = Phi x + e in C^m of an N-dimensional signal x and target sparsity s, each iteration k >= 1 executes five steps: (1) Identification of the 2s largest coordinates Omega = supp((Phi^* v)_{2s}) of the proxy y = Phi^* v from the current residual v; (2) Support Merger T = Omega union supp(a^{k-1}) of size at most 3s; (3) Estimation via restricted least squares b|_T = Phi_T^dagger u and b|_{T^c} = 0; (4) Pruning to retain only the s largest entries a^k = b_s; and (5) Sample update v = u - Phi a^k. Under the Restricted Isometry Property delta_{4s} <= 0.1, CoSaMP satisfies ||x - a^k||_2 <= 2^{-k} ||x||_2 + 20*nu where nu = ||x - x_s||_2 + s^{-1/2} ||x - x_s||_1 + ||e||_2.
Identity Notes & Concept Scope
Distinct from single-atom Orthogonal Matching Pursuit (AIMech:OrthogonalMatchingPursuitTroppGilbertSignalRecovery), projection-free Iterative Hard Thresholding (AIMech:IterativeHardThresholdingForCompressedSensing), and Subspace Pursuit (which identifies s rather than 2s proxy coordinates and re-projects after pruning). Specifically captures the Needell-Tropp (2009) five-step CoSaMP iteration (Algorithm 2.1), its five component lemmas for identification, support merger, least-squares estimation, and pruning (Lemmas 4.2-4.5), its uniform mixed-norm compressible recovery guarantee (Theorem 2.1), and its Richardson/conjugate-gradient fast least-squares complexity analysis (Section 5, Lemma 5.1 and Theorem 5.2).
Claims & Grounded Evidence
3 Claims
Mechanism
#claim-01
On an s-sparse signal with corrupted measurements u = Phi x + e, CoSaMP's four stagewise bounds—Identification ||(x - a^{k-1})_{Omega^c}||_2 <= 0.2223 ||x - a^{k-1}||_2 + 2.34 ||e||_2 (Lemma 4.2), Support Merger ||x_{T^c}||_2 <= ||(x - a^{k-1})_{Omega^c}||_2 (Lemma 4.3), Estimation ||x - b||_2 <= 1.112 ||x_{T^c}||_2 + 1.06 ||e||_2 (Lemma 4.4), and Pruning ||x - a^k||_2 <= 2 ||x - b||_2 (Lemma 4.5)—compose under delta_{4s} <= 0.1 to yield the per-iteration error contraction ||x - a^k||_2 <= 0.5 ||x - a^{k-1}||_2 + 7.5 ||e||_2 (Theorem 4.1).
Scope
#claim-02
For general compressible signals x in C^N, Lemma 4.1 absorbs the best-(s/2) tail x - x_{s/2} into effective measurement noise e_tilde = Phi(x - x_{s/2}) + e with ||e_tilde||_2 <= sqrt(1 + delta_s)*(||x - x_{s/2}||_2 + s^{-1/2} ||x - x_{s/2}||_1) + ||e||_2, yielding Theorem 2.1's uniform mixed-(l2, l1) recovery bound ||x - a^k||_2 <= 2^{-k} ||x||_2 + 20*nu; furthermore, replacing exact pseudoinversion by 3 steps of Richardson iteration z^{l+1} = Phi_T^* u - (Phi_T^* Phi_T - I) z^l initialized at a^{k-1}|_T preserves the runtime O(L * log(||x||_2/eta)) where L is the cost of a matrix-vector multiply (Lemma 5.1 and Theorem 5.2).
Limitation
#claim-03
CoSaMP requires prior knowledge of the target sparsity level s as an explicit input parameter and relies on the 4s-restricted isometry constant delta_{4s} <= 0.1 (because merging a 2s identification set with an s-sparse iterate forms a 3s-sparse least-squares support whose interaction with an s-sparse residual spans up to 4s columns); if the true non-zero tail energy nu is large, the reconstruction error saturates at an O(nu) noise floor.
⚠️ Curated Limitations & Negative Results
- Requires the target sparsity s to be specified in advance and requires the sensing matrix to satisfy the 4s-Restricted Isometry Property; when the unrecoverable tail-and-noise energy nu is non-zero, CoSaMP's error plateaus at an O(nu) floor.
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:LinearRegression
Linear Regression
|
related_match | CoSaMP solves sparse linear inverse problems using iterative restricted least-squares estimation on merged 3s-sparse supports. |
AIO:LassoRegression
Lasso Regression
|
related_match | CoSaMP provides matching mixed-(l2, l1) instance-optimality guarantees to l1 Basis Pursuit / Lasso via greedy iterative support pruning. |
Evidence Sources & Primary Literature
3 Sources| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
r315-primary-pdf
|
Deanna Needell, Joel A. Tropp
|
primary paper
full_text
|
ID: https://doi.org/10.1016/j.acha.2008.07.002
sha256:b7c44f7100ce…
|
r315-arxiv-abs
|
Deanna Needell, Joel A. Tropp
|
primary paper
abstract_only
|
ID: https://arxiv.org/abs/0803.2392v2
sha256:57f5b27b39de…
|
r315-metadata-cr
|
Deanna Needell, Joel A. Tropp
|
primary paper
abstract_only
|
ID: https://doi.org/10.1016/j.acha.2008.07.002
sha256:c0868fb51319…
|
Ontology & Grounding Topology
Open in interactive network graph →Curation Provenance
Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T06:22:00Z
Updated: 2026-10-19T06:22:00Z
Source File:
data/curated/CoSaMPCompressiveSamplingMatchingPursuit.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