Electron-to-Muon Forward Annihilation at High Energy

Bottom line: this is a careful companion paper to the authors' PRL, and it deserves a serious referee. The main all-order NLL formula is not new—the paper says it is an elaboration of arXiv:2510.04914. The new content that matters is the complete two-loop forward form factors for ordered and equal masses, the renormalization and scheme treatment, and a set of consistency checks that are unusually strong.

What the paper does well: the two-loop calculation is presented with enough technical detail to be believable, the UV and IR pole structure cancels, the O(alpha²) cross section agrees with the RG evolution result in both mass configurations, and Eq. (4.30) is a non-obvious integral check that would catch errors in the Green's function construction. The table for k(z) is useful. The authors also state their limitations plainly—no resummation of L_mu_e, the refined evolution equation left unsolved—so there is no hidden agenda.

Where the soft spots are: the all-order NLL statement rests on the factorization assumption in Section 4.2: only Fig. 2c topologies contribute, and everything else cancels or starts at NNLL. The stress-test concern is real—this is verified at two loops, not proven, and an irreducible three-loop alpha³ L⁵ term would change Eq. (4.27). The authors say "verified" rather than "proved," so this is an honest gap, not an overclaim that survives scrutiny. It does not touch the fixed-order two-loop results in Section 5. A minor reproducibility note: no code or ancillary files are provided, so the master-integral reduction cannot be checked independently from the text alone. That is standard in this subfield.

The reader's scores look about right: significance around 6, novelty modest relative to the PRL, soundness 7. I would have emphasized slightly more that the paper's lasting value is the two-loop form factors rather than the resummation claim, because the latter is already public and carries the unproved factorization condition.

Who gets value: experts in subleading-power resummation, soft-fermion logarithms, and two-loop QED amplitudes. Phenom impact is limited since the forward region is phase-space suppressed; this is a theory-methods paper.

Recommendation: accept for peer review. The all-order gap should be stated in the paper—it essentially is—and a referee should ask that the factorization argument be sharpened if possible, but the paper does not need to be rejected over it.

The central claim is all-order: Eq. (4.27) resums every α^n L^{2n-1} term for arbitrary mass ratio, and Eq. (4.33) is its O(α²) consequence. The load-bearing step is in Section 4.2: non-Sudakov NLL corrections are asserted to come exclusively from Fig. 2c, i.e. one-loop soft single-log kernels (4.18) inserted into the LL ladder, while outside soft-photon exchange (Fig. 2b) either cancels as Sudakov or starts at NNLL. The text states this was verified by the explicit two-loop calculation, but that check is exactly the first nontrivial order; it cannot exclude an irreducible three-loop topology contributing α³L⁵. Since NLL terms are one power of L below LL at the same order in α, any such contribution would invalidate Eq. (4.27) without changing the two-loop agreement. This is a correctness-risk concern about an unproved all-order factorization, not an internal inconsistency; the two-loop form factors in Section 5 appear mutually consistent and support the O(α²) result.

The reader's weakest_assumption identifies the same all-order factorization in Section 4.2, and I agree that this is the least secure condition for the central claim. The paper deserves credit for the explicit two-loop check and for deriving the evolution equation from a two-cutoff construction; no more concrete flaw surfaced in a careful reading. The unresummed Lµe is an acknowledged limitation and does not affect the stated NLL claim, and the unsolved Eq. (4.37) is explicitly beyond scope. The three-loop check I propose is costly, but it is the direct test of the all-order claim; absent such a check, the all-order part of the conclusion remains a plausible but unproved factorization. This supports the reader's MODERATE confidence verdict rather than requiring a change.

If the all-order NLL result holds, this is a significant step: it extends the classical double-logarithmic resummation of Gorshkov, Gribov, Lipatov and Frolov to NLL accuracy with a non-trivial dependence on the electron-to-muon mass ratio, and it provides the first explicit two-loop fixed-order calculation in this kinematics. The fixed-order two-loop calculation is a substantial technical achievement with multiple internal checks, including pole cancellation, a non-trivial Bessel-function integral identity in Eq. (4.30), and agreement with the RG prediction for both mass configurations. The main factor limiting confidence is that the all-order NLL claim rests on a factorization assumption that is explicitly verified only through two loops.

This paper derives the full next-to-leading-logarithmic (NLL) behaviour of forward $e^+e^-\to\mu^+\mu^-$ annihilation in quantum electrodynamics: the amplitude at tiny scattering angles and high energy, where each power of the coupling $\alpha$ can bring two powers of the large logarithm $L=\ln(s/m_\mu^2)$, so fixed-order perturbation theory fails and only the leading double-logarithmic terms were previously resummed. The authors obtain a closed all-order formula for the coefficient function (form factor) of the amplitude, valid for an arbitrary electron-to-muon mass ratio, and derive from it the $O(\alpha^2)$ virtual correction to the forward cross section. They further present a complete two-loop calculation of the forward amplitude at leading power in both ordered-mass and equal-mass configurations, and report full agreement with the resummed formula. The result matters because the subleading logarithms further enhance the forward cross section beyond the six-decade-old double-logarithmic result, and because the same two-cutoff evolution machinery is proposed as a general tool for power-suppressed amplitudes.

