arxiv: 2603.17364 · v2 · submitted 2026-03-18 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Finite-N Bootstrap Constraints in Matrix and Tensor Models

Samuel Laliberte , Reiko Toriumi

Authors on Pith no claims yet

Pith reviewed 2026-05-15 09:10 UTC · model grok-4.3

classification ✦ hep-th

keywords bootstrapmatrix modelstensor modelsSchwinger-Dyson equationsfinite Nquartic interactiontwo-point function

0 comments

The pith

Finite-N bootstrap via Schwinger-Dyson equations produces N-dependent bounds on tensor-model two-point functions while leaving matrix-model bounds independent of N.

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

The authors apply bootstrap techniques to a Gaussian matrix or tensor model with a quartic interaction, deriving constraints directly from the finite-N Schwinger-Dyson equations. In the matrix case the resulting bounds depend on N only through the values of multi-trace operators and therefore stay the same for any N once those operators are fixed. In the tensor case the structure of the equations yields bounds that change explicitly with N, which lets the method scan a larger interval of the quartic coupling and produces new upper limits on the two-point function. A reader would care because these constraints are concrete, checkable at small N, and can guide non-perturbative studies of both classes of models.

Core claim

The structure of the Schwinger-Dyson equations in tensor models allows extraction of positivity and consistency conditions that produce rigorous bounds on the two-point function which vary explicitly with N, while the analogous bounds extracted for matrix models depend on N only through multi-trace expectation values and therefore remain N-independent.

What carries the argument

Finite-N Schwinger-Dyson equations that close into a finite set of relations among single- and multi-trace expectation values, combined with positivity to bound the two-point function as a function of the quartic coupling.

If this is right

Tensor-model bounds on the two-point function become tighter or looser as N changes, allowing quartic couplings that are excluded at large N to remain consistent at finite N.
Matrix-model bounds are insensitive to the explicit value of N once the multi-trace expectation values are held fixed.
The finite-N method recovers the known large-N constraints as the special case when N is taken to infinity.
The same equations supply new upper limits on the quartic coupling strength for which the tensor theory remains consistent at each finite N.

Where Pith is reading between the lines

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

The N-dependence found for tensors could be used to test whether a given model admits a well-defined large-N continuum limit by checking consistency of the bounds across successive N.
If independent upper limits on multi-trace operators can be obtained, the observed N-independence for matrices would imply that the same numerical bounds apply uniformly for every matrix size.
Extending the finite-N bootstrap to models with sextic or higher interactions might reveal whether the matrix-tensor difference persists beyond the quartic case.

Load-bearing premise

The positivity and consistency conditions extracted from the Schwinger-Dyson equations at finite N are sufficient to produce rigorous bounds without further assumptions on the spectrum or on multi-trace operators.

What would settle it

A direct Monte-Carlo or exact-diagonalization computation of the two-point function at small N and a chosen quartic coupling that lies outside the derived bootstrap interval would falsify the bounds.

read the original abstract

We explore how matrix bootstrap techniques can be used to constrain matrix and tensor models at finite $N$, where $N$ is the dimension of the matrix/tensor, taking a Gaussian model with a quartic interaction as example. For matrix models, we find further evidence that bounds do not depend explicitly on $N$, but rather on properties of multi-trace expectation values. For tensor models, the structure of the Schwinger-Dyson equations allow for bounds that vary as a function of $N$, admitting a broader scan of the parameter space of the theory. In the latter case, we find novel bounds on the two-point function as a function of the quartic coupling of the theory.

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.

Desk Editor's Note private letter to a colleague

Tensor models get explicit N-dependent bounds on the two-point function versus quartic coupling from SD bootstrap, while matrix bounds tie only to multi-trace properties; the closure step looks under-specified.

read the letter

