Pith. sign in

REVIEW 5 minor 17 references

Quantum Gibbs states of long-range Pauli systems keep classical features down to finite, size-independent temperatures that fail in a sharp hierarchy.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Long-range Pauli Gibbs states lose entanglement, magic, and infinite-temperature analyticity at distinct constant inverse temperatures Θ(1/sk), Θ(log(1/ε)/sk), and Θ(1/s√k), with matching classical algorithms.

T0 review reviewed 2026-07-31 challenge →

load-bearing objection Tight hierarchy of classical-to-quantum transitions for long-range Pauli Gibbs states, with real open-question resolutions and algorithms that beat known quantum mixers on temperature.

arxiv 2607.28536 v1 pith:VVE6HFW2 submitted 2026-07-30 quant-ph

When quantum thermal states look classical

Harald Putterman , Alexander Zlokapa , Jordan Cotler This is my paper
classification quant-ph MSC 82B1081P4068Q12 PACS 05.30.-d03.65.Ud05.70.Fh
keywords quantum Gibbs statesseparabilitymagiccluster expansionlong-range interactionszero-freenessthermal algorithmscorrelation decay
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper shows that high-temperature quantum thermal states keep several classical traits of the infinite-temperature mixed state, and that those traits fail at different inverse-temperature scales that do not grow with system size. For Pauli Hamiltonians with bounded total interaction strength on every site—including long-range and all-to-all couplings—entanglement disappears below a constant temperature of order 1/(sk), magic can persist longer when the Hamiltonian is nearly commuting, and the thermodynamic infinite-temperature phase (a zero-free disk for the partition function) extends still colder, to order 1/(s√k). The authors give polynomial-time classical algorithms that prepare the Gibbs state as a mixture of pure product stabilizer states up to the separability threshold, and that estimate the log partition function and local thermal expectations throughout the infinite-temperature phase. The bounds are tight up to constants, settle open questions on long-range entanglement death and correlation decay, and place classical algorithms at colder temperatures than known quantum Gibbs samplers for the same models.

Core claim

For (s,k)-long-range Pauli Hamiltonians, every Gibbs state is fully separable for β ≤ 1/(72 sk), a threshold that is tight Θ(1/sk) even for commuting examples; when the Hamiltonian is ε-close to commuting it remains a mixture of stabilizer states down to β = Θ(log(1/ε)/sk); and the partition function is zero-free in a disk of radius Θ(1/(s√k)). That disk yields exponential correlation decay for geometrically local systems and polynomial-time classical algorithms for log Z and local expectations, while a separate classical algorithm prepares the state as a mixture of pure product stabilizer states up to β = O(1/sk).

What carries the argument

Convergent cluster expansions of the ordinary partition function, of pinned post-selected partition functions after measuring qubits, and of interaction-picture propagators, paired with an adaptive pinning procedure that iteratively removes terms while preserving a separable or stabilizer decomposition; the expansions become polynomial-time algorithms by randomized sampling of polymers.

Load-bearing premise

The Hamiltonian must be a sum of Pauli strings whose total absolute strength on every single qubit stays bounded, independent of how large the system is.

What would settle it

Find an (s,k)-long-range Pauli Hamiltonian whose Gibbs state is entangled, or whose partition function has a zero, at an inverse temperature asymptotically colder than the claimed thresholds, or show that the classical preparation routine fails inside the claimed separable window.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Death of entanglement occurs at constant temperature even for all-to-all Pauli interactions with bounded per-site strength.
  • Classical polynomial-time preparation of these Gibbs states reaches colder temperatures than known quantum Gibbs samplers.
  • Any pair of observables on a geometrically local Pauli system has exponentially decaying correlations throughout the infinite-temperature phase.
  • Proposed superpolynomial quantum advantage for estimating thermal expectations in long-range Pauli systems is ruled out inside the zero-free regime.
  • Nearly commuting Hamiltonians keep stabilizer Gibbs states at parametrically colder temperatures than the separability scale.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A zero-free strip of real width ~1/s (instead of a disk of radius ~1/(s√k)) would likely extend classical estimation all the way to known hardness thresholds for classical spins.
  • Pinned zeros appearing already at scale ~log k/(sk) suggest that quantum mixing arguments based on computational-basis conditioning may stop short of the full infinite-temperature phase.
  • The window between separability (~1/sk) and the zero-free radius (~1/s√k) is a concrete regime where entanglement and magic can exist while thermodynamic classicality and classical estimation still hold.
  • Whether the same hierarchy survives for non-Pauli local terms or fermionic models with unbounded ℓ1 strength remains the natural next stress test.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper establishes a hierarchy of classical-to-quantum transitions for Gibbs states of (s,k)-long-range Pauli Hamiltonians (bounded per-site ℓ1 interaction strength, locality k). It proves separability for all β ≤ 1/(72 sk), tight to Θ(1/sk) even for commuting models, resolving an open question of Rouzé–França–Alhambra; a matching polynomial-time classical algorithm preparing the state as a mixture of pure product stabilizer states up to β ≤ 1/(4096 e sk); stabilizerness to β = Θ(log(1/ε)/sk) for ε-close-to-commuting Hamiltonians; and a zero-free disk of radius Θ(1/(s√k)) implying exponential correlation decay for geometrically local models (resolving Harrow–Mehraban–Soleimanifar) and poly-time classical estimation of log Z and local expectations. Matching upper bounds and explicit constructions are given in the appendices.

