1 Introduction

While quantum electrodynamics (QED) is the most precisely tested part of the (quantum field) theory of the standard model of particle physics (see, e.g., [1]), it has been known early on that its perturbative structure is plagued by a singularity in the running coupling at finite scales, the so-called Landau pole [2, 5]. Attempts to search for a cure for this consistency problem in the nonperturbative strong-coupling domain also date back to the early days of quantum field theory [6,7,8]. In absence of a convincing solution, QED is considered to be a “trivial” theory, in the sense that the theory is assumed to be a consistent quantum field theory only at the prize of having no interactions.

In fact, evidence for triviality has been provided by lattice simulations [9,10,11] as well as nonperturbative functional methods [12], though the resulting picture is more involved (and different from the triviality arising, e.g., in \(\phi ^4\) theory [13,14,15]): if QED was in a strong-coupling regime at a high-energy scale \(\Lambda \), interactions would trigger chiral symmetry breaking [16, 17] much in the same way as in QCD. As a consequence, such a strong-coupling realization of QED would go along with electron masses of the order of the high scale \(m\sim \Lambda \) in contradistinction to the observed small mass of the electron and its approximate chiral symmetry in comparison with generic standard-model scales. Therefore, the Landau pole representing a strong-coupling regime is not connected by a line of constant physics with QED as observed in Nature [9]; nevertheless, the existence of a chiral-symmetry breaking phase imposes a scale \(\Lambda _{\text {max}}\) up to which QED as an effective field theory can be maximally extended [12]. In pure QED, this scale has been estimated as \(\Lambda _{\text {max,QED}}\simeq 10^{278}\)GeV. As far as an ultraviolet (UV) completion of QED is concerned, the conclusion is similar to that of naive perturbation theory: a simple high-energy completion of QED does not seem to exist.

From the modern perspective of the standard model, QED is merely the low-energy remnant of the electroweak sector of the standard model as a consequence of the Brout-Englert-Higgs mechanism. However, the hypercharge U(1) factor of the gauge group of the SM exhibits a high energy renormalization group (RG) behavior qualitatively similar to QED; the high-energy location of the corresponding Landau pole of perturbation theory suggests the existence of a scale of maximum UV extent of the standard model of \(\Lambda _{\text {max,SM}}\simeq 10^{40}\)GeV. It is fair to say that the physical relevance of such a scale remains unclear, since it is much larger than the Planck scale where the renormalization behavior of the particle physics sector is expected to be modified by quantum gravitational effects. Still, this problem appears to be generic for models with U(1) factors; in fact the Landau pole typically moves to smaller scales for new physics models with a larger sector of U(1)-charged scalar or fermionic particles and can thus easily drop below the Planck scale.

Within QED-like (asymptotically non-free) theories, analytic properties of the ’t Hooft expansion at large \(N_{\text {f}}\) [18, 19] have been used in combination with high-order perturbation theory to actively search for UV fixed points [20], and are currently studied with renewed interest using novel resummation techniques [21,22,23,24], aiming at addressing the fate of these theories in the deep UV. Proposed solutions of the problem of high-energy incompleteness caused by a U(1) factor typically go much beyond the particle content of pure QED-like systems. One example is given by asymptotically safe particle physics models [25] which require a large number of additional vector-like fermions [26] but go along with a nonperturbative scalar sector [27]; the mechanisms that help controlling UV fixed points in non-abelian gauge-Yukawa models have recently been shown to be, in principle, also available in corresponding abelian systems but definite answers require a non-perturbative analysis [28]. A natural solution might be given by an embedding of the U(1) factor into a unified non-abelian group, provided that a suitable physical spectrum arises [29, 30]. A rather interesting possibility has been discussed within the combined system of QED and gravitational fluctuations based on the asymptotic safety scenario of quantum gravity [31,32,33,34,35], since the combined system can develop a UV fixed point, for which the low-energy QED coupling becomes a predictable quantity.

Returning to a pure QED perspective, it has recently been observed within an effective-field theory analysis that a finite Pauli term (the spin-field coupling) can be sufficient to screen the perturbative Landau pole [36] and render the minimal gauge coupling finite. Within the effective field theory paradigm, this suggests that QED triviality could be an artifact of truncating the effective field theory at leading order. If so, high-energy completion would still require an embedding into a “new-physics” framework which remains unknown at this point.

In the present paper, we explore the possibility whether QED could be asymptotically safe in a theory space larger than what has so far been considered in lattice simulations or functional methods. Inspired by [36], we include the Pauli coupling \(\kappa \) parametrizing the unique dimension-5 operator to lowest-derivative order and thus a next-to-leading order term in an operator expansion of the effective action. A reason to disregard this term in earlier studies might have been given by the fact that the Pauli term breaks chiral symmetry explicitly (apart from perturbative non-renormalizability). By contrast, high-energy studies typically assume asymptotic symmetry [37], as the electron mass being the source of chiral symmetry breaking (in pure QED) is implicitly assumed to be irrelevant in comparison to all other momentum scales at high energies. Counterexamples to this scenario have been constructed only recently in the context of non-abelian Higgs-(Yukawa) models [38,39,40,41,42], exhibiting mass scales that grow proportionally to an (RG) scale; see [43, 44] for earlier toy-model examples.

In fact, using modern functional renormalization group techniques, we find evidence for the existence of interacting RG fixed points in the theory space spanned also by the Pauli coupling. RG trajectories that emanate from such fixed points correspond to high-energy complete realizations of QED with a fixed set of physical parameters and a full predictive power for the long-range behavior of the theory. The dynamics induced by the Pauli coupling exhibits several interesting features: For increasing Pauli coupling, its RG flow turns from irrelevant to relevant, i.e., the power-counting scaling is compensated by quantum fluctuations. Also the running of the gauge coupling e is driven towards asymptotic freedom (whereas \(\kappa \) is asymptotically safe). We observe several fixed points that qualitatively differ by the presence or absence of a finite value for the electron mass (measured in units of the RG scale), by the number of relevant directions corresponding to the number of physical parameters, and by the properties of the long-range physics. We identify RG trajectories that interconnect the physical values for the low-energy parameters of real QED with one of the UV fixed points, thereby constructing a high-energy complete version of QED with only photon and electron degrees of freedom.

Our paper is structured as follows: In Sect. 2, we introduce the subspace of the QED theory space to be screened for the existence of fixed points. Section 3 presents our results for the RG flow equation in that subspace. In Sect. 4, we present the results of our RG fixed points search and classify the resulting universality classes. Section 5 is devoted to a construction of UV complete trajectories and an analysis of the resulting long-range properties. In Sect. 6, we conclude and discuss possible implications of our results for pure QED in the context of an embedding into a standard-model like theory. Further technical details are summarized in the appendix.

