Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

A conjectured formula turns covariant Feynman amplitudes into light-cone wave functions

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 ↗

T0 review · deepseek-v4-flash

2026-08-03 13:51 UTC pith:EABZQA4P

load-bearing objection A new, verified-at-one-loop bridge from covariant amplitudes to light-cone wave functions in scalar theory, with an unproven analyticity assumption in the contour reduction that needs to be addressed. the 3 major comments →

arxiv 2512.22345 v3 pith:EABZQA4P submitted 2025-12-26 hep-th hep-ph

Extracting light-cone wave functions from covariant amplitudes: a detailed study in scalar field theory

St\'ephane Munier This is my paper
classification hep-th hep-ph
keywords light-cone wave functionscovariant amplitudeslight-cone perturbation theoryscalar field theoryoff-shell amplitudescontour integrationself-energyvertex function
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 paper proposes a direct computational bridge between ordinary covariant Feynman diagrams and light-cone quantization. Its central conjecture gives a formula that maps a covariant off-shell three-point amplitude into the 1-to-2 light-cone wave function of a scalar particle: integrate the dressed vertex over one light-cone energy, with full propagators for the outgoing particles and a bare propagator for the incoming one. The author verifies the map at one loop by showing it reproduces the light-cone perturbation theory series term by term for vertex and self-energy corrections, and uses it to re-derive compact expressions for the wave function. A sympathetic reader would care because light-cone perturbation theory is notoriously cumbersome, while covariant amplitudes are highly developed; if the formula holds beyond one loop, it makes wave-function computations far cheaper and connects the two quantizations.

Core claim

At one-loop accuracy, the right-hand side of Eq. (39), equivalently its contour-reduced form Eq. (42), can be algebraically rearranged to match exactly the corresponding terms of the light-cone perturbation theory series. The formula reads, after the k2^- integral is done by residues, as a single integral over k1^- of the renormalized covariant vertex Γ3R evaluated with one leg on shell, divided by light-cone energy denominators built from self-energy-corrected momenta. The author shows that this reproduces the vertex-correction and self-energy contributions to the two-particle wave function, including counter-term and wave-function renormalization factors, and that a two-loop self-energy in

What carries the argument

The load-bearing object is Eq. (42), a one-dimensional integral formula for the 1-to-2 light-cone wave function built from the renormalized covariant three-point function Γ3R and self-energy ΣR. Its two ingredients do the work: the unusual combination of a bare propagator with flipped i0+ sign for the incoming particle and full propagators for the outgoing particles makes the covariant integral reproduce light-cone time ordering; and the contour reduction in k2^- picks the single physical pole in the upper half-plane, converting covariant denominators (p^2 - m^2) into light-cone energy denominators E_R(k⃗) = (k⊥^2 + m^2)/(2k^+). The same machinery, together with dispersion relations for ΣR,

Load-bearing premise

The simplified formula assumes that, after complexifying one of the loop energies, all singularities of the self-energy and vertex functions stay on one side of the contour, leaving only a single pole; this analyticity statement is asserted but not proved in general.

What would settle it

Evaluate a two-loop vertex correction, not just self-energy insertions, directly from Eq. (39) by closing the contour, and compare term-by-term with the light-cone perturbation theory series: an extra residue from a cut or pole in the upper half-plane, or a mismatch in any energy denominator, would disprove the conjectured map. A simpler probe is to compute the spectral discontinuity of Γ3R for the kinematics in Eq. (43) and check numerically that it is never singular for positive imaginary k2^-.

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

If this is right

  • One-loop corrections to the scalar 1-to-2 wave function follow directly from known covariant self-energy and vertex functions, with no time-ordered diagrams.
  • The vertex-correction wave function matches the known light-cone perturbation theory result in the massless limit, and the self-energy contributions combine into the expected Z_φ^{5/2} dressing near energy conservation.
  • Two-loop contributions with self-energy insertions on both outgoing lines can be written as a single integral over spectral discontinuities, where direct light-cone perturbation theory would need six diagrams.
  • The method reduces the technical cost of computing wave functions and points toward applications in gauge theories.
  • The one-loop equivalence supports the broader claim that covariant and light-cone quantization are perturbatively equivalent, not merely physically equivalent.

