The photon propagation function of pure quantum electrodynamics (QED) admits a spectral representation whose positive weight function s(M2/m2,e2)s(M^2/m^2, e^2) determines an effective coupling eM2e_M^2. Schwinger (1974) showed that the Gell-Mann-Low function of the renormalization group is ψ(x)=x2σ(x)\psi(x) = x^2 \sigma(x), where σ\sigma is the spectral weight reparametrized as a function of the running coupling, and posed the resulting ultraviolet question: is the limiting coupling e∞2e_\infty^2 (the 'bare charge' of renormalized operator field theory) finite - a first positive zero of σ\sigma, amounting to an eigenvalue condition on the electric charge - or infinite, as the aggressive source-theory interpretation insists? He also derived a dichotomy for the phase of the propagation function at timelike momenta and left the detailed asymptotic behavior of σ\sigma, of the phase, and of the propagation function undetermined, judging the question 'likely to remain moot for some time to come'. Half a century of later work - rigorous inequalities, lattice evidence for the zero-charge (triviality) picture, resummation studies claiming an exact strong-coupling law, and a very recent direct contradiction over whether the Landau pole exists - has still not produced a rigorous determination. The problem is to determine the strong-coupling asymptotics of σ(x)\sigma(x), equivalently of the Gell-Mann-Low function, in pure QED, and thereby settle whether the bare charge is finite or infinite.

Background

In quantum electrodynamics (QED), the photon propagation function D(k)D(k) - the momentum-space Green function of the electromagnetic field, with kk the four-momentum and ee the physical electron charge - can be written as a spectral representation

k2e2D(k)=1−k2e2∫m2∞dM2 s(M2/m2,e2)k2+M2,k^2 e^2 D(k) = 1 - k^2 e^2 \int_{m^2}^{\infty} \frac{dM^2\, s(M^2/m^2, e^2)}{k^2 + M^2},

where mm is the electron mass and ss is the spectral weight function, fixed by the imaginary part of the propagation function on the timelike axis (k2=−M2k^2 = -M^2). Positivity of ss (s>0s > 0 for all finite M2>0M^2 > 0) is a physical input, tied to the existence of photon-photon scattering states (light-by-light scattering). Schwinger developed this analysis within source theory - his reformulation of particle physics in which radiative corrections are computed from emission and absorption sources, deliberately avoiding the renormalized operator fields of conventional field theory - and contrasted it with renormalized operator field theory, the standard formulation whose ultraviolet structure is nominally controlled by a 'bare' (unrenormalized) charge. The spectral representation defines an effective, scale-dependent coupling eM2e_M^2. Reparametrizing the spectral weight along the resulting renormalization-group flow, σ(eM2)=s(M2/m2,e2)\sigma(e_M^2) = s(M^2/m^2, e^2), one obtains the flow equation dlog⁡M2=dx/(x2σ(x))d \log M^2 = dx/(x^2 \sigma(x)) with x=eM2x = e_M^2. Schwinger's footnote observation was that this is exactly of the Gell-Mann-Low form: the Gell-Mann-Low function ψ(x)\psi(x) - introduced in 1954 to describe how the effective electromagnetic coupling changes with momentum scale - is ψ(x)=x2σ(x)\psi(x) = x^2 \sigma(x), a connection he noted 'has escaped notice for two decades'. The limiting value e∞2=e2/(1−e2∫m2∞(dM2/M2) s(M2/m2,e2))e_\infty^2 = e^2/\left(1 - e^2 \int_{m^2}^{\infty} (dM^2/M^2)\, s(M^2/m^2, e^2)\right) plays the role of the bare charge of renormalized operator field theory. If e∞2e_\infty^2 is finite, σ\sigma must have its first positive zero there - an eigenvalue condition on e2e^2, the possibility explored early on by Baker and Johnson; if infinite, σ(x)\sigma(x) must decay to zero as x→∞x \to \infty and the continuum theory is 'trivial' in the zero-charge sense of Landau (the renormalized charge vanishes for any finite bare charge as the cutoff is removed), with or without a Landau pole - a divergence of the effective coupling at finite momentum scale. Continuing the modified propagation function k2e2Dk^2 e^2 D to timelike momenta yields a complex quantity whose phase φ(M2)\varphi(M^2) is fixed by ss; positivity of ss implies sin⁡φ>0\sin\varphi > 0. The established constraints on σ\sigma are: (i) σ(x)>0\sigma(x) > 0; (ii) the crude bound σ(x)<1/x\sigma(x) < 1/x; (iii) initially rising behavior σ(x)=σ0+σ1x+⋯\sigma(x) = \sigma_0 + \sigma_1 x + \cdots with σ0\sigma_0 fixed by the one-loop vacuum polarization (the lowest-order screening of the charge by virtual electron-positron pairs); (iv) σ\sigma must vanish suitably at x=e∞2x = e_\infty^2; and (v) the dichotomy that the timelike phase either approaches a non-zero limit as M2→∞M^2 \to \infty, or approaches zero 'essentially no more rapidly than' φ(M2)→1/(log⁡M2 log⁡log⁡M2)\varphi(M^2) \to 1/(\log M^2 \, \log\log M^2). A companion paper (Schwinger, December 1974) exhibited the explicit deviations between these asymptotic functions - the spectral weight function σ(x)\sigma(x), the phase φ\varphi, and the Gell-Mann-Low function - and proved the existence of a transformation of variable that produces the Gell-Mann-Low function ψ(x)=x2σ(x)\psi(x) = x^2 \sigma(x) from the spectral weight function, so these statements apply to all three functions at once. The bound 0≤β(g)<g0 \le \beta(g) < g was later rederived from analyticity and spectral representations by Krasnikov and by Yamagishi, and confirmed perturbatively through five loops by Kataev and Larin. Lattice studies of cutoff QED (e.g. Kim, Kogut and Lombardo) provide numerical evidence for the triviality (infinite bare charge) picture, and analytic resummation work by Suslov claims an exact strong-coupling law, while the most recent convergent-series analysis by Komarova and Nalimov claims the opposite conclusion on the Landau pole. No rigorous determination of the strong-coupling behavior exists.

