Radiation reaction in electron–beam interactions with high-intensity lasers

Charged particles accelerated by electromagnetic fields emit radiation, which must, by the conservation of momentum, exert a recoil on the emitting particle. The force of this recoil, known as radiation reaction, strongly affects the dynamics of ultrarelativistic electrons in intense electromagnetic fields. Such environments are found astrophysically, e.g. in neutron star magnetospheres, and will be created in laser–matter experiments in the next generation of high-intensity laser facilities. In many of these scenarios, the energy of an individual photon of the radiation can be comparable to the energy of the emitting particle, which necessitates modelling not only of radiation reaction, but quantum radiation reaction. The worldwide development of multi-petawatt laser systems in large-scale facilities, and the expectation that they will create focussed electromagnetic fields with unprecedented intensities >1023Wcm-2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$> 10^{23}\,\mathrm {W}\text {cm}^{-2}$$\end{document}, has motivated renewed interest in these effects. In this paper I review theoretical and experimental progress towards understanding radiation reaction, and quantum effects on the same, in high-intensity laser fields that are probed with ultrarelativistic electron beams. In particular, we will discuss how analytical and numerical methods give insight into new kinds of radiation–reaction-induced dynamics, as well as how the same physics can be explored in experiments at currently existing laser facilities.


Introduction
It is a well-established experimental fact that charged particles, accelerating under the action of externally imposed electromagnetic fields, emit radiation (Liénard 1898;Wiechert 1900). The characteristics of this radiation depend strongly upon throughout in natural units such that the reduced Planck's constant ℏ , the speed of light c and the vacuum permittivity 0 are all equal to unity: ℏ = c = 0 = 1 . In these units the fine-structure constant = e 2 ∕(4 ) , where e is the elementary charge. It will be helpful to consider the concrete example shown in Fig. 1. Here an electron is accelerated by a circularly polarized, monochromatic plane electromagnetic wave. The wave has angular frequency 0 and dimensionless amplitude a 0 = eE 0 ∕(m 0 ) , where E 0 is the magnitude of the electric field and m is the electron mass. a 0 is sometimes called the strength parameter or the normalized vector potential, and it can be shown to be both Lorentz-and gauge-invariant (Heinzl and Ilderton 2009). The solution to the equations of motion, where the force is given by the Lorentz force only, can be found in many textbooks [see Gibbon (2005) for example], so we will only summarize it here.
The electromagnetic field tensor for the wave is eF = ma 0 where k is the wavevector, primes denote differentiation with respect to phase = k ⋅ x , and the 1,2 are constant polarization vectors that satisfy 2 i = −1 and k ⋅ i = 0 . Then the four-momentum of the electron p may be written in terms of the potential eA = ma 0 ∑ i f i ( ) i : Translational symmetry guarantees that k ⋅ p = k ⋅ p 0 . The electron trajectory x ( ) = ∫ (p ∕k ⋅ p) d . Let us say that the electron initially counterpropagates into a circularly polarized, monochromatic wave, with velocity 0 and Lorentz factor 0 . The electron is accelerated by the wave in the longitudinal direction, parallel to its wavevector, reaching a steady drift velocity of d . Transforming to the electron's average rest frame (ARF), as shown in Fig. 1, we find that the electron executes circular motion with Lorentz factor � = (1 + a 2 0 ) 1∕2 , velocity � = a 0 (1 + a 2 0 ) −1∕2 and radius r � = a 0 ∕[ 0 (1 + 0 ) 0 ] . That ′ is constant tells us that there is a phase shift

Fig. 1
Interaction of an electron (initial Lorentz factor 0 ) and a circularly polarized electromagnetic wave (frequency 0 and normalized amplitude a 0 ). In its average rest frame the electron is accelerated on a circular trajectory, with Lorentz factor � = (1 + a 2 0 ) 1∕2 , velocity ′ and radius r ′ . The acceleration leads to the emission of synchrotron radiation, which has characteristic frequency � ≃ �3 ∕r � 5 Page 4 of 37 of ∕2 between the rotation of the velocity and electric field vectors and , so ⋅ = 0 and the external field does no work on the charge. The instantaneous acceleration of the charge is non-zero so the electron emits radiation while describing this orbit. We can use classical synchrotron theory (Sokolov and Ternov 1968) to calculate the energy radiated in a single cycle E rad , as a fraction f of the electron energy in the ARF ′ m , with the result f = E rad ∕( � m) = 4 R c ∕3 . The magnitude of the radiation losses is controlled by the invariant classical radiation reaction parameter  Here E 0 is the initial energy of the electron, I 0 = E 2 0 the laser intensity and = 2 ∕ 0 its wavelength.
If we define 'significant' radiation damping to be an energy loss of approximately 10% per period (Thomas et al. 2012), we find the threshold to be R c ≳ 0.024 , or a 0 1∕2 0 ≳ 7 × 10 2 for a laser with a wavelength of 0.8 μm . At this point the force on the electron due to radiative losses must be included in the equations of motion. We can see this directly by comparing the magnitudes of the radiation reaction and Lorentz forces. Estimating the former as F rad = E rad ∕(2 r � ) and the Lorentz force as F ext = � m∕r � , we have that F rad ∕F ext ≃ 2R c ∕3 . For R c ≳ 1 we enter the radiation-dominated regime (Bulanov et al. 2004;Koga et al. 2005;Hadad et al. 2010).
We will discuss how the recoil due to radiation emission is included in classical electrodynamics in Sect. 2.1. Before doing so, let us also consider the spectral characteristics of the radiation emitted by the accelerated electron. In principle the periodicity of the motion, and its infinite duration, means that the frequency spectrum is made up of harmonics of the ARF cyclotron frequency. However, recall that at large � ≃ a 0 , relativistic beaming means that most of the radiation is emitted in the forward direction into a cone with half-angle 1∕ � . The length of the overlap between the electron trajectory and this cone defines the formation length l f , which is the characteristic distance over which radiation is emitted (Ter-Mikaelian 1953;Klein 1999). A straightforward geometrical calculation gives the ratio between l f and the circumference of the orbit C = 2 r � The invariance of a 0 suggests we could have reached this result in a covariant way; indeed, a full determination of the size of the phase interval that contributes to emission gives the same result, even quantum mechanically (Ritus 1985).
The smallness of the formation zone means that the spectrum is broadband, with frequency components up to a characteristic value � ≃ �3 ∕r � . Comparing (4) l f C ≃ 1 2 a 0 .
this characteristic frequency to the cyclotron frequency (in the average rest frame) c = 1∕r � gives us a measure of the classical nonlinearity: At a 0 ≫ 1 , the radiation is made up of very high harmonics and is therefore wellseparated from the background. The ratio between the frequency ′ and the electron energy in the ARF = � ∕( � m) is another useful invariant parameter Restoring factors of ℏ and c we can show that ∝ ℏ , unlike R c . It therefore parametrizes the importance of quantum effects on radiation reaction (Ritus 1985;Erber 1966), as can be seen by the fact that if ∼ 1 , an individual photon of the radiation can carry off a substantial fraction of the electron's energy. By setting 0 = 1 in Eq. (6), we can show that is equal to the ratio of the electric field in the instantaneous rest frame of the electron to the so-called critical field of QED (Sauter 1931;Heisenberg and Euler 1936) which famously marks the threshold for nonperturbative electron-positron pair creation from the vacuum (Schwinger 1951). The two parameters R c and allow us to characterize the importance of classical and quantum radiation reaction respectively. We show these as functions of a 0 and , the classical and quantum nonlinearity parameters, in Fig. 2. It is evident that, as a 0 increases, it requires less and less electron energy to enter the radiation-dominated regime. Indeed, if the acceleration is provided entirely by the laser so that ≃ a 0 , radiation reaction becomes dominant at about the same a 0 that quantum effects become important, assuming that 0 corresponds to a wavelength of 0.8 μm . However, for a 0 ≲ 50 as is accessible with existing lasers (Bahk et al. 2004;Sung et al. 2017;Kiriyama et al. 2018), it is not possible to probe radiation reaction via direct illumination of a plasma. Instead, the experiments illustrated in Fig. 2 have used pre-accelerated electrons to explore the strong-field regime, thereby boosting both R c and . (Note that, as R c is defined on a percycle basis, it would be possible for classical radiation reaction effects to be large in long laser pulses while remaining below the threshold for quantum effects.) The next generation of laser facilities will reach a 0 in excess of 100, perhaps even 1000 (Papadopoulos et al. 2016;Weber et al. 2017;Gales et al. 2018). The plasma dynamics explored in such experiments will be strongly affected by radiation reaction and quantum effects. 2 Theory of radiation reaction

