Double lepton pair production with electron capture in relativistic heavy-ion collisions

We present a theoretical study of a double lepton-pair production in ultra-relativistic collision between two bare ions. Special emphasis is placed to processes in which creation of (at least one) e+e-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$e^+ e^-$$\end{document} pair is accompanied by the capture of an electron into a bound ionic state. To evaluate the probability and cross section of these processes we employ two approaches based on (i) the first-order perturbation theory and multipole expansion of Dirac wavefunctions, and (ii) the equivalent photon approximation. With the help of such approaches, detailed calculations are made for the creation of two bound–free e+e-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$e^+ e^-$$\end{document} pairs as well as of bound–free e+e-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$e^+ e^-$$\end{document} and free–free μ+μ-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu ^+ \mu ^-$$\end{document} pairs in collisions of bare lead ions, Pb82+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{82+}$$\end{document}. The results of the calculations indicate that observation of the double lepton processes may become feasible at the LHC facility.


Introduction
Strong electromagnetic fields, induced in relativistic ionion as well as ion-atom collisions, may lead to a creation of electron-positron pairs. A large number of experimental and theoretical works have been performed to explore this quantum electrodynamic (QED) phenomenon [1][2][3]. However, while in the past most of the studies have dealt with single e + e − pairs, much of today interest is focused also on the multiple pair production. Such a process, in which few electrons and positrons are created in a single collision event, is of high order in the electromagnetic coupling α and is predicted to have a sufficiently large cross section [4,5]. Its analysis can help, therefore, to improve our understanding of the non-linear QED effects in quantum vacuum. a e-mail: serbo@math.nsc.ru b e-mail: a.surzhykov@gsi.de Many attempts, based on coincidence observation of emitted electrons (or positrons), were made to detect the multiple production of free e + e − pairs. Due to a large background signal these measurements were unsuccessful, thus indicating a need for an alternative scenario of the experiment. This scenario can be provided by the investigation of multiple e + e − creation events accompanied by the electron capture into bound ionic states. Even though the bound-free pair production is much less probable than the free-free one, its experimental observation is feasible via detection of (one or few) down-charged ions. Such an experiment is likely to be performed at the LHC facility, whose very forward detectors allow efficient ion counting, and will reveal new information as regards the physics of extremely strong fields.
In order to support future LHC experiments, we present a theoretical study of a double lepton-pair production in ultrarelativistic collisions between bare nuclei. Especially, we focus on the creation of two bound-free e + e − pairs in which electrons are captured into bound states of either the same, or two different ions, Here we assume, moreover, the most probable case when the ground ionic states are populated in the course of the capture. The processes (1)- (2) and (3) can be investigated experimentally by detecting residual helium-like or two hydrogen-like ions, and without the need for observation of positrons. These measurements can become feasible in the near future owing to (relatively) large corresponding cross sections which, being proportional to α 14 , may reach the order of 10 mb.
Beside the reactions (1)-(3), we consider-as the third scenario-the simultaneous production of a bound-free e + e − and a free-free μ + μ − pair: Even though the experimental study of this process is rather cumbersome and requires coincidence measurement of a down-charged ion and emitted muon (or antimuon), it can be useful in the general discussion of electromagnetic processes at LHC. The theoretical background for the analysis of all three (double lepton) processes is discussed in Sect. 2. We show, in particular, that the computation of the cross sections can be traced back to the probability of pair production at a particular impact parameter. In the present work, two approaches were used to evaluate such a probability: apart from the first-order perturbation theory, we also employed analytical expressions derived from the equivalent photon approximation (EPA). Detailed calculations based on these two theories are presented in Sect. 3 for collisions of bare lead nuclei Pb 82+ moving with Lorentz factors γ = 1,500 and 3,000. For these typical LHC parameters, we predict up to tens of thousands double-pair production events per hour which can be measured by modern particle detectors. A brief summary of these results is given in Sect. 4. Relativistic units c =h = 1 and α ≈ 1/137 are used throughout the paper unless stated otherwise.