Problem Statement

In pure quantum electrodynamics with one charged lepton of mass mm and physical charge ee, consider the spectral representation of the photon propagation function,

k2e2D(k)=1−k2e2∫m2∞dM2 s(M2/m2,e2)k2+M2,k^2 e^2 D(k) = 1 - k^2 e^2 \int_{m^2}^{\infty} \frac{dM^2\, s(M^2/m^2, e^2)}{k^2 + M^2},

with s>0s > 0 for all finite M2>0M^2 > 0. Along the renormalization-group flow this defines the effective coupling eM2e_M^2 and the spectral weight function in coupling form, σ(eM2)=s(M2/m2,e2)\sigma(e_M^2) = s(M^2/m^2, e^2), related by dlog⁡M2=dx/(x2σ(x))d \log M^2 = dx/(x^2 \sigma(x)) with x=eM2x = e_M^2, so that the Gell-Mann-Low function is ψ(x)=x2σ(x)\psi(x) = x^2 \sigma(x). Determine the asymptotic behavior of σ(x)\sigma(x) as x→∞x \to \infty, and thereby decide whether the limiting coupling

e∞2=e21−e2∫m2∞dM2M2 s(M2/m2,e2)e_\infty^2 = \frac{e^2}{1 - e^2 \int_{m^2}^{\infty} \frac{dM^2}{M^2}\, s(M^2/m^2, e^2)}

is finite or infinite. If e∞2e_\infty^2 is finite, it is the first positive zero of σ\sigma - the quantity that plays the role of the bare charge of renormalized operator field theory, and an eigenvalue condition on e2e^2. If e∞2e_\infty^2 is infinite, determine the decay law of σ(x)\sigma(x) as x→∞x \to \infty and the corresponding asymptotic form of the propagation function and of its timelike phase φ(M2)\varphi(M^2), including which branch of the dichotomy holds (a non-zero limit of φ\varphi, or decay no faster than of order 1/(log⁡M2log⁡log⁡M2)1/(\log M^2 \log\log M^2)). The established constraints on σ\sigma are: positivity of the spectral weight, the bound σ(x)<1/x\sigma(x) < 1/x, the initially rising one-loop expansion of σ\sigma, the flow relation, and the phase dichotomy.

