Light-Front Field Theories at Finite Temperature: O O TR e O
Light-Front Field Theories at Finite Temperature: O O TR e O
Light-Front Field Theories at Finite Temperature: O O TR e O
O Tr e H O Tr e P O
Quantum eld theories are conventionally quantized on a spacelike surface. However, quantization on a lightlike surface provides an interesting alternative which dates back to the works of Dirac 1. Light-front eld theories 2,3, namely theories quantized on a light front, have found applications in various branches of physics such as QCD, string theories and membrane theories, among others 4. In the case of QCD, for example, they provide a method for studying nonperturbative phenomena systematically, which is different from the usual lattice studies. In fact, there is a lot of activity in the study of light-front eld theories within the context of QCD. Many of the features of light-front theories are quite distinct from the conventional equal-time eld theoriesone of the most signicant being that light-front theories are rst order as opposed to conventional theories which are second order in time derivatives and, correspondingly, describe different degrees of freedom. While the behavior of conventional eld theories at nite temperature are quite well understood by now 57, a systematic study of the thermal properties of light-front eld theories is lacking so far. It is the purpose of this paper to work out the essential properties of scalar and fermion lightfront eld theories at nite temperature. We will defer the study of light-front gauge theories to a future publication. It would seem that the generalization of the thermal eld concepts to light-front theories should be straightforward. In fact, in n dimensions, if we dene the light-front time variable as x 1
where represents the inverse temperature in units where the Boltzmann constant is unity. This has been, in fact, the general thinking 8. However, as we will show, this straightforward generalization is incorrect and leads to various problems. We will discuss the proper description of thermal eld theories for scalars and fermions, on the light front, both in the imaginary as well as the real time formalisms. In Sec. II, we will describe the naive generalization of the concepts of thermal eld theories to light-front scalar eld theories, both in the imaginary and the real time formalisms, and show that this leads to various problems. The source of the difculty is identied in Sec. III, where we give the proper description of light-front scalar theories at nite temperature. We calculate various quantities of interest such as the thermal mass correction as well as the nonanalyticity in the self-energy. We show that there are more possible limits that can arise in these theories, in contrast to conventional thermal eld theories. A short description of the tensor decomposition, which has a richer structure in such theories, is also given. In Sec. IV, we discuss briey the generalization of light-front fermion theories to nite temperature. Here a new feature arises since these theories have only half the number of independent degrees of freedom 3. The generalization of light-front gauge theories to nite temperature as well as various other applications are under study and will be described in a future publication.
II. NAIVE GENERALIZATION TO FINITE TEMPERATURE
x 0 x n1
In this section, we will discuss the naive generalization of the techniques of thermal eld theory to the light-front scalar eld theories. Let us briey establish the notation. In n dimensions, we dene x 1
P 0 P n1 .
x 0 x n1
This would suggest that the ensemble average of an arbitrary operator, O, in the light-front eld theory, should be dened as
where x is identied with the light-front time coordinate. ), where x Denoting the coordinate vector as x ( x , x , x represent the ( n 2) transverse coordinates, it is easy to see that the nontrivial components of the metric in this basis have the form
sica, Universidade Fed*Permanent address: Departamento de F , 66075-110 Bele m, Brazil. eral do Para 0556-2821/2002/6612/1250089/$20.00 66 125008-1
1,
i j i j
B . A B A B A B A
In the light-front variables, the Lagrangian density for a 4 theory, for example, takes the form 1 m2 2 4 2 . L 2 2 4! 8
The momentum vector can also be written as p ), where p can be identied with the energy ( p , p , p variable. In the light-front variables, the Einstein relation takes a linear form p
2 m 2 p
2p
It is clear that the Euler-Lagrange equations, following from this, are only rst order in the x derivative, which is a distinctive feature of light-front theories. The quantization of this theory has been discussed quite a lot in the literature and without going into details, we simply note here that the Feynman rules for this theory, at zero temperature, take the form
where all the momenta, at the vertex, are assumed to be incoming. In going to nite temperature, as is well known, the interaction vertices of the theory are unaffected, but the propagators modify to reect the periodicity or antiperiodicity of the eld variables 57. Let us generalize the theory in Eq. 8 to nite temperature, following the naive identication
iG p 2 p n B p 2 p p 2 p iG p 2 p n B p 2 p p 2 p iG p i 2p p 2 p i 11
O Tr e H O Tr e P O.
10
2 n B p 2 p p 2 p
We can describe the resulting theory either in the real time formalism or in the imaginary time formalism and we discuss the two cases separately.
A. Real time formalism
where we have introduced the bosonic distribution function n B x and have dened
2 2 2 p p m .
1 e 1
x
Let us describe the propagators of the theory in the closed time path formalism 7,9 for simplicity. A similar structure for the propagators results in thermoeld dynamics 7,10, which we do not go into. It is well known that, in the real time formalism, the eld degrees of freedom double and the propagators have a 2 2 matrix structure. In the case of the light-front scalar eld theory with the conventional generalization in Eq. 10, the propagators for the doubled degrees of freedom have the forms iG p i 2p p
12
2 p i
2 n B p 2 p p 2 p
It is worth remembering that p involves only ( n 2) transverse components of the momenta, as opposed to the conventional theories where it depends on all the ( n 1) spatial components of the momentum. We also note that the subscripts refer to the original and the doubled degrees of freedom respectively. The propagators have the usual structure of a sum of the zero temperature part and the nite temperature part. However, the sign of trouble is already apparent in the form of the propagators in Eq. 11. The
125008-2
thermal distribution function does not seem to provide the necessary damping, as is usual in conventional thermal eld theories. Namely, for p 0 which is allowed by the delta function constraint, the distribution function diverges. As we will see soon, more difculties arise in actual calculations. There are two kinds of vertices in the thermal eld theory, type and type, with a relative sign difference between the two. However, at one loop, there is no mixing between the original and the doubled degrees of freedom. As a result, the one loop correction to the self-energy simply involves the tadpole graph see Fig. 1, which can be readily evaluated. i p i 2
d nk
2 n
iG k .
13
The form of the thermal correction in Eq. 15 is exact and is quite interesting. It shows that even though this represents the thermal correction, it has a divergent part that is independent of temperature. Thus, it would seem that in a thermal background, the theory would require additional temperature independent counterterms beyond the ones needed for the regularization of the zero temperature theory. This is quite distinct from the behavior of the conventional thermal eld theories and, if true, would cause enormous problems with the renormalizability properties of the lightfront theories at nite temperature. Furthermore, since the integration over the ( n 2) transverse directions is yet to be performed, we see that the temperature dependent part of the amplitude is nite only in 1 1 dimensions. In any other dimension, the temperature dependent part diverges as well, requiring temperature dependent counterterms. We would like to emphasize here that, even though Eq. 15 represents the temperature dependent part of the one loop self-energy, it does not vanish when temperature vanishes, namely as . This is connected with the problem alluded to earlier, namely, since k can take a vanishing value, the limit of the distribution function is ambiguous it is nonanalytic at that point. Further problems arise when one studies the self-energy for the 3 theory on the light front, but we will not go into the details of these here. These are serious problems which suggest that the naive generalization of ideas from conventional thermal eld theories may not be appropriate in the case of light-front eld theories. In the next section, we will analyze the source of these problems and propose the appropriate generalization for such theories.
B. Imaginary time formalism
Separating out the zero temperature part, the thermal correction to the self-energy can now be easily obtained. In fact, because of the delta function, the k integral can be trivially done leading to
() i p
i 2 2 n1 i 2 2 n1
d nk n B k 2 k k 2 k d n2k
dk
nB
2 k
2k
In the imaginary time formalism, we rotate the theory to Euclidean space imaginary time and assume that the energy variable takes discrete values. Consequently, the energy integrals are replaced by a sum over the discrete Matsubara frequencies. In the light-front theories, this translates to replacing, in the scalar propagator, p 2 i nT 16
. 14
It is clear that the k integral is divergent at the ultraviolet limit, k , and needs to be regularized. Regularizing the power of k in the denominator yields
() i p lim
where T 1/ denotes temperature. As a result, the scalar propagator, in the imaginary time formalism, becomes G p 1 4 i nTp 2 p . 17
i 2 2 n1
d n2k i 4 2
dk
k
n 1 B
2 k
2k
The tadpole diagram, Fig. 1, is now straightforward to evaluate in the imaginary time formalism, p 2
d n1k
2 n1
G k
lim
n1
d n2k
2 2 n1
2 1 C ln 2 ln 2 O . 15 k
125008-3
d n1k T
2 n 4 i nTk
k coth
4 2 n1
d n2k
dk
2 k
4 Tk
. 18
dk k
2 2 n1
coth
d n2k
semble average 20 to light-front theories and, consequently, there are bound to be problems. Note that, for Eq. 22 to reduce to Eq. 10, we must have u (1,0,0, . . . ,0), which, with the light-front metric, gives
2 k
4 Tk
u 0. u u 2 u u u
This is inconsistent with Eq. 21 and this is another way of saying that we cannot have a heat bath at rest on the light front. It is clear, therefore, that in dealing with light-front eld theories, we must use a manifestly covariant description of the thermal eld theories. With this, let us now discuss the proper generalization of real time and imaginary time formalisms for light-front eld theories separately. In this section, we will restrict ourselves to scalar eld theories and describe fermion theories in the next section.
A. Real time formalism
d n2k
dk
nB
2 k
2k
. 19
This is exactly the same expression as in Eq. 14 and, therefore, all the subsequent analysis of the earlier subsection follows. The real time and the imaginary time formalisms give the same result which is, however, plagued by problems. We will discuss next the source of the problem.
III. THE PROPER GENERALIZATION TO FINITE TEMPERATURE
To understand the source of the problems in the last section, let us recapitulate briey what happens in a conventional theory. In a conventional thermal eld theory, the thermal part of the propagator represents the interactions of the particle with the thermal distribution of real particles in the medium. This is suppressed at high energies. In contrast, the propagators in Eq. 11, as we have argued, do not provide the necessary damping. The form of the propagators is, of course, derived from the assumption that the ensemble average, in light-front theories, is given by Eq. 10. This is, in fact, where the problem lies. In a conventional theory, when one assumes that the ensemble average has the form
Let us assume that the heat bath is moving with a velocity u subject to Eq. 21. In that case, in the closed time path formalism, the propagators for the scalar eld theory take the forms for the doubled degrees of freedom iG p i 2p p 2 p i 2 n B u p 2 p p 2 p iG p 2 u p n B u p 2 p p 2 p iG p 2 u p n B u p 2 p p 2 p iG p i 2p p 2 p i 23
O Tr e
O,
20
2 n B u p 2 p p 2 p.
it is understood that we are in a Lorentz frame where the heat bath is at rest. In fact, this is not a manifestly Lorentz covariant description. One can give a manifestly covariant description of thermal eld theories 11,12 at the expense of introducing a velocity for the heat bath, u , normalized to unity, namely u u u u 1 and generalizing the ensemble average to
P
A simple choice for the velocity of the heat bath satisfying Eq. 21, for example, is in the light-front basis u 1
1,1,0,0, . . . ,0
24
21
O Tr e u P O Tr e u
O.
22
p p
In a conventional thermal eld theory, where the metric is diagonal and is of the form ( , , , . . . , ), one can choose a rest frame of the heat bath corresponding to u (1,0,0, . . . ,0) consistent with Eq. 21 and, in this case, Eq. 22 would reduce to the conventional denition of ensemble average in Eq. 20. In contrast, a light-front description of a theory is manifestly relativistic. Intuitively, it is clear that it is not possible to have a heat bath at rest on the light front. Equation 10, on the other hand, is a generalization of the rest frame en-
p p .
It is easy to see that this distribution function provides the necessary damping, on-shell, both at p 0 and p . With this modication of the propagators, we can now reevaluate the tadpole diagram see Fig. 1. With Eq. 24, the temperature dependent part of the tadpole graph has the form
125008-4
() i p
2 2 n1 1
d nk n B
k k 2 k k 2 k
where G R , G A denote the retarded and the advanced propagators respectively and we have dened a vector u which is orthogonal to u as well as to any vector in the transverse ( n 2) dimensional space and has a spacelike normalization, namely, u u 0, u u 1. 29
i 2 2 n1
d n2k
2 2 k 2 k
2 2 k
dk k
nB
25
For the choice in Eq. 24, u 1/2(1, 1,0, . . . ,0). For completeness, let us also note here the forms of the propagator in the formalism of thermoeld dynamics in light-front scalar eld theories, with proper generalization, i 2p p 2 p i
It is worth emphasizing that, unlike the corresponding expression with the naive generalization in Eq. 14, this integrand is well behaved in both the limits k 0 and k as is expected of a thermal amplitude. As a result, it does not need any regularization. Furthermore, it vanishes at zero temperature, , as we would expect since it represents the thermal correction to the self-energy. However, in general, it cannot be evaluated in a closed form. In the high temperature limit, m 1, and in four space-time dimensions, the integral has the value,
() i p
iG 11 p
2 n B u p 2 p p 2 p
iG 12 p 2 n B u p e u p /2 2 p p 2 p iG 21 p 2 n B u p e u p /2 2 p p 2 p iG 22 p i 2p p 2 p i 30
i 24 2
O m .
26
There are several things to note from this result. First of all, this yields a thermal mass correction which, in the high temperature limit, has the form
2 mT
2 n B u p 2 p p 2 p.
24
T2 0. 24
27
Finally, let us note that since, in this case, we have two u , any given preferred vectors available, namely, u and vector can be uniquely decomposed as
u u A T A A u u A
31
Namely, the thermal mass correction is positive as is the case in conventional theories. This is, in fact, crucial for restoration of symmetry at nite temperature. More interestingly, we note that the thermal mass correction coincides exactly with that obtained in a conventional thermal scalar eld theory in four dimensions. Before closing this subsection on the real time formalism, let us note that the propagators 23 satisfy the usual relations iG p iG p iG p iG p iG p iG p iG p iG p iG R p i 2 u p u p 2 p i sgn u p
2
is transverse to both u , u . Similarly, any higher where A T order tensor structure can also be decomposed with respect to these two vectors. In this way, a richer tensor structure arises in light-front theories at nite temperature than in conventional thermal eld theories.
In the imaginary time formalism, in the covariant description, it is the variable ( u p ) that is rotated to Euclidean space and takes discrete values. Thus, u p 2 i nT which, with the choice of Eq. 24, leads to p p p 2 2 i nT p where we have identied p 2 2 i nT . 34 33 32
iG p iG p iG p iG p iG A p i 2 u p u p 2 p i sgn u p
2
28
125008-5
ing u p as an independent variable. As a result, the scalar propagator, in the imaginary time formalism, takes the form G p 1 2 p p p 2 p 1
2 4 2 i nTp 2 p 2 p
35
An alternate way of doing the rotation is to decompose the momentum vector as in Eq. 31 and rotate u p while treat-
With this, let us calculate the tadpole diagram, Fig. 1, in the 4 theory,
2 2
n1
d n 1 k 2 T
n
coth
G k , n
2 2
n1
4 2 n1
d n2k
dk k
2 2 k 2 k
4 2 k T
d n 1 k 2 T
1
2 4 2 i nTk 2 k 2 k
36
Here, the factor of 2 arises from the Jacobian because of the particular choice of the unit vector. Separating out the zero temperature part, then, leads to the thermal correction to the self-energy, 2 2 n1
()
n2
dk k
nB
2 2 k 2 k
2 2 k
37
which coincides with the result calculated earlier in the real time formalism in Eq. 25 and all the subsequent analysis carries through. As another example, let us calculate the one loop scalar self-energy in a massive 3 theory in 3 1 dimensions see Fig. 2. In the imaginary time formalism, this has the form g2 2 2 3 g2 2 2
3
d 3 k 2 T d 3 k 2 T
G k,m G k p,m m
1 2 2 2 i mT k k
2 k
1 . 2 2 2 2 i mT p k p k p k p
38
d 3k k k p
1
2 2 k p 2 k p
2 2 2 2 k p k 2 k p 2 k p coth coth 4 2 k T 4 2 k p T 2 2 T
2 k p
2 2 k 2 k
2k
39
If we use here the fact that p 2 2 i nT as well as the periodicity of the hyperbolic function, the self-energy becomes upon rotation to real time
125008-6
g2 16 2
3
d 3k k k p
2 2 k p 2 k p
1 2 k p
2 2 k 2 k
2 2 2 2 k k 2 k p 2 k p coth coth 4 2 k T 4 2 k p T
2k .
p p
40
It is now easy to take various limits of this expression. In fact, in the present case, we have more possibilities of taking limits than in a conventional thermal eld theory 12,13. For 0 and take the limit example, we note that if we set p p p 0, we obtain
in this case. Let us consider, for example, a free massive fermion theory on the light front described by the Lagrangian density, L i m . 44
0 0. p 0,p 0,p
41
0 and take the limit On the other hand, if we set p p p 0, we obtain 0 p 0,p 0,p
g2 2562 T
3
We can, of course, add interactions, but, as we know, interaction vertices are not modied at nite temperature. Therefore, it is sufcient to look at the free theory to determine the propagators at nite temperature. Let us dene the light-front gamma matrices
d 3k
1
k
2
2 k
42
0 n1 .
45
cosech2
2 2 k 2 k
4 2 k T
Finally, we can also set p p 0 and take the limit p 0. In this limit, we obtain 0 p 0,p 0,p
g2 2562 3 T
46
2 2 k 2 k d 3 k 2 cosech2 . 4 2 k T k
43 This shows that the three different ways of approaching the origin in the energy-momentum space lead to quite different results. Thus, light-front theories have a richer structure than the conventional thermal eld theories also in this sense. Note, however, that as T 0, all three limits lead to a vanishing result, as would be expected in a zero temperature theory. Furthermore, an interesting question arises as to whether the three limits would lead to newer denitions of masses in light-front theories in a conventional thermal eld theory, we have only the screening mass and the plasmon mass corresponding to the two possible limits that are allowed. Even the question of what would correspond to the screening and the plasmon masses in such theories remains an open question.
IV. FERMION THEORIES
() P () .
49
() 0 ().
50
The fermion theories on the light front are more tricky simply because the number of degrees of freedom decreases
125008-7
L 2 ( ) i ( ) ( ) i ( )
This is well behaved with the two point function, in this projected space, corresponding to p 2 m 2
1 m () () i 2
1 m () . () i 2
2 p
51
2 p p 2 p
2 p
It is clear now that only the ( ) , ( ) degrees of freedom are dynamical. The other degrees of freedom are related to these and can be eliminated. The fermion propagator, at zero temperature, has been derived long ago 3 and has the form
and this propagator can be easily generalized to nite temperature. We note that this form of the propagator has also been calculated earlier directly from the eld decomposition in 14. The fermion propagators at nite temperature, in the real time formalism closed time path, now take the forms p 2 p iS
y 0 iS F x y 0 T x
2 i
i 2p p 2 p i
dnp
2
e ip ( x y ) n
p m p 2 m 2 i
2p
2 n F u p 2 p p 2 p
p 2 2 p n F u p u p iS 2 p p 2 p p 2 2 p n F u p u p iS 2 p p 2 p
p m p 2 m 2 i
2p
p m p 2 m 2 i 53
p 2 p iS
i 2p p 2 p i
p , p
2 m 2 p
2p
54
2 n F u p 2 p p 2 p
57
The second form of the propagator makes it very clear that, when properly normalized, it can be thought of as a projection operator and, consequently, its inverse does not exist. This is, therefore, not a suitable structure to generalize to nite temperature. On the other hand, the singular structure of the zero temperature propagator simply reects the fact that there are constraints in the theory, namely, that not all the degrees of freedom are dynamical. If we eliminate the nondynamical degrees of freedom, the entire theory can be recast in terms of ( ) , ( ) variables. Therefore, the relevant propagator, from the point of view of the theory, is
S F x y 0 T ( ) x ( ) y 0
The propagators in thermoeld dynamics can similarly be obtained and we do not go into this here. In the imaginary time formalism, the fermion propagator, for the independent degrees of freedom, takes the form S p
2 p
2 2 2 i 2 n 1 p T 2 p 2 p
58
0 P ()T x y 0 P ( ) 0
V. SUMMARY
d p
2
e ip ( x y ) S F p . n
55
This can, in fact, be calculated from Eq. 53 in a simple manner and is determined to be S F p
2 p
p 2 m 2 i
2 p
2 p p 2 p i
56
In this paper, we have described how light-front eld theories can be generalized to nite temperature. We have shown that the naive generalization leads to problems and the origin of the difculty is identied. Since light-front eld theories describe relativistic systems, a covariant description of thermal eld theories becomes necessary for the proper formulation of thermal light-front theories. We discuss scalar and fermion light-front eld theories at nite temperature in detail, including issues such as nonanalyticity of self-energy
125008-8
and tensor decomposition. Several open questions are also discussed. Light-front gauge theories at nite temperature as well as further applications are presently under study and will be reported later.
This work was supported in part by U.S. DOE Grant number DE-FG 02-91ER40685 and by CAPES, Brazil.
1 P.A.M. Dirac, Rev. Mod. Phys. 21, 392 1949; Lectures in Quantum Mechanics Benjamin, New York, 1964; A.J. Hanson, T. Regge, and C. Teitelboim, Constrained Hamiltonian Systems Academia Nazionale dei Lincei, Rome, 1976; E.C. G. Sudarshan and N. Mukunda, Classical Dynamics: A Modern Perspective John Wiley, New York, 1974. 2 S-J. Chang and S. Ma, Phys. Rev. 180, 1506 1969. 3 S-J. Chang, R.G. Root, and T-M. Yan, Phys. Rev. D 7, 1133 1973; S-J. Chang and T-M. Yan, ibid. 7, 1147 1973. 4 There are too many papers on the subject for us to list. Instead, we are going to refer the readers to a few review articles which can serve as sources for other references. M. Burkhadt, Adv. Nucl. Phys. 23, 1 1996; S.J. Brodsky, H.C. Pauli, and S.S. Pinsky, Phys. Rep. 301, 299 1998; K. Yamawaki, Zero mode problem on the light-front, hep-th/9802037; T. Heinzl, Light-cone quantization: Foundations and applications, hep-th/0008096. 5 J. Kapusta, Finite Temperature Field Theory Cambridge University Press, Cambridge, England, 1989.
6 M. Le Bellac, Thermal Field Theory Cambridge University Press, Cambridge, England, 1996. 7 A. Das, Finite Temperature Field Theory World Scientic, Singapore, 1997. 8 S.J. Brodsky, Nucl. Phys. B Proc. Suppl. 108, 327 2002. 9 J. Schwinger, J. Math. Phys. 2, 407 1961; Lecture Notes of Brandeis Summer Institute on Theoretical Physics, edited by S. Deser et al. Gordon and Breach, New York, 1960. 10 H. Umezawa, H. Matsumoto, and M. Tachiki, Thermoeld Dynamics and Condensed States North-Holland, Amsterdam, 1982. 11 W. Israel, Ann. Phys. N.Y. 100, 310 1976; Physica A 106, 204 1981. 12 H.A. Weldon, Phys. Rev. D 26, 1394 1982. 13 H. Weldon, Phys. Rev. D 47, 594 1993; P.F. Bedaque and A. Das, ibid. 47, 601 1993; A. Das and M. Hott, ibid. 50, 6655 1994. 14 P.P. Srivastava and S.J. Brodsky, Phys. Rev. D 64, 045006 2001.
125008-9