Table of Contents
Fetching ...

High-Temperature Gibbs States are Unentangled and Efficiently Preparable

Ainesh Bakshi, Allen Liu, Ankur Moitra, Ewin Tang

TL;DR

The paper proves that Gibbs states of local Hamiltonians are separable above a constant temperature, showing a sudden death of thermal entanglement at physically reasonable temperatures. It introduces a constructive, pinning-based approach that expresses $e^{-\beta H}$ as a convex combination of separable (often stabilizer) operators, enabling efficient classical sampling and enabling preparation of $\rho$ with a depth-1 quantum circuit for sufficiently high temperature. A key technical ingredient is a low-temperature-like propagator expansion with a cluster-expansion flavor, which bounds the growth of correlations and enables controlled approximation via restricted Gibbs states. The results imply that high-temperature Gibbs sampling admits efficient classical algorithms, providing limited room for quantum advantage in this regime, and connect quantum entanglement properties to classical sampling techniques via a rigorous, programmable framework.

Abstract

We show that thermal states of local Hamiltonians are separable above a constant temperature. Specifically, for a local Hamiltonian $H$ on a graph with degree $\mathfrak{d}$, its Gibbs state at inverse temperature $β$, denoted by $ρ= e^{-βH}/ \operatorname{tr}(e^{-βH})$, is a classical distribution over product states for all $β< 1/(c\mathfrak{d})$, where $c$ is a constant. This proof of sudden death of thermal entanglement resolves the fundamental question of whether many-body systems can exhibit entanglement at high temperature. Moreover, we show that we can efficiently sample from the distribution over product states. In particular, for any $β< 1/( c \mathfrak{d}^2)$, we can prepare a state $\varepsilon$-close to $ρ$ in trace distance with a depth-one quantum circuit and $\operatorname{poly}(n, 1/\varepsilon)$ classical overhead.

High-Temperature Gibbs States are Unentangled and Efficiently Preparable

TL;DR

The paper proves that Gibbs states of local Hamiltonians are separable above a constant temperature, showing a sudden death of thermal entanglement at physically reasonable temperatures. It introduces a constructive, pinning-based approach that expresses as a convex combination of separable (often stabilizer) operators, enabling efficient classical sampling and enabling preparation of with a depth-1 quantum circuit for sufficiently high temperature. A key technical ingredient is a low-temperature-like propagator expansion with a cluster-expansion flavor, which bounds the growth of correlations and enables controlled approximation via restricted Gibbs states. The results imply that high-temperature Gibbs sampling admits efficient classical algorithms, providing limited room for quantum advantage in this regime, and connect quantum entanglement properties to classical sampling techniques via a rigorous, programmable framework.

Abstract

We show that thermal states of local Hamiltonians are separable above a constant temperature. Specifically, for a local Hamiltonian on a graph with degree , its Gibbs state at inverse temperature , denoted by , is a classical distribution over product states for all , where is a constant. This proof of sudden death of thermal entanglement resolves the fundamental question of whether many-body systems can exhibit entanglement at high temperature. Moreover, we show that we can efficiently sample from the distribution over product states. In particular, for any , we can prepare a state -close to in trace distance with a depth-one quantum circuit and classical overhead.
Paper Structure (43 sections, 29 theorems, 132 equations, 5 algorithms)

This paper contains 43 sections, 29 theorems, 132 equations, 5 algorithms.

Key Result

Theorem 1.1

Consider a system of $n$ qudits on a constant-dimensional lattice, and a Hamiltonian $H = \sum_a H_a \in \mathbbm C^{d^n \times d^n}$ where every term is local with respect to the lattice. Then there is a constant critical temperature such that, above this temperature, the Gibbs state $\rho = e^{-\b

Theorems & Definitions (79)

  • Theorem 1.1: Informal version of \ref{['thm:gibbs-separable']}
  • Theorem 1.2: Informal version of \ref{['thm:main-gibbs']}
  • Definition 1.3: Hamiltonian
  • Definition 1.4: Low-intersection Hamiltonian
  • Theorem 1.5: High-temperature Gibbs states are separable
  • Remark 1.6: Entanglement death under an external field
  • Theorem 1.7: High-temperature Gibbs states are efficiently preparable
  • Definition 3.1: Support of an operator
  • Definition 3.2: Separable operator
  • Definition 3.4: Pauli matrices
  • ...and 69 more