Classical radiation reaction
In classical electrodynamics, radiation reaction is the response of a charged particle to the field of its own radiation (Lorentz 1904;Abraham 1905). The first equation of motion to include both the external and self-induced electromagnetic forces in a manifestly covariant and self-consistent way was obtained by Dirac (1938). This solution starts from the coupled Maxwell's and Lorentz equations and features a mass renormalization that is needed to eliminate divergences associated with a point-like charge (Erber 1961;Teitelboim 1971). The result is generally referred to as the Lorentz-Abraham-Dirac (LAD) equation. For an electron with four-velocity u, charge −e and mass m it reads where is the proper time. Here F is the field tensor for the externally applied electromagnetic field, so it is the second term that accounts for the self-force. Although the LAD equation is an exact solution of the Maxwell-Lorentz system, using it directly turns out to be problematic. The momentum derivative d 2 u d 2 in the Fig. 2 The importance, and type, of radiation reaction effects can be parametrized by a 0 , the normalized intensity of the laser field or classical nonlinearity parameter, and , the quantum nonlinearity parameter. Classical radiation damping becomes strong when R c = a 0 > 0.01 (light blue) and dominates when R c > 0.1 (darker blue). Quantum corrections to the spectrum become necessary when > 0.1 . Electronpositron pair creation and QED cascades are important for > 1 . Experiments that have explored quantum effects with intense lasers are shown by open circles (Bula et al. 1996;Burke et al. 1997;Cole et al. 2018;. Two recent experiments with lepton beams and aligned crystals are shown by triangles (Wistisen et al. 2018(Wistisen et al. , 2019; here the perpendicular component of the lepton momentum p ⟂ is used to define an equivalent classical nonlinearity parameter a 0 ≃ p ⟂ ∕m RR term leads to so-called runaway solutions, in which the electron energy increases exponentially in the absence of external fields, and to pre-acceleration, in which the momentum changes in advance of a change in the applied field (Spohn 2004;Yaghjian 2006;Rohrlich 2007). These issues have prompted searches for alternative classical theories of radiation reaction (Mo and Papas 1971;Bonnor 1974;Eliezer 1948;Ford and O'Connell 1991;Sokolov 2009) that have more satisfactory properties [see the review by Burton and Noble (2014) for details]. The most widely used classical theory is that proposed by Landau and Lifshitz (1987). They realized that if the second (RR) term in Eq. (9) were much smaller than the first in the instantaneous rest frame of the charge, it would be possible to reduce the order of the LAD equation by substituting du d → − e m F u in the RR term. The result, called the Landau-Lifshitz equation, is first-order in the electron momentum and free from the pathological solutions of the LAD equation (Burton and Noble 2014): The following two conditions for the characteristic length scale L over which the field varies and its magnitude E must be fulfilled in the instantaneous rest frame for the order reduction procedure to be valid: L ≫ C and E ≪ E cr ∕ , where C = 1∕m is the Compton length. Note that both of these are automatically fulfilled in the realm of classical electrodynamics (Di Piazza et al. 2012), as quantum effects can only be neglected when L ≫ C and E ≪ E cr . The former condition ensures that the electron wavefunction is well-localized and the latter means recoil at the level of the individual photon is negligible (Di Piazza et al. 2012). One reason to favour the Landau-Lifshitz equation is that all physical solutions of the LAD equation are solutions of the Landau-Lifshitz equation (Spohn 2000).
Once the trajectories are determined, the self-consistent radiation is obtained from the Liénard-Wiechert potentials, which give the electric and magnetic fields of a charge in arbitrary motion (Jackson 1999). The spectral intensity of the radiation from an ensemble of N e electrons, the energy radiated per unit frequency and solid angle , is given in the far field by where the observation direction, and k and k are the position and velocity of the kth particle at time t (Jackson 1999).

In plane electromagnetic waves
Among the other useful properties of Eq. (10) is that it can be solved exactly if the external field is a plane electromagnetic wave (Di Piazza 2008). Taking , using the same definitions as in Sect. 1, Eq. (10) is most conveniently expressed in terms of the lightfront momentum u − ≡ k ⋅ p∕(m 0 ) , scaled perpendicular momenta ũ x,y ≡ u x,y ∕u − , and phase : and The remaining component u + is determined by the mass-shell condition u − u + − u 2 x − u 2 y = 1 and the position by integration of 0 x ( ) = ∫ −∞ (u ∕u − ) d . Equation (12) admits the solution where u − 0 is the initial lightfront momentum, the classical radiation reaction parameter R c = a 2 0 u − 0 0 ∕m as in Eq.
(2), and d . The choice of notation here reflects the fact that f � ( ) is proportional to the electric field and so I( ) is like an integrated energy flux. We use Eq. (14) to solve Eq. (13), obtaining ũ i ( ) and then where u i,0 is the initial value of the perpendicular momentum component i and The electron trajectory in the absence of radiation reaction is obtained by setting = 0 , in which case we recover Eq. (1) as expected. Note that the lightfront momentum u − is no longer conserved, once radiation reaction is taken into account (Harvey et al. 2011).
In Sect. 1 we estimated that the electron would radiate in a single cycle a fraction 4 R c ∕3 of its total energy. Using our analytical result Eq. (14) and assuming ≫ 1 so that u − ≃ 2 , we can show this fraction is actually E rad ∕( 0 m) = (4 R c ∕3)∕(1 + 4 R c ∕3) . Here the denominator represents radiation-reaction corrections to the energy loss, guaranteeing that E rad ∕( 0 m) < 1 . With these corrections, the energy emitted, according to the Larmor formula, is equal to the energy lost, according to the Landau-Lifshitz equation [see Appendix A of Di Piazza (2018) for a direct calculation of momentum conservation].
The emission spectrum Eq. (11) may also be expressed in terms of an integral over phase. The number of photons scattered per unit (scaled) frequency s = ∕ 0 and solid angle is (Esarey et al. 1993;Hartemann et al. 2010) .
where the scaled four-position ≡ 0 x , and ′ and n are the four-polarization and propagation direction of the scattered photon. Given these relations and the analytically determined trajectory, we can numerically evaluate the number of photons scattered to given frequency and polar angle by integrating Eq. (16), summed over polarizations, over all azimuthal angles 0 ≤ < 2 .