Where Pith is reading between the lines

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

  • A consequence the author leaves implicit: if the analyticity assumption holds at all orders, then light-cone energy denominators are simply residues of covariant propagators, so every time-ordered diagram should be obtainable as a residue or cut decomposition of a single covariant integral.
  • In gauge theories, the same contour logic might sidestep the spurious singularities that plague non-covariant light-cone gauges, but the analyticity premise will need re-checking because gauge vertices have different singularity structures.
  • The mapping could be tested phenomenologically by using it to regenerate light-cone distribution amplitudes from known covariant high-energy amplitudes and comparing against existing light-cone perturbation theory results.
  • A natural extension is to 1-to-n wave functions; the same contour-collapse strategy would likely require tracking multiple poles and cuts in several k^- variables, which is more complex but in principle algorithmizable.

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 proposes a conjectured formula, Eq. (39) and its reduced form Eq. (42), that converts a covariant off-shell amputated three-point amplitude, built from dressed propagators and the 1-PI vertex, into the 1→2 light-cone wave function in cubic scalar theory. The central content is a detailed one-loop verification: starting from Eq. (39), the author rewrites the covariant integrand with light-cone variables, performs the energy integrals, and reproduces the time-ordered LCPT expressions for the vertex correction and for the self-energy insertion classes, matching Ref. [17]. Using the reduced formula Eq. (42), the paper then re-derives one-loop wave functions from the known covariant Σ_R and Γ_3R, and sketches a two-loop self-energy-insertion example. The paper is explicit that the map is conjectural and that equivalence beyond low orders is not established.

Significance. If the conjectured map is correct, it offers a substantial technical shortcut: light-cone wave functions, which are normally obtained from time-ordered perturbation theory with many diagrams and delicate cancellations, would follow from standard covariant amplitudes by a simple residue formula. The strongest part of the paper is the explicit one-loop matching in Sec. 3.1; it is a nontrivial, fully worked check with no free parameters, and it correctly reproduces the LCPT results including the unconventional sign of the i0+ regulator. The massless vertex result and the two-loop example demonstrate the potential utility of the method. However, the central formula is not proven, and its practical reduction Eq. (42) rests on an analyticity assumption that is stated but not established. The paper therefore reads as a promising method study with a verified one-loop test, not as a proof of the claimed covariant-to-light-cone equivalence.

major comments (3)
  1. [Sec. 2.2, between Eqs. (41) and (42)] The reduction from the two-dimensional integral (41) to the one-dimensional formula (42) is the load-bearing step: it keeps only the simple pole at k2^- = E_R(k1+k2) - k1^- + i0+ and discards all other singularities of the k2^- integrand. The text asserts that 'all other singularities, including poles and branch cuts, are confined to the lower-half plane' without proof. This is not merely a technicality: Eq. (42) is used in every subsequent evaluation, including Eqs. (69)–(70), (71), (75), and (81). The one-loop checks in Sec. 3.1 start from Eq. (39), not Eq. (42), so they do not establish the analyticity premise for the reduced formula. Moreover, since Σ_R and Γ_3R have branch cuts on the real axis (with i0+ prescriptions), the statement 'confined to the lower-half plane' is at best imprecise; the needed property is analyticity in the open upper half-plane in k2^- for arbitrary kinemati
  2. [Sec. 3.1.3 and Eq. (39)] The conjectured map Eq. (39) contains the factor √Zφ, but the paper acknowledges that 'the corresponding covariant formula remains unknown to us' for the wave-function renormalization factor. Consequently, the formula does not by itself extract the complete light-cone wave function from covariant amplitudes: the normalization must be imposed separately, either through the unitarity condition Eq. (38) or by borrowing Zφ from LCPT. This is not fatal for the one-loop coefficient functions computed in Secs. 3.2 and 4, but it is a genuine gap in the central claim that covariant amplitudes 'systematically' produce light-cone wave functions. The status of Zφ should be clarified: is it to be considered part of the conjectured map, or an external input? If the latter, the statement of the conjecture should be revised accordingly.
  3. [Sec. 4, Eqs. (80)–(83)] The two-loop illustration inherits the unproven analyticity assumption of Eq. (42) and further uses dispersion relation Eq. (19) to move singular terms and make the expression manifestly exchange-symmetric. The calculation is a useful application, but it does not extend the verification beyond one-loop accuracy. The paper's own conclusion states that equivalence 'beyond low-order perturbation theory' remains open; the abstract and introduction should be aligned with this limitation. In particular, the phrase 'systematically maps' should not be read as a claim that the reduced formula (42) has been proven to all orders, since the paper provides neither an all-order proof nor a counterexample-free analyticity argument.
