4
strong-interaction effects in the muon (g−2) must be treated in their full, non-perturbative
complexity. As a result, the theory uncertainty of this precision observable is entirely dom-
inated by the hadronic contributions.
The leading hadronic contribution goes under the name of hadronic vacuum polarization
(HVP). The situation around the muon (g−2) has become more intricate with the publica-
tion of a lattice-QCD based calculation [26] of the HVP contribution, which finds a larger
value than the dispersion-theory based estimate of the WP and would bring the overall the-
ory prediction into far better agreement with the experimental value of aµ. Thus it will be
crucial to resolve the tension between the different determinations of the HVP contribution
in order to capitalize on the expected improvements in the experimental determinations of
aµ: a reduction by more than a factor of two is expected from the Fermilab Muon g−2
experiment [27], and further measurements are planned at J-PARC [28] and considered at
PSI [29].
An O(α3) hadronic contribution to aµ, known as the hadronic light-by-light (HLbL)
contribution, also adds significantly to the error budget of the SM prediction. It can be
represented as the Feynman diagram depicted in Fig. 1. In the WP error budget for aµ, its
assigned uncertainty is 0.15 ppm. Therefore, anticipating error reductions in the HVP contri-
bution and in the experimental measurements, it is crucial to further reduce the uncertainty
on the HLbL contribution by at least a factor of two.
The HLbL contribution is conceptually more complex than the HVP contribution. On
the other hand, being suppressed by an additional power of the fine-structure constant α,
the requirements on its relative precision are far less stringent: the uncertainty quoted in
the WP corresponds to 20%. In recent years, the HLbL contribution has been evaluated
using either dispersive methods, for which a full result can be found in the WP [3] based
on Refs. [15–21, 23, 30–35], or lattice QCD ([22] and [36]–[37]). Good agreement is found
among the three evaluations within the quoted uncertainties.
The purpose of the present paper is to provide a detailed account of the computational
strategy underlying our recent calculation [36, 37]. Its full development spanned several
years, with progress reported in a number of conferences since 2015 [38–43]. The basic idea
is to treat the muon and photon propagators of Fig. 1 in position-space perturbation theory,
in the continuum and in infinite-volume, while the ‘hadronic blob’ is to be treated in lattice
QCD on a spatial torus. Thus much of this paper is concerned with the semi-analytical
calculation of the QED part of the amplitude.
The idea to compute the HLbL contribution to aµwas first proposed in 2005 [44], with a
follow-up three years later [45]. These initial methods finally led to the 2014 publication [46].
In parallel to the development of our strategy, the RBC/UKQCD collaboration then also
worked on improving its computational methods [47], with a first exploratory calculation
at physical quark masses published in [48]. These methods are based on treating the QED
parts of Fig. 1 within the lattice field theory set up on a finite torus. Starting with Ref. [49],
the RBC/UKQCD collaboration also developed its own tools to treat the muon and photon
propagators in infinite volume. We will return in section VIII A to some aspects of the
cross-fertilization that occurred between the two groups.
It is also worth pointing out other, less direct approaches that have been pursued towards
better determining the HLbL contribution to the muon (g−2) using lattice QCD. Of all me-
son exchanges, the neutral-pion pole contribution is by far the largest, and we have published
two lattice calculations of its transition form factor describing its coupling to two (in general)
virtual photons [19, 50]. Since the π0contribution is the numerically dominant one at long