Quantum corrections: suppression and stochasticity
We showed in Fig. 2 that in many scenarios of interest, reaching the regime where radiation reaction becomes important automatically makes quantum effects important as well. This raises the question: what is the quantum picture of radiation reaction? Let us revisit the example we studied classically in Sect. 1, that of an electron emitting radiation under acceleration by a strong electromagnetic wave. One might instinctively liken this scenario to inverse Compton scattering, as energy and momentum are automatically conserved when the electron absorbs a photon (or photons) from the plane wave and emits another, higher energy photon. However, the recoil is proportional to ℏ and vanishes in the classical limit; we would then recover Thomson scattering rather than radiation reaction. The solution is that, in the regime a 0 ≫ 1 and ≲ 1 , quantum radiation reaction can be identified with the recoil on the electron due its emission of multiple, incoherent photons (Di . These conditions express the following: a 0 ≫ 1 means that the formation length is much smaller than the wavelength of the external field, by Eq. (4), so the coherent contribution is suppressed; and ≲ 1 means pair creation can be neglected. The latter is important because QED is inherently a many-body theory and it is possible for the final state to contain many more electrons than the initial state. As the number of photons N ∝ ∝ 1∕ℏ and the momentum change of the electron ∝ ℏ for each photon, we have that the total momentum change ∝ ℏ 0 and therefore a classical limit exists (Di Piazza et al. 2012). This suggests that one way to determine the 'correct' theory of classical radiation reaction is to start with a QED result and take the limit ℏ → 0 . This has been accomplished for both the momentum change (Krivitski and Tsytovich 1991;Ilderton and Torgrimsson 2013b) and the position (Ilderton and Torgrimsson 2013a). In particular, Ilderton and Torgrimsson (2013a) were able to show that, to first order in , only the LAD, Landau-Lifshitz and Eliezer-Ford-O'Connell formulations of radiation reaction were consistent with QED.
In both the classical and quantum regimes, the force of radiation reaction is directed antiparallel to the electron's instantaneous momentum, and its magnitude depends on the parameter . We defined this earlier for the particular case of an electron in an electromagnetic wave (see Eq. 6). In a general electromagnetic field F , 5 Page 10 of 37 where p = m(1, ) is the electron four-momentum.
depends on the instantaneous transverse acceleration induced by the external field: in a plane EM wave, where and have the same magnitude and are perpendicular to each other, where is the angle between the electron momentum and the laser wavevector, and it is therefore largest in counterpropagation. A curious consequence of Eq. (17) is the existence of a radiation-free direction: no matter the configuration of and , there exists a particular that makes vanish (Gonoskov and Marklund 2018). Electrons in extremely strong fields tend to align themselves with this direction, any transverse momentum they have being rapidly radiated away (Gonoskov and Marklund 2018). As this direction is determined purely by the fields, the self-consistent evolutions of particles and fields is determined by hydrodynamic equations (Samsonov et al. 2018).
The larger the value of , the greater the differences between the quantum and classical predictions of radiation emission. Classically there is no upper limit on the frequency spectrum, whereas in the quantum theory there appears a cutoff that guarantees < m . Besides this cutoff, spin-flip transitions enhance the spectrum at high energy (Uggerhøj 2005). Let us work in the synchrotron limit, wherein the field may be considered constant over the formation length [i.e. l f ≪ , using Eq. (4)]. The classical emission spectrum, the energy radiated per unit frequency = x m and time by an electron with quantum parameter and Lorentz factor , is Two quantum corrections emerge when is no longer much smaller than one: the non-negligible recoil of an individual photon means that the spectrum has a cutoff at x = 1 ; and the spin contribution to the radiation must be included. The former can be included directly by modifying = 2x∕(3 ) → 2x∕[3 (1 − x)] in Eq. (18), which yields the spectrum of a spinless electron (shown in orange in Fig. 3). A neat exposition of this simple substitution is given by Lindhard (1991) in terms of the correspondence principle (see also Sørensen 1996). Then when the spin contribution is added, we obtain the full QED result (Erber 1966;Ritus 1985;Baier et al. 1998) where we quote the spin-averaged and polarization-summed result. This is shown in blue in Fig. 3. The number spectrum dN d = −1 dP q d ( , ) has an integrable singularity ∝ −2∕3 in the limit → 0 . The total number of photons N = ∫ dN d d is finite.
The combined effect of these corrections is to reduce the instantaneous power radiated by an electron. This reduction is quantified by the factor g( ) = P q ∕P cl , which takes the form (Erber 1966;Sokolov and Ternov 1968) where K is a modified Bessel function of the second kind and (2∕3) ≃ 1.354 . The limiting expressions given in Eq. (21) are within 5% of the full result for < 0.05 and > 200 respectively. A simple analytical approximation to Eq. (20) that is accurate to 2% for arbitrary is g( ) ≃ [1 + 4.8(1 + ) ln(1 + 1.7 ) + 2.44 2 ] −2∕3 (Baier et al. 1998). The changes to the classical radiation spectrum and the magnitude of g( ) are shown in Fig. 3. Note that the total power P q = 2 m 2 2 g( )∕3 always increases with increasing . g( ) is sometimes referred to as the 'Gaunt factor' , as it is a multiplicative (quantum) correction to a classical result, first derived in the context of absorption (Gaunt 1930). Figure 3 shows that the radiated power at ∼ 1 is less than 20% of its classically predicted value. While this suppression does have a marked effect on the particle dynamics, it is not the only quantum effect. As is discussed in Sect. 1, is the ratio between the energies of the typical photon and the emitting electron. When this approaches unity, even a single emission can carry off a large fraction of the electron energy, and the concept of a continuously radiating particle breaks down. Instead, electrons lose energy probabilistically, in discrete portions. The importance of this discreteness may be estimated by comparing the typical time interval between emissions, t = ⟨ ⟩∕P , with the timescale of the laser field 1∕ 0 (Gonoskov et al. . Equation (19) yields for the average photon energy ⟨ ⟩ ≃ 0.429 m for ≪ 1 and 0.25 m for ≫ 1 ; the radiated power P = 2 m 2 2 g( )∕3 . We find We expect stochastic effects to be at their most significant when 0 t ≳ 1 , which implies that the total number of emissions in an interaction is relatively small but is large. A description of how stochastic energy losses can be modelled follows in Sect. 3.2. For now, it suffices to interpret Eq. (19) as the (energy-weighted) probability distribution of the photons emitted at a particular instant of time. Even though two electrons may have the same and , they can emit photons of different energies (or none at all) and thereby experience different recoils. Contrast this with the classical picture, in which the continuous energy loss is driven by the emission of many photons that individually have vanishingly small energies (see Fig. 4).
Consider, for example, the interaction of a beam of electrons with a plane electromagnetic wave, where the Lorentz factors of the electrons are distributed ∼ dN e d . The distribution is characterized by a mean ≡ ⟨ ⟩ and variance 2 ≡ ⟨ 2 ⟩ − 2 . Under classical radiation reaction, higher energy electrons are guaranteed to radiate more than their lower energy counterparts ( P ∝ 2 ), with the result that both the mean and the variance of decrease over the course of the interaction (Neitz and Di Piazza 2013). This is still the case if the radiated power is reduced by the Gaunt factor g( ) , i.e. a 'modified classical' model is assumed (see Sect. 3.1), because radiation losses remain deterministic (Yoffe et al. 2015).
Under quantum radiation reaction, radiation losses are inherently probabilistic. While will still decrease (more energetic electrons radiate more energy on average), the width of the distribution 2 can actually grow (Neitz and Di Piazza 2013;Vranic et al. 2016a).  derive the following equations for the temporal evolution of these quantities, under quantum radiation reaction: Fig. 4 In the classical picture, radiation reaction is a continuous drag force that arises from the emission of very many photons that individually have vanishingly low energies (left). In the quantum regime, however, the electrons emits a finite number of photons, any or all of which can exert a significant recoil on the electron. The probabilistic nature of emission leads to radically altered electron dynamics, with implications for laser-matter interactions beyond the current intensity frontier. From Blackburn (2015) where ⟨⋯⟩ denotes the population average and g 2 ( ) = ∫ dP q ∕ ∫ dP cl is the second moment of the emission spectrum. Only the first term of Eq. (24) is non-zero in the classical limit, and it is guaranteed to be negative. The second term represents stochastic effects and is always positive. Broadly speaking, the latter is dominant if is large, the interaction is short, or the initial variance is small Niel et al. 2018). The evolution of higher order moments, such as the skewness of the distribution, are considered in Niel et al. (2018).
A distinct consequence of stochasticity is straggling (Shen and White 1972), where an electron that radiates less (or no) energy than expected enters regions of phase space that would otherwise be forbidden. Unlike stochastic broadening, which can occur in a static, homogeneous electromagnetic field, straggling requires the field to have some non-trivial spatiotemporal structure. If an unusually long interval passes between emissions, an electron may be accelerated to a higher energy or sample the fields at locations other than those along the classical trajectory (Duclous et al. 2011). In a laser pulse with a temporal envelope, for example, electrons that traverse the intensity ramp without radiating reach larger values of than would be possible under continuous radiation reaction; this enhances high-energy photon production and electron-positron pair creation ). If the laser duration is short enough, it is probable that the electron passes through the pulse without emitting at all, in so-called quenching of radiation losses (Harvey et al. 2017).
The quantum effects we have discussed in this section emerge, in principle, from analytical results including the emission spectrum (Eq. 19). While further analytical progress can be made in the quantum regime, using the theory of strong-field QED (see Sect. 3.2), modelling more realistic laser-electron-beam or laser-plasma interactions generally requires numerical simulations. Much effort has been devoted to the development, improvement, benchmarking and deployment of such simulation tools over the last few years. In the following section we review these continuing developments.