minor comments (5)
  1. [Eq. (58)] In the definition of θ(b), the second term is written with x^+_{12}; from the change of variables in Eq. (53) it should presumably be x^+_{01}. Please check the notation.
  2. [Eqs. (52), (57), (59)] The symbol 'edl' appears to be a typesetting artifact; it should presumably be the measure \widetilde{d}l (or analogous). Please clarify.
  3. [Sec. 3.1.1, after Eq. (52)] The spurious poles at l^+ = k_1^+ and l^+ = -k_2^+ are introduced and then discarded as 'not required for the particular diagrams considered.' Since the method is advertised for higher orders and gauge theories, it would be useful to state more explicitly how these unregularized poles are controlled in general, or at least to indicate that they are an artifact of the LCPT comparison and do not appear in the covariant evaluation of Sec. 3.2.
  4. [Eq. (72)] The inequality 2k_i^+ Δ_R(k1,k2) + m_R^2 ≤ 0 is stated as following from 'simple kinematic considerations' but no proof is given. A one-line argument (e.g., the convexity of E_R) would make the paper more self-contained.
  5. [Abstract and Sec. 5] The abstract says the formula is validated 'at this order' and the conclusion reiterates that equivalence beyond low orders is open. This is fine, but the phrase 'systematically maps' in the opening sentence should be tempered to avoid overstating the proven content.

Circularity Check

0 steps flagged

No significant circularity: the central one-loop equivalence is derived in-paper by explicit algebraic reduction to LCPT, with Ref. [17] used only as a corroborating benchmark.

full rationale

The central claim is that the conjectured formula, Eq. (39) or (42), maps covariant off-shell amplitudes to light-cone wave functions. This is not circular: the formula is presented as a conjecture, and Sec. 3.1 verifies it by expanding the covariant integrand, representing light-cone energy conservation with time-integral deltas, integrating over energy variables, and explicitly recovering the LCPT time-ordered terms, e.g. Eqs. (52), (57), (59), (62), (65), (66), and (68), which are then identified with terms in the LCPT series (35). No parameter is fitted to the target quantity, and no prediction is defined as the fit. The matches quoted from Ref. [17], while written by the same author, are corroborating checks rather than load-bearing inputs: the derivations in this paper stand on the explicit algebraic manipulations, not on the citation. The unproved analyticity assumption used to pass from Eq. (41) to Eq. (42) ('All other singularities, including poles and branch cuts, are confined to the lower-half plane') is a genuine limitation and a correctness risk, but it is not circular — it does not define the output to equal the input. The paper itself acknowledges in the conclusion that whether Eq. (42) is fundamentally equivalent to light-cone quantization beyond low orders remains open. Because no circular reduction can be exhibited, the appropriate circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper's main nonstandard input is the conjectured formula itself, which is unproved beyond the one-loop check. The analyticity structure, the unconventional i0+ prescription, and the transfer of covariant renormalization constants are additional ad hoc or domain assumptions. No fitted parameters or invented entities appear; the mass, coupling, and renormalization scale are standard inputs.

axioms (5)
  • ad hoc to paper The conjectured formula (39)/(42) correctly maps covariant off-shell amplitudes to light-cone wave functions at all orders.
    Central conjecture; verified only at one loop for specific diagrams in scalar φ^3 theory. The paper states 'We conjecture' (Sec. 2.2) and 'we foresee no obstacles' (Sec. 3.1.3), but no general proof is given.
  • ad hoc to paper All singularities of the k^-_2 integrand except the simple pole at k^-_2 = E_R(k1+k2) - k^-_1 + i0+ lie in the lower half-plane.
    Asserted in Sec. 2.2 between Eqs. (41) and (42) without proof; used to close the contour and reduce the 2D integral to a single residue. Indirectly validated by one-loop matches, but not generally established.
  • domain assumption The renormalization constants Z_m and Z_λ (and the wave-function normalization Z_φ) computed in the covariant scheme can be imported unchanged into the light-cone Hamiltonian framework.
    Sec. 2.2.1 states 'we adopt the values obtained from the covariant approach'; equivalence of renormalization schemes between covariant and light-cone quantization is assumed.
  • ad hoc to paper The unconventional sign of i0+ in the incoming particle's bare propagator in Eq. (39) is correct.
    Sec. 2.2 notes the sign is unconventional and justifies it as producing negative light-cone time ordering; it is not derived from a general principle.
  • standard math Standard QFT tools: perturbative expansion, Feynman rules, dimensional regularization near d=6, LSZ reduction, and analytic continuation.
    Background used throughout; standard in the field.

