In the first-quantised worldline approach to quantum field theory, a long-standing problem has been to extend this formalism to amplitudes involving open fermion lines while maintaining the efficiency of the well-tested closed-loop case. In the present series of papers, we develop a suitable formalism for the case of quantum electrodynamics in vacuum (part one and two) and in a constant external electromagnetic field (part three), based on second-order fermions and the symbol map. We derive this formalism from standard field theory, but also give an alternative derivation intrinsic to the worldline theory. In this first part, we use it to obtain a Bern-Kosower type master formula for the fermion propagator, dressed with N photons, in terms of the “N -photon kernel,” where off-shell this kernel appears also in “subleading” terms involving only N − 1 of the N photons. Although the parameter integrals generated by the master formula are equivalent to the usual Feynman diagrams, they are quite different since the use of the inverse symbol map avoids the appearance of long products of Dirac matrices. As a test we use the N = 2 case for a recalculation of the one-loop fermion self energy, in D dimensions and arbitrary covariant gauge, reproducing the known result. We find that significant simplification can be achieved in this calculation by choosing an unusual momentum-dependent gauge parameter.

We study the propagator of a colored scalar particle in the background of a non-Abelian gauge field using the worldline formalism. It is obtained by considering the open worldline of a scalar particle with extra degrees of freedom needed to take into account the color charge of the particle, which we choose to be in the fundamental representation of the gauge group. Specializing the external gauge field to be given by a sum of plane waves, i.e. a sum of external gluons, we produce a master formula for the scalar propagator with an arbitrary number of gluons directly attached to the scalar line, akin to similar formulas derived in the literature for the case of the scalar particle performing a loop. Our worldline description produces at the same time the situation in which the particle has a color charge given by an arbitrarily chosen symmetric or antisymmetric tensor product of the fundamental.

We present a novel procedure to construct Yang-Mills Berends-Giele currents from the Bern-Kosower formalism for one-loop gluon amplitudes. The obtained currents naturally obey color-kinematics duality. As a feedback to the Bern-Kosower formalism we outline how the multiparticle fields can be used to significantly streamline the pinch procedure for the reducible one-loop amplitudes.

We consider one-particle reducible (1PR) contributions to QED and scalar QED processes in external fields, at one-loop and two-loop order. We investigate three cases in detail: constant crossed fields, constant magnetic fields, and plane waves. We find that 1PR tadpole contributions in plane waves and constant crossed fields are non-zero, but contribute only divergences to be renormalised away. In constant magnetic fields, on the other hand, tadpole contributions give physical corrections to processes at one loop and beyond. Our calculations are exact in the external fields and we give strong and weak field expansions in the magnetic case.

In the first part of this series, we employed the second-order formalism and the “symbol” map to construct a particle path-integral representation of the electron propagator in a background electromagnetic field, suitable for open fermion-line calculations. Its main advantages are the avoidance of long products of Dirac matrices, and its ability to unify whole sets of Feynman diagrams related by permutation of photon legs along the fermion lines. We obtained a Bern-Kosower type master formula for the fermion propagator, dressed with N photons, in terms of the “N-photon kernel,” where this kernel appears also in “subleading” terms involving only N − 1 of the N photons.In this sequel, we focus on the application of the formalism to the calculation of on-shell amplitudes and cross sections. Universal formulas are obtained for the fully polarised matrix elements of the fermion propagator dressed with an arbitrary number of photons, as well as for the corresponding spin-averaged cross sections. A major simplification of the on-shell case is that the subleading terms drop out, but we also pinpoint other, less obvious simplifications.We use integration by parts to achieve manifest transversality of these amplitudes at the integrand level and exploit this property using the spinor helicity technique. We give a simple proof of the vanishing of the matrix element for “all +” photon helicities in the massless case, and find a novel relation between the scalar and spinor spin-averaged cross sections in the massive case. Testing the formalism on the standard linear Compton scattering process, we find that it reproduces the known results with remarkable efficiency. Further applications and generalisations are pointed out.

Quantum electrodynamics predicts the vacuum to behave as a nonlinear medium, including effects such as birefringence. However, for experimentally available field strengths, this vacuum polarizability is extremely small and thus very hard to measure. In analogy to the Heisenberg limit in quantum metrology, we study the minimum requirements for such a detection in a given strong field (the pump field). Using a laser pulse as the probe field, we find that its energy must exceed a certain threshold depending on the interaction time. However, a detection at that threshold, i.e., the Heisenberg limit, requires highly nonlinear measurement schemes—while for ordinary linear-optics schemes, the required energy (Poisson or shot noise limit) is much larger. Finally, we discuss several currently considered experimental scenarios from this point of view.