(SPT-)LSM theorems from projective non-invertible symmetries

Abstract

Projective symmetries are ubiquitous in quantum lattice models and can be leveraged to constrain their phase diagram and entanglement structure. In this paper, we investigate the consequences of projective algebras formed by non-invertible symmetries and lattice translations in a generalized 1+1 <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> D quantum XY model based on group-valued qudits. This model is specified by a finite group G <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mi>G</mml:mi> </mml:math> and enjoys a projective \mathsf{Rep}(G)× Z(G) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mstyle mathvariant="sans-serif"> <mml:mi>𝖱</mml:mi> <mml:mi>𝖾</mml:mi> <mml:mi>𝗉</mml:mi> </mml:mstyle> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> <mml:mo>×</mml:mo> <mml:mi>Z</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> and translation symmetry, where symmetry operators obey a projective algebra in the presence of symmetry defects. For invertible symmetries, such projective algebras imply Lieb-Schultz-Mattis (LSM) anomalies. However, this is not generally true for non-invertible symmetries, and we derive a condition on G <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mi>G</mml:mi> </mml:math> for the existence of an LSM anomaly. When this condition is not met, we prove an SPT-LSM theorem: any unique and gapped ground state is necessarily a non-invertible weak symmetry protected topological (SPT) state with non-trivial entanglement, for which we construct an example fixed-point Hamiltonian. The projectivity also affects the dual symmetries after gauging \mathsf{Rep}(G)× Z(G) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mstyle mathvariant="sans-serif"> <mml:mi>𝖱</mml:mi> <mml:mi>𝖾</mml:mi> <mml:mi>𝗉</mml:mi> </mml:mstyle> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> <mml:mo>×</mml:mo> <mml:mi>Z</mml:mi> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> sub-symmetries, giving rise to non-Abelian and non-invertible dipole symmetries, as well as non-invertible translations. We complement our analysis with the SymTFT, where the projectivity causes it to be a topological order non-trivially enriched by translations. Throughout the paper, we develop techniques for gauging \mathsf{Rep}(G) <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mrow> <mml:mstyle mathvariant="sans-serif"> <mml:mi>𝖱</mml:mi> <mml:mi>𝖾</mml:mi> <mml:mi>𝗉</mml:mi> </mml:mstyle> <mml:mo stretchy="false" form="prefix">(</mml:mo> <mml:mi>G</mml:mi> <mml:mo stretchy="false" form="postfix">)</mml:mo> </mml:mrow> </mml:math> symmetry and inserting its symmetry defects on the lattice, which are applicable to other non-invertible symmetries.

Topics & Concepts