Recognition: 2 theorem links
· Lean Theoremc=1 strings as a matrix integral
Pith reviewed 2026-05-10 18:50 UTC · model grok-4.3
The pith
The c=1 string's perturbative S-matrix is equivalently described by a double-scaled matrix integral with spectral curve x(z)=2√2 cos(z), y(z)=sin(z).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The perturbative S-matrix of the c=1 string admits a description in terms of a double-scaled (0+0)-dimensional matrix integral based on the spectral curve x(z)=2√2 cos(z), y(z)=sin(z). Intersection numbers on the moduli space compute amplitudes for a discretized target space; physical elements are recovered by Brillouin-zone restriction followed by analytic continuation to Lorentzian signature. These amplitudes obey perturbative unitarity and Mirzakhani recursion directly from the intersection expressions and agree with matrix quantum mechanics.
What carries the argument
The spectral curve x(z)=2√2 cos(z), y(z)=sin(z) of the double-scaled (0+0)-dimensional matrix integral, which generates the intersection-number expressions for the discretized amplitudes.
If this is right
- The intersection theory expressions directly prove perturbative spacetime unitarity without reference to other formulations.
- Amplitudes obey a Mirzakhani-type recursion relation.
- Detailed numerical agreement holds with all known matrix quantum mechanics results.
- The three formulations—worldsheet, matrix quantum mechanics, and matrix integral—are exactly equivalent at the perturbative level.
Where Pith is reading between the lines
- The same intersection-number approach might extend to other values of the central charge or to non-perturbative completions of the theory.
- The discretized momentum picture could connect to lattice or compactified models in related quantum gravity contexts.
- The explicit matrix-integral representation may enable new exact computations of higher-genus or multi-point amplitudes.
- The triality suggests that similar matrix-integral duals could exist for other exactly solvable string models.
Load-bearing premise
Physical S-matrix elements are recovered by restricting the intersection-number expressions to the first Brillouin zone and then analytically continuing to Lorentzian kinematics.
What would settle it
A concrete mismatch between a computed higher-point amplitude (for example the four-point function) in the matrix integral after Brillouin-zone restriction and the known matrix quantum mechanics result would falsify the claimed triality.
Figures
read the original abstract
We study the perturbative $S$-matrix of the $c=1$ string and show that it admits a description in terms of a double-scaled (0+0)-dimensional matrix integral based on the spectral curve $\mathsf{x}(z) = 2\sqrt{2}\cos(z)$, $\mathsf{y}(z)=\sin(z)$. Combined with the famous duality to matrix quantum mechanics, this establishes a triality between three formulations of the theory: the worldsheet description, matrix quantum mechanics, and a matrix integral. Starting from the intersection number expressions for the complex Liouville string, we derive closed-form Feynman rule expressions for the $c=1$ amplitudes as intersection numbers on the moduli space of Riemann surfaces. The intersection theory naturally computes amplitudes corresponding to a discretized target space where momentum is conserved only modulo an integer. The physical $S$-matrix elements are recovered by restriction to the first `Brillouin zone' and analytic continuation to Lorentzian kinematics. We prove that these amplitudes satisfy perturbative spacetime unitarity directly from the intersection theory expressions, and show that they satisfy a Mirzakhani-type recursion relation. We show detailed agreement with the known matrix quantum mechanics results, providing strong evidence for the triality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the perturbative S-matrix of the c=1 string admits a description as a double-scaled (0+0)-dimensional matrix integral with spectral curve x(z)=2√2 cos(z), y(z)=sin(z). Starting from intersection-number formulas for the complex Liouville string, it derives closed-form Feynman rules for c=1 amplitudes, proves perturbative unitarity directly from the intersection expressions, establishes a Mirzakhani-type recursion, and reports detailed numerical agreement with matrix quantum mechanics results. Physical Lorentzian S-matrix elements are recovered by restricting the discretized (modulo-1 momentum) intersection numbers to the first Brillouin zone followed by analytic continuation.
Significance. If the Brillouin-zone restriction and analytic-continuation map is shown to preserve the correct pole structure and residues, the result would be significant: it supplies a new matrix-integral formulation for c=1 string amplitudes, closes a triality with the worldsheet and matrix-quantum-mechanics descriptions, and furnishes closed-form Feynman rules together with a direct intersection-theoretic proof of perturbative unitarity. These features would constitute a concrete advance in the computational toolkit for non-critical strings.
major comments (2)
- [the section deriving the physical S-matrix from intersection numbers] The central step that recovers physical Lorentzian S-matrix elements from the discretized intersection-number expressions (via restriction to the first Brillouin zone and analytic continuation) is load-bearing for the triality claim yet receives only schematic justification. It is not demonstrated that this map unambiguously preserves the locations and residues of all poles that appear in the known matrix-quantum-mechanics results; a concrete check for at least the four-point amplitude would be required.
- [the section reporting numerical agreement with matrix quantum mechanics] The assertion of 'detailed agreement' with matrix quantum mechanics is stated in the abstract and introduction but is not accompanied by an explicit table or equation-by-equation comparison of the first few amplitudes (e.g., the two- and four-point functions) that would allow the reader to verify that the continued intersection numbers reproduce the known residues and imaginary parts.
minor comments (1)
- Notation for the spectral curve variables x(z) and y(z) is introduced without an immediate reminder of the standard double-scaling conventions used in the matrix-model literature; a brief comparison sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major point below and will revise the manuscript to incorporate the requested clarifications and explicit checks.
read point-by-point responses
-
Referee: The central step that recovers physical Lorentzian S-matrix elements from the discretized intersection-number expressions (via restriction to the first Brillouin zone and analytic continuation) is load-bearing for the triality claim yet receives only schematic justification. It is not demonstrated that this map unambiguously preserves the locations and residues of all poles that appear in the known matrix-quantum-mechanics results; a concrete check for at least the four-point amplitude would be required.
Authors: We agree that the current justification for the Brillouin-zone restriction followed by analytic continuation is schematic and requires strengthening to rigorously support the triality. In the revised version we will expand this section with a step-by-step derivation showing how the map acts on the momentum labels and preserves the pole locations and residues of the matrix-quantum-mechanics amplitudes. We will also include an explicit four-point computation that verifies the continued intersection numbers reproduce the known poles, residues, and imaginary parts. revision: yes
-
Referee: The assertion of 'detailed agreement' with matrix quantum mechanics is stated in the abstract and introduction but is not accompanied by an explicit table or equation-by-equation comparison of the first few amplitudes (e.g., the two- and four-point functions) that would allow the reader to verify that the continued intersection numbers reproduce the known residues and imaginary parts.
Authors: We acknowledge that the manuscript currently states agreement without providing the explicit numerical or symbolic comparisons needed for verification. We will add a dedicated subsection (or appendix) containing side-by-side expressions and a table for the two- and four-point amplitudes, showing the intersection-number results after Brillouin-zone restriction and analytic continuation against the known matrix-quantum-mechanics formulas, with explicit matching of residues and imaginary parts. revision: yes
Circularity Check
No significant circularity; derivation is self-contained from intersection theory
full rationale
The paper begins with established intersection-number formulas from the complex Liouville string (external to this work), derives closed-form Feynman rules for c=1 amplitudes as intersection numbers on moduli space, applies a Brillouin-zone restriction plus analytic continuation to obtain physical Lorentzian S-matrix elements, proves perturbative unitarity directly from those intersection expressions, verifies a Mirzakhani recursion, and reports numerical agreement with independent matrix-quantum-mechanics results. The matrix-integral formulation with spectral curve x(z)=2√2 cos(z), y(z)=sin(z) is then shown to reproduce the same continued amplitudes, establishing the triality as an equivalence rather than a redefinition. No step reduces by construction to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing claim rests solely on self-citation chains. The restriction/continuation map is an explicit additional step whose validity is supported by unitarity proofs and MQM matching, not assumed tautologically.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Intersection numbers on the moduli space of Riemann surfaces compute the amplitudes corresponding to a discretized target space with momentum conserved modulo an integer.
- domain assumption Restriction to the first Brillouin zone plus analytic continuation to Lorentzian kinematics recovers the physical S-matrix.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
c=1 amplitudes as intersection numbers on the moduli space of Riemann surfaces ... sum over stable graphs
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 1 Pith paper
-
The Super Virasoro Minimal String from 3d Supergravity
The super Virasoro minimal string arises from quantizing 3d supergravity, with 0A+ and 0B+ dual to the bosonic minimal string matrix integral, 0B- to one with inverse square root singularity, and 0A- having vanishing ...
Reference graph
Works this paper leans on
-
[1]
I. R. Klebanov,String theory in two-dimensions, inSpring School on String Theory and Quantum Gravity (to be followed by Workshop) Trieste, Italy, April 15-23, 1991, pp. 30–101, 1991,hep-th/9108019
work page Pith review arXiv 1991
-
[2]
P. H. Ginsparg and G. W. Moore,Lectures on 2-D gravity and 2-D string theory, in Theoretical Advanced Study Institute (TASI 92): From Black Holes and Strings to Particles Boulder, Colorado, June 3-28, 1992, pp. 277–469, 1993,hep-th/9304011
work page internal anchor Pith review arXiv 1992
-
[3]
A. Jevicki,Development in 2-d string theory, inWorkshop on String Theory, Gauge Theory and Quantum Gravity Trieste, Italy, April 28-29, 1993, pp. 96–140, 1993, hep-th/9309115
-
[4]
J. Polchinski,What is string theory?, inNATO Advanced Study Institute: Les Houches Summer School, Session 62: Fluctuating Geometries in Statistical Mechanics and Field Theory Les Houches, France, August 2-September 9, 1994, 1994,hep-th/9411028
work page internal anchor Pith review arXiv 1994
-
[5]
Brezin and V
E. Brezin and V. A. Kazakov,Exactly Solvable Field Theories of Closed Strings, Phys. Lett. B236(1990) 144. – 72 –
1990
-
[6]
M. R. Douglas and S. H. Shenker,Strings in Less Than One-Dimension,Nucl. Phys. B335(1990) 635
1990
-
[7]
D. J. Gross and A. A. Migdal,Nonperturbative Two-Dimensional Quantum Gravity, Phys. Rev. Lett.64(1990) 127
1990
-
[8]
D. J. Gross and A. A. Migdal,A Nonperturbative Treatment of Two-dimensional Quantum Gravity,Nucl. Phys. B340(1990) 333
1990
-
[9]
D. J. Gross and N. Miljkovic,A Nonperturbative Solution ofD= 1String Theory, Phys. Lett. B238(1990) 217
1990
-
[10]
Brezin, V
E. Brezin, V. A. Kazakov and A. B. Zamolodchikov,Scaling Violation in a Field Theory of Closed Strings in One Physical Dimension,Nucl. Phys. B338(1990) 673
1990
-
[11]
P. H. Ginsparg and J. Zinn-Justin,2-d GRAVITY + 1-d MATTER,Phys. Lett. B 240(1990) 333
1990
-
[12]
D. J. Gross and I. R. Klebanov,Fermionic string field theory of c = 1 two-dimensional quantum gravity,Nucl. Phys. B352(1991) 671
1991
-
[13]
S. R. Das and A. Jevicki,String Field Theory and Physical Interpretation ofD= 1 Strings,Mod. Phys. Lett. A5(1990) 1639
1990
-
[14]
Polchinski,Classical limit of (1+1)-dimensional string theory,Nucl
J. Polchinski,Classical limit of (1+1)-dimensional string theory,Nucl. Phys. B362 (1991) 125
1991
- [15]
-
[16]
M. Natsuume and J. Polchinski,Gravitational scattering in the c = 1 matrix model, Nucl. Phys. B424(1994) 137 [hep-th/9402156]
- [17]
-
[18]
J. McGreevy and H. L. Verlinde,Strings from tachyons: The c=1 matrix reloaded, JHEP12(2003) 054 [hep-th/0304224]
- [19]
-
[20]
M. R. Douglas, I. R. Klebanov, D. Kutasov, J. M. Maldacena, E. J. Martinec and N. Seiberg,A New hat for the c=1 matrix model, inFrom Fields to Strings: Circumnavigating Theoretical Physics: A Conference in Tribute to Ian Kogan, pp. 1758–1827, 7, 2003,hep-th/0307195
work page internal anchor Pith review arXiv 2003
-
[21]
A Matrix Model Dual of Type 0B String Theory in Two Dimensions
T. Takayanagi and N. Toumbas,A Matrix model dual of type 0B string theory in two-dimensions,JHEP07(2003) 064 [hep-th/0307083]
work page Pith review arXiv 2003
- [22]
-
[23]
Alexandrov,(m,n) ZZ branes and the c = 1 matrix model,Phys
S. Alexandrov,(m,n) ZZ branes and the c = 1 matrix model,Phys. Lett. B604 (2004) 115 [hep-th/0310135]. – 73 –
-
[24]
Alexandrov,D-branes and complex curves in c=1 string theory,JHEP05(2004) 025 [hep-th/0403116]
S. Alexandrov,D-branes and complex curves in c=1 string theory,JHEP05(2004) 025 [hep-th/0403116]
-
[25]
Alexandrov,Complex curves and non-perturbative effects in c = 1 string theory, Fortsch
S. Alexandrov,Complex curves and non-perturbative effects in c = 1 string theory, Fortsch. Phys.53(2005) 839 [hep-th/0412257]
-
[26]
J. M. Maldacena,Long strings in two dimensional string theory and non-singlets in the matrix model,JHEP09(2005) 078 [hep-th/0503112]
work page Pith review arXiv 2005
-
[27]
Solving the eigenvalue problem arising from the adjoint sector of the c=1 matrix model
L. Fidkowski,Solving the eigenvalue problem arising from the adjoint sector of the c=1 matrix model,hep-th/0506132
work page internal anchor Pith review arXiv
-
[28]
E. J. Martinec,Matrix models and 2D string theory, in9th Frontiers of Mathematical Physics Summer School on Strings, Gravity and Cosmology Vancouver, Canada, August 2-13, 2004, pp. 403–457, 2004,hep-th/0410136
work page internal anchor Pith review arXiv 2004
- [29]
- [30]
-
[31]
B. Balthazar, V. A. Rodriguez and X. Yin,Thec= 1string theory S-matrix revisited,JHEP04(2019) 145 [1705.07151]
-
[32]
B. Balthazar, V. A. Rodriguez and X. Yin,ZZ instantons and the non-perturbative dual of c = 1 string theory,JHEP05(2023) 048 [1907.07688]
-
[33]
B. Balthazar, V. A. Rodriguez and X. Yin,Multi-instanton calculus in c = 1 string theory,JHEP05(2023) 050 [1912.07170]
-
[34]
A. Sen,Fixing an Ambiguity in Two Dimensional String Theory Using String Field Theory,JHEP03(2020) 005 [1908.02782]
-
[35]
Sen,D-instanton Perturbation Theory,JHEP08(2020) 075, [2002.04043]
A. Sen,D-instanton Perturbation Theory,JHEP08(2020) 075 [2002.04043]
-
[36]
A. Sen,D-instantons, string field theory and two dimensional string theory,JHEP 11(2021) 061 [2012.11624]
- [37]
-
[38]
Invariants of algebraic curves and topological expansion
B. Eynard and N. Orantin,Invariants of algebraic curves and topological expansion, Commun. Num. Theor. Phys.1(2007) 347 [math-ph/0702045]
work page Pith review arXiv 2007
-
[39]
P. Saad, S. H. Shenker and D. Stanford,JT gravity as a matrix integral, 1903.11115
work page Pith review arXiv 1903
-
[40]
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez,The Virasoro minimal string,SciPost Phys.16(2024) 057 [2309.10846]
-
[41]
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez,Complex Liouville String,Phys. Rev. Lett.134(2025) 251602 [2409.17246]. – 74 –
-
[42]
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez,The complex Liouville string: The worldsheet,SciPost Phys.19(2025) 033 [2409.18759]
-
[43]
D. Khromov and A. Litvinov,On correlation numbersV0,4 andV 1,1 in Virasoro Minimal String Theory,2509.25960
-
[44]
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez,The complex Liouville string: The matrix integral,SciPost Phys.18(2025) 154 [2410.07345]
-
[45]
Goulian and M
M. Goulian and M. Li,Correlation functions in Liouville theory,Phys. Rev. Lett. 66(1991) 2051
1991
-
[46]
Teschner,Liouville theory revisited,Class
J. Teschner,Liouville theory revisited,Class. Quant. Grav.18(2001) R153 [hep-th/0104158]
-
[47]
Witten,The Feynmaniϵin String Theory,JHEP04(2015) 055 [1307.5124]
E. Witten,The Feynmaniϵin String Theory,JHEP04(2015) 055 [1307.5124]
-
[48]
L. Eberhardt and S. Mizera,Unitarity cuts of the worldsheet,SciPost Phys.14 (2023) 015 [2208.12233]
-
[49]
H. S. Hannesdottir and S. Mizera,What is the iεfor the S-matrix?, SpringerBriefs in Physics. Springer, 1, 2023, 10.1007/978-3-031-18258-7, [2204.02988]
-
[50]
Eynard,Large N expansion of the 2 matrix model,JHEP01(2003) 051 [hep-th/0210047]
B. Eynard,Large N expansion of the 2 matrix model,JHEP01(2003) 051 [hep-th/0210047]
-
[51]
L. Chekhov, B. Eynard and N. Orantin,Free energy topological expansion for the 2-matrix model,JHEP12(2006) 053 [math-ph/0603003]
-
[52]
Mirzakhani,Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces,Invent
M. Mirzakhani,Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces,Invent. Math.167(2006) 179
2006
-
[53]
M. Kontsevich and Y. Manin,Gromov-Witten classes, quantum cohomology, and enumerative geometry,Commun. Math. Phys.164(1994) 525 [hep-th/9402147]
-
[54]
B. Eynard,Master loop equations, free energy and correlations for the chain of matrices,JHEP11(2003) 018 [hep-th/0309036]
-
[55]
B. Eynard and A. P. Ferrer,Topological expansion of the chain of matrices,JHEP 07(2009) 096 [0805.1368]
-
[56]
E. D’Hoker and D. H. Phong,The Box graph in superstring theory,Nucl. Phys. B 440(1995) 24 [hep-th/9410152]
-
[57]
S. Ribault and R. Santachiara,Liouville theory with a central charge less than one, JHEP08(2015) 109 [1503.02067]
-
[58]
L. Eberhardt and S. Mizera,Evaluating one-loop string amplitudes,SciPost Phys. 15(2023) 119 [2302.12733]
-
[59]
L. Eberhardt and S. Mizera,Lorentzian contours for tree-level string amplitudes, SciPost Phys.17(2024) 078 [2403.07051]
-
[60]
C. Figueiredo and M. Skowronek,Cuts and contours,JHEP12(2025) 024 [2506.05456]. – 75 –
- [61]
-
[62]
A. A. Belavin and A. B. Zamolodchikov,Integrals over moduli spaces, ground ring, and four-point function in minimal Liouville gravity,Theor. Math. Phys.147 (2006) 729
2006
-
[63]
Di Francesco and D
P. Di Francesco and D. Kutasov,Correlation functions in 2-D string theory,Phys. Lett. B261(1991) 385
1991
-
[64]
P. Di Francesco and D. Kutasov,World sheet and space-time physics in two-dimensional (Super)string theory,Nucl. Phys. B375(1992) 119 [hep-th/9109005]
- [65]
- [66]
-
[67]
Hassett,Moduli spaces of weighted pointed stable curves,Adv
B. Hassett,Moduli spaces of weighted pointed stable curves,Adv. Math.173(2003) 316
2003
-
[68]
L. Eberhardt and G. J. Turiaci,2D Dilaton Gravity and the Weil–Petersson Volumes with Conical Defects,Commun. Math. Phys.405(2024) 103 [2304.14948]
-
[69]
A. Artemev and I. Chaban,(2,2p+ 1)minimal string and intersection theory I, 2403.02305
-
[70]
V. Delecroix, J. Schmitt and J. van Zelm,admcycles – a Sage package for calculations in the tautological ring of the moduli space of stable curves,J. Softw. Alg. Geom.11(2021) 89 [2002.01709]
-
[71]
A. Sen,Cutkosky rules and unitarity (violation) in D-instanton amplitudes,JHEP 07(2021) 205 [2012.00041]
-
[72]
’t Hooft and M
G. ’t Hooft and M. J. G. Veltman,Combinatorics of gauge fields,Nucl. Phys. B50 (1972) 318
1972
-
[73]
’t Hooft and M
G. ’t Hooft and M. J. G. Veltman,DIAGRAMMAR,NATO Sci. Ser. B4(1974) 177
1974
- [74]
-
[75]
Fulton,Intersection Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete
W. Fulton,Intersection Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, 1998, 10.1007/978-1-4612-1700-8
-
[76]
T. J. Jarvis,Geometry of the moduli of higher spin curves,International Journal of Mathematics11(2000) 637 [https://doi.org/10.1142/S0129167X00000325]
-
[77]
Chiodo,Stable twisted curves and theirr-spin structures,Annales de l’Institut Fourier58(2008) 1635
A. Chiodo,Stable twisted curves and theirr-spin structures,Annales de l’Institut Fourier58(2008) 1635. – 76 –
2008
-
[78]
Lewanski, A
D. Lewanski, A. Popolitov, S. Shadrin and D. Zvonkine,Chiodo formulas for the r-th roots and topological recursion,Letters in Mathematical Physics107(2017) 901
2017
-
[79]
P. Dunin-Barkowski, N. Orantin, S. Shadrin and L. Spitz,Identification of the Givental formula with the spectral curve topological recursion procedure,Commun. Math. Phys.328(2014) 669 [1211.4021]
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.