Bootstrapping Euclidean Two-point Correlators
Pith reviewed 2026-05-17 23:32 UTC · model grok-4.3
The pith
A semidefinite program bounds Euclidean two-point correlators using reflection positivity, Heisenberg equations of motion, and KMS or ground-state positivity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We develop a bootstrap approach to Euclidean two-point correlators by formulating the bounding problem as a semidefinite program subject to reflection positivity, the Heisenberg equations of motion, and the Kubo-Martin-Schwinger condition or ground-state positivity. In the dual formulation the equations of motion appear as inequalities of motion on the Lagrange multipliers. This construction yields rigorous bounds on continuous-time two-point correlators from a finite-dimensional semidefinite or polynomial matrix program. The method is illustrated on the ungauged one-matrix quantum mechanics, from which the spectrum and matrix elements of low-lying adjoint states are extracted. Along the way
What carries the argument
Semidefinite programming formulation of correlator bounds in which the Heisenberg equations of motion are converted into inequalities of motion on the Lagrange multipliers that enforce positivity and thermal conditions.
If this is right
- Rigorous upper and lower bounds on continuous-time two-point correlators follow directly from the finite-dimensional semidefinite program.
- The spectrum and matrix elements of low-lying adjoint states can be read off from the optimizing correlator in the one-matrix quantum mechanics example.
- A new derivation of the energy-entropy balance inequality is obtained as a byproduct of the positivity constraints.
- A direct connection appears between the high-temperature limit of the two-point correlator bootstrap and the matrix integral bootstrap.
Where Pith is reading between the lines
- The same dual inequalities of motion could be adapted to bound higher-point functions or correlators in higher-dimensional quantum field theories.
- Truncation errors in the SDP could be controlled by adding more derivatives of the equations of motion or by incorporating additional positivity conditions.
- The method may supply an independent check on results obtained from Monte Carlo simulations of matrix models at finite temperature.
Load-bearing premise
That the listed constraints of reflection positivity, Heisenberg equations of motion, and KMS or ground-state positivity remain sufficient to produce usefully tight bounds once the problem is truncated to a finite-dimensional semidefinite or polynomial matrix program.
What would settle it
Compute the exact two-point correlator in the ungauged one-matrix quantum mechanics at a fixed temperature or ground state, then check whether the SDP upper and lower bounds approach that exact function as the truncation level is increased.
Figures
read the original abstract
We develop a bootstrap approach to Euclidean two-point correlators, in the thermal or ground state of quantum mechanical systems. We formulate the problem of bounding the two-point correlator as a semidefinite programming problem, subject to the constraints of reflection positivity, the Heisenberg equations of motion, and the Kubo-Martin-Schwinger condition or ground-state positivity. In the dual formulation, the Heisenberg equations of motion become "inequalities of motion" on the Lagrange multipliers that enforce the constraints. This enables us to derive rigorous bounds on continuous-time two-point correlators using a finite-dimensional semidefinite or polynomial matrix program. We illustrate this method by bootstrapping the two-point correlators of the ungauged one-matrix quantum mechanics, from which we extract the spectrum and matrix elements of the low-lying adjoint states. Along the way, we provide a new derivation of the energy-entropy balance inequality and establish a connection between the high-temperature two-point correlator bootstrap and the matrix integral bootstrap.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a bootstrap method for Euclidean two-point correlators in quantum mechanical systems. It formulates the bounding of these correlators as a semidefinite programming problem incorporating constraints from reflection positivity, the Heisenberg equations of motion, and the Kubo-Martin-Schwinger condition or ground-state positivity. In the dual formulation, the equations of motion are recast as inequalities on the Lagrange multipliers. The approach is illustrated by applying it to the ungauged one-matrix quantum mechanics, from which the spectrum and matrix elements of low-lying adjoint states are extracted. Additionally, a new derivation of the energy-entropy balance inequality is provided, and a connection is established between the high-temperature two-point correlator bootstrap and the matrix integral bootstrap.
Significance. If the central claims hold, this work introduces a promising new tool for obtaining rigorous bounds on continuous-time correlators in quantum systems using finite-dimensional programs. The ability to extract physical data such as energies and matrix elements from the bootstrap is a significant strength. The new derivation of the energy-entropy inequality and the link to matrix integral bootstrap further enhance the paper's contribution. These elements position the method as potentially useful for non-perturbative studies in quantum mechanics and related field theories.
major comments (2)
- [§4] §4 (one-matrix QM application): the extracted adjoint-state energies and matrix elements are presented as physical results, but no data or plots demonstrate monotonic tightening or stabilization of these quantities as the SDP dimension or polynomial degree is increased. This is load-bearing for the claim that finite truncation yields accurate low-lying spectrum rather than artifacts, directly addressing the concern that missing higher-order constraints could leave gaps in the bounds.
- [§3] §3 (SDP formulation and dual): the central assumption that reflection positivity, Heisenberg EOM (via dual inequalities of motion), and KMS/ground-state positivity suffice for usefully tight continuous-time bounds in finite truncation is stated but not tested via explicit convergence checks in the example; without this, the practical extraction of spectrum remains unverified.
minor comments (2)
- [Abstract] Abstract: the phrase 'along the way' for the energy-entropy derivation and matrix-integral connection is understated; a brief parenthetical on their novelty would better highlight these contributions.
- [Throughout] Notation: ensure consistent use of 'EOM' and 'KMS' with definitions on first appearance in the main text.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comments. We address the major points below and will revise the manuscript accordingly to strengthen the presentation of our results.
read point-by-point responses
-
Referee: [§4] §4 (one-matrix QM application): the extracted adjoint-state energies and matrix elements are presented as physical results, but no data or plots demonstrate monotonic tightening or stabilization of these quantities as the SDP dimension or polynomial degree is increased. This is load-bearing for the claim that finite truncation yields accurate low-lying spectrum rather than artifacts, directly addressing the concern that missing higher-order constraints could leave gaps in the bounds.
Authors: We agree that explicit demonstration of convergence with increasing truncation is important to support the reliability of the extracted spectrum and matrix elements. In the revised manuscript we will add figures and tables displaying the dependence of the low-lying adjoint energies and matrix elements on the SDP dimension and polynomial degree, showing their stabilization. revision: yes
-
Referee: [§3] §3 (SDP formulation and dual): the central assumption that reflection positivity, Heisenberg EOM (via dual inequalities of motion), and KMS/ground-state positivity suffice for usefully tight continuous-time bounds in finite truncation is stated but not tested via explicit convergence checks in the example; without this, the practical extraction of spectrum remains unverified.
Authors: We acknowledge the value of explicit convergence checks to verify the practical performance of the finite truncation. While the manuscript already compares extracted quantities to known results in the one-matrix model, we will include additional convergence plots and analysis in the revision to directly demonstrate the tightening of bounds and stabilization of the spectrum as the truncation parameters increase. revision: yes
Circularity Check
No significant circularity; derivation uses independent physical constraints
full rationale
The paper's central formulation casts bounds on Euclidean two-point correlators as an SDP whose inputs are the standard axioms of reflection positivity, Heisenberg equations of motion, and KMS/ground-state positivity. These are external physical requirements, not quantities defined in terms of the correlator bounds or extracted spectrum. The dual formulation simply rewrites the EOM as linear inequalities on the Lagrange multipliers; this is a mechanical change of variables, not a self-definition. The energy-entropy inequality is derived anew from the same constraints rather than assumed, and the connection to matrix-integral bootstrap is presented as an observation rather than a load-bearing premise. The one-matrix QM illustration extracts low-lying data from the resulting program, but the program itself is not fitted to those data. No self-citation chain, ansatz smuggling, or renaming of known results is required for the method. Finite truncation is an explicit approximation whose practical utility is demonstrated rather than asserted by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Reflection positivity holds for the Euclidean two-point functions under consideration.
- domain assumption The system obeys the Heisenberg equations of motion and the Kubo-Martin-Schwinger condition (or ground-state positivity).
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We formulate the problem of bounding the two-point correlator as a semidefinite programming problem, subject to the constraints of reflection positivity, the Heisenberg equations of motion, and the Kubo-Martin-Schwinger condition or ground-state positivity.
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leancostAlphaLog_high_calibrated_iff echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
By the Schur Complement, this is equivalent to … (log G_c(τ))'' ≥ 0. In other words, the connected two-point correlator is log-convex.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 5 Pith papers
-
The Causal Bootstrap: Bounding Smeared Spectral Functions from Non-Perturbative Euclidean Data
The causal bootstrap computes rigorous bounds on smeared spectral functions from non-perturbative Euclidean data by optimizing over the convex set of compatible positive spectral densities and reducing dual problems t...
-
Bootstrapping Open Quantum Many-body Systems with Absorbing Phase Transitions
A bootstrap method using density-matrix positivity and steady-state conditions produces bounds on steady-state expectation values, the critical coupling, and the Liouvillian gap for the quantum contact process.
-
Bootstrapping Tensor Integrals
A positivity-constrained bootstrapping procedure approximates moments of rank-3 tensor models and supports new conjectured closed-form expressions for the quartic case.
-
Finite-$N$ Bootstrap Constraints in Matrix and Tensor Models
Finite-N bootstrap yields N-independent bounds for matrix models but N-dependent novel bounds on the two-point function versus quartic coupling for tensor models.
-
Regge trajectories from the adjoint sector of Matrix Quantum Mechanics
At criticality in the adjoint sector of matrix quantum mechanics, the spectrum exhibits Regge trajectories Δ² ~ n/α' interpreted as oscillatory excitations of short folded open strings in the dual 2D string theory.
Reference graph
Works this paper leans on
-
[1]
P. D. Anderson and M. Kruczenski,Loop Equations and bootstrap methods in the lattice, Nucl. Phys. B921(2017) 702 [1612.08140]. 51
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [2]
- [3]
- [4]
- [6]
- [7]
- [8]
-
[9]
V. Kazakov and Z. Zheng,Bootstrap for lattice Yang-Mills theory,Phys. Rev. D107(2023) L051501 [2203.11360]
- [10]
-
[11]
V. Kazakov and Z. Zheng,Bootstrap for Finite N Lattice Yang-Mills Theory,2404.16925
-
[12]
Cho,Bootstrapping Nonequilibrium Stochastic Processes,2505.13609
M. Cho,Bootstrapping Nonequilibrium Stochastic Processes,2505.13609
-
[13]
Kubo, Statistical-mechanical theory of irreversible processes
R. Kubo,Statistical-mechanical theory of irreversible processes. i. general theory and simple applications to magnetic and conduction problems,Journal of the Physical Society of Japan 12(1957) 570 [https://doi.org/10.1143/JPSJ.12.570]
-
[14]
P. C. Martin and J. Schwinger,Theory of many-particle systems. i,Phys. Rev.115(1959) 1342
work page 1959
-
[15]
Nonlinear optimal control via occupation measures and LMI-relaxations
J.-B. Lasserre, D. Henrion, C. Prieur and E. Tr´ elat,Nonlinear optimal control via occupation measures and LMI-relaxations,arXiv Mathematics e-prints(2007) math/0703377 [math/0703377]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[16]
F. Holtorf, A. Edelman and C. Rackauckas,Stochastic Optimal Control via Local Occupation Measures,arXiv e-prints(2022) arXiv:2211.15652 [2211.15652]
-
[17]
Holtorf,Bounds and Low-Rank Approximation for Controlled Markov Processes, Ph.D
F. Holtorf,Bounds and Low-Rank Approximation for Controlled Markov Processes, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2024
work page 2024
-
[18]
S. Lawrence, B. McPeak and D. Neill,Bootstrapping time-evolution in quantum mechanics, 2412.08721
-
[19]
I. R. Klebanov,String theory in two-dimensions, inSpring School on String Theory and Quantum Gravity (to be followed by Workshop), 7, 1991,hep-th/9108019
work page internal anchor Pith review Pith/arXiv arXiv 1991
-
[20]
G. Marchesini and E. Onofri,Planar Limit for SU(N) Symmetric Quantum Dynamical Systems,J. Math. Phys.21(1980) 1103. 52
work page 1980
-
[21]
H. Araki and G. L. Sewell,KMS Conditions and Local Thermodynamical Stability of Quantum Lattice Systems,Commun. Math. Phys.52(1977) 103
work page 1977
- [22]
-
[23]
A Semidefinite Program Solver for the Conformal Bootstrap
D. Simmons-Duffin,A Semidefinite Program Solver for the Conformal Bootstrap,JHEP06 (2015) 174 [1502.02033]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[24]
W. Landry and D. Simmons-Duffin,Scaling the semidefinite program solver SDPB, 1909.09745
- [25]
- [26]
-
[27]
G. L. Sewell, KMSconditions and local thermodynamical stability of quantum lattice systems. II,Communications in Mathematical Physics55(1977) 53
work page 1977
-
[28]
O. Bratteli and D. W. Robinson,Operator algebras and quantum statistical mechanics. Vol. 2: Equilibrium states. Models in quantum statistical mechanics. 1996
work page 1996
- [29]
- [30]
-
[31]
M Theory As A Matrix Model: A Conjecture
T. Banks, W. Fischler, S. H. Shenker and L. Susskind,M theory as a matrix model: A conjecture,Phys. Rev. D55(1997) 5112 [hep-th/9610043]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[32]
R. Lanzette and Z. Zheng,Upper bound on the gap of quantum system,in prep(2025)
work page 2025
- [33]
- [34]
-
[35]
A. Biggs and J. Maldacena,Scaling similarities and quasinormal modes of D0 black hole solutions,JHEP11(2023) 155 [2303.09974]
-
[36]
Dodelson, Ringdown in the SYK model , 2408.05790
M. Dodelson,Ringdown in the SYK model,SciPost Phys.19(2025) 081 [2408.05790]
-
[37]
S. D. Chowdhury, S. A. Hartnoll, A. Hebbar and R. Khondaker,Bootstrapping transport in the Drude-Kadanoff-Martin model,2509.18255
work page internal anchor Pith review Pith/arXiv arXiv
-
[38]
D. J. Gross and I. R. Klebanov,Vortices and the nonsinglet sector of the c = 1 matrix model, Nucl. Phys. B354(1991) 459
work page 1991
-
[39]
J. M. Maldacena,Long strings in two dimensional string theory and non-singlets in the matrix model,JHEP09(2005) 078 [hep-th/0503112]. 53
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[40]
J. B. Lasserre,An explicit exact sdp relaxation for nonlinear 0-1 programs, inInteger Programming and Combinatorial Optimization, K. Aardal and B. Gerards, eds., (Berlin, Heidelberg), pp. 293–303, Springer Berlin Heidelberg, 2001
work page 2001
-
[41]
J. B. Lasserre,Global optimization with polynomials and the problem of moments,SIAM Journal on Optimization11(2001) 796 [https://doi.org/10.1137/S1052623400366802]
- [42]
-
[43]
Long String Scattering in c = 1 String Theory
B. Balthazar, V. A. Rodriguez and X. Yin,Long String Scattering in c=1 String Theory, JHEP01(2019) 173 [1810.07233]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[44]
Precision lattice test of the gauge/gravity duality at large-$N$
E. Berkowitz, E. Rinaldi, M. Hanada, G. Ishiki, S. Shimasaki and P. Vranas,Precision lattice test of the gauge/gravity duality at large-N,Phys. Rev. D94(2016) 094501 [1606.04951]. 54
work page internal anchor Pith review Pith/arXiv arXiv 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.