pith-pipeline@v1.3.0-alltime-deepseek · 23212 in / 13078 out tokens · 118218 ms · 2026-08-03T13:51:28.643522+00:00 · methodology

0 comments
read the original abstract

We propose a conjectured formula that systematically maps covariant off-shell amplitudes to light-cone wave functions in scalar field theory. Through an explicit comparison at one-loop accuracy, we establish its equivalence to the light-cone perturbation theory series, thereby validating the conjecture at this order. Applying this formula, we efficiently re-derive wave functions from known covariant amplitudes, bypassing both the conceptual complexities of light-cone quantization and the technical challenges of perturbative calculations in this framework. In addition to simplifying computations, this approach opens new avenues for applications in gauge theories and deeper explorations of the fundamental equivalence between covariant and light-cone quantization.

Figures

Figures reproduced from arXiv: 2512.22345 by St\'ephane Munier.

Figure 1
Figure 1. Figure 1: Order λ¯2 R contributions to the self-energy −iΣR(k 2 ). 2.1.2 Building blocks of covariant amplitudes Full propagator and mass renormalization The first building block of covariant amplitudes is the full propagator. We construct it from the amputated one-particle-irreducible (1-PI) two-point function of momentum k, namely the self-energy, for which we adopt the established notation −iΣR(k 2 ). The dressed… view at source ↗
Figure 2
Figure 2. Figure 2: Order λ¯3 R contributions to the vertex function iΓ3R. Using standard techniques [19], this d-dimensional integral can be rewritten as an integral over two Feynman parameters: Γ3(k 2 , k2 1 , k2 2 ) [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A subset of the one-loop diagrams contributing to [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: One-loop vertex correction diagrams in light-cone perturbation theory, that correspond to the covariant [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Complex plane of the k − 1 variable for the diagram in Fig. 3a. The initial integration contour runs along the entire real axis. We turn this contour into a closed contour enclosing the lower half-plane, which can then be split and shrunk to surround a single pole and a cut (dotted lines). The integral (69) then reduces to the sum of the residue at this pole and the integral of the discontinuity of the int… view at source ↗
Figure 6
Figure 6. Figure 6: Complex plane of the k − 1 variable for the diagram in Fig. 3b. The initial integration contour consists of the entire real axis. It can be deformed in two ways: either to the upper half-plane, enclosing a single pole (dashed line), or to the lower half-plane, enclosing a double pole and a cut (dotted lines). Indeed, the left-hand side of this inequality corresponds precisely to the virtuality of particle … view at source ↗
Figure 7
Figure 7. Figure 7: A two-loop covariant diagram. The d-momenta labeling the propagators flow from left to right. given by ψϕ→φφ( ⃗k1, ⃗k2) [PITH_FULL_IMAGE:figures/full_fig_p017_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Integration variables (u, v) for Γ3R. The triangular region defined by the system of equations {0 ≤ u ≤ 1, 0 ≤ v ≤ 1−u} represents the full integration domain . The dotted (respectively gray) subregion indicates the domain contributing to the discontinuity of Γ3R for k 2 1 > 0 (k 2 1 < 0) and k 2 2 < 0 (k 2 2 > 0). Imaginary part The function Γ3R may develop a nonzero imaginary part, defined as Im Γ3R = Γ3… view at source ↗

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Soft Gluon Wave Function and Evolution Operator in the CGC at Next-to-Leading Order

    hep-ph 2026-07 conditional novelty 6.0

    The full O(g²) soft-gluon evolution operator in the CGC is constructed; acting on the pure-YM Hamiltonian it reduces it to its free part plus a ρ² coherent background energy.

Reference graph

Works this paper leans on

27 extracted references · 14 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Y. V. Kovchegov and E. Levin,Quantum Chromodynamics at High Energy, Vol. 33 (Oxford University Press, 2013)

    2013

  2. [2]

    Angelopoulou, A

    A.-K. Angelopoulou, A. D. Le, and S. Munier, SciPost Phys. Lect. Notes92, 1 (2025), arXiv:2311.14796 [hep-ph]

    Pith/arXiv arXiv 2025

  3. [3]

    Weinberg, Phys

    S. Weinberg, Phys. Rev.150, 1313 (1966)

    1966

  4. [4]

    J. B. Kogut and D. E. Soper, Phys. Rev. D1, 2901 (1970)

    1970

  5. [5]

    J. D. Bjorken, J. B. Kogut, and D. E. Soper, Phys. Rev. D3, 1382 (1971)

    1971

  6. [6]

    G. P. Lepage and S. J. Brodsky, Phys. Rev. D22, 2157 (1980)

    1980

  7. [7]

    H. C. Pauli and S. J. Brodsky, Phys. Rev. D32, 1993 (1985)

    1993

  8. [8]

    S. J. Brodsky, H.-C. Pauli, and S. S. Pinsky, Phys. Rept.301, 299 (1998), arXiv:hep-ph/9705477

    Pith/arXiv arXiv 1998

  9. [9]

    Polyzou, J

    W. Polyzou, J. Phys. A57, 045401 (2024), arXiv:2304.03847 [hep-ph]

    Pith/arXiv arXiv 2024

  10. [10]

    A. H. Mueller and S. Munier, Nucl. Phys. A893, 43 (2012), arXiv:1206.1333 [hep-ph]

    Pith/arXiv arXiv 2012

  11. [11]

    Beuf, Phys

    G. Beuf, Phys. Rev. D94, 054016 (2016), arXiv:1606.00777 [hep-ph]

    Pith/arXiv arXiv 2016

  12. [12]

    Lappi and R

    T. Lappi and R. Paatelainen, Annals Phys.379, 34 (2017), arXiv:1611.00497 [hep-ph]

    Pith/arXiv arXiv 2017

  13. [13]

    Beuf, Phys

    G. Beuf, Phys. Rev. D96, 074033 (2017), arXiv:1708.06557 [hep-ph]

    Pith/arXiv arXiv 2017

  14. [14]

    Taels, T

    P. Taels, T. Altinoluk, G. Beuf, and C. Marquet, JHEP10, 184, arXiv:2204.11650 [hep-ph]

    Pith/arXiv arXiv

  15. [15]

    Taels, JHEP01, (2024) 005

    P. Taels, JHEP01, (2024) 005

    2024

  16. [16]

    G. Beuf, T. Lappi, H. M¨ antysaari, R. Paatelainen, and J. Penttala, JHEP05, 024, arXiv:2401.17251 [hep-ph]

    Pith/arXiv arXiv

  17. [17]

    Munier,Unitary perturbation theory on the light cone using adiabatic switching(2025), to appear in Eur

    S. Munier,Unitary perturbation theory on the light cone using adiabatic switching(2025), to appear in Eur. Phys. J. C (2026), arXiv:2510.05256 [hep-ph]

    arXiv 2025

  18. [18]

    M. E. Peskin and D. V. Schroeder,An Introduction to quantum field theory(Addison-Wesley, Reading, USA, 1995)

    1995

  19. [19]

    G. F. Sterman,An Introduction to quantum field theory(Cambridge University Press, 1993)

    1993

  20. [20]

    ’t Hooft and M

    G. ’t Hooft and M. J. G. Veltman, Nucl. Phys. B153, 365 (1979). 20

    1979

  21. [21]

    Fleischer, F

    J. Fleischer, F. Jegerlehner, and O. V. Tarasov, Nucl. Phys. B672, 303 (2003), arXiv:hep-ph/0307113

    Pith/arXiv arXiv 2003

  22. [22]

    Abreu, R

    S. Abreu, R. Britto, and H. Gr¨ onqvist, JHEP07, 111, arXiv:1504.00206 [hep-th]

    Pith/arXiv arXiv

  23. [23]

    M¨ uhlbauer, Lett

    M. M¨ uhlbauer, Lett. Math. Phys.112, 118 (2022), arXiv:2206.08402 [math-ph]

    Pith/arXiv arXiv 2022

  24. [24]

    Angelopoulou,Scattering at high energies in quantum field theory(2021) Master’s internship report (unpublished), ´Ecole polytechnique

    A.-K. Angelopoulou,Scattering at high energies in quantum field theory(2021) Master’s internship report (unpublished), ´Ecole polytechnique

    2021

  25. [25]

    Abreu, R

    S. Abreu, R. Britto, C. Duhr, and E. Gardi, JHEP10, 125, arXiv:1401.3546 [hep-th]

    Pith/arXiv arXiv

  26. [26]

    Britto, Phys

    R. Britto, Phys. Rev. Lett.131, 091601 (2023), arXiv:2305.15369 [hep-th]

    Pith/arXiv arXiv 2023

  27. [27]

    R. E. Cutkosky, J. Math. Phys.1, 429 (1960). 21

    1960