Classical regime
A natural starting point is the modelling of classical radiation reaction effects. In the absence of quantum corrections, we have all the ingredients we need to formulate a self-consistent picture of radiation emission and radiation reaction. We showed in Sect. 1 how using only the Lorentz force to determine the charge's motion and Page 14 of 37 therefore its emission led to an inconsistency in energy balance. This is remedied by using either Eqs. (9) or (10) as the equation of motion, in which case the energy carried away in radiation matches that which is lost by the electron. Implementations of classical radiation reaction in plasma simulation codes have largely favoured the Landau-Lifshitz equation (or a high-energy approximation thereto), as it is first-order in the momentum and the additional computational cost is not large (Tamburini et al. 2010;Harvey et al. 2011;Green and Harvey 2015;Vranic et al. 2016b). These codes have not only been used to study radiation reaction effects in laser-plasma interactions (Chen et al. 2011;Nakamura et al. 2012;Vranic et al. 2014;Tamburini et al. 2014;Yoffe et al. 2015;Liseykina et al. 2016), but also whether there are observable differences between models of the same (Bulanov et al. 2011b;Kravets et al. 2013). The radiation reaction force proposed by Sokolov (2009) has also been implemented in some codes (Sokolov et al. 2011;Capdessus et al. 2012), but note that it is not consistent with the classical limit of QED (Ilderton and Torgrimsson 2013a). It is also possible to solve the LAD equation numerically via integration backward in time (Koga 2004).
Given data on the trajectories of an ensemble of electrons (usually a subset of the all electrons in the simulations), Eq. (11) can be used to obtain the far-field spectrum in a simulation where classical radiation reaction effects are included (Thomas et al. 2012;Schlegel and Tikhonchuk 2012;. Equation (11) is valid across the full range of (pace the quantum cutoff at = m ), including the lowfrequency region of the spectrum where collective effects are important: < n 1∕3 e , where n e is the electron number density. This region does not, however, contribute very much to radiation reaction; this is dominated by photons near the synchrotron critical energy c ≫ n 1∕3 e . Thus the spectrum can be divided into coherent and incoherent parts, that are well separated in terms of their energy . In the latter region, the order of the summation and integration in Eq. (11) can be exchanged, and the total spectrum determined by summing over the single-particle spectra.
In a particle-in-cell code for example, the electromagnetic field is defined on a grid of discrete points and advanced self-consistently using currents that are deposited onto the same grid (Dawson 1983). Defining the grid spacing to be , this scheme will directly resolve electromagnetic radiation that has a frequency less than the Nyquist frequency ∕ . 1 Given appropriately high resolution, this accounts for the coherent radiation generated by the collective dynamics of the ensemble of particles. The recoil arising from higher frequency components, which cannot be resolved on the grid, and in any case as a self-interaction is neglected, is accounted for by the radiation reaction force.
Further simplification is possible if the interference of emission from different parts of the trajectory is negligible. As indicated in Sect. 1, at high intensity a 0 ≫ 1 , the formation length of the radiation is much smaller than the timescale of the external field (see Eq. 4). This being the case, rather than using Eq. (11), we may integrate the local emission spectrum Eq. (18) over the particle trajectory, assuming that, at high , the radiation is emitted predominantly in direction parallel to the electron's instantaneous velocity (Esarey et al. 1993;Reville and Kirk 2010;. The approach is naturally extended to account for quantum effects, by substituting for the classical synchrotron spectrum Eq. (18) the equivalent result in QED,Eq. (19).
One consequence of doing so is that the radiated power is reduced by the factor g( ) , given in Eq. (20). This should be reflected in a reduction in the magnitude of the radiation-reaction force. Consequently, a straightforward, phenomenological way to model quantum radiation reaction is to use a version of Eq. (10) where the second term is scaled by g( ) . This 'modified classical' model has been used in studies of laser-electron-beam (Thomas et al. 2012;Blackburn et al. 2014;Yoffe et al. 2015) and laser-plasma interactions (Kirk et al. 2009;Zhang et al. 2015) as a basis of comparison with a fully stochastic model (shortly to be introduced), as well as in experimental data analysis (Wistisen et al. 2018;. It has been shown that this approach yields the correct equation of motion for the average energy of an ensemble of electrons in the quantum regime Niel et al. 2018). It is, however, deterministic, and therefore neglects the stochastic effects we discussed in Sect. 2.2.

Quantum regime: the 'semiclassical' approach
In Sect. 2.2 we discussed how 'quantum radiation reaction' could be identified with the recoil arising from multiple, incoherent emission of photons. Indeed, if ≳ 1 , any or all of these photons can exert a significant momentum change individually. Figure 2 tells us that we generally require a 0 ≫ 1 to enter the quantum radiation reaction regime with lasers, which necessitates a nonperturbative approach to the theory. This is provided by strong-field QED, which separates the electromagnetic field into a fixed background, treated exactly, and a fluctuating part, treated perturbatively (Furry 1951); see the reviews by Ritus (1985), Di Piazza et al. (2012), Heinzl (2012 or a tutorial overview by Seipt (2017) which discusses photon emission in particular.
Although it is the most general and accurate approach, strong-field QED is seldom used to model experimentally relevant configurations of laser-electron interaction . In a scattering-matrix calculation, the object is to obtain the probability of transition between asymptotic free states; as such, complete information about the spatiotemporal structure of the background field is required. Analytical results have only been obtained in field configurations that possess high symmetry (Heinzl and Ilderton 2017), e.g. plane EM waves (Ritus 1985) or static magnetic fields (Erber 1966). The assumption that the background is fixed also means that back-reaction effects are neglected, even though it is expected that QED cascades will cause significant depletion of energy from those background fields (Bell and Kirk 2008;Fedotov et al. 2010;Bulanov et al. 2010). Furthermore, the expected number of interactions per initial particle (the multiplicity) is much greater than one in many interaction scenarios. At present, cutting-edge results are those in which the final state contains only two additional particles, e.g. double Compton scattering (Seipt and Kämpfer 2012;Mackenroth and Di Piazza 2013;King 2015;Dinu and Torgrimsson 2019) and trident pair creation (Hu et al. 2010;Ilderton 2011;King and Ruhl 2013;Dinu and Torgrimsson 2018;Mackenroth and Di Piazza 2018), due to the complexity of the calculations.
The need to overcome these issues has motivated the development of numerical schemes that can model quantum processes at high multiplicity in general electromagnetic fields. In this article we characterize these schemes as 'semiclassical', by virtue of the fact that they factorize a QED process into a chain of first-order Fig. 5 A general strong-field QED interaction, featuring the emission and creation of multiple photons and electron-positron pairs, is simulated 'semiclassically' by breaking it down into a chain of first-order processes (electrons, photons and positrons in blue, orange and red, respectively). Between these pointlike, instantaneous events, the particles follow classical trajectories guided by the Lorentz force: ṗ = ±eF p ∕m and Ẋ = p ∕m , dots denoting differentiation with respect to proper time . Modification of the external field F is driven by the classical currents j (x) = ±(e∕m) ∫ p ( ) 4 [x − X( )] d . The probability rates and spectra for the first-order processes are those for a constant, crossed field, and depend on the local value of the quantum parameter processes that occur in vanishingly small regions linked by classically determined trajectories, as illustrated in Fig. 5. The rates and spectra for the individual interactions are calculated for the equivalent interaction in a constant, crossed field, which may be generalized to an arbitrary field configuration under certain conditions. The first key result is that, at a 0 ≫ 1 , the formation length of a photon (or an electron-positron pair) is much smaller than the length scale over which the background field varies (see Sect. 1) and so emission may be treated as occurring instantaneously (Ritus 1985). The second is that if 2 ≫ | |, | | and 2 , 2 ≪ 1 , where = ( 2 − 2 )∕E 2 cr and = ⋅ ∕E 2 cr are the two field invariants, the probability of a QED process is well approximated by its value in a constant, crossed field: P( , , ) ≃ P( , 0, 0) Baier et al. (1998)]. The combination of the two is called the locally constant, crossed field approximation (LCFA). The first requires the laser intensity to be large, whereas the second requires the particle to be ultrarelativistic and the background to be weak (as compared to the critical field of QED). We will discuss the validity of these approximations, and efforts to benchmark them, in Sect. 3.3.
Within this framework, the laser-beam (or laser-plasma) interaction is essentially treated classically, and quantum interactions such as high-energy photon emission added by hand. The evolution of the electron distribution function F = F(t, , ) , including the classical effect of the background field and stochastic photon emission, is given by Elkina et al. (2011) and  where W ( , � ) is the probability rate for an electron with momentum to emit a photon with momentum ′ . A direct approach to kinetic equations of this kind is to solve them numerically (Sokolov et al. 2010;Bulanov et al. 2013;Neitz and Di Piazza 2013), or reduce them by means of a Fokker-Planck expansion in the limit ≪ 1 (Niel et al. 2018). However, the most popular is a Monte Carlo implementation of the emission operator [the right hand side of Eq. (25)], which naturally extends single-particle or particle-in-cell codes that solve for the classical evolution of the distribution function in the presence of externally prescribed, or self-consistent, electromagnetic fields (Duclous et al. 2011;Elkina et al. 2011). This method is discussed in detail in , , so we only summarize it here for photon emission.
The electron distribution function is represented by an ensemble of macroparticles, which represent a large number w of real particles (w is often called the weight). The trajectory of a macroelectron between discrete emission events is determined solely by the Lorentz force. Each is assigned an optical depth against emission T = − log(1 − R) for pseudorandom 0 ≤ R < 1 , which evolves as dT dt = −W , where W is the probability rate of emission, until the point where it falls below zero. Emission is deemed to occur instantaneously at this point and T is reset. The energy of the photon � = | � | is pseudorandomly sampled from the quantum emission Page 18 of 37 spectrum dN d = −1 dP q d ( , ) (see Eq. 19) and the electron recoil determined by the conservation of momentum = � + � and the assumption that � ∥ if ≫ 1 . If desired, a macrophoton with the same weight as the emitting macroelectron can be added to the simulation. Electron-positron pair creation by photons in strong electromagnetic fields is modelled in an analogous way to photon emission .
Thus there are two distinct descriptions of the electromagnetic field. One component is treated as a classical field (in a PIC code, this would be discretized on the simulation grid) and the other as a set of particles. In principle this leads to doublecounting; however, as we discussed in Sect. 3.1, the former lies at much lower frequency than the photons that make up synchrotron emission, and has a distinct origin in the form of externally generated fields (such as a laser pulse) or the collective motion of a plasma. Coherent effects are much less important for the high-frequency components, which justifies describing them as particles .

Benchmarking, extensions and open questions
The validity of the simulation approach discussed in Sect. 3.2 relies on the assumption that a high-order QED process in a strong electromagnetic background field may be factorized into a chain of first-order processes, each of which is well approximated by the equivalent process in a constant, crossed field. It is generally expected that this reduction works in scenarios where a 0 ≫ 1 and 2 ≫ | |, | | (Ritus 1985;Baier et al. 1998). However, these asymptotic conditions do not give quantitative bounds on the error made by semiclassical simulations. As these are the primary tool by which we predict radiation reaction effects in high-intensity lasers, it is important that they are benchmarked and that the approximations are examined.
One approach is to compare, directly, the predictions of strong-field QED and simulations. We focus here on results for single nonlinear Compton scattering , the emission of one and only one photon in the interaction of an electron with an intense, pulsed plane EM wave, by virtue of its close relation to radiation reaction. It is shown that the condition a 0 ≫ 1 is necessary, but not sufficient, for the applicability of the LCFA: we also require that a 3 0 ∕ ≫ 1 for interference effects to be suppressed (Dinu et al. 2016). These interference effects are manifest in the low-energy part of the photon emission spectrum x = � ∕( m) < ∕a 3 0 , as the formation length for such photons is comparable in size to the wavelength of the background field. Semiclassical simulations strongly overestimate the number of photons emitted in this part of the spectrum because they exclude nonlocal effects . Nevertheless, they are much more accurate with respect to the total energy loss (and therefore to radiation reaction), because this depends on the power spectrum, to which the low-energy photons do not contribute significantly ). This is shown in Fig. 6, which compares the predictions of exact QED and semiclassical simulations for an electron with p − 0 ∕m ≃ 2 0 = 2000 colliding with a two-cycle laser pulse with normalized amplitude a 0 and wavelength = 0.8 μm . There is remarkably good agreement between the two even for a 0 = 5.  is the number of photons absorbed from the background field in the process of emitting a high-energy photon. This transfer of energy from the background field to the electron is required by momentum conservation. Without emission, there would be no such transfer of energy. This is consistent with the classical picture, in which plane waves do no work in the absence of radiation reaction. Strong-field QED calculations depend crucially on the fixed nature of the background field; however, for single nonlinear Compton scattering, near-total depletion of the field is predicted at a 0 ≳ 1000 ). The theory must therefore allow for changes to the background (Ilderton and Seipt 2018). Within the semiclassical approach, depletion is accounted for by the action of the classical currents through the ⋅ term in Poynting's theorem. Quantum effects are manifest in how photon emission (and pair creation), modify those classical currents, as illustrated in Fig. 5. In , the classical work done on the electron is shown to agree well with the number of absorbed photons predicted by exact QED. This is consistent with the results of Meuren et al. (2016), which indicate that the 'classical' dominates the 'quantum' component of depletion, the latter associated with absorption over the formation length, if a 0 ≫ 1.

