Spectral gaps of frustration-free spin systems with boundary

In quantum many-body systems, the existence of a spectral gap above the ground state has far-reaching consequences. In this paper, we discuss “finite-size” criteria for having a spectral gap in frustration-free spin systems and their applications. We extend a criterion that was originally developed for periodic systems by Knabe and Gosset-Mozgunov to systems with a boundary. Our finite-size criterion says that if the spectral gaps at linear system size n exceed an explicit threshold of order n−3/2, then the whole system is gapped. The criterion takes into account both “bulk gaps” and “edge gaps” of the finite system in a precise way. The n−3/2 scaling is robust: it holds in 1D and 2D systems on arbitrary lattices and with arbitrary finite-range interactions. One application of our results is to give a rigorous foundation to the folklore that 2D frustration-free models cannot host chiral edge modes (whose finite-size spectral gap would scale like n−1).