Abstract:We study two-loop corrections to the scattering amplitude of four massive leptons in quantum electrodynamics. These amplitudes involve previously unknown elliptic Feynman integrals, which we compute analytically using the differential equation method. In doing so, we uncover the details of the elliptic geometry underlying this scattering amplitude and show how to exploit its properties to obtain compact, easy-to-evaluate series expansions that describe the scattering of four massive leptons in QED in the kinematical regions relevant for Bhabha and Møller scattering processes. https://doi.org/10.1103/PhysRevLett.132.231904 Published by the American Physical Society under the terms of the Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article's title, journal citation, and DOI. Funded by SCOAP 3 . Published by the American Physical Society
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to accurately calculate the two - loop corrections in the scattering process of four identical - mass leptons in quantum electrodynamics (QED). Specifically, the authors studied the two - loop corrected scattering amplitudes of four massive leptons in QED. These amplitudes contain previously unknown elliptic Feynman integrals, and the authors analytically calculated these integrals by the method of differential equations. This research is of great significance for understanding the fine effects in the Bhabha scattering and Møller scattering processes, especially in low - energy experiments where the influence of the electron mass becomes non - negligible.
### Main Contributions
1. **Analytical Calculation**: For the first time, the two - loop corrected scattering amplitudes of four massive leptons in QED were analytically calculated, especially dealing with Feynman integrals containing elliptic geometric properties.
2. **Analytical Forms of Elliptic Integrals**: By the method of differential equations, the authors revealed the detailed structure of these elliptic Feynman integrals and showed how to use their properties to obtain a compact and easy - to - calculate series expansion form.
3. **Numerical Implementation**: A robust numerical implementation method was provided, enabling these complex integrals to be calculated quickly and accurately in practical applications, suitable for accurate predictions in low - energy experiments.
### Background
In recent years, particle physics has made a lot of progress in low - energy precision - frontier experiments, such as the measurement of the muon anomalous magnetic moment and the so - called "proton radius puzzle". These experiments require theoretically accurate predictions to match the experimental results. Bhabha scattering and Møller scattering are particularly important in these experiments. The former is used to measure the luminosity of electron - positron colliders, and the latter is the main source of systematic error in the PRad II experiment and is related to the accurate measurement of the weak mixing angle.
### Methods
- **Differential Equation Method**: Use the differential equation method to analytically calculate elliptic Feynman integrals.
- **Series Expansion**: Obtain the generalized power series of small - mass expansion through algorithms, and the coefficients can be represented by harmonic polylogarithms.
- **Numerical Verification**: Verify the accuracy of the calculation by comparing with the results of direct numerical calculations.
### Conclusions
The calculation results of the authors provide important theoretical support for low - energy lepton - collider experiments, especially when considering the electron mass effect. These results are not only of great significance for the accurate prediction of Bhabha scattering and Møller scattering, but also provide a valuable test platform for the study of elliptic Feynman integrals.
### Formula Examples
- **Elliptic Curve**:
\[
E_4: Y^2=(X - e_1)(X - e_2)(X - e_3)(X - e_4)
\]
where the roots \(e_1, e_2, e_3, e_4\) are respectively:
\[
e_1 = y - 4,\quad e_2=-yz + 2\sqrt{\frac{yz(y + z - 4)}{4 - z}},\quad e_3=-yz - 2\sqrt{\frac{yz(y + z - 4)}{4 - z}},\quad e_4 = y
\]
- **Period Integral**:
\[
\Psi_0(y, z)=2\int_{e_2}^{e_3}\frac{dX}{Y}=4K(\lambda)\sqrt{(e_1 - e_3)(e_2 - e_4)}
\]
where \(K(\lambda)\) is the complete elliptic integral of the first kind, and the parameter \(\lambda\) is:
\[
\lambda=\frac{4}{2+\sqrt{-\frac{y(y + z - 4)}{z}}}
\]
These formulas show the innovative methods and technical details of the authors in dealing with complex elliptic integrals.