pith. machine review for the scientific record. sign in

arxiv: 2605.11285 · v1 · submitted 2026-05-11 · 🪐 quant-ph

Recognition: no theorem link

Analogue quantum simulation with polylogarithmic interaction strengths by extrapolating within phases of matter

Dylan Harley, Matthias Christandl

Authors on Pith no claims yet

Pith reviewed 2026-05-13 01:40 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum simulationperturbative gadgetsSchrieffer-Wolff transformationquantum phasesextrapolation methodspolylogarithmic scalingthermal statesgapped systems
0
0 comments X

The pith

Non-critical quantum systems can be simulated with perturbative gadgets whose interaction strengths scale only polylogarithmically in system size and precision.

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

The paper establishes that for thermal states with exponentially decaying correlations and gapped ground states with stable gaps, one can apply perturbative gadgets at reduced energy scales and then use classical post-processing to extrapolate observables to the high-precision perturbative limit. This replaces the usual polynomial scaling of interaction strengths with polylogarithmic scaling, making analogue simulation physically more feasible. The method relies on the fact that observables vary smoothly within a phase, so lower-scale simulations still capture the correct trend. A supporting technical development is a generalised local Schrieffer-Wolff transformation that works for quasi-local Hamiltonians across multiple energy scales without requiring global penalties.

Core claim

Both local and extensive properties of non-critical thermal states and sufficiently gapped ground states can be recovered to arbitrary precision by simulating weaker gadget Hamiltonians at reduced energy scales and classically extrapolating the results to the target perturbative regime, yielding interaction strengths that scale only polylogarithmically rather than polynomially in the inverse precision and system size.

What carries the argument

Extrapolation within a phase of matter, enabled by a generalised local Schrieffer-Wolff transformation that handles geometrically quasi-local Hamiltonians over many energy scales.

If this is right

  • Local observables in thermal states with exponential correlation decay become simulable with gadget interactions that grow only as polylogarithms of system size and desired precision.
  • Extensive quantities such as energy density in gapped ground states follow the same polylogarithmic scaling.
  • Perturbative gadgets no longer require interaction strengths that span polynomially many orders of magnitude.
  • The generalised Schrieffer-Wolff analysis applies to gadget constructions without extensive global energy penalties.

Where Pith is reading between the lines

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

  • Hardware-limited simulators could reach larger system sizes by accepting weaker interactions and performing the extrapolation classically.
  • The approach may combine with other error-mitigation or variational methods that also exploit phase stability.
  • Testing on exactly solvable small models could quantify how far into a phase the extrapolation remains accurate before criticality effects appear.
  • If extended beyond gadgets, similar extrapolation might reduce resource costs in other analogue or digital simulation schemes.

Load-bearing premise

The simulated systems must remain non-critical so that observables change continuously and smoothly when the effective energy scale is reduced.

What would settle it

On a small non-critical system, compute an observable exactly, then run the reduced-scale gadget simulation and extrapolate; if the extrapolated value deviates from the exact result by more than the claimed error after accounting for finite-size effects, the scaling claim fails.

Figures

Figures reproduced from arXiv: 2605.11285 by Dylan Harley, Matthias Christandl.

