REVIEW 2 major objections 4 minor 50 references
The Runkel-Watts string has exact all-genus amplitudes: a stable-graph sum with SU(2) Yang-Mills factors at each vertex, reproduced by topological recursion from a spectral curve.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 12:39 UTC pith:G65HJKIT
load-bearing objection New exactly solvable 2d string family with an elegant all-genus Feynman-rule formula and honest low-order checks; the matrix-integral duality is plausible but the key reconstruction step is skipped. the 2 major comments →
The Runkel-Watts string
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper's central claim is that the Runkel-Watts string amplitudes RW_{g,n}(p) are given exactly by the stable-graph Feynman rules (2.48): summing over stable graphs with automorphism factors, each internal edge carries a regularized integral over a momentum k_e, and each vertex contributes the product of an SU(2) Yang-Mills TQFT partition function A^{TQFT}_{g_v,n_v}(sqrt(qq') p_v + (q+q')/2) with an analytically continued VMS quantum volume V^{sqrt(q'/q)}_{g_v,n_v}(ip_v). The paper derives this by taking a regulated rational limit b -> sqrt(q'/q) of the complex Liouville string amplitudes, in which only vertex colors divisible by q survive and the infinite color sums become Bernoulli poly
What carries the argument
The load-bearing machinery is the regulated rational limit of the CLS intersection-theoretic stable-graph formula. Taking b to the rational value sqrt(q'/q) from the upper half-plane with an epsilon-scaled amplitude selects graphs whose vertex colors are multiples of q; after resumming colors via Bernoulli Fourier series, the formula becomes momentum-space Feynman rules in which the moduli-space content is packaged entirely into the VMS quantum volumes. The vertex factor is identified with SU(2) Yang-Mills theory through the character sum (2.45): A^{TQFT} equals a sum over SU(2) representations weighted by m^{-(2g-2+n)}, the same object that computes volumes of flat SU(2) moduli spaces. The
Load-bearing premise
The all-genus formula rests on interchanging the rational limit epsilon -> 0 with infinite color sums, edge expansions, and moduli-space integrals in the complex-Liouville-string Feynman rules, and on the topological-recursion reconstruction of the Runkel-Watts spectral curve; the paper verifies the interchange only at low orders numerically and explicitly leaves the reconstruction underived.
What would settle it
Compute a higher-order Runkel-Watts amplitude directly from the worldsheet CFT, for example RW_{0,5} or RW_{1,2}, in the small-momentum regime where no contour deformation is needed, and compare with the prediction of (2.48). Any disagreement beyond numerical precision, or any dependence of the epsilon -> 0 result on the order of summation over colors versus edges, would falsify the central claim. A cheaper probe is to test the dilaton equation (2.94) at the next order (g,n) = (1,2), where only the contact graph contributes in the check.
If this is right
- If the central formula holds, the Runkel-Watts string is exactly solvable at all genera: every amplitude RW_{g,n} is obtained from (2.48) by finitely many algebraic operations.
- The same amplitudes are generated by topological recursion on the explicit spectral curve (2.73), so the theory is dual to a matrix integral whose eigenvalue density is the Chebyshev expression (2.77).
- In the large-(q,q') limit the amplitudes factorize into an SU(2) Yang-Mills factor times a VMS quantum volume; the VMS volume is the envelope of a rapidly oscillating amplitude, giving a coarse-grained realization of timelike Liouville theory.
- The Runkel-Watts string is a limit of the A-series minimal string, so the explicit Runkel-Watts amplitudes provide a solved corner of A-series minimal string theory and constraints on its general intersection-theoretic formula.
- The amplitudes are piecewise polynomial with discontinuities but no poles, and satisfy a dilaton equation in which the dilaton insertion must be differentiated before evaluation, directly inherited from topological recursion.
Where Pith is reading between the lines
- Editorial extension: the same limiting mechanism that turns the CLS stable-graph formula into SU(2) gauge times gravity Feynman rules would likely work for any rational degeneration of one Liouville factor; the resulting family would be labeled by the TQFT that replaces SU(2), making the gauge factor a universal fingerprint of the limit.
- Editorial extension: at q=q'=1 the identification of momenta with SU(2) conjugacy classes and the flat-bundle volume interpretation suggests that the amplitudes could eventually be read as S-matrix-like asymptotic observables in a Lorentzian target space bounded by Runkel-Watts walls, a step the paper does not itself take.
- Editorial extension: the derivative in the dilaton equation (2.94) indicates that naive insertion at the dilaton momentum vanishes in this theory; testing whether this non-commutation persists at higher genus would sharpen the dictionary between the worldsheet limit and the matrix-model resolvents.
- Editorial extension: if the all-genus formula survives, the Runkel-Watts string would be the simplest example where a two-dimensional gauge theory, rather than a q-deformed gauge theory, is coupled to gravity through universal VMS vertices, suggesting a direct route from rational CFT limits to solvable gravity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a new family of two-dimensional string theories, the 'Runkel-Watts string', obtained by coupling Liouville CFT to the Runkel-Watts CFT. The central computational claim is an all-genus formula, Eq. (1.2)/(2.48), expressing string amplitudes as a sum over stable graphs with SU(2) Yang-Mills TQFT factors and Virasoro minimal string quantum volumes at the vertices. This formula is derived by taking a rational limit (2.31) of the complex Liouville string (CLS) intersection-theoretic Feynman rules (2.28). The paper also claims a dual description via topological recursion from a non-algebraic spectral curve (1.3)/(2.73), with a dictionary (2.87) between resolvents and Runkel-Watts amplitudes. Low-order results RW_{1,1} and RW_{0,4} are checked against direct numerical evaluation of the worldsheet CFT correlators, and several structural properties are established, including piecewise polynomiality, a triality symmetry, and a dilaton equation. In Section 3, the paper relates the Runkel-Watts string to the A-series minimal string and exhibits a coarse-grained factorization limit into a gauge theory factor times a VMS volume.
Significance. If the all-genus formula (2.48) is correct, this paper provides a genuinely new solvable string theory that sits between the complex Liouville string, the minimal strings, and the Virasoro minimal string, and whose amplitudes have elegant Feynman rules with SU(2) Yang-Mills data. The explicit low-order checks against numerical worldsheet CFT integration are a clear strength: they independently validate the limit (2.31) at the first nontrivial cases. The paper also correctly emphasizes that the VMS quantum volumes appear as universal building blocks, reinforcing the emerging structural picture in the field. However, the central claims rest on two load-bearing assumptions that are not fully proven: the interchange of the rational limit with the infinite sums/integrals in (2.28), and the identification of the resulting amplitudes with topological recursion from the spectral curve. The latter is explicitly left unproven ('We will therefore not repeat the reconstruction in detail'). These gaps do not invalidate the paper's evident plausibility, but they mean the all-genus and matrix-integral duality claims are not yet established at the level of proof.
major comments (2)
- [Sec. 2.2, Eq. (2.31)] The limit defining RW_{g,n} is taken on the CLS formula (2.28), which contains an infinite sum over stable graphs, an infinite sum over vertex colors, and an infinite edge expansion in d. Only the vertex factor is evaluated in the limit (2.32); the paper does not justify interchanging ε→0 with the graph sum, color sum, d-sum, and moduli-space integrals. The low-order checks in Sec. 2.3 cover only (g,n)=(1,1) and (0,4), which do not probe graphs with higher loop number or edge factors beyond the lowest d. Since the CLS formula is itself regularized and has pole-crossing subtleties, non-uniform convergence at rational b would alter (2.33) and hence (2.48). Please provide a justification of the interchange or add independent all-genus checks, such as RW_{2,0} or RW_{1,2}, evaluated directly from (2.33) and from the worldsheet CFT.
- [Sec. 2.5, Eq. (2.82)] The claimed matrix-integral duality rests on identifying (2.33) with topological recursion from the spectral curve (1.3)/(2.73). The paper explicitly declines to perform the reconstruction ('We will therefore not repeat the reconstruction in detail'). The checks (2.83)-(2.91) cover only ω_{0,3}, ω_{1,1}, and ω_{0,4}; these are the lowest orders and do not exercise the infinite branch-point sum (2.82) at orders where the non-algebraic branch points (2.74) or nodal singularities (2.76) could contribute. The dilaton equation (2.94) inherits the same gap. Consequently the duality is a conjecture supported by evidence, not a derived theorem. Please either present the reconstruction argument, even in summary, or verify the recursion at the next order (e.g., ω_{2,0} or ω_{1,2}) against an independent calculation.
minor comments (4)
- [Sec. 2.2, Eq. (2.39)] The representation of the edge factor as a sum over ℓ_e with analytic continuation in s is delicate because the sum is not absolutely convergent at s=-1. The paper states an equivalence to the regularization in [14]; a few more details of why the ℓ-sum and the ψ-class expansion commute would improve readability.
- [Appendix A, after Eq. (A.3)] The chamber identity is reduced to 'finitely many cases' but the cases are not enumerated. The proof sketch would be easier to check if the list of cases (i)-(iii) were explicitly verified or tabulated.
- [Sec. 2.5, after Eq. (2.88)] The inverse dictionary (2.88) is stated with a sign prescription; a brief comment on how the ±-signs are correlated in practice would prevent ambiguity, especially for non-symmetric integrands.
- [Sec. 3.2, Eq. (3.14)] The limit from the A-series minimal string torus amplitude is verified only after 'fixing the overall normalization appropriately'; since this is a check of the relation, the normalization ambiguity should be spelled out more explicitly.
Circularity Check
No significant circularity: the RW amplitudes are defined independently and derived as a limit of the prior CLS formula, with direct numerical checks and no fit-to-output step.
full rationale
The paper's central object RW_{g,n} is first defined directly from the worldsheet path integral in (2.17), independently of the final all-genus formula. The all-genus expression (2.48) is then obtained by taking the rational limit of the CLS stable-graph formula (2.28), leading to (2.33) and its momentum-space rewriting. No parameter in (2.48) is fitted to the amplitudes it purports to derive; the only inputs are the prior CLS intersection-theoretic Feynman rules and the definitions of the constituent CFTs. The low-order results RW_{1,1} and RW_{0,4} are checked against direct numerical integration of the worldsheet correlators (Figs. 4 and 5), providing an independent benchmark outside the fitted input. The topological-recursion duality is constructed by comparing (2.33) with the universal stable-graph expansion, so the spectral curve is read off from the same formula rather than fitted to the recursive output; the subsequent recovery of RW_{0,3}, RW_{1,1}, and RW_{0,4} from the recursion is a consistency check, not an independent prediction. The most substantial gap is the explicitly omitted reconstruction in §2.5: “We will therefore not repeat the reconstruction in detail,” after citing [33, Thm. 4.1] and [14, App. B]. This is an omitted proof and a correctness/fragility concern, but not a circular step, because the claimed identification is with an external theorem and a prior derivation. The paper relies heavily on self-cited prior work for the CLS formula, but that formula is parameter-free, has its own worldsheet and numerical checks, and does not assume the RW result; reliance on prior results is not circularity.
Axiom & Free-Parameter Ledger
free parameters (1)
- (q, q') family labels =
integer pair, e.g. (4,3), (5,3) in checks
axioms (4)
- domain assumption The CLS all-genus intersection-number formula (2.28) is exact for all (g,n) and admits the rational limit used here.
- domain assumption Runkel-Watts CFT correlation functions on all genera are defined by the data (2.7)-(2.9) and satisfy the bootstrap/sewing.
- standard math Topological recursion with the RW spectral curve (1.3) reproduces the stable-graph expansion via the intersection-theoretic theorem of Eynard [33] and the Givental identification [34].
- domain assumption VMS quantum volumes (2.40) admit analytic continuation to imaginary momenta with polynomial behavior.
read the original abstract
We introduce and solve a new family of two-dimensional string theories obtained by coupling Liouville CFT to the generalized Runkel-Watts CFT. By taking an appropriate limit of the complex Liouville string, we derive an all-genus formula for its string amplitudes, and formulate a duality with a matrix integral. We explain that it can be interpreted as 2d SU(2) Yang-Mills theory coupled to gravity. We show that it also directly relates to other minimal string constructions such as the A-series minimal string.
Figures
Reference graph
Works this paper leans on
-
[1]
Brezin and V
E. Brezin and V. Kazakov,Exactly Solvable Field Theories of Closed Strings,Phys. Lett. B236(1990) 144
1990
-
[2]
M. R. Douglas and S. H. Shenker,Strings in Less Than One-Dimension,Nucl. Phys. B335(1990) 635
1990
-
[3]
D. J. Gross and A. A. Migdal,Nonperturbative Two-Dimensional Quantum Gravity, Phys. Rev. Lett.64(1990) 127
1990
-
[4]
N. Seiberg and D. Shih,Minimal string theory,Comptes Rendus Physique6(2005) 165 [hep-th/0409306]
Pith/arXiv arXiv 2005
-
[5]
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
Pith/arXiv arXiv 1991
-
[6]
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, pp. 277–469, 10, 1993,hep-th/9304011
Pith/arXiv arXiv 1993
-
[7]
A. Jevicki,Development in 2-d string theory, inWorkshop on String Theory, Gauge Theory and Quantum Gravity, 9, 1993,hep-th/9309115, DOI
Pith/arXiv arXiv 1993
-
[8]
J. Polchinski,What is string theory?, inNATO Advanced Study Institute: Les Houches Summer School, Session 62: Fluctuating Geometries in Statistical Mechanics and Field Theory, 11, 1994,hep-th/9411028. – 42 –
Pith/arXiv arXiv 1994
-
[9]
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]
Pith/arXiv arXiv 2023
-
[10]
S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,The Virasoro minimal string,SciPost Phys.16(2024) 057 [2309.10846]
Pith/arXiv arXiv 2024
-
[11]
P. Saad, S. H. Shenker and D. Stanford,JT gravity as a matrix integral,1903.11115
Pith/arXiv arXiv 1903
-
[12]
S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,Complex Liouville String,Phys. Rev. Lett.134(2025) 251602 [2409.17246]
Pith/arXiv arXiv 2025
-
[13]
S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,The complex Liouville string: The worldsheet,SciPost Phys.19(2025) 033 [2409.18759]
Pith/arXiv arXiv 2025
-
[14]
S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,The complex Liouville string: The matrix integral,SciPost Phys.18(2025) 154 [2410.07345]
Pith/arXiv arXiv 2025
-
[15]
S. Collier, L. Eberhardt, B. M¨ uhlmann and V. A. Rodriguez,The complex Liouville string: Worldsheet boundaries and non-perturbative effects,SciPost Phys.19(2025) 034 [2410.09179]
Pith/arXiv arXiv 2025
-
[16]
S. Collier, L. Eberhardt and B. M¨ uhlmann,The complex Liouville string: The gravitational path integral,SciPost Phys.19(2025) 115 [2501.10265]
arXiv 2025
-
[17]
S. Collier, L. Eberhardt and B. M¨ uhlmann,A microscopic realization of dS 3,SciPost Phys.18(2025) 131 [2501.01486]
Pith/arXiv arXiv 2025
-
[18]
S. Collier, L. Eberhardt and V. A. Rodriguez,c= 1strings as a matrix integral, 2604.06301
-
[19]
I. Runkel and G. M. T. Watts,A Nonrational CFT with c = 1 as a limit of minimal models,JHEP09(2001) 006 [hep-th/0107118]
Pith/arXiv arXiv 2001
-
[20]
Schomerus,Rolling tachyons from Liouville theory,JHEP11(2003) 043 [hep-th/0306026]
V. Schomerus,Rolling tachyons from Liouville theory,JHEP11(2003) 043 [hep-th/0306026]
Pith/arXiv arXiv 2003
-
[21]
McElgin,Notes on Liouville Theory at c<= 1,Phys
W. McElgin,Notes on Liouville Theory at c<= 1,Phys. Rev. D77(2008) 066009 [0706.0365]
Pith/arXiv arXiv 2008
- [22]
-
[23]
B. Eynard and N. Orantin,Invariants of algebraic curves and topological expansion, Commun. Num. Theor. Phys.1(2007) 347 [math-ph/0702045]
Pith/arXiv arXiv 2007
-
[24]
L. Chekhov, B. Eynard and N. Orantin,Free energy topological expansion for the 2-matrix model,JHEP12(2006) 053 [math-ph/0603003]
Pith/arXiv arXiv 2006
-
[25]
Artemev,x-y swap for a (2, 2p+1) minimal string,Phys
A. Artemev,x-y swap for a (2, 2p+1) minimal string,Phys. Rev. D112(2025) 046019 [2506.09222]
Pith/arXiv arXiv 2025
-
[26]
H. Dorn and H. J. Otto,Two and three point functions in Liouville theory,Nucl. Phys.B429(1994) 375 [hep-th/9403141]
Pith/arXiv arXiv 1994
-
[27]
A. B. Zamolodchikov and A. B. Zamolodchikov,Structure constants and conformal bootstrap in Liouville field theory,Nucl. Phys.B477(1996) 577 [hep-th/9506136]. – 43 –
Pith/arXiv arXiv 1996
-
[28]
Teschner,On the Liouville three point function,Phys
J. Teschner,On the Liouville three point function,Phys. Lett. B363(1995) 65 [hep-th/9507109]
Pith/arXiv arXiv 1995
-
[29]
Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, 2309.11540
L. Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, 2309.11540
-
[30]
S. Ribault and R. Santachiara,Liouville theory with a central charge less than one, JHEP08(2015) 109 [1503.02067]
Pith/arXiv arXiv 2015
-
[31]
V. A. Rodriguez, M. Usatyuk and Z.-Y. Wang,ADE Minimal Strings and Multi-Matrix Duals,2511.21851
-
[32]
D. Khromov and A. Litvinov,On correlation numbers V 0,4 and V 1,1 in Virasoro minimal string theory,JHEP04(2026) 126 [2509.25960]
arXiv 2026
-
[33]
B. Eynard,Invariants of spectral curves and intersection theory of moduli spaces of complex curves,Commun. Num. Theor. Phys.8(2014) 541 [1110.2949]
Pith/arXiv arXiv 2014
-
[34]
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]
Pith/arXiv arXiv 2014
-
[35]
B. Mazel, J. Sandor, C. Wang and X. Yin,Conformal Perturbation Theory and Tachyon-Dilaton Eschatology via String Fields,2403.14544
-
[36]
V. A. Rodriguez,A two-dimensional string cosmology,JHEP06(2023) 161 [2302.06625]
Pith/arXiv arXiv 2023
-
[37]
V. A. Rodriguez,The torus one-point diagram in two-dimensional string cosmology, JHEP07(2023) 050 [2304.13043]
Pith/arXiv arXiv 2023
-
[38]
M. R. Gaberdiel and P. Suchanek,Limits of Minimal Models and Continuous Orbifolds,JHEP03(2012) 104 [1112.1708]
Pith/arXiv arXiv 2012
-
[39]
Witten,On quantum gauge theories in two-dimensions,Commun
E. Witten,On quantum gauge theories in two-dimensions,Commun. Math. Phys. 141(1991) 153
1991
-
[40]
Witten,Two-dimensional gauge theories revisited,J
E. Witten,Two-dimensional gauge theories revisited,J. Geom. Phys.9(1992) 303 [hep-th/9204083]
Pith/arXiv arXiv 1992
-
[41]
M. Blau and G. Thompson,Lectures on 2-d gauge theories: Topological aspects and path integral techniques,hep-th/9310144
-
[42]
S. Cordes, G. W. Moore and S. Ramgoolam,Lectures on 2-d Yang-Mills theory, equivariant cohomology and topological field theories,Nucl. Phys. Proc. Suppl.41 (1995) 184 [hep-th/9411210]
Pith/arXiv arXiv 1995
-
[43]
Giribet,On AGT description of N=2 SCFT with N(f ) = 4,JHEP01(2010) 097 [0912.1930]
G. Giribet,On AGT description of N=2 SCFT with N(f ) = 4,JHEP01(2010) 097 [0912.1930]
Pith/arXiv arXiv 2010
-
[44]
L. F. Alday, D. Gaiotto and Y. Tachikawa,Liouville Correlation Functions from Four-dimensional Gauge Theories,Lett. Math. Phys.91(2010) 167 [0906.3219]
Pith/arXiv arXiv 2010
-
[45]
Gaiotto,N=2 dualities,JHEP08(2012) 034 [0904.2715]
D. Gaiotto,N=2 dualities,JHEP08(2012) 034 [0904.2715]. – 44 –
Pith/arXiv arXiv 2012
- [46]
-
[47]
Ribault,Conformal field theory on the plane,1406.4290
S. Ribault,Conformal field theory on the plane,1406.4290
-
[48]
J. Roussillon and I. Tsiares,On the Virasoro Crossing Kernels at Rational Central Charge,SciPost Phys.20(2026) 167 [2512.03172]
Pith/arXiv arXiv 2026
-
[49]
Ribault,Exactly solvable conformal field theories,2411.17262
S. Ribault,Exactly solvable conformal field theories,2411.17262
-
[50]
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. – 45 –
2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.