We extend a recently defined measure of symmetry breaking, the entanglement asymmetry, to higher-form symmetries. In particular, we focus on Abelian topological order in two dimensions, which spontaneously breaks a 1-form symmetry. Using the toric code as a primary example, we compute the entanglement asymmetry and compare it to the topological entanglement entropy. We find that while the two quantities are not strictly equivalent, both are sub-leading corrections to the area law and can serve as order parameters for the topological phase. We generalize our results to non-chiral Abelian topological order and express the maximal entanglement asymmetry in terms of the quantum dimension. Finally, we discuss how the scaling of entanglement asymmetry correctly detects topological order in the deformed toric code, where 1-form symmetry breaking persists even in a trivial phase.
We extend a recently defined measure of symmetry breaking, the entanglement asymmetry, to higher-form symmetries. In particular, we focus on Abelian topological order in two dimensions, which spontaneously breaks a 1-form symmetry. Using the toric code as a primary example, we compute the entanglement asymmetry and compare it to the topological entanglement entropy. We find that while the two quantities are not strictly equivalent, both are sub-leading corrections to the area law and can serve as order parameters for the topological phase. We generalize our results to non-chiral Abelian topological order and express the maximal entanglement asymmetry in terms of the quantum dimension. Finally, we discuss how the scaling of entanglement asymmetry correctly detects topological order in the deformed toric code, where 1-form symmetry breaking persists even in a trivial phase.
Entanglement asymmetry is a relative entropy that faithfully diagnoses symmetry breaking in quantum states, possibly within a spatial subregion. In this work, we extend such framework to higher-form symmetries and compute entanglement asymmetry in theories with spontaneously-broken continuous zero- and higher-form symmetries. One of our central results is an entropic Coleman-Mermin-Wagner theorem, for 0- and p-form symmetries, valid also on subregions, which forbids spontaneous breaking of continuous p-form symmetries in spacetime dimensions d≤p+2. Our theorem not only qualifies symmetry breaking, it also quantifies it: spontaneous breaking triggers a nonvanishing entanglement asymmetry that grows monotonically towards the infrared, and counts the number of Goldstone fields. Along the way, we derive standalone results concerning the entanglement entropy and asymmetry of Goldstone bosons and gauge fields. In particular, we find a closed-form expression for the Rényi asymmetries of a compact scalar field on spherical subregions in three and four spacetime dimensions, and for higher-form gauge fields in higher dimensions.
Abstract We compute the topological entanglement entropy for a large set of lattice models in d-dimensions. It is well known that many such quantum systems can be constructed out of lattice gauge models. For dimensionality higher than two, there are generalizations going beyond gauge theories, which are called higher gauge theories and rely on higher-order generalizations of groups. Our main concern is a large class of d-dimensional quantum systems derived from Abelian higher gauge theories. In this paper, we derive a general formula for the bipartition entanglement entropy for this class of models, and from it we extract both the area law and the sub-leading terms, which explicitly depend on the topology of the entangling surface. We show that the entanglement entropy SA in a sub-region A is proportional to log (GSDA~) GSD A ˜ , where GSDA~ GSD A ˜ is the ground state degeneracy of a particular restriction of the full model to A. The quantity GSDA~ GSD A ˜ can be further divided into a contribution that scales with the size of the boundary ∂A and a term which depends on the topology of ∂A. There is also a topological contribution coming from A itself, that may be non-zero when A has a non-trivial homology. We present some examples and discuss how the topology of A affects the topological entropy. Our formalism allows us to do most of the calculation for arbitrary dimension d. The result is in agreement with entanglement calculations for known topological models.
We explore the relationship between higher-form symmetries and entanglement properties in lattice gauge theories with discrete gauge groups, which can exhibit both topologically ordered phases and higher-form symmetry-protected topological (SPT) phases. Our study centers on a generalization of the Fradkin-Shenker model describing Z 2 lattice gauge theory with matter, where the Gauss law constraint can be either emergent or exact. The phase diagram includes a topologically ordered deconfined phase and a nontrivial SPT phase protected by a 1-form and a 0-form symmetry, among others. We obtain the following key findings: First, the entanglement properties of the model depend on whether the 1-form symmetries and the Gauss law constraint are exact or emergent. For the emergent Gauss law, the entanglement spectrum (ES) of the nontrivial SPT phase exhibits degeneracies, which are robust at low energies against weak perturbations that explicitly break the exact 1-form symmetry. When the Gauss law and the 1-form symmetry are both exact, the ES degeneracy is extensive. This extensive degeneracy turns out to be fragile and can be removed completely by infinitesimal perturbations that explicitly break the exact 1-form symmetry while keeping the Gauss law exact. Second, we consider the ES in the topologically ordered phase where 1-form symmetries are spontaneously broken. In contrast to the ES of the nontrivial SPT phase, we find that spontaneous higher-form symmetry breaking removes “half” of the ES levels, leading to a nondegenerate ES in the topologically ordered phase, in general. Third, we derive a connection between spontaneous higher-form symmetry breaking and the topological entanglement entropy (TEE). Using this relation, we investigate the entanglement entropy that can be distilled in the deconfined phase of the original Fradkin-Shenker model using gauge-invariant measurements. We show that the TEE is robust against the measurement when the 1-form symmetry is emergent but it is fragile when the 1-form symmetry is exact. Our results demonstrate the advantage of higher-form symmetries for understanding entanglement properties of gauge theories.
Here we investigate the connection between topological order and the geometric entanglement, as measured by the logarithm of the overlap between a given state and its closest product state of blocks. We do this for a variety of topologically ordered systems such as the toric code, double semion, colour code and quantum double models. As happens for the entanglement entropy, we find that for sufficiently large block sizes the geometric entanglement is, up to possible sub-leading corrections, the sum of two contributions: a bulk contribution obeying a boundary law times the number of blocks and a contribution quantifying the underlying pattern of long-range entanglement of the topologically ordered state. This topological contribution is also present in the case of single-spin blocks in most cases, and constitutes an alternative characterization of topological order for these quantum states based on a multipartite entanglement measure. In particular, we see that the topological term for the two-dimensional colour code is twice as much as the one for the toric code, in accordance with recent renormalization group arguments (Bombin et al 2012 New J. Phys. 14 073048). Motivated by these results, we also derive a general formalism to obtain upper- and lower-bounds to the geometric entanglement of states with a non-Abelian group symmetry, and which we explicitly use to analyse quantum double models. Furthermore, we also provide an analysis of the robustness of the topological contribution in terms of renormalization and perturbation theory arguments, as well as a numerical estimation for small systems. Some of the results in this paper rely on the ability to disentangle single sites from the quantum state, which is always possible for the systems that we consider. Additionally we relate our results to the behaviour of the relative entropy of entanglement in topologically ordered systems, and discuss a number of numerical approaches based on tensor networks that could be employed to extract this topological contribution for large systems beyond exactly solvable models.
In recent years, new phases of matter that are beyond the Landau paradigm of symmetry breaking have been accumulating, and to catch up with this fast development, new notions of global symmetry are introduced. Among them, the higher-form symmetry, whose symmetry charges are spatially extended, can be used to describe topologically ordered phases as the spontaneous breaking of the symmetry, and consequently unify the unconventional and conventional phases under the same conceptual framework. However, such conceptual tools have not been put into quantitative tests except for certain solvable models, therefore limiting their usage in the more generic quantum many-body systems. In this work, we study Z2 higher-form symmetry in a quantum Ising model, which is dual to the global (zero-form) Ising symmetry. We compute the expectation value of the Ising disorder operator, which is a nonlocal order parameter for the higher-form symmetry, analytically in free scalar theories and through unbiased quantum Monte Carlo simulations for the interacting fixed point in (2+1)d. From the scaling form of this extended object, we confirm that the higher-form symmetry is indeed spontaneously broken inside the paramagnetic, or quantum disordered phase (in the Landau sense), but remains symmetric in the ferromagnetic or ordered phase. At the Ising critical point, we find that the disorder operator also obeys a ``perimeter'' law scaling with possibly multiplicative power-law corrections. We discuss examples where both the global zero-form symmetry and the dual higher-form symmetry are preserved, in systems with a codimension-1 manifold of gapless points in momentum space. These results provide nontrivial working examples of higher-form symmetry operators, including the direct computation of one-form order parameter in an interacting conformal field theory, and open the avenue for their generic implementation in quantum many-body systems.
We analyze the computational aspects of detecting topological order in a quantum many-body system. We contrast the widely used topological entanglement entropy with a recently introduced operational definition for topological order based on error correction properties, finding exponential scaling with the system size for the former and polynomial scaling for the latter. We exemplify our approach for a variant of the paradigmatic toric code model with mobile particles, finding that the error correction method allows to treat substantially larger system sizes. In particular, the phase diagram of the model can be successfully computed using error correction, while the topological entanglement entropy is too severely limited by finite size effects to obtain conclusive results. While we mainly focus on one-dimensional systems whose ground states can be expressed in terms of matrix product states, our strategy can be readily generalized to higher dimensions and systems out of equilibrium, even allowing for an efficient detection of topological order in current quantum simulation experiments.