pith. sign in

arxiv: 2511.08560 · v2 · submitted 2025-11-11 · ✦ hep-th · cond-mat.str-el· math.OC· quant-ph

Bootstrapping Euclidean Two-point Correlators

Pith reviewed 2026-05-17 23:32 UTC · model grok-4.3

classification ✦ hep-th cond-mat.str-elmath.OCquant-ph
keywords bootstrapsemidefinite programmingtwo-point correlatorsreflection positivityHeisenberg equationsKMS conditionmatrix quantum mechanics
0
0 comments X

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.

The paper casts the task of bounding Euclidean two-point correlators in the thermal or ground state of quantum mechanical systems as a semidefinite programming problem. The constraints imposed are reflection positivity, the Heisenberg equations of motion, and either the Kubo-Martin-Schwinger condition or ground-state positivity. In the dual formulation these equations of motion become inequalities of motion on the Lagrange multipliers. The resulting finite-dimensional program produces rigorous bounds on continuous-time correlators, which are demonstrated by extracting the low-lying spectrum and matrix elements in ungauged one-matrix quantum mechanics. A sympathetic reader would care because the method supplies a systematic, non-perturbative way to constrain dynamical correlators without first solving the full theory.

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

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

  • 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

Figures reproduced from arXiv: 2511.08560 by Barak Gabai, Henry W. Lin, Jessica Yeh, Minjae Cho, Zechuan Zheng.

