Abstract
We consider the zero-dimensional quartic O(N) vector model and present a complete study of the partition function Z(g, N) and its logarithm, the free energy W(g, N), seen as functions of the coupling g on a Riemann surface. We are, in particular, interested in the study of the transseries expansions of these quantities. The point of this paper is to recover such results using constructive field theory techniques with the aim to use them in the future for a rigorous analysis of resurgence in genuine quantum field theoretical models in higher dimensions. Using constructive field theory techniques, we prove that both Z(g, N) and W(g, N) are Borel summable functions along all the rays in the cut complex plane \(\mathbb {C}_{\pi } =\mathbb {C}{\setminus } \mathbb {R}_-\). We recover the transseries expansion of Z(g, N) using the intermediate field representation. We furthermore study the small-N expansions of Z(g, N) and W(g, N). For any \(g=|g| e^{\imath \varphi }\) on the sector of the Riemann surface with \(|\varphi |<3\pi /2\), the small-N expansion of Z(g, N) has infinite radius of convergence in N, while the expansion of W(g, N) has a finite radius of convergence in N for g in a subdomain of the same sector. The Taylor coefficients of these expansions, \(Z_n(g)\) and \(W_n(g)\), exhibit analytic properties similar to Z(g, N) and W(g, N) and have transseries expansions. The transseries expansion of \(Z_n(g)\) is readily accessible: much like Z(g, N), for any n, \(Z_n(g)\) has a zero- and a one-instanton contribution. The transseries of \(W_n(g)\) is obtained using Möbius inversion, and summing these transseries yields the transseries expansion of W(g, N). The transseries of \(W_n(g)\) and W(g, N) are markedly different: while W(g, N) displays contributions from arbitrarily many multi-instantons, \(W_n(g)\) exhibits contributions of only up to n-instanton sectors.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The most famous problem of the perturbative expansion in quantum field theory is the existence of ultraviolet divergences in the amplitudes of Feynman diagrams. This is successfully dealt with using the theory of perturbative renormalization. However, even in one and zero dimensions (quantum mechanics and combinatorial models, respectively), where renormalization is not needed, perturbation theory poses another notorious challenge: in most cases the perturbative series is only an asymptotic series, with zero radius of convergence. Borel resummation is the standard strategy to address this problem, but this comes with its own subtleties. From a practical standpoint, we are often only able to compute just the first few terms in the perturbative expansion. At a more fundamental level, singularities are present in the Borel plane, associated to instantons (and renormalons in higher dimensions). The instanton singularities are not accidental: they stem from the factorial growth of the number of Feynamn diagrams with the perturbation order, which is also the origin of the divergence of the perturbation series.Footnote 1
From the resummation point of view, the most inconvenient feature of perturbation theory is that it does not naively capture contributions from non-analytical terms. For example, it is well known that instanton contributions of the type \(e^{-1/g}\) (\(g>0\) being the coupling constant) can be present in the evaluation of some quantity of interest, but they are missed in the perturbative series as their Taylor expansion at \(g=0\) vanishes identically.
Such exponentially suppressed terms are the archetypal example of nonperturbative effects, and their evaluation poses an interesting challenge. Aiming to include them, but still relying for practical reasons on perturbative methods, one ends up with a more general form of asymptotic expansion, known as transseries, which is roughly speaking a sum of perturbative and nonperturbative sectors, for example:
Over time it became increasingly clear that, in many examples of interest, using the theory of Borel summation for the perturbative sector it is possible to reconstruct some information about the nonperturbative ones. This relation between the perturbative and nonperturbative sectors is known as resurgence, and it was originally developed by Écalle in the context of ordinary differential equations [1] (see [2] for a modern review). Ideas coming from resurgence theory were extensively used in quantum field theory: for recent reviews with a quantum field theory scope, see [3,4,5], and in particular [6], which contains also a comprehensive list of references to applications and other reviews.
Zero-dimensional quantum field theoretical models, which are purely combinatorial models,Footnote 2 are useful toy models for the study of transseries expansions. Most conveniently, they allow one to set aside all the complications arising from the evaluation and renormalization of Feynman diagrams. Moreover, their partition functions and correlations typically satisfy ordinary differential equations, thus fitting naturally in the framework of Écalle’s theory of resurgence. The zero-dimensional \(\phi ^4\), or more generally \(\phi ^{2k}\) with \(k\ge 2\), models in zero dimensions have been exhaustively studied [6, 10]. From a physics perspective, the current mathematical literature on resurgence deals mainly with such zero-dimensional models.
At the opposite end, the rigorous study of the Borel summability in fully fledged quantum field theory is the object of constructive field theory [11,12,13]. It should come as no surprise that the generalization of results on resurgence in zero dimensions to the higher-dimensional setting is very much an open topic: while Écalle’s theory can serve as good inspiration, as in [3,4,5,6], the rigorous study of resurgence in higher-dimensional quantum field theory is much more involved. First of all, in higher dimensions the partition function (and correlators) does not obey an ordinary differential equation, and one cannot simply invoke Écalle’s theory. Moreover, the coefficients of the perturbative series are given by divergent Feynman amplitudes, which need to be renormalized, leading to a running coupling. Incorporating the effects of renormalization in the resurgence analysis is an open question (see, for instance, [14] for an investigation of resurgence in the Callan–Symanzik renormalization group equation). One thing is clear: in order to answer such questions, it is insufficient to simply invoke the current theory of resurgence, and one needs to develop new techniques adapted to the more general context of quantum field theory.
From this perspective, revisiting the resurgence in zero-dimensional models using techniques inspired by constructive field theory can be of great use. Following such route, we consider the zero-dimensional O(N) model with quartic potential.Footnote 3 Denoting \(\phi = (\phi _a)_{a=1,\dots N}\in \mathbb {R}^N\) a vector in \(\mathbb {R}^N\) and \(\phi ^2=\sum _{a=1}^N \phi _a\phi _a\) the O(N) invariant, the partition function of the model isFootnote 4:
The \(N=1\) case has been extensively studied in [6]. One can analytically continue Z(g, 1), regarded as a function of the coupling constant g, to a maximal domain in the complex plane. Subsequently, one discovers that Z(g, 1) displays a branch cut at the real negative axis and that the nonperturbative contributions to Z(g, 1) are captured by its discontinuity at the branch cut. A resurgent transseries is obtained when one considers g as a point on a Riemann surface with a branch point at \(g=0\). From now on we parameterize this Riemann surface as \(g = |g| e^{\imath \varphi }\) and we choose as principal sheet \(\varphi \in (-\pi ,\pi )\).
An approach to the study of the partition function in Eq. (1.2) in the case \(N=1\) is to use the steepest-descent method [16, 17]. We concisely review this in Appendix A. One notes that on the principal sheet only one Lefschetz thimble contributes. As g sweeps through the principal sheet the thimble is smoothly deformed, but not in the neighborhood of the saddle point: the asymptotic evaluation of the integral is unchanged. When g reaches the negative real axis, there is a discontinuous jump in the relevant thimbles and a pair of thimbles (passing through a pair of conjugated non-trivial saddle points of the action) starts contributing, giving rise to a one-instanton sector in the transseries of Z(g, 1).
Another approach to the transseries expansion of Z(g, 1) is to use the theory of ordinary differential equations [6, 10]. It turns out that Z(g, 1) obeys a second-order homogeneous linear ordinary differential equation for which \(g=0\) is an irregular singular point (e.g., [16]), giving another perspective on why the expansion one obtains is only asymptotic.
More interestingly, one can wonder what can be said about the nonperturbative contributions to the free energy, that is, the logarithm of the partition function \(W(g,1)=\ln Z(g,1)\), or to the connected correlation functions. If we aim to study the free energy, the steepest-descent method does not generalize straightforwardly as we lack a simple integral representation for W(g, 1). One can formally write Z(g, 1) as a transseries and then expand the logarithm in powers of the transseries monomial \(e^{\frac{c}{g}}\), thus obtaining a multi-instanton transseries. However, this is very formal, as the transseries is only an asymptotic expansion, and we would like to have a direct way to obtain the asymptotic expansion of W(g, 1). The closest one can get to an integral formula for the free energy is to use the Loop Vertex Expansion (LVE) [18]. This constructive field theory expansion is a combination of the intermediate field representation with the Brydges–Kennedy–Abdesselam–Rivasseau (BKAR) formula and has successfully been used in higher-dimensional quantum field theory [19] to prove Borel summability results and even study the decay of the correlations. (Note, however, that the results of [19] concern a theory with fixed UV and IR cutoffs, bypassing the issue of the renormalization group flow.) However, deriving directly the transseries expansion of W(g, 1) using the steepest-descent method on the LVE proved so far impractical. One can study the transseries expansion of W(g, 1) using again the theory of ordinary differential equations as W(g, 1) obeys a nonlinear ordinary differential equation [6], but this cannot be directly generalized to higher dimensions.
In this paper, we consider a general N and we revisit both the partition function Z(g, N) and the free energy W(g, N) from a different angle. We focus, in particular, on the small-N expansion, which provides a natural interpretation for the LVE. Such expansion could be physically interesting in higher dimensions, where the \(N \rightarrow 0\) limit of the model is related to self-avoiding random walks [20], an active area of investigation in modern statistical physics [21]. However, it should be noticed that our results will not be confined to infinitesimal N, as such expansion has a finite radius of convergence (Proposition 2 below).
The aim of our paper is not to “solve the problem” of computing the transseries expansion of Z(g, N) or W(g, N): this can be done almost immediately using known results about special functions and classical results in resurgence theory. Our aim is to analyze these objects using techniques one can then employ in the interesting case of quantum field theory in higher dimensions. The main results of this paper are the use of the Hubbard–Stratonovich intermediate field formulation to introduce a small-N expansion (Sect. 3.2), the application of the LVE to prove analyticity and Borel summability results for the free energy (Sect. 4.1), in N and g, and the study of the resurgence properties of the LVE. The results of the present paper provide a proof of concept for a set of techniques which can be employed in higher dimensions, starting in the quantum mechanical case and then moving on to quantum field theory.
The paper is organized as follows. In Sect. 2, we review the Borel summability of asymptotic series as well as the notion of Borel summable functions, deriving in the process a slight extension of the Nevanlinna–Sokal theorem.
In Sect. 3, we study Z(g, N) in the intermediate field representation. This allows us to quickly prove its Borel summability along all the rays in the cut complex plane \(\mathbb {C}_{\pi } = \mathbb {C}\setminus \mathbb {R}_-\). More importantly, the intermediate field representation provides a new perspective on the origin of the instanton contributions: in this representation, the steepest-descent contour never changes, but when g reaches the negative real axis a singularity traverses it and detaches a Hankel contour around a cut. We insist that this Hankel contour is not a steepest-descent contour, but it does contribute to the asymptotic evaluation of the integral, because the cut is an obstruction when deforming the contour of integration toward the steepest-descent path. It is precisely the Hankel contour that yields the one-instanton contribution. We then build the analytic continuation of Z(g, N) to the whole Riemann surface, identify a second Stokes line, compute the Stokes data encoding the jumps in the analytic continuation at the Stokes lines and discuss the monodromy of Z(g, N). Next we observe that, because in the intermediate field representation N appears only as a parameter in the action, we can perform a small-N expansion:
We thus study \(Z_n(g)\) for all integer n, proving its Borel summability in \(\mathbb {C}_\pi \) and computing its transseries expansion in an extended sector of the Riemann surface, with \(\arg (g)\in (-3\pi /2,3\pi /2)\), which we denote \(\mathbb {C}_{3\pi /2}\).
In Sect. 4, we proceed to study \(W(g,N)=\ln (Z(g,N))\). We first establish its Borel summability along all the rays in \(\mathbb {C}_{\pi }\) using constructive field theory techniques. We then proceed to the small-N expansion of this object:
and prove that this is an absolutely convergent series in a subdomain of \(\mathbb {C}_{3\pi /2}\) and that both W(g, N) and \(W_n(g)\) are Borel summable along all the rays in \(\mathbb {C}_\pi \). Finally, in order to obtain the transseries expansion of \(W_n(g)\) and W(g, N) we note that \(W_n(g)\) can be written in terms of \(Z_n(g)\) using the Möbius inversion formula relating moments and cumulants. Because of the absolute convergence of the small-N series, it makes sense to perform the asymptotic expansion term by term, and thus, we rigorously obtain the transseries for W(g, N) in a subdomain of \(\mathbb {C}_{3\pi /2}\). In the Appendices we gather some technical results, and the proofs of our propositions.
Ultimately, we obtain less information on the Stokes data for W(g, N) than for Z(g, N). While for Z(g, N) we are able to maintain analytic control in the whole Riemann surface of g, the constructive field theory techniques we employ here allow us to keep control over W(g, N) as an analytic function on the Riemann surface only up to \(\varphi = \pm 3\pi /2\), that is past the first Stokes line, but not up to the second one. The reason for this is that close to \(\varphi = \pm 3\pi /2\) there is an accumulation of Lee–Yang zeros, that is zeros of Z(g, N), which make the explicit analytic continuation of W(g, N) past this sector highly non-trivial. New techniques are needed if one aims to recover the Stokes data for W(g, N) farther on the Riemann surface: an analysis of the differential equation obeyed by W(g, N) similar to the one of [22] could provide an alternative way to access it directly.
One can naturally ask what is the interplay between our results at small N and the large-N nonperturbative effects, first studied for the zero-dimensional O(N) model in [23] (see also [3] for a general review, and [24] for a more recent point view). This is a very interesting question: indeed, the relation between the two expansions is a bit more subtle than the relation between the small coupling and the large coupling expansions for instance. The reason is that, when building the large N series, one needs to use the ’t Hooft coupling, which is a rescaling of the coupling constant by a factor of N. This changes the N-dependence of the partition function and free energy, making the relation between small-N and large-N expansions nontrivial. A good news on this front is that the analyticity domains in g becomes uniform in N when recast in terms of the ’t Hooft coupling [25]. But there is still quite some work to do in order to connect the transseries analysis at small N with that at large N. However, we stress once more that, while the large-N expansion is asymptotic, the small-N expansion is convergent.
Main results. Our main results are the following:
-
In Proposition 1, we study Z(g, N). While most of the results in this proposition are known for \(N=1\), we recover them using the intermediate field representation (which provides a new point of view) and generalize them to arbitrary \(N\in \mathbb {R}\). In particular, we uncover an interplay between Z(g, N) and \(Z(-g,2-N)\) in the transseries expansion of the partition function for general N.
-
Proposition 2 deals with the function \(Z_n(g)\), notably its Borel summability, transseries, and associated differential equation. To our knowledge, \(Z_n(g)\) has not been studied before and all of the results presented here are new.
-
Proposition 3 and 4 generalize previous results in the literature [26] on the analyticity and Borel summability of W(g, 1) to W(g, N) and furthermore derive parallel results for \(W_n(g)\).
-
Proposition 5 contains the transseries expansion of \(W_n(g)\), which has not been previously considered in the literature. We also give a closed formula for the transseries expansion of W(g, N).
-
Lastly, in Proposition 6, we derive the tower of recursive differential equations obeyed by \(W_n(g)\). This serves as an invitation for future studies of the transseries of \(W_n(g)\) from an ordinary differential equations perspective.
The natural next step is to explore how this picture is altered in higher dimensions. While this is a wide open question, several lessons can be learned from our present work. First, the small N series for the free energy W obtained via the LVE will very likely be convergent; hence, one should be able to study the resurgence properties of W by first studying such properties for the “cumulants” \(W_n\), which can be done by studying the “moments \(Z_n\)” and using Möbius inversion. Second, for the moments \(Z_n\), the steepest-descent contour in the intermediate \(\sigma \) field representation will be insensitive to the coupling constant; hence, in this representation the Stokes phenomenon will correspond to singularities crossing this fixed contour.
2 Borel Summable Series and Borel Summable Functions
When dealing with asymptotic series, a crucial notion is that of Borel summability. Less known, there exists a notion of Borel summability of functions, intimately related to the Borel summability of series. In this section we present a brief review of these notions, which will play a central role in the rest of the paper, as well as a slight generalization of the (optimal) Nevanlinna–Sokal theorem on Borel summability [27]. We will repeatedly use this theorem in this paper.
Notation. We use K as a dustbin notation for irrelevant (real positive) multiplicative constants, and R and \(\rho \) for the important (real positive) constants.
Borel summable series. A formal power series \(A(z)=\sum _{k=0}^\infty a_k z^k\) is called a Borel summable series along the positive real axis if the series
is absolutely convergent in some disk \(|t|< \rho \) and B(t) admits an analytic continuation in a strip of width \(\rho \) along the positive real axis such that for t in this strip \(|B(t)| < K e^{|t|/R}\) for some real positive R. The function B(t) is called the Borel transform of A(z), and the Borel sum of A(z) is the Laplace transform of its Borel transform:
It is easy to check that the function f is analytic in a disk of diameter R tangent to the imaginary axis at the origin, \(\textrm{Disk}_R = \{z\in \mathbb {C} \mid \textrm{Re }{(1/z)}>1/R \}\).
Clearly, if it exists, the Borel sum of a series is unique. This raises the following question: given a function h(z) whose asymptotic series at zero is the Borel summable series A(z), does the Borel resummation of A(z) reconstruct h(z)? That is, is \(f(z) = h(z)\)? The answer to this question is no in general: for instance the function \(e^{-1/z}\) is asymptotic (along the positive real axis) at 0 to the Borel summable series \(a_k=0\). It turns out that one can formulate necessary and sufficient conditions for h(z) which ensure that it is indeed the Borel sum of its asymptotic series, as we now recall.
Borel summable functions. A function \(f:\mathbb {C} \rightarrow \mathbb {C}\) is called a Borel summable function along the positive real axis if it is analytic in a disk \(\textrm{Disk}_R\) and has an asymptotic series at 0 (which can have zero radius of convergence),
such that the rest term of order q obeys the bound:
for some fixed \(\beta \in \mathbb {R}_+\). Note that the bound in Eq. (2.4) is slightly weaker that the one in [27]. The positive real axis is selected by the position of the center of \(\textrm{Disk}_R\). We call \(\textrm{Disk}_R = \{z\in \mathbb {C} \mid \textrm{Re }{(1/z)}>1/R \}\) a Sokal disk.
These two notions are intimately related: the Borel sums of Borel summable series are Borel summable functions (this is straightforward to prove). Moreover, the asymptotic series of Borel summable functions are Borel summable series.
Theorem 1
(Nevanlinna–Sokal [27], extended). Let \(f:\mathbb {C} \rightarrow \mathbb {C}\) be a Borel summable function, hence analytic and obeying the bound (2.4) with some fixed \(\beta \). Then:
-
the Borel transform of the asymptotic series of f,
$$\begin{aligned} B(t) = \sum _{k=0}^{\infty } \frac{1}{k! } \; a_k \; t^k \;, \end{aligned}$$(2.5)is convergent in a disk of radius \(\rho \) in t, and it defines an analytic function in this domain.
-
B(t) can be analytically continued to the strip \( \{ t\in \mathbb {C} \mid \textrm{dist}(t,\mathbb {R}_+ ) < \rho \}\) and in this strip it obeys an exponential bound \( |B(t)|<K e^{|t|/R}\).
-
for all \(z\in \textrm{Disk}_R\) we can reconstruct the function f(z) by the absolutely convergent Laplace transform:
$$\begin{aligned} f(z)=\frac{1}{z }\int _{0}^{\infty } \textrm{d}t \; e^{-t/z} \; B(t) \; . \end{aligned}$$(2.6)
Proof
See Appendix B. \(\square \)
We emphasize that both for series and for functions, Borel summability is directional:
-
for series, Borel summability along a direction requires the unimpeded analytic continuation of B(t) in a thin strip centered on that direction.
-
for functions, Borel summability along a direction requires analyticity and bound on the Taylor rest terms in a Sokal disk (with 0 on its boundary) centered on that direction.
Clearly, the singularities of the Borel transform B(t) are associated to directions along which the function f(z) ceases to be Borel summable.
3 The Partition Function Z(g, N)
In this section, we collect some facts about the asymptotic expansion of the partition function (1.2). Most of them are known, or derivable from the expression of the Z(g, N) in terms of special functions, whose asymptotic expansions are to a large degree known [28]. Nonetheless, we present a “path integral–like” derivation and rather explicit formulae for the coefficients that should be useful, as they are more directly generalizable, in applications to proper field theories.
We study Z(g, N) by means of the Hubbard–Stratonovich intermediate field formulation [29, 30], which is crucial to the Loop Vertex Expansion [18] of the free energy W(g, N) that we will study below. This is based on rewriting the quartic term of the action as a Gaussian integral over an auxiliary variable \(\sigma \) (or field, in higher dimensions):
where the Gaussian measure over \(\sigma \) is normalized, i.e., \([\textrm{d}\sigma ]=\textrm{d}\sigma /\sqrt{2\pi }\) and \(\imath = e^{\imath \frac{\pi }{2}}\). Note that \(\sigma \) is a real number, not a vector. With this trick, the integral over \(\phi \) becomes Gaussian and can be performed for \(g>0\), leading to a rewriting of the partition function (1.2) as:
Although the original partition function is defined only for integer N and we have assumed that \(g>0\), in the \(\sigma \) representation (3.2) it becomes transparent that Z(g, N) can be analytically continued both in N and in g.
3.1 Analytic Continuation and Transseries
As a matter of notation, we denote \(\varphi \equiv \arg (g)\), and, in order to label some sets that will appear repeatedly in the rest of the paper, we define:
In particular, \(\mathbb {C}_\pi =\mathbb {C} \setminus \mathbb {R}_-\) is the cut complex plane. For \(\psi >\pi \), the set \( \mathbb {C}_{\psi }\) should be interpreted as a sector of a Riemann sheet, extending the principal sheet \(\mathbb {C}_\pi \) into the next sheets.
Our first aim is to understand the analytic continuation of the partition function in the maximal possible domain of the Riemann surface. For later convenience, we introduce the following function, not to be confused with the partition function Z(g, N):
which is an absolutely convergent integral for any |g| and any \(\varphi \ne (2k+1)\pi \). We have used a superscript \(\mathbb {R}\) to distinguish it from Z(g, N) and to emphasize that the integral is performed on the real line, irrespective of the value of \(\varphi \ne (2k+1)\pi \). Moreover, for \(N/2\notin \mathbb {Z}\), the integrand is computed using the principal branch of the logarithm:
where the \(\textrm{Arg}\) function is the principal branch of the argument, valued in \((-\pi ,\pi )\). In particular, a change of variables \(\sigma \rightarrow -\sigma \) shows that \( Z^{\mathbb {R}}(g,N) = Z^{\mathbb {R}}( e^{2 \pi \imath } g,N)\), which is thus a single-valued function on \(\mathbb {C}_{\pi }\), with a jump at \(\mathbb {R}_-\). The analytic continuation of the partition function Z(g, N) will instead be a multi-valued function on \(\mathbb {C}\), and thus require the introduction of a Riemann surface. We can view \(Z^{\mathbb {R}}(g,N)\) as a periodic function on the same Riemann surface, with of course \(Z(g,N) = Z^{\mathbb {R}}(g,N)\) for \(g\in \mathbb {C}_{\pi }\), and \(Z(g,N) \ne Z^{\mathbb {R}}(g,N)\) once one steps out of the principal Riemann sheet.
We collect all the relevant result concerning the partition function in Proposition 1. For now we restrict to N real, but the proposition can be extended to complex N with little effort.Footnote 5 We will drop this assumption later.
Proposition 1
(Properties of Z(g, N)). Let \(N \in \mathbb {R}\) be a fixed parameter. The partition function Z(g, N) satisfies the following properties:
-
1.
for every \(g\in \mathbb {C}_\pi \), the integral in Eq. (3.2) is absolutely convergent and bounded from above by
$$\begin{aligned} |Z(g,N)| \le {\left\{ \begin{array}{ll} \left( \cos \frac{\varphi }{2} \right) ^{- N /2} \;, \qquad &{} N \ge 0\\ 2^{|N|/2}+\frac{2^{3|N|/4}}{\sqrt{\pi }} \frac{|g|^{N/4}}{3^{|N|/4}} \Gamma \left( \tfrac{|N|+2}{4} \right) \;, \qquad &{} N < 0 \end{array}\right. } \; ; \end{aligned}$$(3.6)hence, Z(g, N) is analytic in \(\mathbb {C}_\pi \).
-
2.
For \(g\in \mathbb {C}_\pi \), the partition function is \(Z(g,N) = Z^{\mathbb {R}}(g,N) \) and has the perturbative expansion:
$$\begin{aligned} Z(g,N) \simeq \sum _{n=0}^{\infty } \, \frac{\Gamma (2n+N/2) }{2^{2n}n! \, \Gamma (N/2) } \; \left( - \frac{2g}{3}\right) ^n \;, \end{aligned}$$(3.7)where \(\simeq \) means that the equation has to be interpreted in the sense of asymptotic series, i.e.,
$$\begin{aligned} \lim _{\begin{array}{c} g\rightarrow 0 \\ g\in \mathbb {C}_\pi \end{array}} g^{-n_{\textrm{max}}} \left| Z(g,N) - \sum _{n=0}^{n_{\textrm{max}}} \, \frac{\Gamma (2n+N/2) }{2^{2n}n! \, \Gamma (N/2) } \; \left( - \frac{2g}{3}\right) ^n \right| = 0\;, \qquad \forall n_{\textrm{max}}\ge 0\;. \end{aligned}$$(3.8) -
3.
The function Z(g, N) is Borel summable along all the directions in \(\mathbb {C}_\pi \).
-
4.
Z(g, N) can be continued past the cut, on the entire Riemann surface. However, \(\mathbb {R}_-\) is a Stokes line, that is, the anticlockwise and clockwise analytic continuations \(Z_+(g,N)\) and \(Z_-(g,N)\) are not equal and cease to be Borel summable at \(\mathbb {R}_-\). A second Stokes line is found at \(\mathbb {R}_+\) on the second sheet. For \(\varphi \notin \pi \mathbb {Z}\), the analytic continuation of the partition function to the whole Riemann surface writes:
$$\begin{aligned}&2k\pi< |\varphi |< (2k+1) \pi : \nonumber \\ {}&\quad Z(g,N ) = \omega _{2k} \; Z(e^{\imath ( 2 k ) \tau \pi } g,N) \nonumber \\ {}&\qquad + \eta _{2k} \; \frac{\sqrt{ 2\pi } }{\Gamma (N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{\frac{3}{2g}} \; \left( e^{\imath (2k + 1) \tau \pi } \frac{ g}{3} \right) ^{\frac{1-N}{2} } \; Z ( e^{\imath (2k + 1) \tau \pi } g , 2-N) \nonumber \\ {}&\quad = \omega _{2k} \; Z^{\mathbb {R}}( g,N) \nonumber \\ {}&\qquad + \eta _{2k} \; \frac{\sqrt{ 2\pi } }{\Gamma (N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{\frac{3}{2g}} \; \left( e^{\imath (2k + 1) \tau \pi } \frac{ g}{3} \right) ^{\frac{1-N}{2} } \; Z^{\mathbb {R}} ( - g , 2-N) \;, \nonumber \\ {}&(2k+1)\pi< |\varphi | < (2k+2) \pi : \nonumber \\ {}&\quad Z(g,N ) = \omega _{2k+1} \; Z(e^{\imath ( 2 k+2) \tau \pi } g,N) \nonumber \\ {}&\qquad + \eta _{2k+1} \; \frac{\sqrt{ 2\pi } }{\Gamma (N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{\frac{3}{2g}} \; \left( e^{\imath (2k + 1) \tau \pi } \frac{ g}{3} \right) ^{\frac{1-N}{2} } \; Z ( e^{\imath (2k + 1) \tau \pi } g , 2-N) \nonumber \\ {}&\quad = \omega _{2k+1} \; Z^{\mathbb {R}}( g,N) \nonumber \\ {}&\qquad + \eta _{2k+1} \; \frac{\sqrt{ 2\pi } }{\Gamma (N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{\frac{3}{2g}} \; \left( e^{\imath (2k + 1) \tau \pi } \frac{ g}{3} \right) ^{\frac{1-N}{2} } \; Z^{\mathbb {R}} ( - g , 2-N) \;, \end{aligned}$$(3.9)where \(\tau =-\textrm{sgn}(\varphi )\) and the Stokes parameters \((\omega ,\eta )\) are defined recursively as:
$$\begin{aligned} {}&{} (\omega _0 ,\eta _0) = (1,0) \;,\qquad {\left\{ \begin{array}{ll} \omega _{2k+1} &{}{}= \omega _{2k} \\ \eta _{2k+1} &{}{} = \eta _{2k} + \omega _{2k} \end{array}\right. } \; , \nonumber \\{}&{} {\left\{ \begin{array}{ll} \omega _{2(k+1)} &{}{}= \omega _{2k+1} + {\tilde{\tau }} \; \eta _{2k+1} \\ \eta _{2(k+1)} &{}{} = e^{ \imath \tau \pi (N-1) } \eta _{2k+1} \end{array}\right. } \; ,\end{aligned}$$(3.10)with \({\tilde{\tau }} = e^{\imath \tau \pi \frac{N +1 }{2} } \; 2 \sin \frac{N\pi }{2}\). The recursion gives:
$$\begin{aligned} (\omega _{2k},\eta _{2k})= {\left\{ \begin{array}{ll} e^{\imath \tau \pi N\frac{k}{2}}\;(1,0) &{},\,k\ \text {even} \\ e^{\imath \tau \pi N\frac{k+1}{2}}\;(1,-1)&{},\,k\ \text {odd} \end{array}\right. }\;. \end{aligned}$$(3.11)The monodromy group of Z(g, N) is of order 4 if N is odd, and of order 2 if N is even. More generally, we have a monodromy group of finite order if N is a rational number, and an infinite monodromy otherwise.
-
5.
From Properties 2 and 4, we obtain that for g in the sector \(k\pi< |\varphi | < (k+1) \pi \) of the Riemann surface the partition function has the following transseries expansion:
$$\begin{aligned} Z(g,N)&\simeq \omega _k \sum _{n=0}^{\infty } \, \frac{\Gamma (2n+N/2) }{2^{2n}n! \, \Gamma (N/2) } \; \left( - \frac{2g}{3}\right) ^n + \eta _k \; e^{\imath \tau \pi (1- \frac{N}{2} ) } \; \sqrt{2\pi }\nonumber \\&\quad \times \left( \frac{ g}{3} \right) ^{\frac{1-N}{2} } e^{\frac{3}{2g}} \sum _{q\ge 0} \frac{1}{ 2^{2q} q! \; \Gamma (\frac{N}{2} -2q ) } \left( \frac{2 g}{3} \right) ^q \; , \end{aligned}$$(3.12)where we used:
$$\begin{aligned}&\Gamma ( 2q+ 1 - N/2) \Gamma (N/2 - 2q)\nonumber \\&\quad = \frac{ \pi }{ \sin ( \pi \frac{N}{2} - 2\pi q ) } = \Gamma (1-N/2) \Gamma (N/2) \;. \end{aligned}$$(3.13)The transseries displays an additional property: the instanton series is obtained from the perturbative one by substituting \(N\rightarrow 2-N\) and \(g\rightarrow -g\) and vice versa.
-
6.
From Property 5, the discontinuity of the partition function at the negative real axis:
$$\begin{aligned} \textrm{disc}_\pi \big (Z(g,N)\big )\equiv \lim _{ g \rightarrow \mathbb {R}_-} \bigg (Z_-(g,N) - Z_+(g,N) \bigg ) \;, \end{aligned}$$(3.14)has the following asymptotic expansion:
$$\begin{aligned} \text {disc}_\pi \big (Z_n(g)\big )&\simeq \frac{e^{-\frac{3}{2|g|}}}{\sqrt{2\pi }}\sqrt{\frac{|g|}{3}} \sum _{q=0}^{\infty } \sum _{p=0}^{n} \frac{1}{q!} \left( -\frac{|g|}{6}\right) ^q \left( {\begin{array}{c}n\\ p\end{array}}\right) \frac{d^p \Gamma (z)}{\text {d}z^p}\Big |_{z=2q+1}\nonumber \\ {}&\quad \times \left[ \left( \ln |\frac{g}{3}| -\imath \pi \right) ^{n-p} -\left( \ln |\frac{g}{3}| +\imath \pi \right) ^{n-p}\right] \; . \end{aligned}$$(3.15)where for N even integer the sum truncates at \(q=N/4-1\), if N is a multiple of 4, and at \(q=\lfloor N/4 \rfloor \) otherwise.
-
7.
The partition function obeys an homogenous linear ordinary differential equation:
$$\begin{aligned}{} & {} 16 g^2 Z^{\prime \prime }(g,N)+\left( (8N+ 24)g+24 \right) Z^\prime (g,N) \nonumber \\{} & {} \quad +N(N+2)Z(g,N)=0 \; , \end{aligned}$$(3.16)which can be used to reconstruct the resurgent transseries expansion of Z(g, N).
Proof
See Appendix C.1. \(\square \)
The proof of this proposition is quite technical. The most interesting points come at Property 4. While the full details can be found in Appendix C.1, we discuss here how the Stokes phenomenon arises in the intermediate field representation.
In order to obtain the asymptotic approximation of an integral, we need to deform the integration contour to steepest-descent contours (or Lefschetz thimbles) where the Laplace method can be applied. An integration contour will in principle intersect several steepest-ascent (upwards) paths of several saddle points and it must then be deformed (i.e., relaxed under the gradient flow) to run along the thimbles of these saddle points [6, 17]. When varying some parameter continuously, the relevant thimbles can collide and change discontinuously leading to discontinuous changes of the asymptotic regimes at Stokes lines. This is exactly the picture in the \(\phi \) representation of the partition function, which we recall in Appendix A.
In the \(\sigma \) representation the picture is different. Let us go back to Eq. (3.2) expressing Z(g, N) as an integral over the real line. The partition function Z(g, N) is analytically continued to the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) by tilting the integration contour to \(e^{-\imath \theta }\sigma \), respectively \(e^{\imath \theta }\sigma \), with \(\theta > 0\) for its anticlockwise, respectively clockwise, analytic continuations \(Z_+(g,N)\) and \(Z_-(g,N)\).
In this representation, the Lefshetz thimble is always the real axis, irrespective of g. In fact, as g goes to zero, the Laplace method instructs us to look for the saddle point of the exponent in the integrand (the function f(x) in Eq. (A.1)), which in this case is a simple quadratic function,Footnote 6 while the subexponential function (the function a(x) in Eq. (A.1)) is irrelevant for the determination of the saddle points. However, what happens is that the integrand has a branch point (or pole for N a positive even integer) and this point crosses the thimble at the Stokes line. This is depicted in Fig. 1.
In detail, as long as \(g = |g| e^{\imath \varphi }\in \mathbb {C}_{\pi }\), the integral converges because the branch point \(\sigma _\star = -\imath \sqrt{ 3/g } \) with branch cut \(\sigma _\star \times (1,+\infty )\) lies outside the integration contour. As g approaches \(\mathbb {R}_-\), the branch point hits the contour of integration: for \(\varphi \nearrow \pi \) the branch point hits the real axis at \( - \sqrt{3/|g|}\). The analytic continuation \(Z_+(g,N)\) consists in tilting the contour of integration in \(\sigma \) to avoid the collision with the branch point. However, in order to derive the asymptotic behavior of \(Z_+(g,N)\), we need to deform the integration contour back to the thimble, which is always the real axis. Once g passes on the second Riemann sheet (\( \varphi > \pi \)), when deforming the tilted contour to the real axis we generate an additional Hankel contour (see Fig. 1):
where the Hankel contour C turns clockwise around the cut \(\sigma _\star \times (1,+\infty )\), i.e., starting at infinity with argument \( \frac{3\pi }{2} -\frac{\varphi }{2}\) and going back with argument \( -\frac{\pi }{2} -\frac{\varphi }{2}\) after having encircled the branch point \(\sigma _\star \). We kept a subscript ± for the contribution of the Hankel contour, because, even though the definition of \(Z^C_\pm (g,N)\) and C might suggest that it is one single function of g, in fact the integral around the cut is divergent for \(|\varphi |<\pi /2\), and therefore, the integrals at \(\pi<\varphi <3\pi /2\) and at \(-\pi>\varphi >-3\pi /2\) are not the analytic continuation of each other. This fact is reflected in the \(\tau \)-dependence of the asymptotic expansion in Eq. (3.12).
The appearance of the Hankel contour marks a discontinuity of the contour of integration in \(\sigma \) as a function of the argument of g, which translates into a discontinuity of the asymptotic expansion of Z(g, N), that is, a Stokes phenomenon. We insist that the Hankel contour is not a thimble for the integral in Eq. (3.2), but it contributes to the asymptotic evaluation of the integral, providing the one-instanton contribution in the transseries of Z(g, N).
In order to go beyond \(|\varphi |=3\pi /2\), one notices that we can analytically continue separately \(Z^{\mathbb {R}}(g,N)\) and \(Z^C_\pm (g,N)\). The first is analytic in the range \(|\varphi |\in (\pi ,3\pi )\), where its asymptotic expansion is just the standard perturbative series. The analytic continuation of \(Z^C_\pm (g,N)\) is not immediate in the Hankel contour representation, which is only convergent for \(\pi /2<|\varphi |<3\pi /2\), but after resolving the discontinuity at the cut and using again the Hubbard–Stratonovich trick (as detailed in Appendix C.1), it turns out that it can be rewritten as:
with \(\tau = -\textrm{sgn}(\varphi )\). In this form it is manifest that \( Z^C_\pm (g,N)\) is analytic in g as long as \( e^{\imath \tau \pi } g \) belongs to the principal sheet of the Riemann surface, that is for \(\pi<|\varphi |<2 \pi \). We have thus shown that, when going from \(|\varphi | <\pi \) to \(\pi< |\varphi | < 2\pi \), our analytic continuation of Z(g, N) switches:
where we explicitly exhibited the argument at which the switching takes place. In the second line above, for \(\pi< |\varphi | < 2\pi \), both arguments \( e^{\imath (2\tau \pi ) } g\) and \( e^{\imath \tau \pi } g\) belong to the principal sheet of the Riemann surface, where Z(g, N) has already been constructed and proven to be analytic. The first term in Eq. (3.19) is regular up to \(|\varphi | = 3\pi \), but the second one has a problem when \(e^{\imath \tau \pi } g \) reaches the negative real axis and retracing our steps we conclude that the analytic continuation switches again:
where this time the arguments at which Z is evaluated on the right hand side stay in the principal sheet for \(2\pi< |\varphi | < 3\pi \). Iterating, one obtains the analytic continuation to the whole Riemann surface.
Remark 1
The differential equation (3.16) can be solved in terms of special functions. For \(N=1\), setting \(Z(g,1)=\sqrt{\frac{3}{2\pi g}} e^{\frac{3}{4g}} f(\frac{3}{4g})\), we find that the equation reduces to a modified Bessel’s equation for f(z):
Its two linearly independent solutions are the modified Bessel functions of the first and second kind of order 1/4. However, only the second, \(K_{1/4}(z)\), decays for \(z\rightarrow \infty \); hence, the initial condition \(Z(0,1)=1\) fixes \(f(z)=K_{1/4}(z)\).
Similarly, for general N, we find that setting \(Z(g,N)=(\frac{3}{2\,g})^{N/4} f(\frac{3}{2\,g})\) the differential equation reduces to Kummer’s equation for f(z):
With the addition of the initial condition \(Z(0,N)=1\), we find that the solution is given by the Tricomi confluent hypergeometric function \(f(z)=U(N/4,1/2,z)\), whose transseries expansion can easily be obtained order by order. However, such expressions of the partition function in terms of special functions do not generalize to quantum field theory. Similarly, even the more general resurgence theory for formal solutions of ordinary differential equations will be of limited use in that context, as the partition function of a quantum field theory model does not satisfy an ordinary differential equation. For this reason, while displaying for completeness the relevant ordinary differential equations, in this work we do not make use of them and rather refer to the literature (see references in [6]).
Our result (3.12) provides a useful repackaging of the transseries expansion of the partition function and an alternative derivation that should be more easily generalizable to quantum field theory.
3.2 Convergent Small-N Series of Z(g, N) and Transseries of Its Coefficients \(Z_n(g)\)
We will now study the discontinuity of Z(g, N) from a different perspective. We expand the integrand of Eq. (3.2) in powers of N and exchange the order of summation and integration:
Unlike the usual perturbative expansions in g, this is a convergent expansion: from the bound in Property 1 of Proposition 2 below, the Gaussian integral and the sum can be commuted due to Fubini’s Theorem. As a function of N, we can regard Z(g, N) as a generating function of “moments”: unlike the usual moments, we are dealing with expectations of powers of the logarithm.
Proposition 2
(Properties of \(Z_n(g)\)). The \(Z_n(g)\), \(n\in \mathbb {N}_{\ge 0}\) satisfy the following properties:
-
1.
\(Z_n(g)\) is analytic in the cut plane \(\mathbb {C}_\pi \). Indeed, for every \(g\in \mathbb {C}_\pi \), the integral (3.23) is absolutely convergent and bounded from above by:
$$\begin{aligned} | Z_n(g) | \le K^n \frac{ \bigg ( |\ln ( \cos \frac{\varphi }{2}) |+1 \bigg )^n }{ \varepsilon ^n } \bigg (1 + |g|^{\frac{n\varepsilon }{2}} \Gamma \left( \tfrac{n\varepsilon + 1}{2} \right) \bigg ) \; , \end{aligned}$$(3.24)for any \(\varepsilon >0\) and with K some g-independent constant. Using this bound with some fixed \(\varepsilon <2\) shows that, \(\forall g \in \mathbb {C}_\pi \) the series in Eq. (3.23) has infinite radius of convergence in N.
-
2.
For \(g\in \mathbb {C}_\pi \), \(Z_n(g)\) has the perturbative expansion:
$$\begin{aligned} Z_n(g)&\simeq \sum _{m\ge n/2} \left( -\frac{2g}{3}\right) ^m \, \frac{(2m)!}{2^{2m} m!} \sum _{\begin{array}{c} m_1,\ldots , m_{2m-n+1} \ge 0 \\ \sum k m_k=2m , \; \sum m_k=n \end{array}} \frac{(-1)^n n!}{\prod _k k^{m_k}m_k!} \nonumber \\&\equiv \, Z_n^{\mathrm{pert.}}(g) \; . \end{aligned}$$(3.25) -
3.
The functions \(Z_n(g)\) are Borel summable along all the directions in \(\mathbb {C}_\pi \).
-
4.
\(Z_n(g)\) can be continued past the cut on the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\), and the small-N series has infinite radius of convergence in N in this domain. However, \(\mathbb {R}_-\) is a Stokes line and the anticlockwise and clockwise analytic continuations \(Z_{n+}(g)\) and \(Z_{n-}(g)\) are not equal and cease to be Borel summable at \(\mathbb {R}_-\).
-
5.
For \(g\in \mathbb {C}_{3\pi /2}\), \(Z_n(g)\) has the following transseries expansion:
$$\begin{aligned} Z_n(g) \simeq Z_n^{\mathrm{pert.}}(g) + \eta \, e^{\frac{3}{2g}} Z_n^{(\eta )}(g) \;, \end{aligned}$$(3.26)with \(Z_n^{\mathrm{pert.}}(g)\) as in Eq. (3.25), and:
$$\begin{aligned} Z_n^{(\eta )}(g)&= \frac{\imath }{\sqrt{2\pi }}\sqrt{ \frac{ g}{3}} \sum _{q=0}^{\infty } \sum _{p=0}^{n} \frac{1}{q!} \left( \frac{g}{6}\right) ^q \left( {\begin{array}{c}n\\ p\end{array}}\right) \frac{d^p \Gamma (z)}{\textrm{d}z^p}\Big |_{z=2q+1} \nonumber \\&\quad \times \left[ \left( \ln \left( e^{\imath \tau \pi } \frac{g}{3}\right) -\imath \pi \right) ^{n-p} -\left( \ln \left( e^{\imath \tau \pi } \frac{g}{3}\right) +\imath \pi \right) ^{n-p}\right] \; , \end{aligned}$$(3.27)with \(\tau = -\textrm{sgn}(\varphi )\) and \(\eta \) a transseries parameter which is zero on the principal Riemann sheet and one if \(|\varphi |>\pi \). Proceeding in parallel to Proposition 1, one can study the full monodromy of \(Z_n(g)\).
-
6.
The discontinuity on the negative axis has the following asymptotic expansion:
$$\begin{aligned} \textrm{disc}_\pi \big (Z_n(g)\big )&\simeq \frac{e^{-\frac{3}{2|g|}}}{\sqrt{2\pi }}\sqrt{\frac{|g|}{3}} \sum _{q=0}^{\infty } \sum _{p=0}^{n} \frac{1}{q!} \left( -\frac{|g|}{6}\right) ^q \left( {\begin{array}{c}n\\ p\end{array}}\right) \frac{d^p \Gamma (z)}{\textrm{d}z^p}\Big |_{z=2q+1}\nonumber \\&\quad \times \left[ \left( \ln |\frac{g}{3}| -\imath \pi \right) ^{n-p} -\left( \ln |\frac{g}{3}| +\imath \pi \right) ^{n-p}\right] \; . \end{aligned}$$(3.28)Summing over n, the discontinuity of the partition function (3.15) is recovered.
-
7.
The functions \(Z_n(g)\) obey a tower of linear, inhomogeneous ordinary differential equations:
$$\begin{aligned}&Z_0(g)=1 \;,\nonumber \\&4 g^2 Z_1^{\prime \prime }(g)+6 \left( g+1 \right) Z_1^{\prime }(g) = 1 \;,\nonumber \\&4 g^2 Z_n^{\prime \prime }(g)+6 \left( g+1 \right) Z_n^{\prime }(g) = n \left( 4 g Z_{n-1}^{\prime }(g) + Z_{n-1}(g) \right) \nonumber \\&\quad - n (n-1) Z_{n-2}(g) \;. \end{aligned}$$(3.29)which can be used to reconstruct the resurgent transseries expansion of \(Z_n(g)\).
Proof
See Appendix C.2\(\square \)
As with Proposition 1, the most interesting points are Properties 4 and 5. Again the analytic continuations \(Z_{n\pm }(g)\) of \(Z_n(g)\) to the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) are obtained by tilting the integration contour to \(e^{\mp \imath \theta }\sigma \) with \(\theta > 0\). The branch point \(\sigma _{\star }\) of the integrand in Eq. (3.23) crosses the real axis when g reaches \(\mathbb {R}_-\), and deforming the tilted contours back to the real axis detaches Hankel contours around the cut \( \sigma _\star \times (1,+\infty )\):
The transseries of \(Z_n(g)\) is obtained by summing the asymptotic expansions of the two pieces:
Notice that the homogeneous equation in Property 7 in Proposition 2 is the same for all \(n\ge 1\), and it admits an exact solution in the form of a constant plus an imaginary error function:
The asymptotic expansion of the error function reproduces the one-instanton contribution of Eq. (3.26) for \(n=1\). For \(n>1\), instead, this is only part of the instanton contribution, the rest being generated by the recursive structure of the inhomogeneous equations. Similarly, the perturbative expansion comes from the special solution to the inhomogeneous equation, even at \(n=1\), as for those we cannot match exponential terms with the right-hand side. For \(n>1\) the homogeneous equation remains the same, but the inhomogeneous part depends on the solutions to previous equations, and thus, it can also contain exponential terms.
4 The Free Energy W(g, N)
We now turn to the free energy \(W(g,N) = \ln Z(g,N)\). Our aim is find the equivalent of the results listed in Proposition 1, in the case of W(g, N). Taking the logarithm has drastic effects: the nonperturbative effects encountered in W(g, N) are significantly more complicated than the ones encountered for Z(g, N). One can understand this from the fact that the linear differential equation satisfied by Z(g, N) translates into a nonlinear one for W(g, N), leading to an infinite tower of multi-instanton sectors in the transseries [6]. Here we will follow a different route, based on the small-N expansion.
Much like the partition function Z(g, N), its logarithm W(g, N) can also be expanded in N:
The coefficients \(W_n(g)\) can be computed in terms of \(Z_n(g)\). As already mentioned, \(Z_n(g)\) are the moments of the random variable \(\ln (1-\imath \sqrt{g/ 3} \, \sigma )\); hence, \(W_n\) are the cumulants of the same variable and can be computed in terms of \(Z_n(g)\) by using the Möbius inversion formula (which in this case becomes the moments-cumulants formula). Let us denote \(\pi \) a partition of the set \(\{1,\dots n\}\), \(b\in \pi \) the parts in the partition, \(|\pi |\) the number of parts of \(\pi \) and |b| the cardinal of b. Then:
where \(\lambda _{\pi } = (-1)^{|\pi |-1} (|\pi |-1)!\) is the Möbius function on the lattice of partitions. Grouping together the partitions having the same number \(n_i\) of parts of size i, this becomesFootnote 7
Equation (4.3) relates \(W_n(g)\) and \(Z_n(g)\) as analytic functions of g. However, this translates into a relation between W(g, N) and Z(g, N) which holds only in the sense of formal power series in N. Even though Z(g, N) is analytic in some domain, one cannot conclude that W(g, N) is also analytic in the same domain: convergence of the series defining Z(g, N) does not imply convergence of the series defining W(g, N) in Eq. (4.1). This can most readily be seen at the zeros of the partition function, the so-called Lee–Yang zeros, which are singular points for the free energy. In order to study the analyticity properties of W(g, N) one needs to use a completely different set of tools. However, as we will see below, the Möbius inversion has its own uses: it is the most direct way to access the transseries expansion of W(g, N).
4.1 Constructive Expansion
The following Proposition 3 is a slight variation on the Loop Vertex Expansion (LVE) introduced in [18] (see also [26] for more details). It gives an integral representation for \(W_n(g)\) in Eq. (4.1) which allows us to prove that W(g, N) is convergent (hence analytic) in a bounded domain on the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\), wrapping around the branch point at the origin.
In Proposition 1 we fixed N to be a real parameter. However, Eq. (3.23) writes Z(g, N) as an expansion in N with a nonzero (infinite!) radius of convergence in N, as long as \(|\varphi | < 3\pi /2\) (note that the bound in Property 1 of Proposition 2 suffices only for \(|\varphi |< \pi \); in order to reach \(|\varphi | < 3\pi /2\), one needs to use the improved bound in Eq. (C.42)). We can therefore extend N to a larger domain in the complex plane. As the following proposition shows, something similar applies also to W(g, N), but with a finite radius of convergence.
Notation. Let us denote \(T_n\) the set of combinatorial trees with n vertices labeled \(1,\dots n\). There are \(\frac{ (n-2)! }{ \prod _{i=1}^n (d_i-1)!}\) trees over n labeled vertices with coordination \(d_i\) at the vertex i and \(\sum _i d_i = 2(n-1)\). The total number of trees in \(T_n\) is \(n^{n-2}\). Let \(\mathcal {T}\in T_n\) be such a tree. We denote \(P_{k-l}^{\mathcal {T}} \) the (unique) path in the tree \(\mathcal {T}\) connecting the vertices k and l. If we associate to each edge \((k,l)\in \mathcal {T}\) a variable \(u_{kl}\) between 0 and 1, we can define the \(n\times n\) matrix \(w^\mathcal {T}\):
The matrix \(w^\mathcal {T}\) is a positive matrix for any choice of u parameters and is strictly positive outside a set of measure 0 (see Appendix D for more details). Of course the matrix w depends on u, but we suppress this in order to simplify the notation.
Proposition 3
(The LVE, analyticity). Let N be a fixed complex parameter and let us denote \(g= |g|e^{\imath \varphi }\). The cumulants \(W_n(g)\) can be written as:
where we note that the Gaussian integral over \(\sigma \) is well defined, as \(w^\mathcal {T}\) is positive, and normalized. Furthermore:
-
1.
The functions \(W_n(g), n\ge 2\) are bounded by:
$$\begin{aligned} |W_n(g)| \le \frac{(2n-3)!}{(n-1)!} \left| \frac{g}{3 \left( \cos \frac{\varphi }{2} \right) ^{2} } \right| ^{n-1} \;. \end{aligned}$$(4.6)Therefore, they are analytic in the cut plane \(\mathbb {C}_{\pi }\).
-
2.
The series
$$\begin{aligned} W(g,N) = \sum _{n\ge 1} \frac{1}{n!} \left( -\frac{N}{2} \right) ^{n} W_n(g) \end{aligned}$$(4.7)is absolutely convergent in the following cardioid domain:
$$\begin{aligned} \mathbb {D}_0 = \left\{ g\in \mathbb {C},\; g=|g| e^{\imath \varphi } :\; |g|<\frac{1}{|N|} \; \frac{3}{2} (\cos \frac{\varphi }{2} )^{2}\right\} \;. \end{aligned}$$(4.8) -
3.
\(W_n(g)\) can be analytically continued to a subdomain of the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) by tilting the integration contours to \(\sigma \in e^{-\imath \theta } \mathbb {R}\):
$$\begin{aligned} W_{1\theta }(g)&= e^{-\imath \theta }\int _{-\infty }^{+\infty } [\text {d}\sigma ] \; e^{-\frac{1}{2} e^{-2\imath \theta } \sigma ^2 } \ln \Big ( 1 -\imath \sqrt{\tfrac{g}{3}} e^{-\imath \theta }\sigma \Big ) \;, \nonumber \\ W_{n\theta }(g)&= - \left( \frac{g}{3} \right) ^{n-1} \sum _{ \mathcal {T}\in T_n } \int _{0}^1 \prod _{ (i,j) \in \mathcal {T}} \text {d}u_{ij} \nonumber \\ {}&\quad \times \int _{\mathbb {R}} \frac{\prod _i e^{-\imath \theta } [ \text {d}\sigma _i] }{\sqrt{ \det w^\mathcal {T}}} \; e^{ - \frac{1}{2} e^{-2\imath \theta }\sum _{i,j} \sigma _i ( w^\mathcal {T})_{ij}^{-1} \sigma _j } \;\; \prod _{i} \frac{(d_i-1)!}{ \left( 1 -\imath \sqrt{\tfrac{g}{3}} e^{-\imath \theta }\sigma _i \right) ^{d_i} } \;. \end{aligned}$$(4.9) -
4.
For \(n\ge 2\) we have the following bound:
$$\begin{aligned} |W_{n\theta }(g)| \le \frac{(2n-3)!}{(n-1)!} \frac{1}{\sqrt{ \cos (2\theta ) }} \left| \frac{g}{3 \sqrt{\cos (2\theta )} \left( \cos \frac{\varphi -2\theta }{2} \right) ^2 } \right| ^{n-1} \;. \end{aligned}$$(4.10) -
5.
The series
$$\begin{aligned} W_{\theta }(g,N) = \sum _{n\ge 1} \frac{1}{n!} \left( -\frac{N}{2} \right) ^{n} W_{n\theta }(g) \;, \end{aligned}$$(4.11)is absolutely convergent in the following domain:
$$\begin{aligned} \mathbb {D}_{\theta } = \left\{ g\in \mathbb {C},\; g=|g| e^{\imath \varphi } :\; |g| < \frac{1}{|N|} \; \frac{3}{2} \; \left( \cos \frac{\varphi -2 \theta }{2} \right) ^{2} \; \sqrt{ \cos (2\theta ) } \right\} \;. \end{aligned}$$(4.12)
Consequently, \(W_n(g)\) and W(g, N) can be analytically extended to the following respective domains:
Pushing \(\theta \rightarrow \pm \pi /4\) allows us to write a convergent expansion for all \(|\varphi |< \frac{3\pi }{2}\).
Proof
See Appendix C.3\(\square \)
The main point of the proposition is that by constructive methods we can prove analyticity of W(g, N) in a nontrivial domain. In a first step, without touching the integration contours, we prove that such domain is the cardioid of Eq.(4.8). However, the cardioid does not allow us to reach (and cross) the branch cut. Tilting the integration contours by \(\theta \), we are able to extend the original cardioid domain to the larger domain of Eq. (4.12) (see Fig. 2), going beyond the cut on a subdomain of the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\). The optimal domain \(\mathbb {D}_{\textrm{opt}}\) can be found by maximizing the right-hand side of Eq. (4.12) with respect to \(\theta \), at fixed \(\varphi \), but a simpler and qualitatively similar choice is to take \(\theta =\varphi /6\).
Note that the domain of analyticity of W(g, N), Eq. (4.12), depends on N and shrinks to zero for \(N\rightarrow \infty \). Results uniform in N can only be established if one keeps the ’t Hooft coupling \(g_{t} = g N\) fixed [26]. On the other hand, for any g on the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\), the radius of convergence of the LVE in N is nonzero.
Remark 2
It is also worth noticing that the explicit expressions for the partition function in terms of special functions, discussed around Eq. (3.21), provide us with some useful information about the zeros of Z(g, N) (Lee–Yang zeros), and hence about the singularities of W(g, N). For example, in the case \(N=1\), the partition function is expressed in terms of a modified Bessel function of the second kind, whose zeros have been studied in some depth. In particular, from what is known about \(K_{\nu }(z)\) (e.g., [31]) we deduce that \(Z(g,1)=\sqrt{\frac{3}{2\pi g}} e^{\frac{3}{4\,g}} K_{1/4}(\frac{3}{4\,g})\) has no zeros in the principal sheet \(\mathbb {C}_{\pi }\), while on each of the two following sheets it has an infinite sequence of zeros approaching the semiaxis at \(|\varphi |=3\pi /2\) from the left, and accumulating toward \(g=0\) (see Fig. 3). Therefore, it should come as no surprise that W(g, N) cannot be analytically continued around the origin beyond \(|\varphi |=3\pi /2\).
Remark 3
Integrating out the u parameters and performing the sum over trees, one should be able to prove that integral expressions (4.9) reproduce the moment-cumulant relation in Eq. (4.3). In particular this would provide an alternative proof that the moment cumulant relation holds in the sense of analytic functions on the Riemann surface. The proof that this indeed happens is involved as the summation over trees requires the use of combinatoiral techniques similar to the ones discussed in Appendix D. We postpone this for future work.
In [18] the LVE is used to prove the Borel summability of W(g, 1) along the positive real axis. Building on the techniques introduced in [18], we now generalize this result.
Proposition 4
(Borel summability of \(W_n(g)\) and W(g, N) in \(\mathbb {C}_\pi \)). The cumulants \(W_n(g)\) and the free energy W(g, N) at any fixed complex N are Borel summable along all the directions in the cut complex plane \(\mathbb {C}_\pi \).
Proof
See Appendix C.4. \(\square \)
4.2 Transseries Expansion
It is well known that the (perturbative) asymptotic series of W(g, N) at \(g=0\) is a sum over connected Feynman graphs. The connection between the LVE of W(g, N) presented in Proposition 3 and the Feynman graphs is discussed in Appendix D.1. On the other hand, the power series in each multi-instanton sector of the transseries of W(g, N) has no simple diagrammatic interpretation; they can be constructed from the nonlinear differential equation obeyed by W(g, N), or more formally by expanding the logarithm of the transseries expansion of Z(g, N) in powers of the transseries monomial \(\exp \{3/(2g)\}\) (e.g., [6]). The latter is, however, only a meaningful operation in the sense of formal power series.
In this section we take a different route and derive rigorously the transseries expansion of W(g, N) by exploiting the analytical control we have on the small-N expansion. We first notice that, from Propositions 2 and 3, \(W_n(g)\) and \(Z_n(g)\) are analytic functions on the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\). Next, we use Eq. (4.3) to construct \(W_n(g)\) as a finite linear combination of finite products of \(Z_i(g)\)’s. Each such product is in fact a (factored) multidimensional integral; hence, we can apply to it the steepest descent method to obtain its asymptotic expansion. In \(\mathbb {C}_\pi \), the asymptotic expansion of each factor \(Z_i(g)\) is of the perturbative type, Eq. (3.25), and \(W_n(g)\) is just a finite linear combination of Cauchy products of such series.
When turning g past the negative real axis, each integration contour in this multidimensional integral must be deformed past a cut and each \(Z_{i\pm }(g) = Z_i^{\mathbb {R}}(g) + Z^C_{i\pm }(g)\) (see the discussion below Proposition 2). It follows that \(W_i(g)\) is a linear combination of products involving \(Z_i^{\mathbb {R}}(g)\)’s and \(Z^C_{i\pm }(g)\), and this representation holds in the sense of analytic functions on the Riemann surface. In order to obtain the transseries of \(W_n(g)\), one needs to build the transseries expansion of each of the terms in the linear combinations. As the multidimensional integrals are factored, this is just the Cauchy product of the transseries \(Z_i^\mathrm{pert.}(g)\) and \(e^{\frac{3}{2g}}Z_i^{(\eta )}(g)\) corresponding to \(Z_i^{\mathbb {R}}(g)\) and \(Z^C_{i\pm }(g)\), respectively.
The summation over n is more delicate, as it is an infinite series. As we have seen in Proposition 3, the small-N series of W(g, N) converges in the domain \(\mathbb {D}_0\) of Eq. (4.12), thus yielding W(g, N) in terms of \(W_n(g)\) as an analytic function on such domain. Therefore, we can apply the steepest-descent method term by term to the small-N series, and hence, the transseries of W(g, N) is rigorously reconstructed by substituting the transseries for \(W_n(g)\) in Eq. (4.1).
Unsurprisingly, at the end we recover the formal transseries of W(g, N) which can be obtained by direct substitution of the transseries expansion of Z(g, N), taking formally its logarithm, and then expanding in powers of \(Z_i^{(\eta )}(g)\) and \(Z_i^\mathrm{pert.}(g)-1\). What we gained in the process is that we replaced a formal manipulation on transseries with a rigorous manipulation on analytic functions.
Proposition 5
The cumulant \(W_n(g)\) and the full free energy W(g, N) have transseries expansions that can be organized into instanton sectors. The instanton counting parameter is denoted by p.
-
1.
For \(g\in \mathbb {C}_{3\pi /2}\),, the cumulant \(W_n(g)\) has the transseries expansion:
$$\begin{aligned} W_n(g)= \sum _{p=0}^n e^{\frac{3}{2g}p} \;\Bigg (\eta \sqrt{2\pi } \sqrt{\frac{g}{3}}\Bigg )^{p}\; \sum _{l'= 0}^{n-p} \left( \ln \left( \tfrac{g}{3}\right) \right) ^{l'} \sum _{l\ge 0} g^l\, W^{(p)}_{n;l,l'} \,, \end{aligned}$$(4.14)where \(\mathbb {R}_-\) is a Stokes line, \(\tau = -\textrm{sgn}(\varphi )\) and \(\eta \) is a transseries parameter which is zero on the principal Riemann sheet and is one when \(|\varphi |>\pi \). The g-independent coefficient \(W^{(p)}_{n;l,l'}\) is given by the following nested sum:
$$\begin{aligned} {}&{} W^{(p)}_{n;l,l'} = \sum _{\begin{array}{c} k = p \\ k+p\ge 1 \end{array}}^{n} (-1)^{k-1} (k-1)! \sum _{ \begin{array}{c} n_1, \ldots , n_{n-k+1} \ge 0 \\ \sum in_i = n ,\, \sum n_i = k \end{array}} \ \sum _{\begin{array}{c} \{0\le p_i\le n_i\} \\ _{i=1,\dots ,n-k+1} \\ \sum p_i=p \end{array}} \frac{n!}{\prod _i (n_i-p_i)!p_i! (i!)^{n_i}} \nonumber \\ {}{}&{} \quad \times \sum _{\begin{array}{c} \{a^i_j\ge 0\}^{i=1,\dots ,n-k+1}_{j=1,\dots ,n_i} \\ \sum _i\sum _j a^i_j=l \end{array}} \ \sum _{\begin{array}{c} \{0\le c^i_j\le i-1\}^{i=1,\dots ,n-k+1}_{j=1,\dots ,p_i} \\ \sum _i\sum _j c^i_j=l' \end{array}} \left( \frac{1}{6}\right) ^{\sum _{i=1}^{n-k+1}\sum _{j=1}^{p_i}a^i_j} \left( -\frac{2}{3}\right) ^{\sum _{i=1}^{n-k+1}\sum _{j=p_i+1}^{n_i}a^i_j} \nonumber \\ {}{}&{} \qquad \prod _{i=1}^{n-k+1} \Bigg (\prod _{j=1}^{p_i} G(a^i_j,c^i_j;i)\Bigg )\Bigg (\prod _{j=p_i+1}^{n_i} G(a^i_j;i)\Bigg ) \; , \end{aligned}$$(4.15)with
$$\begin{aligned} G(a;i)&= \frac{(2a)!}{2^{2a} a!} \sum _{\begin{array}{c} a_1,\ldots ,a_{2a-i+1} \ge 0 \\ \sum k a_k=2a , \; \sum a_k=i \end{array}} \frac{(-1)^i i!}{\prod _k k^{a_k}a_k!} \; , \nonumber \\ G(a,c;i)&= \sum _{b=0}^{i-1} \left( \imath \tau 2\pi \right) ^{i-1-b-c} \frac{i!}{a!\,b!\,c!\,(i-b-c)!} \frac{d^b \Gamma (z)}{\textrm{d}z^b}\Big |_{z=2a+1} \;. \end{aligned}$$(4.16) -
2.
For \(g\in \mathbb {D}_{\theta }\), the full free energy W(g, N) has the transseries expansion:
$$\begin{aligned} W(g,N)&= \sum _{n\ge 1} \frac{1}{n!} \left( -\frac{N}{2}\right) ^n W_n(g) \nonumber \\&= \sum _{p\ge 0} e^{\frac{3}{2g}p} \; \Bigg (\eta \sqrt{2\pi }e^{\imath \tau \frac{\pi }{2}} \left( \frac{e^{\imath \tau \pi } g}{3}\right) ^{\frac{1-N}{2}}\Bigg )^{p} \; \sum _{l\ge 0} \left( - \frac{2g}{3}\right) ^{l} W^{(p)}_{l}(N) \; , \end{aligned}$$(4.17)where
$$\begin{aligned} W^{(p)}_{l}(N)&= \sum _{\begin{array}{c} q\ge 0\\ p+q\ge 1 \end{array}} (-1)^{p+q-1} \frac{(p+q-1)!}{p!q!} \nonumber \\ {}&\quad \times \sum _{\begin{array}{c} n_1,\dots ,n_q\ge 1 \\ m_1,\dots ,m_p\ge 0 \\ \sum n_i+\sum m_j=l \end{array}} \Bigg ( \prod _{i=1}^{q} \frac{\Gamma (2n_i+N/2) }{2^{2n_i}n_i! \, \Gamma (N/2) }\Bigg ) \Bigg ( \prod _{j=1}^{p} \frac{(-1)^{m_j}}{ 2^{2m_j} m_j! \; \Gamma \left( \frac{N}{2} -2m_j\right) }\Bigg ) \;. \end{aligned}$$(4.18)
Proof
See Appendix C.5\(\square \)
While the expressions in Proposition 5 are not the most amenable to computations, one feature is striking. Expanding the cumulant \(W_n(g)\) into p instanton sectors, we observe that only the first n instantons contribute to \(W_n\), that is the sum in Eq. (4.14) truncates to \(p=n\). The n instanton contribution to \(W_n\) comes from \(n=p=k\) in Eq. (4.15) which implies \(n_1=n\) and all the others 0, henceFootnote 8:
This is genuinely new phenomenon. Usually, for quantities that are interesting for physics, one either deals with functions having only one instanton, like Z(g, N) (or \(Z_n(g)\)) or with function receiving contributions from all the instanton sectors, like W(g, N). This is, to our knowledge, the first instance when some physically relevant quantity receiving contributions from a finite number of instantons strictly larger than one is encountered. The n instanton contribution comes from \(n_1=n\) and all the others 0, such that effectively:
and, for all n, \(Z_n(g)\) has just a single instanton.
4.3 Differential Equations
The exotic behavior of \(W_n(g)\) can also be understood in terms of differential equations. By rewriting the partition function as \(Z(g,N)=e^{W(g,N)}\), it is straightforward to turn (3.16) into a differential equation for W(g, N), which in turn implies a tower of equations for \(W_n(g)\).
Proposition 6
The function W(g, N) obeys the nonlinear differential equation:
The functions \(W_n(g)\) obey the tower of differential equations:
The differential equation for \(W_{1}(g)\) is, unsurprisingly, identical to the one for \(Z_1(g)\) (the connected \(1-\)point function equals to the full \(1-\)point function). Note that although the differential equation for W(g, N) is nonlinear, the one for \(W_n(g)\) is linear. In fact, since \(W_0(g)=0\), the nonlinear term \(\left( W^\prime (g,N)\right) ^2\) produces only source terms in (4.21). The linearity of the equations provides another point of view on why only a finite number of instantons arise in each \(W_n(g)\).
Notes
The renormalon singularities specific to higher dimensions are different. They are located on the positive real axis and stem from the factorial growth of the renormalized amplitude of a family of diagrams consisting in essentially one diagram per perturbation order.
The same model has been considered in a similar context in [15], where the problem of constructing Lefschetz thimbles in the N-dimensional space have been studied. By using the intermediate field formalism, we will bypass such problem here.
Note that we do not use the usual normalization g/4 of the interaction in the O(N) model, but stick to g/4! in order to facilitate the comparison with the literature on transseries which deals mostly with the \(N=1\) case for which the normalization g/4! is standard. Also, we do not use the ’t Hooft coupling \(\lambda = g N\), which is needed for a well defined 1/N expansion: in this paper we keep N small.
For N complex with positive real part, for instance, one uses the inequality \(|z^{-N/2}| \le |\textrm{Re}(z)|^{-\textrm{Re}(N)/2} e^{\pi |\textrm{Im}(N)|/2}\).
This is perhaps more clear after rescaling \(\sigma \) by \(1/\sqrt{g}\) to cast our integral in the same form as Eq. (A.1).
This can also be obtained directly from Faà: di Bruno’s formula:
$$\begin{aligned} \frac{\textrm{d}^n}{\textrm{d}u^n} \ln Z|_{u=0} =\sum _{\begin{array}{c} n_1,\dots n_n \ge 0\\ \sum i n_i = n \end{array}} \frac{n!}{\prod _i n_i! (i!)^{n_i}} \; (n_1 + \dots +n_n-1)! \; \frac{(-1)^{n_1 + \dots +n_n-1}}{ Z^{ n_n + \dots +n_n } } \prod _{i\ge 1} [ Z^{(i)} ]^{n_i}|_{u=0} \;, \end{aligned}$$noticing that for \(u=-N/2\), we have \(Z^{(i)}=Z_i\).
This formula is most easily derived from Eq. (C.74).
As explained for example in [16], in the Laplace method we restrict the integration to a small neighborhood of the saddle point, we expand the integrand, keeping only the first nontrivial term in the exponent while expanding the rest, and lastly exchange sum and integral, extending the integration domain to an infinite line along which the integrals are convergent and computable.
The factor \(1/(\cos (2\theta ))^{q}\) can be improved to 1 by Taylor expanding in the Gaussian measure along the lines of the proof of Proposition 4.
In detail:
$$\begin{aligned} 1 \le \frac{\Gamma (x+1)}{ \sqrt{2\pi x} (x/e)^x } \le e^{\frac{1}{12 x}} \le e^{1/12}\; ,\qquad x \in [1, \infty ) \;. \end{aligned}$$(C.8)Note that \(\left( 1 + \frac{ \frac{N}{2} -1 }{ 2q }\right) ^{\frac{4q + N-1}{2}} \le \exp \{ \frac{4q + N-1}{2} \ln ( 1 + \frac{ \frac{N}{2} -1 }{ 2q } ) \} \le \exp \{ \frac{ ( 4q + N-1) ( \frac{N}{2} -1 ) }{4q} \} \le K\) for \(q\ge 1\).
This is obtained by writing, for \(\textrm{Re}(z)<1\),
$$\begin{aligned} \int _{C''} \textrm{d}u \; e^{-S(u)}\, (e^{-\imath \pi } u)^{-z}= & {} \int _{+\infty }^0 \textrm{d}u \; e^{-S(u)}\, e^{-z (\ln |u|+\imath \pi )} + \int _0^{+\infty } \textrm{d}u \; e^{-S(u)}\, e^{-z (\ln |u|-\imath \pi )} \\= & {} 2\imath \sin (\pi z) \int _0^{+\infty }\textrm{d}u \;e^{-S(u)}\, u^{-z} . \end{aligned}$$Notice that this allows us also to analytically continue the result to \(N\ge 2\).
In detail, we use:
$$\begin{aligned}&Z( e^{\imath ( 2 k ) \tau \pi } g ,N) \xrightarrow []{ |\varphi | \nearrow (2k +1 ) \pi _+} Z( e^{\imath (2k+2) \tau \pi } g,N) \\&\quad + \tfrac{\sqrt{ 2\pi } }{\Gamma (N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{\frac{3}{2g}} \; \left( e^{\imath (2k+1) \tau \pi } \tfrac{ g}{3} \right) ^{\frac{1-N}{2} } \; Z ( e^{\imath (2k+1) \tau \pi } g , 2-N) \;, \\&Z ( e^{\imath (2k +1) \tau \pi } g , 2-N) \xrightarrow []{ |\varphi | \nearrow (2k+2)\pi _+ } Z( e^{\imath (2k +3) \tau \pi } g , 2-N) \\&\quad + \tfrac{\sqrt{ 2\pi } }{\Gamma (1-N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{ - \frac{3}{2g }} \; \left( e^{\imath (2k +2) \tau \pi } \tfrac{ g}{3} \right) ^{\frac{N-1}{2} } \; Z( e^{\imath (2k +2) \tau \pi } g , N) \; , \\&\tfrac{\sqrt{ 2\pi } }{\Gamma (N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{\frac{3}{2g}} \; \left( e^{\imath (2k + 1) \tau \pi } \tfrac{ g}{3} \right) ^{\frac{1-N}{2} } \;\; \left[ \tfrac{\sqrt{ 2\pi } }{\Gamma (1-N/2)} \; e^{\imath \tau \frac{\pi }{2} } \; e^{ - \frac{3}{2g }} \; \left( e^{\imath (2k +2) \tau \pi } \tfrac{ g}{3} \right) ^{\frac{N-1}{2} } \right] = {\tilde{\tau }} \;. \end{aligned}$$Namely, we evaluate the q-th term of the Taylor expansion using the following formula (at \(u=0\))
$$\begin{aligned} \frac{\textrm{d}^q}{\textrm{d}u^q} [\ln (1 - u x)]^n= & {} \sum _{\begin{array}{c} m_1,\dots m_q\\ \sum km_k = q, \, \sum m_k \le n \end{array}} \frac{q!}{\prod _k m_k! (k!)^{m_k}} \; \frac{ n !}{ ( n- \sum _k m_k)! } \; [\ln (1 - u x)]^{n - \sum _k m_k} \\{} & {} \prod _k \left( \frac{ - (k-1)! x^{k} }{ (1 - ux)^k } \right) ^{m_k} . \end{aligned}$$In the last step, we use: \(\sum _{m_1,m_2,\ldots \ge 0}: \prod _{k\ge 1} \frac{1}{m_k!} \left( \frac{Nx^k}{2k}\right) ^{m_k} = \exp \{\sum _{k\ge 1} \frac{Nx^k}{2k} \} = (1-x)^{-N/2} = \sum _{m=0}^\infty \frac{\Gamma (m+N/2)}{\Gamma (N/2)m!} x^m\).
See comments below Eq. (C.16) for an explanation of the \(\tau \)-dependence.
Indeed, \(W_{\varphi /6}(g,N) = Q^0_{\varphi /6}(g,N)\) and the series defining it converges absolutely in such a disk \(|Q^0_{\varphi /6}(g,N) | \le 1/ ( 4c^{1/2} \nu )\).
Acyclic edge subgraphs of the complete graph \(\mathcal {K}_n\).
References
Écalle, J.: Les fonctions résurgentes. Vol. I-III, Université de Paris-Sud, Département de Mathématique, Orsay (1981)
Sauzin, D.: Resurgent functions and splitting problems. arXiv:0706.0137
Mariño, M.: Lectures on non-perturbative effects in large \(N\) gauge theories, matrix models and strings. Fortsch. Phys. 62, 455 (2014). [arXiv:1206.6272]
Dorigoni, D.: An Introduction to Resurgence, Trans-Series and Alien Calculus. Annals Phys. 409, 167914 (2019). [arXiv:1411.3585]
Dunne, G.V., Ünsal, M.: What is QFT? Resurgent trans-series, Lefschetz thimbles, and new exact saddles. PoS LATTICE2015, 010 (2016). arXiv:1511.05977
Aniceto, I., Basar, G., Schiappa, R.: A primer on resurgent transseries and their asymptotics. Phys. Rept. 809, 1 (2019). [arXiv:1802.10441]
Di Vecchia, P., Kato, M., Ohta, N.: Double scaling limit in O(N) vector models. Nucl. Phys. B 357, 495 (1991)
Di Francesco, P., Ginsparg, P.H., Zinn-Justin, J.: 2-D gravity and random matrices. Phys. Rept. 254, 1 (1995). [arXiv:hep-th/9306153]
Gurau, R.: Random Tensors. Oxford University Press, Oxford (2016)
Fauvet, F., Menous, F., Quéva, J.: Resurgence and holonomy of the \(\phi ^{2k}\) model in zero dimension. J. Math. Phys. 61, 092301 (2020). [arXiv:1910.01606]
Jaffe, A.: Constructive quantum field theory. Math. Phys. 2000, 111 (2000)
Rivasseau, V.: From Perturbative to Constructive Renormalization, vol. 46. Princeton University Press (2014)
Rivasseau, V.: Constructive field theory in zero dimension. Adv. Math. Phys. 2009, 180159 (2009). [arXiv:0906.3524]
Bersini, J., Maiezza, A., Vasquez, J.C.: Resurgence of the renormalization group equation. Ann. Phys. 415, (2020). arXiv:1910.14507
Tanizaki, Y.: Lefschetz-thimble techniques for path integral of zero-dimensional \(O(n)\) sigma models. Phys. Rev. D 91, 036002 (2015). [arXiv:1412.1891]
Bender, C.M., Orszag, S.A.: Advanced Mathematical Methods for Scientists and Engineers I, 1st edn. Springer, New York (1999). https://doi.org/10.1007/978-1-4757-3069-2
Witten, E.: Analytic continuation of Chern–Simons theory. AMS/IP Stud. Adv. Math. 50, 347 (2011). [arXiv:1001.2933]
Rivasseau, V.: Constructive matrix theory. JHEP 09, 008 (2007). [arXiv:0706.1224]
Magnen, J., Rivasseau, V.: Constructive phi**4 field theory without tears. Annales Henri Poincare 9, 403 (2008). [arXiv:0706.2457]
de Gennes, P.: Exponents for the excluded volume problem as derived by the Wilson method. Phys. Lett. A 38, 339 (1972)
Slade, G.: Self-avoiding walk, spin systems, and renormalization. Proc. R. Soc. Lond. A 475, 20180549 (2019). [arXiv:1808.04476]
Baldino, S., Schiappa, R., Schwick, M., Vega, R.: Resurgent Stokes Data for Painleve Equations and Two-Dimensional Quantum (Super) Gravity. arXiv:2203.13726
Hikami, S., Brezin, E.: Large-order behaviour of the 1/N expansion in zero and one dimensions. J. Phys. A: Math. General 12, 759 (1979)
Di Pietro, L., Mariño, M., Sberveglieri, G., Serone, M.: Resurgence and 1/N expansion in integrable field theories. J. High Energy Phys. 2021, 166 (2021). [arXiv:2108.02647]
Ferdinand, L., Gurau, R., Perez-Sanchez, C.I., Vignes-Tourneret, F.: Borel summability of the 1/N expansion in quartic O(N)-vector models. arXiv:2209.09045
Gurau, R., Rivasseau, V., Sfondrini, A.: Renormalization: an advanced overview, arXiv:1401.5003
Sokal, A.D.: An improvement of Watson’s theorem on Borel summability. J. Math. Phys. 21, 261 (1980)
NIST Digital Library of Mathematical Functions.’ https://dlmf.nist.gov/. Release 1.1.9 of 2023-03-15
Hubbard, J.: Calculation of partition functions. Phys. Rev. Lett. 3, 77 (1959)
Stratonovich, R.L.: On a method of calculating quantum distribution functions. Soviet Phys. Doklady 2, 416 (1957)
Watson, G.N.: A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge (1944)
Sternin, B.Y., Shatalov, V.E.: Saddle-point method and resurgent analysis. Math. Notes 61, 227 (1997)
Witten, E.: A new look at the path integral of quantum mechanics. arXiv:1009.6032
Fujii, H., Honda, D., Kato, M., Kikukawa, Y., Komatsu, S., Sano, T.: Hybrid Monte Carlo on Lefschetz thimbles - a study of the residual sign problem. JHEP 10, 147 (2013). [arXiv:1309.4371]
Aarts, G., Bongiovanni, L., Seiler, E., Sexty, D.: Some remarks on Lefschetz thimbles and complex Langevin dynamics. JHEP 10, 159 (2014). [arXiv:1407.2090]
Bluecher, S., Pawlowski, J.M., Scherzer, M., Schlosser, M., Stamatescu, I.-O., Syrkowski, S., et al.: Reweighting Lefschetz thimbles. SciPost Phys. 5, 044 (2018). [arXiv:1803.08418]
Tanizaki, Y., Nishimura, H., Verbaarschot, J.J.M.: Gradient flows without blow-up for Lefschetz thimbles. JHEP 10, 100 (2017). [arXiv:1706.03822]
Bauerschmidt, R., Brydges, D.C., Slade, G.: Introduction to a Renormalisation Group Method, vol. 2242. Springer Nature (2019)
Brydges, D.C., Kennedy, T.: Mayer expansions and the Hamilton–Jacobi equation. J. Stat. Phys. 48, 19 (1987)
Abdesselam, A., Rivasseau, V.: Trees, forests and jungles: A Botanical garden for cluster expansions. Lect. Notes Phys. 446, 7 (1995). [arXiv:hep-th/9409094]
Rivasseau, V., Wang, Z.: How to resum Feynman graphs. Annales Henri Poincare 15, 2069 (2014). [arXiv:1304.5913]
Acknowledgements
R. G., H. K. and D. L. have been supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No. 818066) and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC-2181/1-390900948 (the Heidelberg STRUCTURES Cluster of Excellence). We thank Ricardo Schiappa for comments on an early version of this work.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Abdelmalek Abdesselam.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Asymptotic Expansions
Analytic continuations of exponential integrals like Z(g, N) can be carried out by deforming the original real integration cycles in the complex plane. Complex Morse theory (Picard–Lefschetz Theory) provides a systematic framework for decomposing the original integration cycle \(\mathcal {C}\) into a sum of more convenient cycles \(\mathcal {J}_i\) called Lefschetz thimbles:
Generically, each thimble intersects one critical (or saddle) point \(x^*_i\in \mathbb {C}^m\) and consists of the union of downward flows with respect to the real part of f(x) originating at \(x^*_i\). From a topological point of view \(\{\mathcal {J}_i\}\) generate the m’th relative homology group of the underlying 2m-dimensional space. Crucially, the imaginary part of f(x) is constant along each \(\mathcal {J}_i\) and the integral along a thimble is absolutely convergent. Since the individual integrals are non-oscillating, it is possible to apply Laplace’s method to each term, expanding the integrand around the critical points:
where \(\Phi ^{(i)}(g)\) is an asymptotic series, possibly containing logarithms and non-integer powers of g. As g is varied, the thimbles are deformed and the number of thimbles appearing in the decomposition of the original contour \(\mathcal {C}\) may vary discontinuously. These discrete changes, happening at values of g for which different thimbles intersect each other, are connected to the so-called Stokes jumps.
Lefschetz thimble techniques are standard tool in resurgence analysis [5, 6, 32] and have many other applications to path integrals [15, 33,34,35,36,37]. More details and a nice pedagogical introduction can be found in [17].
In the following we review the derivation of the asymptotic expansions around the critical points of the zero-dimensional \(\phi ^4\) theory for \(N=1\).
1.1 The \(\phi \) Representation of the Partition Function
The vacuum expansion. Our starting point is the partition function of the model in the \(\phi \) representation. We set \(N=1\) and consider:
where again we set \([\textrm{d}\phi ]=\textrm{d}\phi /\sqrt{2\pi }\). There are three solutions of the equations of motions, i.e., critical points \(S'[\phi _\star ]=0\), namely \(\phi _0=0\) and \(\phi _{\pm }=\pm \imath \sqrt{\frac{6}{g}}\), and each of them has an attached thimble, \(\mathcal {J}_0\) and \(\mathcal {J}_\pm \) (see Fig. 4). For symmetry reasons it is clear that \(Z_{\mathcal {J}_+}(g)=Z_{\mathcal {J}_-}(g)\); thus, there are only two asymptotic expansions.
Equation (A.2) is absolutely convergent if g is in the right half complex plane \(\textrm{Re}(g)>0\); hence, in this domain it defines an analytic function Z(g). In order to analytically continue this function we turn in the complex plane and parameterize \(g=|g|e^{\imath \varphi }\) but we tilt the contour of integration by \(e^{-\imath \theta }\) to compensate. In detail, we define:
which is absolutely convergent if both \(\varphi -4\theta \in (-\pi /2,\pi /2)\) and \(-2\theta \in (-\pi /2,\pi /2)\), and is independent of \(\theta \) as long as it converges. As \(Z_0(g) = Z(g)\), it follows that \(Z_\theta (g)\) is the analytic continuation of Z(g) and it is easy to check that the integral in Eq. (A.3) defines it for all \(-3\pi /2\le \varphi <3\pi /2\). We denote:
the anticlockwise, respectively clockwise, analytic continuations. Both \(Z_+(g)\) and \(Z_-(g)\) are defined for any g with \(\textrm{Re}(g)<0\), but they are not equal. That is \(Z_\theta (g)\) is a multi-valued function in the complex g-plane, with a branch point at the origin. We chose the range \(-\pi< \varphi <\pi \) for the principle Riemann sheet, with a cut along the negative real axis.
For \(|\varphi |<\pi \) the integration contour in Eq. (A.3) is homotopic to just the perturbative thimble \(\mathcal {J}_0\), which at the origin is tangent to the real axis. In this case, the Laplace method applied to \(Z_{\mathcal {J}_0}(g)\) amounts to Taylor expanding the quartic interaction and computing the Gaussian integralFootnote 9:
The instanton sector. At \(\varphi =\pm \pi \), i.e., at \(g<0\), the perturbative thimble intersects the instanton thimbles. At \(|\varphi |>\pi \) they split again, but on the opposite side, so that the perturbative thimble effectively has a jump at \(|\varphi |=\pi \), leading to a jump in the decomposition of the original contour \(\mathcal {C}\).
As the evaluation of the integrals along the instanton thimbles, \(Z_{\mathcal {J}_\pm }\), is well behaved and continuous across the Stokes line at \(\varphi =\pi \), for the asymptotic expansion around the instanton, we consider the case \(g<0\). In this case the thimbles \(\mathcal {J}_\pm \) are described by \(\textrm{Re}(\phi )=\pm \sqrt{(\textrm{Im}(\phi ))^2+\frac{6}{|g|}}\). Since we know the analytic expression of the thimbles, we take an explicit parametrization of the curve and use it to compute the integral. For example we can chose:
and the integral reads:
The imaginary part of the action is zero along the thimbles. Also we have that \(\dot{\gamma }_\pm (-t)=\frac{\mp t}{\sqrt{t^2+\frac{6}{|g|}}}+\imath \), and thus, the real parts of the two integrals cancel. In the end we find:
Now we can rescale the t by \(\frac{1}{\sqrt{2}}\) and find the same integral as for \(\mathcal {J}_0\) but with the opposite sign for g. In the end we have:
Discontinuity. The discontinuity at the cut can be computed as:
where we tilted the contours by the \(\theta \) of minimal absolute value which ensures convergence. Each of the two contours can be deformed to the perturbative thimble alone for \(|\varphi |<\pi \). However, in the limit of \(|\varphi |\nearrow \pi \) the difference of the two perturbative thimbles approaches the sum of the two instanton thimbles (see Fig. 5), leading to the asymptotic expansion in Eq. (3.15), with \(N=1\).
A Simple Generalization of the Nevanlinna–Sokal Theorem
Proof of Theorem 1
The proof is an infinitesimal variation of the proof of [27] which deals with the case \(\beta =0\). We parallel the notation of [27].
We first observe that:
hence, B(t) is an integer power series which converges in the disk \(|t|<\rho \) and defines an analytic function in this domain.
Let us recall Hankel’s contour integral representation of the inverse of the Gamma function:
which holds for any \(r,x\in \mathbb {R}_+\) and \(k\in \mathbb {C}\). We define for \(x\in \mathbb {R}_+\) the function:
which is an r independent function for \(r<R\) as long as the integral converges because the integration contour is fully contain in \(\textrm{Disk}_R\). Substituting the asymptotic expansion of f(z) up to order q, we obtain:
Changing variables to \(w=1/z\) and using the bound on \(R_q\), the remainder term above is bounded by:
and the integral in the last line is always bounded by the case \(q=1\) in which case it is \(\pi \) and can be absorbed in K. Choosing \(r = x/ q\) (which is possible for q large enough \(q> x/R \)) and using the Stirling upper bound on the Gamma function, the reminder is finally bounded by \(K \; q^{\beta + 1/2} (x/\rho )^q \) hence goes to zero in the \(q\rightarrow \infty \) limit as long as \(x<\rho \). It follows that for \(0<x<\rho \), \(b_0(x) = B(t)|_{t=x}\).
We now define \(b_m(x) = \frac{d^m}{dx^m} b_0(x) \), and using Eq. (B.4) with \(q=m+1\) we get:
and we have the bound \( |b_m(x)|\le K \; (m+1)! \; (m+1)^\beta \; \rho ^{-m-1} e^{x/r} \) (note that this bound covers also the term \(|a_m|< K \; m! \; m^{\beta } \; \rho ^{-m}\)).
The sum \(B_x(t)=\sum _{m\ge 0}\frac{(t-x)^m}{m!} b_m(x)\) defines an analytic function in t as long as it converges. As:
we conclude that \(B_x(t)\) is analytic in a disk or radius \(\rho \) centered at x. It is immediate to check that \(B_x(t)=B_{x'}(t)\) as long as they both converge; hence, \(B_x(t)\) is the analytic continuation of B(t) to the strip \( \{ t\in \mathbb {C} \mid \textrm{dist}(t,\mathbb {R}_+ ) < \rho \}\) and it obeys the appropriate exponential bound. The last point follows by noting that for \(z'\in \textrm{Disk}_r\):
by Cauchy’s theorem. \(\square \)
Proofs of Propositions
In this appendix we gather the proofs of various propositions in the main body of the paper.
1.1 Properties of Z(g, N)
Proof of Proposition 1
The proof of this proposition is linear.
Property 1. This follows by bounding the square root and taking into account that the Gaussian integral is normalized to 1. For \(N\ge 0\) and \(g = |g| e^{\imath \varphi }\) with \(-\pi< \varphi < \pi \), we have the uniform bound:
For \(N<0\) we use \(|1 -\imath \sqrt{\tfrac{g}{3}} \sigma | \le 1 + \sqrt{ \frac{|g|}{3}} |\sigma | \) and splitting the integration interval in regions where \( \sqrt{ \frac{|g|}{3} } |\sigma | \le 1\), respectively \(\sqrt{ \frac{|g|}{3} } |\sigma | \ge 1\), and then re-extending the integration intervals to cover \((-\infty ,\infty )\) we get:
Property 2. The perturbative expansion is obtained using \((1- x)^{-N/2} =\sum _{q\ge 0} \left( {\begin{array}{c}q+N/2-1\\ q\end{array}}\right) x^q\) and commuting (formally) the sum and integral:
For the case \(N=1\) for instance we have \(\frac{ \Gamma (2n+ 1/2)}{\Gamma (1/2)} = \frac{(4n)!}{4^{2n}(2n)!}\) (see also Eq. (A.5) in Appendix A).
Property 3. Properties 3, 4, 5 and 6 are closely related and require that we deal carefully with the integration contour. We define:
which is absolutely convergent if both \(\varphi -2\theta \in (-\pi ,\pi )\) and \(-2\theta \in (-\pi /2,\pi /2)\). Moreover, as long as it converges, it is independent of \(\theta \), as can be verified by noticing that the derivative with respect to \(\theta \) can be rewritten as the integral of a total derivative in \(\sigma \). Thus, \(Z_{\theta }(g,N)\) is the analytic continuation of Z(g, N) and optimizing on \(\theta \) the partition function can be continued to the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) with a branch point at 0.
Using a Taylor formula with integral rest, we have \( Z_\theta (g,N) - \sum _{k=0}^{q-1} \frac{1}{k!} Z_{\theta }^{(k)}(0,N) g^k = R_{\theta }^q(g,N) \) with:
where for \(N<0\) we need to choose \(q > -N/4\). Using \(| 1 - \imath \sqrt{ \frac{|g|}{3} }e^{\imath \frac{\varphi -2\theta }{2}} \sigma u | \ge \cos \frac{\varphi -2\theta }{2} \) the rest term is bounded asFootnote 10:
and using the Stirling formula as upper/lower bound for the \(\Gamma \) functionFootnote 11 we have for q large enough (larger than \(\max \{1,N\}\)):
for K some q independent constant.Footnote 12 Conveniently, choosing \(\theta = \varphi /6\), we get the following bounds on \(Z_{\varphi /6}(g,N)\) and \(R_{\varphi /6 }^q(g,N)\):
Observe that \(Z_{\theta }(g,N)\) is independent on \(\theta \) only as long as \(\varphi \) and \(\theta \) are independent, but the choice \(\theta = \varphi /6\) fixes \(\theta \) in terms of the argument of g and \(Z_{\varphi /6}(g,N)\) depends on \(\varphi \).
We are now in the position to prove that Z(g, N) is Borel summable along all the directions in the cut plane \(\mathbb {C}_\pi \) by verifying the conditions of Theorem 1, Appendix B. This comes about as follows:
-
let us fix some \(\alpha \in (-\pi ,\pi )\). As already noted in Properties 1 and 2, Z(g, N) is analytic in \(\mathbb {C}_\pi \); hence, in particular at \(|g|e^{\imath \alpha }\) and its asymptotic expansion at 0 is known.
-
Z(g, N) is analytically continued to any g in a Sokal disk (with 0 on its boundary) tilted by \(\alpha \), that is \(g \in \textrm{Disk}^{\alpha }_R = \{ z \mid \textrm{Re}(e^{\imath \alpha } / z) > 1/R \} \) via \(Z_{\varphi /6}(g,N)\). Note that this Sokal disk extends up to g with argument \(\varphi = \alpha \pm \pi /2\). In the entire Sokal disk the rest term obeys the bound:
$$\begin{aligned} | R_{\varphi /6 }^q(g,N) | \le K \; q! \; q^{\frac{N-3}{2}} \; |g|^q \; \max _{\pm } \left\{ \frac{1}{\left( \cos \frac{\alpha \pm \frac{ \pi }{2} }{3}\right) ^{\frac{ N+1}{2} } } \; \left( \frac{1}{ \frac{3}{2} \left( \cos \frac{\alpha \pm \frac{\pi }{2}}{3} \right) ^3 } \right) ^q \right\} \; . \end{aligned}$$(C.10)For any fixed \(\alpha \in (-\pi ,\pi )\), \( \min _{\pm } \big \{ \frac{3}{2} \left( \cos \frac{\alpha \pm \frac{\pi }{2}}{3} \right) ^3 \big \} = \rho >0\) for some \(\rho \); hence, the Taylor rest obeys the bound in Eq. (2.4).
Property 4. Although this point is discussed in the main body of the paper, we include it also here for completeness. We denote the analytic continuation of Z(g, N) to the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) by:
Observe that the factorial bound on the Taylor rest term cannot be satisfied (for any choice of \(\theta \)) when \(\varphi \rightarrow \pm 3\pi /2\). As Borel summability along a direction \(\alpha \) requires analytic continuation and bound on the rest term in a Sokal disk centered on that direction, hence extending up to \(\alpha \pm \pi /2\), Z(g, N) loses Borel summability at \(g\in \mathbb {R}_-\).
We start from Eq. (3.2) which we quote here again:
and the Lefschetz thimble of the integral is the real axis irrespective of g (comparing to Eq. (A.1), we see that in the present case thimbles are defined by the saddle points of \(\sigma ^2\)). As long as \(g = |g| e^{\imath \varphi }\in \mathbb {C}_{\pi }\), the integral converges as the singularity at
lies outside the integration contour. Notice that the singularity is a pole for N even, and otherwise it is a branch point with branch cut \(\sigma _\star \times (1,+\infty )\). We will discuss in detail the general case with a branch cut, as the case of even N turns out to be readable as a special case of the results at general N.
As g approaches \(\mathbb {R}_-\) the branch point hits the contour of integration: for \(\varphi \nearrow \pi \) (that is we approach the cut in the g-plane counterclockwise) the branch point hits the real axis at \( - \sqrt{3/|g|}\) while for \(\varphi \searrow -\pi \) (that is we approach the cut in the g-plane clockwise) the branch point hits the real axis at \( \sqrt{3/|g|}\). The analytic continuation \(Z_+ (g,N)\) (resp. \(Z_-(g,N)\)) consists in tilting the contour of integration in \(\sigma \) by some clockwise rotation \(-\theta < 0\) (resp. counterclockwise, \(\theta >0\)) to avoid the collision with the branch point. However, once g passes on the second Riemann sheet \( \varphi > \pi \) (resp. \(\varphi < -\pi \)) the tilted contour is no longer a thimble and in order to derive the asymptotic behavior of \(Z_\pm (g,N)\) we need to rotate it back to the real axis. This costs us a Hankel contour C along the cut (see Fig. 1):
The integral \(Z^{\mathbb {R}}(g,N)\), defined in Eq. (3.4), is absolutely convergent, and hence analytic, in the range \(|\varphi |\in (\pi ,3\pi )\), where it is bounded from above as in Eq. (3.6).
The Hankel contour C turns clockwise around the cut \(\sigma _\star \times (1,+\infty )\), i.e., starting at infinity with argument \( \frac{3\pi }{2} -\frac{\varphi }{2}\) and going back with argument \( -\frac{\pi }{2} -\frac{\varphi }{2}\) after having encircled the branch point \(\sigma _\star \). We kept a subscript ± for the contribution of the Hankel contour, because, even though the definition of \(Z^C_\pm (g,N)\) and C might suggest that it is one single function of g, in fact the integral around the cut is divergent for \(|\varphi |<\pi /2\), and therefore, the integrals at \(\pi<\varphi <3\pi /2\) and at \(-\pi>\varphi >-3\pi /2\) are not the analytic continuation of each other.
We will now rewrite \(Z^C_\pm (g,N)\) in a more useful form. With the change of variables \(\sigma = e^{- \imath \frac{\pi }{2} -\imath \frac{\varphi }{2} } \sqrt{ 3/|g| } \; \sigma ' \) the contour C becomes a Hankel contour \(C'\) turning clockwise around \((1,+\infty )\) and a shift to \(\sigma ' = 1+t\) brings \(C'\) to \(C''\), a clockwise oriented Hankel contour around the positive real axis, starting at infinity with argument \(2\pi \) and going back with vanishing argument after having encircled the origin:
where we have made explicit the choice of branch by expressing minus signs as phases. Notice that the integral converges because for \( \pi<|\varphi | < \frac{3\pi }{2} \) the exponent has a negative real part.
Next, we make the change of variables \(t = e^{\imath \tau \pi } \frac{g}{3} u\), with \(\tau = -\textrm{sgn}(\varphi )\) (i.e., \(\tau = -\) for \(\varphi >\pi \), that is for \(Z_{+}^{C}(g)\) and \(\tau =+\) for \(\varphi <-\pi \), i.e., for \(Z_{-}^{C}(g)\)), obtaining:
The two choices of \(\tau \) are dictated by the fact that for \(\pi<|\varphi |<3\pi /2\) the contour of integration should stay in the domain of convergence continuously connected to \(C''\). The fact that this entails two different choices of \(\tau \) reflects what we anticipated about the need of keeping a ± subscript. Lastly, the contour of integration can be deformed back to \(C''\), where we easily evaluate the discontinuity (for \(N<2\)) asFootnote 13:
In the last step, we performed the change of variables \(u=\rho ^2/2\) in order to make explicit that for \(N=1\) we reproduce Eq. (A.8) (times two, because the Hankel contour is only one, while there are two instanton thimbles in the \(\phi \) representation). For general N, the integral resembles that of the O(N) model in polar coordinates, except that in that case we would have the opposite sign for the power of the insertion, i.e., \(\rho ^{N-1}\). This also explains the relation between the coefficients of the perturbative and nonperturbative series in Eq. (3.12), which are related by the transformation \(N\rightarrow 2-N\) (up to an area of \(S^{N-1}\) of the missing angular integration in Eq. (C.17)).
The integral over u (or \(\rho \)) in Eq. (C.17) is convergent as long as \(\textrm{Re}(g)<0\), i.e., for \(\pi /2<|\varphi |<3\pi /2\). One can use again the Hubbard–Stratonovich trick to write (for \(N<2\)):
where, in order to ensure uniform convergence of the u integral, we keep \(|\varphi |=\pi \). Note that the integral is independent of choice of branch of \(\sqrt{g}\), as a sign can be absorbed in \(\sigma \). The reader will note that this is proportional to our integral in Eq. (3.4) with arguments \(Z^{\mathbb {R}}(-g,2-N)\), which is unambiguous as \(Z^{\mathbb {R}}(g,N)\) is periodic with period \(2\pi \) in the argument of g; hence, one can chose any determination of \(-g\). The advantage of the manipulation above is that the integral over \(\sigma \) now converges for \( 0< |\varphi |< 2 \pi \); hence, it allows us to analytically continue \(Z^C_{\pm }(g,N)\) beyond \(|\varphi | = 3\pi /2\) up to \(|\varphi | \nearrow 2\pi \).
Using Euler’s reflection formula, \(\Gamma ( 1 - z) \sin (\pi z ) = \pi / \Gamma (z) \), we getFootnote 14:
In the last line above we have chosen a determination of \(-1\) such that \(e^{\imath \tau \pi } g\) belongs to the principal sheet of the Riemann surface, where \(Z=Z^{\mathbb {R}}\); hence, \( Z ( e^{\imath \tau \pi } g, 2-N) = Z^{\mathbb {R}} ( e^{\imath \tau \pi } g, 2-N) = Z^{\mathbb {R}} (- g, 2-N) \), where in the last equality we used the fact that \(Z^\mathbb {R}\) is single-valued. We have thus shown that, when going from \(|\varphi | <\pi \) to \(\pi< |\varphi | < 2\pi \) our analytic continuation of Z(g, N) switches:
where \( |\varphi | \nearrow \pi _+\) signifies that the switching takes place when \(|\varphi |\) crosses the value \(\pi \) coming from below. In the second line above, for \(\pi< |\varphi | < 2\pi \), both arguments \( e^{\imath (2\tau \pi ) } g\) and \( e^{\imath \tau \pi } g\) belong to the principal sheet of the Riemann surface, where Z(g, N) has already been constructed and proven to be analytic.
The first term in Eq. (C.20) is regular up to \(|\varphi | = 3\pi \), but the second one has a problem when \(e^{\imath \tau \pi } g \) reaches the negative real axis (which is \(\varphi \rightarrow - 2\tau \pi \)). Note that \( Z( e^{\imath \tau \pi } g, 2-N)\) approaches the cut singularity in the principal sheet of the Riemann surface, as its argument is \( e^{\imath \tau \pi } g \). But we already know what happens with \(Z(g',N')\) when \(g'\) traverses the cut singularity in the principal Riemann sheet: a branch point crosses the integration contour, one detaches a Hankel contour, and the analytic continuation switches again:
where this time the arguments at which Z is evaluated on the right hand side stay in the principal sheet for \(2\pi< |\varphi | < 3\pi \).
We iterate this and build the analytic continuation of Z(g, N) in terms of \(Z^{\mathbb {R}}\) on the whole Riemann surface. The first few steps in this continuation are:
where we denoted:
In order to iterate Eq. (C.20), we must make sure that at each step the arguments of the functions Z involved in the analytic continuation are brought back to the principal sheet. We denote the analytic continuation of the partition function to the Riemann surface by:
a general recursion relation for the \((\omega _q,\eta _q)\) is obtained from Eq. (C.20) and Eq. (C.21) generalized to the Riemann surfaceFootnote 15:
The recursion can easily be solved by introducing a transfer matrix:
which leads to Eq. (3.11). Since the eigenvalues of A are \(\pm e^{\imath \tau \pi \frac{ N}{2} }\), we have that \(A^k\) equals the identity matrix for \(k=4\) if N is odd, and for \(k=2\) if N is even. Therefore, in these two cases we have a monodromy group of order 4 and 2, respectively. More generally, we have a monodromy group of finite order if N is a rational number, and an infinite monodromy otherwise.
Property 5. This follows by combining Property 2, which gives the asymptotic expansion of \(Z^{\mathbb {R}}(g,N)\), with Eq. (C.19) using \( (1+x)^{N/2-1} = \sum _{q\ge 0} \frac{ \Gamma (N/2) }{ q! \Gamma (N/2-q) } x^{q}\):
Property 6. In order to compute the discontinuity of the partition function, let us consider g in the complex plane of the coupling constant slightly below the negative real axis, \(\textrm{Re}(g),\textrm{Im}(g)<0\). This g can be reached either counterclockwise with \(Z_+\) or clockwise with \(Z_-\). There is a subtlety here: if we denote this point as \(g = |g|e^{\imath \varphi }\) with \(\varphi \in (\pi , 3\pi /2)\) in the clockwise direction, it corresponds to \(g = |g|e^{\imath (\varphi - 2\pi ) } \) in the counterclockwise direction. While only the real axis contributes to \(Z_-(g,N)\) (as turning clockwise we do not cross the cut to reach it), \(Z_+(g,N)\) has the additional contribution of the Hankel contour (as turning counterclockwise we cross the cut):
where we used the fact that \(Z^{\mathbb {R}}\) is single-valued. When taking the difference, the \(Z^{\mathbb {R}}\) pieces cancel and the discontinuity is given by the Hankel contour contribution, \( Z_-(g,N) -Z_+(g,N) = - Z^C_+(g,N) \). In particular, at the negative real axis we have:
Lastly, notice that the computation done on the other side of the cut, \(\lim _{ \varphi \nearrow -\pi } \left( Z_-(g,N) - Z_+(e^{2\pi \imath }g,N) \right) \), gives the same result, because \(Z^C_-(e^{-\imath \pi }|g|,N) = - Z^C_+(e^{\imath \pi }|g|,N)\).
Property 7. From the intermediate field expression Eq. (3.2) of the partition function, we find straightforwardly that \( (N+4\,g\partial _g) Z(g,N) = N Z(g,N+2)\). Applying this twice, we have:
Integrating by parts in Eq. (3.2) with \(N\rightarrow N+4\), we find \(N (N+2) Z(g,N+4)=-4! Z^\prime (g,N)\), and thus we arrive at the equation:
This concludes the proof of Proposition 1. \(\square \)
1.2 Properties of \(Z_n(g)\)
Proof of Proposition 2
The proof is similar to the one of Proposition 1.
Property 1. We start from:
where we parameterized \(g = |g| e^{\imath \varphi }\) with \(\varphi \in (-\pi ,\pi )\). For any real x we have \( 1+|x| \ge | 1 - \imath e^{\imath \frac{\varphi }{2}} x | \ge \cos \frac{\varphi }{2} \); hence, we can bound the logarithm as:
which implies:
We have \( \ln ( e^{\pi } + \sqrt{\frac{|g |}{3}} |\sigma |) \le \frac{1}{\varepsilon } (e^{\pi } + \sqrt{\frac{|g |}{3}} |\sigma | )^\varepsilon \) for any \(\varepsilon >0\). Cutting the integration interval into regions where \( e^{\pi } < \sqrt{\frac{|g |}{3}}|\sigma |\) and regions where \( e^{\pi }> \sqrt{\frac{|g |}{3}} |\sigma |\) and extending each piece back to the entire real line, we get a bound:
Property 2. In order to derive the asymptotic expansion of \(Z_n(g)\), we use Faà di Bruno’s formulaFootnote 16: to expand:
and integrate the Gaussian term by term. As a cross check, we can (formally) resumFootnote 17
reproducing the asymptotic expansion of Z(g, N) in Eq. (3.7).
Property 3. We analytically continue \(Z_n(g)\) to the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) as in Property 3, Proposition 2, by turning the integration contour by \(e^{-\imath \theta }\):
Using a Taylor formula with integral rest, the reminder \( R_{n\theta }^q(g) \) writes:
Now \(| 1 - \imath \sqrt{ \frac{|g|}{3} }e^{\imath \frac{\varphi -2\theta }{2}} \sigma u | \ge \cos \frac{\varphi -2\theta }{2} \) and:
therefore:
for any \(\varepsilon \) with (K depending on n and \(\varepsilon \)). Fixing for example \(\varepsilon =1\) and \(\theta = \frac{\varphi }{6}\) yields the desired result as in Property 3, Proposition 1.
Property 4. A slight variation on the bound in Property 1 yields:
Fixing for convenience \(\theta = \frac{\varphi }{6}\), one observes that \(\sum _{n\ge 0}\frac{1}{n!} (-N/2)^n Z_{n\theta }(g)\) has infinite radius of convergence in N for any \(|\varphi |<3\pi /2\). Denoting, similarly to the notation we used for Z(g, N), the analytic continuation of \(Z_n(g)\) to the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\) by:
we note that the bound on the Taylor rest term in Eq. (C.41) is lost for \(\varphi \rightarrow \pm 3\pi /2\); hence, Borel summability is lost for \(\varphi \rightarrow \pm \pi \). As in the case of Z(g, N), after g crosses the cut at \(\mathbb {R}_-\), say counterclockwise, in deforming the contour of integration \(e^{-\imath \theta } \mathbb {R}\) back to the steepest-descent contour along the real line, we generate a clockwise-oriented Hankel contour around \( \sigma _{\star } \times (1,+\infty )\):
Property 5. We now compute \(Z_{n\pm }^{C}(g)\). As in Proposition 1 this is given by integrating along the clockwise orientated Hankel contour \(\mathcal {C}\). First we change variable to \(\sigma = e^{-\imath \frac{\pi }{2}-\imath \frac{\varphi }{2}} \sqrt{3/ |g| } \sigma '\) and the contour becomes \(C'\) clockwise oriented around \((1,\infty )\) and a shift \(\sigma '=1+t\) brings \(C'\) to a clockwise-oriented contour around the positive real axis:
A further change of variables \(t = e^{\imath \tau \pi }\frac{g}{3} u\) with \(\tau = -\textrm{sgn}(\varphi )\) yieldsFootnote 18:
and integrating over u we get
which combined with Property 2 implies the full transseries expansion Eq. (3.26).
A good cross check of the results consist in summing over n:
Which coincides with the instanton part in Eq. (3.12).
Property 6. This follows from \( \textrm{disc}_\pi \big (Z_n(g)\big ) = - Z_{n+}^C(e^{\imath \pi }|g|)\) combined with Properties 4 and 5.
Property 7. The derivation of Eq. (3.29) is straightforward. We substitute the small-N expansion (3.23), with the condition \(Z(g,0)=1\), in the partial differential equation for Z(g, N), Eq. (3.16), and collect the terms with the same powers of N.
This concludes the proof of Proposition 2. \(\square \)
1.3 The LVE, Analyticity
Proof of Proposition 3
We review here briefly the proof the LVE formula for the free energy. For more details, see [18] and follow-up work. We use the notation of the Gaussian integral as a differential operator (see [38] for a detailed discussion of this notation), as a convenient bookkeeping device for the action of derivatives with respect to matrix elements of the covariance of a Gaussian measure and we denote \(V(\sigma ) = \ln (1 - \imath \sqrt{ g/3 } \, \sigma ) \). Equation (3.23) becomes with this notation:
where \(\delta / \delta \sigma \) denotes the derivative with respect to \(\sigma \).
Let us take aside a term \(Z_n(g)\). We introduce copies with degenerate covariance and we introduce fictitious interpolating link parameters \(x_{k l} = x_{lk} =1\):
We fix the diagonal elements \(x_{ii}=1\) and use symmetric interpolations \(x_{ij}=x_{ji}\) where \(x_{ij}\) with \(i<j\) are independent parameters. For all \(i\ne j\):
and using Appendix D, we get:
where \(F_n\) is the set of all the forests over n labeled vertices.
Observing that the contribution of a forest factors over the trees (connected components) in the forest, the logarithm is trivial: it comes to restricting the sum above to trees over n vertices (hence with \(n-1\) edges):
Taking into account that the action of the derivatives on the interaction is:
denoting \(d_i\) the degree of the vertex i in \(\mathcal {T}\), recalling that \(\sum _i d_i = 2(n-1)\) and observing that the terms \(n=1\) is special we get:
Reinstating the notation of the normalized Gaussian measure as a probability density, we obtain the series in Eq. (4.7), with coefficients (4.5).
Property 1 and 2. In order to determine the domain of convergence of (4.7), let us denote as usual \(g = |g| e^{\imath \varphi }\), and take \(-\pi< \varphi < \pi \). In this region, we can use the uniform bound \(|1 -\imath \sqrt{\tfrac{g}{3}} \sigma _i | \ge \cos \frac{ \varphi }{2}\), remaining with Gaussian integrals over \(\sigma _i\) and integrals over \(u_{ij}\), both bounded by 1. Therefore, for \(n\ge 2\), a crude bound on \(W_n(g)\) is:
where we used the fact that there are \((n-2)!/\prod _i (d_i-1)!\) trees over n labeled vertices with degree \(d_i\) at the vertex i, and that the sum over \(d_i\) is the coefficient of \(x^{n-2}\) in the expansion of \((1-x)^{-n} =\sum _{q\ge 0} \left( {\begin{array}{c}n-1+q\\ n-1\end{array}}\right) \; x^q \). Using Stirling’s formula for the asymptotics of the factorials, it follows that W(g, N) is convergent in a cardioid domain \(|gN|<\frac{3}{2} (\cos \frac{\varphi }{2} )^{2}\).
Property 3. The domain of convergence can be enlarged by turning \(\sigma \rightarrow e^{-\imath \theta } \sigma \), which yields a convergent expansion in a subdomain of the extended Riemann sheet \(\mathbb {C}_{3\pi /2}\). In order to make this precise, let us define:
and implicitly \(W_{n\theta }(g)\). It is easy to check that, for g in the cut plane \(\mathbb {C}_{\pi }\) both \(W_{\theta }(g,N)\) and \(W_{n\theta }(g)\) are independent of \(\theta \) as long as they converge. As \(\theta \) can be chosen such that the integrals converge for \(|\varphi |>\pi \), \(W_{\theta }(g,N)\) and \(W_{n\theta }(g)\) analytically extend W(g, N) and \(W_n(g)\) to some maximal domain.
Property 4 and 5. We now have the bound \( | 1 -\imath \sqrt{\tfrac{g}{3}} e^{-\imath \theta }\sigma _i | \ge \cos \frac{\varphi - 2\theta }{2} \) and the Gaussian integral is bounded by:
and the combinatorics runs as before leading to:
Using again Stirling’s formula, we find that W(g, N) is convergent for \(|g| < \frac{1}{|N|} \frac{3}{2}\; \sqrt{ \cos (2\theta ) } \; \left( \cos \frac{\varphi -2\theta }{2} \right) ^{2} \). This concludes the proof of Proposition 3. \(\square \)
1.4 Borel Summability of \(W_n(g)\) and W(g, N) in \(\mathbb {C}_\pi \)
Proof of Proposition 4.
We focus on W(g, N): for \(W_n(g)\) one follows the same steps without summing over n. Our starting point is the expression:
for the analytical continuation \(W_\theta (g,N)\) of the free energy.
We are interested in finding a good bound on the Taylor rest term of order q of the expansion of W(g, N). This Taylor rest term consists in two pieces. We denote \(Q^q_\theta (g)\) the sum over all the trees having at least q edges:
Due to the overall \(g^{n-1}\) factor, such trees contribute only to orders higher than q in the Taylor expansion of \(W_\theta (g,N)\), hence are entirely contained in the Taylor rest term. The trees with less than q edges contribute both to the explicit terms of order lower than q in the Taylor expansion and to the rest term. In order to isolate their contribution to the rest term we perform for each of them a Taylor expansion with integral rest up to an appropriate order. We do this by Taylor expanding the Gaussian measure, which generates loop edges, each of which comes equipped with a g. For a tree with \(n-1\) edges, \(n-q\) explicit loop edges need to be expanded. The Taylor rest term coming from such trees writes then:
The total rest term of the Taylor expansion of \(W_\theta (g,N)\) is the sum \(R_{\theta }^q(g,N) = P_\theta ^q(g,N) + Q_\theta ^q(g,N)\).
The contribution of large trees \(Q_\theta ^q(g,N)\). Using Eq. (4.10), the contribution of large trees is immediately bounded by:
and using \( \frac{1}{n(n-1) } \left( {\begin{array}{c}2n-3\\ n-1\end{array}}\right) \le 2^{2n-3}\) we get:
Observe that this bound does not have a q! growth. This seems much better than expected. In fact this is not surprising: the factorial growth of the rest term comes from the divergent number of graphs in perturbation theory. As the large trees do not need to be further expanded in graphs, they do not generate a factorial growth. In fact it is the small trees that pose a problem.
The contribution of small trees \(P_\theta ^q(g,N)\). The contribution of small trees requires more work. We have:
The first term is bounded by:
Observe that, due to the expansion of the q loop edges, this first term displays a q! growth. Thus already the first term has a worse large-order behavior than the sum over large trees.
We now analyze the contribution to the rest term of the trees with \(2\le n \le q\) vertices. Note that a term has initially \(\sum d_i = 2(n-1) \) corners (factors \(1 / ( 1 -\imath \sqrt{\tfrac{g}{3}} e^{-\imath \theta }\sigma _i ) \)) and \(2(q-n+1)\) derivatives will act on it. The additional derivatives (corresponding to the loop edges) create each a new corner on which subsequent derivatives can act. In total, for each tree, the loop edges generate exactly:
possible terms, each with \( 2(n-1) + 2 (q-n+1) \) corners (factors \(1 / ( 1 -\imath \sqrt{\tfrac{g}{3}} e^{-\imath \theta }\sigma _i ) \)). The w’s are bounded by 1 and the sum over trees is done as in Eq. (4.10) leading to the global bound:
Now, using \((2q-1)! \le 2^{2q-1}q!(q-1)!\) we get and upper bound:
Adding up Eq. (C.64), (C.66) and (C.69), we get:
We opportunistically chose \(\theta = \frac{\varphi }{6}\) and using some trivial bounds we get
We are now in the position to prove that W(g, N) is Borel summable along all the directions in the cut plane \(\mathbb {C}_\pi \) by verifying the conditions of Theorem 1, Appendix B. This comes about as follows:
-
let us fix some \(\alpha \in (-\pi ,\pi )\). As we are interested in analyticity and rest bound in some Sokal disk extending op to \(\varphi = \alpha \pm \pi /2 \), we denote \(c = \min \{ \cos \frac{\alpha + \pi /2}{3}); \cos \frac{\alpha - \pi /2}{3}) \} > 0 \) (because as \(|\alpha |<\pi \)).
-
W(g, N) can be analytically continued via \(W_{\varphi /6}(g,N) \)Footnote 19 to any g in a Sokal disk (with 0 on its boundary) tilted by \(\alpha \), that is \(g \in \textrm{Disk}^{\alpha }_R = \{ z \mid \textrm{Re}(e^{\imath \alpha } / z) > 1/R \} \) provided that \( R = \frac{3}{2|N|} c^{5/2} (1 - \nu ) \) for some fixed \(\nu >0\). In this disk the Taylor rest term obeys the uniform bound:
$$\begin{aligned} |R^q_\theta (g)| \le \frac{|N|}{4c^{1/2} \nu } \left( \frac{1}{\frac{3}{2} c^{5/2} }\right) ^q |g|^q + (q-1)! |g|^q \left( \frac{2}{\frac{3}{2} c^{2} }\right) ^q e^{|N|/c^{1/2}} \;. \end{aligned}$$(C.72)Fixing \(K = \max \{ |N|/ ( 4c^{1/2} \nu ), e^{|N|/c^{1/2}} \}\) and \(\rho =\min \{ 3/2 \, c^{5/2}; 3/4 \, c^{2} ) \} \), we finally obtain uniformly in the Sokal disk:
$$\begin{aligned} |R^q_\theta (g,N)| \le K \; q! \; \rho ^{-q} \; |g|^q \; ; \end{aligned}$$(C.73)hence, the rest obeys the bound in Eq. (2.4) and from Theorem 1 we conclude that W(g, N) is Borel summable along \(\alpha \).
Note that Borel summability is lost in the \(N\rightarrow \infty \) limit.
This concludes the proof of Proposition 4. \(\square \)
1.5 Transseries Expansion of \(W_n(g)\) and W(g, N)
Proof of Proposition 5
An explicit expression for \(W_n(g)\) is obtained by combining the Möbis inversion formula in Eq.(4.3) with the transseries expansion of \(Z_n(g)\) in Eq. (3.26). In order to prove Proposition 5, we have to use standard sum and product manipulation tricks and factor the powers of the transseries monomial \(e^{\frac{3}{2g}}\) in front. Although the manipulations are not complicated, the expressions are very lengthy and we will introduce some bookkeeping notation to keep the formulas readable.
Property 1. Combining the Möbis inversion formula (4.3) with the transseries expansion of \(Z_n(g)\) in Eq. (3.26) leads to:
with:
and:
where we used \(\left[ \left( \ln ( e^{\imath \tau \pi } \frac{g}{3}) -\imath \pi \right) ^{i-b} -\left( \ln ( e^{\imath \tau \pi } \frac{g}{3}) +\imath \pi \right) ^{i-b}\right] =\tau \left[ \left( \ln \left( \tfrac{g}{3}\right) \right) ^{i-b} - \left( \ln \left( \tfrac{g}{3}\right) + \tau 2 \pi \imath \right) ^{i-b} \right] \) as \(\tau = \pm \). Using now \( \tau \left[ \left( \ln \left( \tfrac{g}{3}\right) \right) ^{n} -\left( \ln \left( \tfrac{g}{3}\right) + \tau 2 \pi \imath \right) ^{n} \right] = -\tau \sum _{c=0}^{n-1} \left( {\begin{array}{c}n\\ c\end{array}}\right) \left( \ln \left( \tfrac{g}{3}\right) \right) ^{c}\left( \tau 2 \pi \imath \right) ^{n-c}\), commuting the sums over b and c, and combining the binomials, this can further be written as:
with:
First, we pull the transseries monomial to the front in Eq. (C.74):
This is a transseries in g, with \(Z_i^{(\eta )}(g)\) carrying also powers of \(\sqrt{g}\) and \(\ln (g)\). In a second step, we want to make this statement manifest and use the expressions for \(Z_i^\mathrm{pert.}\) and \(Z_i^{(\eta )}\) to calculate:
Finally, inserting this into Eq. (C.79) we obtain the transseries expansion of \(W_n(g)\), organized into instanton sectors:
with
as advertised.
Property 2. It remains to transseries expansion for the full free energy W(g, N). In this case, the expressions are simpler because the \(Z_i\) have been summed. Starting from the relation between W(g, N) and the \(W_n(g)\):
which becomes:
we unsurprisingly recover, that formally \(W(g,N)=\ln (Z(g,N))\). Here, we used the notation (cf. Eq. (3.12)) \(Z(g,N)=Z^\mathrm{pert.}(g,N) + \eta e^{\frac{3}{2\,g}} Z^{(\eta )}(g,N)\), with:
As before, the expansion into instanton sectors can be made manifest, by pulling the transseries monomials to the front in W(g, N). We start from the second to last line in Eq. (C.84)) that can also be written as:
Next, we use the expressions for \(Z^\mathrm{pert.}\) and \(Z^{(\eta )}\) to calculate:
Finally, inserting this into Eq. (C.86) we obtain the transseries expansion of the free energy, organized into instanton sectors:
which has the desired form
and we can read up the coefficients \(W^{(p)}_{l}\).
This concludes the proof of Proposition 5. \(\square \)
The BKAR Formula
The Brydges-Kennedy-Abdesselam-Rivasseau (BKAR) [39, 40] forest formula is a Taylor formula for functions of several variables. Due to its symmetry and positivity properties it is very well adapted for nonperturbative quantum field theory.
Let us consider a set of n points labeled \(i=1\dots n\), which we identify with the set of vertices of the complete graph \(\mathcal {K}_n\). The set of unordered pairs of such points has \(n(n-1)/2\) elements \(e = (i,j)\) for \(1\le i, j \le n, \; i\ne j\) and can be identified with the set of edges of \(\mathcal {K}_n\). Let us consider a smooth (and arbitrarily derivable) function \(f: [0,1]^{n(n-1)/2} \rightarrow \mathbb {R}\) depending on the edge variables \(x_e \equiv x_{ij}, \; e=(i,j)\).
Theorem 2
[The Forest Formula, [39, 40]] We have (with the convention that empty products are 1):
where:
-
the sum runs over the forestsFootnote 20\(\mathcal {F}\) drawn over the n labeled vertices i, including the empty forest (having no edge). To each edge \(e\in \mathcal {F}\), we attribute a variable \(u_e\) that is integrated from 0 to 1 and we denote \(u_{\mathcal {F}}=\{ u_e \, | \, e\in \mathcal {F}\}\).
-
the derivative \(\left( \prod _{e\in \mathcal {F}} \frac{\partial }{ \partial x_{e} } \right) f \) is evaluated at the point:
$$\begin{aligned} w^\mathcal {F}_{kl}( u_{\mathcal {F}}) = \inf _{ e' \in P^{\mathcal {F}}_{k -l} } \{ u_{e'} \} \; , \end{aligned}$$(D.2)where \( P^{\mathcal {F}}_{k - l} \) denotes the unique path in the forest \(\mathcal {F}\) joining the vertices k and l, and the infimum is set to zero if such a path does not exist.
Setting by convention \(w^\mathcal {F}_{kk}( u_{\mathcal {F}}) \equiv 1 \), for any assignment of tree edge variables \(0 \le u_{\mathcal {F}}\le 1\) the symmetric \(n\times n\) matrix \( W^{\mathcal {F}}(u^{\mathcal {F}}) = \bigl ( w^\mathcal {F}_{kl} ( u_{\mathcal {F}} )\bigr )_{1\le k,l \le n}\) is positive.
The most subtle point in this formula is that \(W^{\mathcal {F}}(u^{\mathcal {F}})\) is a positive matrix. To see this we proceeded as follows. A forest \(\mathcal {F}\) divides the complete graph \(\mathcal {K}_n\) into several connected components (or blocks) corresponding to the trees in the forest. For instance, if \(\mathcal {F}\) is the empty forest the blocks are all singletons consisting in a unique vertex per block. For any forest \(\mathcal {F}\), the matrix:
is positive. Indeed, denoting \(b \subset \mathcal {F}\) the blocks of \(\mathcal {F}\) and \(k\in b\) the vertices in the block b:
Let us denote the number of edges in \(\mathcal {F}\) by \(q \equiv |\mathcal {F}|\). We order the edges of \(\mathcal {F}\) in decreasing order of their parameters u:
Adding edges one by one starting from the highest edge we obtain a family of subforests of \(\mathcal {F}\):
and the matrix \(W^{\mathcal {F}}(u_\mathcal {F})\) writes as:
Indeed, if i and j do not belong to the same block of \(\mathcal {F}^q=\mathcal {F}\), then they do not belong to the same block in any of the \(\mathcal {F}^s\), \(s\le q\) and none of the terms above contribute, hence \(w_{ij}^{\mathcal {F}}(u_\mathcal {F}) = 0\). If, on the other hand, i and j belong to the same block of \(\mathcal {F}\), then:
where s is such that i and j belong to the same block of \(\mathcal {F}^s\), but belong to two different blocks of \(\mathcal {F}^{s-1}\). As \(u_{e_s}\le u_{e_{s-1}} \le u_{e_{s-2}} \le \dots \) it follows that \(u_{e_s}\) is the infimum of the us in the unique path in \(\mathcal {F}^s\) joining i and j; hence, it is also the infimum of the us in the unique path in \(\mathcal {F}\) joining i and j. The matrix \( W^{\mathcal {F}}( u_{\mathcal {F}} )\) is a convex combination of positive matrices; hence, it is itself positive.
1.1 Feynman Graphs and W(g, N)
Each term in the convergent series in Eq. (4.7) can be further expanded in a formal Taylor series in the coupling constant. The series thus obtained is asymptotic to W(g, N) as long as Eq. (4.7) converges hence in a cardioid domain of the cut complex plane \(\mathbb {C}_\pi \) (see Proposition 3) which sweeps all the directions in \(\mathbb {C}_\pi \). In this range of g no singularity of the integrand crosses the real axis, which is the steepest-descent contour of the exponentials in Eq. (4.5).
The asymptotic series of W(g, N) in the first Riemann sheet is well known to be the formal sum over connected Feynman graphs of amplitudes. However, due to the presence of the w parameters and the integrals over the us, it is not exactly transparent how this comes about starting from Eq. (4.7). The fact that Eq. (4.7) does indeed reproduce the Feynman graph expansion has been proven in [41]. We sketch below how this comes about.
Hepp sectors. To any graph G with vertices labeled \(i,i=1,\dots n\), one can associate a characteristic function depending on edge variables \(f(x_{ij}) = \prod _{(i,j)\in G} x_{ij} \) where the product runs over the edges of G. The forest formula applied to this function yields:
Remark that the derivative of the characteristic function is nonzero only if the forest \(\mathcal {F}\) is made of edges of G (which we signify by \(\mathcal {F}\subset G\)). Furthermore, if \(\mathcal {F}\) has more than one block, then one of the ws in the product is set to zero. It follows that only trees contribute:
This formula defines normalized weights associated with the graph G and the spanning trees \(\mathcal {T}\subset G\):
which admit a striking combinatorial interpretation. We define a Hepp sector as a total ordering \(\pi \) of the edges of G, that is a bijection \( \pi : E(G) \rightarrow \{1,\dots |E(G)|\} \), where E(G) is the set of edges of G. For any \(\pi \) the leading spanning tree in \(\pi \), denoted \(\mathcal {T}(\pi )\), is the tree such that \( \sum _{e\in \mathcal {T}(\pi )} \pi (e)\) is minimal. The tree \(\mathcal {T}(\pi )\) is obtained by Kruskal’s greedy algorithm: at each step one adds the edge \(e\in G\) with minimal \(\pi (e)\) that does not form a loop.
Lemma 1
We have:
where \(N( G,\mathcal {T})\) is the number of sectors \(\pi \) such that \(\mathcal {T}(\pi )=\mathcal {T}\), that is \(w(G,\mathcal {T}) \) is the percentage of Hepp sectors in which \(\mathcal {T}\) is the leading spanning tree of G.
Proof
Let us define the function:
On the one hand we have:
as, at any fixed \(\{u_{e},e\in \mathcal {T}\}\) the integral over the loop edge variable \(u_{kl}\) yields \(w^{\mathcal {T}}_{kl}(u_{\mathcal {T}})\).
We now split the integration interval according to Hepp sectors. In the sector \(\pi \) corresponding to \(u_{\pi ^{-1}(1)}> u_{\pi ^{-1}(2)} >\dots \) the characteristic function \(\chi \) tests whether every loop edge (i, j) has smaller \(u_{ij}\) than \(\inf \{u_{kl}\}\) in the tree path \(P^{\mathcal {T}}_{i\rightarrow j}\) connecting i and j. This is true if and only if \(\mathcal {T}\) is the leading spanning tree in \(\pi \):
\(\square \)
Lemma 2
(Asymptotic series [41].) The asymptotic expansion at zero of the free energy W(g, N) in the cut plane \(g\in \mathbb {C}_\pi \) is the formal sum over connected Feynman graphs of Feynman amplitudes.
Proof
Taylor expanding the Gaussian integrals in Eq. (4.7) to infinity yields:
The additional derivatives with respect to \(\sigma \) generate loop edges decorating the tree \(\mathcal {T}\): \(l_{ij}\) is the multiplicity of the loop edge between i and j and \(l_i\) the number of tadpole edges (or self loops) at the vertex i. We denote the graph consisting in \(\mathcal {T}\) decorated by such extra loop edges by G. Of course, \(\mathcal {T}\) is a spanning tree of G which we denote \(G\supset \mathcal {T}\). From Lemma 1, the integral over u in Eq. (D.16) is:
yields the percentage of Hepp sectors in which \(\mathcal {T}\) is the leading spanning tree of G. Collecting the coupling constants and the symmetry factor in the amplitude A(G) of the graph G, we write:
that is for each tree \(\mathcal {T}\) we resum the amplitudes of the graphs in which \(\mathcal {T}\) is a spanning tree with a weight given by the percentage of Hepp sectors of G in which \(\mathcal {T}\) is the leading tree. Denoting \(G_n\) the set of connected graphs over n vertices, we commute the sums over trees \(\mathcal {T}\) and graphs G and using \(\sum _{T\subset G}w(G,\mathcal {T}) = 1\) we get:
which is the familiar perturbative expansion of the free energy in connected graphs. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Benedetti, D., Gurau, R., Keppler, H. et al. The Small-N Series in the Zero-Dimensional O(N) Model: Constructive Expansions and Transseries. Ann. Henri Poincaré (2024). https://doi.org/10.1007/s00023-024-01437-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00023-024-01437-y