We discuss real-space lattice models equivalent to gauge theories with a discrete non-Abelian gauge group. We construct the Hamiltonian formalism which is appropriate for their solid-state physics implementation and outline their basic properties. The unusual physics of these systems is due to local constraints on the degrees of freedom which are variables localized on the links of the lattice. We discuss two types of constraints that become equivalent after a duality transformation for Abelian theories but are qualitatively different for non-Abelian ones. We emphasize highly nontrivial topological properties of the excitations (fluxons and charges) in these non-Abelian discrete lattice gauge theories. We show that an implementation of these models may provide one with the realization of an ideal quantum computer, that is, the computer that is protected from the noise and allows a full set of precise manipulations required for quantum computations. We suggest a few designs of the Josephson-junction arrays that provide the experimental implementations of these models and discuss the physical restrictions on the parameters of their junctions.
We regularize compact and non-compact Abelian Chern-Simons-Maxwell theories on a spatial lattice using the Hamiltonian formulation. We consider a doubled theory with gauge fields living on a lattice and its dual lattice. The Hilbert space of the theory is a product of local Hilbert spaces, each associated with a link and the corresponding dual link. The two electric field operators associated with the link-pair do not commute. In the non-compact case with gauge group
R, each local Hilbert space is analogous to the one of a charged "particle" moving in the link-pair group space
R2 in a constant "magnetic" background field. In the compact case, the link-pair group space is a torus
U(1)2 threaded by
k units of quantized "magnetic" flux, with
k being the level of the Chern-Simons theory. The holonomies of the torus
U(1)2 give rise to two self-adjoint extension parameters, which form two non-dynamical background lattice gauge fields that explicitly break the manifest gauge symmetry from
U(1) to
Z(k). The local Hilbert space of a link-pair then decomposes into representations of a magnetic translation group. In the pure Chern-Simons limit of a large "photon" mass, this results in a
Z(k)-symmetric variant of Kitaev's toric code, self-adjointly extended by the two non-dynamical background lattice gauge fields. Electric charges on the original lattice and on the dual lattice obey mutually anyonic statistics with the statistics angle
k2π. Non-Abelian
U(k) Berry gauge fields that arise from the self-adjoint extension parameters may be interesting in the context of quantum information processing.
Motivated by quantum simulation, we consider lattice Hamiltonians for Yang-Mills gauge theories with finite gauge group, for example a finite subgroup of a compact Lie group. We show that the electric Hamiltonian admits an interpretation as a certain natural, nonunique Laplacian operator on the finite Abelian or non-Abelian group and derive some consequences from this fact. Independent of the chosen Hamiltonian, we provide a full explicit description of the physical, gauge-invariant Hilbert space for pure gauge theories and derive a simple formula to compute its dimension. We illustrate the use of the gauge-invariant basis to diagonalize a dihedral gauge theory on a small periodic lattice.
We construct two dimensional lattice models from transfer matrices of lattice gauge theories with discrete gauge groups. These transfer matrices are built out of local operators acting on links, vertices and plaquettes and are parametrized by the center of the gauge group algebra and its dual. They contain the familiar 2D quantum double models for a particular choice of parameters, which includes the well studied example of the toric code. However for more general choices of parameters the transfer matrix contains operators acting on links which can also be thought of as perturbations to the quantum double model driving it out of its topological phase towards a paramagnetic phase. These perturbations can be thought of as magnetic fields added to the system which destroy the exact solvability of the quantum double model. Nevertheless from the same transfer matrix with perturbations we exhibit exactly solvable models which remain in a quantum phase, thus nullifying the effect of the perturbation. The Abelian cases are shown to be in the quantum double phase whereas the non-Abelian phases are shown to be in a modified phase of the corresponding quantum double phase. This is shown by working with the groups Zn and S3 for the Abelian and non-Abelian cases respectively. The quantum phases are found by studying the excitations of these systems. The fusion rules and the statistics of these anyons indicate the quantum phases of these models. The implementation of these models can possibly improve the use of quantum double models for fault tolerant quantum computation. We then construct theories which arise from transfer matrices that are not the transfer matrices of lattice gauge theories. In particular we show that for the Z2 case this contains the double semion model. More generally for other discrete groups these transfer matrices contain the twisted quantum double models. These transfer matrices can be thought of as being obtained by introducing extra parameters into the transfer matrix of lattice gauge theories. These parameters are central elements belonging to the tensor products of the algebra and its dual and are associated to vertices and volumes of the three dimensional lattice. As in the case of the lattice gauge theories we construct the operators creating the excitations in this case and study their braiding and fusion properties.
Electric-magnetic self-duality of the
Z2 gauge theory, realized microscopically as a half-lattice-translation exchanging electric charge and magnetic flux, has been an influential example of a duality symmetry with an exact lattice realization. We construct the first non-Abelian generalization of this construction: a lattice model of the
S3 quantum double
D(S3) on a tensor product Hilbert space in which the
Z2em anyon-permutation symmetry, exchanging the non-Abelian chargeon
C and fluxon
F, is realized via lattice translation. Consequently we find that the zigzag boundary termination of the model realizes, without fine-tuning, a gapless critical edge state described by the tetracritical Ising CFT. The bulk admits three independent
Z2em-preserving bosonic perturbations, driving
D(S3) into distinct gapped phases. We analyze these transitions by three independent methods: category-theoretic anyon condensation, microscopic lattice Hamiltonians, and Chern-Simons-Higgs theory, which all agree, yielding a unified picture. These examples motivate a minimal-condensation principle: proliferating a bosonic anyon generically drives condensation of a minimal condensable algebra containing it, with symmetry-related condensates appearing as degenerate vacua that spontaneously break the anyon-permutation symmetry. Our model construction extends to an infinite family of self-dual dihedral quantum doubles
D(D2n). Notably, each model is sign-problem-free, opening the door to large-scale numerical exploration of the phases of non-Abelian Chern-Simons-Higgs theories.
Flux-attached theories are a novel class of lattice gauge theories whose gauge constraints involve both electric and magnetic operators. Like ordinary gauge theories, they possess confining phases. Unlike ordinary gauge theories, their confinement does not imply a trivial gapped vacuum. This paper will offer three lessons about the confining phases of flux-attached
ZK theories in two spatial dimensions. First, on an arbitrary orientable lattice, flux attachment that satisfies a simple, explicitly derived criterion leads to a confining theory whose low-energy behavior is captured by an action of a general Chern-Simons form. Second, on a square lattice, this criterion can be solved, and all theories that satisfy it can be enumerated. The simplest such theory has an action given by a difference of two Chern-Simons terms, and it features a kind of subsystem symmetry that causes its topological entanglement entropy to behave pathologically. Third, the simplest flux-attached theory on a square lattice that does not satisfy the above criterion is exactly solvable when the gauge group is
Z2. On a torus, its confined phase possesses a twofold topological degeneracy that stems from a sum over spin structures in a dual fermionic theory. This makes this flux-attached
Z2 theory an appealing candidate for a microscopic description of a
U(1)2 Chern-Simons theory.