Significance. If correct, this is a substantial advance in high-temperature quantum statistical mechanics and quantum algorithms. It tightens and extends Bakshi et al. (FOCS’24) from low-intersection to genuine long-range interactions, places classical preparation below known quantum Gibbs-sampler mixing temperatures, and separates the entanglement, magic, and thermodynamic transitions with matching upper and lower bounds. The defect-repair cluster expansion yielding the √k improvement, the interaction-picture pinning for magic, and the randomized polymer samplers giving polynomial (not quasipolynomial) runtime are technically novel and of independent interest. Open questions (zero-free strips, non-Pauli/fermionic models) are cleanly scoped.

minor comments (5)
  1. [§2.3, Theorem 2] The constant gap between separability (1/72 sk) and classical preparability (1/(4096 e sk)) is large; a short remark in §2.3 or §6 on whether the algorithmic constant can be brought closer to the information-theoretic one would help readers.
  2. [§2.1, Definition 2.6] Definition 2.6 (ε-close to commuting) is used heavily; a one-line example computation for TFIM and perturbed toric code next to the definition would make the parameter immediately concrete.
  3. [Figures 1–2] Figure 1 and Figure 2 are conceptually clear but the axis labels and the precise placement of β_sep vs β_phase could be annotated with the explicit Θ expressions from the theorems.
  4. [§5.2, Lemma 24] In §5.2 the transcript sampler (repair/birth) is intricate; a short pseudocode block parallel to Algorithm 1 would aid verification.
  5. [Throughout] Typos/notation: occasional switches between λ_a and c_a for coefficients; “na ¨ıve” spacing; and “Tr” vs “tr” conventions could be restated once in §2.1 for the whole paper.

Circularity Check

0 steps flagged

No significant circularity: hierarchy of classical-to-quantum thresholds is derived from stated Pauli Hamiltonian assumptions via independent cluster expansions and constructive pinning, with matching upper-bound constructions.

full rationale

The paper proves separability at β = Θ(1/sk), stabilizerness at Θ(log(1/ε)/sk) for ε-close-to-commuting models, a zero-free disk of radius Θ(1/(s√k)), correlation decay, and polynomial-time classical algorithms from Definition 2.3 (and 2.6) via explicit propagator expansions, pinning procedures, polymer/cluster expansions, and Kotecky–Preiss. Thresholds are not fitted to data; lower bounds come from constructive algorithms and series control, while upper bounds are independent entangled/magic/zero constructions in Appendix A (e.g., Theorems 35–38). Citations to BLMT24, HMS20, RFA25, etc. supply background and open questions that the paper resolves with new proofs, not load-bearing uniqueness theorems or smuggled ansatze that force the claimed temperatures. The derivation chain is self-contained mathematical argument under the stated Hamiltonian class; residual risk is ordinary proof-error risk, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 3 invented entities

Load-bearing content is standard linear algebra/trace inequalities plus domain restrictions to Pauli Hamiltonians with bounded per-site strength and the paper's ε-commuting measure. No empirical free parameters. Invented objects are definitional proof devices (polymers, propagators, pinned traces), not new physical entities.

