Lieb-Schultz-Mattis type theorem with higher-form symmetry and the quantum dimer models

TL;DR

This paper extends the Lieb-Schultz-Mattis theorem to systems with higher-form symmetries, providing new insights into quantum dimer models and their anomalies, with implications for topological phases.

Contribution

It generalizes the Lieb-Schultz-Mattis theorem to higher-form symmetries and applies it to quantum dimer models, including anomaly calculations.

Findings

Higher-form Lieb-Schultz-Mattis theorem proven

Application to $U(1)$ lattice gauge theory of quantum dimers

Identification of mixed 't Hooft anomaly near Rokhsar-Kivelson point

Abstract

The Lieb-Schultz-Mattis theorem dictates that a trivial symmetric insulator in lattice models is prohibited if lattice translation symmetry and $U(1)$ charge conservation are both preserved. In this paper, we generalize the Lieb-Schultz-Mattis theorem to systems with higher-form symmetries, which act on extended objects of dimension $n > 0$. The prototypical lattice system with higher-form symmetry is the pure abelian lattice gauge theory whose action consists only of the field strength. We first construct the higher-form generalization of the Lieb-Schultz-Mattis theorem with a proof. We then apply it to the $U(1)$ lattice gauge theory description of the quantum dimer model on bipartite lattices. Finally, using the continuum field theory description in the vicinity of the Rokhsar-Kivelson point of the quantum dimer model, we diagnose and compute the mixed 't Hooft anomaly corresponding to the higher-form Lieb-Schultz-Mattis theorem.