Pith. sign in

REVIEW 4 major objections 6 minor 25 references

Recursion for Differential Cross-Section from the Optical Theorem

T0 review · 4 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read The paper claims that a differential cross-section can be computed directly as a loop amplitude via the optical theorem, bypassing the usual step of squaring scattering amplitudes and summing over colors and helicities.

desk verdict A genuinely new recursion-based route to differential cross-sections, with solid two-example validation but an unproven filtering step that the exact-match claim rests on. read the letter →

arxiv 2412.05575 v1 pith:DZXAJKX5 submitted 2024-12-07 hep-ph hep-th

Vatsal Garg , Hojin Lee , Kanghoon Lee This is my paper · ORCID
classification hep-phhep-th
keywords opticaltheoremdifferentialcross-sectionlargesttimeequationquantumoff-shellrecursionequationsofmotioncurrentsphi-fourscalartheorycutdiagrams
verification ladder T0 review T1 audit T2 compute T3 formal

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 presents a new way to compute differential cross-sections in quantum field theory without first computing and then squaring scattering amplitudes. Instead, it uses the optical theorem to rewrite a cross-section as a loop amplitude in a theory with doubled fields. The authors develop a recursive scheme that generates this doubled amplitude directly from quantum equations of motion, and they validate it by exactly reproducing the tree-level $2\to2$ and $2\to4$ differential cross-sections in $\phi^4$ theory. If correct, this turns cross-section calculations into recursion problems that naturally handle color and helicity sums, offering a potentially efficient alternative for high-multiplicity processes.

What carries the argument

The load-bearing object is the doubled amplitude $A_{1+2-3-4+}$, a $2\to2$ amplitude in a field theory containing two copies of the scalar field, $\phi^+$ and $\phi^-$, with doubled propagators that include on-shell pieces. The identity that carries the argument is $A_{1+2-3-4+}=\sum_X M(1+4+\to X)(M(2-3-\to X))^*$, the optical theorem written at amplitude level: the right-hand side is exactly the squared matrix element summed over intermediate states that defines a differential cross-section. The mechanism is a recursive construction: the doubled action gives equations of motion for correlation functions, a perturbiner expansion (a plane-wave ansatz generating off-shell currents for each multi-particle word) turns those equations into off-shell recursion relations, and the largest time equation, an algebraic form of the optical theorem at diagram level, identifies which components carry cuts. A filtering algorithm then keeps only the integrands with the number of on-shell cuts $N^{+-}+N^{-+}=n$, two connected sectors $C=2$, and loop count $L=L_0-\operatorname{rank} M$, which are the terms contributing to the desired $\sigma^{(L)}_{2\to n}$.

What would settle it

Compute the two-loop doubled amplitude $A^{(2)}_{1+2-3-4+}$ in $\phi^4$ and apply the filter targeting $\sigma^{(1)}_{2\to2}$; the surviving integrand should equal $2\,\mathrm{Re}\bigl[(M^{(0)}_4)^* M^{(1)}_4\bigr]$. If any term survives that is not in that one-loop cross-section, or any required term is missing, the filter's completeness claim is false.

Watch

Extended reading notes

Core claim

The discovery is that the differential cross-section for a $2\to n$ process is not something to be obtained by squaring the tree amplitude; it is the on-shell content of a $2\to2$ amplitude in a theory with doubled fields, evaluated at $(n-1)$-loop order. The doubled amplitude $A^{(L)}_{1+2-3-4+}$ satisfies the optical-theorem relation $A_{1+2-3-4+}=\sum_X M(1+4+\to X)(M(2-3-\to X))^*$, and the paper shows how to generate this object algebraically by solving the quantum equations of motion of the doubled action with quantum off-shell recursions. The largest time equation supplies the cutting rule: propagators of type $\Delta^{\pm}$ put internal lines on shell, so the computed amplitude automatically contains the phase-space integrals that define the cross-section. The paper validates the scheme in $\phi^{4}$ theory by exact matching: the one-loop result equals the tree $2\to2$ differential cross-section and the three-loop result equals the tree $2\to4$ differential cross-section, after a filtering algorithm removes contributions from other cross-sections at the same loop order.

Load-bearing premise

The filtering algorithm is assumed to be complete: it has been checked on two diagram types only, so the paper has not proven that, for any loop order and final-state multiplicity, its three conditions keep exactly the target terms and nothing else.

Editorial extensions

