Abstract
Leading-twist operators have a remarkable property that their divergence vanishes in a free theory. Recently it was suggested that this property can be used for an alternative technique to calculate anomalous dimensions of leading-twist operators and allows one to gain one order in perturbation theory so that, i.e., two-loop anomalous dimensions can be calculated from one-loop Feynman diagrams, etc. In this work we study the feasibility of this program by a toy-model example of the \(\varphi ^3\) theory in six dimensions. Our conclusion is that this approach is valid, although it does not seem to present considerable technical simplifications as compared to the standard technique. It does provide one, however, with a very nontrivial check of the calculation as the structure of the contributions is very different.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Calculation of anomalous dimensions of composite operators belongs to the standard tasks of any quantum field theory calculation. For example, in quantum chromodynamics, anomalous dimensions of leading-twist-two operators govern the scaling behavior of quark and gluon distributions in hadrons and have to be known with high precision. Nowadays the anomalous dimensions are known at three loops; see Refs. [1–3] and references therein. Beyond the two-loop approximation such calculations are feasible only with the help of the advanced methods of computer algebra. Since the calculations are fully automated, finding errors becomes highly nontrivial task and any approach which can provide a check of the final results is very helpful.
Given that the theory depends not only on the coupling constant but also some other parameters such as the dimension of an internal symmetry group, one can organize an expansion over these parameters. The best known example of this kind is the 1 / N expansion; see Ref. [4] for a review. Agreement between the results obtained in the perturbative and 1 / N expansions serves as a powerful test for the validity of calculations. However, the calculations in the 1 / N expansion are much harder than perturbative calculations: only two RG functions—indices of the basic fields in the nonlinear \(\sigma \)-model and Gross–Neveu model—are available at \(1/N^3\) order [5–7]. In QCD the calculations rarely go beyond the leading order in \(1/N_\mathrm{f}\) (where \(N_\mathrm{f}\) is the number of flavors). At leading order in \(1/N_\mathrm{f}\) the anomalous dimensions of twist-two operators were calculated in Refs. [8, 9], but an extension of these results to the next order is hardly possible.
A new approach for calculating the anomalous dimensions of leading-twist operators was proposed in Refs. [10, 11]. It is still a perturbative approach, however, the contributing diagrams are completely different from those in the standard technique. The approach is based on a remarkable property of leading-twist operators: namely, a divergence of such an operator, \(\mathcal {O}_{\mu _1,\ldots \mu _j}\), vanishes in a free theory [12]
In the interacting theory the r.h.s. of Eq. (1) is non-zero but proportional to the coupling constant. This identity allows one to extract the \(\ell \)-loop contribution to the anomalous dimension of the operator \(\mathcal {O}_{\mu _1,\ldots \mu _j}\) from \(\ell -1\) loop diagrams only. In particular, the one-loop anomalous dimensions of leading-twist operators do not require calculation of loop integrals at all [11, 13].
The method developed in Ref. [11] is adjusted to local operators and relies heavily upon the so-called “conformal scheme” renormalization [14–16]. In our opinion it is more convenient to stay within the standard \(\overline{\text {MS}}\) scheme and the formalism of non-local (light-ray) operators technique. This technique proves to be more effective and flexible as we will demonstrate on the example of calculation of two-loop anomalous dimensions in the su(n) symmetric \(\varphi ^3\) model [17].
The paper is organized as follows. In Sect. 2 we introduce the model and fix notations. In Sect. 3 we recall the light-ray operator technique. Section 4 is devoted to the calculation of the divergence of the conformal operator. The details of the calculation of two-loop correlators are presented in Sect. 5. Our conclusions are in Sect. 7. In the appendices we explain some technical issues and details of the derivation.
2 Generalities
The su(n) symmetric \(\varphi ^3\) model is a scalar field theory in \(d=6-2\epsilon \equiv 2\mu \) dimensions with an action
where \(a=1,\ldots , n^{2}-1\),
\(t^{a}\) are the generators of the su(n) algebra normalized in the conventional way, \({{\mathrm{tr}}}t^a t^b =1/2\). The theory is multiplicatively renormalizable,
where
Two-loop expressions for the renormalization constants \(Z_1=Z_\varphi ^2\) and \(Z_3= Z_g Z_\varphi ^3\) can be found in Refs. [17, 18]. The \(\beta \)-function of the charge \(u=g^2/(4\pi )^3\) and the field anomalous dimension \(\gamma _\varphi \) are
At the critical point \(u_*, \beta (u_*)=0\),
the theory enjoys the scale and conformal invariance.
It is well known that in a conformal theory the form of the two-point correlation function of conformal operators is fixed up to normalization. In particular, the correlator of the conformal traceless symmetric operators has the form
Here \(j (j')\) is the spin of the operator. The vectors n and \(\bar{n}\) are two light-like vectors, \(n^2=\bar{n}^2=0,\) and \(\mathcal {O}^{(n)}_j(x)~(\mathcal {O}^{(\bar{n})}_{j'}(y))\) is a contraction of an operator with the vector \(n~(\bar{n})\), for instance,
\(\Delta _j\) and \(\Delta _{j'}\) are the scaling dimensions of the operators, \(C_j\) is a normalization constant and
The scaling dimension of the operator is given by the sum of canonical and anomalous dimensions at a critical point, \(\Delta _j=\Delta _j^{(0)}+\gamma _j\), where \(\gamma _j\equiv \gamma _j(u_*)\). For the leading-twist operators of spin j, \(\Delta _j^{(0)}=2\mu -2+j\).
The anomalous dimension of an operator in MS scheme, \(\gamma _j(u)\), is a function of a coupling constant only. It can be restored from its critical value, \(\gamma _j=\gamma _j(u_*)\), provided that the latter is known as a function of \(\epsilon \).
The correlation function for the divergence of the conformal operator
can be obtained from Eq. (7). If x is chosen in the transverse plane, \((xn)=(x\bar{n})=0\), the ratio of the two correlation functions
is a function of the anomalous dimension \(\gamma _j\) only,
This ratio, in full agreement with the result of Ref. [12], vanishes provided that \(\gamma _j=0\).
The perturbation series for \(\gamma _j\) and \(\mathcal {T}_j\)
are related to each other. For later convenience we choose the normalization factor \(\varkappa _j\) as follows:
Substituting the series (13) into Eq. (12) one finds the following relations between the expansion coefficients:
and so on. Here \(\epsilon ^{(1)}=(n^2-20)/4n\).
Since the divergence of the conformal operator is proportional to the coupling constant, \(\partial \mathcal {O}_j^{(n)}\sim O(g)\), the ratio \(\mathcal {T}_j\) contains a “kinematical” factor \(u\sim g^2\). Thus, in order to determine \(\mathcal {T}_j\) and, hence, the anomalous dimension \(\gamma _j\), with \(O(u^\ell )\) accuracy the corresponding correlation functions have to be calculated at one order in u less. In Ref. [11] one-loop anomalous dimensions were reproduced by this method in \(\varphi ^3\) and \(N=4\) SUSY models. Going beyond the leading order requires an effective technique for the calculation of the two-point correlation functions; otherwise one gains nothing in comparison with the standard approach.
3 Light-ray vs. local operators
The first task is to find a convenient description for local operators. As we will argue, the light-ray operator technique [19] is a more suitable one. The light-ray operatorFootnote 1
is defined as the generating function for the renormalized local operators
Here \([\mathcal {O}_{km}]\) is the renormalized (in MS scheme) local monomial \(\mathcal {O}_{km}= \partial _+^k\varphi ^a(x)\partial _+^m\varphi ^a(x)/{k!m!}\) and \(\partial _+ =(n \partial _x)\). The sum in Eq. (17) can be replaced by the action of some integral operator on the bare operator
Here we introduced the shorthand notation \(z=\{z_1,z_2\}\). The integral operator Z can be written in the form [18]
where \(z_{12}^\alpha =\bar{\alpha }z_1+\alpha z_2\) and \(\bar{\alpha }=1-\alpha \). The renormalization kernel \(Z(\alpha ,\beta )\) is given by a series in \(1/\epsilon \) and the coupling u. The light-ray operator (17) satisfies the RG equation
where the evolution kernel \(\mathbb {H}\) is an integral operator,
which encodes all information on the anomalous dimension matrices for local operators.
At the critical point \(u=u_*\) local operators can be classified according to the representations of the conformal group. An operator with the lowest scaling dimension in the representation is called a conformal operator. The leading-twist operator,Footnote 2 \(\mathcal {O}_j\), is uniquely determined by its scaling dimension \(\Delta _j\). The expansion of the light-ray operator (17) over conformal operators and their descendants reads [18]
where the coefficients \(\Psi _{jk}(z_1,z_2)\) are homogeneous polynomials of degree \(j+k\) in \(z_1,z_2\). These polynomials are eigenfunctions of the evolution kernel \(\mathbb {H}(u_*)\),
with the corresponding eigenvalues being the anomalous dimensions, \(\gamma _j=\gamma _j(u_*)\). Since the theory enjoys conformal invariance at the critical point \(u=u_*\), the evolution kernel commutes with three generators of the collinear subgroup of conformal group,Footnote 3
The generators, however, deviate from their canonical form (see Appendix A),
due to quantum corrections,
Two of the generators are known to all orders,
while corrections to the generator of special conformal transformations can be calculated order by order in perturbation theory [18]. The leading correction is
It follows from Eqs. (23) and (24) that the operators \(S_\pm \) act as raising (lowering) operators on the set of eigenfunctions \(\Psi _{jk}\),
In turn \(S_0\) counts conformal spin of the operator \(\mathcal {O}_{jk}\),
where \(\Delta _{jk}=\Delta _j+k\) and \(S_{jk}\) are the scaling dimension and spin of the operator, respectively. One derives immediately from (29) that the polynomial \(\Psi _{jk=0}\) accompanying the conformal operator \(\mathcal {O}_j\) in the expansion (22) is a simple power, \(\Psi _{jk=0}(z_1,z_2)\sim (z_1-z_2)^j\) and all other eigenfunctions have the form \(\Psi _{jk}(z_1,z_2)\sim S_+^k (z_1-z_2)^j\).
3.1 Scalar product
Equation (23) can be considered as a standard quantum mechanical problem for the Hamiltonian \(\mathbb {H}\). In order to make this analogy complete one needs to introduce a scalar product on the space of the eigenfunctions. Clearly, such a scalar product has to be adjusted to the symmetries of the problem. At leading order the answer is given by the standard sl(2) invariant scalar product [20, 21]
The integration goes over the unit disks \(|z_{k}|<1, k=1,2\). The generator \(S_0^{(0)}\) is a self-adjoint operator with respect to this scalar product and \((S_+^{(0)})^\dagger =-S_-^{(0)}\). We want to find a deformation of the scalar product (31) that keeps these relations for the complete generators, \(S_0=S_0^\dagger \) and \( S_+^\dagger =-S_-\). Let us look for the solution in the form
where \(\varpi ^{(1)}\) is a self-adjoint operator with respect to the scalar product (31). The conjugation conditions for the generators imply
The one-loop corrections to the generators involve the kernel \(\mathcal {H}^{(1)}(\mathbb {H}(u)=\sum _k u^k\mathcal { H}^{(k)})\), which is given by the following expression:
Here \(\lambda _s\) is a color factor, \(\lambda _s=(n^2-4)/n\) and
The explicit expression for \(\varpi ^{(1)}\) and details of the derivation can be found in Appendix B.Footnote 4
Since the eigenfunctions \(\Psi _{jk}\) are mutually orthogonal w.r.t. the scalar product (32), one can represent the conformal operator as the scalar product of the coefficient function with the light-ray operator
This representation for the conformal operator is the most convenient one for further analysis. We demonstrate it on the following example. The conformal operator is usually defined as an operator which vanishes under special conformal transformations, \(K_{\bar{n}}=K\cdot \bar{n}, \delta _{K_{\bar{n}}}\mathcal {O}_j(0)=0\). This property becomes transparent in the representation (36) if one takes into account that
(we put here \([\mathcal {O}(z)]=[\mathcal {O}(x=0;z)]\)) and uses the fact that the generators \(S_+\) and \(S_-\) are conjugate to each other w.r.t. the scalar product (32), \(S_+^\dagger =-S_-\).
4 Divergence of conformal operator
In order to construct the divergence of the conformal operator \(\partial \mathcal {O}_j^{(n)}\), Eq. (10), we calculate first the divergence of the light-ray operator (18)
Taking the n-derivative one cannot, however, keep \(n^2=0\) any longer and has to take into account terms linear in \(n^2\) which account for the trace subtraction in \([\mathcal {O}(x;z)]\). Taking the corresponding modification into account, see e.g. Refs. [11, 19, 22], one gets for (37)
where \(\nabla ^\mu \) is a differential operator
which commutes with the renormalization factor Z and acts on the fields directly. After some simple algebra one gets
where \(S_0^{(\epsilon )}=S_0^{(0)}-\epsilon , S_+^{(\epsilon )}=S_+^{(0)}-\epsilon (z_1+z_2)\), and
Using the equations of motion (EOM) one can replace in this expression
We want to stress here that Eq. (40) holds for arbitrary coupling u but not only at the critical value. Since the l.h.s. of Eq. (40) is a finite (renormalized) operator the r.h.s. can be expressed in terms of renormalized operators with finite coefficients. These operators can be chosen as follows: the two-particle operator \(\mathcal {O}_1=\partial ^{2}\mathcal {O}(x;z)\) and the three-particle operator
where \(w=\{w_1,w_2,w_3\}\). The operators \(\mathcal {O}_1\) and \(\mathcal {O}_2\) mix under renormalization. The mixing matrix (integral operator acting on fields variables) has a lower triangular form,
Here \(Z_{11}=Z\) is the renormalization constant of the light-ray operator, Eq. (18), \(Z_{12}=0, Z_{21}=O(u^2)\), and the element \(Z_{22}\) is given, at the one-loop order, by the sum of two-particle kernels
where \(\lambda _s,\lambda _d\) are color factors
The kernel \(\mathcal {H}_{ik}^+\) is defined by Eq. (35) and \(\mathcal {H}_{ik}^d\) has the form
The subscripts ik show the arguments the kernel acts on.
Using these results we can rewrite (40) as follows:
The operators \(A_k\) have the following form:
where the operators \(S_1,S_2\) map functions of three variables to functions of two variables
At one loop the operators \(A_k\) take the form
Here \(S_+(u)\) is given by Eqs. (26), (27) for arbitrary \(u, u_*\rightarrow u\),
and deriving (51) we made use of the symmetry of the three-particle operator \(\mathcal {Q}^{(d)}(x;w_1,w_2,w_3)\) under permutation of the w variables.
Let us stress again that the operators \(A_k\) do not contain singular terms for arbitrary u. Using one-loop expressions for Z factors, Eq. (45), it can be checked that all pole terms cancel at order O(u). In particular,
Starting from the representation (36) for the conformal operator, we get for its divergence
Making use of Eqs. (48)–(51) one finds that the divergence \(\partial \mathcal {O}_j(x)\) is given by the sum of two-particle and three-particle (renormalized) operators
The prefactor on the r.h.s. of Eq. (54) is the eigenvalue of the operator \((S_0^{(\epsilon )}-1)^{-1}\) on the function \(z_{12}^j\). The two-particle term \(\mathcal {R}_j^{(2)}\) has the form
We recall that \(\gamma _j=\gamma _j(u_*)\) and \(\mathcal {O}_1(x;z)=\partial ^2 \mathcal {O}(x;z)\). Let us note that the term \(\sim S_+\) in the expression for \(A_1\), Eq. (51), vanishes inside the scalar product since \((z_{12}^j, S_+\cdots )=-(S_-z_{12}^j,\cdots )=0\). In turn, the expression for the three-particle contribution can be written as follows:
where
and the operator \(X_j\) has the form
This expression follows immediately from (51) if one takes into account that spin j is even and \(A_2\) is symmetric under interchange \(z_1\leftrightarrow z_2\).
It is clear from (55) that the expansion of the two-particle term \(\mathcal {R}^{(2)}_j\) over conformal operators does not contain the operator of spin j,
Taking into account that \(\langle {\mathcal {O}_j(x)\mathcal {O}_k(0)}\rangle =0\) for \(k<j\) one derives that \(\langle {\mathcal {R}_j^{(2)}(x)\, \partial \mathcal {O}_j(0)}\rangle =0\). This, in virtue of Eq. (54), results in the following relation for the correlators:
It can be shown that in the correlator \(\langle { \partial \mathcal {O}_j(x) \partial \mathcal {O}_j(0)}\rangle \) one can replace (54) by a simpler expression
The omitted terms
give rise to the correction of order \(O(\epsilon ^3)\). In order to verify this it is sufficient to notice that \(\Delta \mathcal {X}\) can be rewritten in the form \((z_{12}^j, F\, S_- z_{12} [\mathcal {O}_2(x;z)])_{\varpi } \), where F is some operator whose explicit expression is not relevant. Inside the correlator the generator \(S_-\) acts, finally, on the function \(z_{12}^j\), nullifying it.
Thus in order to find the anomalous dimension \(\gamma _j\) at order \(O(\epsilon ^2)\) one has to calculate the three correlators
at one-loop order. We will do it in the next section.
Finally, we note that for \(j=2\) the r.h.s. of Eq. (54) has to vanish identically since the operator \(\mathcal {O}_{\mu \nu }\) is, up to EOM terms, the energy-momentum tensor. The two-particle term \(\mathcal {R}_{j}^{(2)}\) is proportional to the anomalous dimension \(\gamma _j\) and therefore vanishes for \(j=2\). In order to check it for \(\mathcal {R}_j^{(3)}\), it is sufficient to take into account that only the linear term in the expansion of three-particle operator
contributes to (56) for \(j=2\). After simple algebra one finds that \(\mathcal {R}_{j=2}^{(3)}=O(\epsilon ^2)\).
5 Correlators
5.1 LO correlators
In order to give a glimpse of the technique we start with calculation of the necessary correlators at leading order. The correlator \(\langle {\mathcal {O}^{(n)}_j(x)\mathcal {O}_j^{(\bar{n})}(0)}\rangle \) is given by the sum of two diagrams, shown schematically in Fig. 1. They are given by the product of the propagators and give rise to identical contributions to the correlation function. Assuming that x is chosen in a transverse plane, \((x,n)=(x,\bar{n})=0\), one represents the propagator as
where \(r=2(n\bar{n})/x^2\) and
At leading order one replaces \(\mu -1\mapsto 2\) so that the second factor in (62) is nothing else than the reproducing kernel, \(\mathcal {K}_{s=1}(z_1, w_1 r)\), corresponding to the spin \(s=1\); see Eq. (A.5). Therefore starting from Eq. (36) one gets for the correlator
where \(\xi =n^2-1\) is the isotopic factor, the scalar products correspond to the conformal spin \(s=1\), and we take into account the property of the reproducing kernel (A.6). The norm of \(w_{12}^j\) is given by the following expression:
The diagrams for the correlator \(\langle {\partial \mathcal {O}^{(n)}_j(x)\partial \mathcal {O}_j^{(\bar{n})}(0)}\rangle \) are shown in Fig. 2. On the leftmost diagram the points \(z_1n\) and \(\bar{w}_1 \bar{n}\) are connected by two propagators,
Since \(\partial \mathcal {O}_j^{(n)}\sim (z_{12}^j, L_{21} [\mathcal {O}(x,z_1,z_1,z_2)])_{11}\), see Eq. (57), the z-scalar product has the form
The spins of the reproducing kernels and spins of the scalar product are in discord with each other. However, the operator \(L_{21}=\partial _2 z_{21}^2\) removes this mismatch. It intertwines the representations,
and it can easily be shown, see e.g. Ref. [13], that
where
Thus the scalar product (66) takes the form
Restoring all color and symmetry factors one gets for the first diagram
The calculation of the second diagram goes along the same line. One can combine the propagators attached to the point \(z_1\) using Feynman’s trick to get
Finally, taking into account that second diagram enters with symmetry factor 2 one gets, in full agreement with (11),
where the one-loop anomalous dimension is, see Eq. (34),
Thus the diagrams are easily calculated provided that the spins of the reproducing kernels match that of the scalar product. We will show that this scheme can be extended to loop diagrams as well.
5.2 NLO correlators
First, it is easy to see that the corrections due to modification of the scalar product cancel out in the ratio of correlators. Indeed, these corrections only influence the norm
entering the tree-level expressions, Eqs. (64), (70), etc., which cancel out in the ratio of correlators, \(\mathcal {T}_j\), irrespectively of the explicit form of \(\varpi \). This cancelation is expected. Indeed, the problem can be reformulated as a standard quantum mechanical problem for a certain Hamiltonian. A modification of the scalar product produces corrections to the eigenstates (conformal operator). However, the energy shift at the leading order, \(\delta E^{(1)}_\psi =\langle {\psi ^{(0)}|V|\psi ^{(0)}}\rangle \), is not sensitive to such corrections.
The calculation of \(\langle {\mathcal {R}_j^{(2)}\mathcal {R}_j^{(3,0)}}\rangle \) is a bit more involved but straightforward. The corresponding contribution to \(T_j^{(2)}\) reads
It is convenient to split one-loop corrections to the correlators \(\langle {\mathcal {O}_j \mathcal {O}_j}\rangle \) and \(\langle {\mathcal {R}_j^{(3,0)}\mathcal {R}_j^{(3,0)}}\rangle \) into two groups
-
Self-energy insertions to the propagators.
-
All other loop diagrams.
Taking into account the self-energy correction to the propagators is equivalent to the calculation of the tree-level diagrams with the exact (critical) propagator
where \(\Delta _\varphi =\mu -1+\gamma _\varphi \) is the critical dimension of the basic field and the residue \(A(u_*)\) is
where \(\overline{M}^2=\pi M^2\mathrm{e}^{\gamma _E}\). For the first diagram in Fig. 1 one gets
where \(s=\Delta _\varphi /2=1-(\epsilon -\gamma _\varphi )/2\), the subscripts indicate the conformal spins of the z and w scalar products, respectively. The reproducing kernels in (77) correspond to spin s, which does not match the spins of the scalar product. However, it is easy to see that, due to symmetry, the scalar product with modified spins,
where \(s^\delta _\pm =1\pm \delta \) is equal to that in (77) up to terms of order \(\delta ^2\). Therefore, choosing \(s_-^\delta =s\), (\(\delta =(\epsilon -\gamma _\varphi )/2\)), and evaluating the w-product in (78) one gets for (77)
The calculation of the diagrams in Fig. 2 goes along the same lines. Finally, the contribution to the ratio of correlators \(\mathcal {T}_j\) from the leading order diagrams and self-energy diagrams can be written in the form (up to \(O(\epsilon ^2)\) terms)
Expanding (80) we find for the corresponding contribution to the coefficient \(T^{(2)}_j\)
where \(S_j=\sum _{k=1}^j 1/k\) and
We recall that \(\gamma _j^{(1)}\) is the one-loop anomalous dimension, Eq. (73).
5.3 Loop diagrams
All loop diagrams can be calculated quite easily with the help of several simple tricks. Several examples are given below. Let us start with a correction to the correlator of two conformal operators. The corresponding contribution has the form
where the kernel H(x; z; w) is given by the left diagram shown in Fig. 3 with the parameter \(\delta \rightarrow 0\). We need to find \(C(\epsilon )\) up to terms \(O(\epsilon ^0)\), \(C(\epsilon )=\frac{1}{\epsilon }(c_0+\epsilon c_1+\cdots )\). To this end we proceed as follows. We modify the indices as shown in Fig. 3. This modification does not change the pole structure (see the discussion in Ref. [23]) and, due to the symmetry \(C(\epsilon ,\delta )=C(\epsilon ,-\delta )\), one concludes that
The choice \(\delta =\epsilon /2\) results in the uniqueness of the upper integration vertex and at the same time does not affect first two terms in (84). Using the star–triangle relation for the upper vertex one gets the diagram B in Fig. 3. Using the Feynman formula for the left (right) propagators attached to the integration vertex one can perform the last integral that results in the diagram C in Fig. 3.
This diagram, up to a x-dependent factor, has the form
In the next step we want to get rid of the parametric integrals. To this end we use the properties of the reproducing kernel (A.6) and represent
where \(s=3/2-2\delta \) and we used Eq. (A.7). Using this expression one can carry out the integrals over \(\alpha ,\beta \) in (85). The resulting expression for H(x; z, w) (up to a prefactor) takes the form of the “sl(2)” diagram shown in Fig. 4.
Now we need to calculate the scalar product (83) with the kernel H(x; z, w) given by the diagram on Fig. 4. The scalar product is a function of indices of left (right) propagators and conformal spins of z (w ) scalar products, \( S(a,b, s_1,s_2|a', b',s'_1,s'_2)\). We need this function up to \(O(\epsilon )\) terms for \(a=a'=\alpha , b=b'=\beta \), and \(s_i=s'_i=1\). As was explained in the previous section the integral with measure \(\mu _s\) can be evaluated easily provided that the sum of the indices of the propagators coming from this vertex is equal to 2s. Taking this into account one finds that the scalar product with shifted indices,
can be straightforwardly calculated to be
and at the same time it differs from the scalar product in question by terms of order \(O(\epsilon ^2)\) only.
Restoring all factors one gets for \(C(\epsilon )\)
Since the ratio (11) does not depend on x, it is convenient to put \(x^2\overline{M}^2=1\). Finally, subtracting the counterterms,
one obtains
where the ellipsis stands for higher order terms. The corresponding contribution from (89) to the coefficient \(T_j^{(2)}\) in the ratio of the correlators, see Eq. (11), reads
The NLO diagrams contributing to the correlator \(\langle {\partial {\mathcal {O}_j}(x)\partial {\mathcal {O}_j}(0)}\rangle \) are shown in Fig. 5 (type A) and Fig. 6 (type B). These diagrams have different color factors: \(\lambda _s\lambda _d\) for the A-diagrams, and \(\lambda _s^2\) for the B-diagrams.
All diagrams of the A-type have the diagram we have just now discussed as a subgraph. The only difference is that in order to kill terms linear in \(\delta \) one has to consider an average of the diagrams, \((D(\delta )+D(-\delta ))/2\). For \(\delta =\epsilon /2\) each of the diagrams, \(D(\pm \delta )\), can be simplified with the help of the star–triangle relation and rewritten in the form of “sl(2)” diagrams. These diagrams in turn can be calculated up to \(O(\epsilon ^2)\) terms in a manner described above. So we skip all details and present the result for each diagram in Appendix C.
All diagrams of B-type shown schematically in Fig. 6 contain two \(2\rightarrow 1\) subgraphs. The diagrams depicted on the right panel are finite, while those on the left panel are divergent. The calculation of these diagrams does not present any problem so that we give only the final results in Appendix C.
Finally, it follows from Eq. (52) that the sum of counterterm diagrams to the diagrams in Figs. 5 and 6 can be written in the form
Here \(Z_j\) is the one-loop renormalization constant for the operator \(\mathcal {O}_j\),
and
We have put the superscript \((\epsilon )\) to the correlator in order to stress that even the tree-level correlator depends on \(\epsilon \) through a space-time dimension \(d=6-2\epsilon \).
6 Results
The coefficient \(T_j^{(2)}\) in the ratio of the correlators is given by the sum of terms in Eqs. (74), (81), (89), (C.13), and (C.14). In the case of operators with another isotopic symmetry these expressions have to be modified. One can distinguish seven different isotopic projections,
where \(f=1,\ldots ,7\). The projectors \(P_f\) can be found in Ref. [18]. The one-loop anomalous dimension for the operator \(\mathcal {O}_j^{(f)}\) is given by
where \(\lambda _f\) are the eigenvalues of the operator \(\mathbb {R}^{ab}_{a'b'}=\mathrm{d}^{aa'c}\,\mathrm{d}^{bb'c}\) on the invariant subspaces, \(\mathbb {R}P_f=\lambda _f P_f\). The explicit expressions for \(\lambda _f\) can be found in [18]. We note also that \(\lambda _s=\lambda _1\) and \(\lambda _d=2\lambda _3\).
The modifications of Eqs. (74), (81), (89), (C.13), and (C.14) for the case of arbitrary projections, \(P_f\), are the following:
-
Replace \(\gamma _j^{(1)}\rightarrow \gamma _j^{(1,f)}\) in all expressions.
-
Replace \(\lambda _s\rightarrow \lambda _f\) in the expressions for \(T^{(o)}_j\), \(T^{(5,B)}_j\), \(T^{(5,C)}_j\), \(T^{(6,A)}_j\) and in the last line of \(T^{SE}_j\), Eq. (81).
-
Replace \(\lambda _s\lambda _d\rightarrow 2\nu _f\) in the expression for \(T^{(5,D)}_j\).
Here \(\nu _f\) are the eigenvalues of the invariant operator \(\mathbb {T}^{ab}_{a'b'}=(\mathbb {R}^2)^{a, b'}_{a'b}\); see Ref. [18].
Representing the ratio of the correlators in the form
one obtains for the coefficient \(T_j^{f(2)}\)
where
and
Finally, comparing (96) with the r.h.s. of Eq. (11) we get for the anomalous dimension
where \(\gamma _j^{f(1)}\) is given by Eq. (95) and \(\gamma _j^{f(2)}\) has the form
This expression completely agrees with the anomalous dimensions reconstructed from the two-loop evolution kernels [18]. We have also checked that the large j expansion of the anomalous dimensions \(\gamma _j^f(u_*)\) in terms of the quadratic Casimir
7 Summary
We have calculated two-loop anomalous dimensions of the leading-twist operators in the \(\varphi ^3\) model using the approach proposed in Refs. [10, 11]. Formally this method allows one to gain one order in the perturbation theory. However, this advantage is illusory since one has to calculate diagrams including finite parts instead of the pole terms in the standard approach. There is also no essential gain as regards the complexity of the calculations.
Nevertheless, both the contributing diagrams and the methods of calculation are quite different in the two approaches. Therefore the calculation of the anomalous dimensions performed in this approach could provide an additional check of the results obtained within the standard approach. Of course, going to the next order is only possible with the advanced methods of computer algebra.
Notes
In order to make presentation more transparent we will consider the su(n) scalar operator. The operators of other symmetry properties can easily be included into consideration; see Sect. 6.
Note that the operator \(\mathcal {O}_j\) vanishes identically for odd j.
The other generators act on the operators in question trivially.
It turns out that the corrections due to \(\varpi ^{(1)}\) cancel at \(O(\epsilon ^2)\) order in the ratio of the correlators (11). So that we do not need this explicit expression for the present purposes.
Let us remark that the evolution kernel \(\mathcal {H}^{+}\) can be identified with the sl(2)-invariant \(\mathcal {R}\)-operator for a special value of spectral parameter, \(\mathcal {H}^{+}=\mathcal {R}_{s_1=1,s_2=1}(u=-i)\). The factorization of \(\mathcal {H}^{+}\) is a consequence of a factorization property of the \(\mathcal {R}\)-operator [27]; see also Ref. [28].
References
S. Moch, J.A.M. Vermaseren, A. Vogt, The Three loop splitting functions in QCD: the nonsinglet case. Nucl. Phys. B 688, 101 (2004)
A. Vogt, S. Moch, J.A.M. Vermaseren, The three-loop splitting functions in QCD: the singlet case. Nucl. Phys. B 691, 129 (2004)
S. Moch, J.A.M. Vermaseren, A. Vogt, The three-loop splitting functions in QCD: the helicity-dependent case. Nucl. Phys. B 889, 351 (2014)
M. Moshe, J. Zinn-Justin, Quantum field theory in the large N limit: a review. Phys. Rep. 385, 69 (2003). arXiv:hep-th/0306133
A.N. Vasiliev, Y.M. Pismak, Y.R. Khonkonen, 1/n expansion: calculation of the exponent eta in the order \(1/n^3\) by the conformal bootstrap method. Theor. Math. Phys. 50, 127 (1982). (Teor. Mat. Fiz. 50 (1982) 195)
A.N. Vasiliev, S.E. Derkachov, N.A. Kivel, A.S. Stepanenko, The 1/n expansion in the Gross–Neveu model: conformal bootstrap calculation of the index eta in order \(1/n^3\). Theor. Math. Phys. 94, 127 (1993). (Teor. Mat. Fiz. 94 (1993) 179)
J.A. Gracey, Computation of critical exponent eta at \(O(1/N^3)\) in the four Fermi model in arbitrary dimensions. Int. J. Mod. Phys. A 9, 727 (1994)
J.A. Gracey, Anomalous dimension of nonsinglet Wilson operators at \(O(1/N(f))\) in deep inelastic scattering. Phys. Lett. B 322, 141 (1994)
J.F. Bennett, J.A. Gracey, Determination of the anomalous dimension of gluonic operators in deep inelastic scattering at \(O (1/N(f))\). Nucl. Phys. B 517, 241 (1998)
D. Anselmi, The N = 4 quantum conformal algebra. Nucl. Phys. B 541, 369 (1999)
A.V. Belitsky, J. Henn, C. Jarczak, D. Mueller, E. Sokatchev, Anomalous dimensions of leading twist conformal operators. Phys. Rev. D 77, 045029 (2008)
S. Ferrara, A.F. Grillo, G. Parisi, R. Gatto, Canonical scaling and conformal invariance. Phys. Lett. B 38, 333 (1972)
V.M. Braun, A.N. Manashov, Operator product expansion in QCD in off-forward kinematics: separation of kinematic and dynamical contributions. JHEP 1201, 085 (2012)
D. Müller, Constraints for anomalous dimensions of local light cone operators in \(\phi ^3\) in six-dimensions theory. Z. Phys. C 49, 293 (1991)
D. Müller, Conformal constraints and the evolution of the nonsinglet meson distribution amplitude. Phys. Rev. D 49, 2525 (1994)
D. Müller, Restricted conformal invariance in QCD and its predictive power for virtual two photon processes. Phys. Rev. D 58, 054005 (1998)
A.J. McKane, D.J. Wallace, R.K.P. Zia, Models for strong interactions in six epsilon dimensions. Phys. Lett. B 65, 171 (1976)
V.M. Braun, A.N. Manashov, Evolution equations beyond one loop from conformal symmetry. Eur. Phys. J. C 73, 2544 (2013)
I.I. Balitsky, V.M. Braun, Evolution equations for QCD string operators. Nucl. Phys. B 311, 541 (1989)
I.M. Gelfand, M.I. Graev, N.Y. Vilenkin, Generalized Functions. Integral Geometry and Representation Theory, vol. 5 (Academic Press, New York, 1966)
Vilenkin, N.Y., Special Functions and the Theory of Group Representations. Translations of Mathematical Monographs, vol. 22 (American Mathematical Society, Providence, 1968)
V. Bargmann, I.T. Todorov, Spaces of analytic functions on a complex cone as carries for the symmetric tensor representations of \(SO(N)\). J. Math. Phys. 18, 1141 (1977)
M. Ciuchini, S.E. Derkachov, J.A. Gracey, A.N. Manashov, Computation of quark mass anomalous dimension at \(O(1 / N^2_f)\) in quantum chromodynamics. Nucl. Phys. B 579, 56 (2000)
B. Basso, G.P. Korchemsky, Anomalous dimensions of high-spin operators beyond the leading order. Nucl. Phys. B 775, 1 (2007)
L.F. Alday, A. Bissi, T. Lukowski, Large spin systematics in CFT. arXiv:1502.07707 [hep-th]
B.C. Hall, Holomorphic Methods in Mathematical Physics. Contemporary Mathematics, vol. 260, pp. 1–59. arXiv:quant-ph/9912054
S.E. Derkachov, Factorization of the R-matrix, vol. I. arXiv:math/0503396 [math-qa]
S.E. Derkachov, A.N. Manashov, Factorization of the transfer matrices for the quantum sl(2) spin chains and Baxter equation. J. Phys. A 39, 4147 (2006)
Y.M. Makeenko, Conformal operators in quantum chromodynamics. Sov. J. Nucl. Phys. 33, 440 (1981). (Yad. Fiz. 33 (1981) 842)
Acknowledgments
We are grateful to Vladimir Braun for useful discussions. This work has been supported by Deutsche Forschungsgemeinschaft through grant MO 1801/1-1.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Discrete series representations of the \(su(1,1)\) group
At the leading order the light-ray operator \(\mathcal {O}(x;z_1,z_2)\) transforms according to the tensor product of discrete series representations of the group su(1, 1). In this appendix we recall their basis properties. The discrete series representation of the su(1, 1) group, \(D^+_s\) in the standard notations [20], is defined on the space of functions analytic inside the unit circle, \(|z|<1\),
where \(z'=(az+b)/(\bar{b} z+\bar{a})\), and \(g=\begin{pmatrix} a &{} b\\ \bar{b} &{}\bar{a} \end{pmatrix} \in su(1,1)\) and s is an integer or half-integer. The generators of the group have the form
The invariant scalar product [20, 21]
is uniquely defined (up to unitary equivalence)
where
The space of analytic functions on the unit disk with the scalar product (A.3) is called a holomorphic Hilbert space, \(D_s^+\), see for a review Ref. [26]. The powers of z form an orthogonal basis, \(\{e_k(z)=z^k,\ k=0,1,\ldots \}\), in this space,
The unit operator (the reproducing kernel) has the form
and for an arbitrary function \(f\in D_s^+\) the following identity holds:
We note here that Eqs. (A.3)–(A.5) all make perfect sense for any \(s\ge 1/2\).
Finally, we give a relation that turned out to be very useful in the calculations:
It follows immediately from (A.6) if one replaces \(s\rightarrow s+\epsilon \) and expands it in \(\epsilon \).
Appendix B: One-loop scalar product
The one-loop correction \(\varpi ^{(1)}\) to the scalar product (32) is determined by Eq. (33). To find the solution we note that the operator \(\mathcal {H}^{+}\) which enters one-loop kernel (34) can be represented in the factorized formFootnote 5
where
In order to obtain (B.1) it is sufficient to notice that \(\mathcal {H}^{+}\) is nothing else than the inverse Casimir operator,
While the operator \(\mathcal {H}^{(1)}: D_+^{(1)}\otimes D_+^{(1)}\mapsto D_+^{(1)}\otimes D_+^{(1)}\), the \(\mathcal {F}\) operators intertwine the representations with different spins. Namely,
and similar for \(\mathcal {F}_{21}\). It results in the intertwining relations for two-particle generators, \(S^{(s_1,s_2)}_\alpha =S_{\alpha }^{(s_1)}+S_{\alpha }^{(s_2)}\),
and so on. Next, we introduce the one-particle operator
such that \(W^{(s)} z^{n}=(\psi (n+2s)-\psi (2s)) z^{n}\). This operator commutes with the generator \(S_0^{(s)}\), while
Now let us check that
gives the solution to Eq. (33). The first equation is obviously satisfied, \([S_0^{(0)},\varpi ^{(1)}]=0\). Next, making use of Eqs. (B.4) and (B.6) one gets for the commutator
Finally, one casts the r.h.s. into the necessary form taking into account that \([\overline{\mathcal {F}}_{12},z_2]=[\overline{\mathcal {F}}_{21},z_1]=0\).
The scalar product can also be written in the form
where \(s_*=2-\epsilon +\gamma _\varphi ^*\) is the conformal spin of the basic field at the critical point and \((f,\psi )_{s_1,s_2}\) stays for the two-particle scalar product. We have to mention here that the solution of Eq. (33) is not unique. For instance, at one-loop order \(\varpi '=\varpi ^{(1)}+ Z\), where Z is an invariant operator, \([Z,S_\alpha ^{(0)}]=0\), also satisfies Eq. (33).
Closing this section we give the standard representation for the conformal operator,
The operator \(\mathcal {O}_j\) is completely determined by a polynomial \(P_j(z_1,z_2)\). It was known a long ago [29] that at the leading order
where \(C_j^{(3/2)}\) is the Gegenbauer polynomial. Beyond the leading order one derives from Eqs. (36) and (B.9)
where \(\lambda =2s_*-1/2\),
and the expansion coefficients have the form
Equation (B.11) agrees with the expression for the conformal operator obtained in [11, 14].
Appendix C: Loop diagrams
We will present an answer for a diagram \(D^{(a)}\) minus the counterterm \(\Delta D^{(a)}\) in the form
Here \(\langle {\mathcal {O}_j^{(n)}(x)\mathcal {O}_j^{(\bar{n})}}\rangle _{0}\) is the tree-level correlator. For the diagrams in Figs. 5 and 6 we obtain
and
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. Conformal constraints for anomalous dimensions of leading-twist operators. Eur. Phys. J. C 75, 363 (2015). https://doi.org/10.1140/epjc/s10052-015-3595-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-015-3595-2