Pith. sign in

REVIEW 3 major objections 5 minor 7 cited by

The paper defines the classical eikonal purely within classical mechanics and derives all-order perturbative formulas for probe particles in electromagnetic and gravitational backgrounds.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

A classical interaction picture defines the classical eikonal directly in classical mechanics and yields all-order eikonal formulas for relativistic probes in EM and gravitational backgrounds.

T0 review reviewed 2026-08-05 challenge →

load-bearing objection Solid, clearly useful extension of the Magnus-based classical eikonal to relativistic probes, with the EM all-order story largely convincing, but the gravitational all-order claim rests on an unproven substitution rule that needs real work before it can be trusted. the 3 major comments →

arxiv 2509.01922 v1 pith:P6HCGHSR submitted 2025-09-02 hep-th

Classical eikonal in relativistic scattering

Sungsoo Kim , Hojin Lee , Sangmin Lee This is my paper
classification hep-th
keywords classical eikonalclassical interaction pictureMagnus expansionworldline quantum field theorypost-Minkowskianradiation observableselectromagnetic backgroundgravitational background
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets up a classical interaction picture, a phase-space version of turning on an interaction, in which the classical eikonal is defined as the generator of the canonical transformation from the unperturbed trajectory to the perturbed one. This makes the eikonal a purely classical object, not a classical limit of log S-matrix. It then supplies all-order perturbative formulas for the eikonal of a relativistic probe in electromagnetic and gravitational backgrounds, and shows how the same eikonal generates radiation observables such as Compton scattering and field momentum loss. If these formulas are right, classical scattering observables in these backgrounds can be computed directly from a single generator and its Poisson brackets, without quantum field theory.

Core claim

On the paper's own terms, the central claim is that for a scattering problem the classical eikonal χ—defined as the logarithm of the classical interaction-picture map U(t)=exp({χ(t),·})—is a well-defined classical generator of all scattering observables. In a Hamiltonian deformation it is the generator of a canonical transformation for all times; in a symplectic deformation, such as a particle in an electromagnetic background, the generator can be extracted once the deformation dies out asymptotically. The paper proves the extraction procedure order by order from the Magnus expansion and writes explicit all-order formulas: for electromagnetism, the eikonal is built from nested brackets of ve

What carries the argument

The classical interaction picture: a phase-space vector field X_I(t) whose exponential U(t)=exp({χ(t),·}) maps the free (unperturbed) trajectory ~ζ(t) to the interacting trajectory ζ(t), with χ(t) the classical eikonal. The Magnus expansion converts the differential equation Sdot U = -U X_I into nested Lie brackets of X_I, giving χ order by order. The propagators entering the diagrams are fixed by the causality prescription: the retarded Green's function G(t1,t2)=θ(t1-t2){...} and its time-ordered relative, with δij contractions that appear only in the Lagrangian/WQFT representation. The all-order EM formulas organize vertices into E-type (from Fμν vν, Newtonian-like) and F-type (from Fμν it

Load-bearing premise

The all-order matching between the Hamiltonian/Magnus eikonal and the Lagrangian/WQFT eikonal is assumed through the equivalence theorem and tested only at low orders; specifically, the paper expects ~χ(n)_k to equal the subset of χ(n+k) with k delta-type propagators, but verifies it only for a few examples.

What would settle it