Theoretical background
In order to study the (double) lepton-pair production in ultrarelativistic heavy-ion collisions we employ here the impactparameter approach. Within such an approach, the projectile ion is assumed to move along a classical straight-line trajectory with an impact parameter ρ and velocity v as defined with respect to the target ion. The cross section of the pair creation is then given simply by where R 1 + R 2 is the sum of nuclear radii of colliding ions and the P(ρ) is the probability of the process. As seen from this expression, the knowledge of the impact-parameter dependence of the P(ρ) is crucial for the computation of the cross section σ . In the next sections we discuss, therefore, how the probability P(ρ) can be evaluated for both the single and the double lepton-pair production.
2.1 Probability of a single e + e − pair production

Equivalent photon approximation
The creation of a single electron-positron pair in ion-ion collisions has been intensively studied over the last decades (see Ref. [3] and references therein). For ultra-relativistic energies, this process can be described by means of the equivalent photon approximation (EPA) which treats the electromagnetic field of a fast moving ion as a short pulse of linearly polarized light. The calculation of the e + e − cross section can be traced back, therefore, to the probability of pair photo-production. For example, if collision of two nuclei with charges Z 1 and Z 2 is accompanied by a creation of a free positron and an electron in the ground state of the "second" ion the cross section of this process can be written Here, dn γ (ω L , ρ) is the number of (virtual) photons with energy ω L , produced by the "first" nucleus and seen in the rest frame of the "second" nucleus. The σ γ (ω L ) denotes then the cross section for the bound-free pair production following impact of the photon with energy ω L on the "second" nucleus, ω L + Z 2 → e + + (Z 2 + e − ) 1s . The evaluation of the cross section σ γ (ω L ) and the photon number dn γ has been discussed previously in Refs. [5,6]. In the present study, therefore, we will restrict ourselves to a short account of the basic formulas and ideas, which are needed to derive the σ ee and probability P(ρ) of the boundfree pair production. Within the framework of the EPA and the leading logarithmic approximation, the number of equivalent photons for large impact parameters, 1/m ρ γ L /ω L , reads [5] where γ L is a Lorentz factor of a "first" nucleus in the rest frame of the "second" one. Inserting this expression into Eq. (8), we can find the cross section of the bound-free pair production: Here, the integration over the photon energy ω L employs the explicit form of the cross section σ γ (ω L ) as obtained within the well-known Sauter approximation (see e.g. Eq. (44) in Ref. [6]). The factor f (Z 2 ), moreover, accounts for the difference between the Sauter predictions and rigorous relativistic calculations of the e + e − photo-production [7] and is inserted into Eq. (10) to improve the accuracy of calculations. For the collisions of bare lead ions, which will be discussed in Sect. 3, this factor is f (82) = 0.216. By comparing the cross section (10) with Eq. (6) one immediately derives the probability of a single bound-free e + e − pair production: where the coefficient A depends only on the charges of colliding nuclei and is given by These expressions describe the process (7) in which the electron is captured into the ground state of the "second" ion. Of course, the Eqs. (11)- (12) can also be applied to calculate the probability of the creation of an electron bound to the "first" nucleus; this would require just a substitution of charges Z 1 and Z 2 . Equation (11) is valid for large values of ρ 1/m, which give the main logarithmic contribution to the single pairproduction cross section dσ ee . In contrast, if few e + e − pairs are created in course of ion-ion collision, the region of small impact parameters, R 1 + R 2 < ρ 1/m, plays a significant role, as will be shown in the next section. Since Eq. (11) is not justified in such a region, another approximation of P ee needs to be used. Based on the results of fully relativistic perturbative calculations [8,9], which predict that the growth of the pair-production probability with decreasing ρ slows down and eventually stops at a distance of a few Compton wavelengths, we conjecture that for R 1 + R 2 < ρ 1/m. The validity of such a naïve assumption will be discussed in Sect. 3 where we show that calculations based on Eq. (13) can reproduce the e + e − production cross sections with an accuracy of about 20 %.

