Prepared for submission to JHEP arXiv:2203.01245v1 [hep-ph] 2 Mar 2022 QED and Lasers: A Tutorial T. Heinzl,1 1 Centre for Mathematical Sciences, School of Engineering, Computing and Mathematics, University of Plymouth, PL4 8AA, UK E-mail: theinzl@plymouth.ac.uk Abstract: This is a write-up of a short tutorial talk on high-intensity QED, videopresented at the 2021 annual Christmas meeting of the Central Laser Facility at Rutherford-Appleton Lab, UK. The first half consists of a largely historical introduction to (quantum) electrodynamics focussing on a few key concepts. This well-established theory is then compared to its strong-field generalisation when a high-intensity laser is present. Some supplementary material and a fair amount of references have been added. In memoriam: Ernst Werner (1930-2021), ‘Doktorvater’ and mentor. Contents 1 Introduction: A Story of Two Acronyms 1 2 Electrodynamics 2 3 Quantum Electrodynamics 3.1 Overview 3.2 Application: Compton Scattering 5 5 7 4 High-Intensity Quantum Electrodynamics 4.1 Introduction 4.2 Formalism 4.3 Application: Nonlinear Compton Scattering 4.4 Teaser: Radiation Reaction 10 10 12 14 17 5 Conclusion 18 1 Introduction: A Story of Two Acronyms The title of this tutorial admittedly sounds a bit mundane – but then it is a fairly precise description of what we will do: we will rather literally add a very strong laser (field) to quantum electrodynamics (QED), the microscopic theory of light-matter interactions. With the preceding sentence we have defined the first acronym, QED. Its invention has its own complicated history and arguably goes back all the way to Planck’s analysis of black-body radiation and his introduction of energy quanta [1], later to be identified with photons, the particles of light. The quantum field theoretical aspects (‘second quantisation’) were introduced in the Dreimännerarbeit by Born, Heisenberg and Jordan [2], the latter being responsible for the section named ‘Coupled harmonic oscillators. Statistics of Wave fields.’ In this section, Jordan quantised the one-dimensional string which corresponds to a scalar, hence spin zero, field. Quantisation of the electromagnetic field, a spin-one vector field, was first achieved by Dirac a year later in 1927 [3], which thus may be viewed as the proper year of birth for QED. Useful collections of early papers on QED may be found in the source texts [4–6]. The history of QED has been described in the magisterial tome by Schweber [7]. –1– The laser has become a household name, so one tends to forget that it is another acronym standing for ‘light amplification by the stimulated emission of radiation’. Stimulated emission is a quantum process that was first explained by Einstein in terms of his eponymous coefficients [8]. Enhancing this effect employing population inversion and a gain medium was achieved by 1960 when the first laser was built by Maiman [9]. A particularly important breakthrough in our context was achieved in 1985 with the invention of chirped pulse amplification (CPA) by Strickland and Mourou [10], which earned them the Nobel prize in 2018. For the purposes of this tutorial, we will take such a CPA based high-intensity laser for granted and discuss how its presence affects the fundamental processes of QED. More details on the fundamentals and applications of lasers may be found in the comprehensive texts [11–13]. Incidentally, the births of QED and the laser are related theoretically: Dirac’s inaugural 1927 paper [3] calculates the Einstein coefficients using QED. A modern account of these calculations can be found at the very beginning of Schwartz’s recent text on quantum field theory [14]. 2 Electrodynamics The modern theory of electrodynamics came into being with Maxwell’s equations as summarised in Maxwell’s famous (but now little read) treatise of 1873 [15]. One of his big achievements was the (theoretical) identification of light as electromagnetic radiation. This finally clarified the earlier observation by Weber [16] that electromagnetism seemed to naturally involve a constant of nature with units of speed1 . Hertz’s discovery of electromagnetic radiation [18] was the experimental confirmation that finally confirmed Maxwell’s prediction. Maxwell’s treatise made for rather difficult reading as he did not have 3-vector notation at hand. This was only introduced a decade later by Heaviside [19] who (together with Hertz [20]) gave Maxwell’s equations their modern form2 . Thus, in 1894 Hertz could confidently state that “Maxwell’s theory is the system of Maxwell’s equations”. Interestingly, Hertz, who died in 1894 aged 36, was not able to solve the problem of the electrodynamics of moving bodies as he based his discussion in [21] on Galilei symmetry. However, the symmetry transformations of Maxwell’s equations are 1 In Weber’s (wrong) electrodynamical equation, based on action-at-a-distance rather than the field √ concept, this speed corresponds to 2 times the speed of light, c. In an experiment with Kohlrausch [17], they determined the speed implying a value of c = 3.1 × 108 m/s (if one anachronistically employs modern terminology). 2 Nahin in his Heaviside biography [22] states that for a short while the reformulated Maxwell equations were called the ‘Hertz-Heaviside equations’. –2– the Lorentz transformations discovered by Lorentz in 1895 [23]. The situation may be analysed as follows: If Maxwell’s equations were Galilei covariant and thus had the same form in all inertial frames related through Galilei transformations, it should be possible to eliminate the speed of light, c, from the equations. Choosing HeavisideLorentz units and rescaling the magnetic field, B → cB, while leaving the electric field, E, untouched, c can indeed be eliminated from all equations except for Faraday’s induction law which becomes 1 ∂B ∇×E=− 2 . (2.1) c ∂t In other words, sending c to infinity, we would end up with a Galilei covariant version of electrodynamics losing the induction law (2.1) on the way [24, 25]. It took an Einstein to finally solve the problem of reconciling motion and electrodynamics in his aptly entitled paper On the Electrodynamics of Moving Bodies [26]. There, he formulated his two postulates of special relativity, namely that all laws of physics take on the same form in inertial frames related by Lorentz transformations (Lorentz covariance) and that the speed of light is universal, i.e. it has the same value in all inertial frames (Lorentz invariance). The final touch was provided by Minkowski [27] who introduced 4-vector notation thus making Lorentz covariance manifest. All one has to do is to find an appropriate ‘zero component’ and ‘add’ it to Heaviside’s 3-vectors. 4-positions are space-time vectors x = (ct, x) implying a 4-gradient ∂ = (∂ct , ∇) and so on. In doing so, one introduces what is now called ‘Minkowski space’, which Minkowski described as follows: The consequences will be radical. Henceforth, ‘space’ and ‘time’, viewed as separate entities, will turn into mere shadows entirely, and only a union of the two will retain an independent meaning [28]. In the context of electrodynamics, one augments the electromagnetic current, j, by 0 j = cρ, where ρ is the charge density, implying a 4-current j = (cρ, j). Electric and magnetic fields, E and B, do not transform as 3-vectors, but rather as the components of an electromagnetic tensor, F = F (E, B) and its dual, F̃ = F (B, −E). The numbers of degrees of freedom (six) match if F is anti-symmetric, F T = −F . With these ingredients, Maxwell’s equations can finally be written in a form that remains unchanged upon changing frames. Thus, all inertial observers will agree on the following equations: ∂µ F µν = j ν , (2.2) ∂µ F̃ µν = 0 . (2.3) As important as covariant quantities (4-vectors, tensors, ...) are Lorentz invariant ones, often referred to as scalars. In practical terms, these have fully contracted Lorentz indices, so all of these appear twice and are summed over. Regarding the electromagnetic –3– fields, the most important scalars are 1 1 S = − Fµν F µν = (E 2 − B 2 ) , 4 2 1 P = − Fµν F̃ µν = E · B . 4 (2.4) (2.5) These may in turn be used to define Lorentz invariant field magnitudes, which are basically given in terms of the real eigenvalues of F , √ E = ( S 2 + P 2 + S)1/2 , (2.6) √ B = ( S 2 + P 2 − S)1/2 . (2.7) The scalar quantity S serves as the Maxwell Lagrangian in vacuum, i.e. in the absence of charges. To couple this to charged matter one needs another 4-vector, the electromagnetic (or gauge) potential which combines the (rotational) scalar and 3vector potentials according to A = (φ, A). The field strength is then its covariant curl, Fµν = ∂µ Aν − ∂ν Aµ . Note that this solves the homogeneous Maxwell equations by construction as ∂µ F̃ µν = µνρσ ∂µ ∂ρ Aσ = 0 (2.8) by the anti-symmetry of the Levi-Civita tensor (or, if you like, the Minkowski version of div curl = 0). The coupling to matter is now given by the Lorentz invariant scalar product of A and the electromagnetic current j which, for a relativistic point particle of mass m and charge e on a space-time curve (world-line) x = x(τ ), takes on the form Z µ j (x) = ec dτ ẋµ δ 4 (x − x(τ )) . (2.9) The coupling term in the action is thus Z Z 1 4 Sint = d x j · A = e dτ ẋ · A . c (2.10) The complete Lorentz invariant action for electrodynamics coupled to matter was first written down by Schwarzschild in 1903 [29] and reads Z Z 2 S = dτ (−mc + eẋ · A) + d4 x S . (2.11) In the above, cdτ = ds = (dx · dx)1/2 denotes the invariant distance element with proper time τ . We mention in passing that the action (2.11) is gauge invariant, that is invariant under local transformations Aµ → Aµ + ∂µ Λ, which only add a total time –4– derivative to the Lagrangian, (ẋ·∂)Λ = dΛ/dτ , and hence leave the equations of motion unchanged3 . The latter are obtained via Hamilton’s principle of least action and read Aµ = jµ , e mẍµ = F µν ẋν . c (2.12) (2.13) Equation (2.13) is the inhomogeneous wave equation which is solved by the LienardWiechert potential, formally Aµ = Aµ0 + −1 j µ , the inverse wave operator representing the retarded Green function. The homogeneous solution, Aµ0 , obeys the vacuum wave equation and corresponds to incoming radiation. The second equation of motion, (2.13), is the covariant version of the Lorentz force law, the right-hand side being the Lorentz 4-force. 3 Quantum Electrodynamics 3.1 Overview The following general rules apply when wants to quantise Maxwell theory: Rule 1: Quantisation is required when the experimental resolution, hence the energy of a given probe, is sufficiently large such that photons become the relevant degrees of freedom. In this case, the classical wave picture has to be abandoned in favour of the particle (photon) picture. Historically, this has been noticed in black-body radiation (Planck’s law), the photo-electric effect as explained by Einstein and the Compton effect, among many others. Rule 2: Relativistic covariance has to be maintained throughout. To implement these rules when quantising electrodynamics one might try to replace the particle equation of motion (2.13) by a relativistic version of the Schrödinger equation. This was attempted by Dirac with his celebrated Dirac equation. It turned out, however, that a formalism using single-particle wave functions obeying the Dirac equation does not work: It does not allow for creation and annihilation processes where particle number ceases to be conserved. In particular, particle number does not commute with the generators of Lorentz boosts: different observers will thus disagree in their measurements of particle content! In more practical terms, once the localisation energy exceeds a threshold of 2mc2 , the creation of an electron-positron pair of mass 2m will be possible. This has been seen in Klein’s paradox [34], where the relativistic 3 The notion of gauge invariance goes back to Weyl [30, 31] as nicely reviewed in [32, 33] –5– scattering at a potential step seems to violate unitarity in that reflection and transmission probabilities do not add up to unity. The resolution of the paradox requires a ‘leakage’ current due to the formation of pairs, a reaction channel that is absent in a single-particle formalism. Instead, one needs a relativistic many-body formalism based on ‘second quantisation’, where both light and matter have to be described by quantum fields with their modes quantised according to their statistics: Bose-Einstein for photons and FermiDirac for electrons (and positrons). The result is quantum electrodynamics (QED), the first realistic example of a relativistic quantum field theory which is the only consistent unification of quantum mechanics and special relativity. The physical content of QED is encoded in its Lagrangian, 1 LQED = LMaxwell + LDirac + Lint = − F 2 + ψ̄(i~∂/ − mc)ψ + ej · A . 4 (3.1) Each of these terms may be symbolically associated with a Feynman diagram, LQED “ <latexit sha1_base64="H8nZbqGCqi/iix8H5Ci2ppbb1vU=">AAAEGniclVPLbtQwFHU7PEp4tbBkY9GO1FWUaatOi4RUCZBYsGgl+pDq0chx7kysOrFl37QzivILfAGfwRYW7BBbNvA1OJlQGF6CK0U6Offpc+3YKOkwij4vLHauXL12felGcPPW7Tt3l1fuHTldWAGHQittT2LuQMkcDlGighNjgWexguP47EntPz4H66TOX+LUwCDj41yOpODoqeHyOmtqlLEqoApYxjEVXJUvqmGDbVYePHta0cd0uLwahdHG7nY/oh405sHuzubmTkR7LbNKWtsfrix+YYkWRQY5CsWdO+1FBgcltyiFqpsVDgwXZ3wMpx7mPAM3KJtxKtr1TEJH2vovR9qwP2aUPHNumsU+sp7T/eyryd/5Tgsc7QxKmZsCIRezRqNCUdS01ocm0oJANfWACyv9rFSk3HKBXsW5LnVtHk98iWZO7tDqXGdeWkXr0bSa75ycS+PaU05mx5yr57xIKSRVEATdBEYyl/WKqB5R5feZ8Jh7BbyDXf6WzFiNfly2d8lVs5jvRNkNmAXFJ5TFY6sL0wYgZIaXLI31pGSWSwdhf5OlGAUN5wXx6yrZGdg83GAXScTObaGAXsgE07BfM0EKcpxi2DNIEzCe9oilzlXMV4iqqtveqFRLASVzgDU/67nGEumM4lOHUwXtodaqdjCf+ks8wgT/Odj55Zn/Dv9rEoNGP+o35F/DtytP/wyONsLedrh1sLW696h9F0vkAXlI1kmP9MkeeU72ySER5BV5Q96Sd53XnfedD52Ps9DFhTbnPpmzzqevp1tivw==</latexit> + + (3.2) the last term describing the fundamental QED vertex, the interaction between photons and Dirac particles (electrons, positrons). The latter are encoded in the electromagnetic or Dirac current, jµ = ψ̄γµ ψ with γµ denoting the four gamma matrices required for a first-order relativistic wave equation. The form of the interaction is dictated by the principle of gauge invariance which implies ‘minimal substitution’, i.e. the replacement of mechanical by canonical momenta or derivatives by gauge covariant derivatives, / (The Feynman-‘slash’ notation represents contraction with the gamma i∂/ → i∂/ − eA. matrices, a / ≡ γ · a.) Looking at the QED Lagrangian we can identify four parameters, ~, c, m and e corresponding to Planck’s constant, the speed of light, the electron mass and charge, respectively. The first two of these, ~ and c, reflect the union of quantum mechanics and special relativity and can be set to unity without harm upon choosing natural units. This renders the elementary charge, e, dimensionless, so that the only dimensionful scale remaining is the mass m. Using dimensional analysis, one infers the important basic quantities listed in Table 1. The first entry, the electron rest energy, E0 = mc2 ' 0.5 MeV, provides the QED energy scale. Adopting natural units henceforth, E0 = m, while its inverse defines the QED length scale, λe = 1/m ' 400 fm. Energy per length, thus E0 /λe , is a –6– quantity formula name energy scale E0 ≡ mc2 electron rest energy length scale λe ≡ ~/mc electron Compton wave length field strength coupling eES ≡ E0 /λe = m2 c3 /~ α = EC /E0 = e2 /4π~c Sauter-Schwinger field fine structure constant Table 1. Important quantities derived from basic QED parameters force, which defines the QED field strength, ES = m2 /e = 1.3 × 1018 V/m. This field magnitude is typical for QED across distances of the order of a Compton wavelength. The challenge is to achieve such field strengths over macroscopic distances. Last but not least, the fine structure constant is defined as the ratio of the Coulomb energy between two electrons separated by a Compton wavelength and the electron rest energy, α = e2 /4π = 1/137 1. The small value of this basic QED coupling guarantees that perturbation theory in α works well and yields highly accurate results. The reader may have noticed the subscript S associated with the QED field strength. This is to flag the historical contributions of Sauter and Schwinger. The first introduced this quantity as early as 1931 in his tunnelling interpretation of the Klein paradox [35]. Schwinger performed the first modern QED calculation of the pair creation rate, R, in the presence of a uniform electric field, with the famous result [36]: R ∼ E 2 exp(−πES /E) = E 2 exp(−πm2 /eE) . (3.3) This rate is nonperturbative in the coupling e and represents a huge exponential suppression for field strengths E ES . Schwinger’s rate (3.3) can be made Lorentz invariant by employing the invariant fields (2.6) and (2.7) which leads to [37] R ∼ EB coth(πB/E) exp(−πm2 /eE) . 3.2 (3.4) Application: Compton Scattering As an important application we will consider the elementary process of Compton scattering where an electron and a photon scatter off each other. This was first discovered by Compton in 1923 [38] who shot X-rays at electrons at rest and observed a red-shift of the X-ray photons corresponding to an energy-momentum transfer from the photons to the electrons. The process is represented by the Feynman diagram of Fig. 1. It shows an electron of 4-momentum p colliding with a photon of 4-momentum k exchanging energy and momentum such that the particles end up with 4-momenta p0 –7– 𝑒 ! , 𝑝′ 𝛾, 𝑘 𝛾, 𝑘′ 𝑒 !, 𝑝 Figure 1. Feynman diagram for Compton scattering with 4-momentum assignments. and k 0 , respectively. This description is relativistically covariant. Any choice of frame is encoded in the parametrisation of the initial 4-momenta. Whatever this choice, one always has energy momentum conservation, p + k = p0 + k 0 . (3.5) One can actually do ‘better’ and introduce the Mandelstam invariants [39] which have the same value in any frame, s = (k + p)2 ≡ m2 (1 + 2η) , t = (k 0 − k)2 = −2k · k 0 , 0 2 2 0 u = (p − k ) = m (1 − 2η ) . (3.6) (3.7) (3.8) Here we have also introduced the dimensionless energy variables ~k · p η := , (mc)2 ~k · p0 η := , (mc)2 0 (3.9) which measure the electron momentum projection along the photon direction k in units of (mc)2 . (We have temporarily reinstated ~ and c to flag that these are relativistic quantum variables.) The most important quantity is arguably s, defined in (3.6), which represents the total energy (squared) of the particles in the centre-of-mass frame. In other words, this is the available energy budget for the process expressed in a frame independent manner. The Mandelstam variables are not independent but obey the constraint s + t + u = 2m2 , (3.10) which follows directly from the mass shell conditions, p2 = p02 = m2 , k 2 = k 02 = 0 . –8– (3.11) 𝑠=0 𝑢=0 𝑡 = 4𝑚" : Pair threshold (Breit-Wheeler) 𝑠 = 𝑠#$% 𝑢 = 𝑠 = 𝑚": Thomson limit 𝑡=0 Kinematic range 𝑠𝑢 = 𝑚! : Compton edge Figure 2. Mandelstam plot for Compton scattering. (The pair threshold is not drawn to scale to save space.) Using (3.10) the invariant kinematics of the Compton process can be illustrated with a Mandelstam plot as depicted in Fig. 2. For any given point in the plane, the Mandelstam variables are given by the orthogonal distances to the axes s, t, u = 0, which form an equilateral triangle of height 2m2 . The allowed kinematic range for Compton scattering is given by the shaded area enclosed by the (horizontal) axis t = 0 and the parabola su = m4 (in red) defining the Compton edge. It corresponds to the maximal momentum transfer 4η 2 m2 − t = (s − m ) /s = 4(k · p) /s = , 1 + 2η 2 2 2 (3.12) or back-scattering kinematics, where the 3-momenta of incoming and outgoing photons have opposite directions. The classical (Thomson) limit is located at the vertex of the parabola where s = u = m2 and t = 0 (no momentum transfer or recoil). The kinematic regions to the left and right of this point are referred to as the u and s channel, respectively. The t channel, on the other hand, is given by the upper parabolic region where t ≥ 4m2 , the pair creation threshold (not drawn to scale to save space). This is the kinematic region for the crossed (pair creation) process, γ + γ → e+ + e− , –9– first predicted by Breit and Wheeler in 1934 [40]. A version of this process with the incoming photons still slightly virtual or off-shell (k 2 6= 0) has recently been observed for the first time [41]. The total cross section for Compton scattering, first calculated by Klein and Nishina in 1928, is depicted in Fig. 3 as a function of η in units of the classical Thomson cross section, 8π α2 σTh = , (3.13) 3 m2 which is energy independent. Quantum effects thus lead to a significant reduction of the cross section at high energy (η 1). TOTAL CROSS SECTION (KLEIN-NISHINA) Figure 3. Klein-Nishina cross section for QED Compton scattering in units of the classical Thomson cross section. 4 4.1 High-Intensity Quantum Electrodynamics Introduction It is customary in physics to investigate the response of a system to an applied external field. Well known examples include spin systems or superconductors in the presence of – 10 – an external magnetic field. In the context of QED, the study of external field problems goes back at least to the work of Heisenberg and Euler on vacuum polarisation [42]. They assumed the external electric or magnetic fields to be constant in space and time. Here we want to analyse how QED gets modified under the influence of a highintensity laser field. The simplest model for such a field is a plane wave characterised by a wave vector k that is light-like or null, k 2 = 0. The associated 4-potential will only depend on the invariant phase variable, k · x, and hence obeys the free wave equation, Aµ = 0, while the field tensor is null as well. This means that the field invariants (2.4) and (2.5) vanish, S=P=0, (4.1) such that electric and magnetic fields, E and B, are orthogonal and of equal magnitude4 . Null fields are hence rather elusive as has been known already to Heisenberg who noted in 1934 that a single plane wave cannot polarise the vacuum. One needs at least two of them brought into collision to ensure a non-vanishing energy density [43]. This has been confirmed by a modern QED calculation due to Schwinger who showed that plane waves lead to a vanishing effective action, hence the absence of vacuum polarisation [44]. Thus, in order to define non-vanishing invariants, the (plane wave) fields alone are not sufficient, and one has to employ a probe particle, say an electron, of momentum p = mu. One can then define the laser frequency and the energy density ‘seen’ by this probe (i.e. as measured in the instantaneous rest frame of the electron), namely ωL := k · u , E02 := (u, F 2 , u)/c2 . (4.2) (4.3) These can be made dimensionless upon introducing the parameters ~ωL , mc2 eE0 λe χ := , mc2 η := (4.4) (4.5) referred to as the quantum energy and the quantum nonlinearity parameters, respectively. (Note that η formally coincides with the definition (3.9), but with k now denoting the laser momentum.) Dividing the two one obtains the classical nonlinearity parameter, eE0 λL a0 := χ/η = , (4.6) mc2 4 Of course, this plane wave model is an over-simplification as it does not describe a focussed beam. – 11 – defined in terms of the field magnitude E0 ‘seen’ by the probe and the reduced laser wavelength, λL = c/ωL . Thus, a0 is the dimensionless laser field amplitude (sometimes denoted as ξ). The parameters above have to be added to those of standard QED which obviously enlarges the parameter space to be studied. One is particularly interested in the intensity, hence a0 , dependence at a given value of η, i.e. the centre-of-mass energy of the combined laser-electron system, cf. (3.6) and the application further below. 4.2 Formalism Before discussing an application let us have a brief look at the basic formalism of highintensity QED. In the QED Lagrangian, one splits the 4-potential into a plane wave background field, Ā = Ā(k ·x), and a fluctuating photon, A. The background is null and obeys the vacuum wave equation, Ā = 0. Its kinetic term, the invariant S̄, vanishes while the mixed term, F F̄ , is a total derivative that does not contribute to the action. Hence, the background field Ā enters the Lagrangian solely through its coupling to the matter current, L̄int = eĀ · j. Setting eĀ =: a0 a, the Dirac equation thus becomes / , (i∂/ − m − a0 a /)ψ = eAψ (4.7) while the equation for the QED photon, A, remains unchanged, Aµ = eψ̄γµ ψ . (4.8) The important thing to note is that we are now dealing with two couplings, e and a0 . While e < 1 (and in particular α = e2 /4π 1), the coupling a0 can be much larger than unity. In other words, while perturbation theory in e (or, effectively, α) makes sense, we need to treat a0 non-perturbatively, trying to sum up all orders in a0 . Thus, the right-hand sides of (4.7) and (4.8) can be considered small but the zeroth-order approximation to (4.7), obtained by setting e = 0 on the right, involves all orders in a0 on the left. Fortunately, there is an exact zeroth-order solution due to (and named after) Volkov [45]. Perturbing on top of a background that is treated exactly corresponds to working in the quantum mechanical Furry picture [46]. Rather than writing down a formula, we will proceed graphically by employing the fact that the solutions of the classical equations of motion (4.7) and (4.8) are found by summing all tree diagrams formed from the leading-order solutions. Representing the Volkov solution by a double line, the solutions to order e2 are depicted in Fig.s 4 and 5. The first high-intensity QED calculation was done by Reiss who considered nonlinear Breit-Wheeler pair production in 1962 [47]. This was soon followed by extensive work on photon emission and pair production due to Nikishov, Ritus, Narozhny and others in the (then) Soviet Union [48–51] large parts of which are reviewed in [52]. – 12 – <latexit sha1_base64="F08v8kTqzhMkzTLoiXy3xdvySWA=">AAAECXiclVPLbtQwFHU7PEp4tIUFCzYW00plE2VmENMiIVViw7JITFupHlWOc2di1Ykt22lnFOUL+Ay2sGCH2PIV8DXcZEJheAksRbo+99zXuXFslHQ+ij6vrHauXL12fe1GcPPW7TvrG5t3D50urICR0Erb45g7UDKHkZdewbGxwLNYwVF89rz2H52DdVLnr/zcwDjj01xOpOAeodON+6zJUcaqgCpgxsmd2SP6jJ5udKMw6u89GUYUjeagsbc7GOxGtNciXdKeg9PN1S8s0aLIIPdCcedOepHx45JbL4WqcxcODBdnfAonaOY8Azcum+oV3UYkoRNt8cs9bdAfI0qeOTfPYmRm3KfuZ18N/s53UvjJ7riUuSk85GJRaFIo6jWt5aCJtCC8mqPBhZXYKxUpt1x4FG2pSp2bxzNM0fTJnbc61xkqqWjdmlbLlZNzaVw75Wwx5lI+hyKlkFRBEGwnMJG5rDdC9YQqXF/CY44KoINdXktmrPbYLtu/xKoF5ztQbgfMguIzyuKp1YVpCR4yw0uWxnpWMsulg3A4YKmPggZDQXBdJTsDm4d9dpFE7NwWCuiFTHwaDmskSEFOUx/2jKcJGITRYqlzFcMMUVVh6VolkWopoGQOfI0vam6xRDqj+Nz5uYJ2qK2qbQxDf+F7mPl/Jjtcnvlv+l+DGDT6UdwQvoZvvzz9s3HYD3uDsP/ycXf/afsu1sgD8pDskB4Zkn3yghyQERGkIm/IW/Ku87rzvvOh83FBXV1pY+6RpdP59BXrQVrx</latexit> pxq “ Volkov 𝛾 emission (NL Compton) 2𝛾 emission (D NL Compton) NL Trident PP Figure 4. Solution of the electron equation of motion (4.7). The leading order on the right represents the Volkov solutions while higher orders correspond to particle emission (a.k.a. nonlinear or double nonlinear Compton scattering) or pair production (PP) processes. Aµ pxq “ <latexit sha1_base64="NPDtDx0Y78v5n7GkghrZnn7NOws=">AAAEC3iclVPLbtQwFHU7PEp4tIUVYmPRViqbKDODmBYJqYgNyyLRh1SPRo5zZ2LViS3baWcURXwBn8EWFuwQWz4CvoabTCgML4GlSNfnnvs6N46Nks5H0eel5c6ly1eurlwLrt+4eWt1bf32odOFFXAgtNL2OOYOlMzhwEuv4NhY4Fms4Cg+fVb7j87AOqnzl35mYJjxSS7HUnCP0GjtLmtylLEqoAqejlhW0O3pA/qEjtY2ojDq7T4aRBSN5qCxu9Pv70S02yIbpD37o/XlLyzRosgg90Jx5066kfHDklsvhcLsrHBguDjlEzhBM+cZuGHZ1K/oFiIJHWuLX+5pg/4YUfLMuVkWIzPjPnU/+2rwd76Two93hqXMTeEhF/NC40JRr2ktCE2kBeHVDA0urMReqUi55cKjbAtV6tw8nmKKpk/uvNW5zlBLRevWtFqsnJxJ49opp/MxF/I5FCmFpAqCYCuBscxlvROqx1ThAhMec1QAHeziWjJjtcd22d4FVs0534FyK2AWFJ9SFk+sLkxL8JAZXrI01tOSWS4dhIM+S30UNBgKgusq2SnYPOyx8yRiZ7ZQQM9l4tNwUCNBCnKS+rBrPE3AIIwWS52rGGaIqgpL1yqJVEsBJXPga3xec5Ml0hnFZ87PFLRDbVZtYxj6C9/D1P8z2eHyzH/T/xrEoNGP4obwNXz75emfjcNe2O2HvRcPN/Yet+9ihdwj98k26ZIB2SPPyT45IIK8Im/IW/Ku87rzvvOh83FOXV5qY+6QhdP59BV6Oltb</latexit> QED photon NL BreitWheeler PP Photo PP Photo PP Figure 5. Solution of the photon equation of motion (4.8). The leading order on the right represents a free QED photon while higher orders correspond to particle emission and/or pair production processes. At the same time, important and lucid contributions analysing (nonlinear) Compton scattering at high intensity were made by Brown and, in particular, Kibble [53–56]. The discussion of higher-order processes has included processes such as double nonlinear Compton scattering [57–62] and the nonlinear trident process [63–71]. These studies generalise their linear pendants which already are nontrivial due to the threeparticle final states. (See e.g. Ch. 11 of the classic QED text by Jauch and Rohrlich [72] for an overview and early references.) For the nonlinear processes, the current state of the art is presented in [73, 74] (and references therein). Photo-pair production (the two-vertex processes in Fig. 5) was first considered by means of the optical theorem, i.e. by cutting the relevant loop diagram [65]. Recently, it has been revisited under the name of ‘photon trident’ using modern techniques [74]. – 13 – 4.3 Application: Nonlinear Compton Scattering A natural question to ask is about the modifications to Compton scattering if one of the incoming photons is replaced by a laser beam, i.e. a coherent superposition of optical-frequency (hence low-energy) photons. An alternative point of view is to regard this process as the emission of a photon by an electron dressed by, and exchanging 4momentum with, the laser field (the one-vertex process in Fig. 4). The process in question replaces the Feynman diagram of Fig. 1 by a sum over the diagrams depicted in Fig 6. 𝑛 𝑒′, 𝑞′ 𝛾! , 𝑘 𝛾, 𝑘′ 𝑒, 𝑞 Figure 6. ments. Feynman diagram for nonlinear Compton scattering with 4-momentum assign- The Feynman graph corresponds to the n-photon process e + nγL → e0 + γ. As any number n of laser photons may be involved, the total amplitude is obtained by summing over all n. Formulae can be looked up in the original publications [48–50] or in the textbook by Landau and Lifshitz [75]. We will not need the details with one exception, the appearance of the quasi-momenta, q := p + a20 k, 2η q 0 := p0 + a20 k, 2η 0 (4.9) in the energy-momentum balance q + nk = q 0 = k 0 . (4.10) The quasi-momenta are thus intensity dependent, which is reflected in the altered mass-shell condition, q 2 = q 02 = m2 (1 + a20 ) =: m2∗ , (4.11) The mass-shift, m → m∗ , was first discovered by Sengupta [76] and has been extensively discussed by Kibble [54–56] so that m∗ also goes under the name of Kibble mass. The effects caused by this modified mass can again be nicely illustrated in terms of a – 14 – Mandelstam plot [77]. To this end, one introduces the modified Mandelstam variables, sn = (nk + q)2 = m2 (1 + a20 + 2nη) , (4.12) tn = (k 0 − nk)2 = −2nk · k 0 , (4.13) 0 2 2 un = (nk − q ) = m (1 + a20 0 − 2nη ) . (4.14) These obey the sum rule sn + tn + un = 2m2∗ , (4.15) which is independent of the photon number n, hence the same for all processes represented by Fig. 6. Crucially, this alters the height of the unilateral triangle in the Mandelstam plot which thus serves as an invariant signature for the mass shift, see Fig. 7. The n dependence of the Mandelstam variables corresponds to the appearance of higher harmonics, labelled by sn , each with its own kinematic range (highlighted in orange in Fig. 7). 𝑢=0 𝑠=0 𝑠$ 𝑠% 𝑠& Harmonics QED Mass shift: 2𝑚! 𝑎!" 𝑡=0 Harmonic ranges HI Compton edge: 𝑠! 𝑢! = 𝑚#∗ Figure 7. Mandelstam plot for nonlinear Compton scattering. Compared to standard QED, one should note the intensity dependent mass shift and the appearance of harmonics, each with their own kinematic ranges. Compared to linear Compton scattering (standard QED), the range in Mandelstamt gets enlarged corresponding to a larger momentum transfer. This implies a red-shift – 15 – (blue-shift) of the fundamental, n = 1, Compton edge in the scattered photon (electron) spectra. Fig. 8 compares the photon spectra for linear Compton as well as nonlinear Thomson and Compton scattering employing the parameters of the LUXE experiment [78]. On top, we have listed the formulae for the different Compton edges. One can clearly distinguish between classical intensity effects (parametrised by a0 ) and quantum effects (parametrised by η). 2𝜂 1 + 𝑎"! 2𝜂 1 + 2𝜂 + 𝑎"! 2𝜂 1 + 2𝜂 𝑑𝑃 𝑑𝜂′ 𝜂′ Figure 5. Photon energy spectrum due to the interaction of an electron with energy 16.5 GeV i Figure 8. Scattered photon spectra for electron laser scattering (adapted from [78]). Vertical di↵erent physical models: linear QED (red dashed), nonlinear classical (blue dotted), nonlinea lines demarcate the kinematic edges for QED Compton scattering (red-dashed), nonlinear QED (black solid). position of theand first harmonic peak, often called the Compton edge, i ThomsonThe scattering (blue-dashed) nonlinear Compton scattering (black). determined kinematically and plotted as a grey vertical line in each case. As before, we can compare the total cross sections. The formulae are quite messy, so we just have a look at the corrections to leading-order in a0 and η [79]. Fig. 9 provides overview of the results for thescattering, different regions parameterharmonic space (in the In linear QED, i.e.anperturbative Compton theofposition edges are foun 2n⌘ a η plane). 0 0 at, ulin.QED = 1+2n⌘0 . Nonlinear e↵ects appear through the introduction of ⇠ dependence in th The corrections are in one-to-one correspondence with the three spectra of Fig. 8: position of the Compton edge. In the nonlinear classical theory, Thomson scattering, there is The Klein-Nishina cross-section for (linear) QED Compton scattering was already 2n⌘0 clear red-shifting due to the field dependence, with the harmonic edges at, u = nonlin.class 1+⇠ 2 shown in Fig. 3. For nonlinear (high-intensity) QED it gets replaced by the nonlinear Recoil e↵ects are included in thewhich transition nonlinear electrodynamics Compton cross section has thefrom nonlinear Thomsonclassical cross section as its classical to nonlinea 2n⌘0 QED leading limit to a(ηfurther → 0). red-shifting of the Compton edge to, unonlin.QED = 2n⌘ +1+⇠ 2 . Th 0 red-shifting of the nonlinear QED Compton edge compared to linear QED is most readil explained by the electron gaining an e↵ective mass [33] during the interaction, which is du to the interaction with many background field photons. The shift of the leading Compton edge (n– = 16 1) – in the electron energy spectrum is shown i fig. 6. The electron beam has an initial energy of 16.5 GeV, with a finite size of el = 5 µm. Th laser pulse is taken to have a Gaussian profile in both the longitudinal and transverse directions The red solid line shows the theoretical prediction, with the dashed lines representing a 5% 𝜂 𝜎 ≈ 𝜎"# (1 − 2𝜂) Klein-Nishina 𝜎 ≈ 𝜎"# (1 − 2𝜂 + $% 𝑎&! ) NL Compton 𝜎 = 𝜎"# Thomson 𝜎 ≈ 𝜎"# (1 + $% 𝑎&! ) NL Thomson 𝑎! Figure 9. Leading-order corrections to the Thomson cross section induced by intensity and quantum effects. 4.4 Teaser: Radiation Reaction It turns out that there is a classical correction to the Thomson cross section that is missing in Fig. 9, namely that induced by radiation reaction. It was first calculated by Dirac in 1938 when he posed his relativistic equation of motion [80] that replaces (2.13). Taking into account the effects of radiation through elimination of the Liénard-Wiechert potentials he obtained what is now called the Lorentz-Abraham-Dirac equation, mẍ = eF ẋ + Frad . (4.16) We have refrained from explicitly writing down the correction term, Frad . It suffices to say that it is proportional to the third (proper) time derivative of position x (which causes problems in its own right) and a time parameter, τ0 := 32 αλe ' 2 fm/c . (4.17) Note that the powers of ~ cancel in this expression. From his equation (4.16), Dirac finds that the Thomson cross section should be replaced by σRR ≡ σTh σTh 2 = ' σ 1 − αη . Th 3 1 + 2 k · u τ0 1 + 23 αη (4.18) Again, factors of ~ have all cancelled. It is an unsolved question how this cross section arises within QED. Recent investigations suggest [81–83] that it may result from an – 17 – all-orders resummation of an appropriate class of Feynman diagrams including loops. This resummation should yield the summed geometric series (in 23 αη) represented by Dirac’s cross section, σRR . 5 Conclusion In the course of the last decade or so, high-intensity QED has become a mature field of research with new dedicated experiments close to realisation so that the findings reported in [84–88] will soon be confirmed and/or improved upon. As a result, it is not possible to do justice to the whole field in a half-hour tutorial session. The required focussing on just a few aspects has hence led to a number of omissions which include: laser induced pair production and related processes, phenomena related to vacuum polarisation and light-by-light scattering as well as higher-order processes and fundamental questions related to them such as the breakdown of strong-field perturbation theory. One also needs to address the limitations of the approximations made, in particular the plane wave and external field approximations. The plane wave model cannot describe focussed beams, while an external field by definition is blind to backreaction phenomena caused by that very field. Space and time limitations have also led to a focus on theory, for which the author apologises to his experimental colleagues, in particular to those involved in the planned LUXE experiment. There are a number of recent reviews which cover the omissions made here and include references to the original works [89–97]. The reader is encouraged to find further information and inspiration there. Acknowledgements The author thanks Alex Robinson for the invitation to give this presentation. He is indebted to Ben King for a careful reading of the manuscript and a number of useful comments. References [1] M. Planck, Ueber eine Verbesserung der Wien’schen Spectralgleichung. Verhandlungen der Deutschen Physikalischen Gesellschaft, 2, 202-204 (1900.) Translated in D. ter Haar, On an Improvement of Wien’s Equation for the Spectrum. The Old Quantum Theory, Pergamon Press, pp. 79–81 (1967). [2] M. Born, W. Heisenberg and P. Jordan, Zur Quantenmechanik [On Quantum Mechanics], Z. Phys. 25, 557-615 (1926). Translated in [5]. – 18 – [3] P. A. M. Dirac, The quantum theory of emission and absorption of radiation, Proc. Roy. Soc. (London) A, 114, 243-265 (1927). [4] J. Schwinger, Selected Papers on Quantum Electrodynamics, Dover, New York (1958). [5] B. L. van der Waerden, Sources of Quantum Mechanics, Dover, New York (1968). [6] A. I. Miller, Early Quantum Electrodynamics, Cambridge University Press (1994). [7] S. S. Schweber, QED and the men who made it: Dyson, Feynman, Schwinger, and Tomonaga, Princeton University Press (1994). [8] A. Einstein, Strahlungs-Emission und -Absorption nach der Quantentheorie [Emission and Absorption of Radiation according to Quantum Theory], Verhandlungen der Deutschen Physikalischen Gesellschaft 18, 318-323 (1916); Translated in A. Engel, The Berlin Years: Writings, 1914-1917, 212–216, Princeton University Press 1987. [9] T. H. Maiman, Stimulated optical radiation in ruby, Nature 187, 493-494 (1960). [10] D. Strickland and G. Mourou, Compression of amplified chirped optical pulses, Opt. Commun. 55, no.6, 447-449 (1985); [erratum: Opt. Commun. 56, 219-221 (1985)]. [11] A. E. Siegman, Lasers, University Science Books, 1986. [12] O. Svelto, Principles of Lasers Springer, New York, 2010 (reprint of 4th edition, 1998). [13] D. Meschede, Optics, Light and Lasers, Wiley-VCH, Weinheim, 2004. [14] M. D. Schwartz, Quantum Field Theory and the Standard Model, Cambridge University Press (2014). [15] J. C. Maxwell, A Treatise on Electricity and Magnetism, Clarendon Press, Oxford (1873). [16] W. Weber, Elektrodynamische Maassbestimmungen: Ueber ein allgemeines Grundgesetz der elektrischen Wirkung [Electrodynamical measurements: On a general principle of electric action] (1846), Werke, Vol. III, p. 25, Berlin 1893. [17] W. Weber and R. Kohlrausch, Elektrodynamische Maassbestimmungen insbesondere Zurückführung der Stromintensitätsmessungen auf mechanisches Maass [Electrodynamical measurements, especially the reduction of electrical current measurements to mechanical ones] (1857), Werke, Vol. III, p. 609, Berlin 1893; Original announcement in Vol. III, p. 591 on 20 October 1855. [18] H. R. Hertz, Untersuchungen ueber die Ausbreitung der Elektrischen Kraft [Investigations of the propagation of electric force], Barth, Leipzig (1892); Translated in D. E. Jones, Electric Waves: Being researches on the propagation of electric action with finite velocity through space, MacMillan, London (1893). [19] O. Heaviside, Electromagnetic Theory. Vol. I, The Electrician, London (1893). – 19 – [20] H. R. Hertz, Ueber die Grundgleichungen der Elektrodynamik für ruhende Körper [On the fundamental equations of electrodynamics for bodies at rest], Ann. Phys. 41, 577-62 (1890); Gesammelte Werke [Collected Works], Vol. II, p. 208, Leipzig, 1894. [21] H. R. Hertz, Ueber die Grundgleichungen der Elektrodynamik für bewegte Körper [On the fundamental equations of electrodynamics for bodies in motion], Ann. Phys. 41, 369-399 (1890). [22] P. J. Nahin, Oliver Heaviside, Johns Hopkins University Press, Baltimore, 2002. [23] H. A. Lorentz, Versuch einer Theorie der electrischen und optischen Erscheinungen in bewegten Körpern [Attempt of a Theory of Electrical and Optical Phenomena in Moving Bodies], E. J. Brill, Leiden (1895). [24] M. Le Bellac and J. M. Levy-Leblond, Galilean electromagnetism, Nuovo Cim. B 14, 217–234 (1973). [25] M. Jammer and J. Stachel, If Maxwell had worked between Ampere and Faraday: An historical fable with a pedagogical moral, Am. J. Phys. 48, 5 (1980). [26] A. Einstein, Zur Elektrodynamik bewegter Körper [On the electrodynamics of moving bodies], Annalen Phys. 17, 891-921 (1905). [27] H. Minkowski, Die Grundgleichungen für die elektromagnetischen Vorgänge in bewegten Körpern, Nachrichten der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 53-111 (1908); English translation in: The Principle of Relativity, The Fundamental Equations for Electromagnetic Processes in Moving Bodies, 1-69, Calcutta University Press (1920). [28] H. Minkowski, Raum und Zeit [Space and Time], Lecture presented at the 80th Assembly of German Natural Scientists and Physicians (21 September 1908), Physikalische Zeitschrift 10, 104-111 (1909) and Teubner, Leipzig 1909 [29] K. Schwarzschild, Zur Elektrodynamik. I. Zwei Formen des Princips der Action in der Elektronentheorie [On Electrodynamics. I. Two Versions of the action principle in the theory of electrons], Nachrichten der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 126-131 (1903). [30] H. Weyl, Gravitation und Elektrizität [Gravitation and electricity, Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys.) 465 (1918); English translation in [32]. [31] H. Weyl, Electron and Gravitation. I., [Electron and Gravity. I.] Z. Phys. 56, 330-352 (1929); English translation in [32]. [32] L. O’Raifeartaigh, The Dawning of Gauge Theory. Princeton University Press 1997. [33] N. Straumann, Gauge principle and QED, Acta Phys. Polon. B 37, 575-594 (2006), [arXiv:hep-ph/0509116 [hep-ph]]. – 20 – [34] O. Klein, Die Reflexion von Elektronen an einem Potentialsprung nach der relativistischen Dynamik von Dirac [The reflection of electrons at a potential step according to Dirac’s relativistic dynamics], Z. Phys. 53, 157 (1929), [35] F. Sauter, Über das Verhalten eines Elektrons im homogenen elektrischen Feld nach der relativistischen Theorie Diracs [The behaviour of an electron in a homogeneous electric field according to Dirac’s relativistic theory], Z. Phys. 69, 742-764 (1931). [36] J. S. Schwinger, On Gauge Invariance and Vacuum Polarization, Phys. Rev. 82, 664 (1951). [37] A. I. Nikishov, Pair production by a constant external field, Zh. Eksp. Teor. Fiz. 57 (1969) 1210. [38] A. H. Compton, A Quantum Theory of the Scattering of X-rays by Light Elements, Phys. Rev. 21, 483-502 (1923). [39] S. Mandelstam, Determination of the pion - nucleon scattering amplitude from dispersion relations and unitarity. General theory, Phys. Rev. 112, 1344-1360 (1958). [40] G. Breit and J. A. Wheeler, Collision of two light quanta, Phys. Rev. 46, no.12, 1087-1091 (1934). [41] J. Adam et al. [STAR], Measurement of e+ e− Momentum and Angular Distributions from Linearly Polarized Photon Collisions, Phys. Rev. Lett. 127, no.5, 052302 (2021) [arXiv:1910.12400 [nucl-ex]]. [42] W. Heisenberg and H. Euler, Folgerungen aus der Diracschen Theorie des Positrons [Consequences of Dirac’s theory of positrons], Z. Phys. 98, 714-732 (1936); English translation: arXiv:physics/0605038. [43] W. Heisenberg, Bemerkungen zur Diracschen Theorie des Positrons [Remarks on Dirac’s theory of the positron], Z. Phys. 90, 209-231 (1934); [erratum: Z. Phys. 92, 692-692 (1934)]. [44] J. S. Schwinger, Quantum electrodynamics. 2. Vacuum polarization and self-energy, Phys. Rev. 75, 651 (1948). [45] D. M. Wolkow, Über eine Klasse von Lösungen der Diracschen Gleichung [On a class of solutions to Dirac’s equation], Z. Phys. 94, 250-260 (1935). [46] W. H. Furry, On Bound States and Scattering in Positron Theory, Phys. Rev. 81, 115-124 (1951). [47] H. R. Reiss, Absorption of Light by Light, J. Math. Phys. 3, 59-67 (1962). [48] A. I. Nikishov and V. I. Ritus, Quantum Processes in the Field of a Plane Electromagnetic Wave and in a Constant Field I, Sov. Phys. JETP 19, 529-541 (1964); [translated from JETP 46, 776-796 (1963)]. – 21 – [49] A. I. Nikishov and V. I. Ritus, Quantum Processes in the Field of a Plane Electromagnetic Wave and in a Constant Field II, Sov. Phys. JETP 19, 1191-1199 (1964); [translated from JETP 46, 1768-1781 (1964)]. [50] N. B. Narozhny, A. I. Nikishov and V. I. Ritus, Quantum Processes in the Field of a Circularly Polarized Electromagnetic Wave, Sov. Phys. JETP 20, 622-629 (1965); [translated from JETP 47, 930-940 (1964)]. [51] I. I. Goldman, Intensity Effects in Compton Scattering, Phys. Lett. 8, 103-106 (1964). [52] V. I. Ritus Quantum Effects of the Interaction of Elementary Particles with an Intense Electromagnetic Field, J. Sov. Laser Res. 6, 497-617 (1985). [53] L. S. Brown and T. W. B. Kibble, Interaction of Intense Laser Beams with Electrons, Phys. Rev. textbf133, A705-A719 (1964). [54] T. W. B. Kibble, Frequency Shift in High-Intensity Compton Scattering, Phys. Rev. 138, B740-B753 (1965). [55] T. W. B. Kibble, Refraction of Electron Beams by Intense Electromagnetic Waves, Phys. Rev. Lett. 16, 1054-1056 (1966). [56] T. W. B. Kibble, Mutual Refraction of Electrons and Photons, Phys. Rev. 150, 1060-1069 (1966). [57] E. Lötstedt and U. D. Jentschura, Nonperturbative Treatment of Double Compton Backscattering in Intense Laser Fields, Phys. Rev. Lett. 103, 110404 (2009); [arXiv:0909.4984 [quant-ph]]. [58] E. Lotstedt and U. D. Jentschura, Correlated two-photon emission by transitions of Dirac-Volkov states in intense laser fields: QED predictions, Phys. Rev. A 80, 053419 (2009). [59] D. Seipt and B. Kämpfer, Two-photon Compton process in pulsed intense laser fields, Phys. Rev. D 85, 101701 (2012); [arXiv:1201.4045 [hep-ph]]. [60] F. Mackenroth and A. Di Piazza, Nonlinear Double Compton Scattering in the Ultrarelativistic Quantum Regime, Phys. Rev. Lett. 110, no.7, 070402 (2013); [arXiv:1208.3424 [hep-ph]]. [61] B. King, Double Compton scattering in a constant crossed field, Phys. Rev. A 91, 033415 (2015). [62] V. Dinu and G. Torgrimsson, Single and double nonlinear Compton scattering, Phys. Rev. D 99, 096018 (2019). [63] V. N. Baier, V. M. Katkov, and V. M. Strakhovenko, Higher-order effects in external field: Pair production by a particle Sov. J. Nucl. Phys. 14, 572 (1972). – 22 – [64] V. I. Ritus, Vacuum Polarization Correction to Elastic Electron and Muon Scattering in an Intense Field and Pair Electro- and Muo-production, Nucl. Phys. B 44, 236 (1972). [65] D. A. Morozov and N. B. Narozhnyi, Elastic Scattering of Photons in an Intense Field and Pair and Photon Photoproduction, Sov. Phys. JETP 45, 23 (1977); [translated from: Zh. Eksp. Teor. Fiz. 30, 44-56 (1977)]. [66] C. Bula and K. T. McDonald, The Weizsacker-Williams approximation to trident production in electron photon collisions, [arXiv:hep-ph/0004117 [hep-ph]]. [67] H. Hu, C. Muller and C. H. Keitel, Complete QED theory of multiphoton trident pair production in strong laser fields, Phys. Rev. Lett. 105, 080401 (2010); [arXiv:1002.2596 [physics.atom-ph]]. [68] A. Ilderton, Trident pair production in strong laser pulses, Phys. Rev. Lett. 106, 020404 (2011); [arXiv:1011.4072 [hep-ph]]. [69] B. King and H. Ruhl, Trident pair production in a constant crossed field, Phys. Rev. D 88, 013005 (2013); [arXiv:1303.1356 [hep-ph]]. [70] V. Dinu and G. Torgrimsson, Trident pair production in plane waves: Coherence, exchange, and spacetime inhomogeneity, Phys. Rev. D 97, 036021 (2018); [arXiv:1711.04344 [hep-ph]]. [71] F. Mackenroth and A. Di Piazza, Nonlinear trident pair production in an arbitrary plane wave: a focus on the properties of the transition amplitude, Phys. Rev. D 98, 116002 (2018); [arXiv:1805.01731 [hep-ph]]. [72] J. M. Jauch and F. Rohrlich, The theory of photons and electrons, Second expanded edition, Springer, New York, 1980. [73] V. Dinu and G. Torgrimsson, Trident process in laser pulses, Phys. Rev. D 101, 056017 (2020); [arXiv:1912.11017 [hep-ph]]. [74] G. Torgrimsson, Nonlinear photon trident versus double Compton scattering and resummation of one-step terms, Phys. Rev. D 102, 116008 (2020) [arXiv:2010.02128 [hep-ph]]. [75] V. B. Berestetskii, E. M. Lifshitz and L. P. Pitaevskii, Quantum Electrodynamics. Vol. 4 of Course of Theoretical Physics. Pergamon Press, Oxford, 1982. [76] N. D. Sengupta, On the Scattering of Electromagnetic Waves by a Free Electron, Bull. Math. Soc. Calcutta 44, 175 (1952). [77] C. Harvey, T. Heinzl and A. Ilderton, Signatures of High-Intensity Compton Scattering, Phys. Rev. A 79, 063407 (2009); [arXiv:0903.4151 [hep-ph]]. [78] H. Abramowicz, U. Acosta, M. Altarelli, R. Aßmann, Z. Bai, T. Behnke, – 23 – Y. Benhammou, T. Blackburn, S. Boogert and O. Borysov, et al. Conceptual design report for the LUXE experiment, Eur. Phys. J. ST 230, no.11, 2445-2560 (2021); [arXiv:2102.02032 [hep-ex]]. [79] T. Heinzl and A. Ilderton, Corrections to Laser Electron Thomson Scattering, arXiv:1307.0406 [hep-ph]. [80] P. A. M. Dirac, Classical theory of radiating electrons, Proc. Roy. Soc. Lond. A 167, 148 (1938). [81] T. Heinzl, A. Ilderton and B. King, Classical Resummation and Breakdown of Strong-Field QED, Phys. Rev. Lett. 127, 061601 (2021); [arXiv:2101.12111 [hep-ph]]. [82] R. Ekman, T. Heinzl and A. Ilderton, Reduction of order, resummation, and radiation reaction, Phys. Rev. D 104, 036002 (2021); [arXiv:2105.01640 [hep-ph]]. [83] G. Torgrimsson, Resummation of quantum radiation reaction and induced polarization, Phys. Rev. D 104, 056016 (2021); [arXiv:2105.02220 [hep-ph]]. [84] C. Bula et al. [E144 collaboration], Observation of nonlinear effects in Compton scattering, Phys. Rev. Lett. 76, 3116-3119 (1996). [85] D. L. Burke, R. C. Field, G. Horton-Smith, T. Kotseroglou, J. E. Spencer, D. Walz, S. C. Berridge, W. M. Bugg, K. Shmakov and A. W. Weidemann, et al. Positron production in multi - photon light by light scattering, Phys. Rev. Lett. 79, 1626-1629 (1997). [86] C. Bamber, S. J. Boege, T. Koffas, T. Kotseroglou, A. C. Melissinos, D. D. Meyerhofer, D. A. Reis, W. Ragg, C. Bula and K. T. McDonald, et al. Studies of nonlinear QED in collisions of 46.6-GeV electrons with intense laser pulses, Phys. Rev. D 60, 092004 (1999). [87] J. M. Cole, K. T. Behm, E. Gerstmayr, T. G. Blackburn, J. C. Wood, C. D. Baird, M. J. Duff, C. Harvey, A. Ilderton and A. S. Joglekar, et al. Experimental evidence of radiation reaction in the collision of a high-intensity laser pulse with a laser- wakefield accelerated electron beam, Phys. Rev. X 8, no.1, 011020 (2018); [arXiv:1707.06821 [physics.plasm-ph]]. [88] K. Poder, M. Tamburini, G. Sarri, A. Di Piazza, S. Kuschel, C. D. Baird, K. Behm, S. Bohlen, J. M. Cole and D. J. Corvan, et al. Experimental Signatures of the Quantum Nature of Radiation Reaction in the Field of an Ultraintense Laser, Phys. Rev. X 8, no.3, 031004 (2018); [arXiv:1709.01861 [physics.plasm-ph]]. [89] A. Di Piazza, C. Muller, K. Z. Hatsagortsyan and C. H. Keitel, Extremely high-intensity laser interactions with fundamental quantum systems, Rev. Mod. Phys. 84, 1177 (2012); [arXiv:1111.3886 [hep-ph]]. – 24 – [90] N. B. Narozhny and A. M. Fedotov, Extreme light physics, Contemp. Phys. 56, no.3, 249-268 (2015). [91] B. King and T. Heinzl, Measuring Vacuum Polarisation with High Power Lasers, High Power Laser Sci. Eng. 4, e5 (2016); [arXiv:1510.08456 [hep-ph]]. [92] D. Seipt, Volkov States and Non-linear Compton Scattering in Short and Intense Laser Pulses, [arXiv:1701.03692 [physics.plasm-ph]]. [93] T. G. Blackburn, Radiation reaction in electron-beam interactions with high-intensity lasers, Plasma Phys. 4, 5 (2020); [arXiv:1910.13377 [physics.plasm-ph]]. [94] F. Karbstein, Probing vacuum polarization effects with high-intensity lasers, Particles 3, 39-61 (2020); [arXiv:1912.11698 [hep-ph]]. [95] P. Zhang, S. S. Bulanov, D. Seipt, A. V. Arefiev and A. G. R. Thomas, Relativistic Plasma Physics in Supercritical Fields, Phys. Plasmas 27, no.5, 050601 (2020); [arXiv:2001.00957 [physics.plasm-ph]]. [96] A. Gonoskov, T. G. Blackburn, M. Marklund and S. S. Bulanov, Charged particle motion and radiation in strong electromagnetic fields, [arXiv:2107.02161 [physics.plasm-ph]]. [97] A. Fedotov, A. Ilderton, F. Karbstein, B. King, D. Seipt, H. Taya and G. Torgrimsson, Advances in QED with intense background fields, [arXiv:2203.00019 [hep-ph]]. – 25 –