This paper applies Schwinger-Dyson bootstrap to a Gaussian plus quartic model at finite N. The central observation is that tensor models produce bounds on the two-point function that change with N and the coupling strength, whereas matrix-model bounds stay independent of N and depend instead on multi-trace expectation values. That N-dependence for tensors is the genuinely new piece; it is not in the large-N bootstrap literature the abstract cites and could matter for parameter scans in holographic or random-tensor gravity work. The matrix result is mostly a confirmation of an existing pattern. The authors do a clean job showing how the SD equations differ between the two cases and pulling out concrete limits on the correlators as a function of the quartic term. The soft spot is whether the positivity and consistency conditions extracted from those equations actually close into rigorous bounds without further input. The abstract gives no indication of how the infinite operator tower is controlled, whether truncations are used, or what assumptions are made on the spectrum and multi-trace operators. Without those details or any numerical checks, the step from the equations to the reported N-dependent bounds remains the weakest link. This is for people already working with bootstrap methods on matrix and tensor models, especially those who scan parameters in finite-N settings. A reader who wants to see how N enters the constraints will find something concrete here, but only if the derivations hold up under scrutiny. It deserves a serious referee because the N-dependent claim is worth checking even if the technical closure needs more work. I would send it to review.

Referee Report

2 major / 2 minor

Summary. The paper applies finite-N bootstrap techniques based on Schwinger-Dyson equations and positivity constraints to Gaussian matrix and tensor models with a quartic interaction. For matrix models it reports that the resulting bounds are independent of N and instead controlled by multi-trace expectation values; for tensor models it claims that the SD structure permits N-dependent bounds on the two-point function as a function of the quartic coupling, thereby scanning a broader region of parameter space.

Significance. If the tensor-model bounds are shown to be rigorous without uncontrolled truncations, the work would usefully extend bootstrap methods beyond the large-N limit and supply concrete, N-dependent constraints on the two-point function versus quartic coupling. The matrix-model findings would reinforce the role of multi-trace operators already noted in the literature.

major comments (2)

[Abstract / tensor models] Abstract and tensor-model section: the central claim that finite-N SD positivity conditions directly yield rigorous, N-dependent bounds on the two-point function requires an explicit demonstration that the system closes without truncation of the operator basis, without additional spectrum assumptions, and without further constraints on multi-trace operators. The provided abstract gives no indication that such closure has been verified, which is load-bearing for the novelty assertion.
[Matrix models] Matrix-model discussion: the statement that bounds depend on multi-trace expectation values rather than on N explicitly needs a concrete example (e.g., an explicit multi-trace correlator that enters the bound) together with a check that the same bound is recovered when the multi-trace value is varied while N is held fixed.

minor comments (2)

[Abstract] Notation for the quartic coupling and the two-point function should be introduced once and used consistently; the abstract uses both “quartic coupling” and “quartic interaction” without a defining equation.
[Tensor models] A brief statement of the precise positivity condition (e.g., which matrix of correlators is required to be positive semi-definite) would improve readability of the tensor-model bounds.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the major comments point by point below and will revise the manuscript to strengthen the presentation while preserving the core results.

read point-by-point responses

Referee: [Abstract / tensor models] Abstract and tensor-model section: the central claim that finite-N SD positivity conditions directly yield rigorous, N-dependent bounds on the two-point function requires an explicit demonstration that the system closes without truncation of the operator basis, without additional spectrum assumptions, and without further constraints on multi-trace operators. The provided abstract gives no indication that such closure has been verified, which is load-bearing for the novelty assertion.

Authors: We thank the referee for emphasizing the need for explicit rigor. In the tensor-model section of the manuscript we derive the Schwinger-Dyson equations for the Gaussian quartic tensor model and show that they close exactly on the two-point function and the quartic coupling; the finite-N positivity constraints are then imposed directly on the resulting moment matrix without truncating the operator basis or invoking extra spectrum assumptions. The tensor index structure is what permits this closure, yielding the reported N-dependent bounds. To make this transparent we will revise the abstract to state explicitly that the SD equations close without truncation and will add a short clarifying paragraph in the tensor section summarizing the closure argument. revision: yes
Referee: [Matrix models] Matrix-model discussion: the statement that bounds depend on multi-trace expectation values rather than on N explicitly needs a concrete example (e.g., an explicit multi-trace correlator that enters the bound) together with a check that the same bound is recovered when the multi-trace value is varied while N is held fixed.