What carries the argument. The engine of the argument is a Wilsonian evolution equation with two auxiliary cutoffs, one on the plus- and one on the minus-components of the light-cone loop momenta of the soft fermions. The leading-log form factor obeys $\partial^2 A(\xi,\eta)/\partial\xi\partial\eta = z\,A(\xi,\eta)$ with boundary conditions $A(\xi,0)=1$ and $\partial_\eta A|_{\eta=\xi}=0$, and its solution in terms of modified Bessel functions reproduces the classical double-log ladder. Next-to-leading logarithms enter through the one-loop soft kernel $K(\zeta) = -\frac{\alpha L}{2\pi}\left(\frac{\beta_0}{2}+1\right)\zeta$ inserted into every rung of the ladder, and the correction function $k(z)$ is the convolution of this kernel with the evolution-equation Green's function. The collinear logarithms of the lepton mass ratio are factored into an overall prefactor, and the dependence on the electron mass is absorbed into a shift of the large logarithm $L\to L+\gamma_e^{(1)}$.

Core claim. The central claim is that the next-to-leading-logarithmic form factor of forward $e^+e^-\to\mu^+\mu^-$ annihilation in QED is given, to all orders in $\alpha$, by $A_{\rm NLL}(z) = \left(1 - \frac{\alpha L}{2\pi}\right)A_{\rm LL}(z) - \frac{\alpha L}{2\pi}\left(\frac{\beta_0}{2}+1\right)k(z)$, where $z=\alpha L^2/2\pi$, $A_{\rm LL}(z) = I_1(2\sqrt{z})/\sqrt{z}$ is the classical double-logarithmic amplitude, $\beta_0$ is the one-loop QED $\beta$-function coefficient, and $k(z)$ is a fixed double integral of leading-log form factors. Expanding this formula yields the $O(\alpha^2)$ virtual cross-section correction $d\sigma^{(2)}/d\sigma_{\rm Born} = \frac{5}{12}L^4 + \left(\frac{5}{3}\gamma_e^{(1)} + \frac{11}{3} + \frac{14}{9}n_l\right)L^3$, with the mass-ratio dependence carried by $\gamma_e^{(1)}$, a function that vanishes for very light electrons and equals $-1$ at equal masses. The paper also reports the complete two-loop forward amplitude at leading power in both mass configurations and states that it agrees with the evolution-equation result, confirming the factorization of collinear logarithms and the cancellation of the pure Sudakov pieces. In this regime the amplitude is asymptotically enhanced rather than suppressed, growing like $e^{2\sqrt{z}}/z^{3/4}$ at high energy, so the resummed cross section exceeds the double-logarithmic prediction.

The premise it rests on. The load-bearing premise is that, at every order in the coupling, the next-to-leading logarithms come only from inserting the same one-loop single-logarithmic building blocks into the leading-order ladder of diagrams, with all other corrections either cancelling or folding into an overall prefactor; the authors verify this structure at two loops but do not prove it holds to all orders.

All $\alpha^n L^{2n-1}$ corrections to the forward $e^+e^-\to\mu^+\mu^-$ amplitude in QED are now resummed, so the NLL behaviour is fully determined for every electron-to-muon mass ratio, not only in the ordered-mass limit.

The subleading logarithms increase the forward cross section relative to the leading double-logarithmic result, and at asymptotically high energies the amplitude grows like $e^{2\sqrt{z}}$ rather than being suppressed.

The NLL coefficients depend on the fermion mass spectrum through $\gamma_e^{(1)}$, so equal-mass and ordered-mass lepton pairs genuinely differ in the forward regime, unlike in fixed-angle scattering.

The complete two-loop form factors provide the $O(\alpha^2)$ forward amplitude at leading power, including non-logarithmic constants, and serve as an independent check of the resummation.

The two-cutoff evolution structure is offered as a template for the high-energy behaviour of other power-suppressed amplitudes with several physical modes.

A natural next step that the paper does not take is to solve the refined running-coupling evolution equation (Eq. 4.37) numerically; if its solution reproduces the fixed-order two-loop results, it would extend the resummation toward the $\alpha^n L^n$ terms beyond NLL.

The energy-independent mass-ratio logarithm $L_{\mu e}\approx 10$ is deliberately left unresummed; at energies where $\alpha L_{\mu e}$ becomes sizeable, a dedicated resummation of those terms would likely be needed for numerical accuracy.

Because the unequal-mass virtual corrections become infrared divergent at next-to-next-to-leading logarithms while the equal-mass case stays finite, an eventual NNLL kernel will have to reproduce the cancellation of those divergences by soft real emission with energy of order $m_\mu^2/\sqrt{s}$ in a scale-dependent way.

Although the forward region's phase space is power-suppressed, the exponential growth of the resummed amplitude suggests the effect could become numerically visible in very-high-energy, high-statistics measurements of the $e^+e^-\to\mu^+\mu^-$ angular distribution, where fixed-order predictions fail.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review