{"id":"38e3d050-4a44-4dec-9f09-6ac5ce4e69e5","arxiv_id":"2509.06058","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A phase-space worldline formalism whose half-line and full-line topologies automate LSZ reduction yields classical Compton amplitudes up to six points.","lead":"This paper rewrites the worldline formalism for scattering amplitudes in phase space, producing simpler Feynman rules and automatic on-shell reductions. The author demonstrates it on photon, Yang-Mills, and gravitational Compton amplitudes up to six points in the classical limit.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Half-line/full-line moduli-space measure rests on unproven restriction to complete metrics; finite-length sectors have a total-length modulus dropped in Eqs. (3.45)-(3.46).","rationale":"The reader's weakest assumption identifies the moduli-space measure of Sec. 3.4 as the crucial uncertainty, which matches the present stress-test focus. However, the reader emphasizes the Faddeev-Popov determinant and the 'residual symmetry is R' point, while the sharper issue is the completeness restriction: finite-length metrics form a separate moduli space (parametrized by total length L) that is not covered by the gauge-fixing δ[κ−κ∞]. This is explicitly acknowledged in the paper ('This yet assumes that we sum over complete metrics'), making it a self-identified limitation that must be flagged per the review rules. The concern is load-bearing because Eqs. (3.40)-(3.41) are the foundation of the automated-LSZ claim; if the correct partition function includes an integral over L, the claimed equality to the on-shell transition amplitude is not a faithful path-integral evaluation but an additional truncation. The paper's low-multiplicity amplitude checks (Secs. 4.3.1-4.3.3) are consistent with the on-shell limit, which is why this is not a fatal flaw: the framework may still produce correct on-shell amplitudes after an explicit limit, but the central 'top-down derivation' would be reduced to a rephrasing of the standard interval formalism plus a large-L limit. Therefore the verdict remains CONDITIONAL, with no change to the reader's assessment, but with the completeness assumption now pinpointed as the precise condition to be proven.","tokens_in":44389,"tokens_out":19937,"duration_ms":231790,"concrete_test":"Compute the half-line partition function in free theory using a gauge-fixing that retains the total-length modulus: map the half-line to a compact interval [0,L] via a diffeomorphism, fix κ to a constant on this interval, and integrate over L with the correct Faddeev-Popov determinant. If the result is ∫₀^∞ dL K(p₂,L|x₁,0) (an off-shell propagator with a 1/(p₂²+m²) pole) rather than exactly K(p₂,∞|x₁,0), then Eq. (3.45) drops a finite-length sector and the identity (3.40) fails as an exact equality. An independent check: recompute the single-photon half-line result including finite-L metrics and compare with Eq. (3.33); a mismatch confirms the moduli-space measure is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that noncompact worldline topologies automate LSZ reduction (Eqs. 3.40-3.41) relies on the moduli-space treatment of Sec. 3.4, where the einbein path integral is replaced by gauge-fixing to a constant κ∞. The paper explicitly assumes 'we sum over complete metrics' (Sec. 3.4, after Eq. 3.45). This is load-bearing because, without it, the half-line metrics split into equivalence classes labeled by the total length L = ∫₀^∞ κ(σ)dσ, which is diffeomorphism-invariant and finite for non-complete metrics. Such metrics are not diffeomorphic to the constant-einbein metric (which has L=∞), so the gauge slice δ[κ−κ∞] does not intersect their gauge orbits. A faithful gauge-fixing over all einbeins would yield a moduli integral over L, Z(p₂,x₁) = ∫ dL K(p₂,L|x₁,0), an off-shell quantity, not the on-shell K(p₂,∞|x₁,0) claimed in Eq. (3.40). The Faddeev-Popov determinant (footnote 3) and completeness assumption are intertwined: a proper FP procedure on the full space of metrics would retain the L modulus. Thus, Eqs. (3.40)-(3.41) are not derived from the partition-function definition in Eq. (3.43); they amount to a boundary/large-L projection. The automated-LSZ claim is therefore conditional on an unproven truncation of the path integral, and the 'top-down derivation' promised in Sec. 3.3 is incomplete.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a phase-space (first-order) worldline formalism and argues that noncompact worldline topologies automate LSZ reduction. It introduces a distinction between Hamiltonian and symplectic perturbation theories, derives universal Feynman rules in which the propagator encodes the Poisson bracket and vertices are Hamiltonian or symplectic, and then claims that the interval, half-line, and full-line topologies respectively produce off-shell propagators, partly on-shell propagators, and on-shell scattering amplitudes directly from the first-quantized path integral. The central technical step is the moduli-space treatment of the einbein integral: the interval retains the Schwinger proper-time modulus, while the half-line and full line are claimed to have trivial moduli spaces, with the full line having only a constant-translation residual gauge redundancy. The formalism is then applied to scalar QED, where classical multi-photon Compton amplitudes are computed up to six points in an eikonalized limit, and to Yang-Mills and gravity, where two-photon/graviton Compton amplitudes are obtained from nonlinearly superposed plane-wave backgrounds.","tokens_in":44715,"tokens_out":8818,"duration_ms":112611,"significance":"If the central claim holds, the paper would provide a genuinely useful simplification: tree-level scattering amplitudes would be extracted from worldline path integrals without a separate LSZ post-processing step, and the phase-space formulation makes gauge invariance manifest at intermediate stages. The low-order Compton computations in Sec. 4.3 are explicit and the y, the Yang-Mills/gravity treatment in Sec. 5 is a nontrivial demonstration of the formalism. The paper also contains useful conceptual observations about symplectic perturbation theory and its relation to worldline field redefinitions. However, the advertised \"top-down derivation\" is presently conditional on an unproven restriction of the einbein path integral to complete metrics, and the full-line normalization involves a formal ratio of distributions. The high-multiplicity verification is also asserted rather than shown. These issues are load-bearing for the paper's main novelty, so the paper needs substantive revision before it can be accepted.","major_comments":[{"comment":"The half-line moduli-space identification is not derived from the partition-function definition in Eq. (3.43); it assumes a particular truncation. The text explicitly says, after Eq. (3.45), \"This yet assumes that we sum over complete metrics.\" For a general einbein on [0,∞), the total length L = ∫₀^∞ κ(σ)dσ is finite for non-complete metrics and is diffeomorphism-invariant. Such metrics are not in the gauge orbit of the constant einbein κ∞, whose total length is infinite. A faithful gauge-fixing over all einbeins would retain L as a modulus and would produce Z(p₂,x₁) = ∫ dL K(p₂,L|x₁,0), which is an off-shell quantity, not the on-shell K(p₂,∞|x₁,0) claimed in Eq. (3.40). Thus Eq. (3.40), and hence the automated-LSZ claim of Sec. 3.3 and the amplitude formula Eq. (4.11), rest on an unproven projection onto complete metrics. The paper needs either a justification that the physical path in","section":""},{"comment":"The full-line normalization is a formal ratio of distributions. The computation in Sec. 3.2 produces a factor δ̄(0)δ̄⁽ᵈ⁾(−p₂+p₁+k), and Sec. 3.5 identifies δ̄(K) with δ̄(0) by setting K=0. But δ̄(K) is a distribution, and the quotient δ̄(K)/δ̄(0) is not well-defined without a regulator. The paper's statement in Eq. (3.49c) that I_full = (1/δ̄(0))δ̄(K) and then equals 1 relies on evaluating the delta function at zero before dividing. A consistent treatment would need to specify how the volume of the residual translation group, vol(R)=δ̄(0), is regularized and how the same regulator controls the support condition K=0. The paper's claim that this is a \"strict derivation\" of the observation of Ref. [33] is therefore not yet justified; at present it is a normalization convention.","section":""},{"comment":"The verification of the 3- and 4-Compton amplitudes against second-quantized scalar QED is asserted rather than demonstrated. After Eq. (4.49) the text says \"Straightforward algebra then equates Eq. (4.49) with Eq. (4.50),\" but the algebra is not shown. For the 4-Compton amplitude, the text says \"one can readily check\" that Eq. (4.60) matches the second-quantized result, without presenting the comparison. Since the abstract and Sec. 6 claim that the formalism is \"explicitly verified\" up to six points, this missing support is material. The relevant algebra, including the other SQED diagrams in the axial gauge, should be included in an appendix or the claim should be softened to a spot-check.","section":""}],"minor_comments":[{"comment":"There are many typographical errors and grammatical slips, e.g., \"neccessitated,\" \"respectivley,\" \"paritition,\" \"clasical,\" \"seems to be seems to be ideal.\" The manuscript needs a careful proofreading pass.","section":""},{"comment":"The symbol δ is overloaded: it denotes the delta function in earlier sections and also a dimensionless parameter in Eq. (5.19). This is potentially confusing, especially in equations like Eqs. (5.24) and (5.29). Please use a different symbol for the parameter.","section":""},{"comment":"The statement that all half-lines are diffeomorphic is true for the underlying smooth manifold but not for metric geometries unless one explicitly restricts to complete metrics. The table and surrounding text should carry this qualifier to avoid misleading readers who do not track the later assumption.","section":""},{"comment":"The six-term identity (4.61) is used to rewrite the amplitude, but it is stated without derivation. Since it is central to the 4-Compton comparison, a short derivation or reference would help the reader verify the step.","section":""},{"comment":"The background field solutions for Yang-Mills and gravity are presented as results of Berends-Giele recursion, but the derivation is not shown; in particular, the gravitational configuration is introduced with \"it can be shown that.\" For a self-contained paper, either the derivation should be sketched or references should be provided.","section":""}],"recommendation":"major_revision","confidential_remarks":"The paper is promising and likely publishable after revision, but the main advertised claim — that noncompact worldline topologies provide a top-down, automated LSZ reduction — is currently conditional on an unproven restriction to complete metrics. I would ask the author to either prove that restriction from the path-integral definition or substantially reframe the claim. The missing SQED comparison algebra for the 3- and 4-Compton cases should also be supplied or the verification claim should be downgraded."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Plain take: read this for the phase-space Feynman rules in Sec. 2 and the explicit multi-Compton computations in Sec. 4. The central claim—that noncompact worldline topologies automate LSZ reduction—is promising but not established, because the moduli-space argument in Sec. 3.4 is a prescription, not a derivation.\n\nWhat is genuinely new and good. The general symplectic-perturbation rules are cleanly stated: the propagator is the free Poisson bracket, vertices split into Hamiltonian and symplectic classes with regular and pinched subtypes, and the valence-one symplectic vertex is a Lorentz-force formula. That organization is useful and I don't recall it laid out this clearly. The kinetic-momentum point—noncanonical coordinates restore linear photon coupling and make gauge invariance manifest—is well made and worth remembering in worldline EFT. The paper is also honest about provenance: the LSZ-topology observation is attributed to Ref. [33] at the integral level, and the overlap with Ref. [61] is disclosed in the note added.\n\nThe concrete computations: 1- and 2-Compton are derived explicitly, internally consistent, and match scalar QED including the s/u poles. The 3-Compton is substantial and the comparison with second-quantized SQED is shown in reasonable detail. That is real work, and it checks out as far as I followed it.\n\nWhere it is soft. Sec. 3.4 is load-bearing and the stress-test concern lands. The moduli space of half-line metrics is not a single point unless you restrict to complete metrics; the paper's own text says \"this yet assumes that we sum over complete metrics\" right after Eq. (3.45), and footnote 3 admits the Faddeev-Popov determinant is dropped. Without the completeness restriction, diffeomorphism classes are labeled by total length L = ∫₀^∞ κ, and the gauge slice doesn't hit the finite-L sectors. So Eqs. (3.40)-(3.41) amount to a projection onto the L=∞ sector, not a faithful evaluation of the partition-function definition in Eq. (3.43). The author is transparent about the assumption, but \"top-down derivation\" overstates what is shown; the automated-LSZ claim should be presented as a working prescription.\n\nTwo lesser points. The six-point (4-Compton) agreement is asserted, not shown—\"Straightforward algebra\" after a long calculation; I would want that check documented. And the YM/gravity Compton results are verified for internal gauge cancellation only, never benchmarked against published amplitudes; the paper itself concedes the nonabelian perturbation theory is not gauge-covariant (Sec. 5.1).\n\nBottom line: this deserves serious refereeing. The Sec. 2 rules and EM computations stand on their own, and the LSZ-topology idea is worth the field's attention even if Sec. 3.4 needs work. Send it to review with a request to rework the moduli-space measure and document the six-point check.","headline":"A genuinely useful phase-space worldline formalism with credible low-order Compton results, but the automated-LSZ claim rests on a moduli-space step (Sec. 3.4) that is a projection onto complete metrics, not a derivation.","tokens_in":45309,"tokens_out":7150,"would_cite":true,"duration_ms":76796,"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":"Noncompact worldline topologies implement LSZ reduction automatically, turning scattering amplitudes into boundary-to-boundary propagators.","keywords":["worldline formalism","phase space","LSZ reduction","scattering amplitudes","symplectic perturbation theory","einbein moduli space","Compton amplitudes","noncompact worldline topologies"],"falsifier":"Perform the einbein path integral on the full line with a strict Faddeev-Popov or BRST treatment, or with a finite-volume regulator, and check whether the quotient measure is exactly (1/δ̄(0))δ[κ−κ∞]; if the regulated limit produces a different factor or an additional integral over a noncompact modulus, the automated-LSZ claim fails. A simpler probe is to evaluate the half-line partition function at one-loop order in a constant background field and test whether the residue at the on-shell pole equals the LSZ-reduced amplitude, as the δ[κ−κ∞] measure predicts.","tokens_in":44110,"feed_emoji":"⚛️","tokens_out":6954,"duration_ms":71328,"temperature":0.7,"pith_summary":"The central claim is that the external-leg amputation procedure of quantum field theory known as LSZ reduction is already contained in the geometry of the first-quantized worldline, provided the particle is described in phase space. The paper shows that the partition function of a relativistic particle on an interval gives an off-shell propagator, on a half-line gives a partly on-shell propagator, and on a full line gives a scattering amplitude, where the last two cases require specific identifications of the moduli space of one-dimensional metrics. On these noncompact topologies, the usual LSZ post-processing—Fourier transforms, amputation, and on-shell limits—is replaced by choosing the worldline that ends at the appropriate asymptotic boundary. The framework is demonstrated on classical multi-photon Compton amplitudes in electromagnetism up to six points, and on two-photon Compton amplitudes in Yang-Mills and gravity, with phase-space Feynman rules in which the propagator encodes the Poisson bracket and gauge invariance is manifest.","feed_headline":"Noncompact worldlines automate LSZ reduction","feed_subtitle":"Half-line and full-line path integrals yield scattering amplitudes directly, checked through six-point Compton scattering.","key_machinery":"The load-bearing objects are three. First, the phase-space action S = ∫(θᵢ ζ̇ⁱ − H), viewed as a sigma model to a symplectic manifold, whose Feynman rules are universal: the propagator is the inverse of the free symplectic form (the Poisson bracket), and interactions arise either from a perturbed Hamiltonian or a perturbed symplectic form, the latter giving symplectic vertices including pinched vertices that cancel propagators. Second, noncanonical coordinates (kinetic momentum p = P − qA) cubicize photon and graviton couplings and make gauge invariance manifest by moving interactions into the symplectic form. Third, the moduli-space identifications for one-dimensional worldline geometries—t","core_discovery":"On its own terms, the paper's discovery is that a scattering amplitude is a boundary-to-boundary propagator inside the first-quantized path integral. Formally, for a relativistic particle with einbein κ, the partition function Z = ∫Dκ/vol(Gauge) ∫Dx Dp e^{iS} yields three identities: on the interval, Z(x2,x1)=∫dT K(x2,T|x1,0); on the half-line, Z(p2,x1)=K(p2,∞|x1,0); and on the full line, Z(p2,p1)=(1/δ̄(0))K(p2,+∞|p1,−∞). The half-line and full-line equalities follow from the moduli-space claims that all half-lines are diffeomorphic and that the full line retains only the group of constant translations as residual gauge redundancy. This is presented as a top-down derivation of the observatio","pith_inferences":["If the moduli-space identification survives a strict BRST treatment, the topology/LSZ correspondence should also reorganize loop-level worldline calculations: external legs would be attached at boundaries from the outset rather than amputated at the end.","The half-line/full-line construction suggests a first-quantized definition of asymptotic states in curved or time-dependent backgrounds, replacing 'definite momentum at infinity' with whatever conserved charges the asymptotic geometry admits; the paper itself works in a sandwich geometry with plane-wave backgrounds.","The 1/δ̄(0) normalization connects worldline reparametrization gauge fixing to standard S-matrix normalization conventions; one could test whether a finite-volume regulator of the full-line quotient reproduces the usual momentum-conserving delta functions exactly.","The symplectic-structure isomorphism between Yang-Mills and gravity hints at a worldline-level double copy that generates all-multiplicity Compton amplitudes; the paper demonstrates only the two-photon case."],"forward_implications":["Tree-level scattering amplitudes can be obtained from worldline path integrals without importing LSZ as an external field-theoretic step: choose the worldline topology that ends in the asymptotic state being measured.","The half-line computation removes the Schwinger proper-time integral entirely, since all half-lines are diffeomorphic; the remaining external leg is amputated by a single on-shell limiting factor.","The full-line computation eliminates all amputations but acquires a 1/δ̄(0) normalization, which the paper identifies as the residual constant-translation gauge volume, making first-quantized and second-quantized amplitudes agree exactly.","The phase-space Feynman rules are universal: the propagator encodes the Poisson bracket, symplectic vertices generalize the Lorentz force, and the same rules apply to in-in worldline frameworks, not only the in-out formalism.","The method reproduces classical multi-photon Compton amplitudes through six points in scalar QED and gives a uniform two-photon Compton treatment for Yang-Mills and gravity via an isomorphism between color charge/gauge field and kinetic momentum/tetrad perturbation."],"supporting_citations":[{"why":"Supplies the Schwinger proper-time integral representation of the propagator that the interval-topology partition function sums over.","marker":"[3]"},{"why":"Establishes the gauge-fixed einbein measure δ[κ−2T] on the interval, the method the paper extends to half-line and full-line topologies.","marker":"[5]"},{"why":"Contains the observation, at the level of integrals, that LSZ reduction sends one bound to infinity and drops the moduli integral; the paper's central claim is the top-down derivation of this observation.","marker":"[33]"},{"why":"Provides the comprehensive review of the original string-inspired worldline formalism against which the efficient phase-space workflow is positioned.","marker":"[9]"},{"why":"Supplies the covariant color-kinematics formulation used to construct the nonabelian and gravitational plane-wave backgrounds in Sec. 5.","marker":"[57]"},{"why":"Supports the bulk-to-boundary interpretation of LSZ reduction that motivates the relation between worldline topology and external on-shell states.","marker":"[62]"},{"why":"Provides the Berends-Giele recursion used both to construct nonlinearly superposed plane-wave backgrounds and to cross-check the Compton amplitudes against second-quantized results.","marker":"[72]"}],"fun_headline_variants":["Phase-space worldlines: scattering as boundary-to-boundary propagation","Noncompact worldlines automate LSZ reduction in phase space","Amplitudes from boundary propagators via worldline phase space","Phase space worldline formalism computes Compton amplitudes","Scattering amplitudes reimagined as phase-space propagators"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The central claim depends on the assumption that the gauge-fixed einbein path-integral measure on a half-line is just δ[κ−κ∞], and on a full line is (1/δ̄(0))δ[κ−κ∞]—that is, that the moduli space of one-dimensional metrics is trivial on these noncompact topologies and the only residual redundancy on the full line is the group of constant translations; if additional moduli or a different residual group exist, the claimed equalities between partition functions and propagators","fun_headline_variants_meta":{"raw":{"variants":["Phase-space worldlines: scattering as boundary-to-boundary propagation","Noncompact worldlines automate LSZ reduction in phase space","Amplitudes from boundary propagators via worldline phase space","Phase space worldline formalism computes Compton amplitudes","Scattering amplitudes reimagined as phase-space propagators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000217,"raw_usage":{"total_tokens":1259,"prompt_tokens":716,"completion_tokens":543,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":460,"completion_tokens_details":{"reasoning_tokens":477}},"tokens_in":460,"tokens_out":543,"duration_ms":6177,"temperature":1.0,"reasoning_tokens":477,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T04:33:24.119591+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Perform the einbein path integral on the full line with a strict Faddeev-Popov or BRST treatment, or with a finite-volume regulator, and check whether the quotient measure is exactly (1/δ̄(0))δ[κ−κ∞]; if the regulated limit produces a different factor or an additional integral over a noncompact modulus, the automated-LSZ claim fails. A simpler probe is to evaluate the half-line partition function at one-loop order in a constant background field and test whether the residue at the on-shell pole equals the LSZ-reduced amplitude, as the δ[κ−κ∞] measure predicts.","supporting_citations":[{"cited_title":"Classical black hole scattering from a worldline quantum field theory.JHEP, 02:048, 2021","cited_arxiv_id":null,"evidence_quote":"Contains the observation, at the level of integrals, that LSZ reduction sends one bound to infinity and drops the moduli integral; the paper's central claim is the top-down derivation of this observation."},{"cited_title":"Covariant color-kinematics duality.Journal of High Energy Physics, 2021(11):1–46, 2021","cited_arxiv_id":null,"evidence_quote":"Supplies the covariant color-kinematics formulation used to construct the nonabelian and gravitational plane-wave backgrounds in Sec. 5."},{"cited_title":"On-shell correlators and color-kinematics duality in curved symmetric spacetimes.JHEP, 05:027, 2022","cited_arxiv_id":null,"evidence_quote":"Supports the bulk-to-boundary interpretation of LSZ reduction that motivates the relation between worldline topology and external on-shell states."},{"cited_title":"Berends and W","cited_arxiv_id":null,"evidence_quote":"Provides the Berends-Giele recursion used both to construct nonlinearly superposed plane-wave backgrounds and to cross-check the Compton amplitudes against second-quantized results."}],"review_version":1}