An additional point of comparison in
The failure of the semiclassical approach to reproduce the low-energy part of the photon spectrum arises from the localization of emission. Most notably, the number spectrum dN d = −1 dP q d ( , ) (see Eq. 19) diverges as −2∕3 as → 0 . This can be partially ameliorated by the use of emission rates that take nonlocal effects into account. Di  suggest replacing the LCFA spectrum in the region x ≲ ∕a 3 0 with the equivalent, finite, result for a monochromatic plane wave, which they adapt for use in arbitrary electromagnetic field configurations.  propose an approach based on formal corrections to the LCFA, in which the emission rates depend on the field gradients as well as magnitudes.
While the studies discussed above have given insight into the limitations of the LCFA, they do not examine the applicability of the factorization shown in Fig. 5, as this requires by definition the calculation of a higher order QED process. At the time of writing, there are no direct comparisons of semiclassical simulations and strongfield QED for either double Compton scattering (emission of two photons) or trident Fig. 6 Comparison between exact QED (grey) and simulation results (blue and orange) for single nonlinear Compton scattering of an electron in a two-cycle, circularly polarized laser pulse: (left) the lightfront momentum loss as a function of laser amplitude a 0 ; and (right) exemplary photon spectra. Adapted from  pair creation (emission of a photon which decays into an electron-positron pair). Factorization, also called the cascade approximation, has been examined directly within strong-field QED for the trident process in a constant crossed field (King and Ruhl 2013) and in a pulsed plane wave (Dinu and Torgrimsson 2018;Mackenroth and Di Piazza 2018). In the latter it is shown that at a 0 = 50 and an electron energy of 5 GeV, the error is approximately one part in a thousand.
The dominance of the cascade contribution makes it important to consider whether the propagation of the electron between individual tree-level process, as shown in Fig. 5, is done accurately. In the standard implementation, this is done by solving a classical equation of motion including only the Lorentz force . The evolution of the electron's spin is usually neglected and emission calculated using unpolarized rates, such as Eq. (19). King (2015) show that the accuracy of modelling double Compton scattering in a constant crossed field as two sequential emissions with unpolarized rates is better than a few per cent. There are, however, scenarios, where the spin degree of freedom influences the dynamics to a larger degree. Modelling these interactions with semiclassical simulations requires spin-resolved emission rates (Sokolov and Ternov 1968;) and an equation of motion for the electron spin (Thomas 1926;Bargmann et al. 1959). In a rotating electric field, as found at the magnetic node of an electromagnetic standing wave (Bell and Kirk 2008), where the spin does not precess between emissions, the asymmetric probability of emission between different spin states leads to rapid, near-complete polarization of the electron population , 2018. Similarly, an electron beam interacting with a linearly polarized laser pulse can acquire a polarization of a few per cent . To make this larger, it is necessary to break the symmetry in the field oscillations, which can be accomplished by introducing a small ellipticity to the pulse , or by superposition of a second colour (Song et al. 2019;Chen et al. 2019;. A more fundamental limitation on the applicability of the LCFA is that the emission rates are calculated at tree level only. The importance of loop corrections to the strong-field QED vertex grows as 2∕3 in a constant, crossed field (Morozov et al. 1981), leading to speculation that 2∕3 is the 'true' expansion parameter of strongfield QED (Narozhny 1980). When ≃ 1600 , this parameter becomes of order unity and the meaning of a perturbative expansion in the dynamical electromagnetic field breaks down. The recent review by Fedotov (2017) has prompted renewed interest in this regime; recent calculations of the one-loop polarization and mass operators (Podszus and Di Piazza 2019) and photon emission and helicity flip (Ilderton 2019) in a general plane-wave background have confirmed that the power-law scaling of radiative corrections pertains strictly to the high-intensity limit a 3 0 ∕ ≫ 1 . In the high-energy limit, radiative corrections grow logarithmically, as in ordinary (i.e., non-strong-field) QED (Podszus and Di Piazza 2019;Ilderton 2019).
The difficulty in probing the regime 2∕3 ≳ 1 is the associated strength of radiative energy losses, which suppress and so (Fedotov 2017). Overcoming this barrier at the desired requires the interaction duration to be very short. The beam-beam geometry proposed by Yakimenko et al. (2019) exploits the Lorentz contraction of the Coulomb field of a compressed (100 nm), ultrarelativistic (100 GeV) electron beam, which is probed by another beam of the same energy. In the laser-electron-beam scenario considered by , collisions at oblique incidence are proposed for reaching ≳ 100 , exploiting the fact that the diameter of a laser focal spot is typically much smaller than the duration of its temporal profile. Even higher is reached in the combined laser-plasma, laser-beam interaction proposed by . While it seems possible to approach the fully nonperturbative regime experimentally, albeit for extreme collision parameters, there is no suitable theory at 2∕3 ≳ 1 , and quantitative predictions are lacking in this area.