If this is right

  • Cross-section calculations stop needing the explicit $O(N^2)$ squaring of $N$-term amplitudes; the recursion produces the squared object directly.
  • Color and helicity sums are folded into the doubled-field recursion instead of being performed separately, which could make gauge-theory cross-sections more tractable.
  • The same recursion scheme works for any theory with a local action, so extending the doubled action to QCD or the Standard Model is a direct next step.
  • The filtering conditions give an algebraic, rather than diagram-by-diagram, way to decide which loop orders contribute to a given $2\to n$ tree-level cross-section.
  • Because the output is the cross-section integrand with phase-space delta functions, a further phase-space integration yields total cross-sections.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the filtering algorithm is complete to all orders, the method should reproduce loop-level cross-sections as well, for example the one-loop $2\to2$ cross-section from the two-loop doubled amplitude, which the paper notes but does not compute.
  • The rank condition $L=L_0-\operatorname{rank} M$ on the loop-momentum matrix is likely the seed of a general algebraic cut-selection rule that could be applied to fermions and gauge fields without inventing new diagram topologies.
  • The recursion may also give a natural way to combine cross-section computation with Monte Carlo phase-space integration, since it already produces the cut integrand in a factorized form.
  • Connecting the doubled action with real-time thermal or nonequilibrium correlation functions could let the same machinery compute scattering in media, although the paper does not explore that direction.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 6 minor

Summary. The manuscript presents a recursion-based framework for computing differential cross-sections directly from loop-level amplitudes, bypassing the standard step of squaring scattering amplitudes. The construction doubles the field content of φ⁴ theory according to the Schwinger–Keldysh prescription, derives Dyson–Schwinger equations in the doubled theory, and builds quantum off-shell recursion relations up to three loops (Section 3). The doubled amplitudes A^{(1)} and A^{(3)} obtained from these recursions are claimed to reproduce exactly the tree-level differential cross-sections dσ^{(0)}_{2→2} and dσ^{(0)}_{2→4} (Section 4.2, Eqs. (4.5) and (4.7)). A filtering algorithm (Section 3.4) is introduced to select the terms in the doubled amplitude that belong to a chosen σ^{(L)}_{2→n}. The central validation rests on two unshown steps: the completeness of the filtering algorithm, demonstrated only on two diagram topologies, and the reduction of the nine-term integrand (4.4) to the squared-amplitude form (4.7), which is asserted rather than presented.

Significance. If the central claim holds, the paper offers a proof of principle for a genuinely different computational route to cross-sections: the optical theorem identifies the cross-section with a loop amplitude, and the quantum off-shell recursion computes that amplitude algebraically without amplitude squaring, with potential gains for the color/helicity sums of gauge theories. The paper's concrete deliverables—the doubled-action DS equations, the recursion relations up to three loops, the filtering conditions (3.38)–(3.40), and the explicit nine-term integrand (4.4)—are checkable, and the one-loop equality (4.2)→(4.5) is simple enough to verify by hand and is consistent with the known tree amplitude. Credit is due for carrying the recursion to three loops and for illustrating the filter on two explicit diagram types. However, the manuscript is purely analytic: there are no machine-checked algebraic reductions, code, or numerical checks, and the two load-bearing steps (filter completeness; the reduction (4.4)→(4.7)) are asserted, not shown.