axioms (5)
  • domain assumption Finite-dimensional quantum statistical mechanics: Gibbs state ρ_β = e^{-βH}/Tr(e^{-βH}) and complex partition function Z(z)=Tr(e^{-zH}).
    Used throughout as the object of study; standard.
  • domain assumption Hamiltonians are Pauli strings with |supp(P_a)|≤k and max_x Σ_{a∋x}|c_a|≤s ((s,k)-long-range).
    Definition 2.3; all main theorems are for this class (or low-intersection/nonlocal variants).
  • standard math Kotecký–Preiss criterion for absolute convergence of abstract polymer/cluster expansions.
    Lemma 25 citing KP86; used for zero-freeness and log Z expansions.
  • ad hoc to paper ε-close to commuting quantified by infimum of w_pert/(w_free+w_pert) over H=H_0+V decompositions with pairwise-commuting free part.
    Definition 2.6; magic threshold is stated in these parameters.
  • standard math Separability and STAB_n as convex hulls of product states and pure stabilizer states.
    Definition 2.1; classical-representation claims are membership in these sets.
invented entities (3)
  • Hermitian monomials and iterative pinning configurations for separable decompositions no independent evidence
    purpose: Constructive mixture-of-product-stabilizer representation of e^{-βH}
    Definitions 3.1–3.2 and Algorithm 1; proof devices, not physical postulates.
  • Interaction-picture propagator U_S and activity Φ_S for nearly-commuting magic proofs no independent evidence
    purpose: Pin noncommuting terms while preserving stabilizerness without forcing separability
    Section 4; technical scaffolding for Theorem 3.
  • Defect-repair polymer transcripts for √k-improved cluster expansions no independent evidence
    purpose: Sample/count polymers with nonvanishing Pauli trace more tightly than naive (sk)^m growth
    Lemma 24; enables β_phase=Θ(1/(s√k)) and poly-time estimators.

reviewed 2026-07-31 · how reviews work

0 comments
Cite this review

Pith. "Pith review of When quantum thermal states look classical." pith.science (2026). https://pith.science/paper/VVE6HFW2