Geometries
It may be appreciated that the radiation-reaction and quantum effects under consideration here, as particle-driven processes, can only become important if electrons or positrons are actually embedded within electromagnetic fields of suitable strength. However, the estimates in Sect. 1 were made for a plane EM wave, in which case the electron is guaranteed to interact with the entire wave, including the point of highest intensity. In reality, such intensities are reached by compressing the laser energy into ultrashort pulses (Strickland and Mourou 1985) that are focussed to spot sizes close to the diffraction limit (Bahk et al. 2004;Sung et al. 2017;Kiriyama et al. 2018). The steep spatiotemporal gradients in intensity that result mean that laser pulses can ponderomotively expel electrons from the focal region, in both vacuum (Malka et al. 1997;Thévenet et al. 2016) and plasma (Esarey et al. 2009), curtailing the interaction long before the particles experience high a 0 or . Fig. 7 Tightly focussed laser pulses can ponderomotively expel electrons from the region of highest intensity, suppressing the onset of radiation-reaction and quantum effects. There are three typical experimental geometries that ensure that energetic electrons are embedded in strong EM fields as desired: (top) laser-particle-beam, (centre) laser-plasma, and (bottom) laser-laser 5 Page 22 of 37 The literature contains many possible experimental configurations designed to explore or exploit radiation reaction and quantum effects. These configurations can be divided, broadly, into three categories, based on how they ensure the spatial coincidence between particles and strong fields. Figure 7 illustrates the three categories. In the first (laser-particle-beam), the electrons are accelerated to ultrarelativistic energies before they encounter the laser pulse. The effective 'mass increase' makes the beam rigid and so it passes through the entirety of the laser pulse, avoiding substantial deflection and ensuring that it is exposed to the strongest electromagnetic fields. Concretely, the ponderomotive force is suppressed at high : d⟨ ⟩∕dt = −m ⟨a 2 ⟩∕(2⟨ ⟩) , where ⟨⋅⟩ denotes a cycle-averaged quantity (Quesnel and Mora 1998). It should be noted that it is possible for radiation reaction to amplify this force to the point that it can prevent an arbitrarily energetic electron from penetrating the laser field (Zhidkov et al. 2014;Fedotov et al. 2014); however, this requires a 0 ≳ 300 , far in excess of what it is available at present. In today's highintensity lasers, ultrarelativistic electrons can reach the nonlinear quantum regime ∼ 1 even for a 0 ∼ 10 (see Fig. 2). In the second (laser-plasma), the electrons are electrostatically bound to a population of ions, which are substantially more massive and therefore less mobile. Large-scale displacement of the electrons away from the laser fields is then suppressed by the emergence of plasma fields. If the plasma is overdense, i.e. opaque to the laser light, then only electrons in a thin layer near the surface experience the full laser intensity and are accelerated to relativistic energies. However, the high density of electrons in this region means that a significant fraction of the laser energy is converted to high-energy radiation, leading to, for example, dense bursts of rays and positrons , reduced efficiency of ion acceleration (Tamburini et al. 2010) and the generation of long-lived quasistatic magnetic fields (Liseykina et al. 2016). If the target is close to underdense, by contrast, the laser can propagate through the plasma bulk and the interaction is volumetric in nature. The combination of laser and induced plasma fields, as well as radiation reaction, leads to confinement and acceleration of the electrons, and copious emission of radiation (Stark et al. 2016;Zhu et al. 2016;Vranic et al. 2018).
Finally, electrons can be trapped in the collision of more than one laser pulse (laser-laser), where they interact with an electromagnetic standing, rather than travelling, wave (Bulanov et al. 2010). Radiation reaction induces a rich set of dynamics in this configuration (Ji et al. 2014;Gonoskov et al. 2014;Esirkepov et al. 2015;Kirk 2016). The fact that standing waves can do work in reaccelerating the particles after they recoil means that, at intensities ≳ 10 24 Wcm −2 , the emitted photons seed avalanches of electron-positron pair creation (Bell and Kirk 2008); this intensity threshold is lowered in suitable multibeam setups (Gelfer et al. 2015;Gong et al. 2017). The case of optimal focussing is achieved in a dipole field (Bassett 1986), where the peak a 0 ≃ 780P 1∕2 [PW] (Gonoskov et al. 2012). Such extreme intensities, at moderate power, are the reason this configuration has been studied as means of high-energy photon production Magnusson et al. 2019).
It is important to note that the distinction between the three categories defined here is not absolute. Mixing between them occurs in, for example, the interaction of a linearly polarized laser pulse with relativistically underdense plasma: here reinjected electron synchrotron emission, the radiation emission when electrons are pulled backwards into the oncoming laser by a charge-separation field , exhibits features of both the 'laser-plasma' and 'laser-beam' geometries. Furthermore, the exponential growth of particle number in a QED cascade driven by multiple laser pulses can create an electron-positron plasma of sufficient density to shield the interior from the laser pulse ), leading to a transition between the 'laser-laser' and 'laser-plasma' categories. Twin-sided illumination of a foil has features of both ab initio (Zhang et al. 2015).