major comments (4)
  1. [Section 3.4] The completeness of the filtering algorithm is load-bearing and unproven. Steps (1)–(4) are validated on exactly two diagram topologies, (a) and (b) of Figure 3, and the text then asserts that “the remaining terms contribute to σ^{(L)}_{2→n} only.” No argument establishes that condition (3.38) (N^{+-}+N^{-+}=n), the rank condition (3.40) (L=L0−rank M), and the connectedness condition C=2 from (3.39) are necessary and sufficient for every topology at arbitrary loop order and multiplicity. Concretely: the rank of M is never analyzed beyond the two examples, so degenerate configurations (rank M < n−1) are not discussed; (3.38) fixes only the total number of cuts, and the paper never shows whether the recursion generates terms with N^{+-}=2 or 3 that would also pass the filter (all nine terms in (4.4) have N^{+-}=1); and step (4) of the algorithm is logically redundant with step (3), since (3.39) defines C. If the filter misses target terms or admits contaminants, the “nine relevant terms” of (4.4) would not be the full A^{(3)} integrand and the asserted equality with dσ^{(0)}_{2→4} would be unsupported.
  2. [Section 4.2, Eqs. (4.4)–(4.7)] The central validation—“we calculated the doubled amplitude ... and compared it with the differential cross-section ... We confirmed that these two quantities match exactly”—is asserted, not demonstrated. The text does not show the reduction of (4.2) to (4.5) nor of the nine-term integrand (4.4) to the squared-amplitude form (4.7). In particular, it does not specify which products of the two ten-term propagator sums appearing in (4.7) each of the nine terms of (4.4) produces after the on-shell integrations and momentum relabelings, nor how the symmetric factors 1/2 and 1/4! combine with the relative coefficients (1/2, 1/6, 1/4, 1) in (4.4). Equation (4.7) also switches from “∼” to “=” without comment. Because the exact match with known squared amplitudes is the only evidence that the recursion-plus-filter pipeline computes the correct cross-section, the authors should include this reduction (an appendix tabulating the mapping of the nine terms onto the products in (4.7)) or provide a symbolic/numerical verification at generic external kinematics.
  3. [Sections 3.3–4.1] The paper does not show how the quoted results (4.2) and (4.4) follow from the recursion relations (3.21)–(3.35). The derivation of (4.2) from (3.25)–(3.26) is straightforward and should be given as an illustration of the pipeline. For the three-loop case, Section 3.3.4 states “we skip explicitly listing the ℏ³-order terms” and Section 4.1 states that the filtered current “has only nine relevant terms” without presenting the intermediate recursion output, the total number of generated terms before filtering, or any code or ancillary material. Since the nine-term list (4.4) is the empirical basis of the paper's central claim, the reader currently cannot verify that it is the complete filtered output of the recursion. Please provide the intermediate output or a reproducible computation.
  4. [Section 4.2 and Eq. (A.6)] The object compared with the doubled amplitude is not the standard differential cross-section. The standard dσ for 2→n carries the flux factor 1/(2E_A 2E_B |v_A−v_B|), which appears in the paper's own summary of the optical theorem, Eq. (A.6). The right-hand sides of (4.5) and (4.7) are dimensionless phase-space integrals of |M|² (with symmetric factors), i.e., precisely the right-hand side of the optical theorem (A.4), whereas a cross-section has mass dimension −2 and contains the flux factor. The paper should either include the flux factor, or explicitly state that it computes the reduced cross-section and specify the normalization of M^{(0)} used in the comparison. As written, the claim that the method “reproduces the differential cross-section” is a convention-dependent statement that the reader cannot check.
minor comments (6)
  1. [Section 4.1] In the paragraph before Eq. (4.3), “Φ^{(2)}_{1+2−3−}” should be a three-loop object (Φ^{(3)} or A^{(3)}); the two-loop label contradicts the surrounding three-loop discussion and the statement A^{(2)} ∼ 0 in the same paragraph.
  2. [Section 3.4, Eqs. (3.40)–(3.42)] The matrix M whose rank defines l is introduced by example only; please state the general construction (rows are the coefficient vectors of the cut-line momenta in the basis of loop momenta), state explicitly that l is the dimension of the span of the cut momenta, and explain how degenerate configurations are treated.
  3. [Section 4.2] The notation for momentum-space propagators switches from “˜D” in (4.4) to “D” in (4.7) without comment; please use a single convention.
  4. [Section 4.2, Eq. (4.7)] The symbol “∼”, defined in (4.3) as equality after discarding terms that do not contribute, is used in the first line of (4.7) where an exact equality with the squaring result is claimed; please use “=” consistently throughout.
  5. [Section 3.1, Eq. (3.1)] Please state explicitly that (3.1) is the optical theorem taken as input from S-matrix unitarity, so the paper's contribution is the recursive construction of the doubled amplitude (the left-hand side), not an independent derivation of the theorem; this would clarify the scope of the validation.
  6. [Section 2.3] The truncation of the DS hierarchy at fixed ℏ order (“higher descendant fields always carry higher ℏ orders”) is asserted without proof; a brief justification or a pointer to the corresponding argument in Ref. [4] would be helpful.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the optical theorem is an external input, and the recursion computation is a self-contained algebraic check; the unproven filtering completeness is a correctness concern, not circularity.

full rationale

