This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Landau poles in condensed matter systems

Shao-Kai Jian Condensed Matter Theory Center and Joint Quantum Institute, Department of Physics, University of Maryland, College Park, Maryland 20742, USA    Edwin Barnes Department of Physics, Virginia Tech, Blacksburg, Virginia 24061, USA    Sankar Das Sarma Condensed Matter Theory Center and Joint Quantum Institute, Department of Physics, University of Maryland, College Park, Maryland 20742, USA
Abstract

The existence or not of Landau poles is one of the oldest open questions in non-asymptotic quantum field theories. We investigate the Landau pole issue in two condensed matter systems whose long-wavelength physics is described by appropriate quantum field theories: the critical quantum magnet and Dirac fermions in graphene with long-range Coulomb interactions. The critical quantum magnet provides a classic example of a quantum phase transition, and it is well described by the ϕ4\phi^{4} theory. We find that the irrelevant but symmetry-allowed couplings, such as the ϕ6\phi^{6} potential, can significantly change the fate of the Landau pole in the emergent ϕ4\phi^{4} theory. We obtain the coupled beta functions of a ϕ4+ϕ6\phi^{4}+\phi^{6} potential at both small and large orders. Already from the one-loop calculation, the Landau pole is replaced by an ultraviolet fixed point. A Lipatov analysis at large orders reveals that the inclusion of a ϕ6\phi^{6} term also has important repercussions for the high-order expansion of the beta functions. We also investigate the role of the Landau pole in a very different system: Dirac fermions in 2+1 dimensions with long-range Coulomb interactions, e.g., graphene. Both the weak-coupling perturbation theory up to two loops and a low-order large-NN calculation show the absence of a Landau pole. Furthermore, we calculate the asymptotic expansion coefficients of the beta function. We find that the asymptotic coefficient is bounded by that of a pure bosonic ϕ4\phi^{4} theory, and consequently graphene is free from Landau poles if the pure ϕ4\phi^{4} theory does not manifest a Landau pole. We briefly discuss possible experiments that could potentially probe the existence of a Landau pole in these systems. Studying Landau poles in suitable condensed matter systems is of considerable fundamental importance since the relevant Landau pole energy scales in particle physics, whether it is quantum electrodynamics or Higgs physics, are completely unattainable.

I Background

Quantum electrodynamics (QED) is the most successful theory in physics. The most recent QED calculation up to 10th order in the fine structure coupling constant (i.e. the fifth order in the QED perturbation theory) involves the accurate determination of 389 different high-dimensional integrals contributed by 6354 Feynman vertex diagrams, with a resultant electron anomalous magnetic moment agreeing quantitatively with experiments up to 10 significant digits Nio2018 . Obviously, we have come a long way (although it took 70 years for this progress) from Schwinger’s ground-breaking analytical work of 1948 calculating just the first order QED correction, which obtained the electron anomalous magnetic moment correct to two significant digits Schwinger1948 . This amazing agreement between theory and experiment is the most impressive success of quantum mechanics, and the common belief is that this astounding success will continue up to many orders in the QED perturbation theory, with theory and experiment agreeing certainly up to well over 100 significant digits, although neither experiment nor theory is likely to get to such a high precision in the foreseeable future. Because the QED perturbation theory is asymptotic, it will eventually break down, with the perturbation series eventually diverging at some very high order (137\gg 137), but this is not a serious concern at this stage. The infinite-order perturbative QED result is thus bound to be incorrect since it gives a divergent answer.

In addition to the asymptotic nature of the QED perturbation theory, there is a second fundamental ‘problem’ with QED, first emphasized by Landau Landau1954 , and often referred to as the Landau pole (it also is sometimes called ‘Landau ghost’ or ‘Moscow zero’) LandauPole . The term Landau pole refers to the divergence of a running (or renormalized) coupling constant at a finite energy in a field theory. Landau poles happen only in field theories that are not asymptotically free, where the running coupling increases with increasing energy, in contrast to asymptotically free field theories where the coupling constant decreases with increasing energy. If the Landau pole is a true feature of QED, then the only way to obtain a reasonable theory would be to set the bare charge to zero, resulting in a theory that is completely trivial (or noninteracting). Landau poles have been discussed extensively in the context of both QED and scalar field theories, such as the ϕ4\phi^{4} theory, which is relevant for Higgs bosons in the standard model. The problem is, however, that the existence of a Landau pole is theoretically established only within the leading-order perturbative approximation (extended to very high energies) and therefore, whether the Landau pole is real or an artifact of the perturbation theory is unknown. In the context of QED, direct numerical simulations have been used to explore the existence of Landau poles, but whether the poles have any physical relevance in the sense of imposing triviality remains unclear Stuben1998 ; Gies2004 ; Djukanovic2018 . Unfortunately, approaches based on lattice simulations are hindered by chiral symmetry breaking, making the parameter regime where a Landau pole occurs inaccessible Stuben1998 . Numerical methods have also been applied to ϕ4\phi^{4} theory, with the conclusion that the continuum theory is most likely trivial. This finding has in turn been used to impose bounds on the Higgs mass Dashen1983 ; Weisz . However, the triviality question has not been fully resolved here either, and a stronger bound on the mass comes from unitarity Lee1977 , obscuring the role of the Landau pole. It is also unclear to what extent these findings carry over to effective scalar theories, where higher-order couplings allowed by symmetry can affect renormalization group (RG) flows at high energies. It is possible that a fully nonperturbative, strong-coupling theory would be necessary to eventually settle the question since weak-coupling perturbation theories simply may not be applicable in predicting the physics of a divergent renormalized coupling. The Landau pole problem is intrinsically tied to the asymptotic behavior of the QED perturbation expansion and to the nonperturbative effects of instantons. Although there has been recent progress in developing a more rigorous treatment of nonperturbative effects like instantons using resurgent trans-series Dunne2015 , the question of the existence or not of the Landau pole in QED remains as open today as it was in the early 1950s when Landau first proposed it.

One thing is, however, clear. Even if the Landau pole exists in QED and/or quartic scalar field theories, there is no hope for its experimental manifestation in particle physics because the energy scale for the Landau pole is unphysically huge (e.g. way above the Planck scale in QED and the Higgs mass in the ϕ4\phi^{4} theory). Quite apart from the fact that such large energy scales are experimentally unattainable (not only now, perhaps ever), new physics, outside the scope of QED, comes in at high energy scales, and the predictions of QED for the Landau pole become academic since QED itself (quite apart from a perturbation theoretic analysis of QED leading to the Landau pole) is no longer a correct description of nature at such high energies.

This is the context of the current theoretical work, where we investigate the condensed matter analogs of the Landau pole in the theories of critical quantum magnets and the physics of graphene. It is well known that the ϕ4\phi^{4} scalar field theory describes the long-wavelength critical behavior of quantum magnets, and the two-dimensional massless Dirac theory describes the long-wavelength behavior of graphene. Thus, graphene is an example (with suitable modifications) of QED, whereas quantum magnets are examples (with suitable modifications) of the ϕ4\phi^{4} scalar field theories. Our goal is to study the presence/absence of Landau poles in these two concrete condensed matter physics examples to motivate further theoretical work that could shed light on the fundamental issue of triviality in the quantum field theories which are not asymptotically free. Another equally important objective of our work is to motivate experimental work in condensed matter systems to directly probe the existence or not of Landau poles in these two systems, which are described by continuum field theories containing Landau poles in the leading-order perturbative analysis. The question of the existence or not of Landau poles is of sufficient fundamental significance that anything we can learn from condensed matter systems about the possible presence/absence of Landau poles would be valuable for future progress in the subject.

II Introduction

The concept of Landau poles is a long-standing issue in quantum field theory that raises questions about fundamental aspects of the renormalization group (RG), in particular the asymptotic behavior of renormalized couplings Landau1954 ; Landau1955 ; Shirkov1976 . In a quantum field theory that is not asymptotically free, consider the beta function that governs the running of a dimensionless coupling constant λ\lambda,

dλdlogμ=β(λ),\displaystyle\frac{d\lambda}{d\log\mu}=\beta(\lambda), (1)

where μ\mu is the energy scale of interest. One can integrate over both sides to get

λ(μ1)dλβ(λ)=μ1μdlogμ.\displaystyle\int_{\lambda(\mu_{1})}^{\infty}\frac{d\lambda}{\beta(\lambda)}=\int_{\mu_{1}}^{\mu_{\infty}}d\log\mu. (2)

μ\mu_{\infty} is the energy scale at which the running coupling becomes infinite. Suppose the beta function has the asymptotic behavior β(λ)λa,λ1\beta(\lambda)\propto\lambda^{a},\lambda\gg 1, where aa is a constant independent of λ\lambda, then