2 QED with a Pauli term

Let us consider pure QED, consisting of an electromagnetic U(1) gauge field \(A_\mu \) interacting with a massive electron that is described by a Dirac spinor \(\psi \). In addition to the standard kinetic terms, the mass term, and the minimal coupling, we also consider a Pauli term, parametrizing the (anomalous) coupling of the electron to the electromagnetic field. Using Euclidean spacetime and Dirac-space conventions, the bare action reads

(1)

with \(D_\mu [A]=\partial _\mu - i{\bar{e}}A_\mu \) denoting the covariant derivative, and \({\bar{m}}\), \({\bar{e}}\), \({\bar{\kappa }}\) representing the bare mass and couplings. Note that the factors of i in front of the mass term and the Pauli spin coupling arise from the Euclidean description; the action satisfies Osterwalder-Schrader reflection positivity. The action features a local U(1) (vector) gauge invariance. In addition to the electron mass term \(\sim {\bar{m}}\), also the Pauli coupling \(\sim {\bar{\kappa }}\) breaks the global chiral symmetry explicitly.

Let us briefly sketch the reasoning behind a conventional perturbative RG analysis: Based on the assumption that the theory is close to the Gaußian fixed point at an initial high-energy scale \(\Lambda \) with all couplings \({\bar{e}},{\bar{\kappa }},\dots \lesssim {\mathcal {O}}(1)\) (suitably measured in units of \(\Lambda \)), the Pauli term as a dimension-5 operator as well as all possible higher order couplings \({\bar{\kappa }}, \dots \) are expected to be governed by their power-counting dimension (possibly amended by logarithmic corrections). As a result, the Pauli coupling is expected to scale as \({\bar{\kappa }}\sim k/\Lambda \) towards lower scales \(k\ll \Lambda \), exhibiting RG irrelevance for the long-range physics. Higher-order operators are expected to be correspondingly power-suppressed. By contrast, the dimensionless RG-marginal gauge coupling runs logarithmically, as is captured by the \(\beta \) function for the suitably renormalized coupling e (see below),

$$\begin{aligned} \beta _e= k \frac{de}{dk}= \frac{e^3}{12\pi ^2} + {\mathcal {O}}(e^5). \end{aligned}$$
(2)

The running of the coupling obtained from the integrated \(\beta _e\) function exhibits a logarithmic decrease of the coupling towards lower scales k and a Landau-pole singularity towards the UV; the latter signals the break-down of the perturbative reasoning towards higher energies.

In this discussion, we have already implicitly assumed the mass to be smaller than any of the scales \(k,\Lambda \) (or loop momenta). This assumption characterizes the deep Euclidean region where a possible finite mass can be ignored. The finiteness of the renormalized mass m then only becomes relevant at low scales \(k\sim m\), where threshold effects lead to a decoupling of massive particles from the flow.

Upon embedding the pure QED sector into the standard model, the corresponding mass term arises from the Higgs mechanism and is seeded by the Yukawa coupling to the Higgs field. The latter is an RG-marginal coupling as well and preserves chiral symmetry. This, together with the assumption of asymptotic symmetry [37] justifies the procedure to ignore particle masses in the high-energy analysis of standard-model like theories.

This work is devoted to an analysis of the nonperturbative RG flow in pure QED theory space including the Pauli term. The anticipated existence of an interacting RG fixed point can invalidate simple power-counting arguments for the Pauli coupling. If so, high-energy quantum fluctuations could render the Pauli term RG relevant and exert a strong influence on the high-energy behavior of the gauge coupling. In addition to strong-coupling effects, explicit chiral symmetry breaking triggered by the Pauli term makes it necessary to consider the flow of the mass term on the same footing as the couplings. Since a finite mass term can generically induce decoupling, it remains a nontrivial question as to whether RG trajectories exist along which the high-energy behavior can be separated from the physical low-energy electron mass scale.

3 QED flow equations

Whereas the action in Eq. (1) could be straightforwardly treated with standard effective field theory methods in the deep Euclidean region, the fact that the Pauli term breaks chiral symmetry suggests to use a formalism where all sources of symmetry breaking including the mass term are treated on the same footing. In order to study the RG flow beyond the bias of the deep Euclidean region, we use the functional RG formulated in terms of the Wetterich equation [45]

$$\begin{aligned} \partial _t \Gamma _k = \frac{1}{2} \mathrm {STr} \left[ \left( \partial _t R_k \right) \left( \Gamma ^{(2)}_k + R_k \right) ^{-1} \right] , \end{aligned}$$
(3)

where \(t = \ln \left( k / \Lambda \right) \) denotes “RG time” defined in terms of a scale k, separating the modes with momenta \(\lesssim k\) to be integrated out from those with momenta \( > rsim k\) already integrated out. This mode separation is technically implemented by a momentum-dependent regulator \(R_k(p^2)\). The resulting effective average action \(\Gamma _k\) governs the dynamics of the low-momentum modes, is initiated at the high scale by the bare action, \(\Gamma _{k\rightarrow \Lambda }\rightarrow S\), and approaches the full quantum effective action for \(k\rightarrow 0\), for reviews see [46,47,48,49,50,51]. In the present work, we study the flow of the system in a truncated theory space spanned by the action

(4)

Here, the wave function normalizations \(Z_\psi \) and \(Z_A\) as well as all couplings and mass parameters are considered as k dependent. While the gauge parameter \(\xi \) could also be studied as a k-dependent parameter, we choose the Landau gauge \(\xi =0\) in practice, as it is a fixed point of the RG flow [52, 53]. This truncation is complete to lowest order in a derivative expansion (1st order for fermions, 2nd order for photons) and to dimension-5 in a power-counting operator expansion. A next order in derivatives would include the operators (dimension-5), \(F_{\mu \nu }\square F^{\mu \nu }\) (dimension-6); a next order in the operator expansion includes four-fermion terms as studied in [12, 17, 54].

It is convenient to express the RG flow in terms of dimensionless and renormalized parameters:

$$\begin{aligned} e = \frac{k^{\frac{d}{2}-2}{\bar{e}}}{Z_\psi \sqrt{Z_A} }, \quad \kappa = \frac{k^{\frac{d}{2}-1}{\bar{\kappa }}}{Z_\psi \sqrt{Z_A}}, \quad m = \frac{{\bar{m}}}{Z_\psi k}. \end{aligned}$$
(5)

and calculate their \(\beta \) functions in the Landau gauge \(\xi \rightarrow 0\) using Eq. (3). For this, we use standard methods for the operator expansion of the Wetterich equation [46, 48, 50, 55] in order to project onto the operators of Eq. (4), and employ FeynCalc [56, 57] for some of the tensor manipulations. The results for these \(\beta \) functions are rather involved as a result of the absence of chiral symmetry and the possible finiteness of the mass term. For generality, we list the results for a generic spacetime dimension d:

