REVIEW 4 major objections 4 minor 38 references
Non-perturbative effects in JT gravity from KdV equations
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A one-parameter transseries solution of the KdV equation reproduces the leading nonperturbative corrections of JT gravity and predicts new two-instanton terms.
desk verdict A credible, honest transseries construction for KdV/JT: the leading one-instanton match with [22] is strong, but the new two-instanton predictions depend on a conjectural choice of zero-modes rather than on the KdV equation alone. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is a semiclassical transseries ansatz applied to the KdV equation, in the variables $y=u_0$, $t=1-I_1$, and the rescaled couplings $I_k$; these variables convert the derivatives $\partial_0$ and $\partial_1$ into combinations of $\partial_y$ and $\partial_t$. The instanton action is the critical value of the effective potential $V_{\rm eff}(\xi)$, and the one-instanton prefactor is governed by the linear operator $D=\partial_t+z_*^2\partial_0$, whose zero-modes $C_h(y+z_*^2/2)$ are not fixed by the equation. Higher multi-instanton sectors $\ell\ge2$ are then determined algebraically from Eq. (4.42) once $A$ and the one-instanton data are known. In the JT specialisation the couplings $I_k$ become Bessel-function expressions, $z_*=\pi/\sqrt2$ at $y=0$, $t=1$, and $A=-\pi/\sqrt2$, so the leading exponential is $\exp(-\pi/(\sqrt2\,\lambda))$.
What would settle it
Compute the two-instanton free-energy coefficient $F_2^{(2)}$ in Eq. (5.46) by an independent nonperturbative topological-recursion calculation; if it differs, the multi-instanton sector of the KdV transseries is not the matrix-model instanton sector. A cheaper check is to extend the perturbative genus expansion beyond $g=48$ and test whether the fitted $C_1$ and the choice $C_h=0$ still reproduce the one-instanton asymptotics.
Extended reading notes
Core claim
The central claim is that the KdV equation for the specific heat $u=\partial_0^2 F$ is not only a device for generating the perturbative genus expansion; it also admits a one-parameter transseries $u=\sum_{\ell=0}^{\infty}\sigma^{\ell}u^{(\ell)}$, with $u^{(\ell)}\sim\lambda^{\ell\beta}e^{\ell A/\lambda}\phi^{(\ell)}$. The instanton action is $A=V_{\rm eff}(\xi_*)$, the critical value of $V_{\rm eff}(\xi)=-2tz^3/3+2\sum_{k\ge2}I_k z^{2k+1}/(2k+1)!!$ at the stationary point fixed by $t=\sum_{k\ge2}I_k z_*^{2k-2}/(2k-1)!!$, where $z=\sqrt{2(\xi-y)}$ and $I_k$ are the rescaled couplings. A recursive algorithm then determines all higher coefficients $\phi_h^{(\ell)}$; in the JT specialisation $t_k=\gamma_k$, $y=0$, $t=1$, the leading one-instanton correction to the $n$-boundary Weil-Petersson volume generating function agrees with the independent topological-recursion result of [22], and the two-instanton free-energy coefficients in Eq. (5.46) are new predictions. The paper also identifies the diagonal kernel of the associated linear-system wave function with the wave function of the JT quantum curve.
Load-bearing premise
The KdV equation leaves arbitrary integration constants in the one-instanton sector; the authors fit the first one to a large-genus asymptotics read from 48 terms and set the rest to zero by observation, so the uniqueness of the transseries is assumed rather than proven.
Editorial extensions
If this is right
- If the central claim is correct, the leading nonperturbative corrections to JT Weil-Petersson volumes—for any number of boundaries and arbitrary boundary lengths—can be obtained from the KdV transseries alone, matching the random-matrix/spectral-curve route.
- The two-instanton coefficients in Eq. (5.46) become testable predictions for any independent derivation of JT nonperturbative effects.
- Because the algorithm works for general couplings, every model in the KdV-hierarchy class of two-dimensional topological gravity inherits a systematic nonperturbative expansion, not just JT.
- Identifying the diagonal kernel of the linear-system wave function with the topological-recursion wave function gives a semiclassical route to the JT quantum curve, so the wave function can be built order by order without a separate matrix-model solution.
Reading between the lines
- Beyond the paper: applying the same transseries at the couplings of the $(2,p)$ minimal strings would produce explicit instanton actions and coefficients that could be compared with the known ZZ-brane/instanton dictionaries for those models.
- Beyond the paper: the observed vanishing of the higher zero-mode constants hints that the full KdV hierarchy, rather than the single $k=1$ equation, may force these constants; if so, the transseries would be unique without external resurgent input.
- Beyond the paper: because the KdV equation is integrable, the one-parameter transseries may resum into a tau-function depending on a nonperturbative parameter, packaging all instanton sectors into one object.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies non-perturbative corrections in JT gravity by constructing transseries solutions of the KdV equation that follows from the Witten-Kontsevich theorem. The authors first derive, for general 2d topological gravity, a one-parameter transseries ansatz for the specific heat, obtaining the instanton action as the critical value of an effective potential V_eff and giving a recursive algorithm for the one-instanton and multi-instanton sectors. They then specialize to JT couplings t_k=γ_k and compare the leading one-instanton corrections to the independent topological-recursion results of Ref. [22], finding agreement in the instanton action, the leading coefficient, and several subleading orders. They also connect the Baker-Akhiezer function and Christoffel-Darboux kernel to the wave function of the topological recursion, and advertise new two-instanton predictions.
Significance. If the main claims hold, the paper provides a KdV-hierarchy derivation of non-perturbative JT corrections that is independent of the matrix-model/topological-recursion route, together with a systematic algorithm that can be pushed to high orders. The explicit recursive formulas, the machine-checked computations to h=16, and the high-order agreement with Ref. [22] are genuine strengths, and the existence of the one-parameter transseries is made credible by the detailed construction. However, the advertised new predictions in the two-instanton sector are conditional on integration constants that the KdV equation itself does not fix, a point that the authors themselves concede in Sec. 7. The paper is therefore valuable but needs to clearly separate derived statements from conjectural choices before the stronger claims can be accepted.
major comments (4)
- [§4.2, Eq. (4.28) and algorithm (i)–(vi)] The one-instanton solution A_1 is determined only up to a zero-mode C_1(y+z_*^2/2) of D=∂_t+z_*^2∂_0, and the recursive step (vi) leaves a zero-mode C_h(y+z_*^2/2) at every order. The paper sets C_h=0 for h≥2 'by observation,' but this is not a consequence of the KdV equation. Since every higher-instanton sector is built recursively from A_h and ϕ^(1), these undetermined zero-modes propagate into all subleading and multi-instanton predictions. The authors should either prove that the KdV equation plus the string equation or the integral representation (4.17) fixes these modes, or explicitly state that the algorithm determines the transseries only up to this family of free functions.
- [§5.1, Eqs. (5.5), (5.17)] The integration constant C_1 is fixed by matching the large-genus asymptotic template (5.5), which is itself inferred from the perturbative series computed to g=48. This is a resurgent bootstrap using the same perturbative input rather than an independent determination from the KdV equation. The resulting agreement for the leading one-instanton sector is impressive, but it should be described as a consistency check of the transseries ansatz against known data, not as a derivation of the Stokes data from the KdV equation alone. The paper's Sec. 7 concession that Stokes data are not determined should be reflected in the presentation of the leading-order comparison.
- [§5.3, Eq. (5.46)] The claimed new two-instanton predictions F_1^(2), F_2^(2), F_3^(2) depend on the one-instanton data A_h and on the multi-instanton recursion (4.42). In particular, a non-zero C_2 would generically change A_2 and hence ϕ^(2)_1, altering F_1^(2) in (5.46). Because C_2 and higher C_h are set to zero by observation rather than derived, Eq. (5.46) is not a prediction of the KdV equation alone; it is a prediction of the KdV equation together with a conjectural choice of integration constants. The paper should present these coefficients as conditional, or supply independent evidence that the C_h=0 choice is forced.
- [§4.1, Eqs. (4.7)–(4.11)] The instanton action is obtained by a 'very heuristic' critical-point construction: the Hamilton-Jacobi equation (4.7) is solved by declaring A to be the critical value of V_eff(ξ_*), and the saddle-point reduction of the integral representation (4.17) is only sketched. Since all later sectors use this A, the derivation should be made more explicit: either show directly that A=V_eff(ξ_*) satisfies (4.7) with the boundary conditions implied by the transseries ansatz, or state the conditions under which the critical-point solution is the relevant one. The numerical agreement in Sec. 5.1 is supportive but does not by itself establish uniqueness of the solution to (4.7).
minor comments (4)
- [§5.3, after Eq. (5.43)] There is a typo: 'coprrection' should be 'correction'.
- [§5.2, after Eq. (5.28)] The claim that the result for V_n^(1), derived for n≥2, 'is also valid for n=0,1' is stated without proof. Either justify the analytic continuation in k or label it as a conjecture that is supported by agreement with Ref. [22].
- [Appendix B, Eq. (B.4)] The closed form for the sequence a_ℓ is presented as a conjecture verified in Mathematica. Because it feeds the leading terms of the ℓ-instanton sectors, the main text should state clearly that this part of the multi-instanton construction relies on a conjectural formula.
- [References] Reference [9] is listed as 'unpublished' with no arXiv number or further identification; if the intended result is not available, the text should either cite a publicly available source or remove the reference.
Circularity Check
The transseries construction is genuine, but the one-instanton normalization is fitted from large-genus data and the higher zero-modes are set by observation, making the two-instanton predictions conditional rather than derived from the KdV equation alone.
-
fitted input called prediction
[Section 4.2, Eq. (4.28); Section 5.1, Eqs. (5.5), (5.8), (5.17), (5.18)]
"The function C1(y + z_*^2/2) is a zero-mode of D, which cannot be fixed from the differential equation. We need additional information. In the next section, we will fix it from the large order behavior in the JT gravity case. ... Comparing this result with (5.8), we obtain C1 = −1/2 log π."
Equation (4.28) leaves A1 undetermined up to the zero-mode C1(y + z_*^2/2), and e^{A1} sets the overall normalization of the one-instanton sector and of every higher ℓ-instanton sector built from it. Section 5.1 fixes C1 by matching the large-genus asymptotic template (5.5), which is itself inferred from the perturbative KdV series computed to g=48. Thus the normalization entering (5.20), (5.28), and all multi-instanton sectors is calibrated to large-genus data of the same perturbative system rather than derived from the KdV equation alone. The t-dependent shape and subleading coefficients remain genuine predictions, so the circularity is partial.
-
fitted input called prediction
[Section 4.2, algorithm step (vi); Section 5.3, Eq. (5.46)]
"Note that each Ah has a zero-mode Ch(y + z_*^2/2). We observe that when Ch = 0 for h ≥ 2 gives the correct answer. ... It would be very interesting to compare these predictions with other independent calculations."
The recursive algorithm determines Ah only modulo an undetermined zero-mode Ch(y + z_*^2/2) at every order. The paper sets Ch = 0 for h ≥ 2 by observation rather than by any equation, meaning the choice is calibrated to what is already believed to be the correct answer. The two-instanton coefficients F_h^(2) in (5.46) are built from ϕ^(2), which depends on A1 and A2; a nonzero C2 would generally change them. Therefore (5.46) is not a prediction of the KdV equation alone, but of the KdV equation plus an observed choice of integration constants, as Section 7 concedes when it states that the Stokes data are not determined.
full rationale
The central construction is not circular: the KdV equation and the Witten-Kontsevich theorem are genuine inputs, the one-parameter transseries ansatz is a real solution-generating procedure, and the instanton action A = Veff(ξ*) is verified against the Hamilton-Jacobi-type equation (4.7). The leading action A(0,1) = −π/√2 and the one-instanton coefficients up to h = 6 agree with the independent topological-recursion results of Ref. [22], which is external evidence rather than a self-citation chain. The circularity is confined to the undetermined integration constants: C1 is fixed by matching large-genus asymptotics of the same perturbative series, and Ch ≥ 2 are set to zero by observation. These choices propagate into the advertised two-instanton predictions, making those numbers conditional on fitted/observed data. Section 7 explicitly acknowledges that the KdV equation itself does not determine the Stokes data, so the paper is honest about the limitation. This is underdetermination plus fitted input, not equivalence by definition; hence a moderate score of 4 rather than 6 or higher.
Assumptions & free parameters
free parameters (4)
- σ (transseries parameter) =
free (unfitted)
- β (characteristic exponent) =
1/2
- C_1 (zero mode in A_1) =
-1/2 log π
- C_h for h≥2 =
0
assumptions (7)
- standard math Witten-Kontsevich theorem: e^F is a tau function of the KdV hierarchy, so the specific heat u satisfies the KdV equation (3.6).
- standard math Itzykson-Zuber ansatz and variable change y=u_0, t=1-I_1, with ∂_0 = t^{-1}(∂_y - I_2 ∂_t).
- ad hoc to paper The one-parameter transseries ansatz (4.1)-(4.5) is sufficient for the nonperturbative sectors considered.
- ad hoc to paper The instanton action is the critical value of the effective potential V_eff(ξ*) defined by (4.8)-(4.11), solving the Hamilton-Jacobi equation (4.7).
- ad hoc to paper The perturbative series u_g has the resurgent large-genus asymptotics (5.5), inferred from Ref. [22].
- ad hoc to paper The perturbative relations V_n=(λ∂_0)^n F extend to the full transseries, Eqs. (5.23)-(5.24).
- ad hoc to paper Higher zero-modes vanish: C_h=0 for h≥2.
Cite this review
Pith. "Pith review of Non-perturbative effects in JT gravity from KdV equations." pith.science (2026). https://pith.science/paper/W5F6MXOY
@misc{pith2026250516433,
author = {Pith},
title = {Pith review of: Non-perturbative effects in JT gravity from KdV equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/W5F6MXOY}},
note = {Machine review of arXiv:2505.16433}
}
read the original abstract
It is well-known that the partition function of the Jackiw-Teitelboim (JT) gravity is obtained by an integral transformation of volumes of moduli spaces for Riemann surfaces, also known as the Weil-Petersson volumes. This fact enables us to compute the perturbative genus expansion of the partition function by solving a KdV-type non-linear partial differential equation. In this work, we find that this KdV equation also admits transseries solutions. We give a systematic algorithm to explicitly construct a one-parameter transseries solution to the KdV equation. Our approach is based on general two-dimensional topological gravity, and the results for the JT gravity are easily obtained as a special case. The results in the leading non-perturbative sector perfectly agree with another independent calculation from topological recursions in random matrices.
Reference graph
Works this paper leans on
-
[22]
Resurgent Asymptotics of Jackiw-Teitelboim Gravity and the Nonperturbative Topological Recursion,
B. Eynard, E. Garcia-Failde, P. Gregori, D. Lewanski, and R. Schiappa, “Resurgent Asymptotics of Jackiw-Teitelboim Gravity and the Nonperturbative Topological Recursion,” Annales Henri Poincare25no. 9, (2024) 4121–4193,arXiv:2305.16940 [hep-th]
arXiv 2024
-
[1]
R. Jackiw, “Lower Dimensional Gravity,” Nucl. Phys.B252(1985) 343–356
work page 1985
-
[2]
Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,
C. Teitelboim, “Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,” Phys. Lett.126B(1983) 41–45
1983
-
[3]
Replica wormholes and the black hole interior,
G. Penington, S. H. Shenker, D. Stanford, and Z. Yang, “Replica wormholes and the black hole interior,” JHEP03(2022) 205,arXiv:1911.11977 [hep-th]
arXiv 2022
-
[4]
Replica Wormholes and the Entropy of Hawking Radiation,
A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, and A. Tajdini, “Replica Wormholes and the Entropy of Hawking Radiation,” JHEP05(2020) 013, arXiv:1911.12333 [hep-th]
arXiv 2020
-
[5]
JT gravity as a matrix integral,
P. Saad, S. H. Shenker, and D. Stanford, “JT gravity as a matrix integral,” arXiv:1903.11115 [hep-th]
arXiv 1903
-
[6]
Nonperturbative Two-Dimensional Quantum Gravity,
D. J. Gross and A. A. Migdal, “Nonperturbative Two-Dimensional Quantum Gravity,” Phys. Rev. Lett.64(1990) 127
work page 1990
-
[7]
Strings in Less Than One-Dimension,
M. R. Douglas and S. H. Shenker, “Strings in Less Than One-Dimension,” Nucl. Phys. B 335(1990) 635
work page 1990
Show all 38 references
-
[8]
Exactly Solvable Field Theories of Closed Strings,
E. Brezin and V. Kazakov, “Exactly Solvable Field Theories of Closed Strings,” Phys. Lett. B236(1990) 144–150
1990
-
[9]
unpublished,
N. Seiberg and D. Stanford, “unpublished,”
-
[10]
Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces,
M. Mirzakhani, “Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces,” Invent. Math.167no. 1, (2006) 179–222
2006
-
[11]
Weil-Petersson volume of moduli spaces, Mirzakhani’s recursion and matrix models,
B. Eynard and N. Orantin, “Weil-Petersson volume of moduli spaces, Mirzakhani’s recursion and matrix models,”arXiv:0705.3600 [math-ph]
-
[12]
On the large genus asymptotics of Weil-Petersson volumes,
P. Zograf, “On the large genus asymptotics of Weil-Petersson volumes,”arXiv:0812.0544 [math.AG]
-
[13]
Phases of the large N matrix model and nonperturbative effects in 2-d gravity,
F. David, “Phases of the large N matrix model and nonperturbative effects in 2-d gravity,” Nucl. Phys. B348(1991) 507–524
1991
-
[14]
Nonperturbative effects in matrix models and vacua of two-dimensional gravity,
F. David, “Nonperturbative effects in matrix models and vacua of two-dimensional gravity,” Phys. Lett. B302(1993) 403–410,arXiv:hep-th/9212106
1993 arXiv
-
[15]
Liouville field theory on a pseudosphere,
A. B. Zamolodchikov and A. B. Zamolodchikov, “Liouville field theory on a pseudosphere,” arXiv:hep-th/0101152
-
[16]
Loops versus matrices: The Nonperturbative aspects of noncritical string,
M. Hanada, M. Hayakawa, N. Ishibashi, H. Kawai, T. Kuroki, Y. Matsuo, and T. Tada, “Loops versus matrices: The Nonperturbative aspects of noncritical string,” Prog. Theor. Phys.112(2004) 131–181,arXiv:hep-th/0405076
2004 arXiv
-
[17]
Annulus amplitudes and ZZ branes in minimal string theory,
D. Kutasov, K. Okuyama, J.-w. Park, N. Seiberg, and D. Shih, “Annulus amplitudes and ZZ branes in minimal string theory,” JHEP08(2004) 026,arXiv:hep-th/0406030
2004 arXiv
-
[18]
Nonperturbative Effects and the Large-Order Behavior of Matrix Models and Topological Strings,
M. Marino, R. Schiappa, and M. Weiss, “Nonperturbative Effects and the Large-Order Behavior of Matrix Models and Topological Strings,” Commun. Num. Theor. Phys.2(2008) 349–419,arXiv:0711.1954 [hep-th]
2008 arXiv
-
[19]
Nonperturbative effects and nonperturbative definitions in matrix models and topological strings,
M. Marino, “Nonperturbative effects and nonperturbative definitions in matrix models and topological strings,” JHEP12(2008) 114,arXiv:0805.3033 [hep-th]. – 31 –
2008 arXiv
-
[20]
Multi-Instantons and Multi-Cuts,
M. Marino, R. Schiappa, and M. Weiss, “Multi-Instantons and Multi-Cuts,” J. Math. Phys. 50(2009) 052301,arXiv:0809.2619 [hep-th]
2009 arXiv
-
[21]
From minimal strings towards Jackiw-Teitelboim gravity: on their resurgence, resonance, and black holes,
P. Gregori and R. Schiappa, “From minimal strings towards Jackiw-Teitelboim gravity: on their resurgence, resonance, and black holes,” Class. Quant. Grav.41no. 11, (2024) 115001, arXiv:2108.11409 [hep-th]
2024 arXiv
-
[23]
Two-dimensional gravity and intersection theory on moduli space,
E. Witten, “Two-dimensional gravity and intersection theory on moduli space,” Surveys Diff. Geom.1(1991) 243–310
1991
-
[24]
Intersection theory on the moduli space of curves and the matrix Airy function,
M. Kontsevich, “Intersection theory on the moduli space of curves and the matrix Airy function,” Commun. Math. Phys.147(1992) 1–23
1992
-
[25]
Mirzakhani’s recursion relations, Virasoro constraints and the KdV hierarchy,
M. Mulase and B. Safnuk, “Mirzakhani’s recursion relations, Virasoro constraints and the KdV hierarchy,”arXiv:math/0601194
-
[26]
Developments in Topological Gravity,
R. Dijkgraaf and E. Witten, “Developments in Topological Gravity,” Int. J. Mod. Phys. A 33no. 30, (2018) 1830029,arXiv:1804.03275 [hep-th]
2018 arXiv
-
[27]
JT gravity, KdV equations and macroscopic loop operators,
K. Okuyama and K. Sakai, “JT gravity, KdV equations and macroscopic loop operators,” JHEP01(2020) 156,arXiv:1911.01659 [hep-th]
2020 arXiv
-
[28]
Weil-Petersson volumes and intersection theory on the moduli space of curves,
M. Mirzakhani, “Weil-Petersson volumes and intersection theory on the moduli space of curves,” J. Am. Math. Soc.20no. 01, (2007) 1–24
2007
-
[29]
From loops to states in 2-D quantum gravity,
G. W. Moore, N. Seiberg, and M. Staudacher, “From loops to states in 2-D quantum gravity,” Nucl. Phys. B362(1991) 665–709
1991
-
[30]
Multi-boundary correlators in JT gravity,
K. Okuyama and K. Sakai, “Multi-boundary correlators in JT gravity,” JHEP08(2020) 126,arXiv:2004.07555 [hep-th]
2020 arXiv
-
[31]
FZZT branes in JT gravity and topological gravity,
K. Okuyama and K. Sakai, “FZZT branes in JT gravity and topological gravity,” JHEP09 (2021) 191,arXiv:2108.03876 [hep-th]
2021 arXiv
-
[32]
Combinatorics of the modular group. 2. The Kontsevich integrals,
C. Itzykson and J. B. Zuber, “Combinatorics of the modular group. 2. The Kontsevich integrals,” Int. J. Mod. Phys. A7(1992) 5661–5705,arXiv:hep-th/9201001
1992 arXiv
-
[33]
On the genus expansion in the topological string theory,
T. Eguchi, Y. Yamada, and S.-K. Yang, “On the genus expansion in the topological string theory,” Rev. Math. Phys.7(1995) 279–310,arXiv:hep-th/9405106
1995 arXiv
-
[34]
On Itzykson-Zuber Ansatz,
Q. Zhang and J. Zhou, “On Itzykson-Zuber Ansatz,” JHEP09(2019) 075, arXiv:1904.09071 [math-ph]
2019 arXiv
-
[35]
Genus expansion of open free energy in 2d topological gravity,
K. Okuyama and K. Sakai, “Genus expansion of open free energy in 2d topological gravity,” JHEP03(2021) 217,arXiv:2009.12731 [hep-th]
2021 arXiv
-
[36]
Nonperturbative Jackiw-Teitelboim gravity,
C. V. Johnson, “Nonperturbative Jackiw-Teitelboim gravity,” Phys. Rev. D101no. 10, (2020) 106023,arXiv:1912.03637 [hep-th]
2020 arXiv
-
[37]
New Instantons for Matrix Models,
M. Marino, R. Schiappa, and M. Schwick, “New Instantons for Matrix Models,” arXiv:2210.13479 [hep-th]
-
[38]
All the D-Branes of Resurgence,
R. Schiappa, M. Schwick, and N. Tamarin, “All the D-Branes of Resurgence,” arXiv:2301.05214 [hep-th]. – 32 –
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.