Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-340/4/c/solution

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 , hence
This 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!