We introduce the notion of combinatorial gauge symmetry -- a local transformation that includes single spin rotations plus permutations of spins (or swaps of their quantum states) -- that preserve the commutation and anti-commutation relations among the spins. We show that Hamiltonians with simple two-body interactions contain this symmetry if the coupling matrix is a Hadamard matrix, with the combinatorial gauge symmetry being associated to the automorphism of these matrices with respect to monomial transformations. Armed with this symmetry, we address the physical problem of how to build quantum spin liquids with physically accessible interactions. In addition to its intrinsic physical significance, the problem is also tied to that of how to build topological qubits.
We construct Hamiltonians with only 1- and 2-body interactions that exhibit an exact non-Abelian gauge symmetry (specifically, combinatiorial gauge symmetry). Our spin Hamiltonian realizes the quantum double associated to the group of quaternions. It contains only ferromagnetic and anti-ferromagnetic ZZ Z Z interactions, plus longitudinal and transverse fields, and therefore is an explicit example of a spin Hamiltonian with no sign problem that realizes a non-Abelian topological phase. In addition to the spin model, we propose a superconducting quantum circuit version with the same symmetry.
Combinatorial gauge symmetry is a principle that allows us to construct lattice gauge theories with two key and distinguishing properties: a) only one- and two-body interactions are needed; and b) the symmetry is exact rather than emergent in an effective or perturbative limit. The ground state exhibits topological order for a range of parameters. This paper is a generalization of the construction to any finite Abelian group. In addition to the general mathematical construction, we present a physical implementation in superconducting wire arrays, which offers a route to the experimental realization of lattice gauge theories with static Hamiltonians.
An ultimate theory of a phase of matter should describe all its universal properties via quantities that are measurable numerically and experimentally. In this work, we present a microscopic universal theory of symmetry-enriched topological quantum spin liquids (TQSLs) in two spatial dimensions, which directly utilizes microscopically measurable quantities to describe the universal properties. This theory applies to generic TQSLs, which can be Abelian or non-Abelian, chiral or non-chiral. The symmetries are also general, which can include both internal and lattice symmetries, unitary and anti-unitary symmetries, and discrete and continuous symmetries. There can be spin-orbit coupling, the microscopic degrees of freedom may transform linearly or projectively under the symmetries, and the symmetries can permute anyons. The input of the theory is some microscopic states with anyons, operators that control the dynamics of anyons, and symmetry actions in the TQSL, and its output is a set of data characterizing the universal properties, whose underlying mathematical structure is a generalization of category theory. Based on this theory, we find an explicit bijective map between the universal data characterizing a TQSL with a symmetry described by a group
G, where the symmetry actions may include both lattice and internal symmetries, and the corresponding universal data for a TQSL with only an internal symmetry group
G, and thus establish a precise crystalline equivalence principle. We demonstrate our theory in symmetry-enriched TQSLs realized on quantum processors based on superconducting qubits, trapped ions, and Rydberg atoms, and in each example we verify the Lieb-Schultz-Mattis anomaly matching condition. Our theory provides a solid basis for identifying and manipulating symmetry-enriched TQSLs, which further paves the way for fault-tolerant quantum computation based on these systems.
We propose a superconducting quantum circuit based on a general symmetry principle-combinatorial gauge symmetry-designed to emulate topologically ordered quantum liquids and serve as a foundation for the construction of topological qubits.The proposed circuit exhibits rich features: in the classical limit of large capacitances its ground state consists of two superimposed loop structures; one is a crystal of small loops containing disordered U(1) degrees of freedom, and the other is a gas of loops of all sizes associated with Z 2 topological order.We show that these classical results carry over to the quantum case, where phase fluctuations arise from the presence of finite capacitances, yielding Z 2 quantum topological order.A key feature of the exact gauge symmetry is that amplitudes connecting different Z 2 loop states arise from paths having zero classical energy cost.As a result, these amplitudes are controlled by dimensional confinement rather than tunneling through energy barriers.We argue that this effect may lead to larger energy gaps than previous proposals that are limited by such barriers, potentially making it more likely for a topological phase to be experimentally observable.Finally, we discuss how our superconducting circuit realization of combinatorial gauge symmetry can be implemented in practice.
We introduce a framework of constructing topological subsystem codes based on the class of anticommuting quantum spin liquids described in [Phys. Rev. B 113, 064402 (2026)]. A canonical model from this class can be considered as a spatial modification of the toric code that voids its stabilizer code property. Rather, these models contain an extensive set of anticommuting local conserved operators that lead to an extensive ground state degeneracy. This degeneracy forms the basis of the subsystem degrees of freedom in the associated quantum error correcting code. The code inherits the many-body topological order of the quantum spin liquid, making it a topological subsystem code. We present two concrete and detailed examples for constructing these codes on a square lattice and a kagome lattice geometry, requiring weight-4 and weight-3 local check operator measurements respectively. In contrast to other subsystem codes, a unique property of these codes is the presence of an extensive number of local gauge qubits that are left undisturbed by the check operators apart from the logical qubits. Our construction provides a template for generating this new category of topological subsystem codes on different lattice or graph geometries, suitable for implementation on various quantum hardware platforms.