Compute the gravitational eikonal at fourth order (or the first unmatched order) in both the Magnus and WQFT schemes for a generic weak background, count the δij contractions explicitly, and check the substitution rule (4.11) and the ~χ(n)_k matching. A single mismatch between the two computed eikonals at that order would falsify the claimed equivalence and the all-order formulas built on it.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Scattering observables (impulse, momentum loss, radiated field strength) are all generated by one object χ through Poisson brackets; one no longer needs to take ℏ→0 of a quantum S-matrix.
  • The all-order EM formula (Section 3.2) lets a probe's eikonal be written directly from E-type and F-type vertices, with the Magnus expansion supplying the causal weights.
  • The all-order gravitational formula (Section 4.1) yields ~χ(n) by starting from the Newtonian eikonal and applying the substitution (4.11) to generate non-Newtonian, curvature-dependent terms.
  • The equivalence (4.22) between the Hamiltonian/Magnus eikonal and the Lagrangian/WQFT eikonal holds at least through the checked orders; the matching requires counting contractions with δij propagators.
  • Radiation observables at 0.5PL, 1PL (Compton), and 1.5PL follow from the same impulse-eikonal relation, with total momentum conserved automatically by translation invariance.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper's explicit claims, the construction suggests a route to bound-orbit observables (perihelion precession, orbital elements) from the same eikonal: for periodic unperturbed orbits the eikonal simplifies at integer periods, as the anharmonic-oscillator example shows; a testable extension is to carry this through a post-Newtonian binary at 1PN or 2PN.
  • Because Kerr-Schild metrics make h and ~h linearly related, the WQFT and Magnus expansions coincide term by term; this gives a clean benchmark where the all-order formulas can be pushed to high order without the contraction-matching subtlety.
  • The radiation-eikonal logic in Section 5 is presented for electromagnetism; extending it to gravitational radiation with self-interaction vertices would make the generator picture a full replacement for amplitude-based radiation computations.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper develops a manifestly classical interaction picture (CIP) in which the classical eikonal is defined as the generator of the canonical/symplectic map from the unperturbed to the perturbed trajectory, bypassing the quantum S-matrix. The authors treat Hamiltonian and symplectic deformations on the same footing, include fields, and use the Magnus expansion to compute the eikonal perturbatively. They give explicit eikonal results for a relativistic probe in an electromagnetic background to third order (Section 3.1) and propose an all-order formula (Section 3.2), then turn to a weakly curved gravitational background (Section 4), where they propose an all-order substitution rule (4.11) and compare with worldline quantum field theory (WQFT). Section 5 argues that radiative processes, including Compton scattering and 1.5PL radiation, are encoded in the same eikonal. The central claim is that the classical eikonal is a purely classical object that generates all scattering observables, and that all-order formulas exist for probes in electromagnetic and gravitational backgrounds.

Significance. If the main claims are correct, the paper provides a useful, parameter-free reformulation of classical scattering that is independent of quantum mechanics. The CIP/Magnus construction is a genuinely classical definition of the eikonal, and the low-order explicit results agree with WQFT and with the causality prescription of earlier work. The treatment of fields and radiation as part of the same eikonal framework is a valuable conceptual step. The paper contains no fitted parameters or invented entities, and the WQFT comparisons are used as checks rather than inputs. However, the advertised all-order gravitational formula is not proven: the substitution rule (4.11) and the order-mixing expectation of Section 4.2 are supported only by low-order examples. The significance of the paper is therefore conditional on filling this gap or on restricting the claims to what is proven.

