On Frustration-Free Quantum Spin Models

TL;DR

This paper characterizes frustration-free quantum spin models on Cayley graphs using algebraic and state space morphisms, providing intrinsic descriptions and extending the concept to AF-algebras.

Contribution

It introduces a novel intrinsic characterization of frustration-free models via $G$-equivariant morphisms and extends the framework to AF-algebras.

Findings

Intrinsic characterization of frustration-free models

Density theorems for frustration-free ground states

Definition of boundary algebra for half-lattice models

Abstract

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^\ast$-algebras of the underlying UHF quasi-local algebra of 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-algebras. Additionally, using well established facts about AF-algebras, we prove density theorems, provide intrinsic characterizations of frustration-free ground states, and propose a definition of a boundary algebra for models constrained to half-lattices, under the sole assumption of frustration-freeness.