'All-optical' colliding beams
This paper focuses on the first of the three configurations discussed in Sect. 4.1, laser-particle-beam, for the reason that it allows > 0.1 to be reached at lower a 0 than would be required in a laser-plasma or laser-laser interaction. As is shown in Fig. 2 and by Eq. (6), given a 500-MeV electron beam, quantum effects on radiation reaction can be reached even at an intensity of 10 21 Wcm −2 . The colliding beams geometry therefore represents a promising first step towards experimental exploration of the radiation-dominated or nonlinear quantum regimes.
Thus far we have not specified the source of ultrarelativistic electrons. The theoretical description of the interaction does not depend on the source, of course, but it is of immense practical importance. Furthermore, the characteristics of the source (its energy, bandwidth, emittance, etc.) are key determining factors in the viability of measuring radiation-reaction or quantum effects. For example, the fact that electron beam energy spectra are expected to broaden due to stochastic effects makes the variance of the spectrum, 2 , an attractive signature of the quantum nature of radiation reaction (Neitz and Di Piazza 2013;Vranic et al. 2016a). However, such broadening can occur classically in the interaction of an electron beam with a focussed laser pulse, because components of the beam can encounter different intensities and therefore lose different amounts of energy . Thus a crucial role is played by the initial energy spread and size of the incident electron beam (Samarin et al. 2017).
In fact, it was pioneering experiments with a conventional, radio-frequency (RF), linear accelerator that provided the first demonstration of nonlinear quantum effects in a strong laser field: nonlinearities were measured in Compton scattering (Bula et al. 1996) and Breit-Wheeler electron-positron pair creation (Burke et al. 1997) in Experiment 144 at the Stanford Linear Accelerator (SLAC) facility. In this experiment, the 46.6 GeV electron beam was collided with a laser pulse of intensity 1.3 × 10 18 Wcm −2 , duration 1.4 ps and wavelength 527 nm ( a 0 ≃ 0.4 , = 0.3) (Bamber et al. 1999). The pair creation mechanism was reported to be the multiphoton Breit-Wheeler process, as n = 4 laser photons were required in addition to each multi-GeV ray (emitted by the electron in Compton scattering) to overcome the mass threshold. 2 In total, 106 ± 14 positrons were observed over the series of 22,000 laser shots. The yield was strongly limited because, even though the electron energy was sufficient to reach a quantum parameter ∼ 0.3 , in the regime a 0 ≪ 1 , the pair creation probability is suppressed as a 2n 0 , where n, the number of participating photons, was found to be n ≃ 5 (Burke et al. 1997). Similarly, the photon emission process was weakly nonlinear, with harmonics of the fundamental Compton energy up to n = 4 observed (Bula et al. 1996). At the time of writing, this experiment had yet to be repeated at a conventional linear accelerator, though concrete proposals have now been made to do so at DESY (Abramowicz et al. 2019) and FACET-II (Meuren 2019). While the electron beams will be less energetic (17.5 and 10 GeV respectively), the laser intensity will be higher ( 2 ≲ a 0 ≲ 10 ), so the transition from the multiphoton to the tunnelling regimes could be explored.
One of the challenges that must be overcome in realizing these experiments is that, as discussed in Sect. 4.1, lasers reach high intensity by focussing and compressing energy into a small spatiotemporal volume. Thus the region in which the electromagnetic fields are strong is only a few microns in radius, assuming diffraction-limited focussing and optical drivers ( ∼ 1 eV), which is much smaller than the size of the focussed electron beam from a conventional accelerator. This limits the number of electrons that interact with the laser, reducing the relevant signal, as well as making the alignment and timing of the beams more difficult (Samarin et al. 2017). In the 'all-optical' geometry, these are overcome by using a dual-laser setup (Bulanov et al. 2011a): one laser provides the high-intensity 'target', and the other is used to accelerate electrons in a plasma wakefield.
Laser-driven wakefield acceleration has undergone remarkable progress over the last 2 decades: from the first quasi-monoenergetic relativistic beams (Mangles et al. 2004;Geddes et al. 2004;Faure et al. 2004), they now produce electron beams with near-to multi-GeV energies (Kneip et al. 2009;Wang et al. 2013;Gonsalves et al. 2019). Briefly, an intense laser pulse travels through a low-density plasma, exciting, via its ponderomotive effect, a trailing nonlinear plasma wave that traps and accelerates electrons (Esarey et al. 2009). As the medium is a plasma, already ionized and therefore immune to electrostatic breakdown, the accelerating gradients are much higher than in a conventional RF accelerator: GeV energies can be reached in only a few centimetres of propagation. Furthermore, as the size of the accelerating structure is only a few microns (at typical plasma densities n e ∼ 10 18 cm −3 , the plasma wavelength ∼ 20 μm ), the electron beams produced in wakefield acceleration are similarly micron-scale, with durations of order 10 fs.
Besides the high energy and the small size of the electron beam, we have the intrinsic synchronizations of the electron beam with the accelerating laser pulse, and of the accelerating laser pulse with the target laser pulse, if the two emerge from amplifier chains that are seeded by the same oscillator. Thus the 'all-optical' laser-electron-beam collision is promising as a compact source of bright, ultrashort bursts of high-energy rays (Chen et al. 2013;Sarri et al. 2014;. Now, with advances in laser technology, a multibeam facility is capable of reaching the radiation-reaction and nonlinear quantum regimes. Recently two such experiments were performed using the Gemini laser at the Rutherford Appleton Laboratory ), a dual-beam system that delivers twin synchronized pulses of duration 45 fs and energy ∼ 10 J, with a peak a 0 ≃ 20 : we discuss these experiments in detail in Sect. 4.3. Upcoming laser facilities, such as Apollon (Papadopoulos et al. 2016) or ELI (Weber et al. 2017;Gales et al. 2018), aim for laser-electron collisions at even higher intensity: see, for example, Lobet et al. (2017) for simulations of dual-beam interactions at a 0 ≃ 200.
Not all high-intensity laser facilities have dual-beam capability. An alternative alloptical configuration, introduced by Ta Phuoc et al. (2012), employs a single laser pulse as accelerator and target: a foil is placed at the end of a gas jet, into which a laser is focussed to drive a wakefield and accelerate electrons; when the laser pulse reaches the foil, it is reflected from the ionized surface back onto the trailing electrons. This guarantees temporal and spatial overlap of the two beams, but precludes the possibility of separately optimizing the two laser pulses; in Ta Phuoc et al. (2012) the electron energies ≃ 100 MeV and the peak a 0 ≃ 1.5 , so radiation reaction effects were negligible. Simulations of similar single-pulse geometries predict the efficient production of multi-MeV photons at a 0 > 50 (Huang et al. 2019) and electron-positron pairs at a 0 ≳ 300 (Liu et al. 2016;Gu et al. 2018).

