A general inequality between entanglement entropy and a number of topologically ordered states is derived, even without using the properties of the parent Hamiltonian or the formalism of topological quantum field theory. Given a quantum state |ψ], we obtain an upper bound on the number of distinct states that are locally indistinguishable from |ψ]. The upper bound is determined only by the entanglement entropy of some local subsystems. As an example, we show that log N≤2γ for a large class of topologically ordered systems on a torus, where N is the number of topologically protected states and γ is the constant subcorrection term of the entanglement entropy. We discuss applications to quantum many-body systems that do not have any low-energy topological quantum field theory description, as well as tradeoff bounds for general quantum error correcting codes.
A general inequality between entanglement entropy and a number of topologically ordered states is derived, even without using the properties of the parent Hamiltonian or the formalism of topological quantum field theory. Given a quantum state |ψ], we obtain an upper bound on the number of distinct states that are locally indistinguishable from |ψ]. The upper bound is determined only by the entanglement entropy of some local subsystems. As an example, we show that log N≤2γ for a large class of topologically ordered systems on a torus, where N is the number of topologically protected states and γ is the constant subcorrection term of the entanglement entropy. We discuss applications to quantum many-body systems that do not have any low-energy topological quantum field theory description, as well as tradeoff bounds for general quantum error correcting codes.
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.
Topological entanglement entropy (TEE) represents an intrinsic contribution to the entanglement entropy (EE) in topologically ordered systems. In quantum information theory, strong subadditivity (SSA) is a fundamental property of EE, reflecting the non-negativity of conditional mutual information. TEE was originally believed to be a universal correction to the area law of EE, suggesting that its SSA would directly follow from the SSA of EE. However, due to spurious contributions, the correction term is not universal; consequently, the value predicted by topological quantum field theory (TQFT) provides only a lower bound. In this work, we present a topological analysis showing that the SSA for TEE is equivalent to a specific inequality within the TQFT framework. We further verify that this inequality holds for all known unitary modular tensor categories (UMTCs) up to rank 11, supporting the conjecture that SSA holds universally in the TQFT framework. Conversely, assuming the validity of the SSA condition, the inequality can be interpreted as a consistency criterion for candidate UMTCs.
Entanglement entropy provides a powerful characterization of two-dimensional gapped topological phases of quantum matter, intimately tied to their description by topological quantum field theories (TQFTs). Fracton topological orders are three-dimensional gapped topologically ordered states of matter that lack a TQFT description. We show that three-dimensional fracton phases are nevertheless characterized, at least partially, by universal structure in the entanglement entropy of their ground-state wave functions. We explicitly compute the entanglement entropy for two archetypal fracton models, the ``X-cube model'' and ``Haah's code,'' and demonstrate the existence of a nonlocal contribution that scales linearly in subsystem size. We show via Schrieffer-Wolff transformations that this piece of the entanglement entropy of fracton models is robust against arbitrary local perturbations of the Hamiltonian. Finally, we argue that these results may be extended to characterize localization-protected fracton topological order in excited states of disordered fracton models.
We construct upper bounds on entanglement entropies of many-body quantum states that have fixed energy expectation values with respect to local Hamiltonians. Our focus is on entanglement entropies of subsystems that make up approximately half of the full system. The upper bound on the von Neumann entanglement entropy is half the sum of the thermal entropies of two fictitious systems at the same temperature as one another, with an additional area-law contribution in some systems. The effective temperature is chosen such that the sum of the thermal energies of the two fictitious systems matches the constraint on the energy of the state in the original problem; at subextensive energies, this temperature decreases with increasing system size. Our upper bounds on Rényi entanglement entropies take an analogous form. These inequalities show that, in systems that are frustration-free (FF) and whose zero-temperature subsystem thermal entropies scale with surface areas (rather than subsystem volumes), ground states are area-law entangled. For physical models of quantum matter, which have well-defined specific heat capacities (and are not necessarily FF), our bounds provide a way to convert this thermodynamic data into constraints on pure-state entanglement at both subextensive and extensive energies. We also show that our general upper bounds on half-system entanglement entropies are optimal, up to subleading corrections, in systems with reflection symmetry and above a subextensive energy threshold. A key application of our results is to constrain the entanglement of quantum states relevant to simulations of zero-temperature response functions, which have energies of order unity. We prove that, in wide varieties of FF systems in two dimensions and higher, the contributions of excitations to von Neumann entanglement entropy are subleading compared with the contribution from the ground state.
In this thesis, I will discuss how information-theoretic arguments can be used to produce sharp bounds in the studies of quantum many-body systems. The main advantage of this approach, as opposed to the conventional field-theoretic argument, is that it depends very little on the precise form of the Hamiltonian. The main idea behind this thesis lies on a number of results concerning the structure of quantum states that are conditionally independent. Depending on the application, some of these statements are generalized to quantum states that are approximately conditionally independent. These structures can be readily used in the studies of gapped quantum many-body systems, especially for the ones in two spatial dimensions. A number of rigorous results are derived, including (i) a universal upper bound for a maximal number of topologically protected states that is expressed in terms of the topological entanglement entropy, (ii) a first-order perturbation bound for the topological entanglement entropy that decays superpolynomially with the size of the subsystem, and (iii) a correlation bound between an arbitrary local operator and a topological operator constructed from a set of local reduced density matrices. I also introduce exactly solvable models supported on a three-dimensional lattice that can be used as a reliable quantum memory.
We demonstrate that the topological entanglement entropy (γ = log D) is a pure universal number that strictly requires a hard gap (s=0) to exist. Building on the Hard Gap Criterion established in "The Hard Gap Criterion: Universality Classes and Thermodynamic Scaling in Gapped Dephasing Baths", we prove that a soft gap (s ≥ 1) induces anyon proliferation, destroys the topological order, and drives γ → 0. This establishes that the conservation of many-body quantum information is not just a property of the Hamiltonian, but a direct consequence of the infrared spectral structure of the environment. We show that γ is the many-body analogue of the entanglement concurrence C in the conservation law V² + C² = 1 established in "Conservation of Quantum Information in Gapped Baths: The Duality-Depleted Regime". The area law term represents local decoherence, while the topological constant represents globally protected information. The derivation uses only established theorems (the area law of entanglement entropy, the Kitaev-Preskill topological correction, and the algebraic theory of anyons) and contains no fitting, no adjustment, and no circularity. We provide exact numerical validation via the stabilizer formalism, computing the exact pure numbers for the Toric code (log 2 ≈ 0.693147), the Ising model (log 2), and the Fibonacci model (≈ 0.642965). The exact diagonalization confirms that the topological ground state is exactly pure (total stabilizer rank equals the number of qubits), validating the perfect delocalization of quantum information. We state four falsifiable predictions and provide a complete, reproducible Python script.