Figure 1
Figure 1. Figure 1: (a) A 3-local Hamiltonian Htar = P i hi can be simulated by a 2-local simulator Hamiltonian H′ (x) = P i h ′ i (x) by replacing each term with a perturbative gadget containing interactions scaling polynomially with x −1 [KKR06, OT05]. (b) Behaviour of a simulated expectation value f(x) := tr[Oρ′ (x)] (black curve), for ρ ′ (x) a ground or Gibbs state of the simulator Hamiltonian H′ (x). To ensure |f(x) − f… view at source ↗
Figure 2
Figure 2. Figure 2: Structure of the key results of this work, with the main extrapolation results highlighted. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Zeroes (blue) of the complex partition function [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Away from criticality, the local expectation value tr[ [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Comparison of the interaction strengths required in a simulator Hamiltonian [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
read the original abstract

Simple families of quantum Hamiltonians can simulate general many-body systems at arbitrary precision through the use of perturbative gadgets, however this generally requires interaction strengths spanning many orders of magnitude which scale polynomially in the system size and inverse precision, resulting in physically unrealisable systems. In this work, we show that for non-critical systems these required scalings can be exponentially reduced through classical post-processing, by simulating the model at smaller energy scales and extrapolating observables to the perturbative limit. In particular, we show that both local and extensive properties of thermal states with exponentially decaying correlations and ground states with a sufficiently stable gap can be simulated using gadgets whose interaction strengths scale only polylogarithmically in the inverse precision and the system size. As a key tool, we develop a generalised treatment of the local Schrieffer-Wolff transformation for geometrically quasi-local Hamiltonians over many energy scales, facilitating the analysis of perturbative gadget Hamiltonians without extensive global energy penalities, which may be of independent interest.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper claims that for non-critical many-body systems—specifically thermal states with exponentially decaying correlations and ground states with a sufficiently stable gap—perturbative gadgets can simulate both local and extensive properties at arbitrary precision using interaction strengths that scale only polylogarithmically in system size N and inverse precision, rather than polynomially. This is achieved by simulating the target model at reduced energy scales and extrapolating observables to the perturbative limit via classical post-processing. The key technical tool is a generalized local Schrieffer-Wolff transformation applicable to geometrically quasi-local Hamiltonians across multiple energy scales, which avoids the need for extensive global energy penalties.

Significance. If the error bounds and extrapolation procedure hold with the claimed uniformity, the result would meaningfully lower the barrier to analogue quantum simulation of large systems by reducing the dynamic range of required couplings from polynomial to polylogarithmic scaling. The generalized multi-scale Schrieffer-Wolff analysis is presented as potentially reusable for other perturbative gadget constructions and quasi-local Hamiltonians.

major comments (1)
  1. [Abstract (central claim) and the derivation of the generalized Schrieffer-Wolff error bounds] The central claim for extensive observables (e.g., total energy or magnetization) requires that the per-site approximation error in the generalized local Schrieffer-Wolff transformation remains sufficiently small (exponentially small in the polylog gadget strength, or otherwise uniform in N) so that the total error does not accumulate linearly with system size. The abstract asserts control over extensive properties, but if the local character of the transformation yields only polynomially small per-site errors, the polylog scaling would be lost upon extrapolation; explicit bounds addressing this accumulation must be supplied.
minor comments (1)
  1. [Abstract] The phrase 'sufficiently stable gap' in the abstract and main claim should be accompanied by a precise quantitative condition (e.g., gap lower bound in terms of N and precision) to make the domain of applicability unambiguous.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. We address the major comment below regarding error bounds for extensive observables and have revised the manuscript to make the relevant uniformity statements explicit.

read point-by-point responses
  1. Referee: [Abstract (central claim) and the derivation of the generalized Schrieffer-Wolff error bounds] The central claim for extensive observables (e.g., total energy or magnetization) requires that the per-site approximation error in the generalized local Schrieffer-Wolff transformation remains sufficiently small (exponentially small in the polylog gadget strength, or otherwise uniform in N) so that the total error does not accumulate linearly with system size. The abstract asserts control over extensive properties, but if the local character of the transformation yields only polynomially small per-site errors, the polylog scaling would be lost upon extrapolation; explicit bounds addressing this accumulation must be supplied.

    Authors: We appreciate the referee's identification of this key technical requirement. The generalized local Schrieffer-Wolff transformation (developed in Section III and formalized in Theorems 1--3) establishes that the approximation error on each local term is exponentially small in the gadget interaction strength. Because the gadget strength is chosen to scale only polylogarithmically in both N and the target precision, this exponential suppression is superpolynomial in N and therefore compensates for any linear accumulation across sites. The exponentially decaying correlations assumed for the non-critical thermal states (and the stable gap for ground states) further ensure that the total error on extensive observables remains bounded by the claimed polylogarithmic scaling. The extrapolation step via classical post-processing is applied after this controlled approximation. To address the request for explicitness, we have added a dedicated paragraph in the revised main text (immediately following the statement of the main theorem) that spells out the accumulation argument and cites the relevant error bounds. revision: yes

Circularity Check

0 steps flagged

No circularity: new generalized Schrieffer-Wolff tool supports independent extrapolation analysis

full rationale

The derivation introduces a generalized local Schrieffer-Wolff transformation for geometrically quasi-local Hamiltonians over multiple scales as an original technical contribution (abstract and methods). This enables error analysis for gadgets without global penalties. Extrapolation of local/extensive observables relies on standard properties of non-critical phases (exponentially decaying correlations or stable gaps), which are external assumptions rather than fitted or self-defined quantities. No steps reduce by construction to inputs, self-citations, or renamed known results; the polylog scaling claim follows from the new transformation bounds applied to perturbative limits. The approach is self-contained against external benchmarks of phase stability.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that the simulated systems are non-critical, enabling valid extrapolation; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Target systems are non-critical with exponentially decaying correlations (thermal states) or sufficiently stable gap (ground states)
    This condition is required for the extrapolation to remain within the phase and for the polylogarithmic scaling to hold.

pith-pipeline@v0.9.0 · 5470 in / 1250 out tokens · 45469 ms · 2026-05-13T01:40:21.374743+00:00 · methodology

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

13 extracted references · 13 canonical work pages · 1 internal anchor

  1. [1]

    Robust analog quantum simulators by quantum error-detecting codes.arXiv preprint arXiv:2412.07764,

    [CLD+24] Yingkang Cao, Suying Liu, Haowei Deng, Zihan Xia, Xiaodi Wu, and Yu-Xin Wang. Robust analog quantum simulators by quantum error-detecting codes.arXiv preprint arXiv:2412.07764,

  2. [2]

    Stochastic error cancellation in analog quantum simulation.arXiv preprint arXiv:2311.14818,

    [CTP23] Yiyi Cai, Yu Tong, and John Preskill. Stochastic error cancellation in analog quantum simulation.arXiv preprint arXiv:2311.14818,

  3. [3]

    End-to-end efficient quantum thermal and ground state preparation made simple.arXiv preprint arXiv:2508.05703,

    49 [DZPL25] Zhiyan Ding, Yongtao Zhan, John Preskill, and Lin Lin. End-to-end efficient quantum thermal and ground state preparation made simple.arXiv preprint arXiv:2508.05703,

  4. [4]

    Gonz´ alez-Guill´ en and Toby S

    [GGC18] Carlos E. Gonz´ alez-Guill´ en and Toby S. Cubitt. History-state Hamiltonians are critical. arXiv preprint arXiv:1810.06528,

  5. [5]

    [HPP25] Dominik Hahn, S. A. Parameswaran, and Benedikt Placke. Provably efficient quantum thermal state preparation via local driving.arXiv preprint arXiv:2505.22816,

  6. [6]

    Quantum thermal state preparation for near-term quantum processors.arXiv preprint arXiv:2506.21318,

    [LA25] Jerome Lloyd and Dmitry A Abanin. Quantum thermal state preparation for near-term quantum processors.arXiv preprint arXiv:2506.21318,

  7. [7]

    Well-conditioned multiproduct Hamiltonian simulation.arXiv preprint arXiv:1907.11679,

    [LKW19] Guang Hao Low, Vadym Kliuchnikov, and Nathan Wiebe. Well-conditioned multiproduct Hamiltonian simulation.arXiv preprint arXiv:1907.11679,

  8. [8]

    Langbehn, G

    [LMK+25] Josias Langbehn, George Mouloudakis, Emma King, Rapha¨ el Menu, Igor Gornyi, Gio- vanna Morigi, Yuval Gefen, and Christiane P Koch. Universal cooling of quantum systems via randomized measurements.arXiv preprint arXiv:2506.11964,

  9. [9]

    [ORFW23] Emilio Onorati, Cambyse Rouz´ e, Daniel Stilck Fran¸ ca, and James D. Watson. Prov- ably efficient learning of phases of matter via dissipative evolutions.arXiv preprint arXiv:2311.07506,

  10. [10]

    [OT05] Roberto Oliveira and Barbara M. Terhal. The complexity of quantum spin systems on a two-dimensional square lattice.arXiv preprint quant-ph/0504050,

  11. [11]

    Stability of digital and analog quantum simulations under noise

    [REG25] Jayant Rao, Jens Eisert, and Tommaso Guaita. Stability of digital and analog quantum simulations under noise.arXiv preprint arXiv:2510.08467,

  12. [12]

    Many-body localization: concepts and simple models

    [SS13] Robert Sims and Gunter Stolz. Many-body localization: concepts and simple models. arXiv preprint arXiv:1312.0577,

  13. [13]

    [TWC+25] Cristian Tabares, Dominik S. Wild, J. Ignacio Cirac, Peter Zoller, Alejandro Gonz´ alez- Tudela, and Daniel Gonz´ alez-Cuadra. Estimating ground-state properties in quantum simulators with global control.arXiv preprint arXiv:2511.04434,