First-order perturbation theory
Beside the equivalent photon approximation, which will be used here for rough estimations, one can employ the firstorder perturbation theory and relativistic Dirac wavefunctions in order to calculate the probability P ee . Within such an approach, the transition amplitude is a "building block" from which all the properties of the bound-free pair-production process (7) can be calculated [8,9]. In this expression, ω = E e + + E e − is the sum of the total energies of emitted positron and bound electron, and α 3 = α z is the Dirac matrix. Moreover, the e + e − pair production happens because of the Liénard-Wiechert potential (1 − vα 3 )/r of the "first" nucleus as seen in the rest frame of the "second" nucleus, which depends on the time-dependent The computation of the transition amplitude (14) is significantly simplified if the standard radial-angular representation of the bound electron ψ e − (r) and positron ψ e + (r) functions is applied. For the continuum positron wave this representation can be achieved upon expansion of the ψ e + (r) into multipole (partial) components, characterized by a welldefined parity and total angular momentum. The partial-wave analysis is routine and has been performed in a large number of studies of various atomic processes [8][9][10][11][12]. In the present work, we used about 40 partial waves to calculate the amplitude a ee (ρ) and then the bound-free e + e − pair-production probability: where the integration runs over the momentum p + of emitted positron and the proper summation over the particle spins is implied (see Refs. [9,10] for further details).

Probability of a double e + e − pair production
Based on the probability P e , derived for the process (7), one can investigate also the double bound-free pair production in a single collision between two nuclei. Two scenarios have to be considered for such a collision. In the first one, both electrons are captured by the same nucleus, cf. Eqs. (1) and (2). The probability of such a process can be expressed as a product of probabilities of a single pair production accompanied by the formation of (i) a hydrogen-like and, as a second step, (ii) a helium-like ion. If the electrons are created in the ground state of the ion with a nuclear charge Z 2 , this probability reads Here, we neglected the interaction between bound electrons and just introduced the factor 1/2 to account for the Pauli exclusion principle. Such an independent-particle model is usually well justified for atomic processes with heavy ions and has been successfully employed in a large number of studies [13,14]. By inserting the probability P 2ee into Eq. (6) one can derive the cross section of the process (1). While the evaluation of this cross section is the topic of Sect. 3, here we just note that the main contribution to the integral in Eq. (17) is due to the region ρ 1/m since at ρ 1/m the integrand [P ee (ρ; Z 2 , Z 1 )] 2 ρ ∝ 1/ρ 3 drops rapidly to zero. This observation confirms the importance of small impact parameters ρ for the analysis of double pair-production processes.
In the second scenario, the ultra-relativistic collision between two nuclei leads to a formation of two hydrogenlike ions in the process (3), whose probability can be written Again, here we treat the double-pair production as a two-step process. For instance, the first line of Eq. (16) represents the probability that (i) the virtual photon emitted by the nucleus Z 1 creates a bound electron and a positron in the field of bare ion with the charge Z 2 , and (ii) the production of the second e + e − pair in the field of the "first" nucleus is induced by an impact with an electromagnetic field of the hydrogen-like ion (Z 2 + e − ) 1s . The factor 1/2 accounts, moreover, for the identity of final states, as required by the Poisson statistics. In order to further simplify Eq. (18) we recall that small impact parameters, ρ 1/m, provide the main contribution to the double-pair production cross sections. In this parameter range the nucleus of the hydrogen-like ion (Z − 1) 1s is weakly screened by the (bound) electron cloud with the mean square radius r 2 = √ 3/[(Z − 1)αm] > 1/m. The electromagnetic field, produced by such an ion and as "seen" at ρ 1/m is very similar, therefore, to that of the bare nucleus Z . This allows us to approximate P ee (ρ; Z 1,2 , Z 2,1 − 1) ≈ P ee (ρ; Z 1,2 , Z 2,1 ) and to re-write Eq. (18) as In Sect. 3 we will make use of this probability to investigate the cross section of the pair-production process (3).
2.3 Probability of a free μ + μ − and bound-free e + e − pair production Up to the present, we have applied the P ee to evaluate probabilities of various electron-positron production processes. The ultra-relativistic heavy-ion collisions may lead also to the creation of other leptons. Of special interest for the LHC physics, for example, are muon-antimuon pairs. While the production of single and double free-free μ + μ − pairs was considered in Ref. [15], here we study the process (4)-(5), in which free-free μ + μ − and bound-free e + e − pairs are created. If the electron is captured into a bound state of the "second" nucleus, the probability of such a process is where P μμ (ρ) is given, within the leading logarithmic approximation, by [15]: In this expression, γ is the Lorentz factor of the nuclei in the laboratory (collider) frame, μ is the muon mass, and the function (ρ, γ ) reads for γ /μ ≤ ρ γ 2 /(μ 2 R). In the past, the approximate formulas (21)-(23) were successfully employed to study muonantimuon pair production in heavy-ion collisions. For the Pb-Pb scattering, for example, their predictions were found to be in a 10-15 % agreement with the results of rigorous relativistic calculations [16]. Below, we will use the P μμ (ρ) together with Eq. (11) and (20) in order to calculate the cross section of the free μ + μ − and bound-free e + e − pair production.