Authors: We agree that a concrete illustration would improve clarity. In the revised manuscript we will include an explicit example in the matrix-model section: we take the multi-trace operator Tr(Φ²)Tr(Φ²) whose expectation value enters the positivity matrix, and we show numerically that the resulting bound on the two-point function is insensitive to N once this multi-trace value is held fixed, while the same bound changes when the multi-trace value is varied at fixed N. This demonstrates that the N-independence is mediated by the multi-trace sector. revision: yes

Circularity Check

0 steps flagged

No circularity: bounds derived from external SD positivity conditions

full rationale

The paper applies positivity and consistency conditions from the finite-N Schwinger-Dyson equations to constrain the two-point function versus quartic coupling in tensor models (and multi-trace properties in matrix models). These inputs are independent of the output bounds; the derivation solves the resulting inequalities without fitting parameters to the target quantities or reducing via self-citation to prior results by the same authors. No equation or step equates a claimed prediction to its own inputs by construction, and the N-dependence arises directly from the equation structure rather than ansatz or renaming. The approach is self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard positivity and consistency properties of Schwinger-Dyson equations applied at finite N; the quartic coupling is treated as a free scan parameter rather than fitted.

free parameters (1)

quartic coupling
The parameter is scanned to produce bounds on the two-point function; its value is not derived from first principles.

axioms (1)

domain assumption Positivity of the two-point function and consistency of Schwinger-Dyson equations at finite N
Invoked to generate the bootstrap bounds; standard in the bootstrap literature but not proved in the paper.

pith-pipeline@v0.9.0 · 5404 in / 1300 out tokens · 49730 ms · 2026-05-15T09:10:27.442762+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We explore how matrix bootstrap techniques can be used to constrain matrix and tensor models at finite N... positivity constraints... single-trace positivity... double-trace positivity... Schwinger-Dyson equations... Gram matrix Mij=⟨trOi†Oj⟩ ≽0
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

bounds on the two-point function as a function of the quartic coupling... at finite N... no explicit N dependence... multi-trace expectation values

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 2 Pith papers

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

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.
Regularized Master-Field Approximation for Large-$N$ Reduced Matrix Models
hep-th 2026-05 unverdicted novelty 6.0

A finite-dimensional regularization of the master field enables direct numerical computation of large-N matrix models in both Euclidean and Minkowski signatures while reproducing known solutions in simple test cases.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · cited by 2 Pith papers · 9 internal anchors

[1]

A. Bose, J. Hu and W. Zhou,Random Matrices: Theory and Applications, Cambridge University Press (2019)

work page 2019
[2]

Wigner,Characteristic vectors of bordered matrices with infinite dimensions i,Annals of Mathematics62(1955) 541

E.P. Wigner,Characteristic vectors of bordered matrices with infinite dimensions i,Annals of Mathematics62(1955) 541

work page 1955
[3]

Harnad, ed.,Random Matrices, Random Processes and Integrable Systems, CRM Series in Mathematical Physics, Springer, New York (2011), 10.1007/978-1-4419-9698-8

J. Harnad, ed.,Random Matrices, Random Processes and Integrable Systems, CRM Series in Mathematical Physics, Springer, New York (2011), 10.1007/978-1-4419-9698-8

work page doi:10.1007/978-1-4419-9698-8 2011
[4]

Brezin and V.A

E. Brezin and V.A. Kazakov,Exactly Solvable Field Theories of Closed Strings,Phys. Lett. B 236(1990) 144

work page 1990
[5]

’t Hooft,A Planar Diagram Theory for Strong Interactions,Nucl

G. ’t Hooft,A Planar Diagram Theory for Strong Interactions,Nucl. Phys. B72(1974) 461

work page 1974
[6]

Brézin and S

É. Brézin and S. Hikami,Spectral form factor in a random matrix theory,Physical Review E 55(1996) 4067

work page 1996
[7]

Speicher,Free probability and random matrices, 2014, https://api.semanticscholar.org/CorpusID:119689492

R. Speicher,Free probability and random matrices, 2014, https://api.semanticscholar.org/CorpusID:119689492

work page 2014
[8]

free probability and random matrices

F. Lehner,J.a. mingo, r. speicher: “free probability and random matrices”,Jahresbericht der Deutschen Mathematiker-Vereinigung121(2018) 147

