We propose a discrete model---the twisted quantum double model---of 2D topological phases based on a finite group
G and a 3-cocycle $\ensuremath{\alpha}$ over
G. The detailed properties of the ground states are studied, and we find that the ground-state subspace can be characterized in terms of the twisted quantum double ${D}^{\ensuremath{\alpha}}(G)$ of
G. When $\ensuremath{\alpha}$ is the trivial 3-cocycle, the model becomes Kitaev's quantum double model based on the finite group
G, in which the elementary excitations are known to be classified by the quantum double
D(G) of
G. Our model can be viewed as a Hamiltonian extension of the Dijkgraaf-Witten topological gauge theories to the discrete graph case with gauge group being a finite group. We also demonstrate a duality between a large class of Levin-Wen string-net models and certain twisted quantum double models, by mapping the string-net
6j symbols to the corresponding 3-cocycles.
Abstract One generalization of the toric code is the so-called Kitaev Quantum Double model which realizes the Drinfeld double of a group. In this model edges of a lattice are directed and labeled with elements of a group G which then give us a planar diagram algebra. We consider mainly the “untwisted” case where the F-matrices (or equivalently 3-cocyles) are trivial. This generalizes the toric code where the group is Z2. Again we have vertex and plaquette operators, and a code space which satisfies both. As with the toric code, the ground state is topological although here (depending on the group G) the quasiparticles may be nonabelian. We turn to a continuum model for a more detailed analysis of the ground state space and the quasiparticles using the tube algebra, which, using some amount of group theory, is easily tractable. We discuss the so-called quasiparticle “ribbon operators” which generalize the error strings of the toric code. We relate the Kitaev quantum double model to lattice gauge theory and briefly discuss its generalization to higher dimensions.
We use finite group topological lattice gauge theory, also known as the quantum double model, as a lens to explore a notion of topological order enriched by a non-invertible symmetry. For invertible symmetry enriched topological order, there is an established axiomatisation in terms of a G-crossed braided fusion category. We lay the foundations for a generalisation of this notion. By condensing an arbitrary algebra of charges in a quantum double model, we demonstrate that the category of localised excitations in the resulting theory forms a hypergroup-graded extension of the category of deconfined excitations. For every element in the hypergroup, the associated domain wall acts in a typically non-invertible way on these localised excitations. Both this action and the monoidal structure are compatible with the hypergroup grading. The actual categorical action is encoded in a Hopf monad on the category of localised excitations, and gauging the non-invertible symmetry amounts to computing the category of modules over this Hopf monad. Finally, we outline how this framework naturally extends to theories obtained by condensing algebras in a generic string-net model.
We construct and study lattice realizations of finite 2-group symmetries in
2+1d quantum lattice systems with finite-dimensional tensor-product Hilbert spaces. We focus on two broad classes of 2-groups with 0-form symmetry group
G and 1-form symmetry group
A: split 2-groups with trivial Postnikov class
[β]∈H3(G,A), and central 2-groups with trivial action
ρ:G→Aut(A). In both cases, we construct symmetry operators on the full tensor-product Hilbert space that become 2-group symmetry operators when restricted to the topological subspace of the lattice
A 1-form symmetry. While the lattice split 2-group symmetry operators are onsite, the lattice central 2-group symmetry operators are not, and can only be made onsite after introducing ancillae. We extensively explore various manifestations of
ρ and
[β] for these lattice 2-group symmetry operators and demonstrate their agreement with expectations from quantum field theory. These manifestations arise in the transformation of operators carrying symmetry charge, the structure of lattice 2-group symmetry defects, and the dual fusion 2-category symmetries obtained by gauging the lattice 2-group symmetries. We further propose families of local symmetric Hamiltonians for both classes of lattice 2-group symmetries and identify exactly solvable limits lying in phases with spontaneous 2-group symmetry breaking and nontrivial symmetry-enriched topological order. In one such limit, the gauged Hamiltonians are exactly solvable lattice realizations of the corresponding 2-group gauge theories, whose ground-state degeneracies we calculate.
We derive a canonical form for 2-group gauge theory in
3+1D which shows that it is equivalent either to Dijkgraaf-Witten theory or to the so-called ``EF1'' topological order of Lan and Wen. According to that classification, recently argued from a different point of view by Johnson-Freyd, this amounts to a very large class of all
3+1D topological quantum field theories (TQFTs). We use this canonical form to compute all possible anomalies of 2-group gauge theory which may occur without spontaneous symmetry breaking, providing a converse of the recent symmetry-enforced-gaplessness constraints of C\'ordova and Ohmori and also uncovering some possible new examples. On the other hand, in cases where the anomaly is matched by a TQFT, we try to provide the simplest possible such TQFT. For example, with anomalies involving time reversal,
Z2 gauge theory almost always works.
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.