{"id":"9e465d45-c66b-43b5-a142-9380c118ed10","arxiv_id":"2610.31378","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper computes the classical two-loop, leading-log five-point graviton-emission amplitude in multi-Regge kinematics, splitting it into a two-particle reducible term and a three-particle reducible radiative H-diagram term.","lead":"Researchers computed a two-loop quantum gravity amplitude for two very fast particles emitting one graviton at high energy, splitting it into two structurally different pieces. The result is a step toward controlling gravitational radiation in ultrarelativistic black-hole scattering and tests a conjectured bridge between particle-mass and black-hole calculations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"OPE truncation at O(κ) in eq. (3.16) is load-bearing: the paper never shows that the deferred O(κ²) many-reggeon terms cannot generate L1/L2 at the same O(κ^7), so eq. (4.1) may not be the full leading-log result.","rationale":"I agree with the reader that the OPE truncation is the weakest assumption; it is also the assumption on which the leading-log attribution directly rests. The soft-limit check in Sec. 4.3 and the target-projectile symmetry provide genuine support, but they constrain mostly the ω^{-1} part and the L1/L2 bookkeeping, not the completeness of the emission operator at the required order. The authors' candour about the limitation is welcome, but the paper's own statement that one more OPE order is needed at one loop shows the O(κ²) OPE cannot be dismissed as automatically subleading. Since the central claim is conditional on an unperformed completeness check, I would hold the verdict at CONDITIONAL rather than ACCEPT: the result is credible and likely correct, but the leading-log attribution should be made contingent on the O(κ²) OPE test or on the promised optical-theorem derivation. If the proposed test returns zero, the reader's ACCEPT is restored unchanged.","tokens_in":28967,"tokens_out":13752,"duration_ms":400514,"concrete_test":"Construct the O(κ²) term of the OPE (3.13), for example by matching to the one-loop radiative amplitude in refs. [121,122] or by the QCD analogue of [114], insert it into eq. (3.12) at fixed κ^7, reduce with the IBP basis (4.14), and recompute the L1- and L2-proportional coefficients at O(ε^0) after subtracting the contributions already contained in eqs. (4.15)-(4.16). If a nonzero remainder appears, eq. (4.1) is not the full leading-log result; if it vanishes, the truncation is justified. A faster independent settlement would be to present the promised optical-theorem derivation of eq. (4.3), verifying that every MRK S-channel cut contribution reproduces the L_i coefficients in eq. (4.4) without invoking the truncated OPE.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim, eq. (4.1), is that the O(κ^7) amplitude displayed there is the leading-logarithmic classical five-point amplitude. The derivation uses the operator product expansion only at leading order, eq. (3.16), i.e. iterations of the O(κ) gravitational Lipatov vertex. The O(κ²) terms are deferred in Sec. 3 ('leaving the analysis of the subleading corrections to future work'). This is a real gap, not bookkeeping: Sec. 5 states that the classical one-loop amplitude can only be recovered by extending the OPE by one order in κ, so the O(κ²) OPE carries classical content of the type that matters here. The same passage notes that this order contains 'many-reggeon interactions mixing the number of incoming reggeons with that of the outgoing ones'. At fixed total order κ^7, an O(κ²) emission term can in principle be combined with fewer Wilson-line reggeon insertions than in eq. (4.1) and still be multiplied by L1 or L2 through the single \\hat R^{(1)} insertion; the paper gives no power-count or ℏ-count argument that all such contributions vanish at leading-log accuracy. Labeling the missing terms 'quantum effects' is an assertion, not a derivation. The alternative optical-theorem derivation announced around eq. (4.3) is described but not exhibited, so it does not currently close the gap. If any omitted configuration contributes a nonvanishing L_i coefficient, eqs. (4.15)-(4.16) are incomplete and the strongest claim is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"Using the gravitational shockwave/Wilson-line formalism, the manuscript computes the classical part of the two-loop (O(G^{7/2})) five-point amplitude for graviton emission in the multi-Regge kinematics of two massless scalar collisions. The result is organized as two rapidity-logarithm terms, one from the one-loop Regge trajectory and one from the gravitational BFKL kernel, and is split into two-particle reducible and three-particle reducible (radiative H-diagram) pieces; the transverse integrals are reduced to five master integrals and evaluated in terms of single-valued polylogarithms by two independent methods. A Weinberg soft-limit check reproduces the known two-loop conservative amplitudes multiplied by the leading soft current. The paper also claims an equivalent optical-theorem/ultrarelativistic massive derivation and discusses implications for massless/massive universality.","tokens_in":29448,"tokens_out":27366,"duration_ms":241351,"significance":"The computation is a well-structured first result at two-loop accuracy for radiative amplitudes at high energy, with plausible factorization, explicit integral evaluation, and a non-trivial soft-limit consistency check. Strengths include the documented reduction to five master integrals, cross-checking by two methods, and the absence of fitted parameters. If the completeness of eq. (4.1) at leading-logarithmic accuracy is established, the paper will be a useful contribution to high-energy gravitational scattering. At present, however, the central claim rests on an unproven truncation of the OPE, so I cannot recommend acceptance without revision.","major_comments":[{"comment":"The OPE is truncated at O(kappa); the authors explicitly defer the O(kappa^2) terms, stating that the analysis of subleading corrections is left to future work. This truncation is load-bearing for the claim that eq. (4.1) is the full leading-log two-loop classical amplitude. Under the paper's own x-power counting, a configuration with one reggeon from the first Wilson line, an O(kappa^2) WW emission term of the type the authors expect, one R^(1) insertion, and two reggeons on the second line has total order kappa^7 and the same number of reggeon fields, hence the same x^-6 power, as eq. (4.1), and it would carry an L1 or L2 factor. No parity, x-power, or hbar-power argument is given that such contributions vanish at leading-logarithmic accuracy. The soft-limit check controls only the 1/omega part of the amplitude and does not exclude them. The statement in Section 5 that the classical one-loop amplitude requires the OPE extended by one order in kappa confirms that the omitted terms are not automatically quantum. Please supply the missing power-counting argument or compute the omitted terms; without it the main result is conditional.","section":"Section 3, eq. (3.16), and Section 4, eq. (4.1)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The alternative optical-theorem derivation is announced with the phrase it can be shown explicitly, but it is not exhibited, and the massive/massless leading-log universality on which it relies is described elsewhere in the paper as conjectural. Since the abstract presents this as an equivalent calculation and this route is one place where the OPE gap could be closed, the derivation should either be shown, or a precise published reference supplied, or the claim downgraded to a conjecture. As written, this part of the paper cannot be checked.","section":"Section 4, around eq. (4.3)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The displayed exponent of x should presumably be -(4+2l); the literal x^{4+2l} conflicts with the x^-6 prefactors in eqs. (4.5) and (4.7) and with the power counting described after eq. (3.16).","section":"Section 2.3, eq. (2.22)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The function D2(z, zbar) is used in the main results before it is defined in Appendix A, eq. (A.10); please add a pointer there when the symbol first appears.","section":"Section 4.2, eqs. (4.15)-(4.16)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The assertion that both the 2PR and 3PR contributions give a null emitted waveform after applying the KMOC-Cristofoli-Gonzo formalism is made without a derivation or reference; if this is not immediate from the cited formalism, it should be substantiated or softened.","section":"Section 5","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Several core ingredients are cited to unpublished preprints, notably the shockwave framework in [76] and the one-loop radiative results in [121] and [122]; please confirm that these sources are publicly available or summarize the needed results sufficiently for the referee and reader.","section":"References","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"major_revision","confidential_remarks":"The main risk is that eq. (4.1) may be incomplete at the advertised accuracy because of the OPE truncation; if the authors cannot fill that gap, the paper should not be published in its current form. The reliance on unpublished preprints for key ingredients is a practical concern for the referee process but is not by itself a reason to reject."},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"Bottom line: this is a real calculation and the first classical two-loop five-point amplitude at leading logarithmic accuracy in MRK. Eqs. (4.15) and (4.16) are explicit, split into the 3PR and 2PR pieces, and are not in the cited literature. The derivation is unusually complete for a physics preprint: MRK power counting, a defined integral basis, reduction to five master integrals, two independent evaluations of those integrals, and a soft limit that reproduces the known conservative two-loop amplitudes times the Weinberg current. That is genuine credit, and the citation pattern around the new result looks sane.\n\nThe soft spot is the one the stress test flagged, and I think it is real. Eq. (4.1) is built only from the leading O(kappa) OPE, eq. (3.16), and the authors defer the O(kappa^2) corrections [b104]. They also say that reproducing the classical one-loop amplitude would require extending the OPE by one order [b112], and that the same order contains many-reggeon interactions. That does not prove those terms contribute to M(2,2), but it does mean the leading-logarithmic claim is asserted rather than demonstrated: the paper gives no power-count or hbar-count argument ruling out an O(kappa^2) emission term combined with one R^(1) insertion generating an L_i coefficient at total order kappa^7. The optical theorem route is announced [b117] but not exhibited, so it does not close the gap. I would not call the result wrong on this basis; standard leading-log factorization suggests the omitted terms are subleading. But the central claim is stronger than what is shown. One smaller caveat: the formalism leans heavily on [76], which is still an arXiv preprint, and the massive-massless universality is explicitly conjectural beyond leading log [b170].\n\nWho this is for: people working in post-Minkowskian gravity, Regge-limit methods, or high-energy radiative amplitudes. It deserves a serious referee. My recommendation is to send it, with a request for either an explicit argument that the O(kappa^2) OPE terms cannot produce leading logs at this order, or a modest restatement of the central result as the leading-OPE contribution. The integral work and the soft-limit check are strong enough that this is fixable, not a rejection.","headline":"A genuinely new two-loop MRK radiative amplitude from the shockwave formalism, with a real but addressable completeness gap at the O(kappa) OPE truncation; referee it rather than desk reject.","tokens_in":29938,"tokens_out":9171,"would_cite":true,"duration_ms":89063,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"At two loops, the classical amplitude for graviton emission in multi-Regge kinematics splits into a two-particle reducible piece and a radiative H-diagram piece, and its soft limit matches Weinberg's current times the two-body amplitude.","keywords":["graviton bremsstrahlung","multi-Regge kinematics","leading logarithmic accuracy","shockwave formalism","H-diagram","classical gravity","post-Minkowskian expansion","single-valued polylogarithms"],"falsifier":"Compute the $O(\\kappa^2)$ term of the emission OPE (the $WW\\,\\epsilon^*$ correction the authors themselves anticipate after eq. (3.13)) and check whether it produces new leading logarithms in the two-loop five-point amplitude; the factorised form (4.1) is complete only if such contributions are subleading. The question could equally be settled by a direct Feynman-diagram evaluation of the two-loop five-point amplitude in multi-Regge kinematics, or by taking the massive-amplitude optical-theorem computation to the next order, where the authors expect the universality to break down.","tokens_in":30436,"feed_emoji":"🌊","tokens_out":21735,"duration_ms":139475,"temperature":0.7,"pith_summary":"Two massless particles passing each other at ultrarelativistic speed radiate gravitons, and this paper computes the classical amplitude for that emission at two loops, order $G^{7/2}$, in multi-Regge kinematics, where final-state particles are strongly ordered in rapidity. The central result, eq. (4.1) evaluated in eqs. (4.15)–(4.16), is that the leading-logarithmic part of the amplitude splits into two pieces of different physical origin: a two-particle reducible term, in which a one-loop quantum correction dresses a classical graviton exchange, and a three-particle reducible term, the radiative counterpart of the $H$-diagram. The same answer is obtained as the ultrarelativistic limit of the massive five-point amplitude by applying the optical theorem, in line with the conjectured universality of leading-logarithmic classical amplitudes. The soft limit of the result reproduces the Weinberg current times the known two-loop two-body amplitude, and when the amplitude is converted into a waveform observable neither term contributes at this order, so the leading logarithms drop out of radiative observables.","feed_headline":"Graviton emission amplitude computed to two loops at high energy","feed_subtitle":"Splits into a reducible quantum piece and a radiative H-diagram piece, and passes the Weinberg soft limit.","key_machinery":"The load-bearing mechanism is the gravitational shockwave formalism. Each colliding scalar is a Wilson line at a fixed transverse impact parameter; the lines are expanded in reggeon fields, coherent single-graviton states, and connected by the rapidity evolution operator $e^{-\\hat H L}$, whose boost Hamiltonian $\\hat H = \\hat R^{(1)}_{1,1} + \\hat R^{(1)}_{2,2} + O(\\kappa^4)$ contains the one-loop graviton Regge trajectory insertion $\\hat R^{(1)}_{1,1}$ and the connected two-reggeon interaction $\\hat R^{(1)}_{2,2}$ given by the gravitational BFKL kernel. The emitted graviton enters through the operator product expansion (3.13) between its creation operator $\\hat a_\\lambda$ and a reggeon field, whose leading term is Lipatov's central emission vertex; the amplitude is then the time-ordered correlator (3.12). The power counting of the ansatz (2.22) — one factor of $x^{-1}$ per reggeon, $x^{-4}$ from the two-body Fourier transform, and one rapidity logarithm per Hamiltonian insertion — singles out eq. (4.1) as the first classical contribution and reduces the transverse dynamics to two-loop massless three-point integrals in $d=2-2\\varepsilon$ dimensions, whose eleven master integrals collapse to five and evaluate to single-valued polylogarithms in $z$.","core_discovery":"The paper's central claim is that equation (4.1),\n$$$M^{{(2,2),\\lambda}}$_{2\\to 3} = -L_1\\big\\langle \\$Phi_2^{{(2)}}$\\,\\hat a_\\$\\lambda$\\big[\\hat $R^{{(1)}}$_{1,1}+\\hat $R^{{(1)}}$_{2,2}\\big]\\$Phi_1^{{(2)}}$\\big\\rangle - L_2\\big\\langle \\$Phi_2^{{(2)}}$\\,\\big[\\hat $R^{{(1)}}$_{1,1}+\\hat $R^{{(1)}}$_{2,2}\\big]\\,\\hat a_\\$\\lambda$\\,\\$Phi_1^{{(2)}}$\\big\\rangle ,$$\nwith rapidity gaps $L_1\\simeq\\log(s_{45}/Q^2)$ and $L_2\\simeq\\log(s_{34}/Q^2)$, is the leading-logarithmic contribution to the classical part of the two-loop radiative five-point amplitude in the ultrarelativistic limit. Evaluated in eqs. (4.15) and (4.16), it yields explicit expressions in the complex transverse variable $z$ built from logarithms and the Bloch-Wigner dilogarithm $D_2(z,\\bar z)$, with spurious collinear poles cancelling from the final answer. The amplitude splits into a two-particle reducible term, in which the one-loop graviton Regge trajectory dresses a classical exchange, and a three-particle reducible term, the radiative counterpart of the $H$-diagram built on the gravitational BFKL kernel. The authors show the same expression is obtained as the ultrarelativistic limit of the imaginary part of the massive five-point amplitude via the optical theorem, and that the soft limit factorises into the Weinberg current times the known two-loop leading-logarithmic four-point amplitude (eqs. (4.21)–(4.22)). They further state that neither the 2PR nor the 3PR term contributes to the emitted waveform in the KMOC-Cristofoli-Gonzo formalism, so the leading logarithms cancel from radiative observables.","pith_inferences":["Because the leading logarithms cancel from the waveform, a usable $O(G^{7/2})$ radiation prediction requires the next-to-leading-logarithmic terms, and the paper's expectation of a breakdown in the massless/massive universality at that order marks it as the natural place to look for genuinely new radiative dynamics.","The recurrence of the same five master integrals at every loop order suggests the transverse-space evaluation can be pushed to higher accuracy with existing integral technology, with higher-weight single-valued polylogarithms in $z$ replacing the Bloch-Wigner dilogarithm.","If the optical-theorem equivalence is a general principle rather than an accident of this order, leading-logarithmic radiative amplitudes are fully determined by elastic Regge data — the trajectory and the BFKL kernel — plus the emission vertex, meaning bremsstrahlung adds no independent information beyond the two-body amplitude.","A concrete test would be to check, at the next order, whether the expected breakdown of universality shows up first in the 2PR or the 3PR sector; the answer would identify whether the Regge trajectory or the $H$-diagram dynamics is the limiting ingredient."],"forward_implications":["The $O(G^{7/2})$ graviton-bremsstrahlung amplitude in multi-Regge kinematics is now known in closed form at leading-logarithmic accuracy: two rapidity logarithms multiplying weight-two single-valued polylogarithms in the transverse variable $z$.","The optical-theorem equivalence (4.3) carries the conjectured universality of leading-logarithmic classical amplitudes from elastic two-body scattering to radiative five-point processes.","Because neither the 2PR nor the 3PR term contributes to the emitted waveform in the KMOC-Cristofoli-Gonzo formalism, the first radiative information at this order must come from subleading logarithms.","The soft limit factorises into the Weinberg current times the two-loop leading-logarithmic four-point amplitude, tying the radiative result to the $H$-diagram and Regge-trajectory pieces of the elastic amplitude.","Each insertion of $\\hat R^{(1)}_{1,1}$ or $\\hat R^{(1)}_{2,2}$ produces one rapidity logarithm and one factor of $\\kappa^2$, so the construction extends to higher-loop leading-logarithmic radiative amplitudes by adding Hamiltonian insertions between the emission operator and the two Wilson lines."],"supporting_citations":[{"why":"Supplies the gravitational shockwave formalism itself: the Wilson-line correlators, the boost Hamiltonian, and the operator product expansion from which eq. (4.1) is assembled.","marker":"[76]"},{"why":"Gives the classical two-body H-diagram amplitude whose leading logarithms the soft limit of the five-point result must reproduce in eqs. (4.21)-(4.22).","marker":"[67]"},{"why":"Provides the graviton Regge trajectory and the central emission vertex used as the leading term of the emission OPE.","marker":"[97]"},{"why":"Supplies the three-mass triangle master integrals expressed through single-valued polylogarithms, to which the transverse integrals of Appendix A are reduced.","marker":"[118]"},{"why":"Provides the reggeon two-point correlator and OPE technology for high-energy scattering that the gravitational shockwave construction transplants from QCD.","marker":"[114]"},{"why":"Defines the waveform observable used to conclude that the 2PR and 3PR terms give null contribution to the emitted radiation.","marker":"[26, 27]"},{"why":"The integration-by-parts reduction software used to reduce the two-loop integrals to eleven, then five, master integrals.","marker":"[123]"},{"why":"Gives the d-dimensional evaluation of the same two-loop three-point integral family in QCD shockwave scattering, used as one cross-check for the master integrals.","marker":"[95]"}],"fun_headline_variants":["Two-loop graviton emission amplitude computed at leading-log accuracy","Classical two-loop amplitude for graviton emission at leading log","Leading-log two-loop amplitude for graviton emission in multi-Regge kinematics","Two-loop graviton emission amplitude splits into reducible terms","Graviton emission amplitude reaches two loops in high-energy collisions"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The load-bearing premise is that the operator product expansion for graviton emission, eq. (3.16), is complete at leading order in the gravitational coupling $\\kappa$: every $O(\\kappa^2)$ correction to the emission operator is deferred, explicitly, to future work, and the claim that eq. (4.1) captures the full leading-logarithmic two-loop amplitude holds only if none of those omitted terms generates additional leading logarithms at this order.","fun_headline_variants_meta":{"raw":{"variants":["Two-loop graviton emission amplitude computed at leading-log accuracy","Classical two-loop amplitude for graviton emission at leading log","Leading-log two-loop amplitude for graviton emission in multi-Regge kinematics","Two-loop graviton emission amplitude splits into reducible terms","Graviton emission amplitude reaches two loops in high-energy collisions"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.000111,"raw_usage":{"cost":0.000111202,"is_byok":false,"cost_details":{"upstream_inference_cost":0.000111202,"upstream_inference_prompt_cost":3.0576e-05,"upstream_inference_completions_cost":8.0626e-05},"total_tokens":1607,"prompt_tokens":1164,"completion_tokens":443,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":1035,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":369}},"tokens_in":1164,"tokens_out":443,"cost_source":"openrouter_usage","duration_ms":5743,"image_pages":[],"temperature":1.0,"billed_attempts":1,"reasoning_tokens":369,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-23T07:57:11.169161+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"Compute the $O(\\kappa^2)$ term of the emission OPE (the $WW\\,\\epsilon^*$ correction the authors themselves anticipate after eq. (3.13)) and check whether it produces new leading logarithms in the two-loop five-point amplitude; the factorised form (4.1) is complete only if such contributions are subleading. The question could equally be settled by a direct Feynman-diagram evaluation of the two-loop five-point amplitude in multi-Regge kinematics, or by taking the massive-amplitude optical-theorem computation to the next order, where the authors expect the universality to break down.","supporting_citations":[{"cited_title":"Gravitational amplitudes in the Regge limit: waveforms, shock waves and unitarity cuts,","cited_arxiv_id":null,"evidence_quote":"Supplies the gravitational shockwave formalism itself: the Wilson-line correlators, the boost Hamiltonian, and the operator product expansion from which eq. (4.1) is assembled."},{"cited_title":"Three-mass triangle integrals and single-valued polylogarithms","cited_arxiv_id":"1209.2722","evidence_quote":"Supplies the three-mass triangle master integrals expressed through single-valued polylogarithms, to which the transverse integrals of Appendix A are reduced."},{"cited_title":"When does the gluon reggeize?","cited_arxiv_id":"1309.6521","evidence_quote":"Provides the reggeon two-point correlator and OPE technology for high-energy scattering that the gravitational shockwave construction transplants from QCD."},{"cited_title":"LiteRed 1.4: a powerful tool for the reduction of the multiloop integrals","cited_arxiv_id":"1310.1145","evidence_quote":"The integration-by-parts reduction software used to reduce the two-loop integrals to eleven, then five, master integrals."},{"cited_title":"Investigating the universality of five-point QCD scattering amplitudes at high energy","cited_arxiv_id":"2411.14050","evidence_quote":"Gives the d-dimensional evaluation of the same two-loop three-point integral family in QCD shockwave scattering, used as one cross-check for the master integrals."}],"review_version":1}