work page 2018
[9]

Speicher,High-dimensional analysis: Random matrices and machine learning, 2023

R. Speicher,High-dimensional analysis: Random matrices and machine learning, 2023

work page 2023
[10]

Brezin, C

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

work page 1978
[11]

2D Gravity and Random Matrices

P. Di Francesco, P.H. Ginsparg and J. Zinn-Justin,2-D Gravity and random matrices,Phys. Rept.254(1995) 1 [hep-th/9306153]

work page internal anchor Pith review Pith/arXiv arXiv 1995
[12]

Douglas and S.H

M.R. Douglas and S.H. Shenker,Strings in Less Than One-Dimension,Nucl. Phys. B335 (1990) 635

work page 1990
[13]

Gall,Uniqueness and universality of the brownian map,Annals of Probability41 (2011) 2880

J.F.L. Gall,Uniqueness and universality of the brownian map,Annals of Probability41 (2011) 2880

work page 2011
[14]

Miller and S

J. Miller and S. Sheffield,Liouville quantum gravity and the brownian map i: The qle(8/3,0) metric, 2019

work page 2019
[15]

Miller and S

J. Miller and S. Sheffield,Liouville quantum gravity and the brownian map ii: Geodesics and continuity of the embedding,The Annals of Probability(2016)

work page 2016
[16]

Miller and S

J. Miller and S. Sheffield,Liouville quantum gravity and the brownian map iii: the conformal structure is determined,Probability Theory and Related Fields179(2016) 1183

work page 2016
[17]

Polyakov,Quantum geometry of bosonic strings,Physics Letters B103(1981) 207

A. Polyakov,Quantum geometry of bosonic strings,Physics Letters B103(1981) 207

work page 1981
[18]

David, A

F. David, A. Kupiainen, R. Rhodes and V. Vargas,Liouville quantum gravity on the riemann sphere,Communications in Mathematical Physics342(2014) 869

work page 2014
[19]

David,Conformal field theories coupled to 2-d gravity in the conformal gauge,Modern Physics Letters A3(1988) 1651

F. David,Conformal field theories coupled to 2-d gravity in the conformal gauge,Modern Physics Letters A3(1988) 1651. – 17 –

work page 1988
[20]

Distler and H

J. Distler and H. Kawai,Conformal Field Theory and 2D Quantum Gravity,Nucl. Phys. B 321(1989) 509

work page 1989
[21]

Regular colored graphs of positive degree

R. Gurau and G. Schaeffer,Regular colored graphs of positive degree,1307.5279

work page internal anchor Pith review Pith/arXiv arXiv
[22]

Ferri, C

M. Ferri, C. Gagliardi and L. Grasselli,A graph-theoretical representation of pl-manifolds — a survey on crystallizations,aequationes mathematicae31(1986) 121

work page 1986
[23]

Bandieri and C

P. Bandieri and C. Gagliardi,Generating all orientablen-manifolds from(n−1)-complexes, Rendiconti del Circolo Matematico di Palermo31(1982) 233

work page 1982
[24]

Universality for Random Tensors

R. Gurau,Universality for Random Tensors,Ann. Inst. H. Poincare Probab. Statist.50 (2014) 1474 [1111.0519]

work page internal anchor Pith review Pith/arXiv arXiv 2014
[25]

Critical behavior of colored tensor models in the large N limit

V. Bonzom, R. Gurau, A. Riello and V. Rivasseau,Critical behavior of colored tensor models in the large N limit,Nucl. Phys. B853(2011) 174 [1105.3122]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[26]

Melons are branched polymers

R. Gurau and J.P. Ryan,Melons are branched polymers,Annales Henri Poincare15(2014) 2085 [1302.4386]

work page internal anchor Pith review Pith/arXiv arXiv 2014
[27]

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

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

work page arXiv 2020
[28]

unsolvable

V. Kazakov and Z. Zheng,Analytic and numerical bootstrap for one-matrix model and “unsolvable” two-matrix model,JHEP06(2022) 030 [2108.04830]

work page arXiv 2022
[29]

Khalkhali, N

