Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-340/4/c/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 340 4 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
The printed definition of the restricted isometry constant omits the quantifier: the two inequalities must hold for every vector with at most nonzero entries. The constant is the smallest nonnegative value, or the infimum over positive values; it can be zero.
Let and . The restricted isometry property of order says for every supported on . Since is a Hermitian matrix, the finite-dimensional spectral theorem implies . Disjoint supports give , henceThis argument works over and avoids the loss of a factor caused by treating real and imaginary parts separately.
New to topics? Read the docs here!