Figure 1
Figure 1. Figure 1: Comparison of the allowed region (in pink) for the level 8 two-point correlator bootstrap (28) using the KMS condition with the level 7 one-point function bootstrap using the EEB inequality [3, 4] for the anharmonic oscillator V (x) = 1 2 x 2 + 1 4 x 4 . We also show the “exact” value from Hamiltonian truncation (in black). 8 If Gc is log-convex, then G = Gc + constant is log-convex for positive constant. … view at source ↗
Figure 2
Figure 2. Figure 2: Comparison of the integral bootstrap (in dashed blue) with the two-point correlator bootstrap [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The ground-state Euclidean two-point correlator of the anharmonic oscillator with [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The lower and upper bounds converge as the parameters of either the polynomial or spline [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Bootstrap bounds on the Euclidean two-point correlator in the thermal state of anharmonic [PITH_FULL_IMAGE:figures/full_fig_p018_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Euclidean two-point correlator ⟨tr X(τ )X(0)⟩ in the ground state of the 1-MQM with V = 1 2 Tr X2 + g Tr X4 at g = 1 (left) and g = −0.075026 ≈ gc (right). The shaded region indicates the allowed bootstrap region at level-{4, 6, 8}. The green dashed line indicates the universal lower bound in (44). Bounds are obtained from the PMP formulation using SDPB with d = 16 (Appendix C). 4.4 Bounds on the adjoint g… view at source ↗
Figure 7
Figure 7. Figure 7: Euclidean two-point correlator [PITH_FULL_IMAGE:figures/full_fig_p021_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Adjoint gap near criticality. On the right, we see clear evidence of the non-analytic behavior [PITH_FULL_IMAGE:figures/full_fig_p022_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Z2-even adjoint gap near criticality. As with the Z2-odd adjoint gap, we see clear evidence of the non-analytic behavior as µ → 0. We observe that the behavior of the level 6 and 8 bounds on the Z2-even gap are qualitatively similar to the level 4 and 6 bounds on the Z2-odd gap. lvl 16 bd lvl 6 bd gap 0.000 0.002 0.004 0.006 0.008 0.010 2.0 2.5 3.0 3.5 lvl 16 bd lvl 8 bd gap 0.000 0.002 0.004 0.006 0.008 0… view at source ↗
Figure 10
Figure 10. Figure 10: Derivative of the adjoint gap near criticality. Here we show the derivative of the level 16 bound [PITH_FULL_IMAGE:figures/full_fig_p023_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Convergence of the estimates for the gap [PITH_FULL_IMAGE:figures/full_fig_p024_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Euclidean two-point correlator in the ground state of the 1-MQM at [PITH_FULL_IMAGE:figures/full_fig_p027_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Bootstrap bounds on the thermal two-point correlator [PITH_FULL_IMAGE:figures/full_fig_p028_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: LMN bootstrap for the anharmonic oscillator with the rigorous spline approach [PITH_FULL_IMAGE:figures/full_fig_p044_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Bootstrap results for the ground state of the 1-MQM with [PITH_FULL_IMAGE:figures/full_fig_p048_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Monte Carlo for various values of N and L results with 500k burn in + 100k measurements. For each value of N, we show the continuum extrapolation to L → ∞. 0.0 0.2 0.4 0.6 0.8 1.0 0.96 0.97 0.98 0.99 1.00 1.01 G( )/ G b o o t s tra p( ) Bootstrap allowed region N=6 N=8 N=10 N=12 N extrapolation 0.000 0.005 0.010 0.015 0.020 0.025 0.030 1/N 2 0.24 0.26 0.28 0.30 0.32 0.34 G( ) =0.00 =0.25 =0.50 [PITH_FULL… view at source ↗
Figure 17
Figure 17. Figure 17: Extrapolation to infinite N. Here we take the large L extrapolation of the finite N data points and extrapolate to N → ∞ by fitting G(τ ) = G∞(τ ) + 1 N2 g(τ ). 50 [PITH_FULL_IMAGE:figures/full_fig_p050_17.png] view at source ↗
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.

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

2 major / 2 minor

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)
  1. [§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.
  2. [§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)
  1. [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.
  2. [Throughout] Notation: ensure consistent use of 'EOM' and 'KMS' with definitions on first appearance in the main text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The approach rests on standard domain assumptions of quantum mechanics and statistical mechanics rather than new free parameters or invented entities.

axioms (2)
  • domain assumption Reflection positivity holds for the Euclidean two-point functions under consideration.
    Invoked as a core constraint in the SDP formulation; standard for ensuring unitarity in Euclidean QFT.
  • domain assumption The system obeys the Heisenberg equations of motion and the Kubo-Martin-Schwinger condition (or ground-state positivity).
    Used to generate the inequalities of motion in the dual problem; standard in thermal quantum mechanics.

pith-pipeline@v0.9.0 · 5483 in / 1432 out tokens · 34427 ms · 2026-05-17T23:32:45.067823+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The Causal Bootstrap: Bounding Smeared Spectral Functions from Non-Perturbative Euclidean Data

    hep-lat 2026-05 unverdicted novelty 7.0

    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...

  2. Bootstrapping Open Quantum Many-body Systems with Absorbing Phase Transitions

    quant-ph 2026-04 unverdicted novelty 7.0

    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.

  3. Bootstrapping Tensor Integrals

    hep-th 2026-04 unverdicted novelty 7.0

    A positivity-constrained bootstrapping procedure approximates moments of rank-3 tensor models and supports new conjectured closed-form expressions for the quartic case.

  4. Finite-$N$ Bootstrap Constraints in Matrix and Tensor Models

    hep-th 2026-03 unverdicted novelty 7.0

    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.

  5. Regge trajectories from the adjoint sector of Matrix Quantum Mechanics

    hep-th 2026-03 unverdicted novelty 6.0

    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

43 extracted references · 43 canonical work pages · cited by 5 Pith papers · 9 internal anchors

  1. [1]

    P. D. Anderson and M. Kruczenski,Loop Equations and bootstrap methods in the lattice, Nucl. Phys. B921(2017) 702 [1612.08140]. 51

  2. [2]

    X. Han, S. A. Hartnoll and J. Kruthoff,Bootstrapping Matrix Quantum Mechanics,Phys. Rev. Lett.125(2020) 041601 [2004.10212]

  3. [3]

    Fawzi, O

    H. Fawzi, O. Fawzi and S. O. Scalet,Certified algorithms for equilibrium states of local quantum Hamiltonians,Nature Commun.15(2024) 7394 [2311.18706]

  4. [4]

    M. Cho, B. Gabai, J. Sandor and X. Yin,Thermal Bootstrap of Matrix Quantum Mechanics, 2410.04262

  5. [6]

    Lin and Z

    H. Lin and Z. Zheng,Bootstrapping bfss, part ii,in prep(2025)

  6. [7]

    C. O. Nancarrow and Y. Xin,Bootstrapping the gap in quantum spin systems,JHEP08 (2023) 052 [2211.03819]

  7. [8]

    H. W. Lin and Z. Zheng,Bootstrapping Ground State Correlators in Matrix Theory, Part I, 2410.14647

  8. [9]

    Kazakov and Z

    V. Kazakov and Z. Zheng,Bootstrap for lattice Yang-Mills theory,Phys. Rev. D107(2023) L051501 [2203.11360]

  9. [10]

    M. Cho, B. Gabai, Y.-H. Lin, V. A. Rodriguez, J. Sandor and X. Yin,Bootstrapping the Ising Model on the Lattice,2206.12538

  10. [11]

    Kazakov and Z

    V. Kazakov and Z. Zheng,Bootstrap for Finite N Lattice Yang-Mills Theory,2404.16925

  11. [12]

    Cho,Bootstrapping Nonequilibrium Stochastic Processes,2505.13609

    M. Cho,Bootstrapping Nonequilibrium Stochastic Processes,2505.13609

  12. [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]

  13. [14]

    P. C. Martin and J. Schwinger,Theory of many-particle systems. i,Phys. Rev.115(1959) 1342

  14. [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]

  15. [16]

    Holtorf, A

    F. Holtorf, A. Edelman and C. Rackauckas,Stochastic Optimal Control via Local Occupation Measures,arXiv e-prints(2022) arXiv:2211.15652 [2211.15652]

  16. [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

  17. [18]

    Lawrence, B

    S. Lawrence, B. McPeak and D. Neill,Bootstrapping time-evolution in quantum mechanics, 2412.08721

  18. [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

  19. [20]

    Marchesini and E

    G. Marchesini and E. Onofri,Planar Limit for SU(N) Symmetric Quantum Dynamical Systems,J. Math. Phys.21(1980) 1103. 52

  20. [21]

    Araki and G

    H. Araki and G. L. Sewell,KMS Conditions and Local Thermodynamical Stability of Quantum Lattice Systems,Commun. Math. Phys.52(1977) 103

  21. [22]

    Mosek optimizer

    MOSEK ApS, “Mosek optimizer.”https://www.mosek.com, 2025

  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]

  23. [24]

    Landry and D

    W. Landry and D. Simmons-Duffin,Scaling the semidefinite program solver SDPB, 1909.09745

  24. [25]

    Brezin, C

    E. Brezin, C. Itzykson, G. Parisi and J. B. Zuber,Planar Diagrams,Commun. Math. Phys. 59(1978) 35

  25. [26]

    H. W. Lin and Z. Zheng,High-precision bootstrap of multi-matrix quantum mechanics, 2507.21007

  26. [27]

    G. L. Sewell, KMSconditions and local thermodynamical stability of quantum lattice systems. II,Communications in Mathematical Physics55(1977) 53

  27. [28]

    Bratteli and D

    O. Bratteli and D. W. Robinson,Operator algebras and quantum statistical mechanics. Vol. 2: Equilibrium states. Models in quantum statistical mechanics. 1996

  28. [29]

    M. Cho, C. O. Nancarrow, P. Tadi´ c, Y. Xin and Z. Zheng,Coarse-grained Bootstrap of Quantum Many-body Systems,2412.07837

  29. [30]

    H. W. Lin,Bootstraps to strings: solving random matrix models with positivity,JHEP06 (2020) 090 [2002.08387]

  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]

  31. [32]

    Lanzette and Z

    R. Lanzette and Z. Zheng,Upper bound on the gap of quantum system,in prep(2025)

  32. [33]

    Black holes from chaos,

    M. Dodelson,Black holes from chaos,2501.06170

  33. [34]

    H. W. Lin and D. Stanford,A symmetry algebra in double-scaled SYK,SciPost Phys.15 (2023) 234 [2307.15725]

  34. [35]

    Biggs and J

    A. Biggs and J. Maldacena,Scaling similarities and quasinormal modes of D0 black hole solutions,JHEP11(2023) 155 [2303.09974]

  35. [36]

    Dodelson, Ringdown in the SYK model , 2408.05790

    M. Dodelson,Ringdown in the SYK model,SciPost Phys.19(2025) 081 [2408.05790]

  36. [37]

    S. D. Chowdhury, S. A. Hartnoll, A. Hebbar and R. Khondaker,Bootstrapping transport in the Drude-Kadanoff-Martin model,2509.18255

  37. [38]

    D. J. Gross and I. R. Klebanov,Vortices and the nonsinglet sector of the c = 1 matrix model, Nucl. Phys. B354(1991) 459

  38. [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

  39. [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

  40. [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]

  41. [42]

    Cho and X

    M. Cho and X. Sun,Bootstrap, Markov Chain Monte Carlo, and LP/SDP hierarchy for the lattice Ising model,JHEP11(2023) 047 [2309.01016]

  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]

  43. [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