Recognition: unknown
Bootstrapping Tensor Integrals
Pith reviewed 2026-05-10 01:43 UTC · model grok-4.3
The pith
A positivity bootstrap on Dyson-Schwinger equations determines all moments of the rank-three quartic tensor model.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By enforcing positivity on the moment matrix alongside the Dyson-Schwinger equations that relate the moments, the bootstrap procedure determines the moments of the tensor models to high accuracy. For the rank-three quartic model, this produces a conjecture for the full set of moments in terms of explicit formulae, confirmed by matching the bootstrapped values against independent double-series computations.
What carries the argument
The positivity-constrained truncation of the Dyson-Schwinger hierarchy for the moments of U(N)^D-invariant tensor models.
If this is right
- The bootstrap reproduces known analytic solutions exactly when they are available.
- Explicit formulae are conjectured for every moment of the rank-three quartic model.
- The same procedure converges rapidly for both quartic and hexic interactions.
- Finite truncations already give useful numerical values for the moments.
Where Pith is reading between the lines
- The conjectured formulae could be used to compute higher-order observables directly without repeating the bootstrap.
- The method supplies a practical alternative to direct integration when the interaction is more complicated than quartic.
- Similar positivity bootstraps may be tried on tensor models with different ranks or different interaction structures.
Load-bearing premise
The combination of Dyson-Schwinger equations, positivity constraints, and finite-order truncation is sufficient to produce accurate approximations or to uniquely determine the moments.
What would settle it
An independent exact or high-order numerical computation of one or more moments in the quartic model that disagrees with the values obtained from the bootstrap or the conjectured closed-form expressions.
Figures
read the original abstract
This work proposes a bootstrapping with positivity methodology to study random $U(N)^{D}$ invariant tensors in the large $N$ limit. As has been done for $U(N)$ invariant random matrices, we combine the Dyson-Schwinger equations and positivity constraints of moments to approximate the moments of such tensor models. As examples, we bootstrap the quartic and two hexic rank three tensor models. All models studied converge quickly, and for those which have known analytic formulae, they converge to such solutions. We conjecture new explicit formulae for all moments of the rank three quartic model and support this conjecture using bootstrapped results and explicit double-series computations with 'feyntensor'.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a bootstrapping procedure that combines the infinite tower of Dyson-Schwinger equations with positivity constraints on the moment sequence to approximate the large-N moments of U(N)^D-invariant random tensor models. It applies the method to the rank-3 quartic model and two hexic models, reports rapid numerical convergence, agreement with known closed-form solutions where they exist, and advances an explicit conjecture for all moments of the rank-3 quartic model that is cross-checked against both the bootstrap output and independent double-series expansions generated by the feyntensor package.
Significance. If the conjectured closed-form moments are correct and the bootstrap procedure can be shown to converge to the unique physical solution, the work would supply a practical, largely parameter-free route to exact results in tensor models that complements direct integration and diagrammatic expansions. The explicit use of external DSE together with positivity (rather than fitting parameters to the target) and the provision of reproducible numerical data plus independent feyntensor series constitute clear strengths.
major comments (2)
- [§4] §4 (quartic-model bootstrap and conjecture): the central conjecture for the closed-form moments is supported only by numerical agreement up to a finite truncation order. The manuscript provides no proof or additional numerical test that the truncated DSE-plus-positivity system uniquely determines the infinite sequence, nor does it supply a truncation-error bound or convergence-rate analysis beyond the statement of “rapid convergence.” This is load-bearing because, as the skeptic notes, other sequences could satisfy the same finite-order conditions yet deviate at higher orders.
- [§3.2] §3.2 (positivity implementation): positivity is enforced only on moments up to a finite order. The text does not demonstrate that the resulting Hankel matrices remain positive at all higher orders or that the finite truncation suffices to guarantee the existence of a positive measure whose moments solve the full DSE tower.
minor comments (2)
- [Notation] The notation for the tensor invariants and the precise definition of the moment-generating function could be accompanied by an explicit low-order example to improve readability.
- [Results] A short table comparing bootstrap values, conjectured closed forms, and feyntensor series at several orders would make the numerical support more transparent.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive major comments. We address each point below, indicating the revisions we will make to strengthen the presentation of the numerical evidence and the scope of the method.
read point-by-point responses
-
Referee: [§4] §4 (quartic-model bootstrap and conjecture): the central conjecture for the closed-form moments is supported only by numerical agreement up to a finite truncation order. The manuscript provides no proof or additional numerical test that the truncated DSE-plus-positivity system uniquely determines the infinite sequence, nor does it supply a truncation-error bound or convergence-rate analysis beyond the statement of “rapid convergence.” This is load-bearing because, as the skeptic notes, other sequences could satisfy the same finite-order conditions yet deviate at higher orders.
Authors: We agree that the conjecture for the closed-form moments of the rank-3 quartic model rests on numerical agreement between the bootstrap output and the independent feyntensor double-series expansions up to the orders we have computed. The manuscript does not claim or provide a rigorous proof that the finite-order DSE-plus-positivity truncation uniquely fixes the entire infinite sequence, nor does it include a formal truncation-error bound or convergence-rate analysis. We will revise §4 to include additional tables or figures that display the stability of the extracted coefficients as the truncation order is increased, and we will explicitly discuss the possibility that other sequences could agree at low orders but differ later. This additional numerical test addresses part of the concern while acknowledging that a full uniqueness proof lies outside the scope of the present work. revision: partial
-
Referee: [§3.2] §3.2 (positivity implementation): positivity is enforced only on moments up to a finite order. The text does not demonstrate that the resulting Hankel matrices remain positive at all higher orders or that the finite truncation suffices to guarantee the existence of a positive measure whose moments solve the full DSE tower.
Authors: The positivity constraints are applied to the Hankel matrices constructed from moments up to the truncation order of the bootstrap system, after which the DSE relations determine the higher moments. In the numerical results presented, the solved moment sequences produce positive-semidefinite Hankel matrices at all orders we check. We do not demonstrate that positivity persists for the infinite sequence or that the truncation guarantees the existence of a representing positive measure for the complete DSE tower; such a guarantee would require additional analytic work. We will revise the text in §3.2 and the discussion of the method to state clearly that the procedure is a truncated approximation whose practical success is evidenced by rapid convergence and agreement with known exact solutions where they exist. revision: yes
Circularity Check
No circularity: moments obtained from independent DSE + positivity; conjecture is post-hoc pattern guess verified by separate series computation.
full rationale
The derivation begins from the model definition to write exact Dyson-Schwinger equations for the moments, then imposes positivity of the moment matrix (a property of any actual measure) and truncates at finite order to obtain a numerical system solved for approximate moments. For cases with known closed forms the output matches those forms exactly in the limit. The new conjecture for the rank-3 quartic moments is an extrapolation from the numerical pattern and is cross-checked by an independent double-series expansion performed with the external tool feyntensor. No equation equates a derived quantity to a fitted parameter or to a self-cited uniqueness result; the DSE tower is model-derived rather than assumed, and the conjecture is not fed back into the bootstrap. The method is therefore self-contained against external benchmarks and exhibits no reduction of outputs to inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Dyson-Schwinger equations hold for the U(N)^D invariant tensor models
- domain assumption Certain combinations of moments are non-negative
Reference graph
Works this paper leans on
-
[1]
[ACT25] Juan Abranches, Alicia Castro, and Reiko Toriumi. An equivalence in random matrix and tensor models via a dually weighted intermediate field representation.arXiv:2512.16583,
-
[2]
Symmetry breaking in tensor models.arXiv:1506.08542,
[BG15] Dario Benedetti and Răzvan Gurău. Symmetry breaking in tensor models.arXiv:1506.08542,
-
[3]
[BGR14] Joseph Ben Geloun and Sanjaye Ramgoolam
arXiv:1202.3637. [BGR14] Joseph Ben Geloun and Sanjaye Ramgoolam. Counting Tensor Model Observables and Branched Covers of the 2-Sphere.Ann. Inst. Henri Poincaré Comb. Phys. Interact., 1:77–138,
-
[4]
[BH23] David Berenstein and George Hulsey
arXiv:1307.6490. [BH23] David Berenstein and George Hulsey. Semidefinite programming algorithm for the quantum mechanical bootstrap.Physical Review E, 107(5):L053301,
-
[5]
[CEG26] Alicia Castro, Astrid Eichhorn, and Răzvan Gurău. Towards a quantitative characterization of gravitational universality classes for order-4 random tensor models.arXiv:2602.09257,
-
[6]
Free cumulants and freeness for unitarily invariant random tensors
[CGL24] Benoit Collins, Răzvan Gurău, and Luca Lionni. Free cumulants and freeness for unitarily invariant random tensors.arXiv:2410.00908,
-
[7]
[CGL+25] MinjaeCho, BarakGabai, HenryWLin, JessicaYeh, andZechuanZheng.Bootstrappingeuclideantwo-point correlators.arXiv:2511.08560,
work page internal anchor Pith review Pith/arXiv arXiv
-
[8]
Phase transition in tensor models.Journal of High Energy Physics, 2015(6):1–34,
[DG15] Thibault Delepouve and Răzvan Gurău. Phase transition in tensor models.Journal of High Energy Physics, 2015(6):1–34,
2015
-
[9]
Real eigenvalue/vector distribu- tions of random real antisymmetric tensors,
arXiv:2510.20398. [Eyn11] BertrandEynard.Formalmatrixintegralsandcombinatoricsofmaps.InRandom matrices, random processes and integrable systems, pages 415–442. Springer,
-
[10]
BootstrappingSU(3)lattice yang-mills theory
[GLYZ25] Yuanhong Guo, Zeyu Li, Gang Yang, and Guorui Zhu. BootstrappingSU(3)lattice yang-mills theory. arXiv:2502.14421,
-
[11]
Melons are branched polymers
[GR14] Răzvan Gurău and James P Ryan. Melons are branched polymers. InAnnales Henri Poincare, volume 15, pages 2085–2131. Springer,
2085
-
[12]
arXiv:0907.2582. [Gur14] Răzvan Gurău. Universality for Random Tensors.Ann. Inst. H. Poincare Probab. Statist., 50(4):1474–1525,
-
[13]
On the generalization of the Wigner semicircle law to real symmetric tensors,
[Gur20] Răzvan Gurău. On the generalization of the Wigner semicircle law to real symmetric tensors. arXiv:2004.02660,
-
[14]
[HKP22] Hamed Hessam, Masoud Khalkhali, and Nathan Pagliaroli
arXiv:1205.0465. [HKP22] Hamed Hessam, Masoud Khalkhali, and Nathan Pagliaroli. Bootstrapping Dirac ensembles.Journal of Physics A: Mathematical and Theoretical, 55(33):335204,
-
[15]
[HL25] Zhijian Huang and Wenliang Li. Bootstrapping periodic quantum systems.arXiv:2507.02386,
-
[16]
Bootstrapping Noncommutative Geometry with Dirac Ensembles
[KP25] Masoud Khalkhali and Nathan Pagliaroli. Bootstrapping Noncommutative Geometry with Dirac Ensembles. arXiv:2512.08694,
-
[17]
Bootstrapping the critical be- havior of multi-matrix models.Journal of High Energy Physics, 2025(2):1–35,
[KPPS25] Masoud Khalkhali, Nathan Pagliaroli, Andrei Parfeni, and Brayden Smith. Bootstrapping the critical be- havior of multi-matrix models.Journal of High Energy Physics, 2025(2):1–35,
2025
-
[18]
arXiv:1706.00839. [KZh22] Vladimir Kazakov and Zechuan Zheng. Analytic and numerical bootstrap for one-matrix model and “unsolv- able” two-matrix model.Journal of High Energy Physics, 2022(6):1–61,
-
[19]
Analytic trajectory bootstrap for matrix models.Journal of High Energy Physics, 2025(2):1–35,
[Li25] Wenliang Li. Analytic trajectory bootstrap for matrix models.Journal of High Energy Physics, 2025(2):1–35,
2025
-
[20]
Bootstraps to strings: solving random matrix models with positivity.Journal of High Energy Physics, 2020(6):1–28,
[Lin20] Henry W Lin. Bootstraps to strings: solving random matrix models with positivity.Journal of High Energy Physics, 2020(6):1–28,
2020
-
[21]
Finite-$N$ Bootstrap Constraints in Matrix and Tensor Models
[LT26] Samuel Laliberte and Reiko Toriumi. Finite-Nbootstrap constraints in matrix and tensor models. arXiv:2603.17364,
work page internal anchor Pith review Pith/arXiv arXiv
-
[22]
Bootstrapping the abelian lattice gauge theories.Journal of High Energy Physics, 2024(8):1–32,
[LZ24] Zhijin Li and Shutong Zhou. Bootstrapping the abelian lattice gauge theories.Journal of High Energy Physics, 2024(8):1–32,
2024
-
[23]
Maeta,Matrix Bootstrap Approximation without Positivity Constraint,2601.16099
[Mae26] Reishi Maeta. Matrix bootstrap approximation without positivity constraint.arXiv preprint arXiv:2601.16099,
-
[24]
An analysis of the intermediate field theory of T4 tensor model.Journal of High Energy Physics, 2015(1):1–17,
[NDE15] Viet Anh Nguyen, Stéphane Dartois, and Bertrand Eynard. An analysis of the intermediate field theory of T4 tensor model.Journal of High Energy Physics, 2015(1):1–17,
2015
-
[25]
[PSW21] Romain Pascalie, Carlos I
[doi.org/10.5281/zenodo.19661198]. [PSW21] Romain Pascalie, Carlos I. Pérez Sánchez, and Raimar Wulkenhaar. Correlation functions of U(N)-tensor models and their Schwinger–Dyson equations.Ann. Inst. H. Poincare D Comb. Phys. Interact., 8(3):377–458,
-
[26]
Feynman integrals from positivity constraints.Journal of High Energy Physics, 2023(9):1–43,
[Zen23] Mao Zeng. Feynman integrals from positivity constraints.Journal of High Energy Physics, 2023(9):1–43,
2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.