Results and discussion
As discussed in the previous section, the probabilities and, hence, the cross sections of the double lepton-pair production processes (1)-(5) can be expressed in terms of the (singlepair) probability P ee . Beside the standard first-order perturbative approach, we have also derived the analytical expressions from the equivalent photon approximation to find the P ee . Before employing these EPA formulas for the estimation of the pair-creation cross sections, let us briefly discuss their validity both for small and large impact parameters ρ. In order to examine the performance of Eq. (11), used to describe the probability P ee for ρ 1/m, we compared its predictions with those of the perturbation theory (14)- (15). Perturbative calculations have been carried out for the collision of two lead nuclei Pb 82+ moving with the energy T p = 100 GeV/u in the laboratory frame. We restricted our analysis to thisrelatively low-energy since the probability (15) is known to remain almost unchanged for T p 100 MeV/u [9] and, moreover, a good convergence of the partial-wave expansion of the positron wavefunction can be achieved in such an (energy) region. As seen from Fig. 1, the perturbative results and approximation (11) show better agreement as the impact parameter ρ increases. For instance, while for ρ = 386 fm, which corresponds to the electron Compton wavelength 1/m, Eq. (11) overestimates the results of rigorous relativistic calculations by more than factor of two, the discrepancy between the results is about 40 % for ρ = 2,000 fm. Such an accuracy is sufficient for the estimation of the pair-production cross sections as can be observed at the LHC facility.
If for the large impact parameters, ρ 1/m, the probability P ee of a single electron-positron pair production is approximated-within the EPA-by Eq. (11), in the region 2R < ρ 1/m we use the naïve approach P ee ≈ A with A given by Eq. (12). For the ultra-relativistic collision between two lead nuclei the coefficient A is as large as which is in reasonable agreement with the results of the relativistic partial-wave theory obtained in the range ρ 400 fm (cf. solid line in Fig. 1). Moreover, the approximation P ee ≈ A can also be applied to estimate the cross section of the e + e − pair production in the vicinity of nucleus. For instance, by performing integration in Eq. (6) from ρ = 1/2m to ρ = 1/m we find for the Pb 82+ -Pb 82+ case. Comparison of this prediction with the result σ ee ( ρ) ≈ 4 barn, obtained for the same range of impact parameters and within the non-perturbative coupled-channel theory [17], again justifies the use of Eq. (13).
Having proved the validity of Eqs. (11) and (13) we are ready now to employ them-along with the perturbative theory-for the computation of the cross sections of double lepton-pair production. Similar to before, we focus on the ultra-relativistic Pb 82+ -Pb 82+ collisions and will study them for the scenario when two beams with Lorentz factors γ 1 = γ 2 ≡ γ = 1,500 and 3,000, as defined in the collider (center-of-mass) system, and the luminosity L = 10 27 s −1 cm −2 move toward each other. As discussed already in Sect. 2.2, two e + e − pairs can be created in these collisions accompanied by the capture of the electrons either (i) by the same (1)-(2) or (ii) by two different (3) ions. By using Eqs. (6), (16) and (19), we easily find that the cross sections of these two processes are related to each other by where R 1 = R 2 = R is the radius of the lead nucleus.
For the further evaluation of this expression, the knowledge about the P ee is needed. If, for example, the results of relativistic partial-wave calculations (cf. solid line in Fig. 1) are employed in Eq. (26), one finds, upon numerical integration over the impact parameter, This result can be compared also with the prediction based on the approximations (11) and (13). Namely, since the [P ee (ρ)] 2 scales as ∼ 1/ρ 4 for the large impact parameters (see Eq. (11) and Fig. 1), the main contribution to the integral on the right-hand side of (26) originates from the region ρ 1/m where Eq. (13) is conjectured to describe the e + e − production probability. If we employ this simple model in Eq. (26), we obtain which is in reasonable agreement with the numerical relativistic result (27). Our estimates of the cross sections σ 2ee and σ ee+ee suggest that about 40,000 double pair-production events (3) per hour may occur in course of Pb 82+ -Pb 82+ ultra-relativistic collisions at the LHC. Moreover, one can observe approximately the same number of e + e − events in which the helium-like ions will be formed in either of colliding beams, i.e. when the process (1) or (2) will take place. As mentioned already above, the bound-free e + e − pair might be also created together with the free muon and antimuon, cf. Eqs. (4) and (5). The cross section of such a-rather exotic-process, can be derived from Eqs. (6) and (20). In contrast to σ 2ee and σ ee+ee this cross section exhibits an evident dependence on the Lorentz factor γ which arises from the μ + μ − production probability (21)-(23). In order to compute the σ ee+μμ , therefore, one has to specify the energy of colliding ions. For example, by choosing the values γ = 1,500 and 3,000, typical for LHC Pb 82+ -Pb 82+ experiments, we find σ ee+μμ (1,500) = 2.2 mb, σ ee+μμ (3,000) = 2.6 mb, which is comparable with the cross sections of the double free-free μ + μ − pair production, σ 2μμ ∼ 1 mb [15]. The results (30) are based on the calculations of the e + e − production probability, performed within the framework of the perturbation theory (14)- (15). If, in contrast, the probability P ee is approximated by Eqs. (11) and (13), one can derive for Z 1 = Z 2 = Z = 82: Again, both results are in good agreement and imply that about 15,000 events (4) and (5) per hour can take place at the LHC collider. The detection of these events would require, however, a coincidence measurement the downcharged, hydrogen-like ions and emitted μ − (or μ + ). Due to the limited detector geometry, however, not all created muons can be registered and this might lead to a considerable reduction of the count rate. The calculations discussed above have been made under the assumption that an electron is captured into the ground ionic state of either hydrogen-or helium-like heavy ions. The multiple e + e − pair production can also be accompanied by the formation of residual ions in their excited states. Based on the previous studies [6,18], we estimate that the contribution of such a excited-state recombination to the total cross sections σ 2ee , σ ee+ee and σ ee+μμ does not exceed 25 %, which is well within the accuracy margin of the present calculations.

