A
bstract
Given the Hamiltonian realisation of a topological (3+1)d gauge theory with finite group
G
, we consider a family of tensor network representations of its ground state subspace. This family ...is indexed by gapped boundary conditions encoded into module 2-categories over the input spherical fusion 2-category. Individual tensors are characterised by symmetry conditions with respect to non-local operators acting on entanglement degrees of freedom. In the case of Dirichlet and Neumann boundary conditions, we show that the symmetry operators form the fusion 2-categories 2Vec
G
of
G
-graded 2-vector spaces and 2Rep(
G
) of 2-representations of
G
, respectively. In virtue of the Morita equivalence between 2Vec
G
and 2Rep(
G
) — which we explicitly establish — the topological order can be realised as the Drinfel’d centre of either 2-category of operators; this is a realisation of the electromagnetic duality of the theory. Specialising to the case
G
= ℤ
2
, we recover tensor network representations that were recently introduced, as well as the relation between the electromagnetic duality of a pure ℤ
2
gauge theory and the Kramers-Wannier duality of a boundary Ising model.
A
bstract
We consider an exactly solvable model in 3+1 dimensions, based on a finite group, which is a natural generalization of Kitaev’s quantum double model. The corresponding lattice Hamiltonian ...yields excitations located at torus-boundaries. By cutting open the three-torus, we obtain a manifold bounded by two tori which supports states satisfying a higher-dimensional version of Ocneanu’s tube algebra. This defines an algebraic structure extending the Drinfel’d double. Its irreducible representations, labeled by two fluxes and one charge, characterize the torus-excitations. The tensor product of such representations is introduced in order to construct a basis for (3+1)d gauge models which relies upon the fusion of the defect excitations. This basis is defined on manifolds of the form
Σ
×
S
1
, with Σ a two-dimensional Riemann surface. As such, our construction is closely related to dimensional reduction from (3+1)d to (2+1)d topological orders.
A
bstract
We study lattice Hamiltonian realisations of (3+1)d Dijkgraaf-Witten theory with gapped boundaries. In addition to the bulk loop-like excitations, the Hamiltonian yields bulk dyonic ...string-like excitations that terminate at gapped boundaries. Using a tube algebra approach, we classify such excitations and derive the corresponding representation theory. Via a dimensional reduction argument, we relate this tube algebra to that describing (2+1)d boundary point-like excitations at interfaces between two gapped boundaries. Such point-like excitations are well known to be encoded into a bicategory of module categories over the input fusion category. Exploiting this correspondence, we define a bicategory that encodes the string-like excitations ending at gapped boundaries, showing that it is a sub-bicategory of the centre of the input bicategory of group-graded 2-vector spaces. In the process, we explain how gapped boundaries in (3+1)d can be labelled by so-called pseudo-algebra objects over this input bicategory.
A
bstract
We consider exactly solvable models in (3+1)d whose ground states are described by topological lattice gauge theories. Using simplicial arguments, we emphasize how the consistency condition ...of the unitary map performing a local change of triangulation is equivalent to the coherence relation of the pentagonator 2-morphism of a monoidal 2-category. By weakening some axioms of such 2-category, we obtain a cohomological model whose underlying 1-category is a 2-group. Topological models from 2-groups together with their lattice realization are then studied from a higher gauge theory point of view. Symmetry protected topological phases protected by higher symmetry structures are explicitly constructed, and the gauging procedure which yields the corresponding topological gauge theories is discussed in detail. We finally study the correspondence between symmetry protected topological phases and ’t Hooft anomalies in the context of these higher group symmetries.
A
bstract
We consider an exactly solvable model for topological phases in (3+1) d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice ...Hamiltonian realisation of the Yetter homotopy 2-type topological quantum field theory. The Hamiltonian yields bulk flux and charge composite excitations that are either point-like or loop-like. Applying a generalised tube algebra approach, we reveal the algebraic structure underlying these excitations and derive the irreducible modules of this algebra, which in turn classify the elementary excitations of the model. As a further application of the tube algebra approach, we demonstrate that the ground state subspace of the three-torus is described by the central subalgebra of the tube algebra for torus boundary, demonstrating the ground state degeneracy is given by the number of elementary loop-like excitations.
A
bstract
We explore 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space
B
2
G
of the symmetry group
G
, and ...they are classified by cohomology classes of
B
2
G
. For finite symmetry groups, 2-form topological theories have a natural lattice interpretation, which we use to construct a lattice Hamiltonian model in (3+1)d that is exactly solvable. This construction relies on the introduction of a cohomology, dubbed 2-form cohomology, of algebraic cocycles that are identified with the simplicial cocycles of
B
2
G
as provided by the so-called
W
-construction of Eilenberg-MacLane spaces. We show algebraically and geometrically how a 2-form 4-cocycle reduces to the associator and the braiding isomorphisms of a premodular category of
G
-graded vector spaces. This is used to show the correspondence between our 2-form gauge model and the Walker-Wang model.
A
bstract
We consider lattice Hamiltonian realizations of (
d
+1)-dimensional Dijkgraaf- Witten theory. In (2+1) d, it is well-known that the Hamiltonian yields point-like excita- tions classified by ...irreducible representations of the twisted quantum double. This can be confirmed using a tube algebra approach. In this paper, we propose a generalisation of this strategy that is valid in any dimensions. We then apply this generalisation to derive the algebraic structure of loop-like excitations in (3+1) d, namely the twisted quantum triple. The irreducible representations of the twisted quantum triple algebra correspond to the simple loop-like excitations of the model. Similarly to its (2+1) d counterpart, the twisted quantum triple comes equipped with a compatible comultiplication map and an
R
-matrix that encode the fusion and the braiding statistics of the loop-like excitations, respectively. Moreover, we explain using the language of loop-groupoids how a model defined on a man- ifold that is
n
-times compactified can be expressed in terms of another model in
n
-lower dimensions. This can in turn be used to recast higher-dimensional tube algebras in terms of lower dimensional analogues.
A
bstract
Using a recent strategy to encode the space of flat connections on a three-manifold with string-like defects into the space of flat connections on a so-called 2d Heegaard surface, we ...propose a novel way to define gauge invariant bases for (3+1)d lattice gauge theories and gauge models of topological phases. In particular, this method reconstructs the spin network basis and yields a novel dual spin network basis. While the spin network basis allows to interpret states in terms of electric excitations, on top of a vacuum sharply peaked on a vanishing electric field, the dual spin network basis describes magnetic (or curvature) excitations, on top of a vacuum sharply peaked on a vanishing magnetic field (or flat connection). This technique is also applicable for manifolds with boundaries. We distinguish in particular a dual pair of boundary conditions, namely of electric type and of magnetic type. This can be used to consider a generalization of Ocneanu’s tube algebra in order to reveal the algebraic structure of the excitations associated with certain 3d manifolds.
We introduce an efficient algorithm for reducing bond dimensions in an arbitrary tensor network without changing its geometry. The method is based on a quantitative understanding of local ...correlations in a network. Together with a tensor network coarse-graining algorithm, it yields a proper renormalization group (RG) flow. Compared to existing methods, the advantages of our algorithm are its low computational cost, simplicity of implementation, and applicability to any network. We benchmark it by evaluating physical observables for the two-dimensional classical Ising model and find accuracy comparable with the best existing tensor network methods. Because of its graph independence, our algorithm is an excellent candidate for implementation of real-space RG in higher dimensions. We discuss some of the details and the remaining challenges in three dimensions. Source code for our algorithm is freely available.
We present a framework to systematically investigate higher categorical symmetries in two-dimensional spin systems. Though exotic, such generalised symmetries have been shown to naturally arise as ...dual symmetries upon gauging invertible symmetries. Our framework relies on an approach to dualities whereby dual quantum lattice models only differ in a choice of module 2-category over some input fusion 2-category. Given an arbitrary two-dimensional spin system with an ordinary symmetry, we explain how to perform the (twisted) gauging of any of its sub-symmetries. We then demonstrate that the resulting model has a symmetry structure encoded into the Morita dual of the input fusion 2-category with respect to the corresponding module 2-category. We exemplify this approach by specialising to certain finite group generalisations of the transverse-field Ising model, for which we explicitly define lattice symmetry operators organised into fusion 2-categories of higher representations of higher groups.