major comments (3)
  1. [Section 4.1, Eq. (4.11)] The all-order gravitational eikonal rests on the substitution rule (4.11), which replaces each Newtonian derivative pair (1/m)R_ij ∂_i·∂_j by θ_ij(D_i·∂_j − ∂_i·D_j). The text states that the two facts (4.9)–(4.10) 'suggest' this rule, but no proof is given that the rule survives all nested commutators of the Magnus expansion. The EM proof in Section 3.2 does not transfer: identities such as (3.34) are specific to the Lorentz-force vector field, while gravity has three vertex types E/F/G in (4.13) and a nonlinear relation between h and h̃. Since the abstract and Section 4.1 claim an all-order formula, this is load-bearing. Please either provide an inductive proof of (4.11) or explicitly restrict the claim to the orders verified.
  2. [Section 4.2, 'WQFT vs. Magnus'] The matching between the Magnus eikonal χ̃ and the WQFT eikonal χ is stated as an expectation: 'we expect that χ̃^(n)_k should match the subset of χ^(n+k) where precisely k of the propagators are of the δ_ij type.' The verification is limited to n=1,2 and two contracted nonlinear trees, with coefficient checks in (4.25)–(4.26). No third-order comparison is shown, and no argument is given that the nonlinear substitution (4.5) commutes with the Magnus recursion in the required way. This order-mixing statement is essential to the claim that the all-order gravitational eikonal agrees with WQFT. The manuscript should either prove this statement or present it as a conjecture with the proven orders clearly delimited.
  3. [Section 3.2, 'Eikonal to all orders'] The all-order EM construction is more detailed, but it still contains a gap between the analysis of the vector-field pieces Q_i and S_i and the assertion that the full Magnus expansion has been reduced to these pieces. The text says 'we have seen how the eikonal can be extracted' and then analyzes vertices attached or not attached to an external leg, but it does not explicitly state an induction hypothesis or show that every Magnus tree is covered. In particular, the complete third-order result (3.29) relies on 'repeating the same exercise for other topologies'. A concise inductive statement of what is being proven would remove residual doubt that the all-order EM claim is fully established.
minor comments (5)
  1. [Section 2.3, around Eq. (2.47)] The verification of the second-order eikonal for a general symplectic deformation is summarized as 'After some cancellations ... provided that some total derivatives vanish.' Please spell out the cancellation and the boundary-term conditions; otherwise the reader cannot check the claim without repeating the full computation.
  2. [Section 3.1, Eq. (3.29)] The full χ(3) is presented after a long but partial computation; the sentence 'Repeating the same exercise for other topologies' hides a substantial amount of algebra. Including at least one nontrivial topology in a footnote or appendix would improve verifiability.
  3. [Section 4.2, Eqs. (4.25)–(4.26)] The coefficient checks cite the (5,Y) part of Figure 1 of Ref. [6] for the integer weights. Since the present paper is intended to be self-contained, a short explanation of the Murua coefficients used here would be helpful.
  4. [Section 5, after Eq. (5.24)] The treatment of the ∂_0^2 G IBP is terse: 'The delta function leads to the incoming photon field measured at the location of the charged particle at the future infinity, which dies off quickly.' This is a boundary-term argument that deserves a few lines of detail, especially because it is used for both energy and spatial momentum conservation.
  5. [General notation] The notation h̃ for the Magnus metric deviation and h for the WQFT one is convenient, but the relation (4.5) and the sign convention g = η − h̃ should be restated near Eq. (4.11) to avoid confusion in the all-order statements.

Circularity Check

0 steps flagged

No circularity: the classical eikonal is derived from the action via Magnus expansion; the unproven all-order gravitational substitution rule is a rigor gap, not a circular reduction.

full rationale

The paper's central construction is self-contained: the classical interaction picture defines χ by the canonical map ζ(t)=e^{{χ,◦}}ζ̄(t) and derives the Magnus recursion from the deformed Hamiltonian, with no reliance on the quantum S-matrix except as historical motivation (Sec. 2.2). The all-order electromagnetic result (Sec. 3.2) is proven from the identities (3.34) and the Bianchi identity, with explicit extraction of E- and F-type vertex factors; it is not an input renamed as a prediction. The gravitational all-order formula is presented as a rule that 'the two facts above suggest' (4.11), and the WQFT comparison is explicitly hedged: 'we expect that χ̃_k^(n) should match the subset...' (Sec. 4.2). This is an unproven ansatz and a genuine limitation, but it is not circular — the Newtonian eikonal plus identities (4.9)–(4.10) are not the same object as the claimed all-order gravitational eikonal, and no fitted parameter or definitional identity forces the equality. The use of [6] for Murua ω-coefficients and causality weights (e.g., ω(Y4)=−1/12 in Sec. 4.2) is a self-citation, but it is used as a check of the contraction rule, not as the load-bearing derivation of the rule, and [6] is prior published work with independent computational content. Section 5's radiation computations verify that EOM-derived field impulses agree with eikonal brackets, which is a consistency check rather than a tautology. No circular reduction is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

