{"id":"a49c85bc-7844-4c98-ba6f-f5e78f5b98fd","arxiv_id":"1908.05603","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives a closed all-orders formula for the leading high-energy part of the N=8 supergravity remainder function, confirming the recent three-loop calculation and predicting new terms at four loops and beyond.","lead":"This paper explains why the remainder function of four-graviton scattering in N=8 supergravity has unexpected nonzero terms in the high-energy Regge limit, tracing them to a mismatch between two exponentiations, one in impact-parameter space and one in momentum space. The authors derive an all-orders formula for these terms and predict new contributions at four loops and beyond.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the one-phase eikonal ansatz is the only imported assumption, but it is standard and confirmed at two and three loops; a chi_2 check would solidify the all-orders claim.","rationale":"The reader identified the eikonal-dominance assumption as the weakest point, and that is indeed the only candidate for a load-bearing concern. The paper does not derive this assumption, but it is a well-established result in high-energy gravitational scattering and is supported here by exact matches of the known two- and three-loop remainder terms, including the O(epsilon) two-loop term, and by an independent Fourier-transform derivation of the O(epsilon^0) result. All internal algebra is explicit and parameter-free, and the claimed pole cancellation and uniform-transcendentality pattern are consistent. A concrete test using the two-loop eikonal phase would directly probe whether subleading eikonal corrections can affect the leading-Regge remainder; until such a check or a future four-loop calculation, the all-orders conjecture remains slightly less verified than the two-/three-loop checks, but this does not undermine the paper's central explanatory result. I therefore recommend no change to the reader's ACCEPT verdict.","tokens_in":12736,"tokens_out":15616,"duration_ms":165911,"concrete_test":"Insert the known two-loop eikonal phase chi_2 (Amati-Ciafaloni-Veneziano) into eq. (2.8) alongside chi_1, expand to three-loop order, and compute the O(x^0) part of the remainder function after subtracting exp[M4^(1)]. If the chi_2 contribution is nonvanishing at x^0, eq. (3.5) omits terms at leading Regge order; if it vanishes, one-phase eikonal dominance is confirmed at the first nontrivial subleading-eikonal order.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's all-orders formula (3.5) rests on identifying the leading-Regge full amplitude with the eikonal amplitude (2.8) built from the one-loop phase (2.9) alone (Sec. 2.2, refs. [50,51]). This is an imported result, not derived here: if non-ladder topologies or subleading eikonal phases contributed at x^0, the four-loop prediction (4.9) and the O(epsilon^0) closed form (4.6) would be incomplete. I do not find this concern decisive: the two- and three-loop terms (2.7) are reproduced exactly in eq. (3.6), and the independent d=4 Fourier transform in eq. (4.8) confirms the F4,0 branch. The remaining risk is confined to untested higher-loop orders and to the general sufficiency of one-loop eikonal dominance. This is a standard assumption with strong supporting evidence, so I do not treat it as a blocking objection.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper explains the leading high-energy (Regge) contributions to the four-graviton remainder function in N=8 supergravity, recently computed at three loops by Henn and Mistlberger, in terms of the well-known impact-parameter (eikonal) exponentiation of the gravitational S-matrix. After reviewing the fixed-order remainder function and the position-space eikonal formula, the authors derive in Eq. (3.5) an all-orders expression for the remainder function in the limit x = -t/s -> 0, reproduce the two-loop O(epsilon) and three-loop O(epsilon^0) coefficients of ref. [31], and predict higher-loop terms, including the O(epsilon) term at four loops. In Section 4 they sum the O(epsilon^0) contributions into the compact closed form F_{4,0} = exp[-2 i G_N s gamma] Gamma(1 - i G_N s)/Gamma(1 + i G_N s), provide an equivalent restricted-partition formula (4.4), and verify the closed form by a direct four-dimensional Fourier transform of the eikonal amplitude. The paper also notes that the leading terms respect the expected uniform transcendentality property.","tokens_in":12804,"tokens_out":16333,"duration_ms":143770,"significance":"Assuming the imported eikonal-dominance input, the paper's central claim is convincing. The all-orders formula is derived without fitted parameters, and it reproduces the existing two-loop O(epsilon) and three-loop O(epsilon^0) results, including the two-loop epsilon^2 coefficient taken from the ancillary files of ref. [31]. The O(epsilon^0) closed form is supported by an independent Fourier-transform computation in Eq. (4.8). The result gives a nontrivial cross-check of the recent three-loop calculation and provides a concrete, falsifiable prediction at four loops and beyond, which is exactly the kind of consistency constraint that is valuable for future higher-loop computations in perturbative gravity.","major_comments":[],"minor_comments":[{"comment":"The displayed chain of equalities in Eq. (4.6) contains an algebraic typo: the factor should be Gamma^{-2}(1 + i G_N s), not Gamma^2(1 + i G_N s), in the intermediate expression involving exp[log(pi i G_N s / sin(pi i G_N s))]. As printed the intermediate equality is inconsistent with the final gamma-function ratio; the final closed form and the derivation in Eq. (4.8) are correct.","section":"Eq. (4.6)"},{"comment":"The all-orders result (3.5) rests on the standard result of refs. [50,51] that the leading Regge limit is saturated by the one-eikonal-phase ladder sum. Because this is an imported assumption, the paper would benefit from an explicit statement that Eq. (3.5) and the higher-loop predictions are contingent on the absence of non-ladder or subleading-eikonal contributions at the same order in x, even though the two- and three-loop checks support this input.","section":"Sec. 2.2"},{"comment":"The claim following Eq. (3.5) that the expansion to 16 orders in G_N has all poles in epsilon vanishing is not documented; adding the pole-cancellation check, or at least a brief argument that it follows from the structure of Eq. (3.5), would make the verification transparent.","section":"Sec. 4"}],"recommendation":"minor_revision","confidential_remarks":"The paper is technically sound and well within the journal's scope. The only correction that I would require before publication is the typo in Eq. (4.6); the other remarks are presentational. The imported eikonal-dominance assumption is standard in the literature and is supported by the exact two- and three-loop matches, so I do not consider it a blocking concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper does what it says. It takes the known impact-parameter exponentiation of gravitational scattering, Fourier transforms order by order, extracts the remainder function, and shows that the leading-Regge terms in the recent three-loop N=8 calculation follow exactly. It then gives a compact all-orders formula and predicts the four-loop term. The math is explicit and parameter-free.\n\nWhat's new: eq. (3.5) is the full all-orders expression in the leading Regge limit. Eq. (4.6) is a beautiful closed form in terms of gamma functions for the O(epsilon^0) part. The table (4.2) and the partition formula (4.4) are a nice bonus. The check against Henn-Mistlberger at three loops, including the O(epsilon) two-loop term from their ancillary files, is genuine and non-trivial.\n\nThe main soft spot is the imported assumption that the full four-graviton amplitude in the leading Regge limit is saturated by the eikonal amplitude with the one-loop phase. This is standard and well-cited, but it is not derived here. If non-ladder topologies contributed at the same order in x, the all-orders formula would miss them. The paper does not address this, and it is a real limitation, though not a fatal one: the same assumption underlies much of the eikonal literature, and the two- and three-loop checks give confidence. A second, minor point is that the four-loop prediction is at O(epsilon), which the authors themselves note will likely only be confirmed as part of a five-loop calculation. So the predictive content is real but not immediately verifiable.\n\nThe paper is clearly written, the arguments are direct, and the claims are appropriately scoped. No fitted constants, no hidden circularity: the remainder function is computed from an independent eikonal exponentiation and compared with an independent amplitude calculation. The citation pattern is fine.\n\nI would send this to a serious referee. It is a compact, correct-looking piece that explains an observed structure and makes a testable prediction. It deserves publication in a good journal. I'd bring it to a reading group as an example of how old eikonal ideas still explain modern amplitude results.","headline":"A clean all-orders explanation of the leading-Regge remainder in N=8 supergravity, with explicit predictions; the only imported assumption is standard eikonal dominance, which the two- and three-loop checks support.","tokens_in":13528,"tokens_out":2142,"would_cite":true,"duration_ms":19818,"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":"The leading high-energy behavior of the four-graviton remainder function in N=8 supergravity is fixed to all loop orders by the impact-parameter eikonal exponentiation.","keywords":["N=8 supergravity","four-graviton scattering","Regge limit","eikonal approximation","impact parameter","remainder function","exponentiation","transcendentality"],"falsifier":"Compute the four-loop four-graviton remainder function in $\\mathcal{N}=8$ supergravity (for example from the five-loop integrand by taking the leading Regge limit) and check whether its order-$\\epsilon$ term is exactly $-5(G_N s)^4\\zeta_5$; any additional contribution at order $x^0$ would falsify the eikonal all-orders formula. Alternatively, exhibit any non-ladder diagram that contributes to the four-graviton amplitude at order $x^0$ in the Regge limit.","tokens_in":1893,"feed_emoji":"⚛️","tokens_out":2509,"duration_ms":88572,"temperature":0.7,"pith_summary":"This paper explains the origin of unexpected leading high-energy (Regge-limit) contributions to the infrared-finite remainder function of four-graviton scattering in $\\mathcal{N}=8$ supergravity. The key observation is that the gravitational $S$-matrix exponentiates in impact-parameter (transverse position) space, not in momentum space, so the momentum-space amplitude is not simply the tree-level factor times the exponential of the one-loop correction. That mismatch forces the remainder function to be nonzero and fixes it, in the leading Regge limit, to all orders in the gravitational coupling and in the dimensional-regularisation parameter $\\epsilon$. The paper derives an all-orders formula, confirms the recently computed two- and three-loop remainders, and predicts the leading behaviour at four loops and beyond. If correct, the high-energy limit of the four-graviton amplitude is fixed by a single eikonal phase at every loop order, providing a consistency constraint on future higher-loop calculations.","feed_headline":"Eikonal exponentiation explains N=8 supergravity's Regge-limit remainder","feed_subtitle":"New all-order formula fixes the high-energy four-graviton remainder, checking three loops and predicting four.","key_machinery":"The central object is the impact-parameter representation of the high-energy gravitational $S$-matrix, in which the amplitude is a Fourier transform of $e^{i\\chi(\\mathbf{x}_\\perp)}$, with eikonal phase $i\\chi(\\mathbf{x}_\\perp)=-iG_N s\\,\\Gamma(1-\\epsilon)(\\pi \\mathbf{x}_\\perp^2)^\\epsilon/\\epsilon$, representing the phase shift one graviton acquires in the field of the other. Exponentiation happens in position space; converting order by order to momentum space turns products of phases into convolutions, so the momentum-space amplitude is the tree-level factor times the exponential of the one-loop correction only up to a remainder. The remainder function (3.5) is the ratio between the true eikonal momentum-space sum and that naive exponential, with the curly-bracket gamma-function factors carrying the convolution bookkeeping. Its $\\mathcal O(\\epsilon^0)$ part is captured by the closed form $F_{4,0}=e^{-2iG_N s\\gamma}\\Gamma(1-iG_N s)/\\Gamma(1+iG_N s)$ and by the generating function $\\prod_{j=1}^\\infty 1/(1-z^{2j+1})$ for partitions of the loop order into odd integers greater than one.","core_discovery":"The central claim is that the leading Regge limit of the four-graviton amplitude in $\\mathcal{N}=8$ supergravity is governed by the eikonal (crossed-ladder) amplitude, and that the remainder function defined by factoring out the exponential of the one-loop contribution is completely determined by the fact that this eikonal exponentiation occurs in position space. In momentum space each term of the expanded exponential becomes a convolution, so the amplitude differs from the simple exponential of the one-loop amplitude precisely by the remainder function. The paper writes the all-orders expression (3.5) for this remainder function in the limit $x=-t/s\\to 0$, verifies that its two- and three-loop expansion matches the data of ref. [31], and reduces the $\\mathcal O(\\epsilon^0)$ content to the closed form $F_{4,0}=e^{-2iG_N s\\gamma}\\Gamma(1-iG_N s)/\\Gamma(1+iG_N s)$, whose loop-by-loop expansion is equivalent to summing over restricted partitions of the loop order into odd integers. The resulting four-loop prediction is a non-vanishing leading-Regge term $-5(G_N s)^4\\zeta_5\\,\\epsilon$.","pith_inferences":["Editorial inference: since the leading Regge limit is dominated by graviton exchange and the eikonal phase does not depend on the amount of supersymmetry, the same remainder-function structure should appear in supergravity theories with fewer supersymmetries; a three-loop calculation in such a theory would test this.","Editorial inference: the partition formula at $\\mathcal O(\\epsilon^0)$ hints that the full all-orders remainder admits a purely combinatorial interpretation as a sum over independent convolution factors; making that map explicit could give a diagrammatic proof of eq. (3.5).","Editorial inference: the four-loop term could be extracted by taking the leading Regge limit of the existing five-loop four-graviton integrand at order $\\epsilon$, without waiting for a complete four-loop amplitude.","Editorial inference: because the derivation uses no $\\mathcal{N}=8$-specific input beyond the one-loop amplitude, the same mismatch between position-space and momentum-space exponentials should generate analogous remainder terms in other maximally supersymmetric amplitudes, with the relevant eikonal phase replacing the gravitational one."],"forward_implications":["The all-orders expression (3.5) is a necessary consistency constraint for any future four-loop or higher calculation of the four-graviton amplitude in $\\mathcal{N}=8$ supergravity in the Regge limit.","The two- and three-loop expansion of (3.5) reproduces the recently computed remainder function, including the infrared-finite terms $3\\zeta_3\\epsilon$ at two loops and $-(2/3)i\\zeta_3$ at three loops.","At $\\mathcal O(\\epsilon^0)$, the remainder function is exactly $F_{4,0}=e^{-2iG_N s\\gamma}\\Gamma(1-iG_N s)/\\Gamma(1+iG_N s)$, meaning every loop order's leading term is a product of zeta values with odd arguments.","The first four-loop prediction is a non-vanishing leading-Regge remainder term $-5(G_N s)^4\\zeta_5\\,\\epsilon$, which can be checked once the $\\mathcal O(\\epsilon)$ part of the four-loop amplitude is available.","The leading Regge remainder respects uniform transcendentality, with total transcendental weight $L+m$ for the $L$-loop contribution at order $\\epsilon^m$."],"supporting_citations":[{"why":"supplies the three-loop four-graviton amplitude whose remainder function the paper reproduces from the eikonal formula","marker":"[31]"},{"why":"established that the leading Regge limit is saturated by crossed-ladder graviton exchange with the eikonal phase, the premise on which the all-orders derivation rests","marker":"[50, 51]"},{"why":"gave the two-loop graviton amplitude and its infrared behaviour, supporting the ansatz in which the amplitude is the exponential of the one-loop correction times a remainder","marker":"[11]"},{"why":"supplied the two-loop remainder function results that the paper's formula reproduces in the leading Regge limit","marker":"[13]"},{"why":"previous Wilson-line analysis connecting the high-energy gravitational remainder to the eikonal exponentiation","marker":"[19]"},{"why":"the standard eikonal amplitude expression used as the starting point for the impact-parameter calculation","marker":"[68]"}],"fun_headline_variants":["Why N=8 supergravity's Regge limit hides a simple exponentiation","All-order remainder in N=8 supergravity from eikonal exponentiation","Eikonal formula tames N=8 supergravity's high-energy remainder","N=8 supergravity: Regge limit's remainder is eikonal in disguise"],"cache_read_input_tokens":15616,"weakest_assumption_plain":"The argument assumes that in the strict Regge limit $x\\to0$ the full four-graviton amplitude is exactly the crossed-ladder eikonal amplitude with the one-loop eikonal phase, so no non-ladder or subleading-eikonal contribution enters the remainder function at the same order.","fun_headline_variants_meta":{"raw":{"variants":["Why N=8 supergravity's Regge limit hides a simple exponentiation","All-order remainder in N=8 supergravity from eikonal exponentiation","Eikonal formula tames N=8 supergravity's high-energy remainder","N=8 supergravity: Regge limit's remainder is eikonal in disguise"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000696,"raw_usage":{"total_tokens":3143,"prompt_tokens":940,"completion_tokens":2203,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":2118}},"tokens_in":556,"tokens_out":2203,"duration_ms":15568,"temperature":1.0,"reasoning_tokens":2118,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:08:20.346769+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the four-loop four-graviton remainder function in $\\mathcal{N}=8$ supergravity (for example from the five-loop integrand by taking the leading Regge limit) and check whether its order-$\\epsilon$ term is exactly $-5(G_N s)^4\\zeta_5$; any additional contribution at order $x^0$ would falsify the eikonal all-orders formula. Alternatively, exhibit any non-ladder diagram that contributes to the four-graviton amplitude at order $x^0$ in the Regge limit.","supporting_citations":[{"cited_title":"Four-graviton scattering to three loops in ${\\mathcal N}=8$ supergravity","cited_arxiv_id":"1902.07221","evidence_quote":"supplies the three-loop four-graviton amplitude whose remainder function the paper reproduces from the eikonal formula"},{"cited_title":"Two-loop graviton scattering relation and IR behavior in N=8 supergravity","cited_arxiv_id":"0805.2347","evidence_quote":"gave the two-loop graviton amplitude and its infrared behaviour, supporting the ansatz in which the amplitude is the exponential of the one-loop correction times a remainder"},{"cited_title":"Eikonal approximation in quantum field theory,","cited_arxiv_id":null,"evidence_quote":"the standard eikonal amplitude expression used as the starting point for the impact-parameter calculation"}],"review_version":1}