{"id":"8223113c-4e0f-4b77-b3a8-b95fcde1d53f","arxiv_id":"2412.02034","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New one-loop formulas express the momentum impulse and spin kick of two scattered spinning bodies directly in terms of the eikonal phase, valid to all orders in spin and independent of the spin supplementary condition.","lead":"Physicists derived new formulas that predict how spinning objects exchange momentum and spin in high-energy scattering, correct to one loop and to arbitrary order in spin. The result gives gravitational-wave modelers a more general tool for computing binary dynamics without fixing a spin condition in advance.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The all-orders claim rests on the unproven cut-correction replacement rule Eq. (4.17), whose validity beyond quadratic order in spin is not established.","rationale":"The reader's weakest assumption identifies the same load-bearing point: the cut-correction replacement rule Eq. (4.17) is not derived but postulated as 'bookkeeping'. This is exactly where the all-orders-in-spin claim is least secure. The paper verifies the final eikonal formulas only to quadratic order in spin, leaving open the possibility that the projector-derivative shorthand fails for cubic and higher spin structures. The concrete test directly probes the rule on a generic cubic-in-spin term without relying on the shorthand; if the equality fails, the central claim collapses to the verified quadratic order. Since the paper is otherwise careful, uses a clean completeness relation, and matches known results to quadratic order, a conditional acceptance with a required proof or scoping of Eq. (4.17) is the appropriate verdict. Therefore the reader's CONDITIONAL verdict is preserved.","tokens_in":32065,"tokens_out":2470,"duration_ms":25901,"concrete_test":"Evaluate the left-hand side of Eq. (4.17) for a tree-level amplitude (3.2) with a generic Υ containing independent cubic-in-spin tensor structures, keeping all derivatives of Υ (not just the projector part). Compare the result with 2∂δ_cov/∂Π^{αγ} computed from the same Υ. If the two disagree for a generic coefficient choice, Eq. (4.17) is not a valid all-orders replacement and Eqs. (4.20) and (5.22) are not established beyond the quadratic-order check. Alternatively, compare the impulse formula (4.20) with the O(G^2) cubic-in-spin results in Ref. [91] after imposing the SSC; a mismatch would falsify the all-orders claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (4.17) converts the loop-momentum derivative integral in Eq. (4.16) into 2∂δ_cov/∂Π^{αγ}. The paper itself calls this a 'bookkeeping strategy' (Sec. 4.2) and Appendix C only demonstrates it on a simplified projection of the tree-level ansatz, absorbing the Υ-dependent terms into f. The derivative with respect to the projector is a new shorthand, not a functional derivative; if the on-shell projector is applied before differentiating, the term vanishes. The final formulas (4.20) and (5.22) are checked only up to quadratic order in spin. Since the central claim is 'to higher order in spin' and 'any order', the validity of Eq. (4.17) at cubic and higher orders is the load-bearing assumption. No independent derivation is given; the rule is postulated to produce the desired eikonal form.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript derives one-loop (O(G^2)) eikonal-type formulas for the momentum impulse and spin kick of two massive spinning bodies in the KMOC formalism, using non-transverse ('general-spin') fields that do not satisfy a spin supplementary condition. The central results are Eq. (4.20) for the momentum impulse and Eq. (5.22) for the spin kick, expressed in terms of the covariant eikonal phase δ_cov and derivatives thereof, including a new 'cut-correction' term controlled by derivatives with respect to the projector Π^{μν}. The derivation decomposes the one-loop amplitude into real and imaginary parts and into iteration pieces, applies horizontal-flip symmetry to remove classically-singular contributions, and introduces the projector-derivative replacement rule Eq. (4.17) to resolve the cut-correction integral. The formulas are checked against Ref. [141] up to quadratic order in spin after imposing the SSC, and the paper verifies momentum conservation and spin-tensor-magnitude conservation.","tokens_in":32116,"tokens_out":6433,"duration_ms":64623,"significance":"If Eqs. (4.20) and (5.22) hold to all orders in spin, they provide a compact and theory-agnostic bridge between the eikonal phase and spinning observables, going beyond previous fixed-spin analyses and packaging SSC-violating effects into the operator ∇_pcm. The paper is clearly organized, the comparison with the independent benchmark of Ref. [141] up to quadratic order is a genuine check, and the explicit conservation-law checks strengthen the result. The main deficit is that the single new ingredient needed for the all-orders claim—the replacement rule Eq. (4.17)—is asserted rather than derived, and its domain of validity is not established beyond the quadratic-order comparison.","major_comments":[{"comment":"The replacement rule Eq. (4.17) is not derived from the integral definition; it is prescribed. The paper itself calls it a 'bookkeeping strategy' (Sec. 4.2), and Appendix C verifies it only on a simplified projection of the tree-level ansatz, dropping terms proportional to u·b and absorbing Υ-dependent terms into an unspecified function f. Moreover, Sec. 4.2 notes that if the on-shell projector were applied before differentiating, the term would vanish. This shows that Eq. (4.17) is an independent assumption rather than a consequence of the on-shell δ-functions or of the amplitude ansatz. Since the ∇_pcm terms in Eqs. (4.20) and (5.22) are exactly those generated by Eq. (4.17), the central claim that the formulas hold to arbitrary order in spin is not established until this rule is independently justified.","section":"§4.2, Eq. (4.17), Appendix C"},{"comment":"The validation against Ref. [141] is explicitly restricted to quadratic order in spin, as the paper states in the Introduction and Conclusion. The cut-correction term, which is the new structure beyond previous results, first contributes at cubic and higher orders in spin; these are precisely the orders for which no independent benchmark is provided. Therefore the statement that the derivation is 'valid to any order in spin' overstates the evidence presented, unless an all-orders proof of Eq. (4.17) or an independent check at cubic order is supplied.","section":"§6 and Conclusion"},{"comment":"The generality of the result is tied to the specific tree-level ansatz Eq. (3.2) and to the treatment of the polarization exponent in Eq. (3.3). The paper claims that the derivation is 'agnostic to the choice of theory', but it does not specify which properties of the amplitude beyond this ansatz are required for the replacement rule (4.17). Making the minimal assumptions explicit is important, because the validity of the projector-derivative rule may depend on them; currently the theory-agnostic claim is not fully quantified.","section":"§3.1 and §4.2"}],"minor_comments":[{"comment":"The term (∂δ_cov/∂(bcov)⊥)^2 is written without explicit index contractions; adding a comment on which Lorentz indices are contracted would improve readability.","section":"Eq. (4.19)"},{"comment":"The triple equality for the spin projector is terse; making the summed and free indices explicit would help the reader verify the identity.","section":"§5.1, Eq. (5.7)"},{"comment":"The condition u·b = 0 is used without noting that b here is the covariant impact parameter b_cov; a sentence clarifying this, and its consistency with the projector insertion, would prevent confusion.","section":"Appendix C, Eq. (C.2)"},{"comment":"The manuscript contains several typos and typesetting artifacts (e.g., 'spinni ng', 'constatnt', inconsistent use of 'bcov' versus 'b_cov', and the unusual ✚✚D notation); a careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a serious contribution and likely publishable after the missing justification of Eq. (4.17) is addressed. The quadratic-order comparison against Ref. [141] is a genuine benchmark, and the issue identified here is a gap in the derivation rather than an inconsistency with existing results. The authors should either prove the replacement rule from the integral definition (for instance, by explicitly evaluating the left-hand side of Eq. (4.16) with the general ansatz, including the terms currently absorbed into f) or restrict the claims to quadratic order in spin, which would substantially reduce the paper's scope. The editor may also wish to consider the relationship between this work and the author's earlier Ref. [129], since the present results are a direct generalization of that framework."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Juan Pablo Gatica's paper derives one-loop O(G^2) eikonal formulas for momentum impulse and spin kick, to all orders in spin in principle, using KMOC with non-transverse massive spinning fields, no SSC imposed. What's genuinely new is the method: simple completeness relation for non-transverse polarization tensors, and the resulting compact formulas (4.20)/(5.22) expressed entirely in terms of the eikonal phase. The author checks them against the independent fixed-spin eikonal results of Ref. [141] up to quadratic order in spin, after imposing SSC, and they satisfy momentum and spin-tensor magnitude conservation. That's real evidence and the paper is honest about its limits. The citation pattern looks appropriate; the key comparison to Ref. [141] is exactly where it should be. The all-orders claim, though, rests on the replacement rule Eq. (4.17), and that rule is the soft spot. The paper itself calls it a bookkeeping strategy, not a derivation; Appendix C demonstrates it only on a simplified projection of the tree-level ansatz, and the derivative with respect to the projector is defined as shorthand. If you apply the on-shell projector before differentiating, the term vanishes. So the cubic-and-higher spin content of the formulas is not actually established. The author acknowledges this, saying checks stop at quadratic and higher-spin subtleties may appear at quintic order. That is proportionate and I believe it. The derivation does not feel circular at the level where it is checked, because Ref. [141] is an independent benchmark; the circular flavor is confined to the cut-correction prescription, which is chosen to produce the desired eikonal form. For the low-spin sector the formulas are solid; for the advertised generality they are a conjecture, clearly labeled as such. Who is this for? People working on PM scattering of spinning bodies, gravitational-wave modeling, and eikonal/KMOC dictionaries. They will want the formulas and will read the caveats. This deserves a serious referee: the method is interesting, the checks are meaningful, and the missing derivation of Eq. (4.17) is a well-defined request, not a hopeless flaw. I would send it to review, with the clear instruction that the replacement rule needs either a proper derivation or an explicit scoping of the claim.","headline":"Useful all-order-in-spin eikonal formulas from a genuinely new KMOC route, but the all-orders claim hangs on an explicitly bookkeeping replacement rule that is only checked to quadratic spin.","tokens_in":32758,"tokens_out":3096,"would_cite":true,"duration_ms":26534,"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 derives one-loop formulas giving the momentum impulse and spin kick of spinning binaries directly from the eikonal phase, to any order in spin.","keywords":["spin kick","momentum impulse","eikonal phase","KMOC formalism","higher-spin fields","spin supplementary condition","post-Minkowskian expansion","classical scattering"],"falsifier":"A direct computation of the one-loop momentum impulse or spin kick at cubic or quartic order in spin, for gravity or any long-range theory of non-transverse massive spinning fields, using full phase-space integration without the replacement rule Eq. (4.17), would settle the claim: if the result differs from Eqs. (4.20) and (5.22), the bookkeeping prescription is not generally valid and the formulas fail beyond the verified quadratic order.","tokens_in":31710,"feed_emoji":"🌀","tokens_out":9197,"duration_ms":83507,"temperature":0.7,"pith_summary":"This paper aims to show that at one loop, the second post-Minkowskian order for gravity, the momentum impulse and the spin kick of two classical spinning bodies can be computed directly from the eikonal phase, with no truncation in spin. The derivation is carried out in the KMOC formalism, which links scattering amplitudes to classical observables, using non-transverse massive spinning fields that do not impose the spin supplementary condition and only assuming the generic long-range structure of the amplitudes. The resulting formulas, Eqs. (4.20) and (5.22), express both observables through the eikonal phase and its derivatives; imposing the spin supplementary condition afterwards recovers the fixed-spin eikonal results, which the author verifies up to quadratic order in spin for gravity. A sympathetic reader should care because, if the claim holds, spin-dependent scattering at this order is encoded in a single phase and a short list of operations on it, rather than in separate amplitude calculations at each spin order.","feed_headline":"Spin kick and impulse reduce to eikonal phase at one loop","feed_subtitle":"Derived with no spin supplementary condition, they match known gravity results once one is imposed.","key_machinery":"The machinery is the eikonal phase $\\delta_{\\text{cov}}(b_{\\text{cov}}, u_1, u_2, S_1, S_2)$, together with the covariant impact parameter $b_{\\text{cov}} = b - (\\omega_1 - \\omega_2)$ that absorbs the spin-dependent polarization phases. Non-transverse 'general-spin' fields give a trivial polarization completeness relation, and special kinematics plus horizontal-flip symmetry are used to discard classically-singular terms. Two projectors carry the conserved quantities: $\\Pi^{\\mu\\nu}$ enforces the on-shell momentum transfer, and $\\Sigma^{\\mu\\nu}_{\\ \\ \\rho\\sigma}$ preserves the spin-tensor magnitude while leaving the Lorentz algebra unchanged. The load-bearing step is the replacement rule $\\int \\not\\!\\!Dl\\, e^{-ib_{\\text{cov}}\\cdot l} l^\\gamma \\frac{\\partial}{\\partial l^\\alpha} A^{(1)}(l) \\to 2\\, \\partial\\delta^{(1)}_{\\text{cov}}/\\partial\\Pi^{\\alpha\\gamma}$, which converts the cut-correction term, generated by expanding the on-shell delta functions in the two-particle cut, into a derivative of the eikonal phase with respect to the projector; imposing the SSC removes this term.","core_discovery":"The central claim, stated on the paper's own terms, is that Eqs. (4.20) and (5.22) give the one-loop $\\mathcal{O}(G^2)$ momentum impulse and spin kick for arbitrary spin, expressed solely in terms of the eikonal phase, for any long-range scattering theory of non-transverse massive spinning fields, without imposing a spin supplementary condition. Both formulas follow the same pattern: the tree-level observable acting on the one-loop phase, minus an iterated commutator of the tree-level phase with the tree-level observable, minus a symmetrized product involving the tree-level momentum impulse and a derivative $\\nabla^{\\alpha}_{\\text{pcm}}$ that respects the center-of-mass symmetry. The comparison for gravity, after imposing the SSC, agrees with the fixed-spin eikonal results of Ref. [141] up to quadratic order in spin, and the formulas satisfy momentum conservation and spin-tensor-magnitude conservation.","pith_inferences":["Beyond the paper, the derivation should transfer to non-gravitational long-range theories such as electromagnetic scattering of charged spinning bodies, since only the generic long-range amplitude structure is used; a direct computation there would be a cheap test of the formulas.","The author's hint that the cut-correction terms encode effects of the lower-spin states propagating in non-transverse fields could be checked by computing the spin-vector magnitude change at one loop and comparing it with the cut-correction contribution.","The common pattern behind Eqs. (4.20) and (5.22) suggests that all-order-in-spin one-loop observables might be generated by a translation operator acting on tree-level observables; making that operator explicit could yield a shorter derivation and a route toward two-loop iteration.","The replacement rule Eq. (4.17) is the main risk; because it is justified only as bookkeeping, testing the formulas at cubic or quartic order in spin in a model where Compton-amplitude exponentiation breaks down would map where the claim stops holding."],"forward_implications":["In any theory with the assumed long-range amplitude structure, the one-loop momentum impulse and spin kick are fixed by the tree-level and one-loop eikonal phases together with derivatives and commutators, so no other one-loop input is needed.","Imposing a spin supplementary condition after the calculation removes the cut-correction derivative terms, recovering the fixed-spin eikonal results and showing that the SSC-violating degrees of freedom decouple in the classical limit.","The projectors $\\Pi^{\\mu\\nu}$ and $\\Sigma^{\\mu\\nu}_{\\ \\ \\rho\\sigma}$ make momentum conservation and spin-tensor-magnitude conservation automatic at one loop, giving built-in checks for future applications.","Both observables obey the same Baker-Campbell-Hausdorff-style pattern, matching the form that would be produced by half-shift or translation-operator generation of higher-order corrections."],"supporting_citations":[{"why":"Defines the KMOC observable formula and the virtual/real kernel decomposition used throughout the derivation.","marker":"[136]"},{"why":"Prior derivation of a one-loop eikonal formula linear in spin using non-transverse massive spinning fields, which this paper generalizes.","marker":"[129]"},{"why":"Establishes the general-spin (non-transverse, SSC-violating) field description and its relation to fixed-spin results through Wilson coefficients.","marker":"[127]"},{"why":"Provides the reverse-engineered eikonal formulas and the Baker-Campbell-Hausdorff pattern that organizes the one-loop observables.","marker":"[76]"},{"why":"Fixed-spin eikonal derivation, verified up to quadratic order in spin, used as the comparison target after imposing the SSC.","marker":"[141]"},{"why":"Introduces the special kinematics used to make the classical scaling of the momentum-conserving delta functions uniform.","marker":"[115]"},{"why":"Supplies the horizontal-flip symmetry and the treatment of classically-singular one-loop contributions used to cancel symmetric products.","marker":"[116]"},{"why":"Provides the procedure for expanding the on-shell delta functions in the KMOC cut, which generates the cut-correction term resolved by Eq. (4.17).","marker":"[172]"}],"fun_headline_variants":["One-loop spin kick and impulse from eikonal phase alone","One-loop spin observables without SSC from eikonal","Eikonal phase gives one-loop spin kick and impulse","Arbitrary-spin one-loop observables from eikonal phase"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the replacement rule Eq. (4.17), which turns the cut-correction term into a derivative with respect to the momentum projector; the paper calls this a bookkeeping strategy rather than a derivation, and notes that applying the on-shell projector before differentiating would make the term vanish.","fun_headline_variants_meta":{"raw":{"variants":["One-loop spin kick and impulse from eikonal phase alone","One-loop spin observables without SSC from eikonal","Eikonal phase gives one-loop spin kick and impulse","Arbitrary-spin one-loop observables from eikonal phase"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001717,"raw_usage":{"total_tokens":6731,"prompt_tokens":824,"completion_tokens":5907,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":5836}},"tokens_in":440,"tokens_out":5907,"duration_ms":36607,"temperature":1.0,"reasoning_tokens":5836,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T23:53:34.981404+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct computation of the one-loop momentum impulse or spin kick at cubic or quartic order in spin, for gravity or any long-range theory of non-transverse massive spinning fields, using full phase-space integration without the replacement rule Eq. (4.17), would settle the claim: if the result differs from Eqs. (4.20) and (5.22), the bookkeeping prescription is not generally valid and the formulas fail beyond the verified quadratic order.","supporting_citations":[],"review_version":1}