No free parameters are fitted to data. The derivation invokes standard mathematical tools (Magnus expansion, Poisson brackets), domain assumptions about asymptotic falloff of backgrounds, and the equivalence theorem for field redefinitions. No new particles or fields are introduced.

axioms (4)
  • standard math Magnus expansion converges and gives the unique solution to the differential equation for U(t)
    Used in Section 2.2 and throughout; from [12-14].
  • domain assumption The Poisson bracket of fields equals the retarded propagator difference (causality cut), {phi(x), phi(y)} = -G(x-y)+G(y-x)
    State in Section 2.5, eq (2.63); central to connecting the eikonal to observables.
  • domain assumption Background fields vanish sufficiently fast at infinity so all total derivatives vanish
    Assumed in Section 2.3 after (2.46), and in Section 3.1 around (3.9), to extract the scalar eikonal.
  • domain assumption The equivalence theorem [23,24] guarantees chi and chi tilde are equal in content
    Used in Section 4.2 to relate Hamiltonian and Lagrangian eikonal.

reviewed 2026-08-05 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Classical eikonal in relativistic scattering." pith.science (2026). https://pith.science/paper/P6HCGHSR

@misc{pith2026250901922,
  author       = {Pith},
  title        = {Pith review of: Classical eikonal in relativistic scattering},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P6HCGHSR}},
  note         = {Machine review of arXiv:2509.01922}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

The classical eikonal is defined to be the generator of all scattering observables in a scattering problem in classical mechanics. It was originally introduced as the log of the quantum S-matrix in the classical limit. But its classical nature calls for a definition and computational methods independent of quantum mechanics. In this paper, we formulate a classical interaction picture which serves as the foundation of the classical eikonal. Our emphasis is on generality. In perturbation theories, both Hamiltonian deformation and symplectic deformation are considered. Particles and fields are treated on a similar footing. The causality prescription of the propagator is essentially the same for non-relativistic and relativistic kinematics. For a probe particle in electromagnetic or gravitational background, we present all order formulas for the perturbative eikonal. In the electromagnetic setting, we also illustrate how the eikonal encodes the information on radiation of external fields.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 7 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the integrability of root-Kerr probe dynamics

    hep-th 2026-04 unverdicted novelty 7.0

    In the root-Kerr model, integrability holds to all spin orders at first order in probe charge with Newman-Janis vertices but extends only to spin-squared at second order and fails at spin-cubic, with asymptotic conser...

  2. Resumming Scattering Amplitudes for Waveforms

    hep-th 2026-01 unverdicted novelty 7.0

    A new projector-based formalism determines effective potentials from perturbative amplitudes and resums them to compute non-perturbative gravitational waveforms for generic two-body trajectories.

  3. The Diagrammar of Quantum Magnusian

    hep-th 2026-05 unverdicted novelty 6.0

    Establishes edge contraction rules for recursive diagrammatic computation of Murua coefficients in the quantum Magnusian without direct Magnus series manipulation.

  4. On the integrability of root-Kerr probe dynamics

    hep-th 2026-04 unverdicted novelty 6.0

    In the root-Kerr probe model, integrability holds to all spin orders at leading probe charge under Newman-Janis vertices but fails at spin-cubic order at second charge order and cannot be restored by further action de...

  5. Black Hole Response Theory and its Exact Shockwave Limit

    hep-th 2026-04 unverdicted novelty 6.0

    Black hole response theory in WQFT exactly reproduces the Aichelburg-Sexl shockwave metric, geodesics, and the transfer matrix for gravitational-wave scattering off it via post-Minkowskian resummation.

  6. Universality in Relativistic Spinning Particle Models

    hep-th 2026-03 unverdicted novelty 6.0

    Four relativistic spinning particle models (vector oscillator, spinor oscillator, spherical top, massive twistor) describe identical physics in free and interacting theories within the spin-magnitude-preserving sector.

  7. Manifest symplecticity in classical scattering

    hep-th 2025-11 conditional novelty 4.0

    The on-shell action and the exponential scattering generator differ as functions, but the on-shell action of the true Hamiltonian equals the on-shell action of the generator treated as a unit-time effective Hamiltonian.

