The perturbation series of a renormalizable quantum field theory with positive one-loop beta-function coefficient -- a non-asymptotically-free theory such as four-dimensional O(N)O(N) ϕ4\phi^4 or quantum electrodynamics -- diverges factorially, and its Borel transform carries ultraviolet renormalon singularities on the positive real axis. These singularities, whose positions (bβ2=2,4,…b\beta_2=2,4,\dots) and exponents are fixed by renormalization-group arguments (Parisi 1978-1979), make Borel summation ambiguous by terms of order exp⁡(−2/(β2g))\exp(-2/(\beta_2 g)), so the perturbative series alone does not define the theory's Green's functions non-perturbatively. Parisi's 1979 Les Houches lecture chapter posed the problem: how can the non-perturbative Green's functions be defined in this situation, and what is the full analytic structure of the Borel plane, including the interplay between renormalon and instanton singularities? Candidate routes discussed in the secondary literature include generalized summation, analytic continuation around the cuts, and renormalization-group arguments -- notably Parisi's own documented proposal to remove the renormalon ambiguities through exponentially small local composite-operator counterterms. Subsequent work proved parts of the singularity structure (factorization into composite-operator insertions; rigorous bounds on the Borel radius), closed only the scalar continuum-limit reading negatively (triviality of four-dimensional ϕ4\phi^4), and produced candidate frameworks (Ecalle resurgent transseries, non-Wilsonian ultraviolet completion), but no accepted definition or impossibility theorem exists for QED-like theories or cutoff scalar theories. The problem remains open in the literature up to 2026: its precise core is to define the non-perturbative Green's functions of a non-asymptotically-free theory from its perturbative data, and to settle the disputed ultraviolet-renormalon analytic structure.

Background

The setting. In a renormalizable quantum field theory (QFT) the nn-point Green's functions G(x1,…,xn)G(x_1,\dots,x_n) -- vacuum expectation values of products of fields -- are the basic objects from which physical quantities are derived. At weak coupling gg they are computed as formal power series in gg (perturbation theory). These series are generically divergent, with factorially growing coefficients, so they carry no direct numerical definition of the theory.

Borel transform and Borel summation. For a series ∑KaKgK+1\sum_K a_K g^{K+1} one defines the Borel transform B(b)=∑KaKbK/K!B(b)=\sum_K a_K b^K/K!; the factorial growth is divided out and B(b)B(b) typically has a finite radius of convergence. If B(b)B(b) is analytic along the positive real axis and of at most exponential growth, the Borel sum G(g)=∫0∞e−b/gB(b) dbG(g)=\int_0^\infty e^{-b/g} B(b)\,db reconstructs a genuine function from the divergent series. The obstruction studied here is a singularity of B(b)B(b) on the positive real axis, i.e. on the integration contour: the integral becomes ambiguous, different contour choices differ by terms of order e−b0/ge^{-b_0/g} (small beyond all orders of perturbation theory), and the series alone no longer defines the Green's functions.

Renormalization group. The beta function β(g)=μ dg/dμ\beta(g)=\mu\,dg/d\mu describes how the renormalized coupling runs with the energy scale μ\mu; write β(g)=β2g2+β3g3+⋯\beta(g)=\beta_2 g^2+\beta_3 g^3+\cdots in the normalization of the source. A theory is asymptotically free (AF) when the coupling decreases at short distance, which in this convention corresponds to β2<0\beta_2<0 (as in QCD); non-AF renormalizable theories -- four-dimensional ϕ4\phi^4-type models and QED -- have β2>0\beta_2>0: the coupling grows at short distance (the Landau-pole problem). The Borel transform of a Green's function inherits renormalization-group (RG) constraints: at large Borel variable bb and large momentum pp, C(p,b)∼r(b) pd (p/μ)β2bC(p,b)\sim r(b)\,p^{d}\,(p/\mu)^{\beta_2 b}, and consistency of this scaling forces singularities at bβ2=2,4,…b\beta_2=2,4,\dots.

