AIMech AI

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

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 →
CONCEPT KIND Algorithms AIMech:CoSaMPCompressiveSamplingMatchingPursuit CoSaMP (Compressive... 3 claims · 3 sources AIO GROUNDING AIO:LinearRegression (2)

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