Theorem 23.9 (constants as proved): for orthonormal U, ε, δ ∈ (0,1), 1 ≤ s ≤ d and n ≥ 216 s log(72d/(δε))/ε², a random N(0,1/n) matrix W has WU (ε,s)-RIP w.p. ≥ 1 − δ

Initializing...

Theorem 23.9 (constants as proved): for orthonormal U, ε, δ ∈ (0,1), 1 ≤ s ≤ d and n ≥ 216 s log(72d/(δε))/ε², a random N(0,1/n) matrix W has WU (ε,s)-RIP w.p. ≥ 1 − δ · Prove2Me