Renormalons. These RG-fixed singularities, called ultraviolet (UV) renormalons, were introduced by 't Hooft (1979) for QCD and analyzed by Parisi (1978, 1979): they arise from the factorial growth of individual renormalized diagrams with nested ultraviolet momentum integrations, rather than from the diagram ensemble as a whole. Near the first singularity the Borel transform behaves as B(b)∼Γ(1−α) (2−β2b)α−1B(b)\sim \Gamma(1-\alpha)\,(2-\beta_2 b)^{\alpha-1} with exponent α=2β3/β22+γ1/β2\alpha=2\beta_3/\beta_2^2+\gamma^1/\beta_2, built from the two- and three-loop beta coefficients and the anomalous dimension γ1\gamma^1 of the associated local composite operator (a dimension-6 ϕ6\phi^6-type operator in ϕ4\phi^4 theory); correspondingly the large orders behave as aK∼K! K−1+α(β2/2)Ka_K\sim K!\,K^{-1+\alpha}(\beta_2/2)^K. Parisi conjectured that renormalon contributions factorize into insertions of such local operators, i.e. act like exponentially small counterterms of order e−2/(β2g)e^{-2/(\beta_2 g)}. In AF theories the UV renormalons lie on the negative real axis (sign-alternating, Borel-summable series) while infrared renormalons lie on the positive axis; in non-AF theories the UV renormalons move to the positive axis and obstruct Borel summation itself -- the situation of this problem.

Instantons. The second mechanism of factorial growth is given by the saddle points (instantons) of the Euclidean functional integral (the Lipatov method, presented in the companion chapter by Zinn-Justin in the same lecture collection): aK∼K! A−Ka_K\sim K!\,A^{-K} with AA the instanton action, equal to 16π216\pi^2 in the normalization of the source. For the O(N)O(N)-symmetric ϕ4\phi^4 theory (NN = number of real scalar field components, interaction g(∑iϕi2)2g(\sum_i \phi_i^2)^2) the instanton singularity lies at bI=−16π2b_I=-16\pi^2 and the first UV renormalon at bu=2/β2=96π2/(N+8)b_u=2/\beta_2=96\pi^2/(N+8), with β2=(N+8)/(48π2)\beta_2=(N+8)/(48\pi^2). The renormalon is closer to the origin for N>−2N>-2 (in particular for all physical N≥1N\ge 1) and then dominates the large-order growth; for N<−14N<-14 (a formal analytic continuation in NN) the instanton singularity would sit on the UV renormalon cut.

Candidate frameworks and obstructions. Resurgence and transseries: Ecalle's theory of resurgent functions studies formal expansions of the form ∑nσne−nb0/ggβnΦn(g)\sum_n \sigma^n e^{-n b_0/g} g^{\beta n}\Phi_n(g) whose lateral Borel sums have controlled discontinuities, offering a generalized (Borel-Ecalle) summation that can define functions even where ordinary Borel summation is ambiguous; this is the modern candidate tool for the present problem. Triviality: rigorous constructive results (Aizenman; Lüscher and Weisz; Aizenman and Duminil-Copin) show that four-dimensional ϕ4\phi^4 theory has no interacting continuum scaling limit, so for scalar theories the target Green's functions must be understood at finite ultraviolet cutoff; for QED-like gauge theories no corresponding theorem exists and the Landau ghost remains a conjecture.

Problem Statement

Let TT be a renormalizable, non-asymptotically-free quantum field theory, i.e. one for which the coefficient of g2g^2 in the beta function β(g)=β2g2+O(g3)\beta(g)=\beta_2 g^2+O(g^3) is positive, so that the coupling grows at short distance; the standard examples are four-dimensional O(N)O(N) ϕ4\phi^4 theory (at fixed ultraviolet cutoff, given its trivial continuum limit) and quantum electrodynamics. Renormalization-group arguments (Parisi 1978-1979) place the ultraviolet renormalon singularities of the Borel transform of the renormalized Green's functions of TT on the positive real axis at bβ2=2,4,…b\beta_2=2,4,\dots, of the form B(b)∼(2−β2b)α−1B(b)\sim(2-\beta_2 b)^{\alpha-1} with α=2β3/β22+γ1/β2\alpha=2\beta_3/\beta_2^2+\gamma^1/\beta_2, where γ1\gamma^1 is the leading anomalous dimension of the local composite operator associated with the first singularity; when present, these singularities make the perturbation series not Borel-summable, the ambiguity being of order exp⁡(−2/(β2g))\exp(-2/(\beta_2 g)).

(1) Definition facet: either construct the non-perturbative Green's functions of TT from its perturbative expansion by any principled definition principle -- such that the construction is mathematically well defined, reproduces the perturbative series as its asymptotic expansion, is consistent with the renormalization group (including the anomalous dimensions entering the exponent α\alpha), and does not rest on an arbitrary choice of contour, lateral direction, or resummation prescription -- or else prove that no principled definition of this kind exists (an impossibility/no-go theorem); a constructive definition meeting the stated criteria and a proof of impossibility are both admissible resolutions of this facet.