λ(μ1)dλβ(λ)λ(μ1)λa𝑑λ={,a1logμμ1<,a>1.\displaystyle\int_{\lambda(\mu_{1})}^{\infty}\frac{d\lambda}{\beta(\lambda)}\propto\int_{\lambda(\mu_{1})}^{\infty}\lambda^{-a}d\lambda=\begin{cases}\infty,\quad&a\leq 1\\ \log\frac{\mu_{\infty}}{\mu_{1}}<\infty,\quad&a>1.\end{cases}
(3)

In the first case, a1a\leq 1, there is no Landau pole. The running coupling reaches infinity only at infinite energy scales. In the second case, a>1a>1, however, the coupling diverges at a finite energy scale μ\mu_{\infty}. This is a Landau pole. Clearly, the existence of a Landau pole depends on the asymptotic form of the beta function at λ1\lambda\gg 1.

Because Landau poles were first discovered theoretically in quantum field theories relevant for high energy physics, such as QED, research into this issue has remained largely within the high-energy physics community Callaway1988 ; Callaway1986 ; Djukanovic2018 ; Kim2002 ; Gies2004 ; Stuben1998 ; Lizzi2013 . The simplest solution to the Landau pole problem is the idea of quantum triviality Callaway1988 ; Callaway1986 ; Kim2002 ; Gies2004 , in which the pole is avoided by setting the coupling to zero at all scales, yielding a trivial, noninteracting theory. This is of course unsatisfactory if one is interested in the effect of interactions (which are clearly present in QED experiments), so a more phenomenological resolution that is often adopted is to argue that the theory is incomplete and gets replaced by another theory at high energies before the Landau pole is reached. For instance, QED is usually believed to be just one part of a more fundamental electroweak theory. Moreover, the Landau pole in QED can be estimated to occur at an energy scale on the order of 1028610^{286} eV, which is far beyond the Planck scale 102810^{28} eV, suggesting that it is a purely academic issue. However, the reliability of such estimates is questionable given that the Landau pole is intrinsically tied to the large-coupling regime, whereas most analyses rely on weak-coupling perturbation theory carried out to first or second order. Many attempts have been made to go beyond small-order perturbation theory starting from Lipatov’s method Lipatov1977 ; Zinn-Justin1981 for calculating large orders in an asymptotic series. In fact, a resummation procedure based on such large-order expansions suggests that the Landau pole does not exist at all in the ϕ4\phi^{4} theory Suslov2001 ; Suslov2008 . But the Landau pole question is by no means settled since the resummation technique is essentially a Borel interpolation, and the exact strong coupling theory remains elusive, so one cannot be sure that the Landau pole does not exist. In particular, numerical simulations seem to indicate its existence Gies2004 .

In addition to having wide application in particle physics, continuum field theories and the renormalization group are also important for condensed matter systems, especially in the context of phase transitions, where the universal physics is controlled by long-wavelength fluctuations at a critical point Kadanoff1966 ; Wilson1975 . (In fact, Wilson developed his RG theory motivated by condensed matter considerations in critical phenomena, and the first problem he solved using his momentum-shell RG theory is the Kondo problem, a celebrated condensed matter problem involving singular spin-flip scattering of electrons in metals from quenched magnetic impurities Wilson1971 .) Thus, it is natural to consider the Landau pole problem in condensed matter systems. Unlike most cases in high-energy physics, here the ultraviolet completion is well understood as it comes from the lattice, which brings a natural energy scale cutoff set by the inverse lattice constant. The question then becomes whether a Landau pole arises above or below this scale. This question is particularly important in systems where the coupling constant can be large, as is the case in graphene, where the fine structure constant away from the Dirac point is α1\alpha\sim 1 Geim2009 , and even more so in synthetic twisted bilayer graphene, where α10\alpha\sim 10 MacDonald2011 ; Cao2018a ; Cao2018b ; SDS2019 . The interactions in these systems are substantially stronger than in QED, where α1/137\alpha\approx 1/137, suggesting that if there is a Landau pole, then its energy scale could occur below the cutoff, potentially leading to consequences that are experimentally accessible. We emphasize that in condensed matter physics, all continuum field theories are, by definition, effective field theories since the lattice explicitly breaks the continuum by providing a short-distance cutoff length scale (or equivalently, an effective ultraviolet energy/momentum cutoff for the system which does not have to be put in by hand in the theory). The field theory is valid up to this ultraviolet energy/momentum scale (\simthe inverse lattice constant), which is a physical constraint defining the domain of validity of the effective field theory. Our current understanding of all field theories as effective field theories up to some scale is explicitly obeyed in condensed matter physics and does not have to be artificially introduced as, for example, in lattice gauge theories. Of course, one does not know the precise cutoff scale except that it should be set dimensionally by the lattice spacing. It is possible that the cutoff is in fact somewhat shorter (longer) than the lattice spacing, in which case the effective field theory would apply to energies above (below) the inverse lattice spacing. In the context of Landau poles, the hope is that the pole energy here would not be much higher than the inverse lattice spacing energy (within an order of magnitude) so that there is some reason to believe that the effective field theory does not completely break down at the Landau pole energy. In such a situation, it is sensible to consider condensed matter experiments to investigate the presence/absence of Landau poles. If the pole happens to be at an energy much larger than the natural ultraviolet cutoff for the lattice in the system, there is no hope for experimentally studying the Landau pole in the corresponding condensed matter system since the effective field theory is unlikely to apply at that high-energy scale.

Here, we consider two condensed matter systems: the critical quantum magnet and Dirac fermions in 2+1 dimensions with long-range Coulomb interactions (graphene). Both systems are believed to be well described by effective continuum field theories. The critical quantum magnet is described by a bosonic ϕ4\phi^{4} theory as dictated by symmetry. In four dimensions, the ϕ4\phi^{4} theory has a coupling that grows logarithmically with energy scale, eventually leading to a Landau pole as determined from perturbation theory Scammell2015 . However, this theory is an effective field theory, meaning that all terms allowed by symmetry, e.g., all even-order terms ϕn\phi^{n}, where n2n\in 2\mathbb{Z}, are in principle present in the action. Although the ϕ4\phi^{4} term is the most relevant one deep in the infrared, the n>4n>4 terms can become important at the higher energy scales where the Landau pole potentially arises. This motivates us to investigate to what extent Landau poles are affected by infrared-irrelevant terms in the ϕ4\phi^{4} effective field theory. To answer this question, we study the beta function of a ϕ4+ϕ6\phi^{4}+\phi^{6} potential and find that the Landau pole can be strongly affected by the presence of the ϕ6\phi^{6} potential at both small and large orders of the asymptotic expansion.

Dirac fermions in graphene constitute a second important case study because the Fermi velocity approaches zero in the ultraviolet, enhancing the role of Coulomb interactions at high energies and potentially inducing a Landau pole Geim2009 . The theory is infrared-stable because the Fermi velocity increases as the energy scale approaches zero, leading to a decreasing running coupling (which is cut off at some exponentially low energy scale when retardation effects due to the finite speed of light come into consideration). The marginal Fermi liquid behavior that results from the logarithmic growth of the Fermi velocity near the Dirac point is well studied Vozmediano1994 ; Vozmediano2011 ; Elias2011 . We review the result for the small-order beta function in graphene SDS2014 ; Son2007 and show that the Landau pole problem is not resolved by either weak-coupling or large-NN perturbation theories at one loop. On the other hand, a two-loop analysis using either ordinary perturbation theory or a large-NN expansion indicates the absence of a Landau pole. We also compute the large-order expansion coefficients nonperturbatively, showing that the asymptotic coefficients are smaller than those of the pure ϕ4\phi^{4} theory. This indicates that if the pure ϕ4\phi^{4} theory does not manifest a Landau pole, then neither does the Coulomb-interacting graphene field theory. Our main, but tentative, conclusion in this work is that in all likelihood, Landau poles do not exist in condensed matter systems at any energy scale, although the leading-order perturbative RG theory may imply their existence, often at energy scales beyond which the corresponding effective field theory is applicable.

The paper is organized as follows. We discuss Landau poles in the critical quantum magnet and in graphene in Secs. III and IV, respectively. In each section, we compute both the small- and large-order terms of the beta function for the running coupling. While the small-order beta function is obtained through the standard perturbation theory, the large orders are evaluated through the saddle-point approximation following the Lipatov method Lipatov1977 ; Zinn-Justin1981 . In Sec. V, we briefly discuss possible experiments and conclude the paper. The appendixes contain technical details and an instructive zero-dimensional toy model to illustrate the steps of the Lipatov method for the ϕ4+ϕ6\phi^{4}+\phi^{6} potential.

III Critical quantum magnets

In this section, we compute the small- and large-order terms of the asymptotic expansion of the beta function for the effective theory consisting of both ϕ4\phi^{4} and ϕ6\phi^{6} terms. We use the Wilsonian renormalization group to obtain the one-loop beta function. We show that while the pure ϕ4\phi^{4} theory exhibits a Landau pole, the inclusion of the ϕ6\phi^{6} term removes the pole and replaces it with an ultraviolet fixed point. In addition, we compute the large-order expansion of the beta function by using a saddle-point approximation in the regime of negative couplings. We find that the expansion coefficients of the ϕ4\phi^{4} coupling λ4\lambda_{4} grow as k!k! while those of λ6\lambda_{6} grow as (k!)2(k!)^{2}. From both small-order and large-order expansion coefficients, we see that including the ϕ6\phi^{6} term strongly affects the fate of the Landau pole compared to a pure ϕ4\phi^{4} theory.

III.1 Small orders

We consider the effective theory,

S[g4,g6;ϕ]=ddx[12(ϕ)2+g44ϕ4+g66ϕ6],\displaystyle S[g_{4},g_{6};\phi]=\int d^{d}x\left[\frac{1}{2}(\partial\phi)^{2}+\frac{g_{4}}{4}\phi^{4}+\frac{g_{6}}{6}\phi^{6}\right], (4)

where ϕi\phi_{i}, i=1,,Ni=1,...,N is an O(N)O(N) field, and the summation over ii is implicit: ϕ2=iN(ϕi)2\phi^{2}=\sum_{i}^{N}(\phi_{i})^{2}, and (ϕ)2=iNμd(μϕi)2(\partial\phi)^{2}=\sum_{i}^{N}\sum_{\mu}^{d}(\partial_{\mu}\phi_{i})^{2}. Using the standard Wilsonian RG technique (see Appendix A), the perturbative beta equations at the critical surface r¯=0\bar{r}=0, where r¯\bar{r} is the dimensionless mass, are

dλ4dlogμ\displaystyle\frac{d\lambda_{4}}{d\log\mu} =\displaystyle= (3N+12)λ6+(4N+32)λ42,\displaystyle-(3N+12)\lambda_{6}+(4N+32)\lambda_{4}^{2}, (5)
dλ6dlogμ\displaystyle\frac{d\lambda_{6}}{d\log\mu} =\displaystyle= 2λ6+(12N+168)λ4λ632N+8323λ43,\displaystyle 2\lambda_{6}+(12N+168)\lambda_{4}\lambda_{6}-\frac{32N+832}{3}\lambda_{4}^{3}, (6)

where λ4=A3(2π)4g44\lambda_{4}=\frac{A_{3}}{(2\pi)^{4}}\frac{g_{4}}{4} and λ6=(A3(2π)4)2g66Λ2\lambda_{6}=\Big{(}\frac{A_{3}}{(2\pi)^{4}}\Big{)}^{2}\frac{g_{6}}{6}\Lambda^{2} are dimensionless couplings, and we have set d=4d=4. AdA_{d} is the area of a dd-sphere with unit radius.

Refer to caption
Figure 1: The flow diagram of λ4\lambda_{4}-λ6\lambda_{6}. The blue arrow indicates the RG flow to higher energies. The black and red dots are the Gaussian and the new fixed point in Eq. (7), respectively. The dashed line which separates different flow regimes is given by Eq. (8). We take N=1N=1 for simplicity.

From Eqs. (5) and (6), besides the Gaussian fixed point, there is also an ultraviolet fixed point at

(λ4,λ6)\displaystyle(\lambda_{4},\lambda_{6}) (7)
=(N+82(N2+6N+128),(N+8)33(N+4)(N2+6N+128)2)\displaystyle=\left(-\frac{N+8}{2(N^{2}+6N+128)},\frac{(N+8)^{3}}{3(N+4)(N^{2}+6N+128)^{2}}\right)
(12N+O(1/N2),13N2+O(1/N3)).\displaystyle\approx\left(-\frac{1}{2N}+O(1/N^{2}),\frac{1}{3N^{2}}+O(1/N^{3})\right).

The fixed point has two relevant directions at the critical surface. One should distinguish it from the tricritical point. For d3d\geq 3 spacetime dimensions, the tricritical point is the same as the Gaussian fixed point, because the upper critical dimension is three for the ϕ6\phi^{6} theory. Moreover, a tricritical point has only one relevant direction at the critical surface.

The flow diagram of λ4\lambda_{4}-λ6\lambda_{6} is shown in Fig. 1, where the black and red dots are the Gaussian fixed point and the ultraviolet fixed point in Eq. (7), respectively. The dashed curve is given by

f(λ4)=16(N+26)λ433(6Nλ4+84λ4+1),λ4>0.\displaystyle f(\lambda_{4})=\frac{16(N+26)\lambda_{4}^{3}}{3(6N\lambda_{4}+84\lambda_{4}+1)},\quad\lambda_{4}>0. (8)

If one fixes λ6=0\lambda_{6}=0 to reduce to the pure ϕ4\phi^{4} theory, as indicated by the black line in Fig. 1, λ4\lambda_{4} will become infinite at the Landau pole. This is consistent with the one-loop beta function for λ4\lambda_{4}. However, in the global flow diagram of both λ4\lambda_{4} and λ6\lambda_{6}, the points at λ6=0\lambda_{6}=0 are not stable at higher energies. Depending on the initial values, the RG flow regimes are separated by the dashed line given by Eq. (8). Denote the initial values by λ40\lambda_{40} and λ60\lambda_{60}. On the one hand, at λ40<0[λ40>0λ60>f(λ40)]\lambda_{40}<0\cup[\lambda_{40}>0\cap\lambda_{60}>f(\lambda_{40})], it will flow to the new fixed point (if one can fine tune λi=0\lambda_{i}=0 for i=8,10,i=8,10,...). On the other hand, at λ40>0λ60<f(λ40)\lambda_{40}>0\cap\lambda_{60}<f(\lambda_{40}), λ6\lambda_{6} will flow to negative values, indicating that the theory is not stable because the energy is not bounded from below. Therefore, if one includes the symmetry allowed ϕ6\phi^{6} term, the Landau pole is replaced by a fixed point of the one-loop beta function. Note that even if the ϕ6\phi^{6} term is not included initially, it will be generated by the ϕ4\phi^{4} potential.

III.2 Large orders

We have shown that the inclusion of the ϕ6\phi^{6} term in the effective theory will replace the Landau pole by an ultraviolet fixed point even in the one-loop calculation. We now extend the analysis to large orders. Namely, we calculate the asymptotic expansion coefficients βk,k1\beta_{k},k\gg 1 of beta functions, β(λ)=kβkλk\beta(\lambda)=\sum_{k}\beta_{k}\lambda^{k}. We first calculate the asymptotic expansion of the correlation function, and then relate it to the beta function. In Appendix B, we present a toy model that provides a simple illustration of the basic steps we employ.

III.2.1 Asymptotic expansions of the correlation function

Consider the nn-point correlation function of the massless ϕ4+ϕ6\phi^{4}+\phi^{6} theory defined by Eq. (4),

Gn(g4,g6;Xn)=Dϕj=1nϕ(xj)eS,\displaystyle G_{n}(g_{4},g_{6};X_{n})=\int D\phi\prod_{j=1}^{n}\phi(x_{j})e^{-S}, (9)

where Xn=(x1,,xn)X_{n}=(x_{1},...,x_{n}) denotes all nn spacetime arguments, and in this section we consider N=1N=1 for simplicity. We are interested in computing the asymptotic expansion of the nn-point correlation function Gn(g4,g6)G_{n}(g_{4},g_{6}) (in the following, we suppress the argument XnX_{n} for notational simplicity). In general, the expansion has the following form:

Gn(g4,g6)=k0Ak(n)g4k+k1Bk(n)(g4)g6k.\displaystyle G_{n}(g_{4},g_{6})=\sum_{k\geq 0}A_{k}^{(n)}g_{4}^{k}+\sum_{k^{\prime}\geq 1}B_{k^{\prime}}^{(n)}(g_{4})g_{6}^{k^{\prime}}. (10)

In four dimensions, the asymptotic expansion of Gn(g4,0)G_{n}(g_{4},0) as a function of g4g_{4} is known for the pure ϕ4\phi^{4} theory with g6=0g_{6}=0 Lipatov1977 ; Zinn-Justin1981 . We first review this calculation and then generalize it to g6>0g_{6}>0. When g6=0g_{6}=0, Gn(g4,0)=kAk(n)g4kG_{n}(g_{4},0)=\sum_{k}A_{k}^{(n)}g_{4}^{k} has a branch cut at g4(,0)g_{4}\in(-\infty,0). As shown for the toy model in Eq. (B), the expansion coefficient is related to the branch cut by

Ak(n)=0dzπImGn(z,0)zk+1.\displaystyle A_{k}^{(n)}=\int_{-\infty}^{0}\frac{dz}{\pi}\frac{{\rm Im}G_{n}(z,0)}{z^{k+1}}. (11)

Since the unstable saddle-point solution at g4<0g_{4}<0 will contribute to the imaginary part, we use the saddle-point approximation. When g6=0g_{6}=0, the saddle-point equation is

2φc+g4φc3=0.\displaystyle-\partial^{2}\varphi_{c}+g_{4}\varphi_{c}^{3}=0. (12)

Let φc(x)=ξ(x)g4\varphi_{c}(x)=\frac{\xi(x)}{\sqrt{-g_{4}}}, where ξ\xi is the solution of 2ξ+ξ3=0\partial^{2}\xi+\xi^{3}=0 and is independent of g4g_{4}. In d=4d=4 dimensions, there are two solutions: ξ(x)=±22x2+1\xi(x)=\pm\frac{2\sqrt{2}}{x^{2}+1} (see Appendix C). Note that the saddle-point equation is scale-invariant in the sense that if ξ(x)\xi(x) is a solution, then b1ξ(x/b)b^{-1}\xi(x/b) is also a solution for any rescaling parameter bb. We will remove this scaling redundancy later on. Because ddx[(φc)2+g4φc4]=0\int d^{d}x[(\partial\varphi_{c})^{2}+g_{4}\varphi_{c}^{4}]=0, the on-shell action is

S[g4,0;φc]=g44ddxφc4=S04g4,\displaystyle S[g_{4},0;\varphi_{c}]=-\frac{g_{4}}{4}\int d^{d}x\varphi_{c}^{4}=-\frac{S_{0}}{4g_{4}}, (13)

where S0ddxξ4S_{0}\equiv\int d^{d}x\xi^{4} is a positive constant independent of g4g_{4}. In d=4d=4 dimensions, S0=32π2/3S_{0}=32\pi^{2}/3.

The fluctuations around the saddle-point solution can be expanded in terms of an orthonormal basis {φj(x)}\{\varphi_{j}(x)\},

ϕ(x)=φc(xx0)+j=1cjφj(x).\displaystyle\phi(x)=\varphi_{c}(x-x_{0})+\sum_{j=1}^{\infty}c_{j}\varphi_{j}(x). (14)

Here, x0x_{0} is an arbitrary point in spacetime. Using this basis, one can change the functional integration into a c-number integration. Note that to make the integration variable linearly independent, one requires

ddxφj(x)μφc(x)=0,μ=1,,d.\displaystyle\int d^{d}x\varphi_{j}(x)\partial_{\mu}\varphi_{c}(x)=0,\quad\mu=1,...,d. (15)

Moreover, the Jacobian that results from the change of integration variables from the functional measure to x0x_{0} and cnc_{n} is given by

J\displaystyle J =\displaystyle= [μ=1dddx(μφc)2]1/2=[S0dg4]d/2,\displaystyle\left[\prod_{\mu=1}^{d}\int d^{d}x(\partial_{\mu}\varphi_{c})^{2}\right]^{1/2}=\left[-\frac{S_{0}}{dg_{4}}\right]^{d/2}, (16)

where we have used the spherical symmetry of the saddle-point solution. The quadratic kernel around the saddle point is

M(x,x)\displaystyle M(x,x^{\prime}) =\displaystyle= δ2S[g4,0;φc]δφc(x)δφc(x)=[x23ξ2(x)]δ(xx),\displaystyle\frac{\delta^{2}S[g_{4},0;\varphi_{c}]}{\delta\varphi_{c}(x)\delta\varphi_{c}(x^{\prime})}=\left[-\partial^{2}_{x}-3\xi^{2}(x)\right]\delta(x-x^{\prime}),

which is independent of g4g_{4}. Note that μφ(x)\partial_{\mu}\varphi(x) is the eigenfunction of the kernel with zero eigenvalue. The above orthonormal basis {φj}\{\varphi_{j}\} can be chosen to be the eigenfunctions of M(x,x)M(x,x^{\prime}).

Putting everything together, the imaginary part of the correlation function under the saddle-point approximation is given by

ImGn(g4,0)\displaystyle{\rm Im}G_{n}(g_{4},0) =\displaystyle= 12iφcJddx0eS[g4,0;φc]Dφ\displaystyle\frac{1}{2i}\sum_{\varphi_{c}}\int Jd^{d}x_{0}e^{-S[g_{4},0;\varphi_{c}]}\int D\varphi_{\perp} (18)
×j=1nφ(xj)eddxddxφ(x)M(x,x)φ(x)\displaystyle\times\prod_{j=1}^{n}\varphi(x_{j})e^{-\int d^{d}xd^{d}x^{\prime}\varphi_{\perp}(x)M(x,x^{\prime})\varphi_{\perp}(x^{\prime})}
=\displaystyle= (S0d)d/2eS04g4(g4)d/2+n/2Fn(Xn;ξ)i(detM)1/2,\displaystyle\left(\frac{S_{0}}{d}\right)^{d/2}\frac{e^{\frac{S_{0}}{4g_{4}}}}{(-g_{4})^{d/2+n/2}}\frac{F_{n}(X_{n};\xi)}{i(\det M)^{1/2}},

where Fn(Xn;ξ)=ddx0jξ(xjx0)F_{n}(X_{n};\xi)=\int d^{d}x_{0}\prod_{j}\xi(x_{j}-x_{0}), n2n\in 2\mathbb{Z}, and φ\varphi_{\perp} denotes the functions orthogonal to μφ\partial_{\mu}\varphi. φc\sum_{\varphi_{c}} denotes the summation over the two saddle points. The expansion coefficient is

Ak(n)\displaystyle A_{k}^{(n)} =\displaystyle= (1)k(S0d)d/2iFn(Xn)(detM)1/2\displaystyle(-1)^{k}\left(\frac{S_{0}}{d}\right)^{d/2}\frac{iF_{n}(X_{n})}{(\det M)^{1/2}}
×0dzπeS04z(z)k+d/2+n/2+1\displaystyle\times\int_{-\infty}^{0}\frac{dz}{\pi}\frac{e^{\frac{S_{0}}{4z}}}{(-z)^{k+d/2+n/2+1}}
=\displaystyle= (1)k1π(4d)d2iFn(Xn;ξ)(detM)1/2(4S0)k+n2Γ(k+d2+n2).\displaystyle(-1)^{k}\frac{1}{\pi}\Big{(}\frac{4}{d}\Big{)}^{\frac{d}{2}}\frac{iF_{n}(X_{n};\xi)}{(\det M)^{1/2}}\Big{(}\frac{4}{S_{0}}\Big{)}^{k+\frac{n}{2}}\Gamma(k+\frac{d}{2}+\frac{n}{2}).

Because M(x,x)M(x,x^{\prime}) has a unique negative eigenvalue Zinn-Justin1981 , i(detM)1/2\frac{i}{(\det M)^{1/2}} is a positive number.

We now generalize this procedure to the case of ϕ4+ϕ6\phi^{4}+\phi^{6} theory. We first treat the pure ϕ6\phi^{6} theory nonperturbatively and then include perturbative corrections from the ϕ4\phi^{4} term. The saddle-point equation of a pure ϕ6\phi^{6} theory is

2ϕc+g6ϕc5=0.\displaystyle-\partial^{2}\phi_{c}+g_{6}\phi_{c}^{5}=0. (20)

The solution is ϕc(x)=χ(x)(g6)1/4\phi_{c}(x)=\frac{\chi(x)}{(-g_{6})^{1/4}}, where 2χχ5=0-\partial^{2}\chi-\chi^{5}=0. Because ddx[(ϕc)2+g6ϕc6]=0\int d^{d}x[(\partial\phi_{c})^{2}+g_{6}\phi_{c}^{6}]=0, the on-shell action is

S[0,g6;ϕc]=g63ddxϕc6=S63g6,\displaystyle S[0,g_{6};\phi_{c}]=-\frac{g_{6}}{3}\int d^{d}x\phi_{c}^{6}=\frac{S_{6}}{3\sqrt{-g_{6}}}, (21)

where S6ddxχ6(x)S_{6}\equiv\int d^{d}x\chi^{6}(x) is a positive constant independent of g6g_{6}.

As before, fluctuations around the saddle-point solution can be expanded in an orthonormal basis {ϕj(x)}\{\phi_{j}(x)\},

ϕ(x)=ϕc(xx0)+j=1cjϕj(x),\displaystyle\phi(x)=\phi_{c}(x-x_{0})+\sum_{j=1}^{\infty}c_{j}\phi_{j}(x), (22)

and ddxϕj(x)μϕc(x)=0\int d^{d}x\phi_{j}(x)\partial_{\mu}\phi_{c}(x)=0, for μ=1,,d\mu=1,...,d. In this case, the Jacobian is

J\displaystyle J =\displaystyle= [μddx(μϕc)2]1/2=(S6dg6)d/2.\displaystyle\left[\prod_{\mu}\int d^{d}x(\partial_{\mu}\phi_{c})^{2}\right]^{1/2}=\left(\frac{S_{6}}{d\sqrt{-g_{6}}}\right)^{d/2}. (23)

The quadratic kernel around the saddle point is

(x,x)=[x25χ4(x)]δ(xx),\displaystyle\mathcal{M}(x,x^{\prime})=\left[-\partial^{2}_{x}-5\chi^{4}(x)\right]\delta(x-x^{\prime}), (24)

which is independent of g6g_{6}. We evaluate the imaginary part of the correlation function using the saddle-point approximation, which yields

ImGn(0,g6)\displaystyle{\rm Im}G_{n}(0,g_{6}) =\displaystyle= 12iϕcJddx0eS[ϕc]Dϕ\displaystyle\frac{1}{2i}\sum_{\phi_{c}}\int Jd^{d}x_{0}e^{-S[\phi_{c}]}\int D\phi_{\perp} (25)
×j=1nϕ(xj)eddxddxϕ(x)(x,x)ϕ(x)\displaystyle\times\prod_{j=1}^{n}\phi(x_{j})e^{-\int d^{d}xd^{d}x^{\prime}\phi_{\perp}(x)\mathcal{M}(x,x^{\prime})\phi_{\perp}(x)}
=\displaystyle= (S6d)d/2eS63g6(g6)d/4+n/4Fn(Xn)i(det)1/2.\displaystyle\left(\frac{S_{6}}{d}\right)^{d/2}\frac{e^{-\frac{S_{6}}{3\sqrt{-g_{6}}}}}{(-g_{6})^{d/4+n/4}}\frac{F_{n}(X_{n})}{i(\det\mathcal{M})^{1/2}}.

where Fn(Xn;χ)=ddx0jχ(xjx0)F_{n}(X_{n};\chi)=\int d^{d}x_{0}\prod_{j}\chi(x_{j}-x_{0}) and n2n\in 2\mathbb{Z}. The expansion coefficients are

Bk(n)(0)\displaystyle B_{k}^{(n)}(0)
=\displaystyle= (1)k(S6d)d/2iFn(Xn)(det)1/20dzπeS63z(z)k+d/4+n/4+1\displaystyle(-1)^{k}\left(\frac{S_{6}}{d}\right)^{d/2}\frac{iF_{n}(X_{n})}{(\det\mathcal{M})^{1/2}}\int_{-\infty}^{0}\frac{dz}{\pi}\frac{e^{-\frac{S_{6}}{3\sqrt{-z}}}}{(-z)^{k+d/4+n/4+1}}
=\displaystyle= (1)k2π(3d)d2iFn(Xn;χ)(det)1/2(3S6)2k+n2Γ(2k+d2+n2).\displaystyle(-1)^{k}\frac{2}{\pi}\Big{(}\frac{3}{d}\Big{)}^{\frac{d}{2}}\frac{iF_{n}(X_{n};\chi)}{(\det\mathcal{M})^{1/2}}\Big{(}\frac{3}{S_{6}}\Big{)}^{2k+\frac{n}{2}}\Gamma\Big{(}2k+\frac{d}{2}+\frac{n}{2}\Big{)}.

The fact that the kernel \mathcal{M} has a negative eigenvalue can be seen by noting that

ddxddxχ(x)(x,x)χ(x)=4ddxχ6(x)<0.\displaystyle\int d^{d}xd^{d}x^{\prime}\chi(x)\mathcal{M}(x,x^{\prime})\chi(x^{\prime})=-4\int d^{d}x\chi^{6}(x)<0.

It remains to be shown that there is an odd number of negative eigenvalues. We assume this is true, in which case i(det)1/2\frac{i}{(\det\mathcal{M})^{1/2}} is a real number.

Now we can consider the correction from a finite ddxg4ϕ4\int d^{d}xg_{4}\phi^{4} term. The first-order perturbation is given by the correction to the on-shell action,

S[g4,g6;ϕc]S63g6+g4ddxϕc4=S63g6g4g6S4,\displaystyle S[g_{4},g_{6};\phi_{c}]\approx\frac{S_{6}}{3\sqrt{-g_{6}}}+g_{4}\int d^{d}x\phi_{c}^{4}=\frac{S_{6}}{3\sqrt{-g_{6}}}-\frac{g_{4}}{g_{6}}S_{4},

where S4=ddxχ4S_{4}=\int d^{d}x\chi^{4} is a positive constant independent of g4g_{4} and g6g_{6}. Then the asymptotic coefficient is

Bk(n)(g4)\displaystyle B_{k}^{(n)}(g_{4}) (29)
=\displaystyle= (1)k(S6d)d2iFn(Xn;χ)(det)1/20dzπeS63z+g4zS4(z)k+d/4+n/4+1\displaystyle(-1)^{k}\left(\frac{S_{6}}{d}\right)^{\frac{d}{2}}\frac{iF_{n}(X_{n};\chi)}{(\det\mathcal{M})^{1/2}}\int_{-\infty}^{0}\frac{dz}{\pi}\frac{e^{-\frac{S_{6}}{3\sqrt{-z}}+\frac{g_{4}}{z}S_{4}}}{(-z)^{k+d/4+n/4+1}}
=\displaystyle= (1)k2π(3d)d2iFn(Xn;χ)(det)1/2(3S6)2k+n2Γ(2k+d2+n2)\displaystyle(-1)^{k}\frac{2}{\pi}\Big{(}\frac{3}{d}\Big{)}^{\frac{d}{2}}\frac{iF_{n}(X_{n};\chi)}{(\det\mathcal{M})^{1/2}}\Big{(}\frac{3}{S_{6}}\Big{)}^{2k+\frac{n}{2}}\Gamma(2k+\frac{d}{2}+\frac{n}{2})
×𝒰(k+d4+n4,12,S6236S41g4),\displaystyle\times\mathcal{U}\Big{(}k+\frac{d}{4}+\frac{n}{4},\frac{1}{2},\frac{S_{6}^{2}}{36S_{4}}\frac{1}{g_{4}}\Big{)},

where we have defined

𝒰(a,b,c)=caU(a,b,c),\displaystyle\mathcal{U}(a,b,c)=c^{a}U(a,b,c), (30)

and UU is Tricomi’s (confluent hypergeometric) function. One can further expand Tricomi’s function to get the expansion coefficients of g4jg6kg_{4}^{j}g_{6}^{k}, as we will do in the next section.

III.2.2 Beta functions at large orders

In the previous section, we computed the asymptotic expansion of the nn-point correlation function of the ϕ4+ϕ6\phi^{4}+\phi^{6} theory. In this section, we use this result to compute the high-order expansion of the beta function.

We define the renormalized couplings as the full nn-point vertex functions, λn=Γn(g¯4,g¯6;p2μ2)\lambda_{n}=-\Gamma_{n}(\bar{g}_{4},\bar{g}_{6};\frac{p^{2}}{\mu^{2}}), where n=4,6n=4,6, and g¯4=g4\bar{g}_{4}=g_{4} and g¯6=g6μ2\bar{g}_{6}=g_{6}\mu^{2} are the dimensionless couplings. Here, pp is the momentum at the renormalization point, and μ\mu denotes the energy scale. From the equations defining the saddle points, Eqs. (12) and (20), we have

ξ(x)\displaystyle\xi(x) =\displaystyle= ddyΔ0(xy)ξ3(y),\displaystyle\int d^{d}y\Delta_{0}(x-y)\xi^{3}(y), (31)
χ(x)\displaystyle\chi(x) =\displaystyle= ddyΔ0(xy)χ5(y),\displaystyle\int d^{d}y\Delta_{0}(x-y)\chi^{5}(y), (32)

where Δ0(p)=1p2\Delta_{0}(p)=\frac{1}{p^{2}} is the free propagator. We then have

Fn(Xn;s)\displaystyle F_{n}(X_{n};s) =\displaystyle= ddyFs(y)j=1nΔ0(xjy),\displaystyle\int d^{d}yF_{s}(y)\prod_{j=1}^{n}\Delta_{0}(x_{j}-y), (33)

where s=ξ,χs=\xi,\chi, e.g., Fξ(y)=ddx0ξ3(yx0)F_{\xi}(y)=\int d^{d}x_{0}\xi^{3}(y-x_{0}) and Fχ(y)=ddx0χ5(yx0)F_{\chi}(y)=\int d^{d}x_{0}\chi^{5}(y-x_{0}). Equation (33) converts the correlation function to the vertex function Lipatov1977 . There is a subtlety for d=4d=4 dimensions because the ϕ4\phi^{4} potential is scale invariant in this case. If ξ(x)\xi(x) is a solution to the saddle-point equation, 2ξ+ξ3=0\partial^{2}\xi+\xi^{3}=0, then it follows that b1ξ(x/b)b^{-1}\xi(x/b) is also a solution for any rescaling factor bb. We can remove this trivial scaling redundancy by using the following identity:

1=S0dlogb2δ(d4xξ4(x)logx2b2),\displaystyle 1=S_{0}\int d\log b^{2}\delta\Big{(}\int d^{4}x\xi^{4}(x)\log\frac{x^{2}}{b^{2}}\Big{)}, (34)

in conjunction with the rescaling transformation ξ(x)b1ξ(x/b)\xi(x)\rightarrow b^{-1}\xi(x/b). The δ\delta function above fixes the scaling of the solution, namely, ξ(x)=±22x2+1\xi(x)=\pm\frac{2\sqrt{2}}{x^{2}+1}. These modifications are taken into account by working with the function

F~ξ(y)=S0dlogb2ddx0b3ξ3(yx0b).\displaystyle\tilde{F}_{\xi}(y)=S_{0}\int d\log b^{2}\int d^{d}x_{0}b^{-3}\xi^{3}\Big{(}\frac{y-x_{0}}{b}\Big{)}. (35)

Putting everything together, we get

Γn(g¯4,g¯6;p2μ2)\displaystyle\Gamma_{n}\Big{(}\bar{g}_{4},\bar{g}_{6};\frac{p^{2}}{\mu^{2}}\Big{)} =\displaystyle= k𝒜k(n)g¯4k+j,k(n)g¯4jg¯6k,\displaystyle\sum_{k}\mathcal{A}_{k}^{(n)}\bar{g}_{4}^{k}+\mathcal{B}_{j,k}^{(n)}\bar{g}_{4}^{j}\bar{g}_{6}^{k}, (36)

and the asymptotic forms of the coefficients are given by

𝒜k(n)\displaystyle\mathcal{A}_{k}^{(n)} =\displaystyle= (1)kπ(4d)d2iF~ξ(p)(detM)1/2\displaystyle\frac{(-1)^{k}}{\pi}\Big{(}\frac{4}{d}\Big{)}^{\frac{d}{2}}\frac{i\tilde{F}_{\xi}(p)}{(\det M)^{1/2}} (37)
×(4S0)k+n2Γ(k+d2+n2),\displaystyle\times\Big{(}\frac{4}{S_{0}}\Big{)}^{k+\frac{n}{2}}\Gamma(k+\frac{d}{2}+\frac{n}{2}),
m,k(n)\displaystyle\mathcal{B}_{m,k}^{(n)} =\displaystyle= 2(1)kπ(3d)d2iμ2Fχ(p)(det)1/2\displaystyle\frac{2(-1)^{k}}{\pi}\Big{(}\frac{3}{d}\Big{)}^{\frac{d}{2}}\frac{i\mu^{2}F_{\chi}(p)}{(\det\mathcal{M})^{1/2}} (38)
×(3S6)2k+n2Γ(2k+d2+n2)m𝒰m!,\displaystyle\times\Big{(}\frac{3}{S_{6}}\Big{)}^{2k+\frac{n}{2}}\Gamma(2k+\frac{d}{2}+\frac{n}{2})\frac{\partial^{m}\mathcal{U}}{m!},

where Fs(p),F~s(p)F_{s}(p),\tilde{F}_{s}(p) (s=ξ,χs=\xi,\chi) are the Fourier transforms of Fs(x),F~s(x)F_{s}(x),\tilde{F}_{s}(x).

The function Eq. (30) has the expansion

𝒰(a,b,c)=n=0(a)n(a+1b)nn!(c)n,\displaystyle\mathcal{U}(a,b,c)=\sum_{n=0}^{\infty}\frac{(a)_{n}(a+1-b)_{n}}{n!}(-c)^{-n}, (39)

where (a)01,(a)na(a+1)(a+n1)(a)_{0}\equiv 1,(a)_{n}\equiv a(a+1)...(a+n-1). The two limits of m𝒰m!\frac{\partial^{m}\mathcal{U}}{m!} are given by

m𝒰m!{k2mm!(36S4S62)m,km1,m!m2k(k!)2(36S4S62)m,mk1.\displaystyle\frac{\partial^{m}\mathcal{U}}{m!}\rightarrow\begin{cases}\frac{k^{2m}}{m!}\Big{(}-\frac{36S_{4}}{S_{6}^{2}}\Big{)}^{m},\quad&k\gg m\gg 1,\\ \frac{m!m^{2k}}{(k!)^{2}}\Big{(}-\frac{36S_{4}}{S_{6}^{2}}\Big{)}^{m},\quad&m\gg k\gg 1.\end{cases} (40)

from which we see that the asymptotic behaviors, 𝒜k(n)\mathcal{A}_{k}^{(n)} and k,m(n)\mathcal{B}_{k,m}^{(n)} for fixed mm increase factorially as k!k!, while m,k(n)\mathcal{B}_{m,k}^{(n)} for fixed mm increases faster as (k!)2(k!)^{2}, i.e.,

𝒜k(n)\displaystyle\mathcal{A}_{k}^{(n)} \displaystyle\propto (1)k(4S0)kkd2+n21k!,k1\displaystyle(-1)^{k}\Big{(}\frac{4}{S_{0}}\Big{)}^{k}k^{\frac{d}{2}+\frac{n}{2}-1}k!,\quad\quad\quad\quad k\gg 1 (41)
m,k(n)\displaystyle\mathcal{B}_{m,k}^{(n)} \displaystyle\propto {(1)k+m(3S6)2k(36S4S62)mkd+n32+2mm!4k(k!)2,km1(1)k+m(3S6)2k(36S4S62)mkd+n324km2km!,mk1\displaystyle\begin{cases}(-1)^{k+m}\Big{(}\frac{3}{S_{6}}\Big{)}^{2k}\Big{(}\frac{36S_{4}}{S_{6}^{2}}\Big{)}^{m}\frac{k^{\frac{d+n-3}{2}+2m}}{m!}4^{k}(k!)^{2},&k\gg m\gg 1\\ (-1)^{k+m}\Big{(}\frac{3}{S_{6}}\Big{)}^{2k}\Big{(}\frac{36S_{4}}{S_{6}^{2}}\Big{)}^{m}k^{\frac{d+n-3}{2}}4^{k}m^{2k}m!,&m\gg k\gg 1\end{cases} (42)

We are interested in the ϕ4+ϕ6\phi^{4}+\phi^{6} theory in four dimensions, the coupling constants λ4\lambda_{4} and λ6\lambda_{6} are

λ4\displaystyle\lambda_{4} =\displaystyle= g¯4k=2𝒜k(4)g¯4kj,kj,k(4)g¯4jg¯6k,\displaystyle\bar{g}_{4}-\sum_{k=2}^{\infty}\mathcal{A}_{k}^{(4)}\bar{g}_{4}^{k}-\sum_{j,k}\mathcal{B}_{j,k}^{(4)}\bar{g}_{4}^{j}\bar{g}_{6}^{k}, (43)
λ6\displaystyle\lambda_{6} =\displaystyle= k=2𝒜k(6)g¯4k+g¯6j,kj,k(6)g¯4jg¯6k.\displaystyle-\sum_{k=2}^{\infty}\mathcal{A}_{k}^{(6)}\bar{g}_{4}^{k}+\bar{g}_{6}-\sum_{j,k}\mathcal{B}_{j,k}^{(6)}\bar{g}_{4}^{j}\bar{g}_{6}^{k}. (44)

from which we can reexpand g¯n\bar{g}_{n} as a function of λn\lambda_{n}. The leading orders are given by

g¯4\displaystyle\bar{g}_{4} =\displaystyle= λ4+0,1(4)λ6+𝒪(λ42,λ62,λ4λ6),\displaystyle\lambda_{4}+\mathcal{B}^{(4)}_{0,1}\lambda_{6}+\mathcal{O}(\lambda_{4}^{2},\lambda_{6}^{2},\lambda_{4}\lambda_{6}), (45)
g¯6\displaystyle\bar{g}_{6} =\displaystyle= λ6+𝒪(λ42,λ62,λ4λ6).\displaystyle\lambda_{6}+\mathcal{O}(\lambda_{4}^{2},\lambda_{6}^{2},\lambda_{4}\lambda_{6}). (46)

The beta functions have the asymptotic expansion,

dλ4dlogμ\displaystyle\frac{d\lambda_{4}}{d\log\mu} =\displaystyle= k=2𝒜k(4)g¯4kj,kj,k(4)g¯4jg¯6k,\displaystyle-\sum_{k=2}^{\infty}\partial\mathcal{A}_{k}^{(4)}\bar{g}_{4}^{k}-\sum_{j,k}\partial\mathcal{B}_{j,k}^{(4)}\bar{g}_{4}^{j}\bar{g}_{6}^{k}, (47)
\displaystyle\approx k𝒜k(4)[λ4k+(0,1(4)λ6)k]\displaystyle-\sum_{k}\partial\mathcal{A}_{k}^{(4)}[\lambda_{4}^{k}+(\mathcal{B}^{(4)}_{0,1}\lambda_{6})^{k}]
j,k𝒜j+k(4)(j+k)!j!k!λ4j(0,1(4)λ6)k\displaystyle-\sum_{j,k}\partial\mathcal{A}_{j+k}^{(4)}\frac{(j+k)!}{j!k!}\lambda_{4}^{j}(\mathcal{B}^{(4)}_{0,1}\lambda_{6})^{k}
kj,k(4)λ4jλ6k,\displaystyle-\sum_{k}\partial\mathcal{B}_{j,k}^{(4)}\lambda_{4}^{j}\lambda_{6}^{k},
dλ6dlogμ\displaystyle\frac{d\lambda_{6}}{d\log\mu} =\displaystyle= k=2𝒜k(6)g¯4kj,kj,k(6)g¯4jg¯6k,\displaystyle-\sum_{k=2}^{\infty}\partial\mathcal{A}_{k}^{(6)}\bar{g}_{4}^{k}-\sum_{j,k}\partial\mathcal{B}_{j,k}^{(6)}\bar{g}_{4}^{j}\bar{g}_{6}^{k}, (48)
\displaystyle\approx k𝒜k(6)[λ4k+(0,1(4)λ6)k]\displaystyle-\sum_{k}\partial\mathcal{A}_{k}^{(6)}[\lambda_{4}^{k}+(\mathcal{B}^{(4)}_{0,1}\lambda_{6})^{k}]
j,k𝒜k(6)(j+k)!j!k!λ4j(0,1(4)λ6)k\displaystyle-\sum_{j,k}\partial\mathcal{A}_{k}^{(6)}\frac{(j+k)!}{j!k!}\lambda_{4}^{j}(\mathcal{B}^{(4)}_{0,1}\lambda_{6})^{k}
kj,k(6)λ4jλ6k.\displaystyle-\sum_{k}\partial\mathcal{B}_{j,k}^{(6)}\lambda_{4}^{j}\lambda_{6}^{k}.

where 𝒜=logμ𝒜\partial\mathcal{A}=\frac{\partial}{\partial\log\mu}\mathcal{A}.

Equations (41), (42), (47) and (48) are the main results of this section. We see from these results that the inclusion of the ϕ6\phi^{6} term, which is allowed by symmetry in condensed matter systems (and, in any case, is automatically generated in the theory from the ϕ4\phi^{4} term), dramatically changes the asymptotic behavior of the beta function for λ4\lambda_{4}. On the one hand, if λ6λ4\lambda_{6}\sim\lambda_{4}, the asymptotic coefficient of the beta function for λ4\lambda_{4} changes qualitatively from k!k! to (k!)2(k!)^{2}:

0,k(4)\displaystyle\mathcal{B}_{0,k}^{(4)} \displaystyle\propto (6S6)2kkd+12(k!)2,k1.\displaystyle\Big{(}\frac{6}{S_{6}}\Big{)}^{2k}k^{\frac{d+1}{2}}(k!)^{2},\quad k\gg 1. (49)

Thus, we see that the inclusion of λ6\lambda_{6} completely changes the asymptotic behavior of the beta function for λ4\lambda_{4}. In light of Eq. (3), this will in turn change the fate of the Landau pole. On the other hand, even if λ6λ4\lambda_{6}\ll\lambda_{4}, as long as the ϕ6\phi^{6} term is nonzero λ6>0\lambda_{6}>0, the asymptotic form of the second term in Eq. (47) is comparable to the first term of the pure λ4\lambda_{4}, i.e.,

𝒜1+k(4)\displaystyle\partial\mathcal{A}_{1+k}^{(4)} \displaystyle\propto (4S0)kkd2+1k!,k1,\displaystyle\Big{(}\frac{4}{S_{0}}\Big{)}^{k}k^{\frac{d}{2}+1}k!,\quad k\gg 1, (50)

which can also qualitatively change the behavior of the beta function compared to the pure ϕ4\phi^{4} theory. In particular, including the ϕ6\phi_{6} term will result in a new asymptotic series, so even if the pure λ4\lambda_{4} series does not end up with a Landau pole, it is possible that including the ϕ6\phi^{6} term will lead to a Landau pole.

We are not aware of a technique to resum an asymptotic series with multiple variables, but it is still useful to illustrate how the Borel sum of λ4\lambda_{4} is affected by the ϕ6\phi^{6} potential. Notice that a Borel transform Borel1928 will take the function B(g)B(g) with a branch cut at α-\alpha,

B(g)=(1+gα)β1=kBkgk,\displaystyle B(g)=\Big{(}1+\frac{g}{\alpha}\Big{)}^{-\beta-1}=\sum_{k}B_{k}g^{k}, (51)
Bk=(α)k(k+β)!k!β!(α)kkβ,\displaystyle B_{k}=(-\alpha)^{k}\frac{(k+\beta)!}{k!\beta!}\rightarrow(-\alpha)^{k}k^{\beta}, (52)

to a series W(g)=kWkgkW(g)=\sum_{k}W_{k}g^{k} whose asymptotic coefficient is given by

Wk(α)kkβk!.\displaystyle W_{k}\rightarrow(-\alpha)^{k}k^{\beta}k!. (53)

Comparing Eq. (53) to Eqs. (41) and (42), a naive Borel sum without considering the ϕ6\phi^{6} potential is given by

B(0)(λ4)(1+S04λ4)4.\displaystyle B^{(0)}(\lambda_{4})\sim\Big{(}1+\frac{S_{0}}{4}\lambda_{4}\Big{)}^{-4}. (54)

The presence of λ6\lambda_{6} leads to a different (naive) Borel sum that at kk-th order has the form

B(k)(λ4)λ6k(1+S6236S4λ4)2k1.\displaystyle B^{(k)}(\lambda_{4})\sim\lambda_{6}^{k}\Big{(}1+\frac{S_{6}^{2}}{36S_{4}}\lambda_{4}\Big{)}^{-2k-1}. (55)

It is apparent that these Borel sums lead to different asymptotic behaviors. Nevertheless, we need to emphasize that instead of having multiple Borel sums, like Eqs. (54) and (55), for each power in λ6\lambda_{6}, it is more appropriate to treat the asymptotic expansions of λ4\lambda_{4} and λ6\lambda_{6} on equal footing, because λ6\lambda_{6} has a vanishing radius of convergence.

IV Dirac fermions with Coulomb interactions

In this section, we consider dd-dimensional Dirac fermions with Coulomb interactions. Ultimately, we are interested in Dirac fermions in graphene, where d=2+1d=2+1, with Coulomb interactions. This is the condensed matter analog of QED in the context of Landau poles. To have a local quantum field theory, one can implement a Hubbard-Stratonovich transformation to decouple the Coulomb interaction by introducing a scalar field. The theory under consideration is then given by Son2007

S\displaystyle S =\displaystyle= ddx(ψ¯γ00ψ+vψ¯i=1d1γiiψ+igϕψ¯γ0ψ)\displaystyle\int d^{d}x(\bar{\psi}\gamma^{0}\partial_{0}\psi+v\bar{\psi}\sum_{i=1}^{d-1}\gamma^{i}\partial_{i}\psi+ig\phi\bar{\psi}\gamma^{0}\psi) (56)
+12d4xi=13(iϕ)2,\displaystyle+\frac{1}{2}\int d^{4}x\sum_{i=1}^{3}(\partial_{i}\phi)^{2},

where ψ\psi (ϕ\phi) refers to the four-component Dirac fermion (the Hubbard-Stratonovich scalar field), and vv (ee) refers to the Fermi velocity (the coupling strength). γμ\gamma^{\mu}, μ=0,,d1\mu=0,...,d-1, denotes the 4×44\times 4 γ\gamma matrices. The effective interaction strength is given by α=Ng216v\alpha=\frac{Ng^{2}}{16v} (also known as the fine structure constant), where N=2N=2 is the spin degeneracy, and g2=2e2(1+ε)ϵ0g^{2}=\tfrac{2e^{2}}{(1+\varepsilon)\epsilon_{0}}, where ε\varepsilon is the background dielectric constant (which in general can be >1>1 in solid state systems), and ϵ0\epsilon_{0} is the vacuum permittivity. (Note that the definition of α\alpha used here contains an additional factor of πN/4\pi N/4 compared to that used in Ref. SDS2014 .)

As in the previous analysis of critical quantum magnets, we calculate the behavior of the beta function of the fine structure constant at both small and large orders of perturbation theory. Small-order terms can be calculated using either the standard perturbation theory in α\alpha or a large-NN analysis in which 1/N1/N is the expansion parameter. Here, we review the results obtained previously for both methods Son2007 ; Hofmann2014 ; SDS2014 , and we discuss their implications for the Landau pole problem. To our knowledge, the large-order terms of the asymptotic series in α\alpha had not been computed prior to the present work. Here, we obtain these by first integrating out the Dirac fermion and then using a saddle-point approximation similar to the one employed in the previous section on quantum magnets.

IV.1 Small orders

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 2: (a) The polarization of the scalar field. The solid line (single-dashed) represents the Dirac fermion propagator (the bare scalar propagator). (b-d) The 1/N order Feynman diagrams. The double-dashed line represents the screened scalar propagator.

The two-loop beta equation was calculated in Ref. SDS2014 for the case of graphene (where d=2+1d=2+1 and we have N=2N=2 flavors of four-component Dirac fermions),

dαdlogμ=f1α2+f2α3,\displaystyle\frac{d\alpha}{d\log\mu}=f_{1}\alpha^{2}+f_{2}\alpha^{3}, (57)

where α=g28v\alpha=\frac{g^{2}}{8v}, and f1=12πf_{1}=\frac{1}{2\pi}, and f2=2log28/3π2f_{2}=\frac{2\log 2-8/3}{\pi^{2}}. Importantly, we see that f2<0f_{2}<0, so when α\alpha becomes large, the negative α3\alpha^{3} term dominates and prohibits α\alpha from becoming larger. Therefore, the Landau pole is replaced by a fixed point at α=f1f2\alpha^{\ast}=-\frac{f_{1}}{f_{2}}. This is similar to the ϕ4+ϕ6\phi^{4}+\phi^{6} theory in the previous section. (A similar strong-coupling fixed point is found in the direct nonperturbative numerical simulation of the usual (3+1)-dimensional QED on the lattice in Ref. Stuben1998 , where the Landau pole was found to lie in a region of the parameter space made inaccessible by a strong-coupling chiral symmetry-breaking transition.) However, evidence for the two-loop critical point in Eq. (57) has not been observed in graphene experiments, suggesting that the second-order perturbation theory in α\alpha may not be reliable, as was argued in Ref. SDS2014 . In particular, the existence of such a possible strong-coupling fixed point preempting the Landau pole may necessitate a stability analysis going to higher orders. For example, if the two terms in Eq. (57) were the leading terms of a geometric series, then the result to all orders would be SDS2014

dαdlogμ=f12α2f1f2α,\displaystyle\frac{d\alpha}{d\log\mu}=f_{1}^{2}\frac{\alpha^{2}}{f_{1}-f_{2}\alpha}, (58)

which gives rise to β(α1)α2\beta(\alpha\ll 1)\propto\alpha^{2} at small α\alpha, and β(α1)α\beta(\alpha\gg 1)\propto\alpha at large α\alpha. This time there is no ultraviolet fixed point in the theory defined by Eq. (58), and the coupling grows indefinitely with energy scale. There is still no Landau pole, but the mechanism by which it is avoided is quite different. A one-loop theory with just the first term in Eq. (57) clearly has a Landau pole whereas neither the full Eq. (57) with both terms or the resummed theory of Eq. (58) has a Landau pole (albeit for very different reasons). This illustrates how leading-order one-loop perturbative calculations can be misleading when it comes to determining the existence of a Landau pole in a given theory. Similar trends can occur in large-NN calculations, as we now discuss in the case of graphene.

Besides expanding in the coupling strength, it is often useful to consider a large-NN expansion (in the number of fermion flavors rather than a perturbative expansion in the coupling constant) instead, especially when the bare coupling parameter is not small. This is the situation for free-standing graphene, where αbare3.4\alpha_{\text{bare}}\approx 3.4, suggesting that an expansion in powers of 1/N1/N with N=2N=2 would be more reliable than an expansion in powers of αbare\alpha_{\text{bare}} (simply by virtue of the fact that α>1\alpha>1 and 1/N<11/N<1). This was confirmed in Ref. Hofmann2014 . In the following, we review the large-NN calculation for graphene and show that a Ward identity guarantees that only one parameter, the Fermi velocity, renormalizes. Moreover, we show that the beta function obtained from the leading-order large-NN calculation does not exhibit a Landau pole. We believe that the same remains true for the next-to-leading-order theory in 1/N1/N also, which is likely to produce only small quantitative corrections to the leading order 1/N1/N theory.

The leading large-NN diagram shown in Fig. 2 gives rise to the dressed boson propagator,

D(q)=(2|q|+g2N8|q|2q2)1,\displaystyle D(q)=\Big{(}2|\vec{q}|+\frac{g^{2}N}{8}\frac{|\vec{q}|^{2}}{\sqrt{q^{2}}}\Big{)}^{-1}, (59)

where q2=q02+|q|2q^{2}=q_{0}^{2}+|\vec{q}|^{2}. The Feynman diagrams at the next order are shown in Figs. 2-2. Before calculating these diagrams, it is worth noting that there is a residual gauge invariance in Eq. (56) corresponding to the transformation

ψeiθ(τ)ψ,ϕϕ1gτθ(τ),\displaystyle\psi\rightarrow e^{i\theta(\tau)}\psi,\quad\phi\rightarrow\phi-\frac{1}{g}\partial_{\tau}\theta(\tau), (60)

where θ\theta is an arbitrary function of τ\tau. This residual gauge symmetry leads to the Ward identity,

p0Γ3(p0,p;q0,q)=ig[G(q0+p0,q)1G(q0,q)1],\displaystyle p_{0}\Gamma_{3}(p_{0},\vec{p};q_{0},\vec{q})=ig[G(q_{0}+p_{0},\vec{q})^{-1}-G(q_{0},\vec{q})^{-1}], (61)

where Γ3\Gamma_{3} is the vertex function, and G1G^{-1} is the inverse fermion propagator. This Ward identity is similar to the Ward identity in standard QED where the photon is dynamical, except that here it only involves the temporal component. The Ward identity relates the charge renormalization factor to the anomalous dimension of the scalar field.

While the Dirac fermion is confined to a two-dimensional plane, the scalar field in Eq. (56) can propagate in the full three-dimensional space. Thus, the backreaction from the Dirac fermion is restricted within the two-dimensional plane, and so it does not lead to an anomalous dimension for the scalar field. Technically, this is because the scalar propagator is nonlocal in the plane D01(q)|q|D^{-1}_{0}(q)\sim|\vec{q}|, and thus it does not receive corrections. As a result, according to the Ward identity, the charge does not renormalize. The only parameter in Eq. (56) that does renormalize is the Fermi velocity vv, or equivalently, the dynamical exponent z=1+γvz=1+\gamma_{v}, where γv\gamma_{v} is the anomalous dimension of Fermi velocity. Note that this is not true for the theory in 3+1 dimensions, because the scalar field can have a finite anomalous dimension in that case, leading to two independent parameters in 3+1 dimensions.

In light of the above discussion, the only Feynman diagram we need to evaluate is Fig. 2, because the vertex correction can be inferred from the self-energy correction by the Ward identity. Using the results from Ref. Son2007 , we get the fermion self-energy,

Σ(p)=4Nπ2[f0(α)p0γ0+f1(α)pγ]logμ.\displaystyle\Sigma(p)=\frac{4}{N\pi^{2}}[f_{0}(\alpha)p_{0}\gamma^{0}+f_{1}(\alpha)\vec{p}\cdot\vec{\gamma}]\log{\mu}. (62)

where

f1(α)={1α2αarccosα1+π2α,α<1α21αlog(α+α21)1+π2α,α>1\displaystyle f_{1}(\alpha)=\begin{cases}-\frac{\sqrt{1-\alpha^{2}}}{\alpha}\arccos\alpha-1+\frac{\pi}{2\alpha},&\alpha<1\\ \frac{\sqrt{\alpha^{2}-1}}{\alpha}\log(\alpha+\sqrt{\alpha^{2}-1})-1+\frac{\pi}{2\alpha},&\alpha>1\end{cases}
(63)
f0(α)={2α2α1α2arccosα2+πα,α<1α22αα21log(α+α21)2+πα,α>1\displaystyle f_{0}(\alpha)=\begin{cases}-\frac{2-\alpha^{2}}{\alpha\sqrt{1-\alpha^{2}}}\arccos\alpha-2+\frac{\pi}{\alpha},&\alpha<1\\ \frac{\alpha^{2}-2}{\alpha\sqrt{\alpha^{2}-1}}\log(\alpha+\sqrt{\alpha^{2}-1})-2+\frac{\pi}{\alpha},&\alpha>1\end{cases}

from which we can extract the dynamical exponent, 1z=4π2N[f1(α)f0(α)]1-z=\frac{4}{\pi^{2}N}[f_{1}(\alpha)-f_{0}(\alpha)], and the beta equation,

αlogμ\displaystyle\frac{\partial\alpha}{\partial\log\mu} =\displaystyle= (1z)α.\displaystyle(1-z)\alpha. (65)

We can expand the beta function at small and large α\alpha:

β(α)={1N(1πα283π2α3+O(α4)),α11N(4π2α4π+O(α1)).α1\displaystyle\beta(\alpha)=\begin{cases}\frac{1}{N}\Big{(}\frac{1}{\pi}\alpha^{2}-\frac{8}{3\pi^{2}}\alpha^{3}+O(\alpha^{4})\Big{)},\quad&\alpha\ll 1\\ \frac{1}{N}\Big{(}\frac{4}{\pi^{2}}\alpha-\frac{4}{\pi}+O(\alpha^{-1})\Big{)}.\quad&\alpha\gg 1\end{cases} (66)

It is apparent that there is no Landau pole because β(α1)α\beta(\alpha\gg 1)\propto\alpha. Instead, the coupling diverges as the energy scale goes to infinity. However, if we expanded perturbatively in α\alpha (and also in 1/N1/N), and retained terms up to order α3\alpha^{3}, we would erroneously conclude that there is a fixed point at α=3π/8\alpha=3\pi/8. This is similar to the fixed point [c.f. Eq. (57)] we found from our original perturbation theory in α\alpha above. Of course, if we instead stopped at order α2\alpha^{2}, we would obtain β(α1)=α2πN\beta(\alpha\ll 1)=\frac{\alpha^{2}}{\pi N}, and we would conclude that there is a Landau pole as in the leading-order perturbative 1-loop theory [i.e., Eq. (57) with just the first term on the right-hand side]. Thus, we see that truncating the series at a low order in α\alpha can produce misleading results about the Landau pole issue. This is again an indication that the Landau pole in graphene, which is apparent in the 1-loop perturbative RG theory as in the original QED context Landau1954 , may be an artifact of perturbation theory.

IV.2 Large orders

Now we turn to the large-order expansion of the beta function. Because of the fermionic nature of Dirac fields, the saddle-point analysis is not directly applicable. We can circumvent this problem by integrating over the Grassmanian field, which results in a functional determinant. In the strong-coupling limit, the determinant can be evaluated using the quasilocal approximation (see Appendix D), which then yields an effective action involving just the scalar field Zinn-Justin1981 ; Parisi1977a . In the following, we start from this effective action and apply a saddle-point analysis to obtain the large-order expansion of the beta function.

The effective action is given by Zinn-Justin1981 ; Parisi1977b ; Parisi1978

S\displaystyle S =\displaystyle= d4x12(ϕ)2+ddxαd|ϕ|d,\displaystyle\int d^{4}x\frac{1}{2}(\nabla\phi)^{2}+\int d^{d}x\alpha_{d}|\phi|^{d}, (67)

where αd=2Γ(d/2)(4π)d/2Nvd1(g2)d/2\alpha_{d}=\frac{2\Gamma(-d/2)}{(4\pi)^{d/2}}\frac{N}{v^{d-1}}(g^{2})^{d/2}. Notice that it involves a different combination of gg and vv because of the different approximation we implement in the large-order series. However, in 2+12+1 dimensions, since from the previous subsection we know that the RG correction to the charge gg vanishes and all RG effects come from the renormalization of the Fermi velocity vv, α3=13πNv2|g|3\alpha_{3}=\frac{1}{3\pi}\frac{N}{v^{2}}|g|^{3} is directly connected to α\alpha in the weak-coupling expansion approach. The large-order perturbation series for Dirac fermions with Coulomb interactions is equivalent to that of the effective scalar field theory given by Eq. (67). The potential term in Eq. (67) leads to a branch cut in the nn-point correlation function for αd(,0)\alpha_{d}\in(-\infty,0). This allows us to use similar techniques as before to evaluate the asymptotic expansion of the correlation function.

The equation of motion that follows from Eq. (67) is

2ϕc+dαdsign(ϕc)|ϕc|d1δ(4d)(z)=0,\displaystyle-\nabla^{2}\phi_{c}+d\alpha_{d}\text{sign}(\phi_{c})|\phi_{c}|^{d-1}\delta^{(4-d)}(z_{\perp})=0, (68)

where zz_{\perp} denotes the coordinates perpendicular to the spacetime where the Dirac fermions live. For instance, z=zz_{\perp}=z is the direction perpendicular to the plane where the Dirac fermions are confined in the case of d=2+1d=2+1 dimensions (graphene). The equation of motion is solved by ϕc=|dαd|1d2η\phi_{c}=|d\alpha_{d}|^{-\frac{1}{d-2}}\eta, where η\eta is a solution to the differential equation 2ηsign(η)|η|d1δ(4d)(z)=0-\nabla^{2}\eta-\text{sign}(\eta)|\eta|^{d-1}\delta^{(4-d)}(z_{\perp})=0. Note that here αd<0\alpha_{d}<0 since we want to apply the saddle-point technique. The on-shell action is

Son-shell=d22d|αd|2d2Sd,\displaystyle S_{\text{on-shell}}=\frac{d-2}{2d}|\alpha_{d}|^{-\frac{2}{d-2}}S_{d}, (69)

where Sd=ddxd2d2|η|dS_{d}=\int d^{d}xd^{-\frac{2}{d-2}}|\eta|^{d} is a positive constant independent of αd\alpha_{d}.

At each time τ\tau, the field configuration can be expressed by an orthogonal basis φj(x)\varphi_{j}(\vec{x})

ϕ(τ,x)=ϕc(xx0)+jfj(τ)φj(x).\displaystyle\phi(\tau,\vec{x})=\phi_{c}(\vec{x}-\vec{x}_{0})+\sum_{j}f_{j}(\tau)\varphi_{j}(\vec{x}). (70)

We can change the functional integration measure to x0\vec{x}_{0} and fjf_{j}. The Jacobian associated with the change of variables is given by

J\displaystyle J =\displaystyle= [id4x(iϕc)2]1/2=[Sd3|αd|2d2]3/2,\displaystyle\left[\prod_{i}\int d^{4}x(\partial_{i}\phi_{c})^{2}\right]^{1/2}=\left[\frac{S_{d}}{3|\alpha_{d}|^{\frac{2}{d-2}}}\right]^{3/2}, (71)

and the quadratic kernel around the saddle-point solutions is

(x,x)=δ2S[ϕc]δϕc(x)δϕc(x)\displaystyle\mathcal{M}(x,x^{\prime})=\frac{\delta^{2}S[\phi_{c}]}{\delta\phi_{c}(x)\delta\phi_{c}(x^{\prime})}
=[2(d1)|η|d2δ(4d)(z)]δ(4)(xx).\displaystyle=\left[-\nabla^{2}-(d-1)|\eta|^{d-2}\delta^{(4-d)}(z_{\perp})\right]\delta^{(4)}(x-x^{\prime}). (72)

It is straightforward to show that this kernel has a negative eigenvalue by projecting it onto η\eta in a manner analogous to Eq. (III.2.1). We again assume that there is an odd number of negative eigenvalues.

We are interested in the nn-point correlation function,

Gn(αd;Xn)=Dϕj=1nϕ(xj)eS.\displaystyle G_{n}(\alpha_{d};X_{n})=\int D\phi\prod_{j=1}^{n}\phi(x_{j})e^{-S}. (73)

In the saddle-point approximation, the imaginary part of this correlation function is

ImGn(αd)\displaystyle{\rm Im}G_{n}(\alpha_{d}) =\displaystyle= 12iϕcJd3x0eS[ϕc]Dϕ\displaystyle\frac{1}{2i}\sum_{\phi_{c}}\int Jd^{3}x_{0}e^{-S[\phi_{c}]}\int D\phi_{\perp}
×j=1nϕ(xj)eddxddxϕ(x)(x,x)ϕ(x)\displaystyle\times\prod_{j=1}^{n}\phi(x_{j})e^{-\int d^{d}xd^{d}x^{\prime}\phi_{\perp}(x)\mathcal{M}(x,x^{\prime})\phi_{\perp}(x)}
=\displaystyle= 1dnd2(Sd3)32Fn(Xn;η)i(det)1/2exp[(2d)Sd2d(αd)2d2](αd)n+3d2,\displaystyle\frac{1}{d^{\frac{n}{d-2}}}\Big{(}\frac{S_{d}}{3}\Big{)}^{\frac{3}{2}}\frac{F_{n}(X_{n};\eta)}{i(\det\mathcal{M})^{1/2}}\frac{\exp\Big{[}\frac{(2-d)S_{d}}{2d(-\alpha_{d})^{\frac{2}{d-2}}}\Big{]}}{(-\alpha_{d})^{\frac{n+3}{d-2}}},

where Fn(Xn;η)=d3x0j=1nη(xjx0)F_{n}(X_{n};\eta)=\int d^{3}x_{0}\prod_{j=1}^{n}\eta(\vec{x}_{j}-\vec{x}_{0}). Because the effective action is scale-invariant, i.e., invariant under η(x)b1η(x/b)\eta(x)\rightarrow b^{-1}\eta(x/b), the scaling freedom needs to be fixed in the path integral. Using a similar method to what is shown in Eq. (35), we arrive at F~n(Xn;η)=Sddlogb2d3x0j=1nb1η(xjx0b)\tilde{F}_{n}(X_{n};\eta)=S_{d}\int d\log b^{2}\int d^{3}x_{0}\prod_{j=1}^{n}b^{-1}\eta(\frac{\vec{x}_{j}-\vec{x}_{0}}{b}). The expansion coefficient is then

Ak(n)(z)\displaystyle A^{(n)}_{k}(z) =\displaystyle= (1)k1dnd2(Sd3)32iF~(Xn;η)(det)1/2\displaystyle(-1)^{k}\frac{1}{d^{\frac{n}{d-2}}}\Big{(}\frac{S_{d}}{3}\Big{)}^{\frac{3}{2}}\frac{i\tilde{F}(X_{n};\eta)}{(\det\mathcal{M})^{1/2}}
×0dzπexp[(2d)Sd2d(z)2d2](z)k+1+n+3d2\displaystyle\times\int_{-\infty}^{0}\frac{dz}{\pi}\frac{\exp\Big{[}\frac{(2-d)S_{d}}{2d}(-z)^{-\frac{2}{d-2}}\Big{]}}{(-z)^{k+1+\frac{n+3}{d-2}}}
=\displaystyle= (1)kd22πdnd2(Sd3)32iF(Xn;η)(det)1/2\displaystyle(-1)^{k}\frac{d-2}{2\pi d^{\frac{n}{d-2}}}\Big{(}\frac{S_{d}}{3}\Big{)}^{\frac{3}{2}}\frac{iF(X_{n};\eta)}{(\det\mathcal{M})^{1/2}}
×(2d(d2)Sd)d22k+3+n2Γ(d22k+n+32).\displaystyle\times\Big{(}\frac{2d}{(d-2)S_{d}}\Big{)}^{\frac{d-2}{2}k+\frac{3+n}{2}}\Gamma\Big{(}\frac{d-2}{2}k+\frac{n+3}{2}\Big{)}.

Comparing Eq. (IV.2) to Eq. (III.2.1), we obtain the large-order expansion of the beta equation:

dαdlogμ\displaystyle\frac{d\alpha}{d\log\mu} =\displaystyle= k𝒞kαdk,\displaystyle\sum_{k}\mathcal{C}_{k}\alpha_{d}^{k}, (76)
𝒞k\displaystyle\mathcal{C}_{k} \displaystyle\propto (1)k(2dd21Sd)d2dkkn+12(d22k)!.\displaystyle(-1)^{k}\Big{(}\frac{2d}{d-2}\frac{1}{S_{d}}\Big{)}^{\frac{d-2}{d}k}k^{\frac{n+1}{2}}\Big{(}\frac{d-2}{2}k\Big{)}!. (77)

The kk-th order expansion coefficient of the beta function is proportional to (d22k)!(\frac{d-2}{2}k)!. It is less than the asymptotic expansion coefficient k!\sim k! in the pure ϕ4\phi^{4} theory in d<4d<4 dimensions. In the (2+1)(2+1)-dimensional Dirac fermion theory with Coulomb interactions, the asymptotic coefficient is proportional to (k2)!(\frac{k}{2})!. Since every term in the asymptotic expansion is bounded by that of a pure ϕ4\phi^{4} model, we can conclude that if there is no Landau pole in pure ϕ4\phi^{4} theory, then there is no Landau pole in the Dirac fermion theory with Coulomb interactions. This is a direct consequence of the fact that the existence of a Landau pole is fully determined by the asymptotic behavior of the beta function, as shown in Eq. (3).

V Discussion and conclusion

Since the seminal works of Wilson Wilson1975 ; Wilson1971 , it has been understood that quantum field theories are essentially effective descriptions of the low-energy and long-wavelength behavior of an underlying physical system, and the quest for an axiomatic foundation of quantum field theories, fashionable during the 1960s, is futile and unnecessary. Such an effective field theory description is of course particularly germane in condensed matter systems where the existence of a physical lattice imposes a real high-energy short-distance cutoff on any continuum description. It is remarkable that such theories can give quantitatively accurate predictions over a wide variety of systems and phenomena, ranging from Kosterlitz–Thouless transitions in Josephson-junction arrays to the tricritical point where water and gas can no longer be distinguished. In the context of particle physics, the Landau pole issue is often viewed as purely academic, because when a pole appears, it is typically at an incredibly high energy scale, and one normally assumes that even if the pole is a real feature of the field theory, the theory itself will likely become invalid by the time this energy is reached. It is difficult to make these statements precise because, in the particle physics context, effective field theories capture the low-energy limit of a system whose high-energy, microscopic degrees of freedom are often unknown. In addition, the continuum is presumably real in particle physics since there is no underlying physical lattice providing a short-distance cutoff. Appealing to the possibility of a theory with the Landau pole becoming inapplicable at high energies (where the pole presumably lies) because some other theories may control the physics at the higher energy scale is not aesthetically pleasing because the disturbing question still remains about the existence of the original theory with the Landau pole (e.g., QED): Is it a well-defined interacting theory or is it trivial?

The Landau pole problem becomes a bit more concrete in condensed matter systems, because the limitations of such theories are typically known and determined by lattice-scale cutoffs. This raises interesting questions: Is it possible for a Landau pole to occur below the lattice-scale cutoff? What would be the experimental implications of this? The effective field theory point of view makes the Landau pole existence question rather subtle though. The fact that all symmetry-allowed terms can become important in the high-energy regime of an effective field theory makes it particularly challenging to determine if a Landau pole arises. Because the Landau pole is by definition a high-energy phenomenon, it does not matter whether these terms influence the low-energy properties of the theory or not. In the critical quantum magnet described by the ϕ4\phi^{4} theory, ϕ2n\phi^{2n} (n>2n>2) potentials are present without question. Although irrelevant to the long-wavelength critical phenomena, the appearance of a ϕ6\phi^{6} potential on top of the ϕ4\phi^{4} theory can significantly change the fate of the Landau pole at high energies (which is a short-distance rather than a long-wavelength phenomenon), as we have shown. On the one hand, at small orders of the beta function, we find that the Landau pole is removed and replaced by a new ultraviolet fixed point because of the coupled RG flow of λ4\lambda_{4} and λ6\lambda_{6}. On the other hand, at large orders, the asymptotic expansion of the beta function gets a large contribution from λ6\lambda_{6}, which can also alter the fate of the Landau pole. What happens if other ϕ2n\phi^{2n} terms are also included in the analysis? Ultimately, it may have to be decided by experiments that probe strong-coupling, high-energy regimes to finally settle the Landau pole issue in condensed matter systems.

We note that there is nothing in principle ruling out the possible existence of a Landau pole in condensed matter systems at energy scales well below the ultraviolet lattice cutoff scale, making the issue relevant both theoretically and experimentally. In fact, rough estimates suggest that this may indeed be the case for systems currently under investigation. The well-studied three-dimensional antiferromagnet TlCuCl3 features an O(3) quantum phase transition realized by tuning the pressure. From Ref. Scammell2015 , the quartic interaction strength at the quantum critical point of TlCuCl3 is estimated to be around λ40.23/4π\lambda_{4}\approx 0.23/4\pi at 11 meV, and accordingly the one-loop calculation predicts that the Landau pole occurs at 3.53.5 meV, which is far below the lattice scale. For comparison, the measured magnon dispersion at zero pressure (in the disordered phase) reaches as high as 77 meV Sigrist2002 , well above the predicted Landau pole energy. In the ordered phase, the reported gap of the longitudinal excitation reaches about 1.21.2 meV Boehm2008 . These facts imply that the predicted Landau pole is within the reach of experiments. A possible signature of a Landau pole could come from the fact that a diverging quartic interaction should cause a strong decay of the longitudinal mode to transversal modes in the ordered phase. This in turn suggests that the decay width should exhibit a significant enhancement if there is a Landau pole. However, existing data shows no evidence of such an increase in the line-width [cf. Ref. Sushkov2011 ]. On the other hand, there has by no means been an exhaustive search, and a systematic experimental survey at energies approaching the lattice scale is required to settle this issue. We believe that experiments in quantum magnets looking for signatures of Landau poles are needed given that the existence of an infinite number of symmetry-allowed field operators (i.e. all the ϕ2n\phi^{2n} terms) in the theory make a decisive theoretical conclusion impossible.

We also examined a second type of condensed matter system (namely, graphene) searching for Landau poles: Dirac fermions in 2+1 dimensions with Coulomb interactions. This is the QED analog of the Landau pole (albeit in two spatial dimensions). We argued with the help of a Ward identity that the renormalization group flow is controlled by a single parameter SDS2014 , the fine structure constant αg2v\alpha\sim\frac{g^{2}}{v} (or equivalently the Fermi velocity). Both perturbation theory in α\alpha and the large-NN expansion to leading order suggest that the Landau pole is absent in graphene. However, keeping only the first few orders in perturbation theory is insufficient to address the issue. Therefore, we also evaluated the coefficients of high-order terms in the asymptotic series using a nonperturbative approach adapted from the Lipatov’s method. Similarly to the case of relativistic fermions with Yukawa type interactions Parisi1977a ; Zinn-Justin1981 , the asymptotic coefficient is, for d<4d<4 dimensions, bounded by that of the four-dimensional pure ϕ4\phi^{4} theory, and consequently graphene is free of Landau poles if the pure ϕ4\phi^{4} theory does not manifest a Landau pole. Moreover, the knowledge of the asymptotic series combined with a few small-order coefficients can be used as the input into a resummation technique that could potentially lead to a resolution of the Landau pole problem that is independent of pure ϕ4\phi^{4} theory in this particular context  Suslov2001 ; Suslov2008 . We leave this technically demanding calculation to future work.

Finally, we point to another direction for possible future investigations. As is apparent from the form of the fine structure constant, small velocities can yield large coupling strengths. It is worth noting that the Fermi velocity at the charge neutrality point in twisted bilayer graphene near the magic angle is extremely small MacDonald2011 ; Cao2018a ; Cao2018b ; SDS2019 . This suggests that this system could be a particularly interesting place to explore the Landau pole problem, assuming the continuum Dirac description is still valid here. We can estimate the Landau pole energy scale using the result for the one-loop beta function, which yields ELvFne2π/αE_{L}\approx\hbar v_{F}\sqrt{n}e^{2\pi/\alpha}, where nn is the carrier density and α\alpha is the effective coupling (fine structure constant). Typical values for these quantities are vF108v_{F}\approx 10^{8} cm/s and n1012n\approx 10^{12} cm-2. For graphene grown on a BN substrate where α0.4π/2\alpha\approx 0.4\pi/2, EL103E_{L}\approx 10^{3} eV, which is several orders of magnitude larger than the lattice cutoff. On the other hand, for suspended graphene where α2.2π/2\alpha\approx 2.2\pi/2, the Landau pole energy is around EL0.4E_{L}\approx 0.4 eV, which is comparable to the lattice scale. Interestingly, for twisted bilayer graphene on hBN where α10π/2\alpha\approx 10\pi/2, the Landau pole energy is further suppressed to EL98E_{L}\approx 98 meV. This suggests that the Landau pole could be very likely within the reach of experiments. A possible signature could come from the fact that the Fermi velocity should be strongly suppressed as the Landau pole energy scale is approached due to the fact that the velocity gets renormalized and scales as 1/α1/\alpha. This in turn could lead to interaction-enhanced dispersion flattening and strong effective couplings that could persist as the system is tuned slightly away from a magic angle. In fact, it was reported in Ref. SDS2019 that the running coupling constant extracted from experiments is not consistent with a one-loop calculation, indicating that intriguing strong-coupling effects may be taking place in twisted bilayer graphene. Such strong interaction effects, in light of our discussion, may provide important insights on the Landau pole problem as it pertains to Dirac fermions. On the other hand, if a small gap is opening up at the Dirac point in the twisted bilayer graphene, then the Dirac description fails at low energies, and the Landau pole issue becomes moot.

It may be useful to emphasize that the detailed analysis of Ref. SDS2019 focusing on the twisted bilayer graphene experiments of Refs. Cao2018a ; Cao2018b and Ref. Young2019 came to the conclusion that the measured effective mass and Fermi velocity near the Dirac cone of low-angle twisted bilayer graphene agrees with strong-coupling nonperturbative theories such as the resummed Borel-Padé perturbation series and the 1/N1/N expansion, while disagreeing very strongly with the one-loop perturbative RG theory. In particular, the one-loop theory predicts a very large renormalization of the effective mass and the Fermi velocity for the large (α10π/2\alpha\sim 10\pi/2) effective fine structure constant in the system, which is simply not observed experimentally. If these preliminary experimental results hold in future measurements in flat band twisted bilayer graphene, where the effective interaction strength is very large, one inevitable conclusion is that the Landau pole as inferred from the running of the coupling implied by the one-loop perturbative RG theory does not exist (and is purely an artifact of the one-loop theory) since the one-loop theory seems unable to quantitatively describe the running of the coupling at large coupling. These preliminary measurements should be repeated in future experiments for a definitive resolution of the question of Landau pole in graphene since its implications extend far beyond graphene all the way to QED, where α1/137\alpha\sim 1/137, and the RG running of the coupling all the way to the Landau pole in laboratory experiments is manifestly impossible. Careful experimental investigation of twisted bilayer graphene near the Dirac point may finally shed light on the 80-year-old question of the existence or not of Landau poles in quantum electrodynamics.

Acknowledgements

S.-K.J. is supported by the Simons Foundation through the It from Qubit Collaboration. S.D.S. is supported by the Laboratory for Physical Sciences and the Microsoft Corporation. E.B. acknowledges support from the National Science Foundation (DMR-1847078).

Appendix A Perturbative renormalization group analysis of ϕ4+ϕ6\phi^{4}+\phi^{6} theory

Since there are two vertices, the structure of Feynman diagrams is

L\displaystyle L =\displaystyle= IV4V6+1,\displaystyle I-V_{4}-V_{6}+1, (78)
E\displaystyle E =\displaystyle= 4V4+6V62I,\displaystyle 4V_{4}+6V_{6}-2I, (79)

where L,IL,I, and EE denote the number of loops, internal propagators, and eternal propagators, and V4V_{4} and V6V_{6} denote the number of four-vertices and six-vertices, respectively. For the RG equation at the one-loop level, the Feynman diagrams contributing to the RG of polarization (V4,V6)=(1,0)(V_{4},V_{6})=(1,0), four-point vertex (2,0),(0,1)(2,0),(0,1), and six-point vertex (1,1),(3,0)(1,1),(3,0) are shown in Figs. 34,and 5.

Refer to caption
Refer to caption
Figure 3: Feynman diagrams contribute to the beta equation of the polarization. The solid line represents the boson propagator of the same index, and the wavy line represent short-range interactions (ϕ4\phi^{4} and ϕ6\phi^{6} vertices).
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 4: Feynman diagrams contribute to the beta equation of the four-point vertex.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 5: Feynman diagrams contribute to the beta equation of the six-point vertex.

The renormalized action coming from the Feynman diagrams is

δS\displaystyle\delta S =\displaystyle= ddx[g4(2N+4)kG(k)ϕ2\displaystyle\int d^{d}x\Big{[}g_{4}(2N+4)\int_{k}G(k)\phi^{2} (80)
+g6(3N+12)kG(k)ϕ4\displaystyle+g_{6}(3N+12)\int_{k}G(k)\phi^{4}
12g42(8N+64)kG(k)2ϕ4\displaystyle-\frac{1}{2}g_{4}^{2}(8N+64)\int_{k}G(k)^{2}\phi^{4}
g4g6(12N+168)kG(k)2ϕ6\displaystyle-g_{4}g_{6}(12N+168)\int_{k}G(k)^{2}\phi^{6}
+16g43(64N+1664)kG(k)3ϕ6].\displaystyle+\frac{1}{6}g_{4}^{3}(64N+1664)\int_{k}G(k)^{3}\phi^{6}\Big{]}.

Using the momentum shell, the loop integrals are

kG(k)\displaystyle\int_{k}G(k) =\displaystyle= kΛ1k2+r=Ad1(2π)dΛ2l1+r¯,\displaystyle\int_{k}^{\Lambda}\frac{1}{k^{2}+r}=\frac{A_{d-1}}{(2\pi)^{d}}\frac{\Lambda^{2}l}{1+\bar{r}}, (81)
kG(k)2\displaystyle\int_{k}G(k)^{2} =\displaystyle= kΛ1(k2+r)2=Ad1(2π)dl(1+r¯)2,\displaystyle\int_{k}^{\Lambda}\frac{1}{(k^{2}+r)^{2}}=\frac{A_{d-1}}{(2\pi)^{d}}\frac{l}{(1+\bar{r})^{2}}, (82)
kG(k)3\displaystyle\int_{k}G(k)^{3} =\displaystyle= kΛ1(k2+r)3=Ad1(2π)dlΛ2(1+r¯)3,\displaystyle\int_{k}^{\Lambda}\frac{1}{(k^{2}+r)^{3}}=\frac{A_{d-1}}{(2\pi)^{d}}\frac{l}{\Lambda^{2}(1+\bar{r})^{3}}, (83)

where kΛΛddk(2π)d=Ad1(2π)dΛelΛkd1𝑑k\int_{k}^{\Lambda}\equiv\int_{\Lambda}\frac{d^{d}k}{(2\pi)^{d}}=\frac{A_{d-1}}{(2\pi)^{d}}\int_{\Lambda e^{-l}}^{\Lambda}k^{d-1}dk, l>0l>0 is the running parameter, and r¯=rΛ2\bar{r}=r\Lambda^{-2}. AdA_{d} is the area of the dd-dimensional unit sphere. Using these integrals, we arrive at the effective action

S\displaystyle S =\displaystyle= ddx[12ϕ2+(12r+g4(2N+4)Ad1(2π)dΛ2l1+r¯)ϕ2\displaystyle\int d^{d}x\Big{[}\frac{1}{2}\partial\phi^{2}+\big{(}\frac{1}{2}r+g_{4}(2N+4)\frac{A_{d-1}}{(2\pi)^{d}}\frac{\Lambda^{2}l}{1+\bar{r}}\big{)}\phi^{2} (84)
+(g4+g6(3N+12)Ad1(2π)dΛ2l1+r¯\displaystyle+\Big{(}g_{4}+g_{6}(3N+12)\frac{A_{d-1}}{(2\pi)^{d}}\frac{\Lambda^{2}l}{1+\bar{r}}
12g42(8N+64)Ad1(2π)dl(1+r¯)2)ϕ4\displaystyle-\frac{1}{2}g_{4}^{2}(8N+64)\frac{A_{d-1}}{(2\pi)^{d}}\frac{l}{(1+\bar{r})^{2}}\Big{)}\phi^{4}
+(g6g4g6(12N+168)Ad1(2π)dl(1+r¯)2\displaystyle+\big{(}g_{6}-g_{4}g_{6}(12N+168)\frac{A_{d-1}}{(2\pi)^{d}}\frac{l}{(1+\bar{r})^{2}}
+16g43(64N+1664)Ad1(2π)dlΛ2(1+r¯)3)ϕ6],\displaystyle+\frac{1}{6}g_{4}^{3}(64N+1664)\frac{A_{d-1}}{(2\pi)^{d}}\frac{l}{\Lambda^{2}(1+\bar{r})^{3}}\big{)}\phi^{6}\Big{]},

which leads to the beta equations in Eqs. (5) and (6) by setting r¯=0\bar{r}=0 to restrict to the critical surface.

Appendix B Zero-dimensional ϕ4+ϕ6\phi^{4}+\phi^{6} theory: a toy model

Here, we study a toy model Zinn-Justin1981 to better illustrate the field theory calculation. The following integral is a zero-dimension ‘toy’ version of the ϕ4\phi^{4} theory:

Z(g4)=12π𝑑xe(12x2+g44x4).\displaystyle Z(g_{4})=\frac{1}{\sqrt{2\pi}}\int dxe^{-(\frac{1}{2}x^{2}+\frac{g_{4}}{4}x^{4})}. (85)

The integral can be done analytically,

Z(g4)=e18g4K14(18g4)2πg4,\displaystyle Z(g_{4})=\frac{e^{\frac{1}{8g_{4}}}K_{\frac{1}{4}}(\frac{1}{8g_{4}})}{2\sqrt{\pi g_{4}}}, (86)

where KK is the modified Bessel function of the second kind. It is apparent that Z(g4)Z(g_{4}) has a branch cut at g4(,0)g_{4}\in(-\infty,0) if one analytically continues g4g_{4} to the complex plane. As a result, the integral is controlled by the branch cut, namely,

Z(g4)=0dz2πiZ(z+iϵ)Z(ziϵ)zg4=0dzπImZ(z)zg4.\displaystyle Z(g_{4})=\int_{-\infty}^{0}\frac{dz}{2\pi i}\frac{Z(z+i\epsilon)-Z(z-i\epsilon)}{z-g_{4}}=\int_{-\infty}^{0}\frac{dz}{\pi}\frac{{\rm Im}Z(z)}{z-g_{4}}.

We are interested in getting the asymptotic expansion at the strong-coupling limit,

Z(g4)=k=0Akg4k,k.\displaystyle Z(g_{4})=\sum_{k=0}^{\infty}A_{k}g_{4}^{k},\quad k\rightarrow\infty. (88)

To get the answer, it is straightforward to expand the integral

Z(g4)=12π𝑑xe12x2k(1)kk!4kx4kg4k,\displaystyle Z(g_{4})=\frac{1}{\sqrt{2\pi}}\int dxe^{-\frac{1}{2}x^{2}}\sum_{k}\frac{(-1)^{k}}{k!}4^{-k}x^{4k}g_{4}^{k}, (89)

from which

Ak=(1)kπΓ(2k+12)k!(1)k2π4k(k1)!,\displaystyle A_{k}=\frac{(-1)^{k}}{\sqrt{\pi}}\frac{\Gamma(2k+\frac{1}{2})}{k!}\rightarrow\frac{(-1)^{k}}{\sqrt{2}\pi}4^{k}(k-1)!, (90)

where we have used the Stirling’s formula and the identity

Γ(n+12)=(2n)!4nn!π.\displaystyle\Gamma(n+\frac{1}{2})=\frac{(2n)!}{4^{n}n!}\sqrt{\pi}. (91)

We see that the asymptotic expansion is not convergent.

There is another way to get the asymptotic expansion, which relates the expansion coefficient to the branch cut of g4g_{4}. To get the expansion coefficient, we use

Ak\displaystyle A_{k} =\displaystyle= [1k!kg4k0dzπImZ(z)zg4]g4=0=0dzπImZ(z)zk+1,\displaystyle\Big{[}\frac{1}{k!}\frac{\partial^{k}}{\partial g_{4}^{k}}\int_{-\infty}^{0}\frac{dz}{\pi}\frac{{\rm Im}Z(z)}{z-g_{4}}\Big{]}_{g_{4}=0}=\int_{-\infty}^{0}\frac{dz}{\pi}\frac{{\rm Im}Z(z)}{z^{k+1}},

from which we know the expansion coefficient through the imaginary part of Z(g4)Z(g_{4}) at the branch cut.

When g4g_{4} is negative, one needs to continue the variable xx to make the integral converged. For g4±g4±ϵg_{4\pm}\equiv g_{4}\pm\epsilon, making xρeiθx\equiv\rho e^{i\theta}, the ϕ4\phi^{4} potential in Eq. (85) is given by

g4±4x4\displaystyle\frac{g_{4\pm}}{4}x^{4} =\displaystyle= |g4|4ρ4e±iπ+i4θ\displaystyle\frac{|g_{4}|}{4}\rho^{4}e^{\pm i\pi+i4\theta} (93)
=\displaystyle= |g4|4ρ4[cos(±π+4θ)+isin(±π+4θ)],\displaystyle\frac{|g_{4}|}{4}\rho^{4}[\cos(\pm\pi+4\theta)+i\sin(\pm\pi+4\theta)],

Thus, we can use a different contour at |x|1|x|\gg 1 for g4±g_{4\pm}:

g4=g4+,3π8<θ<π8,\displaystyle g_{4}=g_{4+},\quad-\frac{3\pi}{8}<\theta<-\frac{\pi}{8}, (94)
g4=g4,π8<θ<3π8.\displaystyle g_{4}=g_{4-},\quad\frac{\pi}{8}<\theta<\frac{3\pi}{8}. (95)

Instead of evaluating the integral directly, we can use the saddle point approximation, which can be extended to the field theory. The saddle point equation is

x+g4x3=0,\displaystyle x+g_{4}x^{3}=0, (96)

where the saddle points are x=0x=0 and x=±1g4x=\pm\frac{1}{\sqrt{-g_{4}}}. Apparently, x=0x=0 does not contribute to the imaginary part. And the other two saddle points lead to the contribution

ImZ(z)\displaystyle{\rm Im}Z(z) =\displaystyle= 12ixs=±1z12πe(12xs2+z4xs4)ii𝑑xex2\displaystyle\frac{1}{2i}\sum_{x_{s}=\pm\frac{1}{\sqrt{-z}}}\frac{1}{\sqrt{2\pi}}e^{-(\frac{1}{2}x_{s}^{2}+\frac{z}{4}x_{s}^{4})}\int_{i\infty}^{-i\infty}dxe^{x^{2}} (97)
=\displaystyle= 12e14z.\displaystyle-\frac{1}{\sqrt{2}}e^{\frac{1}{4z}}.

Thus we get the coefficient

Ak\displaystyle A_{k} =\displaystyle= 0dz2π1zk+1e14z=(1)k2π4kΓ(k)\displaystyle-\int_{-\infty}^{0}\frac{dz}{\sqrt{2}\pi}\frac{1}{z^{k+1}}e^{\frac{1}{4z}}=\frac{(-1)^{k}}{\sqrt{2}\pi}4^{k}\Gamma(k) (98)
=\displaystyle= (1)k2π4k(k1)!.\displaystyle\frac{(-1)^{k}}{\sqrt{2}\pi}4^{k}(k-1)!.

It is precisely the asymptotic expansion shown in Eq. (90). From this lesson, we know that it is the unstable saddle point giving rise to the imaginary contribution, and consequently to the asymptotic expansion.

Now let us consider another integral that is the zero-dimensional version of the ϕ4+ϕ6\phi^{4}+\phi^{6} theory,

Z(g4,g6)=12π𝑑xeS(x),\displaystyle Z(g_{4},g_{6})=\frac{1}{\sqrt{2\pi}}\int dxe^{-S(x)}, (99)
S(x)=12x2+g44x4+g66x6.\displaystyle S(x)=\frac{1}{2}x^{2}+\frac{g_{4}}{4}x^{4}+\frac{g_{6}}{6}x^{6}. (100)

Unlike the zero-dimensional ϕ4\phi^{4} integral, Z(g4,g6)Z(g_{4},g_{6}) is analytic for all g4g_{4} as long as g6>0g_{6}>0. The branch cut comes from g6(,0)g_{6}\in(-\infty,0). So we can use the same strategy to get the asymptotic expansion coefficient of g6g_{6}. The asymptotic expansion of Z(g4,g6)Z(g_{4},g_{6}) is given by

Z(g4,g6)kAkg4k+k>0Bk(g4)g6k,\displaystyle Z(g_{4},g_{6})\rightarrow\sum_{k}A_{k}g_{4}^{k}+\sum_{k^{\prime}>0}B_{k^{\prime}}(g_{4})g_{6}^{k^{\prime}}, (101)

where AkA_{k} is given by Eq. (98). Similar to Eq. (B), the asymptotic expansion of g6g_{6} is given by

Bk(g4)=0dzπImZ(g4,z)zk+1.\displaystyle B_{k}(g_{4})=\int_{-\infty}^{0}\frac{dz}{\pi}\frac{{\rm Im}Z(g_{4},z)}{z^{k+1}}. (102)

We can use the saddle-point approximation to get the imaginary part of the integral. In the following, we consider g4g_{4} as a small perturbation. The saddle-point equation is (g4=0,g6<0g_{4}=0,g_{6}<0)

x+g6x5=0,\displaystyle x+g_{6}x^{5}=0, (103)

and the saddle-points are (for g6<0g_{6}<0) x=0,xc=±1(g6)1/4x=0,x_{c}=\pm\frac{1}{(-g_{6})^{1/4}}. The quadratic fluctuation near the saddle point solution is given by

S(δx)\displaystyle S(\delta x) \displaystyle\approx g44g6+13g62δx2,\displaystyle-\frac{g_{4}}{4g_{6}}+\frac{1}{3\sqrt{-g_{6}}}-2\delta x^{2}, (104)

where we include g44x4\frac{g_{4}}{4}x^{4} as a perturbation. As expected from the unstable solution, the fluctuation has a negative mass. This contributes to the imaginary part of integral, namely, the imaginary part of the integral is given by

ImZ(g4,g6)\displaystyle{\rm Im}Z(g_{4},g_{6}) =\displaystyle= 12ix=xc12πii𝑑δxeS(δx)\displaystyle\frac{1}{2i}\sum_{x=x_{c}}\frac{1}{\sqrt{2\pi}}\int_{i\infty}^{-i\infty}d\delta xe^{-S(\delta x)} (105)
=\displaystyle= 12eg44g613g6,\displaystyle-\frac{1}{2}e^{\frac{g_{4}}{4g_{6}}-\frac{1}{3\sqrt{-g_{6}}}},

from which we can get the asymptotic expansion

Bk(g4)=(1)kπg4kΓ(2k)U(k,12,19g4),\displaystyle B_{k}(g_{4})=\frac{(-1)^{k}}{\pi}g_{4}^{-k}\Gamma(2k)U\Big{(}k,\frac{1}{2},\frac{1}{9g_{4}}\Big{)}, (106)

where UU is the confluent hypergeometric function.

Thus the theory has at least two fates. On the one hand, if g4g6g_{4}\gg g_{6}, the asymptotic expansion coefficient of g6g_{6} vanishes,

limg4Bk(g4)=0.\displaystyle\lim_{g_{4}\rightarrow\infty}B_{k}(g_{4})=0. (107)

The expansion is controlled by AkA_{k} in Eq. (98) as expected. On the other hand, if g4g6g_{4}\ll g_{6}, we recover the asymptotic expansion of the pure ϕ6\phi^{6} integral,

limg40Bk(g4)=(1)kπ9kΓ(2k)(1)k62k2(πk)3/2(k!)2.\displaystyle\lim_{g_{4}\rightarrow 0}B_{k}(g_{4})=\frac{(-1)^{k}}{\pi}9^{k}\Gamma(2k)\rightarrow\frac{(-1)^{k}6^{2k}}{2(\pi k)^{3/2}}(k!)^{2}. (108)

To check this, it is straightforward to calculate the coefficient directly,

Bk(0)\displaystyle B_{k}(0) =\displaystyle= (16)kk!12π𝑑xx6ke12x2\displaystyle\frac{(-\frac{1}{6})^{k}}{k!}\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}dxx^{6k}e^{-\frac{1}{2}x^{2}} (109)
=\displaystyle= (43)kπΓ(3k+12)Γ(k+1)(1)k62k2(πk)3/2(k!)2.\displaystyle\frac{(-\frac{4}{3})^{k}}{\sqrt{\pi}}\frac{\Gamma(3k+\frac{1}{2})}{\Gamma(k+1)}\rightarrow\frac{(-1)^{k}6^{2k}}{2(\pi k)^{3/2}}(k!)^{2}.

We can see that the results from the saddle-point approximation exactly reproduce the asymptotic expansion. More importantly, different from the ϕ4\phi^{4} integral, the asymptotic coefficient of the ϕ6\phi^{6} integral increases as (k!)2(k!)^{2}, which is qualitatively different from that of the ϕ4\phi^{4} theory.

Appendix C Saddle-point solutions of ϕ4\phi^{4} and ϕ6\phi^{6} theories

The saddle-point equation for pure, massless ϕ4\phi^{4} theory is

2ξ+ξ3=0.\partial^{2}\xi+\xi^{3}=0. (110)

We assume that ξ(x)\xi(x) is spherically symmetric, i.e., it only depends on x2=i=1dxi2x^{2}=\sum_{i=1}^{d}x_{i}^{2}, where dd is the dimension of the (Euclidean) spacetime. Writing f(y)=ξ(x)f(y)=\xi(x) where yx2y\equiv x^{2}, Eq. (110) becomes

4yf′′(y)+2df(y)+f3(y)=0.4yf^{\prime\prime}(y)+2df^{\prime}(y)+f^{3}(y)=0. (111)

In d=4d=4 dimensions, the solution to this equation is

f(y)=c+2ysn(c22log(y/y0)|c+2c),f(y)=\sqrt{\frac{c+2}{y}}\hbox{sn}\left(\frac{\sqrt{c}}{2\sqrt{2}}\log(y/y_{0})\bigg{|}\frac{c+2}{c}\right), (112)

where sn(w,m)\hbox{sn}(w,m) is the Jacobi elliptic function, and y0y_{0} and cc are integration constants. For c0c\approx 0, this reduces to

f(y)=16cy0cy+32y0.f(y)=\frac{16\sqrt{cy_{0}}}{cy+32y_{0}}. (113)

If we then set c=±2c=\pm 2 and y0=±1/16y_{0}=\pm 1/16, this becomes

f(y)=±221+y.f(y)=\pm\frac{2\sqrt{2}}{1+y}. (114)

The fact that we can set c=±2c=\pm 2 in the last step and still obtain a valid solution is a consequence of the scale invariance of Eq. (110). Does Eq. (112) contain other valid solutions beyond Eq. (114)? To answer this question, we return to Eq. (111) and analyze the large yy behavior. As yy\to\infty, we require f(y)0f(y)\to 0 because we need the action at the saddle point, S0=ddxξ4(x)S_{0}=\int d^{d}x\xi^{4}(x), to be finite so that it makes a non-negligible contribution to the correlation function. In this limit, the f3(y)f^{3}(y) term either decays more quickly than the other two terms in Eq. (111) or it is comparable to them. If it is comparable, then the solution behaves as

f(y)±d3yasy.f(y)\to\pm\frac{\sqrt{d-3}}{\sqrt{y}}\quad\hbox{as}\quad y\to\infty. (115)

This implies that ξ(x)1/|x|\xi(x)\sim 1/|x| as |x||x|\to\infty, which in turn leads to a divergent action, S0S_{0}\to\infty, for dimension d4d\geq 4. Therefore, we discard such solutions and instead consider the case where the f3(y)f^{3}(y) decays faster than the other terms in Eq. (111). In this case, the asymptotic behavior of f(y)f(y) is

f(y)cy1d/2asy,f(y)\to cy^{1-d/2}\quad\hbox{as}\quad y\to\infty, (116)

where cc is a constant. This yields ξ(x)|x|2d\xi(x)\sim|x|^{2-d} as |x||x|\to\infty, and the action is finite for d3d\geq 3. When d=4d=4, this asymptotic behavior is of course the same as that of Eq. (114). The constant cc in Eq. (116) is again a reflection of the scale-invariance of the solutions, and so we conclude that the only two solutions with finite action are those given in Eq. (114).

The saddle-point equation for pure, massless ϕ6\phi^{6} theory is

2χ+χ5=0.\partial^{2}\chi+\chi^{5}=0. (117)

We again assume that χ(x)\chi(x) is spherically symmetric, in which case Eq. (117) reduces to

4yg′′(y)+2dg(y)+g5(y)=0,4yg^{\prime\prime}(y)+2dg^{\prime}(y)+g^{5}(y)=0, (118)

where g(y)=χ(x)g(y)=\chi(x). We require that the solutions vanish as yy\to\infty so that S6=ddxχ6(x)<S_{6}=\int d^{d}x\chi^{6}(x)<\infty. If g5(y)g^{5}(y) is comparable to the other two terms in Eq. (118) as yy\to\infty, then the asymptotic behavior is

g(y)±(2d5)1/42y1/4.g(y)\to\pm\frac{(2d-5)^{1/4}}{\sqrt{2}y^{1/4}}. (119)

This implies that χ(x)1/|x|\chi(x)\sim 1/\sqrt{|x|} as |x||x|\to\infty, which in turn leads to a divergent S6S_{6} for d3d\geq 3. We therefore conclude that the g5(y)g^{5}(y) term decays faster than the other two terms in Eq. (118), which then yields the following asymptotic behavior:

g(y)cy1d/2asy.g(y)\to cy^{1-d/2}\quad\hbox{as}\quad y\to\infty. (120)

Because Eq. (117) has a scale invariance such that if χ(x)\chi(x) is a solution then so is b1χ(x/b2)b^{-1}\chi(x/b^{2}), we understand that cc is a redundant scale factor. Therefore, there are only two distinct solutions of Eq. (117) that contribute to correlation functions, and these two solutions are related by an overall minus sign.

Appendix D Quasi-local approximation of a determinant

First consider a determinant Zinn-Justin1981

det(+m2+gV(x))(+m2)1.\displaystyle\det(-\bigtriangleup+m^{2}+gV(x))(-\bigtriangleup+m^{2})^{-1}. (121)

where =μdμ2\bigtriangleup=\sum_{\mu}^{d}\partial_{\mu}^{2}. A useful formula is

TrlogAB1=Tr0dtt(eAteBt).\displaystyle\text{Tr}\log AB^{-1}=-\text{Tr}\int_{0}^{\infty}\frac{dt}{t}(e^{-At}-e^{-Bt}). (122)

Since we are interested in the large gg behavior, the integral is dominated by the small tt regime. We can use the quasilocal Parisi1977a ; Zinn-Justin1981 approximation,

e(+m2+gV(x))tet(+m2)etgV(x).\displaystyle e^{-(-\bigtriangleup+m^{2}+gV(x))t}\approx e^{-t(-\bigtriangleup+m^{2})}e^{-tgV(x)}. (123)

Now we have

Trlog(+m2+gV(x))(+m2)1\displaystyle\text{Tr}\log(-\bigtriangleup+m^{2}+gV(x))(-\bigtriangleup+m^{2})^{-1} (124)
=\displaystyle= Tr0dttet(+m2)(etgV(x)1)\displaystyle-\text{Tr}\int_{0}^{\infty}\frac{dt}{t}e^{-t(-\bigtriangleup+m^{2})}(e^{-tgV(x)}-1)
=\displaystyle= 0dttddp(2π)det(p2+m2)ddx(etgV(x)1)\displaystyle-\int_{0}^{\infty}\frac{dt}{t}\int\frac{d^{d}p}{(2\pi)^{d}}e^{-t(p^{2}+m^{2})}\int d^{d}x(e^{-tgV(x)}-1)
=\displaystyle= 1(4π)d/2ddx0dtt1td/2[et(m2+gV(x))etm2]\displaystyle-\frac{1}{(4\pi)^{d/2}}\int d^{d}x\int_{0}^{\infty}\frac{dt}{t}\frac{1}{t^{d/2}}[e^{-t(m^{2}+gV(x))}-e^{-tm^{2}}]
=\displaystyle= Γ(d/2)(4π)d/2ddx[(m2+gV(x))d/2md].\displaystyle-\frac{\Gamma(-d/2)}{(4\pi)^{d/2}}\int d^{d}x[(m^{2}+gV(x))^{d/2}-m^{d}].

One can also evaluate the correction to the above approximation order by order using the Baker–Campbell–Hausdorff formula. But we do not consider these corrections here.

Now we include spin, and consider the determinant of the Dirac operator,

𝒟(e)=det(∂̸+ieϕγ0+m)(∂̸+m)1.\displaystyle\mathcal{D}(e)=\det(\not{\partial}+ie\phi\gamma^{0}+m)(\not{\partial}+m)^{-1}. (125)

where ∂̸=γμμ\not{\partial}=\gamma^{\mu}\partial_{\mu}, and γμ\gamma^{\mu} is the 4×44\times 4 Dirac matrix. Here to regularize the determinant, we introduce a mass mm. We set it to zero in the final step to retain the gapless Dirac dispersion. To evaluate the determinant, note that under the parity symmetry,

𝒟(e)det(∂̸ieϕγ0+m)(∂̸+m)1.\displaystyle\mathcal{D}(e)\rightarrow\det(-\not{\partial}-ie\phi\gamma^{0}+m)(-\not{\partial}+m)^{-1}. (126)

As a result, we can evaluate the square of determinant, i.e.,

log𝒟(e)2=Trlog(+e2ϕ2+m2)(+m2)1,\displaystyle\log\mathcal{D}(e)^{2}=\text{Tr}\log(-\bigtriangleup+e^{2}\phi^{2}+m^{2})(-\bigtriangleup+m^{2})^{-1},

where we have assumed the field ϕ\phi is large and smooth to neglect the correction from derivatives and used the fact the γ\gamma matrix is traceless. From Eq. (124), we note

𝒟(e)=exp[2Γ(d/2)(4π)d/2ddx[(m2+e2ϕ2)d/2md]].\displaystyle\mathcal{D}(e)=\exp\Big{[}-\frac{2\Gamma(-d/2)}{(4\pi)^{d/2}}\int d^{d}x[(m^{2}+e^{2}\phi^{2})^{d/2}-m^{d}]\Big{]}.

Now we can safely send mm to zero to get the effective field theory in Eq. (67). Including the Fermi velocity and the fermion species NN, the final answer is modified as

𝒟(e)=exp[2Γ(d/2)(4π)d/2Nvd1ddx[(m2+e2ϕ2)d/2md]].\displaystyle\mathcal{D}(e)=\exp\Big{[}-\frac{2\Gamma(-d/2)}{(4\pi)^{d/2}}\frac{N}{v^{d-1}}\int d^{d}x[(m^{2}+e^{2}\phi^{2})^{d/2}-m^{d}]\Big{]}.

References

  • (1) T. Aoyama, T. Kinoshita, and M. Nio, Revised and improved value of the QED tenth-order electron anomalous magnetic moment, Phys. Rev. D 97, 036001 (2018).
  • (2) J. Schwinger, On Quantum-Electrodynamics and the Magnetic Moment of the Electron, Phys. Rev. 73, 416 (1948).
  • (3) L. D. Landau, A. A. Abrikosov, and I. M. Khalatnikov, On the removal of infinities in quantum electrodynamics, Dokl. Akad. Nauk SSSR 95, 497 (1954).
  • (4) See https://en.wikipedia.org/wiki/Landau_pole.
  • (5) M. Göckeler, R. Horsley, V. Linke, P. Rakow, G. Schierholz, and H. Stüben, Is There a Landau Pole Problem in QED?, Phys. Rev. Lett. 80, 4119 (1998).
  • (6) H. Gies and J. Jaeckel, Renormalization Flow of QED, Phys. Rev. Lett. 93, 110405 (2004).
  • (7) D. Djukanovic, J. Gegelia, and Ulf-G. Meißner, Triviality of quantum electrodynamics revisited, Commun. Theor. Phys. 69 (2018) 263.
  • (8) R. Dashen and H. Neuberger, How to Get an Upper Bound on the Higgs Mass, Phys. Rev. Lett. 50, 1897 (1983).
  • (9) M. Lüscher and P. Weisz, Scaling laws and triviality bounds in the lattice ϕ4\phi 4 theory: (I). One-component model in the symmetric phase, Nucl. Physics. B290 (1987) 25; Scaling laws and triviality bounds in the lattice ϕ4\phi 4 theory: (II). One-component model in the phase with spontaneous symmetry breaking, Nucl. Physics. B295 (1988) 65.
  • (10) B. W. Lee, C. Quigg, and H. B. Thacker, Strength of Weak Interactions at Very High Energies and the Higgs Boson Mass, Phys. Rev. Lett. 38, 883 (1977).
  • (11) G. V. Dunne and M. Ünsal What is QFT? Resurgent trans-series, Lefschetz thimbles, and new exact saddles, PoS LATTICE 2015 (2016) 010.
  • (12) L. D. Landau, in W. Pauli, ed. Niels Bohr and the Development of Physics, (London: Pergamon Press 1955).
  • (13) N. N. Bogoliubov and D. V. Shirkov, Introduction to the Theory of Quantized Fields, 3rd ed. (Nauka, Moscow, 1976; Wiley, New York, 1980).
  • (14) D. J. E. Callaway, Triviality Pursuit: Can Elementary Scalar Particles Exist?, Physics Reports 167, 241 (1988).
  • (15) D. J. E. Callaway and R. Petronzio, Can elementary scalar particles exist?: (II). Scalar electrodynamics, Nuclear Physics B277, 50 (1986).
  • (16) S. Kim, J. B. Kogut, and M.-P. Lombardo, Gauged Nambu–Jona-Lasinio studies of the triviality of quantum electrodynamics, Phys. Rev. D 65, 054015 (2002).
  • (17) A. A. Andrianov, D. Espriu, M. A. Kurkov, and F. Lizzi, Universal Landau Pole, Phys. Rev. Lett. 111, 011601 (2013).
  • (18) L. N. Lipatov, Divergence of the perturbation-theory series and the quasiclassical theory, Zh. Eksp. Teor. Fi. 72, 411 (1977).
  • (19) J. Zinn-Justin, Perturbation series at large orders in quantum mechanics and field theories: Application to the problem of resummation, Physics Reports 70, 109 (1981).
  • (20) I. M. Suslov, Summing divergent perturbative series in a strong coupling limit. The Gell-Mann-Low function of the ϕ4\phi^{4} theory, Journal of Experimental and Theoretical Physics, 93, 1 (2001).
  • (21) I. M. Suslov, Renormalization group functions of the ϕ4\phi^{4} theory in the strong coupling limit: Analytical results, Journal of Experimental and Theoretical Physics 107, 413 (2008).
  • (22) L. P. Kadanoff, Scaling laws for Ising models near TcT_{c}, Physics 2, 263 (Long Island City, N.Y. 1966).
  • (23) K. G. Wilson, The renormalization group: critical phenomena and the Kondo problem, Rev. Mod. Phys. 47, 773 (1975).
  • (24) K. G. Wilson, Renormalization group and critical phenomena. I. Renormalization group and the Kadanoff scaling picture, Phys. Rev. B 4, 3174 (1971).
  • (25) A. H. Castro Neto, F. Guinea, N. M. R. Peres, K. S. Novoselov, and A. K. Geim, The electronic properties of graphene, Rev. Mod. Phys. 81, 109 (2009).
  • (26) R. Bistritzer, and A. H. MacDonald, Moiré bands in twisted double-layer graphene, Proceedings of the National Academy of Sciences 108, 12233 (2011).
  • (27) Y. Cao, V. Fatemi, S. Fang, K. Watanabe, T. Taniguchi, E. Kaxiras, and P. Jarillo-Herrero, Unconventional superconductivity in magic-angle graphene superlattices, Nature 556, 43 (2018).
  • (28) Y. Cao, V. Fatemi, A. Demir, S. Fang, S. L. Tomarken, J. Y. Luo, J. D. Sanchez-Yamagishi, K. Watanabe, T. Taniguchi, E. Kaxiras, R. C. Ashoori, and P. Jarillo-Herrero, Correlated insulator behaviour at half-filling in magic-angle graphene superlattices, Nature 556, 80 (2018).
  • (29) S. Das Sarma, and F. Wu, Electron-phonon and electron-electron interaction effects in twisted bilayer graphene, arXiv:1910.08556.
  • (30) H. D. Scammell and O. P. Sushkov, Asymptotic freedom in quantum magnets, Phys. Rev. B 92, 220401(R) (2015).
  • (31) J. González, F. Guineai, and M. A. H. Vozmediano, Non-Fermi liquid behavior of electrons in the half-filled honeycomb lattice (A renormalization group approach), Nucl. Phys. B424, 595 (1994).
  • (32) M. A. H. Vozmediano, Graphene: The running of the constants, Nat. Phys. 7, 671 (2011).
  • (33) D. C. Elias, R. V. Gorbachev, A. S. Mayorov, S. V. Morozov, A. A. Zhukov, P. Blake, L. A. Ponomarenko, I. V. Grigorieva, K. S. Novoselov, F. Guinea, and A. K. Geim, Dirac cones reshaped by interaction effects in suspended graphene, Nat. Phys. 7, 701 (2011).
  • (34) D. T. Son, Quantum critical point in graphene approached in the limit of infinitely strong Coulomb interaction, Phys. Rev. B 75, 235423 (2007).
  • (35) E. Barnes, E. H. Hwang, R. E. Throckmorton, and S. Das Sarma, Effective field theory, three-loop perturbative expansion, and their experimental implications in graphene many-body effects, Phys. Rev. B 89, 235431 (2014).
  • (36) E. Borel, Leccecdon sur les series divergentes, (Gauthier Villars, Paris 1928).
  • (37) J. Hofmann, E. Barnes, and S. Das Sarma, Why Does Graphene Behave as a Weakly Interacting System?, Phys. Rev. Lett. 113, 105502 (2014).
  • (38) G. Parisi, Asymptotic Estimates in Perturbation Theory with Fermions, Phys. Lett. 66B, 382 (1977).
  • (39) C. Itzykson, G. Parisi, and J. B. Zuber, Asymptotic estimates in quantum electrodynamics, Phys. Rev. D 16, 996 (1977).
  • (40) R. Balian, C. Itzykson, G. Parisi, and J. B. Zuber, Asymptotic estimates in quantum electrodynamics. II, Phys. Rev. D 17, 1041 (1978).
  • (41) M. Matsumoto, B. Normand, T. M. Rice, and M. Sigrist, Magnon Dispersion in the Field-Induced Magnetically Ordered Phase of TlCuCl3, Phys. Rev. Lett. 89, 077203 (2002).
  • (42) Ch. Rüegg, B. Normand, M. Matsumoto, A. Furrer, D. F. McMorrow, K. W. Krämer, H. -U. Güdel, S. N. Gvasaliya, H. Mutka, and M. Boehm, Quantum Magnets under Pressure: Controlling Elementary Excitations in TlCuCl3, Phys. Rev. Lett. 100, 205701 (2008).
  • (43) Y. Kulik and O. P. Sushkov, Width of the longitudinal magnon in the vicinity of the O(3) quantum critical point, Phys. Rev. B 84, 134418 (2011).
  • (44) H. Polshyn, M. Yankowitz, S. Chen, Y. Zhang, K. Watanabe, T. Taniguchi, C. R. Dean, and A. F. Young, Large linear-in-temperature resistivity in twisted bilayer graphene, Nature Physics 15, 1011 (2019).