Limits RegistryPUBLIC RECORDLimits RegistryResearch Console →Gaussian compressed sensing with basis pursuit has a sharp asymptotic sparsity–undersampling transition.
The question, scope, and sources behind this Registry record.
Characterize asymptotic success boundary for l1 recovery with iid Gaussian m by n matrices as m/n tends to delta and k/m tends to rho.
Current frontiers derived from accepted Claims.
The accepted equality closes this optimization result.
Assertions tied to evidence, attribution, and review.
The frontier as it changed over time.
Only accepted Claims matching the current specification contribute to the displayed bounds. Strict inequalities remain open; contradictory Claims require editorial review.
No accepted machine-checked reproductions are recorded for this Limit.
Limits Registry. LR-003411. Donoho–Tanner compressed-sensing phase transition. 2026.