Summary
In summary, a theoretical study of double lepton-pair production with an electron capture in ultra-relativistic heavyion collisions has been presented. Special emphasis was given to the processes involving creation of (one or two) bound-free e + e − pairs. In order to estimate the probabilities of these processes at different impact parameters we used two independent approaches. The first one is traced back to the first-order perturbation theory and the partialwave expansion of the Dirac wavefunctions, while the second employs simple analytical expressions derived within the framework of the equivalent photon approximation. Based on these approaches, calculations have been performed for the typical LHC scenario in which two bare led ions Pb 82+ , moving with the Lorentz factor γ = 1,500 and 3,000, collide with each other. For such a collision, we analyzed the probabilities and then the cross sections of the double e + e − pair production accompanied by the formation of (i) a single helium-like (1)-(2) or (ii) two hydrogen-like ions (3), as well as (iii) the simultaneous creation of bound-free e + e − and free-free μ + μ − pairs (4)- (5). The predictions of the relativistic partial-wave theory and the EPA approach were found to be in good agreement for all three processes, and they have indicated that up to tens of thousands of (pair production) events per hour can happen in the course of high-γ collisions at the LHC facility. With such a remarkable event rate the experimental studies of the above processes are likely to become feasible in the near future and will reveal new and unique information on the quantum electrodynamics in extremely strong electromagnetic fields. experiment. The stimulating discussions with A. Milstein and A. Voitkiv are also highly acknowledged. The work is supported by the ExtreMe Matter Institute (EMMI). A. A. and A. S. acknowledge support from the Helmholtz Gemeinschaft (Nachwuchsgruppe VH-NG-421). V. G. S. is supported by the Russian Foundation for Basic Research under the grant 13-02-00695.
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited. Funded by SCOAP 3 / License Version CC BY 4.0.