Reference graph

Works this paper leans on

27 extracted references · 8 canonical work pages · cited by 6 Pith papers

  1. [1]

    Bjerrum-Bohr, P.H

    N.E.J. Bjerrum-Bohr, P.H. Damgaard, L. Plante and P. Vanhove, The SAGEX review on scattering amplitudes Chapter 13: Post-Minkowskian expansion from scattering amplitudes , J. Phys. A 55 (2022) 443014 [ 2203.13024]

    Pith/arXiv arXiv 2022

  2. [2]

    Kosower, R

    D.A. Kosower, R. Monteiro and D. O’Connell, The SAGEX review on scattering amplitudes Chapter 14: Classical gravity from scattering amplitudes , J. Phys. A 55 (2022) 443015 [2203.13025]

    Pith/arXiv arXiv 2022

  3. [3]

    Buonanno, M

    A. Buonanno, M. Khalil, D. O’Connell, R. Roiban, M.P. Solon and M. Zeng, Snowmass White Paper: Gravitational Waves and Scattering Amplitudes , in Snowmass 2021 , 4, 2022 [2204.05194]

    Pith/arXiv arXiv 2021

  4. [4]

    Gonzo and C

    R. Gonzo and C. Shi, Scattering and Bound Observables for Spinning Particles in Kerr Spacetime with Generic Spin Orientations , Phys. Rev. Lett. 133 (2024) 221401 [2405.09687]

    Pith/arXiv arXiv 2024

  5. [5]

    Kim, J.-W

    J.-H. Kim, J.-W. Kim and S. Lee, Massive twistor worldline in electromagnetic fields , JHEP 08 (2024) 080 [ 2405.17056]

    Pith/arXiv arXiv 2024

  6. [6]

    Kim, J.-W

    J.-H. Kim, J.-W. Kim, S. Kim and S. Lee, Classical eikonal from Magnus expansion , JHEP 01 (2025) 111 [ 2410.22988]

    Pith/arXiv arXiv 2025

  7. [7]

    Alessio, R

    F. Alessio, R. Gonzo and C. Shi, Dirac brackets for classical radiative observables , 2506.03249

    arXiv

  8. [8]

    Feynman, An Operator calculus having applications in quantum electrodynamics , Phys

    R.P. Feynman, An Operator calculus having applications in quantum electrodynamics , Phys. Rev. 84 (1951) 108

    work page 1951

  9. [9]

    Lehmann, K

    H. Lehmann, K. Symanzik and W. Zimmermann, On the formulation of quantized field theories. II, Nuovo Cim. 6 (1957) 319

    work page 1957

  10. [10]

    Damgaard, L

    P.H. Damgaard, L. Plante and P. Vanhove, On an exponential representation of the gravitational S-matrix, JHEP 11 (2021) 213 [ 2107.12891]

    Pith/arXiv arXiv 2021

  11. [11]

    Damgaard, E.R

    P.H. Damgaard, E.R. Hansen, L. Plant´ e and P. Vanhove,Classical observables from the exponential representation of the gravitational S-matrix , JHEP 09 (2023) 183 [ 2307.04746]

    Pith/arXiv arXiv 2023

  12. [12]

    Magnus, On the exponential solution of differential equations for a linear operator , Commun

    W. Magnus, On the exponential solution of differential equations for a linear operator , Commun. Pure Appl. Math. 7 (1954) 649

    work page 1954

  13. [13]

    Blanes, F

    S. Blanes, F. Casas, J. Oteo and J. Ros, The magnus expansion and some of its applications , Physics Reports 470 (2009) 151

    work page 2009

  14. [14]

    Ebrahimi-Fard, I

    K. Ebrahimi-Fard, I. Mencattini and A. Quesney, What is the magnus expansion? , 2023

    work page 2023

  15. [15]

    Mogull, J

    G. Mogull, J. Plefka and J. Steinhoff, Classical black hole scattering from a worldline quantum field theory , JHEP 02 (2021) 048 [ 2010.02865]

    Pith/arXiv arXiv 2021

  16. [16]

    Jakobsen, G

    G.U. Jakobsen, G. Mogull, J. Plefka and B. Sauer, All things retarded: radiation-reaction in worldline quantum field theory , JHEP 10 (2022) 128 [ 2207.00569]

    Pith/arXiv arXiv 2022

  17. [17]

    Kim, Radiation eikonal for post-Minkowskian observables , Phys

    J.-W. Kim, Radiation eikonal for post-Minkowskian observables , Phys. Rev. D 111 (2025) L121702 [2501.07372]

    Pith/arXiv arXiv 2025

  18. [18]

    Witzany, Hamilton-Jacobi equation for spinning particles near black holes , Phys

    V. Witzany, Hamilton-Jacobi equation for spinning particles near black holes , Phys. Rev. D 100 (2019) 104030 [ 1903.03651]

    Pith/arXiv arXiv 2019

  19. [19]

    Comp` ere and A

    G. Comp` ere and A. Druart,Complete set of quasi-conserved quantities for spinning particles around Kerr, SciPost Phys. 12 (2022) 012 [ 2105.12454]. – 33 –

    Pith/arXiv arXiv 2022

  20. [20]

    Comp` ere, A

    G. Comp` ere, A. Druart and J. Vines, Generalized Carter constant for quadrupolar test bodies in Kerr spacetime , SciPost Phys. 15 (2023) 226 [ 2302.14549]

    Pith/arXiv arXiv 2023

  21. [21]

    Akpinar, G.R

    D. Akpinar, G.R. Brown, R. Gonzo and M. Zeng, Unexpected Symmetries of Kerr Black Hole Scattering, 2508.10761

    Pith/arXiv arXiv

  22. [22]

    Murua, The hopf algebra of rooted trees, free lie algebras, and lie series , Foundations of Computational Mathematics 6 (2006) 387

    A. Murua, The hopf algebra of rooted trees, free lie algebras, and lie series , Foundations of Computational Mathematics 6 (2006) 387

    work page 2006

  23. [23]

    Chisholm, Change of variables in quantum field theories , Nucl

    J.S.R. Chisholm, Change of variables in quantum field theories , Nucl. Phys. 26 (1961) 469

    work page 1961

  24. [24]

    Kamefuchi, L

    S. Kamefuchi, L. O’Raifeartaigh and A. Salam, Change of variables and equivalence theorems in quantum field theories , Nucl. Phys. 28 (1961) 529

    work page 1961

  25. [25]

    Bern, J.P

    Z. Bern, J.P. Gatica, E. Herrmann, A. Luna and M. Zeng, Scalar QED as a toy model for higher-order effects in classical gravitational scattering , JHEP 08 (2022) 131 [ 2112.12243]

    Pith/arXiv arXiv 2022

  26. [26]

    Wang, Binary dynamics from worldline QFT for scalar QED , Phys

    T. Wang, Binary dynamics from worldline QFT for scalar QED , Phys. Rev. D 107 (2023) 085011 [2205.15753]

    Pith/arXiv arXiv 2023

  27. [27]

    Z. Bern, E. Herrmann, R. Roiban, M.S. Ruf, A.V. Smirnov, V.A. Smirnov et al., Conservative Binary Dynamics at Order α5 in Electrodynamics, Phys. Rev. Lett. 132 (2024) 251601 [2305.08981]. – 34 –

    Pith/arXiv arXiv 2024

This paper was first reviewed by deepseek-v4-flash on August 5, 2026.