M. Khalkhali, N. Pagliaroli, A. Parfeni and B. Smith,Bootstrapping the critical behavior of multi-matrix models,JHEP25(2020) 158 [2409.07565]

work page arXiv 2020
[30]

Han, S.A

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

work page arXiv 2020
[31]

Lin,TASI lectures on Matrix Theory from a modern viewpoint,2508.20970

H.W. Lin,TASI lectures on Matrix Theory from a modern viewpoint,2508.20970

work page arXiv
[32]

Lin,Bootstrap bounds on D0-brane quantum mechanics,JHEP06(2023) 038 [2302.04416]

H.W. Lin,Bootstrap bounds on D0-brane quantum mechanics,JHEP06(2023) 038 [2302.04416]

work page arXiv 2023
[33]

Lin and Z

H.W. Lin and Z. Zheng,Bootstrapping ground state correlators in matrix theory. Part I, JHEP01(2025) 190 [2410.14647]

work page arXiv 2025
[34]

Lin and Z

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

work page arXiv
[35]

Li and X

W. Li and X. Su,Bootstrapping Yang-Mills matrix integrals,2510.06704

work page arXiv
[36]

Laliberte and B

S. Laliberte and B. McPeak,Bootstrapping supersymmetric (matrix) quantum mechanics, 2510.01356

work page arXiv
[37]

M. Cho, B. Gabai, J. Sandor and X. Yin,Thermal bootstrap of matrix quantum mechanics, JHEP04(2025) 186 [2410.04262]

work page arXiv 2025
[38]

Cho,Nonequilibrium Phase Transitions in LargeNMatrix Quantum Mechanics, 2508.04764

M. Cho,Nonequilibrium Phase Transitions in LargeNMatrix Quantum Mechanics, 2508.04764

work page arXiv
[39]

Adams,Thermal Bootstrap of Large-N Matrix Models via Conic Optimization,2511.01209

S. Adams,Thermal Bootstrap of Large-N Matrix Models via Conic Optimization, 2511.01209

work page arXiv
[40]

M. Cho, B. Gabai, H.W. Lin, J. Yeh and Z. Zheng,Bootstrapping Euclidean Two-point Correlators,2511.08560. – 18 –

work page internal anchor Pith review Pith/arXiv arXiv
[41]

Kováčik and K

S. Kováčik and K. Magdolenová,Eigenvalue distribution from bootstrap estimates,Phys. Rev. D112(2025) 126021 [2509.16005]

work page arXiv 2025
[42]

Maeta,Matrix Bootstrap Approximation without Positivity Constraint,2601.16099

R. Maeta,Matrix Bootstrap Approximation without Positivity Constraint,2601.16099

work page arXiv
[43]

Berenstein, J

D. Berenstein, J. Rodrigues and V.A. Rodriguez,Asymptotic bootstrap for unitary matrix integrals at complex coupling,2602.18559

work page arXiv
[44]

Kazakov and Z

V. Kazakov and Z. Zheng,Bootstrap for finite N lattice Yang-Mills theory,JHEP03(2025) 099 [2404.16925]

work page arXiv 2025
[45]

Yamashita, K

M. Yamashita, K. Fujisawa, M. Fukuda, K. Kobayashi, K. Nakata and M. Nakata,Latest developments in the sdpa family for solving large-scale sdps, inHandbook on Semidefinite, Conic and Polynomial Optimization, vol. 166 ofInternational Series in Operations Research and Management Science, pp. 687–713, Springer (2012), DOI

work page 2012
[46]

The Double Scaling Limit in Arbitrary Dimensions: A Toy Model

R. Gurau,The Double Scaling Limit in Arbitrary Dimensions: A Toy Model,Phys. Rev. D 84(2011) 124051 [1110.2460]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[47]

Revisiting random tensor models at large N via the Schwinger-Dyson equations

V. Bonzom,Revisiting random tensor models at large N via the Schwinger-Dyson equations, JHEP03(2013) 160 [1208.6216]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[48]

Invitation to Random Tensors

R. Gurau,Invitation to Random Tensors,SIGMA12(2016) 094 [1609.06439]. – 19 –

work page internal anchor Pith review Pith/arXiv arXiv 2016