{"id":"4b65009c-fd39-48b5-a651-0cd7fdf8523e","arxiv_id":"2507.18715","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Weil-Petersson volumes for N=2 and N=4 JT supergravity are computed efficiently from the string equation and Gel'fand-Dikii equation, confirming and extending Turiaci-Witten results.","lead":"This paper computes new mathematical numbers, called Weil-Petersson volumes, for supersymmetric versions of Jackiw-Teitelboim gravity using ordinary differential equations. The method is much faster than older recursive calculations and gives the first such volumes for N=4 supergravity.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved total-derivative property is the key load-bearing assumption; it is checked at g=1-3, but the paper relies on it to define the new N=4 volumes, with no independent check.","rationale":"The reader identified the same structural assumption I consider most load-bearing: bR_g is asserted to be a total x-derivative at every genus, and the paper explicitly lacks a complete proof. This matters most for the N=4 results, which are new predictions with no independent definition or check. However, the explicit genus 1-3 results rest on bQ_g constructed by hand, and the N=2 cases are independently confirmed by the Turiaci-Witten recursion, so I do not see a reason to move the verdict away from CONDITIONAL. I additionally note that the N=4 normalization is selected to force the bosonic-volume-at-highest-order behavior, which slightly weakens the novelty of that particular observation. I also noticed a sign inconsistency in the printed recursion (3.5): the delta-g,1 term has the opposite sign from what is needed to reproduce eq. (3.6) and the Gel'fand-Dikii expansion (1.16). Since eq. (3.6) and the bQ results are internally consistent, this appears to be a typographical error rather than a load-bearing flaw, but it should be corrected in a revision. Overall, the central quantitative claims for N=2 at genus 2 and 3 are well supported, and the N=4 predictions are clearly labeled as new predictions; the conditional verdict remains appropriate.","tokens_in":46321,"tokens_out":40322,"duration_ms":366737,"concrete_test":"Compute the N=2 volume V_{4,1}(b) using the ODE recursion of §3 and Appendix C, and compare it with the value obtained from the Turiaci-Witten recursion (5.21) at genus 4. A mismatch would show that the total-derivative property fails beyond g=3 and would undercut the methodological basis for the N=4 predictions; agreement would materially raise confidence, though it would still not prove the property for all genera.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The ODE method defines V_{g,1} through eqs. (4.1)-(4.2) only after writing the genus-g resolvent as bR_g(x,E)=d/dx bQ_g(x,E). The paper verifies this by explicit construction for g=1,2,3 (eqs. (3.14)-(3.18)) and admits in §1.3 that no closed-form proof for all g is known. The supporting reasoning, that polynomiality of Weil-Petersson volumes makes the total-derivative property inevitable, is circular in exactly the new cases: the N=4 'volumes' are defined by this procedure, so their polynomiality is not an independent fact that can justify the procedure. For the stated genus 1-3 results this gap is not fatal: the N=2 volumes are reproduced by the independent Turiaci-Witten recursion in §5.2, and the N=4 computations use the same explicitly constructed bQ_1,bQ_2,bQ_3. The real soft spot is the claim that the method has correctly defined these new classes of object beyond the verified orders. I also note that for N=4 the normalization K_{g,1}=4^{1-2g} in eq. (4.2) is chosen precisely so that the bosonic JT volume appears at highest order in J (text after eq. (5.13)); that feature is therefore partly by construction, not an independent prediction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops and applies the \"ODE method\" of ref. [1] to compute one-boundary Weil-Petersson volumes for extended JT supergravity. The method uses the string equation to determine the perturbative solution u(x) and the Gel'fand-Dikii equation for the diagonal resolvent bR(x,E). The central technical step is the assertion, verified by explicit construction for g=1,2,3, that bR_g(x,E) is a total x-derivative when u(x) solves the string equation. With this input, the authors define V_{g,1}(b) from the boundary term at x=mu via Eqs. (4.1)-(4.2). They compute N=2 volumes through genus 3, reproduce V_{1,1} of Turiaci-Witten, and confirm their genus-2 and genus-3 results by an independent evaluation of the Turiaci-Witten recursion in Section 5.2. They then present new predictions for small and large N=4 JT supergravity, including explicit V_{g,1} for g=1,2,3 and a rescaling relation for large N=4. Appendices provide recursion relations for the Gel'fand-Dikii polynomials and a Mathematica implementation.","tokens_in":46644,"tokens_out":6822,"duration_ms":70700,"significance":"If the unproved total-derivative property holds to all orders, the paper provides an efficient and apparently universal ODE-based route to one-boundary Weil-Petersson volumes. The N=2 cross-checks against the independent Turiaci-Witten recursion are a genuine strength: the recursive derivations in Sections 2 and 3 are explicit, the construction of bQ_g in Appendix C is algorithmic, and the genus-2 and genus-3 agreement in Section 5.2 is quantitative. The paper also ships a reproducible Mathematica implementation in Appendix A for Gel'fand-Dikii polynomials. The main significance is therefore a confirmation and extension of known N=2 results plus a set of new N=4 predictions. The significance is tempered by two facts: the general total-derivative property is not proved, and the normalization used for N=4 is chosen so that the bosonic JT volume appears at the highest order in J, so that particular feature is partly conventional rather than an independent prediction.","major_comments":[{"comment":"The central structural assumption is that bR_g(x,E)=d_x bQ_g(x,E) for every genus when u(x) solves the string equation. The paper verifies this only for g=1,2,3 by explicit construction and admits in Section 1.3 that no closed-form proof is known. This property is load-bearing because the volume definition in Eqs. (4.1)-(4.2) evaluates only the boundary term at x=mu; without it, the integral over x would depend on the full profile of u_0 and would not be guaranteed to produce the polynomial Weil-Petersson volumes. The supporting argument that polynomiality 'must' force the total-derivative form cannot serve as independent support in the new N=4 cases, where polynomiality is not independently known. The explicit g=1-3 results, including the N=2 check against Turiaci-Witten, are protected by the explicit bQ_g constructed in Eqs. (3.14)-(3.18), so this gap does not invalidate those numbers; however, the statement in Section 7 that the method has 'correctly defined these whole new classes' of volumes goes beyond what is proved. Please either supply a proof of the total-derivative property or clearly present the general property and the N=4 predictions as conditional on a conjecture.","section":"Section 3, Eq. (3.9); Section 1.3"},{"comment":"The normalization K_{g,1}=4^{1-2g} for N=4 is chosen, as the text states, precisely so that the bosonic JT volume appears at the highest order in J. Consequently the observation that the bosonic JT volume is a subsector of the N=4 volumes is, at least in part, a consequence of this normalization convention rather than an independent prediction. This does not affect the numerical content of the volumes, but the paper should distinguish this convention-dependent feature from genuinely derived results, especially in the summary of 'novel properties' in Section 7.","section":"Section 5.1, after Eq. (5.13); Eq. (4.2)"},{"comment":"The relation V^{N=4,pm}_{g,1}(b)=V^{N=2}_{g,1}(b)/(4pi^2 omega_alpha)^{2g-1}|_{E0->E0-E_pm} is quoted as exact, but the footnote to this equation states that the denominator X of bQ_g is replaced by X_pm=u0-E_pm-E and that the uniformizing variable must be redefined as E0-E_pm-E=z^2. Since the volume is obtained by an inverse Laplace transform in z, the relation (6.21) requires an explicit demonstration that the substitution E0->E0-E_pm commutes with the Laplace-transform step and with the normalization. Please provide that derivation or state the precise conditions under which (6.21) holds.","section":"Section 6.2, Eq. (6.21)"}],"minor_comments":[{"comment":"The phrase 'Meanwhile in N = JT supergravity' is missing the subscript 1; it should read 'N=1 JT supergravity'.","section":"Section 1.2"},{"comment":"The word 'Anzatz' should be 'ansatz'.","section":"Section 3 and Appendix C"},{"comment":"The word 'perturabtively' is a typo for 'perturbatively'.","section":"Section 3"},{"comment":"The caption appears as 'T able 1' in the text; this formatting should be corrected.","section":"Table 1"},{"comment":"The word 'tesslation' should be 'tessellation'.","section":"Section 1.1"},{"comment":"In the sentence about n-point energy (or loop) correlators, 'correlates' should be 'correlators'.","section":"Section 7"}],"recommendation":"major_revision","confidential_remarks":"The N=2 results are solid and independently confirmed by the Turiaci-Witten recursion, and the authors are transparent about the unproved total-derivative property. The main issue is that Section 7 overclaims the status of the method and the N=4 volumes given that the general property remains a conjecture. I would ask the editor to require either a proof or a clearly conditional framing of the general claims; the concrete genus-1-3 computations can stand."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Main thing to know: this is a competent, efficient extension of Johnson's ODE method for Weil-Petersson volumes, and the results you'd worry about most—the new N=2 genus-2 and genus-3 one-boundary volumes—pass an exact cross-check against the independent Turiaci-Witten topological recursion. The N=4 volumes are new predictions, not verified elsewhere; treat them accordingly.\n\nWhat's genuinely new: the recursion relations for bR_g and bQ_g (Sections 2-3, Appendices B-C), the explicit bQ_1, bQ_2, bQ_3 construction, the N=2 genus-2/3 volumes plus intermediate multi-boundary volumes (V_{1,2}, V_{1,3}, V_{2,2}), and the small and large N=4 volumes. Appendix A on Gel'fand-Dikii polynomial structure is a useful standalone technical contribution and actually ships the Mathematica algorithm. The paper is clearly written and honest about its gaps; it flags the total-derivative issue in §1.3 without burying it.\n\nThe soft spots, in proportion. The load-bearing assumption is that bR_g = d_x bQ_g at every genus when u solves the string equation: verified at g=1,2,3, unproven beyond. For the stated results this is less damaging than it looks. The N=2 outputs are confirmed by the independent recursion at g=2 and g=3; the N=4 results at g≤3 use only the explicitly constructed bQ's; and the large-N=4 volumes are exact rescalings of the verified N=2 ones (eq. 6.21), so the 'no independent check' caveat really targets small N=4. The stress-test's circularity point is fair at the conceptual level: the polynomiality argument from §1.2 is not a proof, and for N=4 there is no external definition of these volumes, so calling the method's output 'the' volumes is a claim about a class of objects the paper itself is defining. That is the right thing for a referee to push on, and it is a reason to be cautious, not dismissive.\n\nMinor point, also fair: the bosonic-JT-subsector property at highest order in E_0 or J is partly by construction. The normalization K_{g,1}=4^{1-2g} is chosen after (5.13) precisely so the top-order term equals the bosonic volume; the underlying structural fact—the a_p^{(p)} coefficients obey the universal recursion (5.11)—is genuine, the exact equality is convention. The closing remarks slightly oversell this.\n\nCitation pattern is fine; the method and string equations come from the authors' own earlier work, and the key new results are checked against Turiaci-Witten, properly credited.\n\nBottom line: for anyone working on JT gravity or matrix models of 2D gravity, this is a useful paper with real content. The N=2 results look solid; the N=4 predictions are provisional. Send it to a serious referee; ask them to check the recursion algebra and the Appendix E integrals, and ask the authors to sharpen the status of the total-derivative property. I'd cite it for the N=2 volumes and the recursion relations, not yet for the N=4 numbers as established facts.","headline":"Solid ODE-method extension: the new N=2 genus-2/3 volumes pass an exact independent cross-check, the N=4 results are new and provisional, and the real caveats are the unproved total-derivative property and a normalization choice that builds in the bosonic subsector.","tokens_in":47196,"tokens_out":7088,"would_cite":true,"duration_ms":65547,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper shows that one-boundary Weil-Petersson volumes for N=2 and N=4 JT supergravity are produced by two ordinary differential equations, confirming known results and adding genus-2 and genus-3 examples.","keywords":["Weil-Petersson volumes","JT supergravity","string equation","diagonal resolvent","random matrix models","extended supersymmetry","topological recursion","moduli space of hyperbolic surfaces"],"falsifier":"Run the paper's recursion at genus 4 and check whether $\\widehat{R}_4$ can be written as $d\\widehat{Q}_4/dx$ by the Appendix C procedure; if no such $\\widehat{Q}_4$ exists, the definition of $V_{4,1}(b)$ collapses. A direct numerical cross-check would compare the resulting $V_{4,1}(b)$ with the value obtained from the $N=2$ topological recursion for the same model.","tokens_in":46117,"feed_emoji":"📐","tokens_out":11194,"duration_ms":103878,"temperature":0.7,"pith_summary":"Two ordinary differential equations—the string equation that defines the double-scaled random matrix model and the equation satisfied by the diagonal resolvent of the auxiliary Hamiltonian—together generate the one-boundary Weil-Petersson volumes $V_{g,1}(b)$. This paper applies that ODE recipe to JT supergravity with extended supersymmetry. For $N=2$ it reproduces the known genus-1 volume and produces new genus-2 and genus-3 expressions, checked against the topological recursion derived from loop equations. For small and large $N=4$ it gives the first such volumes. In every extended case the bosonic JT volume appears as the highest-order term in the threshold energy $E_0$ (or in $J$ for $N=4$), with the lower orders carrying the supersymmetric corrections.","feed_headline":"Two ODEs produce new N=2 and N=4 JT supergravity volumes","feed_subtitle":"The method checks known results and adds genus-2 and genus-3 terms, with bosonic JT at top order.","key_machinery":"The load-bearing objects are two equations: the string equation $uR^2-\\frac{\\hbar^2}{2}RR''+\\frac{\\hbar^2}{4}(R')^2=\\tilde\\Gamma^2$ with $R=\\sum_k t_k R_k[u]+x$, and the resolvent equation $4(u-E)\\widehat{R}^2-2\\hbar^2\\widehat{R}\\widehat{R}''+\\hbar^2(\\widehat{R}')^2=1$. The argument is carried by the total-derivative identity $\\widehat{R}_g=d\\widehat{Q}_g/dx$ and by a recursion that constructs $\\widehat{Q}_g$ from $\\widehat{R}_g$ using only differentiations, starting from the highest power of $X=u_0-E$. The Fermi-surface data $u_0^{(p)}(\\mu)$ are polynomials in the threshold energy (or in $J$), and their top coefficients are $(2\\pi)^p$ or $4^{-p}$ times the bosonic JT values, which is why the normalization factors expose the bosonic subsector.","core_discovery":"The paper's central claim is that once $u(x)$ solves the extended string equation, each genus-$g$ piece $\\widehat{R}_g(x,E)$ of the resolvent is a total $x$-derivative, $\\widehat{R}_g=d\\widehat{Q}_g/dx$, so the volume is fixed solely by $u_0$ and its derivatives at the Fermi surface $x=\\mu$. Applying this gives $V_{g,1}(b)$ for $N=2$ JT supergravity at $g=1,2,3$, matching the known genus-1 result and the recursion-based checks at higher genus. The same machinery produces new $V_{g,1}(b)$ for small $N=4$ (with $J\\in\\frac12\\mathbb{Z}\\setminus\\{0\\}$) and for large $N=4$, where the volumes reduce to rescaled $N=2$ volumes with the threshold energy shifted from $E_0$ to $E_0-E_\\pm$. With the chosen normalizations, the highest power of $E_0$ or $J$ is exactly the bosonic JT volume, and the $E_0$-independent term is the $N=1$ volume.","pith_inferences":["A proof of the total-derivative property at all genera would turn the ODE recursion into a self-contained derivation of polynomiality and degree bounds for $V_{g,1}(b)$, bypassing the standard recursion; Appendix C looks like the right structure for such a proof.","The coefficient relations $(2\\pi)^p$ and $4^{-p}$ suggest the bosonic subsector is controlled only by the first derivative $u'_0(\\mu)$, so any string equation with the same structural form should exhibit the same top-order bosonic JT volume.","The large-$N=4$ rescaling relation suggests a sum rule: the full one-boundary volume is the sum of the two $N=2$ sector volumes with shifted thresholds; a mixed-boundary $V_{g,2}$ calculation would test whether the two sectors remain statistically independent beyond one boundary.","The threshold energy acts as a deformation parameter connecting the $N=1$ volume at $E_0=0$ to the bosonic volume at the top power; this suggests there may be a geometric interpretation of the intermediate powers as new moduli-space invariants."],"forward_implications":["For $N=2$ JT supergravity the method confirms the known genus-1 volume and gives explicit new $V_{2,1}(b)$ and $V_{3,1}(b)$ polynomials that agree with the topological recursion where they overlap.","For small $N=4$ JT supergravity the new volumes are polynomials in $b^2$ and in $J$, with the bosonic JT volume sitting at the top power of $J$.","For large $N=4$ JT supergravity the one-boundary volumes are exactly the $N=2$ volumes rescaled by $(4\\pi^2\\omega_\\alpha)^{1-2g}$ with $E_0$ replaced by $E_0-E_\\pm$.","For one-boundary data, the ODE recursion needs only lower-genus one-boundary data rather than the full ladder of $V_{g,n}$, making it faster than standard volume recursions for this slice.","The same two-equation machinery works for any model whose tree-level profile $u_0$ obeys the string equation, so it is not specific to supersymmetric JT gravity."],"supporting_citations":[{"why":"Supplies the two-ODE method and the total-derivative observation that it applies to JT gravity and $N=1$ super-JT gravity.","marker":"[1]"},{"why":"Supplies the resolvent equation and the polynomials $R_k[u]$ used to build $R$.","marker":"[10]"},{"why":"Establishes that Weil-Petersson volumes are polynomials and gives the recursion that motivates the total-derivative structure.","marker":"[27]"},{"why":"Defines the $N=2$ volumes and the loop-equation recursion that the paper uses as its independent check.","marker":"[36]"},{"why":"Provides the matrix-model string-equation data for small and large $N=4$ JT supergravity that the method takes as input.","marker":"[38]"},{"why":"Fixes the $N=2$ coefficients $t_k$ and the threshold parameter $\\tilde\\Gamma$ used throughout the $N=2$ calculation.","marker":"[52]"}],"fun_headline_variants":["ODEs unlock genus-2 and genus-3 volumes for extended JT supergravity","ODE method computes JT supergravity volumes for N=2 and N=4 up to genus 3","New N=2 and N=4 JT supergravity volumes from two ODEs","Two ODEs give higher-genus volumes for N=2 and N=4 JT supergravity","Two ODEs yield N=2 and N=4 JT supergravity volumes to genus 3"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the genus-$g$ resolvent piece is a total derivative at every genus once $u(x)$ solves the string equation; the paper verifies this for $g=1,2,3$ and says it has no closed-form proof. If a higher-genus counterexample existed, the boundary evaluation that defines the volumes would no longer be the whole answer.","fun_headline_variants_meta":{"raw":{"variants":["ODEs unlock genus-2 and genus-3 volumes for extended JT supergravity","ODE method computes JT supergravity volumes for N=2 and N=4 up to genus 3","New N=2 and N=4 JT supergravity volumes from two ODEs","Two ODEs give higher-genus volumes for N=2 and N=4 JT supergravity","Two ODEs yield N=2 and N=4 JT supergravity volumes to genus 3"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00143,"raw_usage":{"total_tokens":5836,"prompt_tokens":1082,"completion_tokens":4754,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":4635}},"tokens_in":698,"tokens_out":4754,"duration_ms":31997,"temperature":1.0,"reasoning_tokens":4635,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:08:35.947991+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the paper's recursion at genus 4 and check whether $\\widehat{R}_4$ can be written as $d\\widehat{Q}_4/dx$ by the Appendix C procedure; if no such $\\widehat{Q}_4$ exists, the definition of $V_{4,1}(b)$ collapses. A direct numerical cross-check would compare the resulting $V_{4,1}(b)$ with the value obtained from the $N=2$ topological recursion for the same model.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the resolvent equation and the polynomials $R_k[u]$ used to build $R$."}],"review_version":2}