$$\begin{aligned} \partial _t e= & {} e \left( \frac{d}{2}-2+ \eta _\psi + \frac{\eta _A}{2} \right) \nonumber \\&- 4 v_d \frac{\left( d-4\right) \left( d-1\right) }{d} e^3 \; l_d^{(1,\mathrm {B},\tilde{\mathrm {F}}^2)}(0,m^2) \nonumber \\&- 16 v_d \frac{\left( d-2\right) \left( d-1\right) }{d} e \kappa ^2 \; l_d^{(2,\mathrm {B},\tilde{\mathrm {F}}^2)}(0,m^2) \nonumber \\&- 32 v_d \frac{d-1}{d} e^2 \kappa m \; l_d^{(1,\mathrm {B},\mathrm {F},\tilde{\mathrm {F}})}(0,m^2,m^2) \nonumber \\&- 4 v_d \frac{\left( d-2\right) \left( d-1\right) }{d} e^3 m^2 \; l_d^{(\mathrm {B},\mathrm {F}^2)}(0,m^2)\nonumber \\&- 16 v_d \frac{\left( d-4\right) \left( d-1\right) }{d} e \kappa ^2 m^2 \; l_d^{(2,\mathrm {B},\mathrm {F}^2)}(0,m^2), \end{aligned}$$
(6)
$$\begin{aligned} \partial _t \kappa= & {} \kappa \left( \frac{d}{2}-1 + \eta _\psi + \frac{\eta _A}{2} \right) \nonumber \\&+ 16 v_d \frac{\left( d-4\right) \left( d-1\right) }{d} \kappa ^3 \; l_d^{(2,\mathrm {B},\tilde{\mathrm {F}}^2)}(0,m^2) \nonumber \\&- 4 v_d \left( 3 \frac{\left( d-6\right) \left( d-2\right) }{d} + 1 \right) \nonumber \\&\times e^2 \kappa \; l_d^{(1,\mathrm {B},\tilde{\mathrm {F}}^2)}(0,m^2) + 4 v_d\, e^3 m \nonumber \\&\times \left[ \frac{d-3}{d} [ l_d^{(1,\mathrm {B},\tilde{\mathrm {F}}_1,\mathrm {F})}(0,m^2,m^2) \right. \nonumber \\&-l_d^{(1,\mathrm {B},\mathrm {F}_1,\tilde{\mathrm {F}})}(0,m^2,m^2) ] \nonumber \\&\left. - \frac{\left( d-4\right) \left( d-1\right) }{2 d} l_d^{(\mathrm {B},\mathrm {F},\tilde{\mathrm {F}})}(0,m^2,m^2) \right] \nonumber \\&+ 16 v_d\; e \kappa ^2 m \nonumber \\&\times \left[ \frac{5\left( d-4\right) \left( d-3\right) }{2d} \;l_d^{(1,\mathrm {B},\mathrm {F},\tilde{\mathrm {F}})}(0,m^2,m^2) \right. \nonumber \\&+ \frac{d-3}{d} \; l_d^{(2,\mathrm {B},\mathrm {F},\tilde{\mathrm {F}}_1)}(0,m^2,m^2) \nonumber \\&\left. - \frac{d+2}{d} \; l_d^{(1,\mathrm {B},\mathrm {F},\tilde{\mathrm {F}})}(0,m^2,m^2) \right] \nonumber \\&+ 16 v_d \left( 1 - \frac{\left( d-4\right) ^2}{d} \right) \kappa ^3 m^2 \; l_d^{(1,\mathrm {B},\mathrm {F}^2)}(0,m^2) \nonumber \\&+ 4 v_d \frac{\left( d-4\right) \left( d-1\right) }{d} e^2 \kappa m^2 \; l_d^{(\mathrm {B},\mathrm {F}^2)}(0,m^2) , \end{aligned}$$
(7)
$$\begin{aligned} \partial _t m= & {} -m \left( 1-\eta _\psi \right) - 16 v_d \left( d - 1 \right) e \kappa \; l_d^{(1,\mathrm {B},\tilde{\mathrm {F}})}(0,m^2) \nonumber \\&+ 16 v_d \left( d - 1 \right) m \kappa ^2 \; l_d^{(1,\mathrm {B},\mathrm {F})}(0,m^2) \nonumber \\&- 4 v_d \left( d - 1 \right) e^2 m \; l_d^{(\mathrm {B},\mathrm {F})}(0,m^2). \end{aligned}$$
(8)

Here, we have defined \(v_d=[2^{d+1}\pi ^{d/2} \Gamma (d/2)]^{-1}\), and the functions \(l_d^{\cdots }(\cdots )\) parametrize threshold effects arising from the massive fermion propagator; in addition to the explicitly highlighted mass dependence, they can also depend on the anomalous dimensions \(\eta _\psi , \eta _A\) as a consequence of “RG improvement” implementing a resummation of large classes of diagrams,

$$\begin{aligned} \eta _A=- \partial _t \ln Z_A, \quad \eta _\psi =- \partial _t \ln Z_\psi . \end{aligned}$$
(9)

The threshold functions approach a finite non-negative constant for \(m, \eta _\psi , \eta _A\rightarrow 0\), and vanish for \(m\rightarrow \infty \) manifesting the decoupling of massive fermion modes. As we encounter threshold functions that go beyond those tabulated in the literature as a consequence of the absence of chiral symmetry as well as the presence of a momentum dependent vertex, we have introduced a new systematic notation here, which we explain in detail in the Appendix.

These flow equations are autonomous coupled ordinary differential equations which depend on the anomalous dimensions of the fields. The latter are determined by the flow of the kinetic terms, yielding algebraic equations of the form