The derivation chain is: doubled action and DS equations, perturbiner expansion, quantum off-shell recursion, doubled amplitudes, then differential cross-section via the optical theorem and LTE. The load-bearing relation (3.1), A_{1+2-3-4+} = sum_X M(1+4+ -> X)(M(2-3- -> X))*, is invoked as the optical theorem, an external identity; it is not derived from the recursion, and the paper does not claim to derive it. The recursion is solved from the doubled DS equations with no fitted parameters and no insertion of the known cross-section; the nine terms in Eq. (4.4) are obtained by algebraically solving the recursions and applying the stated filtering conditions. The comparison in Sec. 4.2 with the known dsigma is a consistency check of that algebraic machinery, which is legitimate validation rather than circular reasoning. The unproven completeness of the filtering algorithm in Sec. 3.4 is a potential rigor/correctness gap, not a circularity: the filter conditions are not fitted to the target cross-section, and the two worked examples are demonstrations, not definitions of the result. Refs. [4,5] are self-citations for the quantum off-shell recursion framework, but the paper re-derives the recursion relations in the doubled prescription, so the cited work is not the load-bearing equivalent of the paper's central claim. No specific equation reduces to its own input by construction, and no fitted parameter is renamed as a prediction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The framework rests on standard QFT machinery: unitarity, LTE, Schwinger-Keldysh doubling, LSZ, DS equations, and the perturbiner/QOR method. No new physical particles or forces are introduced. The non-standard load-bearing axioms are the ℏ-truncation of descendant fields and the completeness of the filtering algorithm, both used to make the recursion tractable and to isolate the target cross-section.

assumptions (6)
  • domain assumption S-matrix unitarity S†S = 1 and the optical theorem (A.4) hold perturbatively for phi^4 theory.
    Used in section 2 and appendix A to justify the doubling prescription and the equality between doubled amplitudes and cross-sections.
  • standard math The Schwinger-Keldysh propagator matrix (2.12) is the correct inverse of the doubled kinetic operator, including the on-shell identity (k^2+m^2) delta(k^2+m^2)=0.
    Equation (2.17); needed for the Dyson-Schwinger equations.
  • domain assumption The quantum off-shell recursion from reference [4] is valid at loop level: solving DS equations with the perturbiner ansatz generates the full off-shell currents.
    Core of section 3; adopted from prior work by one of the authors.
  • ad hoc to paper At a given order in ℏ, the DS equations can be truncated by dropping higher descendant fields because these always carry higher ℏ orders.
    Section 2.3, paragraph beginning 'One way to terminate this...'; asserted without proof.
  • ad hoc to paper The filtering algorithm's counting rules (3.38)-(3.41) completely characterize which doubled-amplitude terms contribute to the desired σ(L)2→n.
    Section 3.4; validated by example, not proven.
  • domain assumption In the on-shell limit (3.6), the amputated off-shell current reproduces the S-matrix element (LSZ reduction) in the doubled theory.
    Equation (3.6); standard LSZ applied to doubled fields.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Recursion for Differential Cross-Section from the Optical Theorem." pith.science (2026). https://pith.science/paper/DZXAJKX5

@misc{pith2026241205575,
  author       = {Pith},
  title        = {Pith review of: Recursion for Differential Cross-Section from the Optical Theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DZXAJKX5}},
  note         = {Machine review of arXiv:2412.05575}
}
abstract

We present a novel framework for computing differential cross-sections in quantum field theory using the optical theorem and loop amplitudes, circumventing the traditional method of squaring scattering amplitudes. This approach addresses two major computational challenges in high-multiplicity processes: complexity from amplitude squaring and the extensive summations over color and helicity. Our method employs quantum off-shell recursion, a loop-level generalization of Berends--Giele recursion, combined with Veltman's largest time equation (LTE) through a doubling prescription of fields. By deriving Dyson--Schwinger equations within this doubled framework and constructing quantum perturbiner expansions, we develop recursive relations for generating LTEs. We validate our method by successfully reproducing the differential cross-section for tree-level $2 \to 2$ and $2 \to 4$ scalar scattering for $\phi^{4}$ theory through one-loop and three-loop amplitude calculation respectively. This framework offers an efficient alternative to conventional methods and can be broadly applied to theories with color charges, such as QCD and the Standard Model.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 12 canonical work pages

  1. [1]

    Feenberg, The Scattering of Slow Electrons by Neutral Atoms , Phys

    E. Feenberg, The Scattering of Slow Electrons by Neutral Atoms , Phys. Rev. 40 (1932) 40–54

    work page 1932

  2. [2]

    N. Bohr, R. Peierls and G. Placzek, Nuclear reactions in the continuous energy region , Nature 144 (1939) 200–201

    work page 1939

  3. [3]

    R. G. Newton, Optical theorem and beyond , American Journal of Physics 44 (07, 1976) 639–642

    work page 1976

  4. [4]

    Lee, Quantum off-shell recursion relation , JHEP 05 (2022) 051 , [ 2202.08133]

    K. Lee, Quantum off-shell recursion relation , JHEP 05 (2022) 051 , [ 2202.08133]

    arXiv 2022

  5. [5]

    K. Cho, K. Kim and K. Lee, Binary black holes and quantum off-shell recursion , JHEP 05 (2024) 050 , [ 2311.01284]

    arXiv 2024

  6. [6]

    F. A. Berends and W. T. Giele, Recursive Calculations for Processes with n Gluons , Nucl. Phys. B 306 (1988) 759–808

    1988

  7. [7]

    A. A. Rosly and K. G. Selivanov, On amplitudes in selfdual sector of Yang-Mills theory , Phys. Lett. B 399 (1997) 135–140 , [ hep-th/9611101]

    arXiv 1997

  8. [8]

    A. A. Rosly and K. G. Selivanov, Gravitational SD perturbiner , hep-th/9710196

    arXiv

