{"id":"88fb6ac7-9271-4246-b294-7dabd5fc6afb","arxiv_id":"1908.05247","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The genus-two D4R4 coefficient in the strongly coupled N=4 SYM stress-tensor correlator is fixed to 7/3072 by combining supersymmetric localization with the flat-space IIB S-matrix.","lead":"This paper extends a localization-based method to all orders in 1/N^2 and fixes new higher-genus terms in the strong-coupling holographic correlator of N=4 super-Yang-Mills. The main new number is the genus-two D4R4 coefficient, the first such correction beyond the planar limit.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 1-loop constant B_SG|SG_0=15/4 and the analyticity-in-spin conclusion rest on the unshown numerical integral I[T^SG|SG]=5/32 and an incompletely documented Appendix A match; the genus-two D4R4 coefficients are independent of this.","rationale":"The paper's main technical engine is the all-orders 1/N^2 topological recursion computation of F, which is cross-checked at finite N via orthogonal polynomials (Table 1) to machine precision; the genus-two D4R4 result follows from this plus the flat-space IIB S-matrix and is therefore well supported. The genuinely underdocumented dependency is the numerical integral I[T^SG|SG], which is the only input to B_SG|SG_0=15/4 and hence to the analyticity-in-spin claim. Because B_SG|SG_0 is a scheme-dependent counterterm, the numerical value must be tied to the exact convention of [25], and the appendix only checks one log-log term. This is a conditional-acceptance issue rather than a reason to reject: the remedy is concrete and localized. The 'first result' wording in the abstract should also be scoped in view of the cited ABJM all-genus results, as the reader notes, but that is a framing point and does not affect the mathematics. Overall the reader's CONDITIONAL verdict is appropriate.","tokens_in":29074,"tokens_out":22184,"duration_ms":196609,"concrete_test":"Independently recompute I[T^SG|SG] by evaluating the integral (2.17) with the explicit position-space expression for T^SG|SG from [25] using high-precision quadrature (target 12 digits, with a rigorous error estimate); then recompute B_SG|SG_0 from 1/16 = I[T^SG|SG] - B/40. In the same pass, re-derive the coefficient in Eq. (A.1) directly from the [25] expression and display the term-by-term matching. If the integral deviates from 5/32 by more than 10^-10, the spin-analyticity conclusion and the completed 1-loop term require revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing weak point is the determination of I[T^SG|SG]=5/32 in Eq. (4.2). The integrated constraint at O(c^-2) constant order gives 1/16 = I[T^SG|SG] - B_SG|SG_0/40, so B_SG|SG_0=15/4 follows only if I[T^SG|SG]=5/32 to the quoted precision. Section 4.1 states only that this was obtained by evaluating the integral numerically to high precision using the explicit position-space expression in [25], with no error bars, code, or independent confirmation, and the expression was supplied privately by H. Paul. Appendix A checks only the U^2 logU logV coefficient (-171+8pi^2) of M_SG|SG against [25] and does not display the comparison; because B_SG|SG_0 is a scheme-dependent counterterm (the M0 ambiguity), the full convention of [25] must be matched, not just a log-log term. If I[T^SG|SG] were in error by delta, then B_SG|SG_0 shifts by 40 delta, and analyticity in spin at j=0 would require delta=-3/32. The genus-two D4R4 terms in (4.1) are fixed instead by the c^-3 lambda^{3/2} localization constraint and the flat-space IIB S-matrix, so they are not affected by this uncertainty. (The line B2_0=-16B2_2/7 in Eq. (4.4) is also internally inconsistent, but the final quoted values are unaffected.)","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the four-point function of the stress-tensor multiplet superprimary in N=4 SYM at strong coupling and large N, using supersymmetric localization and the flat-space limit of the dual IIB string amplitude. The main technical development is a topological-recursion computation of the integrated correlator constraint (the second derivative of the mass-deformed S4 free energy) to higher orders in 1/N, cross-checked at finite N with orthogonal polynomials. The authors use this constraint, together with the known IIB S-matrix, to fix the genus-one R4 coefficient, the constant ambiguity of the 1-loop supergravity term, and the genus-two D4R4 coefficients in the holographic correlator. The quoted Mellin amplitude is given in Eq. (4.1), with the genus-two D4R4 terms B2_2 = 7/3072 and B2_0 = -7/1024, and the 1-loop constant B_SG|SG_0 = 15/4, which the paper interprets as a failure of analyticity in spin at j=0.","tokens_in":29470,"tokens_out":9635,"duration_ms":95803,"significance":"If the results hold, this is a significant advance: the genus-two D4R4 term is the first holographic correlator data at two orders beyond the planar limit at strong coupling, and the all-orders-in-genus statements for R4 and D4R4 are structurally new. The topological-recursion derivation is explicit and the finite-N orthogonal-polynomial check in Table 1 is a genuine nontrivial cross-check. The flat-space matching of the genus-one R4 coefficient with the IIB S-matrix provides an independent consistency test. The main weakness is that the 1-loop constant B_SG|SG_0 = 15/4 and the resulting analyticity-in-spin conclusion rest on a numerically evaluated integral I[T^SG|SG] = 5/32 that is reported without error bars or a fully documented convention match. The genus-two D4R4 coefficients are fixed by independent constraints and do not depend on that numerical step, so the central claim of the paper is defensible but requires revision of the supporting evidence.","major_comments":[{"comment":"The value I[T^SG|SG] = 5/32 is load-bearing for the quoted 1-loop constant B_SG|SG_0 = 15/4 and for the claim that analyticity in spin fails at zero spin. The manuscript only states that this value was obtained by evaluating the integral numerically to high precision using an explicit position-space expression supplied privately by H. Paul, with no error estimate, code, or independent confirmation. Since the integrated constraint gives B_SG|SG_0 = 40(I[T^SG|SG] - 1/16), a numerical error of size delta in I shifts B_SG|SG_0 by 40 delta, and the zero-spin non-analyticity conclusion would fail precisely if delta = -3/32. Please provide the numerical integral with a quantitative error estimate or an analytic evaluation, and make the position-space expression available for independent verification.","section":"Section 4.1, Eq. (4.2)"},{"comment":"The convention matching between MSG|SG and T^SG|SG is not fully demonstrated. The appendix computes the U^2 logU logV coefficient (-171 + 8*pi^2) and states that this 'can be matched' with [25], but it does not display the comparison, and it checks only a log-log coefficient. Because B_SG|SG_0 is precisely the coefficient of the M0 counterterm ambiguity, establishing that the MSG|SG normalization is that of [25] requires a scheme-defining comparison, not only a single logarithmic term. Please show the full matching procedure or otherwise specify the exact convention used to define the constant part.","section":"Appendix A"},{"comment":"The three displayed D4R4 equations are mutually inconsistent if read as constraints on the same pair of coefficients: the first and third equations cannot both hold, and the relation B2_0 = -16 B2_2/7 is not satisfied by the final values, since B2_0 = -3 B2_2 at both genus-zero (630*zeta(5), -1890*zeta(5)) and genus-two (7/3072, -7/1024). The missing genus labels on the coefficients make the derivation unreadable. Please rewrite the system with explicit genus superscripts and correct the erroneous relation.","section":"Section 4.1, Eq. (4.4)"}],"minor_comments":[{"comment":"The text says the free-energy derivative is computed 'to any order in 1/N', but the explicit results are given only through O(N^-6). This is acceptable as a method claim, but the presentation should state clearly which orders are explicitly exhibited and which are merely in principle accessible via the recursion.","section":"Section 3.1"},{"comment":"The numerical comparison in Table 1 should state the numerical integration method used for the omega integrals and the precision of the finite-N orthogonal-polynomial evaluation, so that the quoted agreement (down to 10^-14 or 10^-6 depending on the row) can be reproduced.","section":"Table 1"},{"comment":"The phrase 'using the flat space limit and localization we then fix D4R4' is accurate for the coefficients, but the title and abstract could be slightly misleading: the genus-two D4R4 result uses the flat-space IIB S-matrix as an essential input, not localization alone.","section":"Section 4.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically interesting and the genus-two D4R4 result appears robust because it is fixed by two independent constraints that do not rely on the numerically integrated I[T^SG|SG]. However, the 1-loop constant and the accompanying analyticity-in-spin claim rest on an unpublished private expression and a numerical integral without error bars, and the convention match in Appendix A is incomplete. The displayed inconsistency in Eq. (4.4) also needs correction. I recommend major revision rather than rejection: the central derivation can be made complete with additional evidence, but as it stands the manuscript does not fully establish the 1-loop part of its central claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper is a solid step, not a flashy one. The durable result is the all-orders 1/N^2 computation of the N=2* free-energy derivative by topological recursion, with a clean finite-N check; the derived numbers B0_0=5/8 and B2_2=7/3072 are new and I think right. The genus-two D4R4 term follows from two independent constraints (flat-space IIB S-matrix plus localization), so it does not hinge on the soft spot below.\n\nWhat it does well: the transfer of matrix-model resolvent technology to this 4d integrated correlator is explicit and reproducible. The expansions (3.19)-(3.20) are concrete, Table 1 gives a real numerical check, and the paper flags what it cannot yet do. The flat-space match of R4 at genus-one is a legitimate check of AdS5/CFT4 at a genuinely new order.\n\nSoft spots, in proportion. The 1-loop constant B_SG|SG_0=15/4 and the analyticity-in-spin claim rest on I[T^SG|SG]=5/32, obtained by numerical integration of a private formula from Paul, with no error estimate and no code. Appendix A checks only the U^2 logU logV coefficient, which is exactly the piece that cannot fix the constant counterterm ambiguity. Since the counterterm convention in [25] must be matched in full, the present write-up does not actually display the load-bearing comparison. If that integral is off by delta, B_SG|SG_0 shifts by 40 delta. I don't think it is off; the value looks simple and the author says it was high-precision. But a referee should ask for the computation to be shown. This does not infect the genus-two D4R4 numbers. Minor: Eq. (4.4) has the line B2_0=-16B2_2/7, which is inconsistent with (4.6); it looks like a typo, but it should be fixed. Also, the abstract's 'first result at two orders beyond planar limit' should carry a qualifier, because all-genus D4R4-type results already exist in ABJM (3d); if the intended scope is AdS5 x S5, say so.\n\nCitation pattern is healthy. [1] is a coauthored prior paper, but the relation used is a genuine prior derivation and not circular. The reliance on a private communication is the main reproducibility issue, not self-citation.\n\nWho this is for: anyone working on holographic correlators, localization, or AdS/CFT at genus. It deserves a serious referee, with requests for the numerical integral details, a full Appendix A comparison, and the typo fix. I would accept it.","headline":"The genus-two D4R4 numbers are credible and the topological-recursion technique is the real contribution; the 1-loop constant and spin-analyticity claim need one more displayed computation before they are fully load-bearing.","tokens_in":30021,"tokens_out":3006,"would_cite":true,"duration_ms":29299,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Tq"],"model":"deepseek-v4-flash","headline":"This paper shows that derivatives of the mass-deformed sphere free energy, computed to all orders by topological recursion, fix the $R^4$ and $D^4R^4$ terms in the AdS5×S5 holographic correlator at all genera, including the first nonzero…","keywords":["holographic correlators","N=4 super-Yang-Mills","AdS5/CFT4","supersymmetric localization","topological recursion","genus expansion","R4 and D4R4 corrections","spin analyticity"],"falsifier":"Recompute the integral of the explicit position-space one-loop term from [25] with controlled error bars and re-derive the $U^2\\log U\\log V$ coefficient from the Appendix A Mellin sums: if the integral is not $5/32$ or the coefficient is not $-171+8\\pi^2$, then $B^{SG|SG}_0=15/4$ is a counterterm artifact. Separately, recompute the genus-two topological-recursion term $\\tilde{F}_2$ and its Mellin-Barnes expansion: unless the resulting $O(\\lambda^{3/2})$ coefficient of $F_2$ is exactly $1/24576$, the genus-two D4R4 coefficients $B^2_2=7/3072$ and $B^2_0=-7/1024$ fail.","tokens_in":28881,"feed_emoji":"🧮","tokens_out":17808,"duration_ms":155274,"temperature":0.7,"pith_summary":"This paper asks how much of the strongly coupled holographic four-point function in N=4 super-Yang-Mills can be pinned down without constructing Witten diagrams. The author shows that derivatives of the mass-deformed sphere free energy, computable by supersymmetric localization, determine the integrated correlator, and that this quantity can be expanded to any order in $1/N^2$ using topological recursion on a free Gaussian matrix model. That single constraint, together with the flat-space limit of the ten-dimensional IIB S-matrix, fixes the $R^4$ and $D^4R^4$ contact terms in the holographic correlator at all genus, including the first nonzero genus-two term at $1/N^6$. The same computation completes the one-loop supergravity term and indicates that analyticity in spin fails at zero spin. These are the first holographic-correlator data at two orders beyond the planar limit at strong coupling.","feed_headline":"Localization fixes the genus-two D4R4 term in AdS5×S5","feed_subtitle":"A matrix-model expansion fixes R4 at every genus and pins the first 1/N^6 correction to the holographic four-point function.","key_machinery":"The central object is the resolvent expansion $W_n^m$ of the Gaussian matrix model: connected eigenvalue correlation functions organized by a 'genus' expansion, generated by the topological-recursion formulas (3.10)-(3.12). The load-bearing identity is the integrated constraint (2.16), which equates the $S^4$ integral of the reduced correlator with a combination of derivatives of the mass-deformed free energy, evaluated at zero mass. Because the undeformed model is Gaussian, the relevant two-body expectation value becomes products of inverse Laplace transforms of resolvents, namely Bessel functions, so the whole $1/N^2$ expansion is computable to arbitrary order and then expanded in powers of $1/\\lambda$.","core_discovery":"The paper establishes that the mass-deformed N=2* sphere free energy, differentiated twice in mass and once in the coupling, can be computed to any order in $1/N^2$ from the free Gaussian matrix model by topological recursion; this all-orders constraint fixes the $R^4$ coefficient of the holographic stress-tensor correlator at genus zero and genus one and forces all higher-genus $R^4$ terms to vanish. Combined with the flat-space limit of the IIB S-matrix, it fixes $D^4R^4$ at all orders, the first nontrivial higher-genus contribution being genus-two, with Mellin coefficients $B^2_2=7/3072$ and $B^2_0=-7/1024$ at order $c^{-3}\\lambda^{3/2}$. It also fixes the constant ambiguity in the one-loop supergravity term to $B^{SG|SG}_0=15/4$, completing the one-loop derivation and showing that spin analyticity of the lowest-twist double-trace anomalous dimension fails at zero spin.","pith_inferences":["Inference: the same resolvent machinery should apply to SO(N) and Sp(N) gauge groups, whose zero-mass matrix models are also Gaussian, giving analogous all-genus constraints and a check of whether the $R^4$ and $D^4R^4$ coefficients depend on the gauge group.","Inference: if the spin-analyticity failure at $j=0$ is regulator-independent, the anomalous dimension at $O(c^{-2})$ is a concrete numerical prediction that could be compared with independent bootstrap methods.","Inference: the finite-N orthogonal-polynomial expression could serve as a non-perturbative constraint that fixes the complexified gauge coupling in the numerical conformal bootstrap of N=4 SYM, rather than only the central charge."],"forward_implications":["The $R^4$ correction is fully fixed at strong coupling: only the genus-zero coefficient $120\\zeta(3)$ and the genus-one coefficient $5/8$ are nonzero, so no higher-genus $R^4$ terms remain to be found.","The $D^4R^4$ correction is fixed to all orders in the genus expansion, with genus-two Mellin coefficients $B^2_2=7/3072$ and $B^2_0=-7/1024$, giving the first known $O(c^{-3})$ term in the holographic correlator.","The one-loop supergravity contribution is completed, and the lowest-twist double-trace anomalous dimension at $O(c^{-2})$ is non-analytic in spin at $j=0$, settling the earlier conjecture in the direction predicted by the Lorentzian inversion formula.","The flat-space limit provides a genus-one check of AdS5/CFT4: the $R^4$ coefficient computed from localization agrees with the IIB S-matrix.","Unprotected CFT data, including anomalous dimensions of low-spin double-trace operators, can be extracted to order $c^{-3}$, with explicit spin-zero and spin-two terms given in the paper."],"supporting_citations":[{"why":"Establishes the integrated-constraint relation between the stress-tensor four-point function and derivatives of the mass-deformed S^4 free energy, which this paper uses and extends.","marker":"[1]"},{"why":"Supplies the supersymmetric localization matrix model for the N=2* partition function on S^4, the starting point for the free-energy computation.","marker":"[15]"},{"why":"Supplies the topological-recursion method for Gaussian matrix-model resolvents that produces the all-orders 1/N expansion of the free-energy derivative.","marker":"[65]"},{"why":"Gives the general topological-recursion framework used to write the recursion formulas for higher-genus resolvents.","marker":"[66]"},{"why":"Supplies the orthogonal-polynomial integration method used to check the 1/N expansion against finite-N results.","marker":"[67]"},{"why":"Introduces the flat-space-limit comparison with the IIB S-matrix that fixes the leading R4 and D4R4 coefficients.","marker":"[22]"},{"why":"Provides the explicit position-space one-loop supergravity term whose integral fixes the constant ambiguity, and the earlier conjecture that the ambiguity vanishes.","marker":"[25]"},{"why":"Gives the Mellin-space form of the one-loop supergravity term and the constant ambiguity that this paper fixes.","marker":"[29]"},{"why":"Provides the genus-two IIB superstring amplitude whose flat-space D4R4 coefficient is matched in the flat-space limit.","marker":"[52]"},{"why":"Predicts via Lorentzian inversion that spin analyticity fails at zero spin at large N, which the paper's result confirms.","marker":"[68]"}],"fun_headline_variants":["Localization pins genus-two D^4R^4 and all-genus R^4","All-order R^4 fixed, D^4R^4 at genus two from localization","Localization completes one-loop supergravity and fixes higher-genus R^4","Topological recursion lifts localization to all-genus correlators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the numerically evaluated integral $I[T^{SG|SG}]$ is exactly $5/32$ and that the counterterm convention in Appendix A really matches the position-space one-loop term; if either is wrong, the value $B^{SG|SG}_0=15/4$ and the spin-analyticity conclusion do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Localization pins genus-two D^4R^4 and all-genus R^4","All-order R^4 fixed, D^4R^4 at genus two from localization","Localization completes one-loop supergravity and fixes higher-genus R^4","Topological recursion lifts localization to all-genus correlators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002069,"raw_usage":{"total_tokens":8146,"prompt_tokens":1140,"completion_tokens":7006,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":756,"completion_tokens_details":{"reasoning_tokens":6921}},"tokens_in":756,"tokens_out":7006,"duration_ms":41868,"temperature":1.0,"reasoning_tokens":6921,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:21:00.052221+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the integral of the explicit position-space one-loop term from [25] with controlled error bars and re-derive the $U^2\\log U\\log V$ coefficient from the Appendix A Mellin sums: if the integral is not $5/32$ or the coefficient is not $-171+8\\pi^2$, then $B^{SG|SG}_0=15/4$ is a counterterm artifact. Separately, recompute the genus-two topological-recursion term $\\tilde{F}_2$ and its Mellin-Barnes expansion: unless the resulting $O(\\lambda^{3/2})$ coefficient of $F_2$ is exactly $1/24576$, the genus-two D4R4 coefficients $B^2_2=7/3072$ and $B^2_0=-7/1024$ fail.","supporting_citations":[],"review_version":1}