$$\begin{aligned} \eta _\psi= & {} 4 v_d \frac{ \left( d - 2 \right) \left( d - 1 \right) }{d} e^2 \; l_d^{(\mathrm {B},\tilde{\mathrm {F}})}(0,m^2) \nonumber \\&- 8 v_d \frac{d - 1}{d} e^2 \; l_d^{(1,\mathrm {B},\tilde{\mathrm {F}}_1)}(0,m^2) \nonumber \\&+ 16 v_d \frac{\left( d-4 \right) \left( d - 1 \right) }{d} \kappa ^2 \; l_d^{(1,\mathrm {B},\tilde{\mathrm {F}})}(0,m^2) \nonumber \\&- 32 v_d \frac{d - 1}{d} \kappa ^2 \; l_d^{(2,\mathrm {B},\tilde{\mathrm {F}}_1)}(0,m^2) \nonumber \\&+ 32 v_d \frac{d-1}{d} e \kappa m \; l_d^{(1,\mathrm {B},\mathrm {F}_1)}(0,m^2), \end{aligned}$$
(10)
$$\begin{aligned} \eta _A= & {} 8 v_d \frac{d_\gamma N_{\text {f}}}{d + 2} e^2 \; l_d^{(2,\tilde{\mathrm {F}}_1^2)}(m^2) \nonumber \\&+ 16 v_d d_\gamma N_{\text {f}}\kappa ^2 m^2 l_d^{(\mathrm {F}^2)}(m^2) \nonumber \\&- 16 v_d \frac{d-4}{d} d_\gamma N_{\text {f}}\kappa ^2 \;l_d^{(1,\tilde{\mathrm {F}}^2)}(m^2) \nonumber \\&- 64 v_d \frac{d_\gamma N_{\text {f}}}{d} e \kappa m \; l_d^{(1,\tilde{\mathrm {F}}, \mathrm {F}_1)}(m^2,m^2) \nonumber \\&+ 8 v_d \frac{d_\gamma N_{\text {f}}}{d} e^2 m^2 \; l_d^{(1,\mathrm {F}_1^2)}(m^2), \end{aligned}$$
(11)

where \(d_\gamma \) denotes the dimensionality of the representation of the Dirac algebra (\(d_\gamma =4\) in physical QED), and \(N_{\text {f}}\) is the number of Dirac fermion flavors. For an understanding of the coupling dependence of the flows, the following two discrete \({\mathbb {Z}}_2\) symmetries are relevant: We observe that the action (4) is invariant under a simultaneous discrete axial transformation \(\psi \rightarrow e^{i\frac{\pi }{2} \gamma _5} \psi \), \({{\bar{\psi }}} \rightarrow {{\bar{\psi }}} e^{i\frac{\pi }{2} \gamma _5}\) and a sign flip of \({\bar{\kappa }}\rightarrow -{\bar{\kappa }}\) and \({\bar{m}}\rightarrow -{\bar{m}}\). This \({\mathbb {Z}}_2\) symmetry is also visible in all flow equations and anomalous dimensions, as they remain invariant under a simultaneous sign flip of \(\kappa \) and m. Furthermore, charge conjugation on the level of couplings is represented by simultaneous sign flip of e and \(\kappa \) which is also an invariance of all \(\beta \) functions and anomalous dimensions.

While each term in the flow equations reflects the one-loop structure of the Wetterich equation – visible in terms of the explicitly highlighted polynomial coupling dependence – the flows still exhibits various nonperturbative features: the flow of \(\kappa \) coupling to the e and m equations effectively corresponds to feeding back higher-order diagrams, the anomalous dimensions in the threshold functions also yield higher-order resummations, and the dependence of the threshold functions on the running mass is also a nonperturbative effect. As a simple check, it is straightforward to rediscover the perturbative limit. For this, we drop all \(\kappa \) terms and take the deep Euclidean limit \(m\rightarrow 0\). In the flow Eq. (6) for e only the anomalous dimensions in the first scaling term remain in this limit. Further, we observe that \(\eta _\psi \rightarrow 0\) in this limit as the seemingly remaining terms \(\sim e^2\) cancel by virtue of properties of the threshold functions. This is in agreement with the standard perturbative result in the Landau gauge. The only non-trivial term in the flow is carried by the anomalous dimension \(\eta _A\) of the photon, finally leading to Eq. (2) to lowest order in the coupling.

4 QED fixed points and universality classes

The scenario of asymptotic safety relies on the existence of an interacting non-Gaußian fixed point of the renormalization group [58, 59]. Summarizing all dimensionless couplings including the mass parameter into a vector \({\mathbf {g}}\), with \({\mathbf {g}}=(e,\kappa ,m)\) in the present case, a fixed point satisfies \(\partial _t{\mathbf {g}}|_{{\mathbf {g}}={\mathbf {g}}^*}=0\), realizing the concept of (quantum) scale invariance. In the vicinity of a fixed point, the RG flow to linear order is governed by the properties of the stability matrix \({\mathbf {B}}_{ij}\), the eigenvalues of which are related to the RG critical exponents \(\theta _I\),

$$\begin{aligned} {\mathbf {B}}_{ij}= \frac{\partial }{\partial g_j} \partial _t g_i\Bigg |_{{\mathbf {g}}={\mathbf {g}}^*}, \quad \theta _I = - \text {eig}\, {\mathbf {B}}. \end{aligned}$$
(12)

The number of positive critical exponents corresponds to the number of RG relevant directions. (A zero eigenvalue \(\theta _I=0\) corresponds to an RG marginal direction with higher-orders beyond the linearized regime deciding about marginal relevance or irrelevance.) The number of relevant and marginally relevant directions counts the number of physical parameters that need to be fixed in order to predict the long-range behavior of the theory. In the presence of several fixed points, each fixed point defines a universality class: for all RG flow trajectories passing through the vicinity of the fixed point, the long-range behavior is universally governed by these (marginally) relevant directions. Those RG trajectories that emanate from a fixed point are UV complete: a theory can be extended to arbitrarily high scales with the long-range physics remaining fixed; such a trajectory defines a “line of constant physics”. For further details or reviews of asymptotic safety, see [50, 51, 59,60,61,62].

The previously mentioned \({\mathbb {Z}}_2\) symmetries of the flows translate to relations among possible fixed points of the RG flow: given any fixed point \((e^*, \kappa ^*, m^*)\), we can construct the following set of points which are also fixed points of the RG, describing one and the same universality class

$$\begin{aligned} (-e^*, -\kappa ^*, m^*), (e^*, -\kappa ^*, -m^*),(-e^*, \kappa ^*, -m^*). \end{aligned}$$
(13)

For the concrete evaluation of the flows and the search for fixed points, we concentrate on the relevant case of four spacetime dimensions \(d=4\), the irreducible representation of the Dirac algebra \(d_\gamma =4\) and a single fermion flavor \(N_{\text {f}}=1\). For simplicity, we use the the linear regulator [63, 64] for which all threshold functions can be evaluated analytically, yielding rational functions of the mass arguments, see the Appendix.

As an internal consistency check, we define the leading-order (LO) evaluation of our flows in terms of ignoring the dependence of the threshold functions on the anomalous dimensions; i.e., we drop the higher-loop RG improvement provided by these resummations, but keep the anomalous dimensions in the scaling terms as they contribute to leading-loop level. If our truncation is reliable, we expect the LO results to agree qualitatively and semi-quantitatively with those of the full truncation for the following reasons: First, the size of the anomalous dimensions can be viewed as a measure for the validity of the derivative expansion as the anomalous dimensions quantify the running of the kinetic (derivative) terms. Second, anomalous dimensions also quantify the deviations from canonical scaling; hence, if the anomalous dimensions are sufficiently small, higher-order operators can be expected to remain RG irrelevant. As a self-consistency criterion, we thus require the anomalous dimensions to be sufficiently small, \(|\eta _{A,\psi }|\lesssim {\mathcal {O}}(1)\). In this LO approximation, we find the fixed points displayed in Table 1.

