supplementary material for paper: Constant-Expansion Suffices for Compressed Sensing with Generative Priors

In this section we prove Theorem 3.2. The second bound is by concentration of chi-squared with k degrees of freedom. Let x,y, x, y (3 /2) B\ (1/ 2)B . Let d = max( null x y null, null x y null). By Lemma D.4, we can take D = Cnull .