[Paper Review] The QED four -- photon amplitudes off-shell: part 1

Naser Ahmadiniaz, Cristhiam Lopez-Arcos+2 more|arXiv (Cornell University)|Dec 22, 2020

Particle physics theoretical and experimental studies4 citations

TL;DR

This paper introduces a refined worldline formalism to compute fully off-shell QED four-photon amplitudes in both scalar and spinor QED, using an optimized integration-by-parts procedure to achieve manifest transversality and UV finiteness at the integrand level. The method unifies scalar and spinor loop calculations, projects amplitudes into the Costantini et al. five-tensor basis, and expresses results in terms of hypergeometric functions, enabling systematic treatment of low-energy limits and general kinematics in subsequent parts of the series.

ABSTRACT

The QED four-photon amplitude has been well-studied by many authors, and on-shell is treated in many textbooks. However, a calculation with all four photons off-shell is presently still lacking, despite of the fact that this amplitude appears off-shell as a subprocess in many different contexts, in vacuum as well as with some photons connecting to external fields. The present paper is the first in a series of four where we use the worldline formalism to obtain this amplitude explicitly in terms of hypergeometric functions, and derivatives thereof, for both scalar and spinor QED. The formalism allows us to unify the scalar and spinor loop calculations, to avoid the usual breaking up of the amplitude into three inequivalent Feynman diagrams, and to achieve manifest transversality as well as UV finiteness at the integrand level by an optimized version of the integration-by-parts procedure originally introduced by Bern and Kosower for gluon amplitudes. The full permutation symmetry is maintained throughout, and the amplitudes get projected naturally into the basis of five tensors introduced by Costantini et al. in 1971. Since in many applications of the "four-photon box" some of the photons can be taken in the low-energy limit, and the formalism makes it easy to integrate out any such leg, apart from the case of general kinematics (part 4) we also treat the special cases of one (part 3) or two (part 2) photons taken at low energy. In this first part of the series, we summarize the application of the worldline formalism to the N-photon amplitudes and its relation to Feynman diagrams, derive the optimized tensor-decomposed integrands of the four-photon amplitudes in scalar and spinor QED, and outline the computational strategy to be followed in parts 2 to 4.

Motivation & Objective

• To develop a unified, manifestly transverse, and UV-finite worldline approach to fully off-shell four-photon amplitudes in QED.
• To generalize the Bern-Kosower integration-by-parts procedure for QED, enabling term-by-term finiteness and tensor decomposition at the integrand level.
• To project the amplitudes into the minimal five-tensor basis of Costantini et al., preserving full permutation symmetry.
• To establish a computational framework for treating low-energy limits (one or two photons) and general kinematics in subsequent parts of the series.
• To provide a systematic, efficient, and analytically tractable representation of the four-photon amplitude for use in phenomenological processes involving off-shell photons.

Proposed method

• Utilizes the worldline formalism to represent N-photon amplitudes as path integrals over particle trajectories, avoiding explicit Feynman diagram decomposition.
• Applies an optimized version of the integration-by-parts (IBP) procedure—originally from Bern and Kosower for gluons—adapted to QED to achieve manifest transversality and UV finiteness at the integrand level.
• Employs tensor decomposition using the minimal five-tensor basis introduced by Costantini et al. (1971), ensuring full permutation symmetry and gauge invariance throughout.
• Derives 'matching identities' for scalar and spinor QED that relate different tensor structures and facilitate tensor reduction in higher-point integrals.
• Introduces a systematic strategy to integrate out low-energy photons, enabling treatment of one- or two-photon low-energy limits via tensor reduction and integration.
• Expresses final results in terms of hypergeometric functions: $_2F_1$, $F_1$, and the Lauricella-Saran function, depending on the number of low-energy photons.

Experimental results

Research questions

• RQ1 How can the four-photon amplitude in QED be computed in a fully off-shell, manifestly transverse, and UV-finite form without relying on Feynman diagram decomposition?
• RQ2 Can the worldline formalism be systematically extended to unify scalar and spinor QED loop contributions to the four-photon amplitude while preserving gauge invariance and permutation symmetry?
• RQ3 What is the most efficient way to decompose the off-shell four-photon amplitude into a minimal tensor basis that maintains full symmetry and allows for systematic low-energy limits?
• RQ4 How can the integration-by-parts procedure be optimized in the worldline formalism to ensure term-by-term UV finiteness and simplify tensor reduction?
• RQ5 What analytical structure emerges when the four-photon amplitude is expressed in terms of special functions, and how does this structure facilitate computation in the low-energy or general kinematic regimes?

Key findings

• The worldline formalism enables a unified treatment of scalar and spinor QED four-photon amplitudes, avoiding the need to split calculations into separate Feynman diagram channels.
• The optimized integration-by-parts procedure ensures manifest transversality and UV finiteness of the amplitude at the integrand level, without requiring regularization after integration.
• The amplitudes are naturally projected into the five-tensor basis of Costantini et al., preserving full permutation symmetry and simplifying subsequent computations.
• The final results are expressed in terms of hypergeometric functions: $_2F_1$ for two low-energy photons, $F_1$ for one, and the Lauricella-Saran function for general kinematics.
• The formalism allows for the systematic integration out of low-energy photons, with the one- and two-photon low-energy cases requiring combined integration and tensor reduction.
• The Euler-Heisenberg limit (all photons low-energy) is recovered as a simple, closed-form case, demonstrating the formalism’s efficiency even for arbitrary photon numbers.