Abstract
We present a detailed version of our recent work on the RG approach to multicritical scalar theories with higher derivative kinetic term \(\phi (-\Box )^k\phi \) and upper critical dimension \(d_c = 2nk/(n-1)\). Depending on whether the numbers k and n have a common divisor two classes of theories have been distinguished. For coprime k and \(n-1\) the theory admits a Wilson-Fisher type fixed point. We derive in this case the RG equations of the potential and compute the scaling dimensions and some OPE coefficients, mostly at leading order in \(\epsilon \). While giving new results, the critical data we provide are compared, when possible, and accord with a recent alternative approach using the analytic structure of conformal blocks. Instead when k and \(n-1\) have a common divisor we unveil a novel interacting structure at criticality. \(\Box ^2\) theories with odd n, which fall in this class, are analyzed in detail. Using the RG flows it is shown that a derivative interaction is unavoidable at the critical point. In particular there is an infrared fixed point with a pure derivative interaction at which we compute the scaling dimensions and, for the particular example of \(\Box ^2\) theory in \(d_c=6\), also some OPE coefficients.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum field theory (QFT) has proven remarkably effective at describing physical systems close to their critical point where the correlation length tends to infinity. One of the essential tools in this regard is the renormalization group (RG) which governs the effective description of physical systems in terms of the length scales at which they are probed. In particular universality of physical properties in the vicinity of a scale invariant point which had long remained a conundrum owes its resolution to this notion [1]. RG has not only brought conceptual insight but through epsilon expansion has provided a perturbative framework to compute critical properties [2].
Applicability of RG methods relies solely on scale symmetry which is an inherent feature of physical systems at criticality. However, scale invariance often comes along with conformal invariance. In particular unitary scale invariant theories have been shown to be conformal in two dimensions and perturbatively also in four dimensions. The presence of conformal symmetry allows to take advantage of the whole apparatus of conformal field theory (CFT). Indeed developing CFT methods and applying them in the study of critical systems has been an active line of research in the recent years [3,4,5,6,7,8,9,10,11].
Well-known examples that have been studied extensively with quantum field theory methods include the Ising model as a unitary theory described by a \(\phi ^4\) potential and the Lee-Yang edge singularity which is nonunitary and is characterized by a cubic interaction \(\phi ^3\) [12]. Built upon these results and their extensions [13] such models have been generalized to all multicritical theories with both RG [14,15,16] and CFT techniques [7, 8, 10]. This includes theories with even [7, 8, 14, 15] and odd potentials [10, 16].
Another class of scalar theories that further generalizes the above models and has recently received more attention in the literature includes those with a higher derivative kinetic term of the form \(\phi (-\Box )^k\phi \) [17,18,19,20,21,22] or \(\Box ^k\) theories for short, where k is a positive integer. Despite their nonunitary nature, theories with higher derivatives have found interesting physical applications. The theory of elasticity [23] provides such an example. Furthermore particular quartic derivative models have been shown to describe the isotropic phase of Lifshitz critical theories, and may be relevant for the physics of certain polymers [24]. The latter has also been studied with \(\epsilon \)-expansion techniques [25, 26] and more recently with non perturbative functional RG methods [27, 28] as well.
Apart from possible physical applications, \(\Box ^k\) theories are interesting also at the theoretical level as they provide a framework to build new universality classes and serve as a testing ground for methods and ideas in higher dimensional CFTs. Moreover, they demonstrate new features not present in standard QFTs and in this sense they are instructive from the point of view of perturbation theory.
At the free theory level \(\Box ^k\) theories have been previously studied in [17] where the coefficient of the energy-momentum tensor two-point function for \(k=2,3\) is extracted, and in [18,19,20] where general \(\Box ^k\) theories have been investigated with particular global symmetries, mostly motivated by possible links to quantum gravity in de Sitter space. At the interacting level multicritical \(\Box ^k\) theories, with and without global symmetries, that demonstrate a generalized Wilson-Fisher fixed point have been analyzed in [7, 8] using the analytic structure of conformal blocks. In [21] O(N) symmetric \(\Box ^k\) theories with quartic interaction have been explored in the large N limit.
In a recent letter [22] we have reported the results of our study of general multicritical \(\Box ^k\) single-scalar theories with \(\mathbb {Z}_2\) symmetric critical interactions using standard perturbative RG methods and extracted critical information by performing \(\epsilon \) expansion below an upper critical dimension \(d_c = 2nk/(n-1)\). This upper critical dimension is fixed by the requirement that \(\phi ^{2n}\) be a marginal operator. We have divided such theories into two classes which we have referred to as first and second type theories. The first class consists of theories in which the numbers k and \(n-1\) are relatively prime. These theories admit a generalized Wilson-Fisher fixed point with a single marginal interaction \(\phi ^{2n}\) as in [7, 8]. In the second class k and \(n-1\) have a common divisor. The phase structure of these theories is more involved compared to that of the first type theories and is characterized by the presence of fixed points with derivative interactions. Contrary to theories of the first type there are no fixed points with pure potential interactions.
In this work we present the details of our approach which relies on functional perturbative RG [14,15,16, 29] but give some new results as well. In particular we extend the beta function of the potential for \(\Box ^2\) theories of the second type, that was reported in [22] at quadratic level, to cubic order in the couplings. This is necessary for the calculation of OPE coefficients beyond free theory for non derivative operators. For this purpose we need not only the counter-terms cubic in the potential but also those with one power of Z couplings that parameterize two-derivative operators. The Euclidean higher-derivative scalar theories that we consider here are free of an explicit scale and therefore do not suffer from inconsistencies discussed in [30].
The paper is organized as follows. In the first part of Sect. 2 we present the general setup and basic definitions. The ordering of couplings/operators according to their canonical dimension in \(\Box ^k\) theories is different from that of standard theories. We devote a separate subsection to clarifying this issue and determining couplings of the same dimension that can possibly mix together. In the last part of this section we resort to dimensional analysis to constrain as much as possible the structure of beta functionals before getting into perturbative loop calculations. In Sect. 3 we analyze theories of the first type and report the cubic beta functional of the potential as well as the beta functional of Z at quadratic order. We obtain critical data such as the field and coupling anomalous dimensions and OPE coefficients in terms of \(\epsilon \) in the neighbourhood of the generalized Wilson-Fisher fixed point and compare with the literature when possible. Section 4 discusses \(\Box ^2\) theories of the second type which correspond to odd values of n. The beta functional of the potential as well as the two and four-derivative couplings are computed at quadratic level in terms of V and Z. We describe the phase diagram of these theories and present the field anomalous dimension and some critical exponents in the vicinity of the infrared fixed point. Finally, for the particular case of \(n=3\) we extend the beta function of the potential in Sect. 5 by including cubic corrections that are required for the computation of OPE coefficients at order \(\epsilon \). We then conclude in Sect. 6 and devote several appendices to details of the computations.
2 General \(\Box ^k\) scalar theories
2.1 Setup and definitions
Let us begin with presenting the general setup and basic definitions. Our goal is to study critical theories with a single scalar field that are deformations of a higher-derivative free theory of the form
where k is a positive integer. We will calculate critical properties of such deformations using the renormalization group in dimensional regularization and \(\overline{\mathrm {MS}}\) scheme and perform \(\epsilon \)-expansion in \(d=d_c-\epsilon \), that is below a critical dimension \(d_c\) which will be determined shortly. The canonical dimension of the field is
The presence of interactions will induce a running for the coefficient of the kinetic term (2.1). We adopt the convention that this coefficient is implicitly absorbed into the field \(\phi \) so that the kinetic term is always in the canonical form. This implies that the field \(\phi \) depends on the RG scale \(\mu \) and we define its anomalous dimension \(\gamma _\phi \) as
The propagator of the massless theory (2.1) satisfies the following differential equation where \(\delta ^d_x\) is the d-dimensional Dirac delta function at the spacetime point x
Apart from a numerical coefficient, the x dependence of the propagator is fixed by translation and scale invariance. The solution to this equation in coordinate space is
Although we will be using such coordinate space expressions as well, our perturbative analysis of the following sections rely heavily on momentum space calculations. Also, we will be generically dealing with Feynman diagrams in which a propagator is replaced with a bunch of propagators. It is therefore useful to have the momentum space expression for a bunch of r propagators
which clearly reduces to \(p^{-2k}\) for \(r=1\). Throughout this paper we have adopted a shorthand notation for the integrals which can be found in Appendix.1. This quantity has a pole when
where \(\delta _c\) is the field dimension at the critical point \(\epsilon =0\). Let us denote by n the value of r at which the first pole occurs. This satisfies \((n-1)\delta _c = k\). Then \(\delta _c\) and the space dimension at criticality \(d_c\) will depend on k, n in the following way
The assumption that such an n exists is equivalent to the fact that leading quantum corrections induced by non-derivative couplings are quadratic. This follows from the fact that, apart from numerical factors and couplings, (2.6) shows the expression for a diagram with two non-derivative vertices. The upper critical dimension \(d_c\) can also be fixed by the requirement that \(\phi ^{2n}\) be a marginal operator. However, as we will see, this is not necessarily the only marginal interaction.
2.2 General pattern of coupling mixing
The pattern of coupling mixing in \(\Box ^k\) theories is more involved than in the standard case with a 2-derivative kinetic term. Before getting into the perturbative calculations it is therefore very useful to sort the operators according to their canonical dimension and determine those of the same dimension which can potentially mix together.
A derivative operator in the action has at least two fields, so let us schematically denote a general \(2\ell \)-derivative operator as \(\phi ^\sigma (\partial ^\ell \phi )^2\), where operators with the same number of fields and derivatives are not distinguished, and for simplicity of argument treat the potential, which corresponds to \(\ell =0\), on the same footing. Such an operator has the canonical dimension
We would like to find the lowest dimensional operator of the above form of which the coupling mixes with that of an operator with higher derivatives . In other words, we are looking for the smallest \(\sigma \) for which the operator \(\phi ^\sigma (\partial ^\ell \phi )^2\) has the same dimension as a higher derivative operator, say, an operator with \(2(\ell +\Delta \ell )\) derivatives. Such a higher derivative operator will of course appear with only two fields and with the smallest possible \(\Delta \ell \). This is found by solving the equation
Let us call \(\ell _*\) the smallest value of \(\Delta \ell \) for which a solution for \(\sigma \) exists in the above equation, and denote the corresponding solution by \(\sigma _*\). For instance, for \(k=1\) we have \(\ell _*=1\) and \(\sigma _*=2(n-1)\), while for \(k=2\) we have \(\ell _*=1\) and \(\sigma _*=n-1\). Both \(\ell _*\) and \(\sigma _*\) are independent of \(\ell \). This is telling us that the lowest dimensional \(\ell \)-derivative operator that mixes with higher derivative operators is \([\phi ^{\sigma _*}\, (\partial ^\ell \phi )^2]\) which mixes with \([(\partial ^{\ell +\ell _*}\phi )^2]\).
It is clear that other values of \(\Delta \ell \) that admit solutions for \(\sigma \) are multiples of \(\ell _*\), and consequently their solutions are also (the same) multiples of \(\sigma _*\). In particular k must be a multiple of \(\ell _*\), because \(\Delta \ell = k\) admits a solution, and that is \(\sigma _*=2(n-1)\). So the set of operators is partitioned into equivalence classes, where two operators belong to the same equivalence class iff their number of derivatives differ by multiples of \(\ell _*\). Couplings of operators belonging to different equivalence classes do not mix together. Therefore, schematically, and without distinguishing different operators of the same dimension and the same number of derivatives, the mixing of operator couplings is described by the following table
where each row is understood to be multiplied by the operator on the right and collects operators with the same number of derivatives. Operators belonging to the same column have the same dimension and their couplings can therefore potentially mix together. There are \(\ell _*\) of such tables corresponding to \(\ell =0,1,\dots , \ell _*-1\). For different \(\ell \) belonging to this set the couplings of operators in the tables do not mix together, and altogether the \(\ell _*\) tables describe the mixing of all possible couplings. For each \(\ell _*\), Table (2.11) sorts operators according to their canonical dimensions. The table for \(\ell _* =0\), which includes non-derivative operators in its first row, is shown as
Unlike the standard case of \(k=1\) where couplings with positive dimension (relevant) correspond to operators with no derivatives and do not mix with other couplings, for \(k>1\) this is not always the case.
Let us consider the column of marginal operators in (2.12). Such operators can potentially be present at a scale invariant point. If any of the corresponding couplings happens to be non zero at a fixed point then one is forced to take into account that operator along with all operators that appear on its left in table (2.12), i.e. those with the same number of derivatives but less number of fields. This makes it necessary to identify all marginal operators in order to have an idea which operators must be present at lowest order in a derivative expansion. This can be done by dimensional analysis requiring \([\phi ^{\sigma }(\partial ^{\ell }\phi )^{2}] = d_c\) which gives the condition
Since \(\ell \) is non-negative, we are interested in non-negative integer values the left hand side can take. The values \(\sigma =0,2n-2\) are always a solution and correspond to the two operators \(\phi ^{2n}\) and \(\partial ^{2k}\phi ^2\), but intermediate values of \(\sigma \) may also solve the equation. Whether such values exist depends on whether or not k and \(n-1\) have a non-trivial common divisor.
Consider first the case where k and \(n-1\) are relatively prime numbers. In this case if k is also an odd number it is clear that no intermediate values of \(\sigma \) solve (2.13). The \(\ell _*=0\) pattern of mixing, which includes non-derivative couplings as well, in this case is given by the following table
If instead k is even then \(\sigma =n-1\) will also solve the equation and this corresponds to operators of the form \(\partial ^k\phi ^{n+1}\). In principle, such operators can therefore be present in a scale invariant deformation of (2.1). However if k is even and k and \(n-1\) are relatively prime then \(n+1\) is an odd number and the operators \(\partial ^k\phi ^{n+1}\) are \(\mathbb {Z}_2\) odd. Therefore it is consistent to set their couplings to zero and consider only deformations of the form \(\phi ^{2n}\). The \(\ell _*=0\) table describing the mixing pattern in this case is
Next, consider the case where k and \(n-1\) have a common divisor. In this case it is easily seen that intermediate values of m that solve (2.13) always exist, and among them \(\mathbb {Z}_2\) even operators are always present. Consequently one cannot a priori omit such operators. In this case a truncation of the action to non-derivative interactions is inconsistent. For the special case of \(k=2\), n must be an odd number \(n=2m+1\). The \(\ell _*=0\) mixing pattern in this case is given as
Based on this reasoning we distinguish theories of the first type where k and \(n-1\) are relatively prime from those of the second type where k and \(n-1\) have a common divisor. The two type of theories have qualitatively different features. In the next section we will study each type in turn, but before getting into perturbative RG calculations let us see what we can infer just from dimensional analysis about possible terms that can appear in the beta functions.
2.3 Structure of beta functions
In order to perform a RG analysis of scalar \(\Box ^k\) theories, instead of dealing with a finite truncation of the renormalized action, following [14,15,16, 29] we find it more convenient to adopt a functional framework in which at a given order in a derivative expansion infinitely many couplings are collected into a finite number of functions that parameterize operators of the given derivative order (see e.g [15] for further details).
One of the advantages of using the functional framework is that it allows us to extract many critical quantities with a single computation. Apart from that the functional approach gives more insight into the structure of the flow equations as it shows how the beta functions of many couplings are related to each other. In fact dimensional analysis alone fixes the structure of the beta functions to a high extent. To see this explicitly suppose that we are interested in the beta functional of couplings corresponding to a 2a-derivative operator, which we call \(\beta _a\). In the functional approach such couplings are collected into a function that we refer to as \(W_a(\phi )\). For \(a\ge 2\) there is more than one function of this sort as the basis of 2a-derivative operators has more than one element . However for the purpose of the argument of this section we do not need to distinguish such functions.
The beta functional \(\beta _a\) depends on the functions \(W_b(\phi )\), \(b=0,1,2,\dots \) and their field derivatives. We would like to see how much dimensional analysis can tell us about this dependence before getting into perturbative loop computations. For this purpose, consider a diagram with N vertices of which the ith vertex represents interactions parameterized by \(W_{a_i}(\phi )\) with \(i=1,2,\dots , N\). In the most general case any two vertices are connected by a bunch of propagators which we refer to as an edge. Figures 2, 3, 6 and 7 provide examples of such diagrams with two and three vertices. The number of edges in the diagram is \(I\equiv N(N-1)/2\). If we regard each edge as a single internal line the resulting graph will have \(L\equiv I -N+1\) independent loops. Let us also denote the total number of propagators by R. Now, a diagram gives rise to an \(\epsilon \) pole only if (omitting vertex couplings, external lines and their derivatives) it is dimensionless. Imposing this condition gives the following constraint
The expression in the parenthesis in the first term is the total number of loops in the diagram, which is multiplied by the space dimension \(d_c\). The second term takes into account the propagators each of which has a mass dimension \(-2k\). Finally the last term considers possible derivatives from the vertices that can act on the propagators keeping in mind that this must be such that vertices with \(2a_1,2a_2,\dots ,2a_N\) derivatives contribute to a 2a vertex. For instance one (but not the only) possibility is that out of all the derivatives in the vertices a number \(2(\sum _ia_i-a)\) act on internal lines and 2a remain external. The above equation can be put in a more useful form
Given k, n and the total number of propagators in a diagram, this equation constrains the sum of derivatives of vertices that can contribute to the 2a-derivative vertex. This will prove very useful in determining possible terms in a beta functional and what diagrams to compute. In this work we are interested in quadratic and cubic contributions in the couplings, that is \(N=2,3\).
3 Theories of the first type
As argued in Sect. 2.2, for theories of the first type it is consistent to consider only non-derivative deformations of higher-derivative free theories (2.1). These are collectively expressed as a potential function \(V(\phi )\), which give the lowest order truncation in a derivative expansion
In the following we will calculate the beta functional of the potential at cubic order in the couplings, i.e. cubic order in V. To compute the functional betas it is convenient to adopt the background-field method where the the field \(\phi \) is shifted as \(\phi \rightarrow \phi +f\) and f is considered as the quantum field. We will therefore only deal with vacuum diagrams with vertices that are functions of \(\phi \). As the first step we need to evaluate the quadratic and cubic counter-terms relevant for our purpose.
3.1 Counter-term diagrams
The counter-term diagrams for \(V(\phi )\) at quadratic and cubic order in the V-couplings are discussed in Appendix. A for theories with general k, n. Here we pick those for theories of the first type and extract their divergences. At quadratic level the only diagram that has a pole contributing to the potential is an \((n-1)\)-loop diagram given by
where n in the superscript of \(V^{(n)}\) refers to the number of field derivatives of the potential. The divergent part of this diagram is already given in the appendix and is nothing but Eq. (A.2) for \(r=n\), which corresponds to \(l=0\). We call this \(V_{c.t.2}\)
Here, all the signs and symmetry factors have been taken into account. Let us now move to the cubic counter-terms. There are three types of cubic diagrams discussed separately in Appendices A.2, A.3 and A.4. Following the general discussion of Appendix. A.2 the first type of such diagrams, that is the triangle diagrams, are divided into two sets. The first are those in which the edges, which form a melon diagram, do not give rise to a subdivergence. For theories of the first type this means that \(r,s,t\ne n\) in the diagram
The divergence is extracted using Eqs. (A.4) and (A.5) and picking the \(y=z=0\) pole
where the number of propagators r, s, t is positive and for compactness of the expression we have defined the following quantity
Next, consider triangle diagrams in which one edge (melon diagram) leads to a divergence. For theories of the first type this means that one of the three bunches must have n propagators. We take \(r=n\) so the diagram will be
One has to multiply (A.4) by three as there are three possibilities for the subdivergent edge. We then get the following pole term
The relevant double-melon diagrams consist of two melons with n propagators each
The pole is easily extracted using (A.7) and (A.8)
Finally, the melon diagram that contributes to the potential at cubic level has n propagators. In this case one of the vertices is the counter-term vertex \(U_{0,c.t.}\) discussed in (A.1) which is nothing but the quadratic counter-term for the potential \(V_{c.t.2}\)
The pole term for this diagram is simply extracted from (A.15)
Let us summarize theses results. At quadratic level the only contribution to the counter-term of the potential is (3.2). At cubic order there are several contributions the sum of which is
where the following quantity is defined to make the expression compact
3.2 Beta function of the potential
From the counter-terms (3.2) and (3.8) it is straightforward to compute the beta function. Given the (canonical) normalization of the field \(\phi \), there is a term proportional to the field anomalous dimension in flow of the potential. We will denote by \(\beta _V\) the part that is independent of the anomalous dimension
At quadratic level the relation between the counter-term (3.2) and the beta function is
where the index 1 in the \(\mu \)-derivative means that the scale derivative is taken using the tree-level flow \(\beta _{V,1} = \epsilon V\). At cubic level the beta function and counter-terms are related as
The index 2 refers to the fact that in the \(\mu \)-derivative the quadratic flow \(\beta _{V,2}\) has been used. This last term in \(\beta _{V,3}\) cancels precisely the contribution form the third line of (3.8). We will not go beyond cubic order in this work.
To address critical properties one expresses all quantities in units of the RG scale \(\mu \). The dimensionless couplings are conveniently expressed as the expansion coefficients of the dimensionless potential
The relation between the beta functional of \(v(\varphi )\) and \(\beta _V\) is
The normalization of couplings is not physical. We use this freedom to simplify the expression for the beta function. We make the rescaling
This removes for instance all factors of \(4\pi \), but the precise form is fixed by the requirement to match the CFT normalization. This will be made clear in subsequent sections. The final form of the dimensionless beta function after the rescaling (3.15) is
where the first sum runs over positive integers r, s, t subject to the conditions \(r+s+t=2n\) and \(r,s,t \ne n\), and the second sum runs over positive integers with a fixed sum \(s+t=n\). The anomalous dimension \(\eta \) is still unspecified at this point. This is fixed by our assumption that the field \(\phi \) is always in the canonically normalized form. Let us now calculate this quantity.
3.3 Fixed point and field anomalous dimension
The function \(V(\phi )\) induces a flow for the coefficient of the kinetic term as well. The counter-term appears at \(2(n-1)\) loops and comes from the diagram
The pole term of this diagram is nothing but the counter-term defined in (A.2) for \(l=k\)
where in the second line we have kept the term that contributes to the kinetic term coefficient. Taking the coefficient of the kinetic operator in (3.17) at \(\phi =0\) and multiplying it by \(2(n-1)\epsilon \) we get the flow of the kinetic term coefficient in terms of \(g \equiv v^{(2n)}(0)/(2n)!\) which is simply equal to \(-\eta \). Therefore we have
which has been written in the rescaled normalization. This rescaling of the couplings of course does not affect the anomalous dimension when written in terms of \(\epsilon \). To find this we need the leading \(\epsilon \) dependence of the fixed point coupling which can be obtained from (3.16)
In terms of \(\epsilon \) the anomalous dimension is a universal quantity and is given by
where the Pochhammer symbol \((a)_b = \Gamma (a+b)/\Gamma (a)\) has been used. This is in agreement with [8]. Equation (3.20) can be used in turn to find the \(\epsilon \) dependence of the fixed point beyond leading order. Using (3.16) the fixed point at quadratic order in \(\epsilon \) is found to be
The \(\epsilon \) dependence of the fixed point at quadratic order can be used to find some coupling anomalous dimensions beyond leading order.
3.4 Coupling anomalous dimensions
As an advantage of having the functional beta of the potential it is possible to calculate the anomalous dimensions of many couplings with a simple calculation and express the result for all couplings through a compact formula. This can be done by inserting the expansion
for the potential function into the flow Eq. (3.16) and computing the stability matrix evaluated at the fixed point (3.21). We have chosen a coupling normalization with no factorials for later convenience, however this choice is physically irrelevant and does not affect the anomalous dimensions as functions of \(\epsilon \). The coupling anomalous dimensions are generally obtained by diagonalization of the stability matrix, but in particular cases such as a triangular stability matrix they can be read off simply from the diagonal elements. If this is the case here, the coupling anomalous dimensions from (3.16) are given by
in which terms with negative factorials in the denominator are interpreted as zero. This formula is valid for instance when there is no mixing, that is for the range \(0\le i \le 2n\) corresponding to relevant and marginal couplings, which is still a new result. However if we downgrade the result to the leading order the range of validity will extend to infinity, including all irrelevant couplings as well. This is because despite the mixing of couplings of irrelevant non-derivative operators with those of derivative operators, the stability matrix at order \(\epsilon \) is lower triangular, in the sense that in the quadratic terms in the beta function of \(g_i\), couplings of higher derivative operators cannot appear together with the dimensionless coupling g. At this order the anomalous dimensions read
which are independent of k and in agreement with [7, 8]. These anomalous dimensions vanish at order \(\epsilon \) unless \(i\ge n\). For instance the anomalous dimension \(\tilde{\gamma }_2\) is of order \(\epsilon ^2\) for \(n>2\). This can be obtained from the general formula (3.23). Notice that, independent of the value of k, \(\phi ^2\) is always a relevant operator, and hence (3.23) will not be affected my mixing at any order in \(\epsilon \). For theories with \(n>2\) the second and third terms in the first line and the first terms in the brackets in the second and third lines vanish. Therefore \(\tilde{\gamma }_2\) takes the following form
For the special case \(k=1\) this reduces to
in agreement with [10].
3.5 OPE coefficients
In this section we compute what we call the \(\overline{\mathrm {MS}}\) OPE coefficients, which can be calculated by expanding the coupling beta functions around the fixed point and reading off the coefficient of the quadratic terms in the coupling deformations. We distinguish them from the standard OPE coefficients by a tilde \(\tilde{C}^l{}_{ij}\). These quantities which from now on we refer to as OPE coefficients for short depend on the renormalization scheme. However, the non zero OPE coefficients that we find with this method and using dimensional regularization are those that are dimensionless at \(\epsilon =0\) [15]. These OPE coefficients can be shown to be less sensitive to changes of scheme and in this sense universal (we refer the reader to section 2 of [15] for further details).
Despite the anomalous dimensions which are unaffected by the coupling normalizations, the OPE coefficients do depend on this choice. To match the CFT normalization the operator couplings that are used to extract the OPE coefficients appear with the same coefficient which motivates our choice (3.22). Using this expansion in the functional flow (3.16), the universal OPE coefficients are extracted
The component l is fixed by the universality condition for \(\tilde{C}^l_{\;\,ij}\)
which is independent of k. These OPE coefficients have been extracted from the cubic beta functional after the rescaling (3.15). As pointed out earlier, this rescaling affects the OPE coefficients by a global overall factor and has been fixed such that the OPE coefficients are consistent with the CFT normalization. This is done by requiring any of the leading terms that is independent of \(\epsilon \) in (3.27) to match the value found from simple Wick counting.
The compact expression (3.27) looks rather involved but can be compared to known results for special cases. For instance plugging \(i=n-m\), \(j=n+m+1\) and hence \(l=1\) into our general formula we get
where we have used the fact that the denominators in the first line are factorials of non negative numbers
so the sum of these two expressions must also be non negative \(1-t\ge 0\), and therefore we must have \(t=1\). This means that the sum of the two expressions above is actually zero and so each non negative summand \(n+m+1-s-t=r-n+m+1\) and \(s-n-m\) must also vanish separately, giving \(r=n-m-1\) and \(s=n+m\). We have also used
The result (3.29) is in agreement with [8], if we take into account the difference in the normalizations. Namely, in [8] the coefficients in \(\langle \phi ^l\phi ^l\rangle \) are normalized to unity, while here we only normalize \(\langle \phi \phi \rangle \). In other words, to compare with [8] we have to make the additional transformation \(\phi ^l\rightarrow \phi ^l \sqrt{l!}\), and therefore \(\tilde{C}^k_{\;ij}\rightarrow \tilde{C}^k_{\;ij}\sqrt{i!}\sqrt{j!}/\sqrt{k!}\).
3.6 Beta function of two-derivative couplings
Let us take a step further in the derivative expansion and consider the following Lagrangian for theories of the first type
The function Z affects the flow of the potential starting from cubic terms in the flow and leaves the quadratic flow unaltered. Let us calculate the contribution of the potential and the wavefunction Z to the flow of Z at quadratic level. The contribution that is quadratic in the potential is present only for the case \(k=1\). This is seen from the argument of Sect. A.1 and the expression for the counter-term can be found from Eq. (A.2) for \(l=1\) and \(r=2n-1\). This comes from the diagram in Fig. 2 but applied to the standard case with \(k=1\). The contribution to the beta function is found by multiplying the coefficient of \((\partial \phi )^2\) by \(2(n-1)\epsilon \)
Let us now compute the quadratic contribution that includes both V and Z couplings. The relevant diagram is
At the Z-vertex there are three possibilities depending on whether the propagators are connected to one or both fields in \((\partial \phi )^2\) or only to fields in \(Z(\phi )\). The counter-term corresponding to this diagram is given as
This has to be multiplied by \(2(n-1)\epsilon \) to give the contribution to the beta function
This generalizes the result for the standard \(k=1\) case given in [14]. In terms of the dimensionless fields (3.13) and
and after the rescaling (3.15) the complete beta function reads
where the Kronecker delta \(\delta _{k,1}\) in the last term guarantees that this term is present only for \(k=1\). The term \(\frac{1}{2}\eta \varphi z^{(1)}\) proportional to the anomalous dimension is omitted as it is of cubic order in the couplings. From this beta function it is possible to calculate the anomalous dimensions of couplings corresponding to two-derivative operators, \(\tilde{\omega }_i\), at order \(\epsilon \). At this level of approximation the results are valid for all indices i because the stability matrix is lower triangular. A simple calculation gives
This reproduces the result of [15] for the special case \(k=1\).
4 Theories of the second type: the \(k=2\), \(n=2m+1\) example
So far we have been dealing with theories for which k and \(n-1\) are relatively prime. We will now turn our attention to theories of the second type in which k and \(n-1\) have a common divisor. As argued in Sect. 2.2 these theories are considerably more involved. Instead of complicating the calculations, as a first encounter with such theories we find it more instructive to concentrate on the special case of \(k=2\) which already shows the novel features of second-type theories. For the \(k=2\) case, theories with even values of n fall in the first class already discussed. We therefore consider here \(\Box ^2\) theories with \(n=2m+1\), where m is a natural number. For such theories, apart from the kinetic operator there are two marginal operators \(\phi ^{2(2m+1)}\) and \(\phi ^{2m}(\partial \phi )^2\) at the critical dimension. According to arguments of Sect. A potential approximation is therefore inconsistent as a lowest-order derivative expansion and one has to take into account 2-derivative interactions as well. Therefore, we consider the Lagrangian
These theories are labelled by the number m in terms of which the field dimension at criticality and the upper critical dimension are
In the following we first calculate the quadratic flow of the functions V and Z for general m. For this purpose we need the quadratic counter-terms.
4.1 Counter-terms for V of the form \(V^{(a)}\,^2\)
Let us first consider counter-terms that are quadratic in the V couplings. According to the arguments of Sect. A.1 these can contribute at any order in the number of derivatives. In fact Eq. (A.3) shows that the diagram of Fig. 2 with \(r = (2+l)m+1\) contribute to operators with 2l derivatives. Here we are interested in the counter-term \(U_{0,c.t.}\) which contribute to the potential V. We thus need to choose \(l=0\). This gives a melon diagram with \(r=2m+1\) propagators
The pole of this diagram is found from Eq. (A.2), setting \(r=2m+1\) and \(l=0\) (of course with \(k=3\) and \(\delta _c = m^{-1}\))
The contribution to the beta function is found by multiplying this expression by \(2m\epsilon \).
4.2 Counter-terms for Z of the form \(V^{(a)}\,^2\)
The contribution to the function Z comes from (A.2) with \(l=1\). This corresponds to \(r=3m+1\) giving rise to the diagram
Using Eq. (A.2) with \(r=3m+1\) and \(l=1\), and doing integration by parts the pole term reads
This has to be multiplies by \(2\times 3m\epsilon \) to give the contribution to the beta function.
4.3 Counter-terms for V of the form \(V^{(a)}Z^{(b)}\)
Let us now consider quadratic contributions to the potential counter-term with a V-coupling and a Z-coupling. The relevant diagram is a melon diagram with \(m+1\) propagators.
The expression for such diagram for arbitrary r number of propagators is found in Sect. B. The diagram of relevance here is evaluated by setting \(r=m+1\) in Eq. (B.4). The first two terms in this equation involve \(G^{m+1}_{xy}\) which is finite for \(k=2\) and \(n=2m+1\). We are therefore left with the last term, the pole of which can be easily calculated. This gives
4.4 Counter-terms for Z of the form \(V^{(a)}Z^{(b)}\)
A similar diagram but with \(2m+1\) propagators contribute to the wavefunction Z
This diagram can also be calculated from Eq. (B.4) by setting \(r=m+1\), but this time \(G^{m+1}_{xy}\) is divergent and so the first two terms also contribute to the pole. In fact a simple calculation shows that the last two terms cancel together and the pole term reads
To obtain the beta function one has to multiply this by \(2\times 2m\epsilon \).
4.5 Counter-terms for Z of the form \(Z^{(a)}Z^{(b)}\)
There is also a counter-term that is quadratic in Z. This contributes only to Z. The diagram is an m-loop melon diagram
Each vertex can appear in three different ways as discussed in Sect. B, so all together the expression for this diagram can be written as the sum of six terms. This given for a general number of propagators r in (C.1). To complete the calculation we need to know the divergences of the combinations of propagators and their derivatives in (C.1) for \(r=m+1\). The quantity \(G^{m+1}\) is finite so the first three terms do not contribute. For the last three terms we need to extract the divergences of (C.5), (C.6), (C.7) and (B.4). Setting \(r=m+1\) these are found to be
Using the first three of these pole terms, the combination of propagators and their derivatives in the fourth term of (C.1) becomes
These poles can now be inserted into (C.1) to obtain the final counter-term quadratic in Z
This must be multiplied by \(2\times m\epsilon \) to give the corresponding beta function contribution.
4.6 Beta functions at quadratic order
Summing up all the contributions and simplifying a bit we get the dimensionful beta functions for V and Z at quadratic order
where (just like \(\beta _V\)) \(\beta _Z\) refers to the \(\eta \)-independent term in the flow of Z. Let us move to dimensionless variables
and perform the rescalings
The rescaling for v is compatible with the v-rescaling introduced earlier in (3.15) for the first-type theories, which is made to match the CFT normalization. For the dimensionless variables the beta functions reduce to
Similar to the case of Eq. (3.37), the terms proportional to the anomalous dimension in \(\beta _v\) and \(\beta _z\) which are given by \(\frac{1}{2}\eta \varphi v^{(1)}\) and \(\frac{1}{2}\eta \varphi z^{(1)}\) respectively are of cubic order in the couplings and are therefore omitted in this approximation.
4.7 Fixed points
Equipped with the beta functions we are now able to find the fixed points and spectrum of the couplings. For this purpose let us parameterize the v, z functions as
where \(g\equiv g_{2(2m+1)}\) and \(h\equiv h_{2m}\) are the marginal couplings. With this parametrization the fixed point equations for the marginal couplings at quadratic level are
An interesting feature of these equations is that there are no non trivial fixed points with \(h=0\). This means in particular that a pure potential deformation of the higher-derivative free theory (2.1) is never scale invariant. Instead there exists a fixed point with a pure derivative interaction, that is with \(g=0\) and
Interestingly this is also an infrared fixed point. Apart from this and the Gaussian fixed point there are two other fixed points which are a mixture of derivative and non-derivative interactions. These are made more clear in Fig. 1 where the flow diagram is shown for the particular case of \(m=1\). The picture is qualitatively the same for higher m.
4.8 Spectrum of couplings
Having identified the fixed points, we will now proceed with the calculation of coupling anomalous dimensions. Table shows that couplings of non-derivative operators up to \(\phi ^{2m+1}\) are not affected by mixing. This makes diagonal the \(2(m+1)\)-dimensional upper left block in the stability matrix, i.e. \({\mathcal {M}}_0^{(0)}\) in the notation of [15]. The diagonal elements give the scaling dimensions of the potential couplings corresponding to \(\phi ^i\). The ith element is given, for \(i=1,\dots , 2m+1\), as
Notice that the last term proportional to g is present only in the last component \(i=2m+1\). The anomalous dimension for the relevant coupling \(g_i\) is therefore
It is clear that for \(i=1,\dots , m\) the anomalous dimension is zero at this order. Starting from \(\phi ^{2(m+1)}\) the couplings of non-derivative operators mix with those of two-derivative operators. This continues up to \(\phi ^{4m+1}\) after which couplings of four-derivative operators also come into play. Following the notation of [15] the ith block of the matrix \({\mathcal {M}}_0^{(2)}\) governs the \(\phi ^i - \phi ^{i-2m-2}(\partial \phi )^2\) mixing, i.e. the mixing between the couplings \(g_i\) and \(h_{i-2m-2}\), for \(i=2m+2,\dots , 4m+1\). These two by two matrices are given by
where the first three terms are understood to be proportional to the two by two identity matrix and the four elements in the last term are
For \(i=2m+2,\dots , 3m\) this is still diagonal because \(\left[ {\mathcal {M}}_{0,i}^{(2)}\right] _{gh}=[{\mathcal {M}}_{0,i}^{(2)}]_{hg}=[{\mathcal {M}}_{0,i}^{(2)}]_{hh}=0\). For \(i=3m+1\) it is triangular because \([{\mathcal {M}}_{0,i}^{(2)}]_{hg}=0\). So the anomalous dimensions can be read off from the diagonal elements. The matrix element \([{\mathcal {M}}_{0,i}^{(2)}]_{gg}\) gives the anomalous dimensions of the \(g_i\) couplings, so one can extend the range of \(g_i\) anomalous dimensions (4.23), given above, to
Furthermore, the quantity \([{\mathcal {M}}_{0,i}^{(2)}]_{hh}\) gives the anomalous dimensions of the \(h_i\) couplings \(\tilde{\omega }_i\). The only nonzero element that is never affected my mixing is the case \(i=3m+1\) which gives the anomalous dimension of \(h_{m-1}\)
It is straightforward to calculate the anomalous dimensions also for \(i=3m+2,\dots , 4m+1\), but one has to solve the characteristic equation and the expressions are more involved. For the particular fixed point with \(g=0\), the matrix (4.25) is diagonal all the way up to \(i=4m+1\). So the coupling anomalous dimensions are easily read off from diagonal elements. In this case, using (4.21) it is straightforward to express the anomalous dimensions in terms of \(\epsilon \)
At this fixed point, the range of validity for these coupling anomalous dimensions extends to infinity. This is because for \(g=0\) the leading terms that contribute to the stability matrix come from quadratic terms in the beta functions with an h coupling, which corresponds to a two-derivative operator. Then, from (2.18) it is seen that in a quadratic term in the beta function of \(g_i\), the coupling h can be coupled only to non-derivative couplings \(g_j\), and in a quadratic term in the beta function of \(h_i\), the coupling h can be coupled either to non-derivative couplings \(g_j\) or to two-derivative couplings \(h_j\). Therefore the stability matrix governing the mixing in the \(g_i\)-\(h_j\) sector is lower triangular. The above argument is in fact general: If we collectively denote the coupling of 2l-derivative operators by \(c_l\), then the beta function \(\beta _{c_i}\) can include a quadratic term of the form \(h c_j\) only for \(j\le i\). This constraint on i, j indeed follows from (2.18) which in this case translates to
4.8.1 Some scaling relations
Let us make a small digression here to check some simple scaling relations. On general grounds one can identify two scaling directions in theory space with simple critical exponents. This can be seen most easily by working with a general action \(S(\phi )\) rather than the set of functions \(V(\phi )\), \(Z(\phi )\), ..., as was instead discussed in Appendix B of [15]. In terms of the dimensionless field \(\varphi \) we denote the local action by \(s(\varphi )\) defined through
where \(\phi = \mu ^\delta \varphi \), the dimensionless spacetime variable in the second integral is \(\tilde{x} = \mu x\) and the dots stand for higher derivatives of the field. The spacetime dependence of the fields are omitted for simplicity. Referring to the \(\eta \)-independent part of the flow of S as \(\beta _S\)
where \(S'\) is the functional derivative of the action with respect to the field \(\phi \) and the dot implies integration over the spacetime variable x, it follows from the definition (4.31) that the beta function of s is related to \(\beta _S\) through
Here again \(s'(\varphi )\) is the functional derivative of the action with respect to its argument and this time the dot implies integration over the spacetime variable \(\tilde{x}\). This equation is simply a generalization of relations such as (3.14) and its analogue for the wavefunction. The beta function \(\beta _s\) depends on s and its field derivatives, but there is also an explicit \(\varphi \) dependence in (4.33). Let us denote the scaling solution by \(s_*(\varphi )\) so that \(\beta _{s_*}=0\). Taking the field derivative of the fixed point equation \(\beta _{s_*}=0\) we find
where the first term on the r.h.s follows from (4.33). This is simply an eigenvalue equation with the eigenvector \(\delta _r s\) and eigenvalue \(-\theta _r\) given by
Let us now linearize the general equation (4.33) around its fixed point
It is straightforward to check that a perturbation of the form \(\delta \tilde{{\mathcal {L}}} = \tilde{g}_1 \varphi \) which depends on a single dimensionless coupling \(\tilde{g}_1\) is in fact an eigenperturbation. This is because the last term on the r.h.s of (4.36) vanishes for this variation as it contains at least second derivatives of \(\delta s\), and because for variations linear in \(\varphi \) we have \(\varphi \cdot \delta s' = \delta s\). So one can identify the eigenvector \(\delta _1 s\) and its corresponding eigenvalue \(-\theta _1\) as
One notices that quite generally \(\theta _1+\theta _r=d\).
Let us now verify these relations in the example that we just studied, i.e. \(k=2\) theory with \(n=2m+1\). The anomalous dimension \(\eta \) is beyond the approximation made in this analysis and can therefore be ignored here. It is easy to see that the upper left entry in the stability matrix (4.24) for \(i=1\), which gives the scaling dimension of the coupling \(g_1\) (defined in (4.19)), is equal to \(\theta _1 = \frac{1}{2}(d+4)\). The other scaling direction \(s'_*\) translated to coupling space, has nonzero components only along \(g_{4m+1}\) and \(h_{2m-1}\) and in this two-dimensional space it is given by the vector \((2(2m+1)g, 2m h)\). One can use the fixed point Eq. (4.20) to verify explicitly that
where g, h are understood to take their fixed point values. This is consistent with the eigenvalue \(\theta _r\) in (4.35). For the particular fixed point (4.21) with \(g=0\), this eigenvalue equation reduces to \(\tilde{\omega }_{2m-1} = 2m\epsilon \) which can be verified independently using the general formula (4.29).
4.9 Counter-terms of four-derivative operators
To compute the field anomalous dimension we need the counter-term for the kinetic term coefficient. In fact the diagrams of Figs. 2, 6 and 7 for suitable values of r (to be determined shortly) give the complete counter-terms, quadratic in the potential and the wavefunction, for the four-derivative operators. As a byproduct we can find apart from the field anomalous dimension the quadratic flows of all four derivative couplings. These are introduced into the Lagrangian as
which specifies our choice of basis for the four-derivative operators. The one-half factors are simply a matter of convention. The kinetic term coefficient is fixed to \(W_1(0) = 1\) so that the field is always in the canonical form. We will now proceed with the computation of the flow of these functions induced by V, Z.
4.9.1 Counter-terms of the form \(V^{(a)}\,^2\)
Let us start with the quadratic contributions in the potential. This is found immediately from (A.2) by setting \(l=2\) and hence \(r=4m+1\). The relevant diagram is
which has 4m-loops. After an integration by parts in \(U_{2,c.t.}\) this evaluates to
To write this in the basis of four-derivative operators we use
This gives the following counter-term which has to be multiplied by \(2\times 4m\epsilon \) to give the dimensionful beta functions
4.9.2 Counter-terms of the form \(V^{(a)}Z^{(b)}\)
The contributions of the form \(V^{(a)}Z^{(b)}\) come from the diagram of Fig. 6 with \(r=3m+1\)
This value of r can easily be found from the constraint relation (2.18) for \(N=2\), \(a_1+a_2=1\), and \(a=2\). This 3m-loop diagram is directly calculated from (B.2) by setting \(r=3m+1\)
To express this in the basis chosen for the four-derivative operators we use
This gives the counter-terms for the three functions \(W_1\), \(W_2\) and \(W_3\)
which have to be multiplied by \(2\times 3m\epsilon \) to give their flows.
4.9.3 Counter-terms of the form \(Z^{(a)}Z^{(b)}\)
Counter-terms quadratic in Z are also present for \(W_i\). These come from the 2m-loop diagram
This can be computed using Eq. (C.1) for \(r=2m+1\). Before that we need the pole terms
which can be obtained form (2.6), (C.5), (C.6), (C.7) and (B.4) at \(r=2m+1\). For instance these are used to obtain the singular factor in the fourth term of (C.1)
The final form of the four-derivative counter-term is
These are multiplied by \(2 \times 2m\epsilon \) to give the beta function contribution.
4.10 Beta functions of four-derivative couplings and \(\gamma _\phi \)
Summing up all the contributions and reading off the coefficients of the basis operators we find the dimensionful beta functions for \(W_i\). After rescaling the potential and the wavefunction according to (4.16) these beta functions, which refer to the \(\eta \)-independent parts of the corresponding flows, are
The dimensionless versions of these functions are defined as
Their beta functions are related to those of the dimensionful ones in the following way
The field anomalous dimension is found by requiring that \(\beta _{w_1}(\varphi =0)=0\)
Except for the first appearance of \(\gamma _\phi \) as the coefficient of \(w_1\) the terms involving \(\gamma _\phi \) in (4.57) are cubic order in the couplings and must therefore be omitted at the quadratic approximation considered here. At the infrared fixed point where \(g=0\) the anomalous dimension \(\eta = 2\gamma _\phi \) takes the following form in terms of \(\epsilon \)
5 The \(k=2\), \(n=3\) example: including higher order corrections
The quadratic beta functions calculated in the previous section have been used to obtain the field and coupling anomalous dimensions at leading order in \(\epsilon \). For the OPE coefficients instead they are capable of giving only the free theory value which can be obtained by Wick counting. If we wish to extend this and find some OPE coefficients beyond free theory we need some cubic corrections to the beta functions as well. For instance if we are interested in computing the OPE coefficients of non-derivative operators we must find cubic corrections to \(\beta _V\) that are at least quadratic in the potential. These include corrections of the form \(V^{(a)}V^{(b)}V^{(c)}\) which are cubic in the potential. However as we saw earlier the function Z is non zero at the scale invariant point so corrections of the form \(V^{(a)}V^{(b)}Z^{(c)}\) will also contribute to such OPE coefficients. In this section we extend the results of the previous section by calculating cubic corrections to the beta function of the potential that are of the two forms mentioned above. Although straightforward to extend to general values of m, for this calculation we find it more instructive to restrict ourselves to the special case of \(m=1\).
5.1 Counter-terms of the form \(V^{(a)}V^{(b)}V^{(c)}\)
Here we present the diagrams that contribute to cubic terms of the form \(V^{(a)}V^{(b)}V^{(c)}\) in \(\beta _V\). Each diagram is followed by the expression for its UV divergence. We do not enter into the details of the calculations here and instead as an example we provide in the appendix the computational steps for one of the diagrams. For cubic contributions to the counter-term of the potential the number of propagators in the relevant diagram is \(2n=6\). There are three triangle diagrams with six propagators which we will now consider. The first diagram has two propagators in each edge. This falls in the first class described in App. A.2 for which non of the edges is divergent and therefore it has a simple pole in \(\epsilon \). It can be evaluated using equations (A.4) and (A.5)
The poles in y, z in the Mellin–Barnes representation (A.4) that give rise to divergences in this case are \((y,z)=(0,0)\). The next triangle diagram has an edge with three propagators. This leads to a subdivergence and a double \(\epsilon \)-pole. Again the relevant poles in the Mellin–Barnes integral are \((y,z)=(0,0)\) which give
The last diagram of the triangle type, shown below, has a subdivergence which comes from a melon subdiagram with four propagators. Such a subdiagram has a singularity that contributes to two-derivative operators quadratic in the potential. This has to be canceled by inverse powers of the derivative and therefore leads to non-local UV divergences in the diagram. This nonlocal contribution comes from the poles \((y,z)=(1,0)\) and \((y,z)=(0,1)\) in the Mellin–Barnes integral while the pole \((y,z)=(0,0)\) is responsible for the local part similar to the previous two cases
In addition to triangle diagrams there are cubic diagrams of the double-melon type discussed in Sect. 1. In the present case of \(n=3\) there are two diagrams of this kind. The first consists of two melons with three propagators each, connected together. A melon with three propagators is singular and therefore such a double-melon diagram has an \(\epsilon ^2\) pole
The second double-melon diagram has a melon subdiagram with two propagators and a melon subdiagram with four propagators. The one with four propagators has a singularity that contributes to two-derivative operators while that with two propagators is finite but involves two inverse derivatives. This diagram therefore gives a completely non-local term
Finally let us come to the melon diagrams that give rise to cubic corrections in the beta functions. These diagrams include a counter-term vertex. The counter-term vertices are those discussed in Sect. 4.2, which in this example must be evaluated for \(m=1\). They read
The first diagram we will consider has three propagators and its counter-term vertex is \(U_{0,c.t.}\) given in Eq. (5.6). The divergence part of this is evaluated as
The second diagram involves the counter-term vertex \(U_{1,c.t.}\) given in Eq. (5.7) and has two propagators. Its divergence is given by the following expression which includes two non-local terms
As expected no non-local terms must be present in the total counter-term. Indeed one can check that the non-local terms cancel among the diagrams. Moreover the terms proportional to \(\gamma \) are also seen to cancel out. Summing up all these contributions and simplifying a bit the total counter-term that is cubic in the potential reads
5.2 Counter-terms of the form \(V^{(a)}V^{(b)}Z^{(c)}\)
Apart from cubic corrections in the potential it is necessary for the computation of OPE coefficients to obtain also cubic corrections of the form \(V^{(a)}V^{(b)}Z^{(c)}\) in \(\beta _V\). This is because for \(\Box ^2\) theories of the second type the function Z does not vanish at the fixed point and therefore these terms can also contribute to the OPE coefficients. Here we present the diagrams leading to such terms along with the expression for their UV divergence. Computational details for a sample diagram are presented in the Appendix D. To extract the divergences we continue using the Mellin–Barnes representation. Compared to the cubic case in the potential the computation is more involved as the function Z can appear in three different ways in each vertex. In order not to increase the number of diagrams these are not distinguished here. Furthermore for a diagram with given topology the function Z can appear on different vertices which leads to different diagrams. By dimensional analysis a diagram with two V-vertices and a Z-vertex contributes to the flow of the potential if its number of propagators is \(2n-1=5\). There are four triangle diagrams of this sort, which come in two different topologies. In the first diagram the Z function appears at a four-vertex. In this case it turns out that only the cases in which both derivatives at the Z-vertex act on the propagator contribute to the divergence. The results is
The second diagram is topologically the same as the first one except that the Z function appears at a three-vertex. Similar to the previous case, the divergence receives contributions only when derivatives at the Z-vertex act on the propagators. We get
The other two triangle diagrams are also topologically the same except that in one the function Z appears on the two-vertex while in the other it appears on the four-vertex. In both cases the diagram has a non-local divergence. In the first case the pole term is
which includes a double pole. This is because of the subdivergence in the melon with three propagators and the overall divergence. In the second diagram there is only a simple pole from the melon subdiagram and again there are non-local divergences as well
This diagram is analyzed in detail in Appendix D. Let us now consider double-melon diagrams. With five propagators such diagrams can take only one topologically. This consists of two melon diagrams one with two propagators and the other with three propagators connected together through a vertex. Given this topology, the function Z can appear in either of the three vertices, hence there are three diagrams of this type altogether. When the Z function appears on the two-vertex the pole terms is given as
The function Z can also appear on the five-vertex which leads to the \(\epsilon \) pole
Finally, if the three-vertex comes from two-derivative interactions parameterized by the Z function then the pole term will be
What remains to consider is the non-trivial melon diagrams with a counter-term vertex. Let us take a diagram with a Z vertex. The counter-term vertex will then have to be quadratic in the potential. Apart from the case with a single propagator just considered, To provide a counter-term for the potential the only possibility is that the diagram have two propagators and there be no derivatives on the counter-term vertex. The counter-term quadratic in V and with no derivatives is given in (5.6). The pole term for such a diagram is then given as
Next, consider a melon diagram with a V vertex. Its quadratic counter-term vertex will then be of the form \(V^{(a)}Z^{(b)}\). Apart from the trivial single propagator case considered above which can be omitted there are two other cases. The first has two propagators and a counter-term vertex with two derivatives. The counter-term vertex can be obtained from Eq. (4.6) setting \(m=1\)
The pole of this diagram then reads
In the second case the diagram has three propagators. The counter-term vertex then has no derivatives and is given by Eq. (4.5) for \(m=1\)
Using this the divergence of the diagram is found to be
Finally let us sum up these contributions to get the total counter-term of the form \(V^2Z\). Just like the previous case of cubic counter-terms in V, we expect here that no non-local term be present in the final result. Although this is indeed the case, manipulating these terms a bit shows that the situation is slightly more involved in this case. In fact the non-local terms of the \(V^2Z\) diagrams do not cancel out among the diagrams but sum up to local terms instead. The cancellation of terms proportional to \(\gamma \) can be verified here as well, similar to the \(V^3\) case. Summing up different contributions and simplifying, the total counter-term of the form \(V^2Z\) reads
5.3 Beta functions
Before proceeding with the computation of the cubic beta function for the potential, let us summarize what we have found at the quadratic level. In Sect. 4 we have computed the counter-terms and beta functions for V and Z at quadratic level for general values of m. Here we only need the \(m=1\) results. For \(m=1\) the quadratic counter-terms are
The \(m=1\) dimensionful beta functions at quadratic level are simply obtained from the general Eqs. (4.13) and (4.14)
We are now in a position to compute the cubic beta function in V. This is related to the quadratic and cubic counter-terms \(V_{c.t.2}\) and \(V_{c.t.2}\) as
However, we are interested only in contributions of the form \(V^{(a)}V^{(b)}V^{(c)}\) and \(V^{(a)}V^{(b)}Z^{(c)}\). We therefore take \(V_{c.t.3} = V^{v^3}_{c.t.} + V^{v^2z}_{c.t.}\) and in the last term of (5.28) we pick the relevant contributions. This means that in
we only take the first term of (5.26) in \(\beta ^{(2)}_{V,2}\) and the first two terms of (5.27) in \(\beta _{Z,2}\), while \(\beta ^{(3)}_{V,2}\) is used with both its terms (5.26). Doing this and using
we find the desired result, i.e. the cubic beta function of the potential with at most linear dependence in Z. After the rescalings (4.16) the beta function reads
A novel feature of this theory is that to obtain the flow of the potential at cubic order in V we need the quadratic flow of Z, given in the last term of (5.29), and this is crucial for the cancellation of \(\epsilon \) poles in the beta function (5.28). This is a general feature of second type theories, that the potential contributions to the flow of the potential is affected by the flow of the couplings of higher derivative operators. For completeness we report here also the \(m=1\) version of the quadratic flows of Z and \(W_i\) functions after the rescaling (4.16). For the Z function this is
For the functions \(W_i\) corresponding to four-derivative operators the rescaled flows are given as
The dimensionful beta functions (5.31), (5.32) and (5.33) are related to the beta functions of the dimensionless variables defined in (4.15) and (4.56) as
and (4.57) respectively.
5.4 Critical data
In this section we report some of the critical data that can be extracted with a knowledge of the beta functions. In Sect. 4 we computed for general m the beta functions of V and Z at quadratic level and obtained the field and coupling anomalous dimensions in terms of the couplings and at the non-trivial IR fixed point also in terms of \(\epsilon \). Here for the particular case of \(m=1\) we first present the anomalous dimensions for all three non-trivial fixed points in terms of \(\epsilon \), which requires (5.32) and (5.33) and only the quadratic terms in the beta function (5.31). Next we take advantage of the cubic terms in (5.31) to extract some OPE coefficients as well. For \(m=1\) the general leading order anomalous dimensions given in Sects. 4.8 and 4.9 reduce to
Notice that the couplings have been rescaled according to \(g\rightarrow 2(4\pi )^6 g\) and \(h\rightarrow (4\pi )^3 h\). The three fixed points shown in Fig. 1 depend on \(\epsilon \) in the following way
The corresponding relevant spectrum can then be calculated at each fixed point. Those that are of order \(\epsilon \) are given as
which appear from left to right in the same order as the fixed points. For all three cases, as expected \(\gamma _5 = 2\epsilon \). The value of \(\gamma _1\) for the three fixed points is respectively:
It is a straightforward task to extract the dimensionless OPE coefficients from (5.31) in terms of the fixed point values of the couplings g and h. Instead of giving the complete formula which is slightly involved, for simplicity we report here the result only for the infrared fixed point with \(g=0\)
where the terms in the last line are symmetrized in i, j and h is understood to take its fixed point value \(3\epsilon /8\). Also the dimensionless condition fixes \(l=i+j-6\). It may still be useful to give a few explicit examples for the OPE coefficients in terms of \(\epsilon \) at the infrared fixed point
Notice that the OPE coefficients (5.43) are valid either at leading order where mixing effects do not show up, or for the components that are not affected by mixing. The first case includes an infinite number of nontrivial, i.e. order \(\epsilon \), instances when the free theory contribution, which is given by the first line, vanishes.
6 Conclusions
In this work we have shown from one side that renormalization group techniques are still fundamental tools to investigate novel critical properties of QFTs, which in recent years has been addressed with alternative powerful CFT techniques, either analytical or numerical. On the other hand, agreement of CFT results (for instance [7, 8, 22]) with our RG analysis, which relies neither on unitarity nor conformal symmetry, can provide further evidence for the enhancement of scale invariance to conformal invariance for nonunitary single-scalar higher dimensional theories with higher derivative kinetic terms investigated here. Indeed we show how some non trivial results obtained both with RG and CFT techniques, such as scaling dimensions and a class of OPE coefficients, match in the first non trivial order in \(\epsilon \) expansion.
We have taken advantage of the functional form of the flow equations to extract critical information and give compact formulas encompassing (sometimes infinitely) many quantities. The general pattern of coupling mixing is presented which is different from the standard case and depends on the number of derivatives in the kinetic term and the space dimension, or equivalently k, n. We have given a constraint formula that is a result of dimensional analysis and determines to a high extent the structure of terms, i.e combination of functions and their field derivatives, that appear in the beta functionals. Based on the possible marginal operators we have distinguished two types of theories and argued that they have qualitatively different features.
Theories of the first type have a generalized Wilson-Fisher fixed point. We have extracted critical information around this fixed point and shown that when available from both approaches our results for these theories agree with those of [7, 8], which is based on the structure of conformal blocks in a CFT framework. Beyond known results we give the next to leading order values for the coupling anomalous dimensions corresponding to the relevant and marginal non-derivative operators and the leading order anomalous dimensions for the couplings of all two-derivative operators. We also give an infinite set of OPE coefficients at order \(\epsilon \).
The phase diagram for second-type theories has a richer structure. We have analyzed those with a \(\Box ^2\) kinetic term which correspond to odd values of \(n=2m+1\) and discovered that apart from the Gaussian fixed point there are three nontrivial fixed points all of which include derivative interactions. In particular there is a fixed point with a pure derivative interaction that is infrared attractive. We have computed the quadratic flow, in terms of V and Z, of couplings corresponding to operators up to four derivatives for general m. The field anomalous dimension and some critical exponents for the potential and Z couplings are given at leading order in terms of the fixed point couplings, and for the infrared fixed point in terms of \(\epsilon \) in which case the range of validity extends to all V, Z couplings.
In a previous letter [22], where some of the results of this paper were anticipated, we have shown how constraints from conformal symmetry together with a knowledge of the Schwinger-Dyson equations, can be used to obtain some of these results, providing in this way indications, at least at the leading order \(\epsilon \)-expansion, that scale invariance could be enhanced to conformal invariance, also for second-type theories. A more comprehensive investigation along these lines is in progress [31].
For the special case of \(\Box ^2\) theories in \(6-\epsilon \) dimensions the beta functional of the potential is extended to cubic order. This enables us to compute some OPE coefficients of non-derivative operators at order \(\epsilon \). For this purpose we need not only cubic contributions in the potential of the form \(V^{(a)}V^{(b)}V^{(c)}\) but also cubic terms linear in the Z coupling, i.e. contributions of the form \(V^{(a)}V^{(b)}Z^{(c)}\).
Several novel features appear in this computation. For instance the computation of the pure potential contribution to the flow of V at cubic level requires the quadratic flow of Z. This is another indication of the fact that derivative couplings cannot be ignored in theories of the second type even at leading order in derivative expansion. Another particular feature is that nonlocal ultraviolet divergences show up in separate diagrams that finally combine to a local term in physical amplitudes. This signals the fact that it would be too naive to simply drop the nonlocal divergences in the diagrams.
A higher derivative theory of the first type may be considered as a possible construction to describe the isotropic phase of Lifshitz critical theories which is relevant for physics of certain polymers. It is not yet clear if multicritical theories of the novel second type can play a role in understanding new phases. We also note that these theories and in particular the second type ones have critical points, characterized by a finite dimensional UV critical surface, spanned by the UV attractive directions, and may be seen as a non unitary realization of asymptotically safe scalar theories [1, 32,33,34]. \(\Box ^2\) theories are non trivial in dimensions less than 6 but it is likely that also critical theories with higher number of derivatives (\(k > 2\)) demonstrate at least in some cases a similar behavior.
The results of this work can be extended in several directions. We have concentrated here on \(\Box ^k\) theories with \(\mathbb {Z}_2\)-even critical interactions. It would be interesting to extend these results to the case where the scale invariant theory includes \(\mathbb {Z}_2\)-odd marginal operators. Another line of investigation would be including multiple scalar fields and studying various global symmetries [29], or possibly considering fields of higher spin such as \(\frac{1}{2}\) and 1. Theories of the second type in particular have not been studied with other methods. They therefore provide a setting to apply and test alternative approaches that do not rely on RG, especially those that are solely based on conformal symmetry, which may possibly also have the potential to improve these findings.
References
K.G. Wilson, Renormalization group and critical phenomena. 1. Renormalization group and the Kadanoff scaling picture. Phys. Rev. B 4, 3174 (1971)
K.G. Wilson, M.E. Fisher, Critical exponents in 3.99 dimensions. Phys. Rev. Lett. 28, 240 (1972)
S. El-Showk, M.F. Paulos, D. Poland, S. Rychkov, D. Simmons-Duffin, A. Vichi, Solving the 3D Ising Model with the Conformal Bootstrap. Phys. Rev. D 86, 025022 (2012). arXiv:1203.6064 [hep-th]
S. Rychkov, Z.M. Tan, The \(\epsilon \)-expansion from conformal field theory. J. Phys. A 48(29), 29FT01 (2015). arXiv:1505.00963 [hep-th]
P. Basu, C. Krishnan, \(\epsilon \)-expansions near three dimensions from conformal field theory. JHEP 1511, 040 (2015). arXiv:1506.06616 [hep-th]
K. Nii, Classical equation of motion and Anomalous dimensions at leading order. JHEP 1607, 107 (2016). arXiv:1605.08868 [hep-th]
F. Gliozzi, A. Guerrieri, A.C. Petkou, C. Wen, Generalized Wilson–Fisher critical points from the conformal operator product expansion. Phys. Rev. Lett. 118(6), 061601 (2017). arXiv:1611.10344 [hep-th]
F. Gliozzi, A.L. Guerrieri, A.C. Petkou, C. Wen, The analytic structure of conformal blocks and the generalized Wilson–Fisher fixed points. JHEP 1704, 056 (2017). arXiv:1702.03938 [hep-th]
L.F. Alday, Large Spin Perturbation theory for conformal field theories. Phys. Rev. Lett. 119(11), 111601 (2017). arXiv:1611.01500 [hep-th]
A. Codello, M. Safari, G.P. Vacca, O. Zanusso, Leading CFT constraints on multi-critical models in \(d>2\). JHEP 1704, 127 (2017). arXiv:1703.04830 [hep-th]
F. Gliozzi, Anomalous dimensions of spinning operators from conformal symmetry. arXiv:1711.05530 [hep-th]
M.E. Fisher, Yang-Lee edge singularity and phi**3 field theory. Phys. Rev. Lett. 40, 1610 (1978)
J.A. Gracey, Renormalization of scalar field theories in rational spacetime dimensions. arXiv:1703.09685 [hep-th]
J. O’Dwyer, H. Osborn, Epsilon expansion for multicritical fixed points and exact renormalisation group equations. Ann. Phys. 323, 1859 (2008). arXiv:0708.2697 [hep-th]
A. Codello, M. Safari, G.P. Vacca, O. Zanusso, Functional perturbative RG and CFT data in the \(\epsilon \)-expansion. arXiv:1705.05558 [hep-th]
A. Codello, M. Safari, G.P. Vacca, O. Zanusso, New universality class in three dimensions: the critical Blume-Capel model. Phys. Rev. D 96(8), 081701 (2017). arXiv:1706.06887 [hep-th]
H. Osborn, A. Stergiou, C\(_{T}\) for non-unitary CFTs in higher dimensions. JHEP 1606, 079 (2016). arXiv:1603.07307 [hep-th]
C. Brust, K. Hinterbichler, Free \(\square ^{k}\) scalar conformal field theory. JHEP 1702, 066 (2017). arXiv:1607.07439 [hep-th]
C. Brust, K. Hinterbichler, Partially massless higher-spin theory. JHEP 1702, 086 (2017). arXiv:1610.08510 [hep-th]
C. Brust, K. Hinterbichler, Partially massless higher-spin theory II: one-loop effective actions. JHEP 1701, 126 (2017). arXiv:1610.08522 [hep-th]
J.A. Gracey, R.M. Simms, Higher dimensional higher derivative \(\phi ^4\) theory. Phys. Rev. D 96, 025022 (2017). arXiv:1705.06983 [hep-th]
M. Safari, G.P. Vacca, Multi-critical \(\square ^k\) scalar theories: a perturbative RG approach with \(\epsilon \)-expansion. arXiv:1708.09795 [hep-th]
Y. Nakayama, Hidden global conformal symmetry without Virasoro extension in theory of elasticity. Ann. Phys. 372, 392 (2016). arXiv:1604.00810 [hep-th]
D. Schwahn, K. Mortensen, H. Frielinghaus, K. Almdal, Crossover from 3D ising to isotropic lifshitz critical behavior in a mixture of a homopolymer Blend and Diblock copolymer. Phys. Rev. Lett. 82, 5056 (1999)
R.M. Hornreich, M. Luban, S. Shtrikman, Critical behavior at the onset of \(\vec{\text{ k }}\)-space instability on the \(\lambda \) line. Phys. Rev. Lett. 35, 1678 (1975)
H.W. Diehl, M. Shpot, Critical, crossover, and correction to scaling exponents for isotropic Lifshitz points to order (8 - d)**2. J. Phys. A 35, 6249 (2002). https://doi.org/10.1088/0305-4470/35/30/303. arXiv:cond-mat/0204267
A. Bonanno, D. Zappala, Isotropic Lifshitz critical behavior from the functional renormalization group. Nucl. Phys. B 893, 501 (2015). arXiv:1412.7046 [hep-th]
D. Zappala, Isotropic Lifshitz point in the O(N) Theory. Phys. Lett. B 773, 213 (2017). arXiv:1703.00791 [hep-th]
H. Osborn, A. Stergiou, Seeking fixed points in multiple coupling scalar theories in the \(\varepsilon \) expansion. arXiv:1707.06165 [hep-th]
U.G. Aglietti, D. Anselmi, Inconsistency of Minkowski higher-derivative theories. Eur. Phys. J. C 77(2), 84 (2017). arXiv:1612.06510 [hep-th]
M. Safari, G.P. Vacca, Work in progress
S. Weinberg, Ultraviolet divergences in quantum theories of gravitation, in general relativity: an Einstein Centenary Survey (ed. by S.W. Hawking, W. Israel, Cambridge University Press, Cambridge, 1979), pp. 790–831
D.F. Litim, F. Sannino, Asymptotic safety guaranteed. JHEP 1412, 178 (2014). arXiv:1406.2337 [hep-th]
A.D. Bond, D.F. Litim, Theorems for asymptotic safety of gauge theories. Eur. Phys. J. C 77(6), 429 (2017). Erratum:[Eur. Phys. J. C 77(8), 525 (2017)]. arXiv:1608.00519 [hep-th]
Acknowledgements
We would like to thank A. Petkou for discussions.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Counter-terms induced by the potential
1.1 A.1 Quadratic counter-terms
The most general diagram that contains two powers of the potential has the following melon-type structure, where here and throughout the paper the number of field derivatives on a function is denoted by a superscript enclosed in a parenthesis (Fig. 2).
Let r be the number of propagators. Using the momentum space expression (2.6), the coordinate-space expression for a bunch of r propagators is
This is singular when the argument of the rightmost Gamma function is a non-positive integer, say \(-l\), in which case the box appears with the non-negative integer power l. In this case the singular piece of the diagram, including the 1 / 2 symmetry factor, will be
where the number of propagators r satisfies
This equation is nothing but the constraint (2.18) from dimensional analysis, for the special case of \(N=2\), \(a=l\) and \(a_1=a_2=0\), which is found here with a different argument. It is telling us for instance that values of l that are multiples of k will always give rise to an integer. More specifically \(l=ik\) has a solution \(r=n+i(n-1)\) for \(i=0,1,\dots \). But depending on k, n there can be intermediate integer values of l, r that lead to a singularity, i.e. satisfy (A.3). Whether or not such intermediate values are admitted depends on whether k and \(n-1\) are relatively prime or not. If they are coprime numbers then such intermediate values cannot exist. Instead if they have a non-trivial common divisor then intermediate values of l can arise for suitable r which do not belong to the above-mentioned set. We have therefore seen in a different way a clear distinction between the two type of theories.
We will now move to the calculation of cubic corrections in V-couplings. The pole term (A.2) in the above melon diagram will serve as a counter-term vertex for the higher order calculations of the following section.
1.2 A.2 Cubic counter-terms from triangle diagrams
The cubic counter-terms come either from diagrams with three vertices or from diagrams with two vertices of which one vertex is the quadratic counter-term vertex of the previous section. Let us divide the diagrams with three vertices into two groups. The first group consists of triangle diagrams where all three vertices are connected to each other by at least one propagator. The second group, which we call double-melon diagrams include those in which two of the vertices are not connected. Let us begin by extracting the pole term in a triangle diagram. Consider the following triangle diagram where the edges consist of bunches of r, s and t propagators (Fig. 3).
Taking into account all symmetry factors the diagram in momentum space evaluates to
where i runs from 1 to 3, p is the loop momentum integrated over according to (F.1), and \(p+k_i\) is the momentum running in the edge with \(r_i\) propagators which corresponds to t, s, r for \(i=1,2,3\) respectively. Also the derivatives of the potentials are expressed in momentum space and \(p_1 = k_2 - k_1\), \(p_2 = k_3 - k_2\) and \(p_3 = k_1 - k_3\). To evaluate the divergences we find it convenient to use the Mellin–Barnes representation which in this case is given by the following expression
It is important that the contour integrals for y, z separate the poles of the first two gamma functions in the second line of (A.5) from those of the third one on the right. In this case they can be taken to coincide with the imaginary axis. In order for this diagram to contribute to the counter-term of the potential the power of \(p_1\) must vanish and so \(r+s+t=2n\).
An edge of the triangle which forms a bunch of propagators can lead to a subdivergence if the number of propagators satisfies the condition described in the previous section, i.e. Eq. (A.3). For one of the edges to satisfy the condition (A.3), it is necessary to have its number of propagators \(\ge n\). Because of the constraints \(r+s+t=2n\), \(r,s,t\ge 1\) on the number of propagators in each edge, one cannot have two of them \(\ge n\) at the same time. So the condition (A.3) can be satisfied at most by one of the edges.
It is convenient to divide triangle diagrams into two classes, one for which non of r, s, t satisfy (A.3), and one where one of r, s, t satisfies (A.3). The first class has a single \(\epsilon \)-pole, while the second class has a double pole. For theories of the first type, an edge can be divergent only if it has n propagators. Instead for second-type theories, apart from n some bigger number of propagators below or equal to \(2n-2\) will also lead to divergences.
1.3 A.3 Cubic counter-terms from double-melon diagrams
A general double-melon diagram consists of two connected melon diagrams with s and t propagators as in the following Fig. 4.
In order for this to contribute to the counter-term of the potential the number of propagators in the two bunches s, t take all positive values subject to the condition \(s+t=2n\), which can be inferred from dimensional analysis, and such that at least one of the numbers
is a non-positive integer, i.e. satisfies the condition (A.3) so that at least one of the melons is divergent. They can both be a non-positive integer only for \(s=t=n\). Using (2.6) the total contribution of these diagrams in momentum space is
where the sum runs over positive integer s, t subject to the condition \(s+t=2n\). The field derivatives of the potentials are expressed in momentum space and \(p_1\),\(p_2\) and \(p_3\) are the incoming momenta for the left, middle and the right vertex respectively. The product of the two bunch of propagators in momentum space is
The only case which gives rise to a double \(\epsilon \)-pole is \(s=t=n\), while the rest lead to a single pole.
1.4 A.4 Cubic counter-terms from melon diagrams
The final set of diagrams are melon-type diagrams of which one of the vertices is the quadratic counter-term vertex discussed in Sect. A.1 (Fig. 5).
Since \(U_{l,\mathrm {c.t.}}\) has 2l space-time derivatives, dimensional analysis shows that these diagrams can contribute to the potential if s satisfies
The number of space-time derivatives in \(U_{l,\mathrm {c.t.}}\) is non-negative \(l\ge 0\) therefore \(s\le n\). The condition (A.9) can be viewed as a dual condition to (A.3). This can be seen by choosing r, s to be related by \(r+s=2n\), which is consistent with their range \(1\le s\le n\) and \(n\le r\le 2n-1\) (first interval). In other words, if s satisfies (A.9), then \(r=2n-s\) satisfies (A.3) and vice versa. The above condition (A.9) is always valid for \(s=1,n\) which gives \(l=k,0\). As before, intermediate values of l can occur if k and \(n-1\) are not coprime. In momentum space this diagram is given as
where one must sum such expressions for all possible values of l. The positive integers r, s are related to l through
It is clear that s can take values in \(\{1,\dots ,n\}\) and r can take values in \(\{n,\dots ,2n-1\}\). p is the total momentum running through the diagram and the quantity \(A^a_l(\tilde{p},p)\) is
We report here the values of this quantity for \(l=0,1\) which are the only ones used in this work. For \(l=0\) there is no a-dependence and so we drop the index
The result for \(l=1\) is
The expression (A.10) for \(l=0\), which corresponds to \(r=s=n\) is
while for \(l=1\) is it given by
in which
B Quadratic counter-terms of the form \(V^{(a)}Z^{(b)}\)
In this section we consider a general quadratic contribution with one V-coupling and one Z-coupling, i.e. a contribution of the form \(V^{(a)}Z^{(b)}\). The relevant diagram is with r number of propagators, which is left unspecified for the moment. The Z vertex can appear in three different ways depending on whether one, two or non of the fields in \((\partial \phi )^2\) is involved in the propagators. These are (Fig. 6)
Using this the evaluation of the diagram is
The quantity \(G^r_{xy}\) in the first two terms of the above expression is given in Eq. (A.1). The quantity \(G^{r-2}_{xy}(\partial _x G_{xy})^2\) can be calculated in a similar way by using (2.5) to write (\(G_x \equiv G_{x0}\))
and transforming this to momentum space
The useful coordinate space representation can now be obtained by replacing \(p^2\) with \(-\Box \) in the above expression.
C Quadratic counter-terms of the form \(Z^{(a)}Z^{(b)}\)
The melon diagram with two Z vertices gives the quadratic contribution in Z. The general diagram of this form with r propagators is Fig. 7
As seen in the previous section and demonstrated in the above diagram, the Z function appears in three ways in the vertex, so the expression for this diagram can be written as a sum of six terms
The indices x, y show the point at which the expressions inside the parentheses are evaluated at. Also, the spacetime indices in the propagators \(G_{xy}\) are omitted for simplicity, and (here and in what follows) the partial derivatives on the propagators are understood to be evaluated at the spacetime point x. Next we need to know the combination of the propagators and their derivatives that appear in the middle parts of each of the six terms in the above expression. The useful representation for these quantities can be found by moving to momentum space and then replacing \(p^2\) by \(-\Box \). In the first three lines all we need is \(G^r\) which is given in Eq. (A.1). In the fourth term we need to calculate three new quantities. Using (2.5) these can be written (dropping the spacetime index x in the propagators and partial derivatives) as
In momentum space these are respectively given as
Finally the combination of propagators in the last two terms is already reported in Eq. (B.4). The divergent parts of these quantities can be evaluated after fixing the number of propagators r which is done case by case in the examples considered throughout the text.
D Computational details for a sample triangle diagram
In this appendix we give the details of the computations for a sample triangle diagram in \(\Box ^2\) theory with \(n=3\). The ones cubic in the potential have already been discussed in Sect. 1. We therefore concentrate here on an example involving a Z coupling. Out of the four diagrams of this kind discussed in Sect. 5 let us choose the one corresponding to the divergence (5.14) which is slightly more involved than the others. As discussed in the text the Z function can appear in three different ways in a vertex. In the case of the example considered here these are
Here we distinguish the three diagrams with the Z vertex being any of the above. In the first case on the left there are two derivatives acting on the propagators emanating from the Z vertex in all possible ways. This can happen in two ways: either both derivatives act on the propagators connecting Z to \(V^{(4)}\) or one of the derivatives acts on the propagator connecting Z to \(V^{(2)}\). The diagrams representing these two cases are shown in Fig. 8
We have made explicit the factors accompanying each function and the number of field derivatives on them. Both of these diagrams appear with a coefficient
The minus sign comes from the three minus signs accompanying each function. The next three factors are those shown in the figure which, apart from the one half factor in Z, result from the Taylor expansion of these functions. The subsequent three factors show respectively the possible ways the lines emanating from \(V^{(2)}\), \(V^{(4)}\) and \(Z^{(2)}\) are distributed among the other two vertices. Finally the 3! is the number of ways the three propagators from \(Z^{(2)}\) and \(V^{(4)}\) are connected to each other. Putting aside the coefficient (D.2) the diagram on the left is given in coordinate space as
where the partial derivatives are taken at the space-time point x. To proceed further it is convenient to move to momentum space. Let us assume that \(p_1\), \(p_2\) and \(p_3\) are the three incoming momenta into the vertices \(Z^{(2)}\), \(V^{(2)}\) and \(V^{(4)}\) respectively. Then using (2.6) this diagram reduces to the following expression in momentum space
where p is the loop momentum integrated over and we have defined \(p_1=k_2-k_1\), \(p_2=k_3-k_2\) and \(p_3=k_1-k_3\). Expressing the numerator in the integrand in terms of complete squares this can be written as a sum of three terms
Using Feynman parameterization (F.3) and the shorthand definition of integrals over Feynman parameters given in (F.2), this can be rewritten as
where \(\vec a = (a,b,c)\) are the three Feynman parameters, \(P = p +ak_1+bk_2+ck_3\) is the shifted momentum and
Performing the momentum integral reduces this expression to
We will now evaluate each term in turn using the Mellin–Barnes representation and the notation introduced in Appendix 1 for the contour integrals in the complex plane. The first term is
which after integrating over the Feynman parameters a, b, c, using the general formula (F.4), becomes
In this expression the relevant poles in y, z that lead to a divergence in \(\epsilon \) are \((y,z)=(0,0)\), \((y,z)=(1,0)\) and \((y,z)=(0,1)\). It might be instructive to have a closer look at this integral and analyze it carefully. In order not to digress from the main steps we move this analysis to the next appendix. Picking these poles and extracting the \(\epsilon \) divergence gives
where the first term which is local comes from the first pole in y, z while the second term which is non-local results from the last two y, z poles. Let us now move to the second term in (D.8). In a similar way this term can be expressed in the Mellin–Barnes representation as
This time the only pole in y, z that leads to an \(\epsilon \) divergence is \((y,z)=(0,0)\) giving
Finally the third term is evaluated in a similar way
giving a divergence at the pole \((y,z)=(0,0)\)
Summing up all three contributions we finally get the UV divergence of the diagram on the left
We will now follow similar steps to evaluate the diagram on the right. In momentum space this is
where in the second line we have used Feynman parameterization and in the third line we have integrated over the momenta. This is then expressed in Mellin–Barnes representation in the fourth line and finally in the fifth line integrated over Feynman parameters. Just like the previous case the relevant poles in y, z are \((y,z)=(0,0)\), \((y,z)=(1,0)\) and \((y,z)=(0,1)\). The UV divergence is
Summing up the two contributions (D.16) and (D.18) from the diagrams in Fig. 8, multiplying by the coefficient (D.2), and moving to coordinate space we get
We are now left with two diagrams in one of which one of the derivatives at the Z vertex acts on the propagators, while in the other both derivatives are external (Fig. 9).
In the first case the Z vertex is the middle term in (D.1). This diagram has an overall factor
which is multiplied by the coordinate space expression
Using integration by parts this can be rewritten as
Next, we consider the diagram in which the Z vertex is the last term in (D.1). This term has an overall factor
to be multiplied by
In (D.22) and (D.24) the combination of propagators is the same and there are no derivatives on the propagators. Therefore we do not need a separate computation for each of these expressions. All we need to compute is a triangle diagram of which two of the edges include 1 propagator and the third edge includes 3 propagators and with no derivatives acting on the internal lines. Using (2.6) this is computed as follows
The only pole in y, z that gives rise to an \(\epsilon \) divergence is \((y,z)=(0,0)\). This divergence is
For the left diagram in Fig. 9 this has to be multiplied by (D.20) and the functions in (D.22). In coordinate space this gives
For the right diagram multiplying by the factor (D.23) and the functions in (D.24) and moving to coordinate space we get
Summing up the three contributions (D.19), (D.27) and (D.28) we obtain the final result in (5.14).
E A closer look at a sample Mellin–Barnes integral
Throughout the paper, we repeatedly encounter Mellin–Barnes integrals involving two contour integrations and extract their poles in \(\epsilon \). In this section we analyze carefully, as a nontrivial example, the contour integral of Eq. (D.10). Similar arguments can be used for other contour integrals discussed in this work. Dropping the overall coefficient in Eq. (D.10), which we are not interested in, we are left with the integral
The value of \(p_2\) is taken to be larger than \(p_1,p_3\), so that the contour can be closed at infinity in the right half plane. The integral therefore picks y, z poles lying in this region. These include \(y,z=0,1,\dots \) from the first two gamma functions on the left, as well as \(y,z=3\delta -1,3\delta ,3\delta +1,\dots \) which come from the last two gamma functions. Using the residue theorem to pick the contribution from all these poles we can write the integral as
In the first line we separate the summation in m, n into six parts given by the pairs below:
and in the third line we separate the sum into three terms \(m=0, 1, \ge 2\). The result is
The first and second lines are divergent while the third is finite. The remaining terms are also divergent but these divergences cancel among each other. In fact the fourth and eighth terms sum up to a finite term, the sum of the fifth and the ninth terms is finite, and the divergences of the sixth, seventh and tenth terms cancel out.
F Some notation and useful formulas
Here we collect some shorthand notation that we have used throughout the text along with some useful formulas. We have abbreviated the notation for integrals over spacetime coordinates, momentum space and integrals over contours in the complex plane. These are respectively given as
Also, we have written the integrals over Feynman parameters \(\vec a = (a_1,a_2,\dots )\) in a compact way as
We have used the Feynman parameterization formula
and the following formula regarding integration over Feynamn parameters
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Safari, M., Vacca, G.P. Uncovering novel phase structures in \(\Box ^k\) scalar theories with the renormalization group. Eur. Phys. J. C 78, 251 (2018). https://doi.org/10.1140/epjc/s10052-018-5721-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-5721-4