Abstract
We calculate the critical exponents \(\omega _\pm \) in the d-dimensional Gross–Neveu model in 1 / N expansion with \(1/N^2\) accuracy. These exponents are related to the slopes of the \(\beta \)-functions at the critical point in the Gross–Neveu–Yukawa model. They have been computed recently to four loops accuracy. We checked that our results are in complete agreement with the results of the perturbative calculations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Gross–Neveu (GN) model, originally introduced in [1] in 1974 as a toy model for a study of dynamical symmetry breaking, found its application in many areas of physics. The model describes a system of fermion fields with a quartic interaction. It is renormalizable in two dimensions, asymptotically free and, moreover, admits an exact solution [2]. Above two dimensions the N-component GN – model is renormalizable within the 1 / N expansion technique. It possesses a nontrivial Wilson–Fisher fixed point and gives an example of a conformal field theory (CFT) in d-dimensions. Basic critical indices of the GN model are available at \(1/N^2\) order [3,4,5,6,7] and the index \(\eta \) – the anomalous dimension of the fermion field – at \(1/N^3\) [8, 9]. These results were obtained by methods of the self-consistency equation and conformal bootstrap developed in [10,11,12]. A recent revival of interest to this model is due to a relevance of fermionic systems with quartic interactions to the description of the phase transition in graphene [13], which was suggested already in Ref. [14].
The UV completion of the GN model contains an additional scalar field with a quartic self-interaction and is known as the Gross–Neveu–Yukawa (GNY) model [15]. Moreover, the chiral extension of the GNY model – the Nambu–Jona–Lasinio (NJL) model – describes, for a low number of fermion flavors, a system with an emergent supersymmetry [16]. The recent calculation of the corresponding renormalization group (RG) functions with four-loop accuracy [17,18,19] confirms the emergence of supersymmetry at the critical point.
The four-loop calculations are quite involved and carried out with the help of computer algebra. The results available from 1 / N expansion provide an additional check for the perturbative calculations. The four loop RG functions obtained in [19] are in a perfect agreement with the results of 1 / N calculations [3,4,5,6,7,8,9]. In this paper we present \(1/N^2\) expressions for the other two indices – the so-called correction exponents that are related to the slopes of \(\beta \) functions at the critical point and were known only with 1 / N accuracy [20].
The 1 / N calculations are usually done with the help of the methods of the self-consistency equations or conformal bootstrap [10,11,12]. These methods are very effective for the calculation of the critical indices of the basic and auxiliary fields, but are not very suitable in the case of local operators. Therefore we use a different method developed in [21,22,23]. A detailed description of the method can be found in [23, 24] and an application to the GN model in [25].
The paper is organized as follows: In Sect. 2 we recall the formulation of the GNY model and show that the slopes of \(\beta \) functions at the critical point coincide with the critical dimensions of certain operators of dimension four. In Sect. 3 we review briefly the 1 / N expansion technique for the GN model and present the rules for calculating the anomalous dimensions of local operators. Section 4 contains the details of the calculation of the correction exponents at order \(1/N^2\). In Appendix A we collect expressions for relevant basic indices. Appendix B contains details of the calculation of the self-energy and vertex correction diagrams and in Appendix C we collect results for the individual diagrams.
2 Gross–Neveu–Yukawa model in \(d=4-2\varepsilon \) dimensions
The Lagrangian of the GNY model in \(d=4-2\varepsilon \) Euclidean space takes the form
where q is the N-component fermion field and \(\sigma \) is a scalar field. The model is multiplicatively renormalized [15]
Here M is the renormalization scale and \(Z_i\) are the renormalization constants. In MS-like schemes the renormalization factors \(Z_i\) are given by a series in \(1/\varepsilon \), \(Z_i=1+\sum _k z_{i}^k/\varepsilon ^k\).
The anomalous dimensions of the fields and the \(\beta \) functions are defined as usual
where \(Z_\sigma = Z_1^{1/2}\) and \(Z_q = Z_2^{1/2}\) and
The GNY model possesses non-trivial fixed points
One of this points is infrared stable, i.e. the eigenvalues of the matrix
are both positive. These eigenvalues, \(\omega _\pm \), are called correction indices. The indices \(\omega _\pm \) can be identified with the anomalous dimensions of certain composite operators that will be discussed in the rest of this section.
The partition function Z(J) defined by the path integral
where \(J=\{j,\eta ,\bar{\eta }\}\) and \(J\varPhi =j\sigma +\bar{\eta } q+\bar{q}\eta \), is finite in perturbation theory. Moreover, derivatives of (7) with respect to the renormalized couplings \(g_i\) are finite, too. Thus one concludes that
where the sum goes over some set of renormalized operators of the canonical dimension four with finite coefficients \(c_a\). By \(\partial \mathscr { B}\) we denote terms (not necessarily finite) which vanish after integration. Since
and similar for another derivative one concludes that
where we omitted terms with total derivatives.
Applying the operator (4) to both sides of Eq. (10) and taking into account that \(\mathscr {D}_M S_R=\mathscr {D}_M S_0=0\) one derives the RG equation for the operators \([\mathscr {O}_k]\)
where the anomalous dimension matrix \(\gamma \) has the following form
Using the known lowest order expression for the beta-functions (see e.g. Ref. [19]) one finds that at the Wilson-Fisher critical point the anomalous dimensions take the form
resulting in the following scaling dimensions for the operators \(\mathscr {O}_\pm \),
Diagonalizing the matrix \(\varDelta \) one constructs two operators whose scaling dimensions are given by the eigenvalues of \(\varDelta \). Scaling dimensions of operators are physical observables and do not depend on a regularization, expansion, subtraction scheme, etc. We use this property to calculate the anomalous dimension of the operators \([\mathscr {O}_\pm ]\) in 1 / N expansion.
3 Large N expansion for the GN model
The GNY model is critically equivalent to the d-dimensional N-component GN model, i.e. critical indices in both models coincide. In the GN model the indices can be calculated using the 1 / N expansion. Below we briefly review the method that we use for the calculation. A more extensive review of the 1 / N techniques including the self-consistency equations and conformal bootstrap can be found in the book [26].
Let us write the action of the GN model in the form suitable for generating the 1 / N expansion
Here \(q=\{q^i, i=1,\ldots ,N\}\) is the N-component fermion field and \(\sigma \) is an auxiliary scalar field which can be excluded by the equation of motion (EOM). At a certain (critical) value of the coupling, \(g=g_*\) the system undergoes a second order phase transition. At this point correlators of the basic and auxiliary fields \(q,\bar{q}, \sigma \) exhibit power law behaviour and, as it can be shown, the model enjoys scale and conformal invariance [5].
It can be shown that in the infrared region (IR) the dominant contribution to the propagator of the \(\sigma \)-field comes from the fermion loop [15]
Here , where the trace is taken in the space of d-dimensional spinors and the normalization factor is
For practical calculations it is convenient to use a simplified (massless) version of the GN model which is critically equivalent to (15). The action of the model is given by the following expression [21, 26]
The kernel L has the form
where \(D_q\) is the fermion propagator
The regularized kernel \(L_\varDelta \) is
The first two terms in (18) can be viewed as the free part of the action, \(S_0\), and the remaining ones – as an interaction. The last term in (18) cancels diagrams with insertions of simple fermion loops in the \(\sigma \)-lines. As a consequence, in the leading order the propagator of the \(\sigma \) field is given by the inverse kernel \(L_\varDelta \). It this work we fix the constant \(C(\varDelta )\), which is arbitrary save the condition \(C(0)=1\), by the requirement for the propagator \(D_\sigma \) to have the following form
The parameter \(\varDelta \) should be considered as a regularization parameter. The divergences in the correlators appear as poles in \(\varDelta \) and are removed by adding the counterterms to the action (18). The renormalized action takes the form
Though the model is renormalizable, the renormalization is not multiplicative, i.e. \(S'_R(q,\sigma ) \ne S'(q_0,\sigma _0)\). Due to the non-multiplicative character of the renormalization the anomalous dimensions of the fields and operators cannot be, in general, determined via the corresponding renormalization factors. However, as it was shown in [23] this problem appears starting from \(1/n^3\) order only. Up to the order \(1/n^2\) the anomalous dimension of the operators can be obtained via the renormalization factors as follows. First, one has to modify the \(\sigma \)-propagator by multiplying it by some parameter u, \(D_\sigma \mapsto u D_\sigma \) and determine the renormalization factors calculating the corresponding diagrams with the modified propagator. Let \(\mathscr {O}_i\) be a system of operators mixing under renormalization,
where \(\varPhi =\{q,\bar{q}, \sigma \}\), and \(\mathscr {O}^B_i\) are bare operators. Up to the order \(1/n^2\) the anomalous dimensions for the operators can be obtained as follows [23]
We use this formula for the calculation of the anomalous dimensions of the operators in question.
4 Correction exponents at \(1/n^2\)
In the perturbative expansion the correction exponents to the scaling are related to the scaling dimensions of the operators \(\sigma ^4\) and \(\sigma \bar{q} q\). The scaling dimensions of these operators are \(\varDelta _a=4+O(1/n)\). Let us first identify the corresponding operators in the 1 / n expansion. There exist three scalar operators of dimension four,
The last one is a total derivative and can be neglected. Note here that the operator \(\sigma \bar{q} q\) in the 1 / n expansion has the dimension \(4-2\varepsilon +O(1/n)\). Therefore it does not mix with the above operators and has no relation to the correction exponents.Footnote 1 Thus we need to find the anomalous dimension matrix for the operators \(\mathscr {O}_+=\sigma ^4\) and \(\mathscr {O}_-={\sigma \partial ^2\sigma }\).
It is easy to see that the diagonal entries \(\gamma _{11}\), \(\gamma _{22}\) and \(\gamma _{12}\) of the anomalous dimension matrix are of order 1 / n. At the same time the anomalous dimension \(\gamma _{21}\) is of order \(1/n^3\). It happens because the only diagram which contributes to this matrix element at order \(1/n^2\), \(\sigma ^3\mapsto \sigma \partial ^2\sigma \), see Fig. 1, does not diverge. It can be checked by an explicit calculation. Also, the finiteness of this diagram is guaranteed by the conformal symmetry. The arguments are exactly the same as in the case of \(\sigma ^2\mapsto \partial ^2\sigma \) transition in the nonlinear \(\sigma \) model. An interested reader can find detailed discussions in Refs. [24, 27]. Thus at the order \(1/n^2\) one can neglect mixing and calculate only the diagonal matrix elements.
We will use either upper or lower index for the coefficients of the 1 / n expansion
trying to keep notations close to generally accepted. For the reader’s convenience we collect \(1/n^2\) expressions for the basic indices (\(\eta =2\gamma _q\), \(\gamma _\sigma =-\eta -\kappa \) and \(\lambda =(d-\varDelta [\sigma ^2])/2\)) in Appendix A.
4.1 Operator \(\sigma ^\ell \)
Here we present our result for the anomalous dimension of the operator \(\sigma ^\ell \). The mixing affects the anomalous dimension of this operator only starting from \(1/n^3\). Analyzing the contributing diagrams it is easy to notice that the anomalous dimension for the operator \(\sigma ^\ell \) can be written in the form
where \(C^\ell _k\) are the binomial coefficients. The anomalous dimension \(\gamma _\sigma \) and \(\gamma _{\sigma ^2}\) are known with \(1/n^2\) accuracy [3,4,5,6], see Appendix A. The last contribution starts from \(1/n^2\). The diagrams contributing to \(\varDelta \gamma _{\sigma ^3}\) are shown in Fig. 2. Their calculation is rather straightforward so we will not dwell on it. We obtained the following expression for \(\varDelta \gamma _{\sigma ^3}\)
Here \(\psi (x)\) is the Euler \(\psi \) function and an explicit expression for the index \(\eta _1=-B(\mu )/2\mu \) can be found in Appendix A. Thus for the correction index \(\omega _+\) we find
The explicit expression for the \(1/n^2\) correction, \(\omega _+^{(2)}\), is rather lengthy and will not be given here. Instead we present an expansion of the index \(\omega _+\) around \(\mu =2-\varepsilon \) up to \(\varepsilon ^4\) terms
in complete agreement with the results of the four–loop calculation [19].
4.2 Operator \(\sigma \partial ^2\sigma \)
In this section we discuss diagrams contributing to the anomalous dimension of the operator \(\mathscr {O}_-= \sigma \partial ^2\sigma \) which, as usual, can be split in two parts
In the leading order in 1 / n only the two diagrams shown in Fig. 3 contribute to \(\widehat{\gamma }\).
The first diagram has the symmetry coefficient \(C_{\text {sym}}=2\). The calculation of both diagrams is rather straightforward and leads to the following expression
where we introduced the notation \(\alpha \equiv \mu -1\). Taking into account that \(\gamma _\sigma ^{(1)}=-\eta _1(1+\mu /\alpha )\) one obtains for \(\gamma _-\)
that agrees with the result of [20] derived with the help of the self-consistency equations approach.
At the order \(1/n^2\) there are in total 23 different diagrams to be calculated. Namely,
-
4 operator vertex correction diagrams, Fig. 4.
-
12 self-energy insertion and vertex correction diagrams.
-
3 single box diagrams, Fig. 5.
-
4 double box diagrams, Fig. 6.
Before presenting our final answer for \(\widehat{\gamma }\) we briefly discuss the calculation of the diagrams.
-
In order to calculate the operator correction diagrams it is sufficient to calculate the 1 / n order diagrams up to finite, \(O(\varDelta ^0)\), terms. For the sum of the two diagrams we obtainedFootnote 2 \(\mathbb D (\varDelta )= u^2 D(\varDelta )/\varDelta \), where
$$\begin{aligned} D(\varDelta )&=-\frac{\widehat{\gamma }_1}{4} \Bigg \{ 1-\varDelta \Bigg [2B_3 -\frac{3\mu (\mu -1)(\mu -2)}{(2\mu -1)(2\mu -3)} C_1\nonumber \\&\quad + \frac{\mu ^5-9\mu ^4+21\mu ^3-9\mu ^2-6\mu +4}{(2\mu -1)\mu (\mu -1)(\mu -2)} \Bigg ] \Bigg \}, \end{aligned}$$(34)where we accepted the notations of [26]
$$\begin{aligned} B(x) =\psi (x)+\psi (x'), \quad C_x=\psi '(x)-\psi '(x'), \end{aligned}$$(35)\( B_k=B(k-\mu )-B(1)\) and \(x'\equiv \mu -x\).
The answer for the operator correction diagrams (\(D_\text {OC}) \) reads
$$\begin{aligned} KR'(D_\text {OC})&= u^4\left( \frac{D(\varDelta )}{\varDelta }\frac{ D(2\varDelta )}{2\varDelta }- \frac{D(0)D(\varDelta )}{\varDelta ^2}\right) \nonumber \\&=\frac{1}{2} u^4 D^2(0)\left( -\frac{1}{\varDelta ^2}+\frac{1}{\varDelta } \frac{D'(0)}{D(0)}\right) . \end{aligned}$$(36) -
Instead of calculating separately each diagram of the second group, that is not quite simple, we use the result of [23] where it was shown that the contribution of all such diagrams to the anomalous dimension can be extracted from the 1 / n order diagrams with dressed propagators and vertices. We discuss details of the calculation in Appendix B.
-
The single box diagrams shown in Fig. 5 as well as double box diagrams, Fig. 6, have only a superficial divergence.
After integration over the operator insertion coordinate one gets a propagator type diagram,
$$\begin{aligned} D_k(x)= A_k(\varDelta )/x^{2(\mu +1-3\varDelta )}. \end{aligned}$$(37)The \(\varDelta \) pole arises after the Fourier transform. For the anomalous dimension it is sufficient to know \(A_k(\varDelta )\) at \(\varDelta =0\). Since in coordinate space the diagram is finite at \(\varDelta \mapsto 0\), one can put \(\varDelta =0\) from the beginning. It greatly simplifies calculations since one can use the star-triangle relation for the basic \(\sigma \bar{q} q\) vertex, shown in Fig. 7. Next, multiplication by \(x^2\) makes the diagrams logarithmically divergent, i.e. the residue of the \(\varDelta \) pole does not depend on the external momenta. Thus one can use the freedom to change the momentum flow through a diagram to facilitate calculations [28]. For example, to calculate the second diagram in Fig. 5 it is convenient to choose the momentum flow (after a multiplication by \(x^2\)) through the vertices connected to the crossed circle (operator insertion) and use the star-triangle relation for the upper \(\sigma \bar{q} q\) vertex. After this transformation the diagram is calculated by consecutive application of chain integration rules.
-
The calculation of the first three double box diagrams which follows the same pattern is more involved and one has to use many tricks like the integration by part [29], the tetrahedron transformation [30], etc. A review of the relevant multiloop calculation techniques can be found in [26].
In principle the last double box diagram could be calculated in the same way. However it is more convenient to apply an inversion transformation first, simplify the numerators and use the star-triangle relation for the bosonic triangle. As the result one gets a sum of three- and two-loop diagrams whose calculation is more or less straightforward.
Finally, collecting contributions from all diagrams (see Appendix C) we obtain for \(\widehat{\gamma }_2\)
Thus for the second correction exponent we get
Substituting the expressions for \(\gamma _\sigma \) and \(\widehat{\gamma }\) and expanding around \(\mu =2-\varepsilon \) up to \(\varepsilon ^4\) terms one obtains
that agrees with the results of [19].
5 Summary
We have calculated the correction exponents \(\omega _\pm \) in the GN model with \(1/n^2\) accuracy. These exponents are related to the slopes of the beta functions in the critical GNY model. Our results are in complete agreement with the expressions for the perturbative four loop beta functions in the GNY model obtained recently in [19]. For the calculation we used the method developed in [21,22,23]. This method allows one to use the standard RG technique and, at the same time, to resum effectively a certain subset of diagrams reducing the total number of diagrams to be calculated. Values for each individual diagram are presented in Appendix C and will be useful for calculations of the corresponding exponents in the chiral versions of the GN model.
Notes
The universality hypothesis states that theories in the same universality class possess the same spectrum of scaling dimensions, but the corresponding operators can have different implementation.
We do not display factors like \(t^\varDelta =e^{-\varDelta \psi (1)+\ldots }\) which drop out from the final answer.
The expressions for dressed propagators given in the Appendix of Ref. [25] correspond to a different normalization condition for the propagator of the \(\sigma \) field, and the expression for the fermion propagator contains a typo.
The diagrams have to satisfy the condition \(N_V=N_q=2N_\sigma \), where \(N_V\) is the number of the \(\sigma \bar{q} q\) vertices, \(N_a\) and \(N_\sigma \) are the numbers of fermion and \(\sigma \)-propagators, respectively.
References
D.J. Gross, A. Neveu, Phys. Rev. D 10, 3235 (1974)
A.B. Zamolodchikov, A.B. Zamolodchikov, Ann. Phys. 120, 253 (1979)
J.A. Gracey, Int. J. Mod. Phys. A 6, 395 (1991). Erratum: [Int. J. Mod. Phys. A 6, 2755 (1991)]
J.A. Gracey, Phys. Lett. B 297, 293 (1992)
S.E. Derkachov, N.A. Kivel, A.S. Stepanenko, A.N. Vasiliev, On calculation in 1/n expansions of critical exponents in the Gross–Neveu model with the conformal technique. arXiv:hep-th/9302034
A.N. Vasiliev, A.S. Stepanenko, Theor. Math. Phys. 97, 1349 (1993). [Teor. Mat. Fiz. 97, 364 (1993)]
J.A. Gracey, Int. J. Mod. Phys. A 9, 567 (1994). arXiv:hep-th/9306106
A.N. Vasiliev, S.E. Derkachov, N.A. Kivel, A.S. Stepanenko, Theor. Math. Phys. 94, 127 (1993). [Teor. Mat. Fiz. 94, 179 (1993)]
J.A. Gracey, Int. J. Mod. Phys. A 9, 727 (1994). arXiv:hep-th/9306107
A.N. Vasiliev, Y.M. Pismak, Y.R. Khonkonen, Theor. Math. Phys. 46, 104 (1981). [Teor. Mat. Fiz. 46, 157 (1981)]
A.N. Vasiliev, Y.M. Pismak, Y.R. Khonkonen, Theor. Math. Phys. 47, 465 (1981). [Teor. Mat. Fiz. 47, 291 (1981)]
A.N. Vasiliev, Y.M. Pismak, Y.R. Khonkonen, Theor. Math. Phys. 50, 127 (1982). [Teor. Mat. Fiz. 50, 195 (1982)]
L. Janssen, I.F. Herbut, Phys. Rev. B 89, 205403 (2014). arXiv:1402.6277 [cond-mat.str-el]
I.F. Herbut, Phys. Rev. Lett. 97, 146401 (2006). arXiv:cond-mat/0606195
J. Zinn-Justin, Nucl. Phys. B 367, 105 (1991)
L. Fei, S. Giombi, I.R. Klebanov, G. Tarnopolsky, PTEP 2016(12), 12C105 (2016). arXiv:1607.05316 [hep-th]
L. Karkkainen, R. Lacaze, P. Lacock, B. Petersson, Nucl. Phys. B 415, 781 (1994). Erratum: [Nucl. Phys. B 438, 650 (1995)]. arXiv:hep-lat/9310020
L.N. Mihaila, N. Zerf, B. Ihrig, I.F. Herbut, M.M. Scherer, Phys. Rev. B 96(16), 165133 (2017). arXiv:1703.08801 [cond-mat.str-el]
N. Zerf, L.N. Mihaila, P. Marquard, I.F. Herbut, M.M. Scherer, Phys. Rev. D 96(9), 096010 (2017). arXiv:1709.05057 [hep-th]
J.A. Gracey, Phys. Rev. D 96(6), 065015 (2017). arXiv:1707.05275 [hep-th]
A.N. Vasiliev, M.Y. Nalimov, Theor. Math. Phys. 55, 423 (1983). [Teor. Mat. Fiz. 55, 163 (1983)]
A.N. Vasiliev, A.S. Stepanenko, Theor. Math. Phys. 94, 471 (1993). [Teor. Mat. Fiz. 95, 160 (1993)]
S.E. Derkachov, A.N. Manashov, Nucl. Phys. B 522, 301 (1998). arXiv:hep-th/9710015
S.E. Derkachov, A.N. Manashov, Theor. Math. Phys. 116, 1034 (1998). [Teor. Mat. Fiz. 116, 379 (1998)]
A.N. Manashov, E.D. Skvortsov, JHEP 1701, 132 (2017). arXiv:1610.06938 [hep-th]
A.N. Vasilev, The field theoretic renormalization group in critical behavior theory and stochastic dynamics (Chapman & Hall/CRC, Boca Raton, 2004), p. 681
S.E. Derkachov, A.N. Manashov, Phys. Rev. Lett. 79, 1423 (1997). arXiv:hep-th/9705020
A.A. Vladimirov, Theor. Math. Phys. 43, 417 (1980). [Teor. Mat. Fiz. 43, 210 (1980)]
K.G. Chetyrkin, F.V. Tkachov, Nucl. Phys. B 192, 159 (1981)
S.G. Gorishnii, A.P. Isaev, Theor. Math. Phys. 62, 232 (1985). [Teor. Mat. Fiz. 62, 345 (1985)]
A.N. Manashov, E.D. Skvortsov, M. Strohmaier, JHEP 1708, 106 (2017). arXiv:1706.09256 [hep-th]
Acknowledgements
This work was supported by Deutsche Forschungsgemeinschaft (DFG) with the Grants MO 1801/1-2 (A.M.) and SFB/TRR 55 (M.S.)
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: \(1/n^2\) indices
In this appendix we collected the results for the basic indices \(\eta \), \(\kappa =2\chi \) and \(\lambda \) related to the anomalous dimensions of the fields q, \(\sigma \) and the composite operator \(\sigma ^2\)
that can be found either in the original papers [3,4,5,6,7] or in the book [26]. The leading order coefficients read
and the \(1/n^2\) coefficients take the form
We remind here that \(\alpha =\mu -1\), \(\eta = \sum _i \eta _i/n^i\), etc.
Appendix B: SE and vertex correction diagrams
It was shown in [23] that the contribution to an anomalous dimension coming from diagrams with self-energy insertions and vertex corrections to a LO diagram can be obtained by evaluation the LO diagram with dressed propagators and vertices. The dressed propagators have the formFootnote 3
where
and up to \(O(1/n^2)\) terms
The dressed vertex is shown in Fig. 8.
Its form is fixed by the conformal invariance
where
\(\chi =\kappa /2\) is defined in (A.1) and for the factor \(\widehat{Z}\) we derived
In order to obtain the contribution to an anomalous dimension from 1 / n diagrams,Footnote 4 see Fig. 3, with all possible SE insertions and vertex corrections (SEV) one has to replace all propagators and vertices in the 1 / n diagrams by the dressed ones and introduce a regulator \(\varDelta \) in one of the lines, e.g. to shift the index of the fermion propagator, \(\varDelta _q \rightarrow \varDelta _q-\varDelta \). The corresponding diagrams have only a superficial divergence. Then the contribution to the anomalous dimension reads [23]
where \(r_i\) is the residue at the \(\varDelta \) pole of the dressed diagram, \(D_i(\varDelta )=r_i/\varDelta +O(\varDelta ^0)\) and the sum goes over all such diagrams (in the case under consideration \(i=1,2\)). Proceeding in this way one reduces the number diagrams to be calculated. Moreover, individual vertex correction diagrams appear to be more complicated: all of them have a divergent subgraph. The presence of the regulator \(\varDelta \) breaks the uniqueness condition for the basic scalar-fermion vertices that rather complicates a calculation. On contrary, all vertices in a dressed diagram obey the uniqueness condition and a diagram can be transformed with the help of the star-triangle relation. In order to further simplify the calculation one can dress only part of the propagators and vertices. Indeed, the residues \(r_i\) depend on two parameters, \(\eta \) and \(\chi \), which we will, for a while, consider as independent parameters. Since \(r_i\) is needed up to \(1/n^2\) terms one can write
where \(r_\eta =\partial _\eta r\), etc. It means that up to \(1/n^2\) terms the calculation of the diagram \(D(\eta ,\chi )\) is equivalent to the calculation of two simpler diagrams: \(D(\eta ,\chi =0)\) and \(D(\eta =0,\chi )\). Note, that the parameter \(\chi \) plays the role of a regulator in the vertex V. It can be checked that in the limit \(\chi \mapsto 0\) the vertex reduces to the point-like basic vertex with unit coefficient. Thus the diagram \(D(\chi =0,\eta )\) coincides with the 1 / n diagram with modified propagators and point-like vertices.
Moreover, taking into account that contributions from dressed vertices and propagators to an anomalous dimension are additive (at the order \(1/n^2\)) one can, in order to simplify a calculation, modify only part of the vertices and propagators. A more general discussion of this technique can be found in [31] while here we illustrate it on the example of the calculation of the right diagram in Fig. 3.
The corresponding dressed diagram is shown on the l.h.s in Fig. 9 – the fat lines stand for the dressed propagators and the grey triangles for the dressed vertices. One needs to find the corresponding residue, \(r(\chi ,\eta )\). Since we restrict ourselves to the \(1/n^2\) accuracy the corresponding result can be extracted from another three diagrams, see Fig. 9. Namely,
The last diagram which is \(D(0,\eta )\) depends only on \(\eta \). The sum of the previous two diagrams gives \(D(\chi ,0)+D(0,0)\) up to \(O(1/n^3)\) terms. The white triangles stand for the dressed vertex \(V|_{\eta =0}\) and lines without indices – for the bare propagators.
Let us start the analysis from the last diagram, which we denote by \(D_3(a,b)\). Since the indices \(a=\mu -1+\eta /2\), \(b=1-\eta \) obey the uniqueness condition \(2a+b=2\mu -1\) the diagram can be easily calculated. For the corresponding residue we get
where
and
with \(x'\equiv \mu -x\).
With the help of the star-triangle relation the second (four-loop) diagram can be transformed (up to a prefactor) into the diagram \(D_3(a_\chi ,b_\chi )\), where \(a_\chi =\alpha +\chi \) and \(b_\chi =1-2\chi \), that gives for the residue \(r_2\)
where \(H(\chi )=a^2(1-\chi )a(2\mu -3+2\chi )\) and
The calculation of the first diagram follows the same lines. Using the star-triangle relation one can show that
It results in the following expression for \(r_1\)
where the factor \(E(\chi )={D_3(\alpha ,1+\chi )}/{D_3(\alpha ,1)}+O(1/n^2)\) has the form
The calculation of the first diagram in Fig. 3 is much simpler. The final answer for both diagrams with self-energy insertions and vertex corrections are given in Appendix C.
Appendix C: Results for individual diagrams
In this appendix we collect the expressions for all Feynman diagrams needed for our analysis. We give the divergent part of each diagram after subtraction of subdivergences, symmetry factors being already included.
For the diagrams in Fig. 2 we obtain
The diagrams in Fig. 4 give the following contributions
For the single box diagrams we obtain:
Finally, our results for double box diagrams (Fig. 6) are
Here \(\mathscr {B}=B_3^2-C_{3-\mu }\).
The contribution to the anomalous dimension from a diagram \(\mathscr {D}_a\) reads
where \(\mathscr {D}_a^{(1)}\) is the simple pole residue, \(\mathscr {D}_a=\mathscr {D}_a^{(1)}/\varDelta +\cdots \).
Finally we give the contributions to the anomalous dimensions from the self-energy and vertex correction diagrams
where \(\gamma _{\text {SEV}_1}\), \(\gamma _{\text {SEV}_2}\) correspond to the left and right diagrams in Fig. 3, respectively.
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
Manashov, A.N., Strohmaier, M. Correction exponents in the Gross–Neveu–Yukawa model at \(1/N^2\). Eur. Phys. J. C 78, 454 (2018). https://doi.org/10.1140/epjc/s10052-018-5902-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-5902-1