We introduce a new basis for the gauge-invariant Hilbert space of lattice gauge theory and loop quantum gravity in (2 + 1) dimensions, the fusion basis. In doing so, we shift the focus from the original lattice (or spin-network) structure directly to that of the magnetic (curvature) and electric (torsion) excitations themselves. These excitations are classified by the irreducible representations of the Drinfel'd double of the gauge group, and can be readily "fused" together by studying the tensor product of such representations. We will also describe in detail the ribbon operators that create and measure these excitations and make the quasi-local structure of the observable algebra explicit. Since the fusion basis allows for both magnetic and electric excitations from the onset, it turns out to be a precious tool for studying the large scale structure and coarse-graining flow of lattice gauge theories and loop quantum gravity. This is in neat contrast with the widely used spin-network basis, in which it is much more complicated to account for electric excitations, i.e. for Gauß constraint violations, emerging at larger scales. Moreover, since the fusion basis comes equipped with a hierarchical structure, it readily provides the language to design states with sophisticated multi-scale structures. Another way to employ this hierarchical structure is to encode a notion of subsystems for lattice gauge theories and (2 + 1) gravity coupled to point particles. In a follow-up work, we have exploited this notion to provide a new definition of entanglement entropy for these theories.

We introduce an efficient algorithm for reducing bond dimensions in an arbitrary tensor network without changing its geometry. The method is based on a novel, 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 2D 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 3D. Source code for our algorithm is available as an ancillary file and on GitHub.

One of the most pressing issues for loop quantum gravity and spin foams is the construction of the continuum limit. In this paper, we propose a systematic coarse-graining scheme for three-dimensional lattice gauge models including spin foams. This scheme is based on the concept of decorated tensor networks, which have been introduced recently. Here we develop an algorithm applicable to gauge theories with non-Abelian groups, which for the first time allows for the application of tensor network coarse-graining techniques to proper spin foams. The procedure deals efficiently with the large redundancy of degrees of freedom resulting from gauge symmetry. The algorithm is applied to 3D spin foams defined on a cubical lattice which, in contrast to a proper triangulation, allows for non-trivial simplicity constraints. This mimics the construction of spin foams for 4D gravity. For lattice gauge models based on a finite group we use the algorithm to obtain phase diagrams, encoding the continuum limit of a wide range of these models. We find phase transitions for various families of models carrying non-trivial simplicity constraints. CONTENTS

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 excitations 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 manifold 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. arXiv:1905.08673v2 [cond-mat.str-el]

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. CONTENTS

Entanglement entropy is a valuable tool for characterizing the correlation structure of quantum field theories. When applied to gauge theories, subtleties arise which prevent the factorization of the Hilbert space underlying the notion of entanglement entropy. Borrowing techniques from extended topological field theories, we introduce a new definition of entanglement entropy for both Abelian and non-Abelian gauge theories. Being based on the notion of excitations, it provides a completely relational way of defining regions. Therefore, it naturally applies to background independent theories, e.g. gravity, by circumventing the difficulty of specifying the position of the entangling surface. We relate our construction to earlier proposals and argue that it brings these closer to each other. In particular, it yields the non-Abelian analogue of the 'magnetic centre choice', as obtained through an extended-Hilbert-space method, but applied to the recently introduced fusion basis for 3D lattice gauge theories. We point out that the different definitions of entanglement entropy can be related to a choice of (squeezed) vacuum state.

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.arXiv:1909.07937v1 [cond-mat.str-el]

Abstract: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.