supplementarymaterialforpaper: Constant-ExpansionSufficesforCompressedSensing withGenerativePriors

The two arguments are essentially identical, and wewill focus ontheformer. Moreover we want this to hold whenevern Ck for some constantC = C(). See [20] for a reference on the first bound. Finally, sincePr[W Θ] 1/2, it follows that conditioning onΘ at most doubles the failure probability.