@misc{pith2026260728536,
  author       = {Pith},
  title        = {Pith review of: When quantum thermal states look classical},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VVE6HFW2}},
  note         = {Machine review of arXiv:2607.28536}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

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. This leads to polynomial-time classical algorithms for estimating thermal expectations despite both entanglement and magic, and the resolution of a correlation decay conjecture of Harrow, Mehraban and Soleimanifar (STOC'20).

Figures

Figures reproduced from arXiv: 2607.28536 by Alexander Zlokapa, Harald Putterman, Jordan Cotler.

Figure 1
Figure 1. Figure 1: Properties of long-range interacting systems. (a) Depiction of a local Hamiltonian with bounded [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Implications of zero-freeness for phase transitions and classical algorithms. Red dots indicate [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: An example of how the pinning algorithm works. Vertices correspond to qubits and the edges [PITH_FULL_IMAGE:figures/full_fig_p029_3.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 11 linked inside Pith

  1. [7]

    Convergence of the cumulant ex- pansion and polynomial-time algorithm for weakly interacting fermions.arXiv preprint arXiv:2512.12010,

    [CRC+25] Hongrui Chen, Cambyse Rouz ´e, Jielun Chen, Jiaqing Jiang, Samuel O Scalet, Yongtao Zhan, Garnet Kin Chan, Lexing Ying, and Yu Tong. Convergence of the cumulant ex- pansion and polynomial-time algorithm for weakly interacting fermions.arXiv preprint arXiv:2512.12010,

    arXiv

  2. [10]

    Gibbs sampling gives quantum advantage at constant temperatures witho(1)-local hamiltonians.arXiv preprint arXiv:2408.01516,

    [RW24] Joel Rajakumar and James D Watson. Gibbs sampling gives quantum advantage at constant temperatures witho(1)-local hamiltonians.arXiv preprint arXiv:2408.01516,

    arXiv

  3. [11]

    Rapid mixing of quantum gibbs samplers for weakly-interacting quantum systems.arXiv preprint arXiv:2510.04954,

    [ˇSMBB25] ˇStˇep´an ˇSm´ıd, Richard Meister, Mario Berta, and Roberto Bondesan. Rapid mixing of quantum gibbs samplers for weakly-interacting quantum systems.arXiv preprint arXiv:2510.04954,

    Pith/arXiv arXiv

  4. [13]

    Locally interacting lattice bosons: Clustering theorem, low-density condition and their applications.arXiv preprint arXiv:2411.10759,

    [TKG24] Xin-Hai Tong, Tomotaka Kuwahara, and Zongping Gong. Locally interacting lattice bosons: Clustering theorem, low-density condition and their applications.arXiv preprint arXiv:2411.10759,

    Pith/arXiv arXiv

  5. [14]

    Polynomial-time classical sampling of high-temperature quan- tum gibbs states.arXiv preprint arXiv:2305.18514,

    [YL23] Chao Yin and Andrew Lucas. Polynomial-time classical sampling of high-temperature quan- tum gibbs states.arXiv preprint arXiv:2305.18514,

    Pith/arXiv arXiv

  6. [15]

    Polynomial-time approximation of zero-free partition functions.arXiv preprint arXiv:2201.12772,

    [YYZ22] Penghui Yao, Yitong Yin, and Xinyuan Zhang. Polynomial-time approximation of zero-free partition functions.arXiv preprint arXiv:2201.12772,

    Pith/arXiv arXiv

  7. [17]

    A rigorous quasipolynomial-time classical algorithm for syk thermal expectations.arXiv preprint arXiv:2604.21089,

    [Zlo26] Alexander Zlokapa. A rigorous quasipolynomial-time classical algorithm for syk thermal expectations.arXiv preprint arXiv:2604.21089,

    Pith/arXiv arXiv

  8. [2006]

    High-temperature fermionic gibbs states are mixtures of gaussian states.arXiv preprint arXiv:2505.09730,

    [RCTJ25] Akshar Ramkumar, Yiyi Cai, Yu Tong, and Jiaqing Jiang. High-temperature fermionic gibbs states are mixtures of gaussian states.arXiv preprint arXiv:2505.09730,

    arXiv

  9. [2014]

    Approximating permanents and hafnians.arXiv preprint arXiv:1601.07518,

    [Bar16a] Alexander Barvinok. Approximating permanents and hafnians.arXiv preprint arXiv:1601.07518,

    Pith/arXiv arXiv

  10. [2016]

    Approximating real-rooted and stable polynomials, with combinatorial applications.arXiv preprint arXiv:1806.07404,

    [Bar18] Alexander Barvinok. Approximating real-rooted and stable polynomials, with combinatorial applications.arXiv preprint arXiv:1806.07404,

    Pith/arXiv arXiv

  11. [2018]

    Quantum spin chains thermalize at all tempera- tures.arXiv preprint arXiv:2510.08533,

    [BC25] Thiago Bergamaschi and Chi-Fang Chen. Quantum spin chains thermalize at all tempera- tures.arXiv preprint arXiv:2510.08533,

    arXiv

  12. [2021]

    Long-range bosonic systems at thermal equilibrium: Computational complexity and clustering of correlations.arXiv preprint arXiv:2509.25572,

    [TK25] Xin-Hai Tong and Tomotaka Kuwahara. Long-range bosonic systems at thermal equilibrium: Computational complexity and clustering of correlations.arXiv preprint arXiv:2509.25572,

    arXiv

  13. [2022]

    Syk thermal expectations are classically easy at any temperature.arXiv preprint arXiv:2602.22619,

    [ZK26] Alexander Zlokapa and Bobak T Kiani. Syk thermal expectations are classically easy at any temperature.arXiv preprint arXiv:2602.22619,

    Pith/arXiv arXiv

  14. [2023]

    Computing the partition function for cliques in a graph.arXiv preprint arXiv:1405.1974,

    [Bar14] Alexander Barvinok. Computing the partition function for cliques in a graph.arXiv preprint arXiv:1405.1974,

    Pith/arXiv arXiv 1974

  15. [2024]

    A dobrushin condition for quantum markov chains: Rapid mixing and conditional mutual information at high temperature.arXiv preprint arXiv:2510.08542,

    [BLMT25] Ainesh Bakshi, Allen Liu, Ankur Moitra, and Ewin Tang. A dobrushin condition for quantum markov chains: Rapid mixing and conditional mutual information at high temperature.arXiv preprint arXiv:2510.08542,

    arXiv

  16. [2025]

    Quantum gibbs states are locally markovian.arXiv preprint arXiv:2504.02208,

    [CR25] Chi-Fang Chen and Cambyse Rouz ´e. Quantum gibbs states are locally markovian.arXiv preprint arXiv:2504.02208,

    Pith/arXiv arXiv

  17. [2026]

    Static features from mixing in short-and long-range lindbladians: Markov property and correlations.arXiv preprint arXiv:2606.28054,

    [RRSCA26] Paul Rosa-Ruiz, Matteo Scandi, ´Angela Capel, and ´Alvaro M Alhambra. Static features from mixing in short-and long-range lindbladians: Markov property and correlations.arXiv preprint arXiv:2606.28054,

    Pith/arXiv arXiv

This paper was first reviewed by grok-4.5 on July 31, 2026.