(2) Analytic-structure facet: determine the analytic structure of the Borel transform of the exact renormalized series of TT -- the positions, types, and exponents of all singularities (renormalon, instanton, and any others) and their interplay, including the regime (formal N<−14N<-14 in the O(N)O(N) model) where the instanton singularity at bI=−16π2b_I=-16\pi^2 lies on the ultraviolet renormalon cut -- and in particular settle whether the positive-axis ultraviolet renormalon singularity is present in the exact ϕ44\phi^4_4 series, given the competing analyticity claims in the literature.

A resolution of the problem requires both facets, which are independent parts of the question. The analytic-structure facet is resolved only when each of its independently refutable sub-claims is settled -- (i) the positions, types and exponents of every Borel-plane singularity (renormalon, instanton, and any others); (ii) their interplay, including the formal N<−14N<-14 regime in which the instanton singularity at bI=−16π2b_I=-16\pi^2 lies on the ultraviolet renormalon cut; and (iii) whether the positive-axis ultraviolet renormalon singularity is present in the exact ϕ44\phi^4_4 series -- and settling only some of them (for example the singularity positions without the ϕ44\phi^4_4 presence question) leaves both that facet and the problem open.

The infrared renormalon problem of asymptotically free theories (Parisi's dual 'future work' direction, since developed into the QCD power-corrections program) is a different, developed problem and is not part of this one; likewise, renormalon analyses in two-dimensional sigma models and in large-NfN_f limits supply evidence, not closure.

References

  1. G. Parisi, 'XI. The Borel transform and the renormalization group', in 'Non-perturbative aspects in quantum field theory' (Les Houches 1978 lecture collection), Physics Reports 49(2) (1979) 215-219. DOI: 10.1016/0370-1573(79)90111-x. https://doi.org/10.1016/0370-1573(79)90111-x
  2. E. Brézin and J.-L. Gervais (eds.), 'Non-perturbative aspects in quantum field theory' (preface to the Les Houches 1978 collection), Physics Reports 49(2) (1979) 91-94. DOI: 10.1016/0370-1573(79)90100-5. https://doi.org/10.1016/0370-1573(79)90100-5
  3. J. Zinn-Justin, 'X. Large order estimates in perturbation theory', in the same collection, Physics Reports 49(2) (1979) 205-213. DOI: 10.1016/0370-1573(79)90110-8. https://doi.org/10.1016/0370-1573(79)90110-8
  4. G. 't Hooft, 'Can we make sense out of quantum chromodynamics?', Erice lectures 1977, in A. Zichichi (ed.), 'The Whys of Subnuclear Physics', Subnuclear Series 15 (Plenum Press, New York, 1979) 943. No DOI (book chapter); INSPIRE record: https://inspirehep.net/literature/5753
  5. G. Parisi, 'Singularities of the Borel transform in renormalizable theories', Physics Letters B 76 (1978) 65-66. DOI: 10.1016/0370-2693(78)90101-6. https://doi.org/10.1016/0370-2693(78)90101-6
  6. G. Parisi, 'On infrared divergences', Nuclear Physics B 150 (1979) 163-172. DOI: 10.1016/0550-3213(79)90298-0. https://doi.org/10.1016/0550-3213(79)90298-0
  7. G. Gallavotti and V. Rivasseau, 'ϕ4\phi^4 field theory in dimension four: a modern introduction to its unsolved problems', Annales de l'Institut Henri Poincaré 40 (1984) 185. No DOI; INSPIRE record: https://inspirehep.net/literature/189254
  8. V. Rivasseau, 'Rigorous construction and Borel summability for a planar four-dimensional field theory', Physics Letters B 137 (1984) 98-102. DOI: 10.1016/0370-2693(84)91113-4. https://doi.org/10.1016/0370-2693(84)91113-4
  9. M. Bergère and F. David, 'Ambiguities of renormalized ϕ44\phi^4_4 field theory and the singularities of its Borel transform', Physics Letters B 135 (1984) 412-416. DOI: 10.1016/0370-2693(84)90305-8. https://doi.org/10.1016/0370-2693(84)90305-8
  10. K. Gawedzki, A. Kupiainen and B. Tirozzi, 'Renormalons: a dynamical system approach', Nuclear Physics B 257 (1985) 610-628. DOI: 10.1016/0550-3213(85)90367-0. https://doi.org/10.1016/0550-3213(85)90367-0
  11. F. David, J. Feldman and V. Rivasseau, 'On the large order behavior of ϕ44\phi^4_4', Communications in Mathematical Physics 116 (1988) 215-233. DOI: 10.1007/BF01225256. https://doi.org/10.1007/BF01225256
  12. M. Aizenman, 'Proof of the triviality of ϕd4\phi_d^4 field theory and some mean-field features of Ising models for d>4d>4', Physical Review Letters 47 (1981) 1-4. DOI: 10.1103/PhysRevLett.47.1. https://doi.org/10.1103/PhysRevLett.47.1
  13. M. Lüscher and P. Weisz, 'Scaling laws and triviality bounds in the lattice ϕ4\phi^4 theory', Nuclear Physics B 290 (1987) 25-60. DOI: 10.1016/0550-3213(87)90177-5. https://doi.org/10.1016/0550-3213(87)90177-5
  14. G. Grunberg, 'A proposal to solve the Landau ghost and renormalon problems', Physics Letters B 349 (1995) 469-476. DOI: 10.1016/0370-2693(95)00263-K. https://doi.org/10.1016/0370-2693(95)00263-K
  15. I. M. Suslov, 'High orders of perturbation theory. Are renormalons significant?', Journal of Experimental and Theoretical Physics 89 (1999) 197-207. DOI: 10.1134/1.558971. arXiv:hep-ph/0002051. https://arxiv.org/abs/hep-ph/0002051
  16. M. Beneke, 'Renormalons', Physics Reports 317 (1999) 1-142. DOI: 10.1016/S0370-1573(98)00130-6. arXiv:hep-ph/9807443. https://arxiv.org/abs/hep-ph/9807443
  17. M. Shifman, 'New and old about renormalons: in memoriam Kolya Uraltsev', International Journal of Modern Physics A 30 (2015) 1543001. DOI: 10.1142/S0217751X15430010. arXiv:1310.1966. https://arxiv.org/abs/1310.1966
  18. I. M. Suslov, 'Divergent perturbation series', Journal of Experimental and Theoretical Physics 100 (2005) 1188-1233. DOI: 10.1134/1.1995802. arXiv:hep-ph/0510142. https://arxiv.org/abs/hep-ph/0510142
  19. M. Aizenman and H. Duminil-Copin, 'Marginal triviality of the scaling limits of critical 4D Ising and λϕ44\lambda\phi_4^4 models', Annals of Mathematics 194 (2021) 163-235. DOI: 10.4007/annals.2021.194.1.3. arXiv:1912.07973. https://arxiv.org/abs/1912.07973
  20. G. Maiezza and J. C. Vasquez, 'Renormalons in a general quantum field theory', Annals of Physics 394 (2018) 84-97. DOI: 10.1016/j.aop.2018.04.027. arXiv:1802.06022. https://arxiv.org/abs/1802.06022
  21. N. A. Dondi, G. V. Dunne, M. Reichert and F. Sannino, 'Towards the QED beta function and renormalons at 1/Nf21/N_f^2 and 1/Nf31/N_f^3', Physical Review D 102 (2020) 035005. DOI: 10.1103/PhysRevD.102.035005. arXiv:2003.08397. https://arxiv.org/abs/2003.08397
  22. G. Maiezza and J. C. Vasquez, 'Non-Wilsonian ultraviolet completion via transseries', International Journal of Modern Physics A 36 (2021) 2150016. DOI: 10.1142/S0217751X21500160. arXiv:2007.01270. https://arxiv.org/abs/2007.01270
  23. M. Borinsky and D. Broadhurst, 'Taming a resurgent ultra-violet renormalon', Proceedings of Science (PoS), Loops and Legs in Quantum Field Theory (LL2022) (2022) 013. DOI: 10.22323/1.416.0013. arXiv:2209.10586. https://arxiv.org/abs/2209.10586
  24. A. Bhattacharya, J. Cotler, A. Dersy and M. D. Schwartz, 'Renormalons as saddle points', Journal of High Energy Physics 2026 (2026) 140. DOI: 10.1007/JHEP04(2026)140. arXiv:2410.07351. https://arxiv.org/abs/2410.07351