2026
CLM-SIGNAL-003410>= m >= C delta^(-2) k log(e n/k)LOWER BOUNDThe cited theorem establishes m >= C delta^(-2) k log(e n/k) under the recorded model.Source: Decoding by linear programming — Subgaussian RIP compressed-sensing measurement bound ↗
PROVEN