Theorem 23.8 (Candès): for ε < 1/(1+√2) and W (ε,2s)-RIP, the ℓ₁-minimizer x⋆ with Wx⋆ = Wx has ‖x⋆ − x‖₂ ≤ 2(1+ρ)/(1−ρ) s^{−1/2}‖x − x_s‖₁, ρ = √2ε/(1−ε)

Initializing...

Theorem 23.8 (Candès): for ε < 1/(1+√2) and W (ε,2s)-RIP, the ℓ₁-minimizer x⋆ with Wx⋆ = Wx has ‖x⋆ − x‖₂ ≤ 2(1+ρ)/(1−ρ) s^{−1/2}‖x − x_s‖₁, ρ = √2ε/(1−ε) · Prove2Me