Simple proof of the detectability lemma and spectral gap amplification - Anshu, A (2020)
10.1103/PhysRevB.93.205142