Recent results
The Gemini laser of the Central Laser Facility (Rutherford Appleton Laboratory, UK) is a petawatt-class dual-beam system (Hooker et al. 2006), well-suited for the all-optical colliding beams experiments discussed in Sect. 4.2. It delivers two, synchronized, linearly polarized laser pulses of duration 45 fs , energy 10 J and wavelength 0.8 μm . Available focussing optics include long-focal-length mirrors (F/20 and F/40) for laser-wakefield acceleration and, most importantly, a short-focallength (F/2) off-axis parabolic mirror with an F/7 hole in its centre . The latter allows for direct counterpropagation of the two laser beams, the geometry in which is largest (see Eq. 17): the more weakly focussed laser that drives the wakefield passes through the hole and is subsequently blocked, avoiding backreflection in the amplifier chains; the accelerated electron beam, and any radiation produced in the collision with the tightly focussed laser, can pass through to reach the diagnostics. Both the experiments that will be described in this section used this geometry, which is illustrated in Fig. 8, but with different electron acceleration stages.
In Cole et al. (2018), the accelerating laser pulse was focussed onto the leading edge of a supersonic helium gas jet, producing a ∼15 mm plasma acceleration stage with peak density n e ≃ 3.7 × 10 18 cm −3 . The use of a gas jet allowed the second laser pulse to be focussed close to the point where the electron beam emerges from the plasma (at the rear edge), so the collision between electron beam and laser pulse took place when the former was much smaller than the latter (approximately 1 μm 2 rather than 20 μm 2 , which includes the effect of a systematic time delay between the two). The advantages of using a gas cell, as in , are the higher electron beam energies and significantly better shot-to-shot stability. However, in this case, the second laser pulse must be focussed further downstream of the acceleration stage (approximately 1 cm), by which point the electron beam has expanded to become comparable in size to the laser. Thus full 3D simulations were required for theoretical modelling of the interaction, whereas 1D (plane-wave) simulations were sufficient in Cole et al. (2018).
Fluctuations in the pointing and timing of the two lasers, as well as systematic drifts in the latter, mean that the overlap between electron beam and target laser pulse varies from shot to shot. It is helpful, therefore, to gather as large a dataset as possible (with the second, high-intensity, laser pulse both on and off), in which case high-repetition-rate laser systems are at a clear advantage. However, this is not nearly so important as being able to identify 'successful' collisions when they occur; even a small set of collisions ( N ∼ 10 ) can provide statistically significant evidence of radiation reaction when this is done. This speaks to the importance of measuring both the electron and -ray spectra on a shot-to-shot basis; identifying coincidences between the two provides stronger evidence of radiation reaction than could be obtained by either alone.
In Cole et al. (2018), successful shots were distinguished by measuring the total signal in the -ray detector S ∝ N e a 2 ⟨ 2 ⟩ (background-corrected), where N e is the total number of electrons in the beam, ⟨ 2 ⟩ their mean squared Lorentz factor, and a an overlap-dependent, effective value for a 0 (the former two can be extracted from the measured electron spectra). Over a sequence of 18 shots (eight beam-on, i.e. with Fig. 8 Layout of an all-optical colliding-beams experiment. A hole in the short-focal-length (F/2) optic allows for counterpropagation of the electron beam, which is accelerated by a laser wakefield in a gas jet, and the high-intensity laser pulse. The decelerated electrons, the rays they emit in the collision, and the accelerating laser pulse, pass through this hole before being blocked or diagnosed as appropriate. The collision is timed to occur close to the rear of the gas jet (on the right-hand side, as viewed in the figure), before the electron beam can diverge significantly, which maximizes overlap between the beams. Reproduced from Cole et al. (2018) the f/2 beam on, ten beam-off), four were measured with a normalized CsI signal, Ŝ = S ∕(N e ⟨ 2 ⟩) ∝ a 2 , four standard deviations above the background level. These four also had electron beam energies below 500 MeV (as identified by a strong peak feature in the measured spectra), whereas the ten beam-off shots had a mean energy of 550 ± 20 MeV. The probability of measuring four or more beams with energy below 500 MeV in a sample of eight, given this fluctuation alone, is approximately 10%. However, the probability that four beams have this lower energy and a significantly higher -ray signal is the considerably smaller 0.3%. Statistically significant evidence of radiation reaction was obtained by correlating the electron beam energy with the critical energy of the -ray spectrum crit , a parameter characterizing the hardness of the spectrum. This was accomplished by fitting the depth-resolved scintillator output to a parametrized spectrum dN ∕d ∝ −2∕3 exp(− ∕ crit ) , having first characterized its response to monoenergetic photons in the energy range 2 < [MeV] < 500 with Geant4 simulations [see details in ]. This choice of parametrization approximately reproduces a synchrotron-like spectral shape, with an exponential rollover at high energy and a scaling like −2∕3 at low energy. The four successful shots demonstrate a negative correlation between the final electron energy and crit , as is shown in Fig. 9; this is consistent with radiation-reaction effects, as the hardest photon spectra should come from electron beams that have lost the most energy. The probability to observe this negative correlation and to have electron energy lower than 500 MeV on all four successful shots is 0.03%, which qualifies, under the usual three-sigma threshold, as evidence of radiation reaction.
Simulations of the collision confirmed that the critical energies and electron energy loss were consistent with theoretical expectations of radiation reaction. The coloured regions in Fig. 9 give the areas in which 68% (i.e. one sigma) of results would be found for a large ensemble of 'numerical experiments', given the measured fluctuations in the pre-collision electron energy spectra and the collision a 0 , and under specific models of radiation reaction. The results exclude the 'no RR' model, Fig. 9 Experimental evidence of radiation reaction: (left) in Cole et al. (2018), the post-collision electron beam energies and critical energies of the -ray spectra (black points), are consistent with theoretical simulations that include radiation reaction, with slightly better agreement for the stochastic model; (right) in , the fractional reduction in the total electron beam energy is correlated with the total -ray signal, with the best agreement with theory given by the 'modified classical' model (see Sect. 3.1). Details are given in the main text in which the electrons radiate, but do not recoil. They are more consistent with the stochastic, quantum model discussed in Sect. 3.2 than the deterministic, classical model of Landau-Lifshitz: however, it is important to note that both models are consistent with the data at the two-sigma level. Subsequent analysis has confirmed that the 'modified classical' model discussed in Sect. 3.1, which includes the quantum suppression factor g( ) , given in Eq. (20), but not the stochasticity of emission, gives practically the same region as the quantum model , as is stated in Cole et al. (2018). This is because the electron beam energy effectively parametrizes the mean of the spectrum, the evolution of which depends only on g( ) according to Eq. (23); to see stochastic effects, we must consider instead the width of the distribution (Neitz and Di Piazza 2013;Vranic et al. 2016a;. Given electron beams with narrower initial energy spectra, it would be possible to identify stochastic effects (or their absence) by correlating the mean and variance of the final electron energy spectra (Arran et al. 2019).
Evidence of radiation reaction was also obtained in the experiment reported by , by a complementary form of analysis. The total CsI signal was used to discriminate successful collisions: the signal normalized to the total energy in a reference (beam-off) shot S ∕(N e ⟨ ⟩) was observed to be linearly correlated with the percentage energy loss of the electron beam (as compared against a reference beam, see Fig. 9). Three shots were selected as exemplary cases of poor, moderate and strong overlap, according to these two values, with corresponding strength of radiation-reaction effects. This shots are labelled (b), (c) and (d) respectively in the right-hand panel of Fig. 9. The analysis then focussed on comparison of the measured electron energy spectra against those predicted by simulations under various models of radiation reaction. These comparisons showed that the Landau-Lifshitz equation, i.e. classical radiation reaction, overestimated the energy loss, with a quality of fit of R 2 = 0.87 . Simulations with the 'modified classical' model improved the agreement to R 2 = 0.96 ; this was found to give better agreement than the fully stochastic model, in which case R 2 = 0.92 . This discrepancy was attributed to possible failure of the LCFA as the collision a 0 ≃ 10 . Nevertheless, by considering the detailed shape of electron energy spectra, it was possible to find clear evidence of radiation reaction, as well as signatures of quantum corrections.

Summary and outlook
Let us now consider the relation between the results of these two experiments discussed in Sect. 4.3. Both present clear evidence that radiation reaction, in some form, has taken place. The reduction in the electron energies, the total -ray signal, and, in Cole et al. (2018), the spectral shape of the latter, are all broadly consistent with each other. The differences arise in the comparison of different models of radiation reaction, bearing in mind that, in the regime where ≃ 0.1 , a 0 ≃ 10 , quantum corrections are expected to be non-negligible, but not large, and the intensity is not so large that the LCFA is beyond question. The use of simulations that rely on this approximation is, however, necessary because the number of photons emitted, per electron in the beam, is much larger than unity, and therefore an exact calculation from QED is intractable at present (see Sect. 3.3). In Cole et al. (2018), the shotto-shot fluctuations in the electron beam energy and alignment, and the fact that the electron spectrum is analyzed by means of a single value rather than its complete shape, mean that all three models (classical, modified classical, and quantum) are not distinguishable from each other at level of two standard deviations. At the onestandard-deviation level, the two models that include quantum corrections provide better agreement. , with significantly more stable electron beams, are able to confirm that the classical model is not consistent with the data either. However, the fact that neither the modified classical or quantum models provide a very good fit to the data leaves open the question of whether it is the failure of the LCFA or, as they state, "incomplete knowledge of the local properties of the laser field". Accurate determination of the initial conditions, in both the electron beam and the laser pulse, will be of unquestioned importance for upcoming experiments that aim to discern the properties of radiation reaction in strong fields. It will be vital to characterize the uncertainties in both the experimental conditions and the theoretical models in our simulations, which are inevitably based on certain approximations.
Nevertheless, these results demonstrate the capability of currently available highintensity lasers to probe new physical regimes, where radiation reaction and quantum processes become the important, if not dominant, dynamical effects. These experiments provide vital data in the unexplored region of parameter space ≳ 0.1 , a 0 ≫ 1 (see Fig. 2), allowing us to examine critically our theoretical and simulation approaches to the modelling of particle dynamics in strong electromagnetic fields. The current mismatch between simulations and experimental data has prompted, and will continue to prompt, new ideas in how to resolve the discrepancy: from the development of analysis techniques that are robust against shot-to-shot fluctuations (Baird et al. 2019;Arran et al. 2019), to improved simulation methodologies (Di ). These are accompanied by renewed examination of the approximations underlying our simulations (see Sect. 3.3). The development of theoretical approaches that can go beyond the plane-wave configuration, the background field approximation, or low multiplicity, in strong-field QED is vital if this theory is to be applied directly in experimentally relevant scenarios. There is also undoubtedly a need to gather more experimental data and explore a wider parameter space, increasing the electron beam energy and laser intensity, i.e. and a 0 . Not only will this make radiation reaction and quantum corrections more distinct, it will also allow us to measure nonlinear electron-positron pair creation by the rays emitted by the colliding electron beam (Sokolov et al. 2010;Bulanov et al. 2013;Lobet et al. 2017;), a strong-field QED process without classical analogue. Such findings will underpin the study of particle and plasma dynamics in strong electromagnetic fields for many years to come.