Table 1 Fixed points of the RG flow evaluated to leading order (LO) as described in the text

The first line in Table 1 characterizes the trivial Gaußian fixed point \({\mathcal {A}}\) with the mass corresponding to the only relevant RG direction with power-counting critical exponent \(\theta _{m}=\theta _{\text {max}}=1\). The Pauli coupling is RG irrelevant at this fixed point \(\theta _{\kappa }=-1\) and the gauge coupling is marginal \(\theta _{e}=0\) with the next order given in terms of Eq. (2) classifying the gauge coupling as marginally irrelevant; this reflects perturbative triviality: there is no UV-complete trajectory in QED emanating from the Gaußian fixed point that corresponds to an interacting theory at low energies.

In the LO approximation, we find two further non-Gaußian fixed points labeled by \({\mathcal {B}}\) and \({\mathcal {C}}\) at finite values of the Pauli coupling \(\kappa ^*>0\), with \({\mathcal {B}}\) also featuring a finite (dimensionless) mass parameter \(m^*>0\). Taking the aforementioned discrete symmetries into account, these fixed points occur in multiplicities according to their nontrivial \({\mathbb {Z}}_2\) reflections as listed in Eq. (13).

In addition, these fixed points differ by their number of relevant directions, \(n_{\text {phys}}\) counting the number of physical parameters. The largest critical exponent is listed in Table 1 as \(\theta _{\text {max}}\). The table also lists the anomalous dimensions at the fixed point which both satisfy the self-consistency criterion \(|\eta _{A,\psi }|\lesssim {\mathcal {O}}(1)\). It is instructive to take a closer look at the fixed point \({\mathcal {C}}\) which exhibits an anomalous fermion dimension \(\eta _\psi =-1\) (and \(\eta _A=0\)). This value of \(\eta _\psi \) corresponds precisely to the amount required to convert the power-counting irrelevant Pauli coupling to a marginal coupling, cf. the dimensional scaling terms in Eq. (7); the scaling dimension of Dirac fermions near fixed point \({\mathcal {C}}\) thus is similar to that of a scalar boson near the Gaußian fixed point. In absence of further fluctuation terms, the Pauli coupling would run logarithmically; however, the fluctuation terms turn it into a relevant power-law running.

Finally, we observe no non-Gaußian fixed point at finite values of the gauge coupling within the LO approximation. This is in line with the conclusion of many literature studies that have not found a UV completion in the theory space spanned by the standard QED bare action.

Let us now turn to the fixed-point analysis of the full truncation without any further approximation. In fact, we again find the same set of fixed points, see Table 2.

Table 2 Fixed points of the given RG flow truncation
Fig. 1
figure 1

Phase diagram in the plane of dimensionless parameters \((\kappa ,m)\) at \(e=0\) showing the Gaußian fixed point \({\mathcal {A}}\), and the non-Gaußian fixed points \({\mathcal {B}}\) (including a \({\mathbb {Z}}_2\) reflection) and \({\mathcal {C}}\). Arrows denote the RG flow towards the IR. The strongly repulsive direction at the Gaußian fixed point \({\mathcal {A}}\) towards large values of |m| corresponds to the dimensional scaling of a mass parameter describing the decoupling of the massive modes. In units of a physical mass scale, the flow of all physical observables freezes out along this direction towards their long-range values. This massive phase can be reached from all fixed points

The Gaußian fixed point \({\mathcal {A}}\), of course, remains unaffected by the improved approximation. We observe the identical qualitative features such as multiplicities and number of physical parameters \(n_{\text {phys}}\), with quantitative changes of our estimates for the (nonuniversal) fixed-point values for \({\mathcal {B}}\) and \({\mathcal {C}}\) as well as for the (universal) critical exponents. The quantitative improvements arising from the full truncation in contrast to the LO approximation are on the \({\mathcal {O}}(10\%)\) level. This is self-consistent with the modification of the threshold functions upon inclusion of anomalous dimensions as a consequence of higher-order resummations.

The location of the fixed points and the corresponding phase diagram in the \((\kappa ,m)\) plane for \(e=0\) is displayed in Fig. 1 with arrows pointing towards the IR. This figure also illustrates that fixed point \({\mathcal {C}}\) is fully IR repulsive in this plane, whereas \({\mathcal {A}}\) and \({\mathcal {B}}\) exhibit one attractive direction visible in this projection. Fixed points \({\mathcal {B}}\) and \({\mathcal {C}}\) are both IR repulsive also in the direction of the coupling e (not shown in the figure), whereas \({\mathcal {A}}\) is marginally attractive as dictated by Eq. (2). Apart from the separatrices, all trajectories emanating from the non-Gaußian fixed points \({\mathcal {B}}\) and \({\mathcal {C}}\) towards the region of smaller Pauli coupling eventually approach the basin of attraction at \(|m|\rightarrow \infty \) (corresponding to the formal fixed point of the free photon gas and non-propagating electrons). This scaling of the dimensionless mass parameter corresponds to a physical electron mass approaching a constant value. Subsequently, the flow of all physical observables measured in units of a physical scale freezes out, and the observables acquire their long-range values.

Incidentally, we note that the full truncation also exhibits six other non-Gaußian fixed points and their \({\mathbb {Z}}_2\) reflections. However, these fixed points have large (\(\ge 6\)) anomalous dimensions and therefore clearly lie outside the validity regime of our approximation. The fact, that these fixed points do not appear in the LO approximation demonstrates that they do not pass the self-consistency test of our approximation scheme. Therefore, we identify them as artifacts of the approximation and dismiss them in our further analysis.

In summary, we have discovered two new non-Gaußian fixed points \({\mathcal {B}}\) and \({\mathcal {C}}\) (and their corresponding \({\mathbb {Z}}_2\) reflections) of the RG flow of QED in a truncated theory space including the Pauli coupling. They can be associated with two new QED universality classes parametrized by \(n_{\text {phys},{\mathcal {B}}}=2\) and \(n_{\text {phys},{\mathcal {C}}}=3\) physical parameters. The existence of these fixed points with a finite number of physical parameters is a prerequisite for constructing a UV-complete asymptotically safe version of QED.

5 Long-range properties and physical trajectories

Let us now construct RG trajectories related to the different fixed points. A crucial question is as to whether asymptotically safe trajectories can be constructed that are in agreement with the observed QED long-range physics.