Show all 25 references
  1. [9]

    K. G. Selivanov, SD perturbiner in Yang-Mills + gravity , Phys. Lett. B 420 (1998) 274–278 , [hep-th/9710197]

    1998 arXiv

  2. [10]

    K. G. Selivanov, Selfdual perturbiner in Yang-Mills theory , in 1997 Europhysics Conference on High Energy Physics , pp. 1051–1054, 8, 1997, hep-th/9710195

    1997 arXiv

  3. [11]

    K. G. Selivanov, Gravitationally dressed Parke-Taylor amplitudes , Mod. Phys. Lett. A 12 (1997) 3087–3090 , [ hep-th/9711111]

    1997 arXiv

  4. [12]

    R. E. Cutkosky, Singularities and discontinuities of Feynman amplitudes , J. Math. Phys. 1 (1960) 429–433

    1960

  5. [13]

    M. J. G. Veltman, Unitarity and causality in a renormalizable field theory with un stable particles, Physica 29 (1963) 186–207

    1963

  6. [14]

    ’t Hooft and M

    G. ’t Hooft and M. J. G. Veltman, DIAGRAMMAR, NATO Sci. Ser. B 4 (1974) 177–322

    1974

  7. [15]

    M. J. G. Veltman, Diagrammatica: The Path to Feynman rules , vol. 4. Cambridge University Press, 5, 2012

    2012

  8. [16]

    Năstase, Introduction to Quantum Field Theory

    H. Năstase, Introduction to Quantum Field Theory . Cambridge University Press, 2020, 10.1017/9781108624992

    2020 doi

  9. [17]

    J. S. Schwinger, Brownian motion of a quantum oscillator , J. Math. Phys. 2 (1961) 407–432

    1961

  10. [18]

    L. V. Keldysh, Diagram technique for nonequilibrium processes , Zh. Eksp. Teor. Fiz. 47 (1964) 1515–1527

    1964

  11. [19]

    chao Chou, Z

    K. chao Chou, Z. bin Su, B. lin Hao and L. Yu, Equilibrium and nonequilibrium formalisms made unified , Physics Reports 118 (1985) 1–131

    1985

  12. [20]

    L. S. Brown, Quantum field theory . Cambridge University Press, 7, 1994

    1994

  13. [21]

    Gomez, R

    H. Gomez, R. Lipinski Jusinskas, C. Lopez-Arcos and A. Q uintero Velez, One-Loop Off-Shell Amplitudes from Classical Equations of Motion , Phys. Rev. Lett. 130 (2023) 081601 , [2208.02831]

    2023 arXiv

  14. [22]

    Chen and Y.-X

    Q. Chen and Y.-X. Tao, Differential operators and unifying relations for 1-loop Fey nman integrands from Berends-Giele currents , JHEP 08 (2023) 038 , [ 2301.08043]. – 26 –

    2023 arXiv

  15. [23]

    Cohen, N

    T. Cohen, N. Craig, X. Lu and D. Sutherland, On-Shell Covariance of Quantum Field Theory Amplitudes, 2202.06965

    arXiv

  16. [24]

    Cohen, X

    T. Cohen, X. Lu and D. Sutherland, On amplitudes and field redefinitions , JHEP 06 (2024) 149 , [ 2312.06748]

    2024 arXiv

  17. [25]

    Gomez, R

    H. Gomez, R. Lipinski Jusinskas, C. Lopez-Arcos and A. Q uintero Velez, One-loopN -point correlators in pure gravity , 2411.07939. – 27 –

    arXiv

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.