On Frustration-Free Quantum Spin Models
The goal of our work is to characterize the landscape of the frustration-free quantum spin models over the Cayley graph of a finitely generated group G. This is achieved by establishing $G$-equivariant morphisms from the partially ordered space of frustration-free models to the partially ordered spaces 1) of hereditary C*-algebras of the underlying UHF algebra of quasi-local observables, 2) of open projections in its double dual, and 3) of subsets of pure state space. Our main result consists of an intrinsic characterization of the images of these morphisms, which captures the essence of frustration-freeness and enables us to extend the concept to generic AF-C*-algebras. Additionally, using well established facts about AF-C*-algebras, we prove density theorems and provide intrinsic and optimal characterizations of frustration-free ground states.