As a warm up, we first analyze the RG flow in the vicinity of the Gaußian fixed point (perturbative QED) without paying attention to a possibly existing UV completion. For this, we assume e to be perturbatively small over a considered range of scales, say \(k\in [0,\Lambda ]\). The perturbative initial condition for \(\kappa \) is more subtle: as \(\kappa \) is irrelevant, it is tempting to assume that the initial condition \(\kappa _{k=\Lambda }\) at a the high scale does not matter too much, as long as it is in the perturbative domain. However, the long-range value of \(\kappa \) is related to the celebrated result of the anomalous magnetic moment, i.e., the g factor of the electron; To one-loop accuracy, we have [65],

$$\begin{aligned} a_e:=- \frac{4}{e}\kappa m\bigg |_{k=0}= \frac{g-2}{2}=\frac{\alpha }{2\pi }+ {\mathcal {O}}(\alpha ^2). \end{aligned}$$
(14)

From the standard QED computation, it is obvious that this result is independent of the electron mass, which drops out of the corresponding projection of the electron-photon vertex. Now, the initial conditions at \(k=\Lambda \) have to be chosen such that they correspond to the effective action \(\Gamma _{k=\Lambda }\) which we would obtain from, say, the path integral in the presence of the IR cutoff \(k=\Lambda \). In particular, the bare value for \({\bar{\kappa }}{\bar{m}}|_{k=\Lambda }\) is expected to be finite, since all fluctuations with momenta above \(k=\Lambda \) already have to be included. As k acts like a mass parameter for all modes, we anticipate that \({\bar{\kappa }}{\bar{m}}|_{k=\Lambda }\) may already be close to its physical value (14), since mass scales drop out of this classic result. The details may depend on the chosen regulator.

This necessity of choosing “loop-improved” initial conditions [66] also becomes visible in the flow equations. In fact, the flow of the dimensionless combination

$$\begin{aligned} \partial _t (\kappa m)= \kappa \partial _t m + m \partial _t\kappa , \end{aligned}$$
(15)

shows features of a marginal coupling as the dimensional scaling terms drop out. In the perturbative domain, this flow agrees with that of \(\partial _t ({\bar{\kappa }}{\bar{m}})\) up to subleading anomalous-dimension terms. While the perturbative flow is characterized by the standard log-like running of e and the power-counting dimensional running of \(m={\bar{m}}/k\) (with small perturbative corrections), the flow of \(\kappa \) can be characterized by Eq. (15). Anticipating \(\kappa \sim e^3\) in line with Eq. (14) and dropping higher-order terms, we find to leading perturbative order:

$$\begin{aligned} \partial _t(\kappa m)= & {} v_4 e^3 m^2 [l_4^{(1,\text {B},\tilde{\text {F}}_1,\text {F})}(0,m^2,m^2)\nonumber \\&\qquad \qquad -l_4^{(1,\text {B},{\text {F}}_1,\tilde{\text {F}})}(0,m^2,m^2)]\nonumber \\&+ {\mathcal {O}}(\kappa ^3,e\kappa ^2,e^2\kappa ). \end{aligned}$$
(16)

Integrating this flow equation to leading order for a fixed e and \({\bar{m}}\) from \(k=0\) to \(\Lambda \), we find in the limit \(\Lambda \gg {\bar{m}}\) using the linear regulator:

$$\begin{aligned} {\bar{\kappa }}{\bar{m}}|_{k=0}\simeq \kappa m|_{k=0}= & {} \kappa m|_{k=\Lambda }- \int _0^{\infty } \frac{dk}{k}\,\, \text {RHS of Eq.}~(16) \nonumber \\= & {} \kappa m|_{k=\Lambda } - \frac{e^3}{32 \pi ^2}\, \frac{1}{6} \frac{{\bar{m}}^2}{\Lambda ^2}. \end{aligned}$$
(17)

We observe that the flow in our current massive regularization scheme does not induce a significant running of \(\kappa m\) for \(\Lambda \gg {\bar{m}}\). This confirms our expectation that the proper description of the anomalous magnetic moment \(a_e\) of the electron is essentially encoded in the boundary condition for \(\Gamma _k\) at \(k=\Lambda \). Note that this boundary condition is not an independent parameter of the theory but can be worked out from a standard perturbative loop computation upon inclusion of the regulator term. In practice, we fix the physical flow such that \(\kappa m|_{k=0}\) corresponds to the observed experimental value for \(a_e\), see below.

Table 3 First two columns: UV conditions for UV-complete RG trajectories emanating from two \({\mathbb {Z}}_2\) copies of fixed point \({\mathcal {B}}\) connecting to a long-range coupling of \(e \approx 0.3\), i.e, \(\alpha \simeq 1/137\). Third column: long-range prediction for the anomalous magnetic moment

Let us now turn to a discussion of the long-range properties of the system in the universality classes defined by the nontrivial fixed points \({\mathcal {B}}\) and \({\mathcal {C}}\). In contrast to the Gaußian fixed point \({\mathcal {A}}\), the fixed-points \({\mathcal {B}}\) and \({\mathcal {C}}\) allow for the construction of UV-complete RG trajectories. However, UV completeness does not guarantee that these universality classes exhibit a proper QED-type long-range behavior. For this, it is of central interest whether one can find an RG trajectory connecting the fixed point regimes in the UV with physical long-range behavior defined by the IR values for all couplings. The number of relevant directions \(n_{\text {phys}}\) defines the dimensionality of the set of UV-complete RG trajectories emanating from the fixed point.

Let us start with fixed point \({\mathcal {B}}\) with \(n_{\text {phys},{\mathcal {B}}}=2\) relevant directions and critical exponents (\(\theta _1=\theta _{\text {max}}=3.10\), \(\theta _2=2.13\), \(\theta _3=-0.81\)). This implies that if we fix two parameters out of our set of couplings \((e,\kappa ,m)\) the third one is a definite prediction of the universality class. In practice, we fix one parameter such that \(e\approx 0.3\) in the IR corresponding to the physical value of the coupling \(\alpha \simeq 1/137\). The second parameter is implicitly chosen by initiating the flow at some scale \(\Lambda \) in the vicinity of the fixed point. This scale \(\Lambda \) can then be expressed in terms of the resulting dimensionful electron mass \({\bar{m}}_e=m k|_{k\rightarrow 0}\) which defines our physical mass units. The long-range Pauli coupling \(\kappa \) is then a prediction of the universality class. As an interesting subtlety, there is not just one RG trajectory, but there are actually two corresponding to a relative sign choice between our IR condition \(e\simeq + 0.3\) and the discrete \({\mathbb {Z}}_2\) symmetries. These two trajectories are physically distinct as they go along with a different sign for the correction to the anomalous magnetic momentFootnote 1. These two trajectories correspond to distinct tangent vectors to the flow at the corresponding \({\mathbb {Z}}_2\) reflections of the fixed point \({\mathcal {B}}\) as listed in Table 3. Our corresponding long-range prediction for the anomalous magnetic moment \(a_e\) of the electron by following the flow from the fixed points towards the deep infrared is also listed in this table.

