UDC 530.1; 539.1
Derivation of the exact NSVZ ^-function using effective diagrams
K. Stepanyantz
Moscow State University, Physical Faculty,
Department of Theoretical Physics, 119991, Moscow, Russia.
E-mail: [email protected]
Using Scwinger-Dyson equation we prove that the ^-function for N =1 supersymmetric electrodynamics is given by integrals of double total derivatives. This allows to calculate one of the loop integrals and obtain the exact NSVZ ,3-function, which relates the ^-function and the anomalous dimension of the matter superfield.
Keywords: supersymmetry, supergraphs, NSVZ 3-function.
1 Introduction
It is well-known that in N = 1 supersymmetric theories a ft-function is related with anomalous dimensions of the matter superfields [1]. This relation is called the exact Novikov, Shifman, Vainshtein, and Zakharov (NSVZ) ft-function. It was originally obtain using arguments based on the structure of instanton contributions or anomalies. In the lowest orders of the per-ft
plicit calculations [2-5]. Most calculations were made using the dimensional reduction in the MS-scheme.
ft
calculations only in the one- and two-loop approximations. In higher orders for obtaining the exact NSVZ
ft
tion of the coupling constant [6]. This means that there
ft
is obtained. For N =1 supersymmetric electrodynamics (SQED) such a scheme can be naturally constructed using the higher derivative regularization [7]. The higher covariant derivative regularization (unlike the dimensional reduction [8]) is mathematically consistent. It can be generalized to the supersymmetric case [9,10] so that the supersymmetry is an explicit symmetry of the regularized theory. With the higher
ft
can be calculated by differentiating a two-point Green function of the gauge superfield in the limit of vanishing external momentum. It was noted that this integrals are integrals of total derivatives fl 1] and even integrals of double total derivatives [12]. This features were ver-
N=1
in the two-loop approximation by explicit calculations of supergraphs [13,14]. The factorization of integrands into total derivatives allows to calculate one of the loop
ft
anomalous dimension of the matter superfields 7(a). The result can be obtained exactly in all orders of the
perturbation theory [15] and coincides with the exact NSVZ ft-function, which for N = 1 SQED [16] has the form
2
ft(a) = ^ (1 - Y(a)) . (!)
However, in order to generalize the results to non-Abelian case it is more convenient to use a different method based on the Schwinger-Dyson equations [17]. In this paper we use this method in order to prove that
ft
ft
2 N =1 SQED, regularized by higher derivatives
N=1
S = Re i dAxd20WaWa 4e2 J
+ ~y d4xd4d e2V< + <f>e-2V</>^ . (2)
In order to regularize the theory by higher derivatives, we add to the action a term with the higher derivatives. Then the kinetic term for the gauge superfield will have the form
^Re J d4xd2dWaR(d2/A2)Wa, (3)
where R(0) = 1 mid R(to) = to, for example, R = 1 + d2n /A2n. After introducing the higher derivative term divergences remain only in the one-loop approximation. In order to cancel them, it is necessary to insert the Pauli-Villars determinants into the generating functional [18]:
Z = i DV D<D< ^(det(V, Mi))ci ■i i
X eXp ( iSreg + iSsource j j (4)
SS terms with sources. The masses of the Pauli-Villars fields $x are proportional to the parameter A, so that there is the only dimensionful parameter in the regularized theory: MI = aIA, where aI are numerical constants, which do not depend on the coupling constant. The coefficients ci satisfy the conditions
0.
where J is a source for the gauge superfield.
ft
function can be calculated by differentiating the two-point Green function for the gauge superfield with respect to ln A in the limit of vanishing external momentum:
d
d ln A
(d 1(ao, A/p) - a0 ^
da-
ft(ao)
p=0
d ln A
V -)• eaen ebeb = e4.
(2n)354(p) d
d
d ln A
d ln A
r(2) - S-S,
(d 1(ao, A/p) - a0 ^
p=0
gf
V (x,e)=e4
—(4>* + <0)e (< + <o)) +(PV)
where (PV) denotes contribution of the Pauli-Villars fields and
Ar = r - -^.Re
4ei
J d4xd2eWaWa - Sgf. (12)
(5)
It is convenient to introduce the auxiliary sources <0 and <^0, modifying the action for the matter superfields:
4J d&x (i<*+<0)e2V(<+<0)+(4>*+^0)e 2V(<^+<^0)jj 4
where the fields <^d <^0 are not chiral.
The effective action r is defined by the standard way. We will also use the Routhian
(7)
(8)
Aa
This expression is well defined if the RHS is expressed
a0
to extract the function d-1 it is possible to make the substitution
(9)
Differentiating equation (11) with respect to Vy we obtain the Schwinger-Dyson equation for the two-point Green function of the gauge superfield. In a graphical form the result is presented in Fig. 1. Vertexes in these diagrams contain derivatives with respect to auxiliary sources <0 mid <^0. In [17] these diagrams were calculated substituting solutions of the Ward identities. This method allows to extract terms which give ft
e.g. [19]) show that the other terms vanish. However, in order to prove this, it is necessary to use some new ideas. Let us briefly describe them here.
1. First, it is necessary to use the Schwinger-Dyson equation one more time for vertexes which contain the derivative 5T/5Vy. This is made using equation (11). Note that in order to simplify the result, it is convenient to write it in terms of the Routhian 7, because in this case the number of effective diagrams is less. A simple graphical interpretation of this procedure is presented in Fig. 2. (Here we do not present expressions for the effective lines.) As a result, the two-point Green function can be written as a sum of two-loop effective diagrams, see Fig. 3.
2. An attempt to present the two-loop effective diagram as an integral of a total derivative encounters considerable problems. The reason can be understood from the results of Ref. [15]. The matter is that the total derivative in this case nontrivially depends on the number of vertexes in a diagram. Therefore, it seems that it is impossible to present the total derivative as an effective diagram. However, the solution can be found. For this purpose we introduce the parameter g according to the following prescription: in the kinetic terms for the matter superfields we make the substitution
The expression in the RHS does not depend on the space-time coordinates xM. Therefore, this substitu-
p=0
2V
^ 1 + g(e - 1);
2V
^ 1 + g(e - 1). (13)
(10)
3 Schwinger—Dyson equations for N = 1
SQED
The Schwinger-Dyson equations obtained in [17] can be written as
^ = { fx > = 1 <«' + <0)e2V (< + <0)
g
V
e4 g
present only in vertexes containing the internal lines of
g=1
generating functional coincides with the N =1 SQED action.
We differentiate the two-point Green function of
g
Graphically, the result can be written as a sum of some three-loop effective diagrams (we do not present them here). Our purpose is to present them as an integral of a total derivative. In the coordinate representation an integral of a total derivative can be written as
(11) Tr[xM, Something],
(14)
1
2
a
0
e
Ap(2) _ 1 I d8 Td8yV V ______
_ 2 d xdyVxVy
62(Ar)
64>lxM:
Figure 1: The Schwinger-Dyson equation for the two-point function of the gauge superfield. Below we present Feynman rules (for simplicity, in the massless case). In the massive case the effective diagrams are the same.
where Tr = f d8x.
5 Exact NSVZ ft-function
ft
integrals of double total derivatives
The derivative of the two-point Green function of
ln g
as an integral of a double total derivative. The result can be written in the following form:
: (2 / d&xd&y (e4)x(e4)y JVXM,
d ln A d ln g\ 2
d (^(«4).
d ln A V4
n
- 4 E c^r (°4)
xy
S2Y ^
yu >
I =1
+M ik( ^ ^
6 2 y
4 \6(4>*i)x6(0i)x<
62y s -1
6($*i)x6($i)a 1
\832J A 6($i)x6($k )
y x=y
+M*(D2ï ( 62y '-1
+ ik\ 882) A 6($*i)x6($*k )
y x=y
-
(15)
In order to obtain a ft-function it is necessary to note that
Tr[y: ,A]_0.
(16)
In the momentum representation this equation corresponds to vanishing substitution at the upper limit (q ^ to) in the integral of a total derivative. However. the integral does not vanish due to a non-trivial
q=0
nate representation this follows from the existence of singularities [12], which appear in the commutator
[x4 A4 ] _ [-*^T’ —~!a ] _ -2nl6'4(VE)
d
d4
dp 4 P4
2 4 2 4
-2n2i64(p) _ -2n2i64(d).
(17)
where <1 = < <2 = < denotes the Pauli-Villars fields, and (yM)* = xM - iea(j^)abeb. In the graphical form the right hand side of identity (15) is presented
ft
the N =1 SQED, regularized by higher derivatives, in the momentum representation is given by integrals of double total derivatives.
Here we take into account that the calculation of loop integrals is made in the Euclidian space after the Wick rotation. A contribution of these singularities with an opposite sign is equal to the sum of diagrams defining
ft
Calculating commutators in Eq. (15) it is also possible to find singular contributions. The result can be
ln g
nontrivial test of the calculation. Substituting explicit
Figure 2: Applying the Schwinger-Dyson equation to the effective vertex it is possible to see "the inner structure" of the effective diagram.
y
y
x
I
m
Figure 3: Using the Schwinger-Dyson equations twice we obtain two-loop effective diagrams.
o
dh
Figure 4: A graphical presentation of double total derivatives given by Eq. (15).
expressions for the Green functions, e.g.
62y
6(^0)x6(4>*)y
62y
6(^0)x6(^)y
_ - gGDæ 6^y;
32
(18)
and calculating the integrals over d,4e, after the Wick rotation in the Euclidean space the final expression can be presented in the following form:
d d (1 f ,q,o ,„4> ,„4> ¿2r
W dxd y(e >x(e >yWM
dlng dlnM2,
_ —4n264(p _ 0)
d d d ln g d ln A
ln(q2G2) -]T
CI
I=1
X ( ln(q2Gj + m2 J2) + (q2G2M+M2 J2) ))
q=0
(19)
This result agrees with the calculation made in f 17] made by another method. It is easy to see that the contributions of the massive Pauli Villars fields vanish beyond the one-loop approximation after differentia-ln A
d
d ( 1
d ln g d ln A V 2
_ -8n264 (p _ 0)
(2J d&xd&y (o4)x(o4)y
62r
6Vx6Vy
d d ln G d ln g d ln A
(20)
ln g
g = 0 g = 1 g = 0
corresponds to a theory without quantum gauge superfield. we obtain
ft(ao) ft(ao)
1 —loop
a,
0
(21)
ft
ft
deriving this result it is not necessary to perform a redefinition of the coupling constant, which is needed if the calculations are made with the dimensional reduction. Therefore the NSVZ-schenie can be naturally constructed using the higher derivative regularization.
6 Conclusion
Using the Schwinger Dyson equations it is possible to prove that the ft-function in the N _ 1 supersym-rnetric electrodynamics regularized by higher derivatives is given by integrals of double total derivatives in all orders of the perturbation theory. For this purpose we consider the derivative of the two-point Green function of the gauge superfield with respect to the ln A
Schwinger Dyson equation for this Green function can be written in terms of two-loop effective diagrams. In order to present the result as a double total derivative it is necessary to differentiate the considered expression
g
is given by the effective three-loop diagrams, which can be written as a trace of a double commutator with y* 6
turn representation it corresponds to the integrals of double total derivatives. The contribution of the singularities can be related with the anomalous dimension of the matter superfield exactly in all orders of the perturbation theory. This contribution gives the ft
ft
higher derivative regularization in the considered scheme is obtained without any redefinition of the coupling constant, which is needed if the calculations are made with the dimensional reduction in MS-scheme. In our case finite counterterms corresponding to the renormalization of a can be arbitrary. Both the ft
2
a
o
them, but the combination в/а2 + j/п is invariant, the higher derivative regularization is obtained in the
With the higher derivative regularization the finite most natural way.
counterterms corresponding to the renormalization of the matter superfield are fixed by the condition that
ratios MI/Л are numerical constants and do not de- Acknowledgement pend on the coupling constant. Therefore, using the
procedure described in this paper we implicitly fix the This work was supported by RFBR grant No 11-
subtraction scheme. However, the NSVZ scheme with 01-00296a.
References
[1] Novikov V. N., M.Shifman M. A., Vainstein A. I., and Zakharov V. I. 1983 Nucl.Phys. В 229 381; 1986 Phys.Lett. 166B 329; Shifman M. A., and Vainshtein A. I. 1986 Nucl.Phys. В 277 456; 1986 Sov.Phys.JETP 64 428.
[2] Ferrara S. and Zumino B. 1974 Nucl.Phys. B79 413.
[3] Jones D. R. T. 1975 Nucl.Phys. B87 127.
[4] Avdeev L. V. and Tarasov О. V. 1982 Phys.Lett. 112 В 356; Jack I., Jones D., and North C. 1997 Nucl.Phys. В 486
479.
[5] Harlander R. V., Jones D. R. T., Kant P., Mihaila L., and Steinhauser M. 2006 JHEP 0612 024.
[6] Jack I., Jones D. R. T„ and North C. G. 1996 Phys.Lett. B386 138; Jack I., Jones D. R. T., and Pickering A. 1998 Phys. Lett. B435 61.
[7] Slavnov A. A. 1971 Nucl.Phys. B31 301; 1972 Theor.Math.Phys. 13 1064.
[8] Siegel W. 1979 Phys. Lett. 84 В 193; Siegel W. 1980 Phys. Lett. 94B 37.
[9] Krivoshchekov V. K. 1978 Theor.Math.Phys. 36 745.
10] West P. 1986 Nucl.Phys. В 268 113.
11] Soloshenko A. A. and Stepanyantz K. V. 2004 Theor.Math.Phys. 140 1264 [arXiv:0304083 [hep-th]].
12] Smilga A. and Vainshtein A. 2005 Nucl.Phys. В 704 445.
13] Pimenov A. B., Shevtsova E. S., and Stepanyantz K. V. 2010 Phys.Lett. В 686 293.
14] K. V. Stepanyantz, Factorization of integrals defining the two-loop beta-function for the general renormalizable N=1 SYM theory, regularized by the higher covariant derivatives, into integrals of double total derivatives, [arXiv:1108.1491 [hep-th]]; J.Phys.Conf.Ser. 343 (2012) 012115.
15] Stepanyantz K. V. 2011 Nucl.Phys. В 852 71.
16] Vainshtein A. I., Zakharov V. I., and Shifman M. A. 1985 JETP Lett. 42 224; Shifman M. A., Vainshtein A. I., and Zakharov V. I. 1986 Phys. Lett. B166 334.
17] Stepanyantz K. V. 2005 Theor.Math.Phys. 142 29.
18] Faddeev L. D., Slavnov A. A, 1990 Gauge fields, introduction to quantum theory (Benjamin Reading).
19] Pimenov A. B. and Stepanyantz K. V. 2006 Theor.Math.Phys. 147 687.
Received 01.10.2012
К. Степаньянц
ВЫВОД ТОЧНОЙ NSVZ в-ФУНКЦИИ С ПОМОЩЬЮ ЭФФЕКТИВНЫХ ДИАГРАММ
С помощью уравнения Швннгера^Дайсона мы доказываем, что ^-функция N = 1 суперснмметрнчной электродинамики определяется интегралами от двойныхх полных производных. Это позволяет вычислить один из петелвых интегралов и получить точную NSVZ ^-функцию, которая связывает в-функцию и аномальную размерность суперполя материи.
Ключевые слова: суперсимметрия, суперграфы, NSVZ в-функция.
Степаньянц К. В., кандидат физико-математических наук, доцент.
Московский государственный университет.
Физический факультет, кафедра теоретической физики, 119991 Москва.
E-mail: [email protected]