References

  1. Julian Schwinger (1974), 'Photon propagation function: Spectral analysis of its asymptotic form', Proceedings of the National Academy of Sciences 71(8), 3024-3027. DOI: 10.1073/pnas.71.8.3024, URL: https://doi.org/10.1073/pnas.71.8.3024
  2. Julian Schwinger (1974), 'Photon propagation function: A comparison of asymptotic functions', Proceedings of the National Academy of Sciences 71(12), 5047-5051. DOI: 10.1073/pnas.71.12.5047, URL: https://doi.org/10.1073/pnas.71.12.5047
  3. Kimball A. Milton (1974), 'Spectral forms for the photon propagation function and the Gell-Mann-Low function', Physical Review D 10, 4247-4251. DOI: 10.1103/PhysRevD.10.4247, URL: https://doi.org/10.1103/PhysRevD.10.4247
  4. W. Dittrich (1975), 'Asymptotic spectral form of the V-particle propagation function and the Gell-Mann-Low function', Physical Review D 12, 3353-3355. DOI: 10.1103/PhysRevD.12.3353, URL: https://doi.org/10.1103/PhysRevD.12.3353
  5. M. Baker and K. Johnson (1969), 'Quantum electrodynamics at small distances', Physical Review 183, 1292-1299. DOI: 10.1103/PhysRev.183.1292, URL: https://doi.org/10.1103/PhysRev.183.1292
  6. N. V. Krasnikov (1981), 'Analyticity and renormalization group', Nuclear Physics B 192, 497-508. DOI: 10.1016/0550-3213(81)90438-7, URL: https://doi.org/10.1016/0550-3213(81)90438-7
  7. Hidenaga Yamagishi (1982), 'Renormalization group functions and spectral functions', Physical Review D 25, 464-477. DOI: 10.1103/PhysRevD.25.464, URL: https://doi.org/10.1103/PhysRevD.25.464
  8. Hidenaga Yamagishi (1986), 'Quantum electrodynamics, phase shifts and the Kondo effect', Progress of Theoretical Physics 76, 969-972. DOI: 10.1143/PTP.76.969, URL: https://doi.org/10.1143/PTP.76.969 (erratum: Progress of Theoretical Physics 89, 579, 1993)
  9. K. A. Milton and I. L. Solovtsov (1997), 'Analytic perturbation theory in QCD and Schwinger's connection between the beta-function and the spectral density', Physical Review D 55, 5295-5298. DOI: 10.1103/PhysRevD.55.5295, arXiv: hep-ph/9611438, URL: https://arxiv.org/abs/hep-ph/9611438
  10. S. Kim, John B. Kogut and Maria-Paola Lombardo (2001), 'On the triviality of textbook quantum electrodynamics', Physics Letters B 502, 345-349. DOI: 10.1016/S0370-2693(01)00201-5, arXiv: hep-lat/0009029, URL: https://arxiv.org/abs/hep-lat/0009029
  11. I. M. Suslov (2001), 'Gell-Mann-Low function in QED', JETP Letters 74, 191-195. DOI: 10.1134/1.1413543, URL: https://doi.org/10.1134/1.1413543
  12. I. M. Suslov (2009), 'Exact asymptotic form for the β\beta function in quantum electrodynamics' (journal title; the preprint version, arXiv:0804.2650, is titled 'Quantum electrodynamics at extremely small distances'), Journal of Experimental and Theoretical Physics 108, 980-984. DOI: 10.1134/S1063776109060089, arXiv: 0804.2650, URL: https://arxiv.org/abs/0804.2650
  13. I. M. Suslov (2010), 'Strong coupling asymptotics of the beta-function in phi^4 theory and QED', Applied Numerical Mathematics 60, 1418. DOI: 10.1016/j.apnum.2010.05.006, URL: https://doi.org/10.1016/j.apnum.2010.05.006
  14. A. L. Kataev and S. A. Larin (2012), 'Analytical five-loop expressions for the renormalization group QED beta-function in different renormalization schemes', JETP Letters 96, 61-65. DOI: 10.1134/S0021364012130073, arXiv: 1205.2810, URL: https://arxiv.org/abs/1205.2810
  15. M. V. Komarova and M. Yu. Nalimov (2023), 'Convergent perturbation theory and the strong-coupling limit in quantum electrodynamics', Theoretical and Mathematical Physics 216, 1360. DOI: 10.1134/S0040577923090106, URL: https://doi.org/10.1134/S0040577923090106