As is obvious, these predictions do clearly not match with the physical value

$$\begin{aligned} a_e= -4 \frac{\kappa m}{e} \approx 0.00116. \end{aligned}$$
(18)

(For instance, the trajectory ending up with \(a_e\approx -19.41\) corresponds to the separatrix emanating from fixed point \({\mathcal {B}}\) in the upper half-plane of Fig. 1 and then running towards \(m\rightarrow \infty \) at finite e.) We conclude that physical QED is not in the universality class of fixed point \({\mathcal {B}}\). Though this universality class would not be plagued by a Landau-pole problem and potentially represent a consistent quantum field theory at all scales, its long-range properties would be rather unusual: since the quantum corrections to the magnetic moment even overwhelm the Dirac value of \(g=2\), strong-magnetic fields are likely to induce tachyonic modes in the spectrum of the quantum-corrected Dirac operator rendering strong and spatially extended magnetic fields unstable (similar to the Nielsen-Olesen unstable mode in nonabelian gauge theories [67]). Still, this version of a new QED universality class is interesting as it presents an example that QED could seem asymptotically freeFootnote 2 in its gauge coupling, since \(e^*=0\), at the expense of an asymptotically safe Pauli term. This is another example for a close connection between paramagnetic dominance and the UV behavior of a system [70].

We finally study the universality class corresponding to fixed point \({\mathcal {C}}\) where only the Pauli coupling acquires a nonzero value \(|\kappa | \approx 3.82\). This fixed point features three relevant directions, \(n_{\text {phys},{\mathcal {C}}}=3\), and hence we expect \({\mathcal {C}}\) to have open neighborhoods in the \((e, \kappa , m)\) space as parts of its basin of attraction. Whether or not there exist RG trajectories emanating from \({\mathcal {C}}\) that are compatible with the physical QED long-range properties still remains a quantitative question to be studied. Even though \(n_{\text {phys},{\mathcal {C}}}=3\) agrees with the number of physical parameters that we wish to match, there is a priori no reason why the physical domain belongs to the “IR window” of such a fixed point.

A straightforward construction starting at a UV scale in the vicinity of the fixed point – though possible in principle – is numerically challenging, since the large critical exponents (\(\theta _1=\theta _{\text {max}}=2.25\), \(\theta _2=1.79\), \(\theta _3=0.413\)) indicate that a substantial amount of fine-tuning of the initial conditions would be necessary to yield specific IR values. This numerical issue can be circumvented by constructing the flow from the IR towards the UV, since the fixed point is fully UV attractive in the present truncation.

In practice, we initiate the flow close to our physical IR boundary conditions: e.g., at the mass threshold scale defined by \(k = \Lambda _m\) where \(m = 1\) and the couplings being close to their IR values \(e \approx 0.3\) and \(\kappa \approx \kappa _{\mathrm {phys}}\) satisfying Eq. (18). For k towards smaller scales, the flow quickly freezes out as a consequence of the decoupling of massive electron modes.

Running the RG flow numerically from \(\Lambda _m\) towards the UV, we arrive at the \({\mathbb {Z}}_2\) reflection of fixed point \({\mathcal {C}}\) with \(\kappa _{\mathrm {UV}} \approx -3.82\) without any further fine-tuning. We can vary the e and \(\kappa \) values at \(\Lambda _m\) by at least \(10\%\) and still hit the same UV fixed point as is demonstrated in Fig. 2 where different colors correspond to different initial conditions in the IR; vice versa, the existence of this set of trajectories illustrates that, e.g., the IR value of the fine-structure constant \(\alpha \simeq 1/137\) is not particularly distinguished, but merely one out of a larger interval of possible IR values. This is also visible in the phase diagram in the \((e,\kappa )\) plane at \(m=0\) displayed in Fig. 3. A wide range of trajectories emanating from fixed point \({\mathcal {C}}\) towards smaller values of \(\kappa \) approach the small \(\kappa \) region at some finite value of the gauge coupling. At the same time, generic initial conditions lead to finite values of the physical mass and thus to a decoupling or freeze-out behavior towards \(m \rightarrow \infty \) for the dimensionless mass parameter. This dominant IR flow orthogonal to the \((e,\kappa )\) plane appears as a seeming singularity at \(\kappa =0\) in Fig. 3. In summary, the physical IR values of the fine-structure constant and the anomalous magnetic moment of the electron can easily be accommodated in the set of trajectories emanating from the non-Gaußian fixed point \({\mathcal {C}}\).

Fig. 2
figure 2

RG trajectories towards the UV of 30 points close to \((0.3, \kappa _{\mathrm {phys}}, 1)\) projected to the \((e, \kappa )\) plane. All flows converge to the UV fixed point \((0, -3.82, 0)\)

Fig. 3
figure 3

Phase diagram in the plane of dimensionless parameters \((e,\kappa )\) at \(m=0\) showing the non-Gaußian fixed point \({\mathcal {C}}\) and the Gaußian fixed point \({\mathcal {A}}\). Flows emanating from \({\mathcal {C}}\) towards smaller values of \(\kappa \) span a wide range of finite gauge couplings e in the IR, also accommodating the physical value \(|e|\simeq 0.3\). (The phase diagram near the \(\kappa = 0\) axis exhibits a seeming singularity which is lifted by a strong flow of m towards decoupling, implying that all trajectories freeze-out and end at \(\kappa = 0\), generically at finite values of \(-4 \frac{\kappa m}{e}\).)

Fig. 4
figure 4

RG flow towards (a \(\mathbb {Z}_2\) reflection of) the UV fixed point \({\mathcal {C}}\) \((0,-3.82,0)\). The dimensionless electron mass parameter m (green) exhibits the massive decoupling in the IR near \(k=\Lambda _m\), the gauge coupling (blue) is asymptotically free towards high energies, and the Pauli coupling \(\kappa \) (orange) features a transition to the fixed point regime near the scale \(k=\Lambda _{\text {c}}\). Note that the k axis is logarithmic

