We formulate a mixed-state analog of the NLTS conjecture [FH14] by asking whether there exist topologically-ordered systems for which the thermal Gibbs state for constant temperature is globally-entangled in the sense that it cannot even be approximated by shallow quantum circuits. We then prove this conjecture holds for nearly optimal parameters: when the "inverse temperature" is almost a constant (temperature decays as 1/loglog(n))) and the Hamiltonian is nearly local (log(n)-local). The construction and proof combine quantum codes that arise from high-dimensional manifolds [Has17, LLZ19], the local-decoding approach to quantum codes [LTZ15, FGL18] and quantum locally-testable codes [AE15].
We formulate a mixed-state analog of the NLTS conjecture [FH14] by asking whether there exist topologically-ordered systems for which the thermal Gibbs state for constant temperature is globally-entangled in the sense that it cannot even be approximated by shallow quantum circuits. We then prove this conjecture holds for nearly optimal parameters: when the "inverse temperature" is almost a constant (temperature decays as 1/loglog(n))) and the Hamiltonian is nearly local (log(n)-local). The construction and proof combine quantum codes that arise from high-dimensional manifolds [Has17, LLZ19], the local-decoding approach to quantum codes [LTZ15, FGL18] and quantum locally-testable codes [AE15].
Ground states of local Hamiltonians can be generally highly entangled: any quantum circuit that generates them, even approximately, must be sufficiently deep to allow coupling (entanglement) between any pair of qubits. Until now this property was not known to be “robust” - the marginals of such states to a subset of the qubits containing all but a small constant fraction of them may be only locally entangled, and hence approximable by shallow quantum circuits. In this work we construct a family of 16-local Hamiltonians for which any marginal of a ground state to a fraction at least 1-10-8of the qubits must be globally entangled. This provides evidence that quantum entanglement is not very fragile, and perhaps our intuition about its instability is an artifact of considering local Hamiltonians which are not only local but spatially local. Formally, it provides positive evidence for two wide-open conjectures in condensed-matter physics and quantum complexity theory which are the qLDPC conjecture, positing the existence of “good” quantum LDPC codes, and the NLTS conjecture [1] positing the existence of local Hamiltonians in which any low-energy state is highly entangled. Our Hamiltonian is based on applying the hypergraph product by Tillich-Zemor [2] to the repetition code with checks from an expander graph. A key tool in our proof is a new lower bound on the vertex expansion of the output of low-depth quantum circuits, which may be of independent interest.
At high temperature, quantum Gibbs states retain several classical features of the maximally mixed state: the absence of entanglement, the absence of magic, analyticity of the partition function, correlation decay, and algorithmic tractability. We prove new and sharp bounds showing that these features persist down to finite temperatures independent of system size, but fail at distinct inverse-temperature scales, forming a hierarchy of classical-to-quantum transitions. Our results hold for long-range Pauli interactions with bounded strength at every site. Despite such all-to-all interactions, we show that the death of entanglement occurs at constant temperature, resolving an open question of Rouze, Franca and Alhambra (STOC'25). We give a polynomial-time classical algorithm that prepares Gibbs states up to the death of entanglement transition. Notably, this is asymptotically colder than temperatures at which quantum Gibbs samplers are known to mix quickly, as well as the original separability temperature of Bakshi et al. (FOCS'24), which we improve to be tight up to constants. At asymptotically even colder temperatures, we show that the Gibbs state remains in the thermodynamic infinite-temperature phase. We give polynomial-time classical algorithms for estimating thermal expectations up to the phase transition (despite both entanglement and magic), and as a corollary resolve a correlation decay conjecture of Harrow, Mehraban and Soleimanifar (STOC'20).
We prove that the Gibbs state of any spin chain can be exactly decomposed into a mixture of product states over contiguous blocks of qubits with bounded length, at any constant temperature. As a consequence, any such Gibbs state can be prepared by local unitary circuits of constant depth, with efficient classical preprocessing. We place strong limits on the spatial structure of thermal entanglement: both the entanglement depth and entanglement width (measures of multiparticle entanglement) are bounded by constants, while the localizable entanglement (the bipartite entanglement that can be generated with the aid of local measurements and classical communication) vanishes exactly beyond a constant threshold distance. Our result also has implications for quantum thermalization: for any translation-invariant spin-chain Hamiltonian with nondegenerate spectral gaps, typical low-complexity pure states drawn from a maximally entropic ensemble at any constant effective temperature become locally indistinguishable from the Gibbs state upon unitary evolution. Additionally, we obtain an analogous decomposition for fermionic systems: the Gibbs state of any 1D local fermionic Hamiltonian is exactly a mixture of constant-depth local fermionic circuits acting on Gaussian states.
Quantum entanglement is considered, by and large, to be a very delicate and non-robust phenomenon that is very hard to maintain in the presence of noise, or non-zero temperatures. In recent years however, and motivated, in part, by a quest for a quantum analog of the PCP theorem researches have tried to establish whether or not we can preserve quantum entanglement at "constant" temperatures that are independent of system size. This would imply that any quantum state with energy at most, say 0.05 of the total available energy of the Hamiltonian, would be highly-entangled. To this date, no such systems were found, and moreover, it became evident that even embedding local Hamiltonians on robust, albeit "non-physical" topologies, namely expanders, does not guarantee entanglement robustness. In this study, we indicate that such robustness may be possible after all: We construct an infinite family of O(1)-local Hamiltonians, corresponding to check terms of a quantum error-correcting code with the following property of inapproximability: any quantum state with energy at most 0.05 w.r.t. the total available energy cannot be even approximately simulated by classical circuits of bounded (sub-logarithmic) depth. In a sense, this implies that even providing a "witness" to the fact that the local Hamiltonian can be "almost" satisfied, already requires some measure of long-range entanglement. Our construction is but a first step in what, we believe, is a whole range of possible entanglement - robust local Hamiltonians. A natural next step, we believe, is to devise such local Hamiltonians that resist approximation in terms of bounded-depth quantum circuits (e.g. NLTS), and even find such robust forms of entanglement that are useful for some computation.
The No Low-energy Trivial States (NLTS) conjecture of Freedman and Hastings
(Quantum Information and Computation, 2014) -- which posits the existence of a
local Hamiltonian with a super-constant circuit lower bound on the complexity
of all low-energy states -- identifies a fundamental obstacle to the resolution
of the quantum PCP conjecture. In this paper, we provide new techniques, based
on entropic and local indistinguishability arguments, for proving circuit lower
bounds for the low-energy states of local Hamiltonians arising from quantum
error-correcting codes. For local Hamiltonians arising from nearly linear-rate and
polynomial-distance LDPC stabilizer codes, we prove a super-constant circuit
lower bounds for the complexity of all states of energy o(n) (which can be
viewed as an almost linear NLTS theorem). Such codes are known to exist and, in
general, are not locally-testable, a property previously suspected to be
essential for the NLTS conjecture. Curiously, such codes can also be
constructed on a constant-dimensional lattice, showing that complex
entanglement at high energies can persist in physically relevant systems.
The notion of entanglement has been useful for characterizing universal properties of quantum phases of matter. From the perspective of quantum information theory, it is tempting to ask whether their entanglement structures possess any operational meanings, e.g., quantifying the cost of preparing an entangled system via free operations such as the local operations and classical communication (LOCC). While the answer is affirmative for pure states in that entanglement entropy coincides with entanglement cost, the case for mixed states is less understood. To this end, we study the entanglement cost required to prepare the thermal Gibbs states of certain many-body systems under positive-partial-transpose (PPT) preserving operations, a set of free operations that include LOCC. Specifically, we show that for the Gibbs states of d-dimensional toric code models for d=2,3,4, the PPT entanglement cost exactly equals entanglement negativity, a measure of mixed-state entanglement that has been known to diagnose topological order at finite temperature.