Figure 4 shows such a flow for intermediate values of e and \(\kappa \) approximately corresponding to physical IR values of the fine-structure constant and the electron anomalous magnetic moment. The dimensionless mass parameter (green line) exhibits a massive decoupling behavior in the IR near the initial scale \(k=\Lambda _m\). It is interesting to observe that the flow of the gauge coupling e first shows the characteristic increase towards higher energies in accordance with the perturbative running of Eq. (2) (hardly visible in the plot), but finally features asymptotic freedom with e approaching its fixed point value \(e^*\rightarrow 0\) in the deep UV. The Pauli coupling \(\kappa \) (orange) first remains perturbatively small in the IR but then undergoes a transition to its non-Gaußian fixed-point regime.

In Fig. 4, we have introduced the scale \(\Lambda _{\text {c}}\) as the scale where the flow of e has its steepest slope towards asymptotic freedom. At about the same scale, \(\kappa \) quickly flows towards \(\kappa ^*\). If these flows were indeed physical (in the sense of pure QED being a fundamental theory), \(\Lambda _{\text {c}}\) would denote the scale where perturbative calculations break down because of the Pauli coupling \(\kappa \) becoming an RG relevant operator. For RG flows approximately satisfying physical boundary conditions, we find

$$\begin{aligned} \frac{\Lambda _{\text {c}}}{{\bar{m}}_e} \approx 1.2 \cdot 10^{30} \end{aligned}$$
(19)

in the IR limit. In more conventional units this is equivalent to

$$\begin{aligned} \Lambda _{\text {c}} \approx 1.2 \cdot 10^{30} \cdot {\bar{m}}_e \approx 6.1 \cdot 10^{26} \, \mathrm {GeV}. \end{aligned}$$
(20)

By varying the IR boundary conditions for the Pauli coupling, i.e., varying the electron anomalous magnetic moment of Eq. (18) on the \({\mathcal {O}}(10\%)\) level by hand, we observe that \(\Lambda _{\text {c}}\) varies approximately linearly with \(a_e\).

It is interesting to see that this transition scale \(\Lambda _{\text {c}}\) is somewhat above the Planck scale, but still far below the Landau-pole scale of pure QED or that of the standard model.

6 Conclusions

We have studied the renormalization flow of QED in a subspace of theory space that includes the Pauli spin-field coupling. In contrast to the reduced subspace defined by perturbatively renormalizable operators, the enlarged subspace features two non-Gaußian fixed points of the RG in addition to the Gaußian free-field fixed point. The existence of such interacting fixed points allows for the construction of RG trajectories approaching the fixed points towards high energies thus representing UV-complete realizations of QED within the scenario of asymptotic safety. Each fixed point defines a different universality class of QED labeled by a set of critical exponents and a corresponding number of physical parameters.

One of the newly discovered fixed points (fixed point \({\mathcal {C}}\)) allows for the construction of UV-complete RG trajectories that can be interconnected with the long-range physics of QED as observed in Nature. In this scenario, the UV-failure of perturbation theory as indicated by the Landau-pole singularity is resolved by a controlled approach of the renormalization flow towards the fixed point with a finite value of the Pauli coupling and a vanishing value of the gauge coupling in our approximation. In pure QED, we estimate this transition to occur at a crossover scale \(\Lambda _{\text {c}}\) somewhat above the Planck scale but far below the Landau-pole scale. The RG flow below this transition scale towards long-range physics remains essentially perturbative. A particularity of this universality class is that it features \(n_{\text {phys}}=3\) physical parameters to be fixed. In our considerations, we use the anomalous magnetic moment of the electron in addition to the gauge coupling and the electron mass as additional input. In this sense, this UV-complete version of QED has less predictive power than perturbative QED. However, the latter has to be considered as an effective field theory requiring the implicit assumption that all possible higher-order operators are sufficiently small at some high scale. By contrast, QED in universality class \({\mathcal {C}}\) controls all further higher-order operators by virtue of the fixed point.

The other newly discovered fixed point \({\mathcal {B}}\) also allows for UV-complete versions of QED fixed by only two physical parameters and thus has the same predictive power as perturbative QED. However, our estimates of the corresponding long-range physics feature rather large values for the anomalous magnetic moment of the electron which are incompatible with observation. If pure QED was a correct description of Nature, low-energy observations would already rule out a UV completion of QED in universality class \({\mathcal {B}}\).

Our estimates of the RG flow in the enlarged QED theory space are based on the functional RG which can address both perturbative as well as nonperturbative regimes. Our truncation of theory space is complete to lowest nontrivial order in a combined operator and derivative expansion. While higher-order computations will eventually be required to check the convergence of this expansion scheme, we have performed an intrinsic consistency check by quantifying the contributions of derivative operators in terms of anomalous dimensions. A comparison of leading-order to next-to-leading order results shows variations on the \({\mathcal {O}}(10\%)\) level for nonperturbative quantities, while qualitative results remain unchanged. At the non-Gaußian fixed points, the anomalous dimensions become large enough to turn the perturbatively irrelevant Pauli term into a relevant operator, but remain sufficiently small preserve the ordering of operators according to their power-counting dimension apart from \({\mathcal {O}}(1)\) shifts. In summary, we consider our results as first evidence for an asymptotically safe realization of QED.

Our study had also been motivated by a recent analysis of the Pauli coupling and its influence on the UV-running of the QED gauge coupling within effective field theory [36]. We confirm the conclusion of [36] that the Landau pole can be screened by the Pauli coupling. In addition, we find that the running of the Pauli coupling itself can be UV stabilized by fluctuations leading to the existence of the fixed points. We also observe that it is important to treat the mass parameter on the same level as the couplings, since one of the fixed points occurs at a finite dimensionless mass parameter, invalidating the standard assumption of asymptotic symmetry.

The resulting scenario of asymptotically safe QED also fits into the picture developed in [70], observing that strong ultra-local paramagnetic interactions can dominate the RG behavior of coupling flows. We hope that our findings serve as an inspiration for searches for non-Gaußian fixed points in QED using other nonperturbative methods: Within functional methods, vertex expansions offer a powerful expansion scheme; in fact, vertex structures overlapping with the Pauli term are found to play an important role in the strong coupling region of QCD [71]. New lattice searches would need to go beyond the standard bare QED lattice action and also require an explicit parametrization of the Pauli term and a corresponding independent coupling; for an example of asymptotic safety discovered on the lattice in a scalar model, see [72]. Studying the existence of these fixed points would also be an interesting target for the conformal bootstrap along the lines of [73].

Whether or not the mechanisms and universality classes observed in the present work on pure QED can analogously be at work in the standard model remains to be investigated. Because of the chiral symmetry of the standard model, the analogue of the Pauli term corresponds to a dimension-6 operator also involving the Higgs field. Nevertheless, if asymptotic symmetry is not present in the UV as in the models of [38,39,40,41,42], analogous mechanisms as revealed here in pure QED can be at work and thus pave novel ways towards an asymptotically safe completion of the standard model.