arxiv:hep-th/ v1 27 Apr 1997

Transcription

1 HUB-EP-97/5 HD-HEP-97/4 arxiv:hep-th/97494v 7 Apr 997 he wo-loop Euler-Heisenberg Lagrangian in Dimensional Renormaliation D. Fliegner a, M.Reuter b, M. G. Schmidt a, C. Schubert c a Institut für heoretische Physik, Universität Heidelberg Philosophenweg 6, D-69 Heidelberg, Germany b Deutsches Elektronen-Synchrotron DESY, Notkestrasse 85, D-63 Hamburg, Germany c Institut für Physik, Humboldt Universität u Berlin Invalidenstr., D-5 Berlin, Germany Abstract We clarify a discrepancy between two previous calculations of the two-loop QED Euler-Heisenberg Lagrangian, both performed in proper-time regulariation, by calculating this quantity in dimensional regulariation. address D.FliegnerhPhys.Uni-Heidelberg.De address M.G.SchmidthPhys.Uni-Heidelberg.De address schubert@qft.physik.hu-berlin.de Supported by Deutsche Forschungsgemeinschaft

2 One of the earliest results in quantum electrodynamics was Euler and Heisenberg s calculation of the one-loop effective Lagrangian induced by an electron loop for an electromagnetic background field with constant field strength tensor F µν. Written in Schwinger s proper-time representation, this Lagrangian reads L () spin F = (ea)(eb) 8π 3 e m tan(ea)tanh(eb). () Here a and b may be expressed in terms of the two invariants of the electromagnetic field, a = E B + (E B ) + 4(E B) b = (E B ) + (E B ) + 4(E B). () Schwinger also supplied the corresponding result for scalar quantum electrodynamics, L () scal F = (ea)(eb) 6π 3 e m sin(ea)sinh(eb). (3) Even the first radiative correction to the Euler-Heisenberg Lagrangian, due to the exchange of one internal photon in the electron loop, has been obtained many years ago by Ritus 3 in terms of a two-parameter integral. Dittrich and one of the authors 4 later obtained a similar but simpler integral representation for the same quantity. hey also verified the agreement of both representations in the strong field limit. In a recent publication 5 three of the present authors showed that this type of calculation can be considerably simplified using the worldline path integral variant 6, 7, 8, 9,,, of the Bern-Kosower formalism 3, 4. his third calculation led to exactly the same parameter integral for the regularied effective Lagrangian as the Dittrich-Reuter calculation, however in a more elegant way. All three calculations were performed in four dimensions, proper-time regulariation, and on-shell renormaliation. his choice of regulariation keeps the integrations simple, but at the two-loop level makes it already somewhat nontrivial to achieve a consistent on-shell renormaliation. he difficulty is due to the non-universal nature of the proper-time cutoff, and somewhat similar to the problems encountered in multiloop Feynman diagrams calculations performed with a naive momentum space cutoff (see 5 and references therein). In fact, the calculation in 5 was incomplete in so far as we were not able there to determine the finite part of the one-loop mass displacement appropriate to the present calculational scheme. Moreover, as a byproduct of this investigation we found that the formulas obtained by Ritus and Dittrich-Reuter for the renormalied effective Lagrangians are incompatible as they stand, and for the very same reason; if at all, they can be identified only after a certain finite mass renormaliation. One had to conclude that in (at least) one of the two previous calculations the physical renormalied electron mass had been misidentified (the strong field limit checked in 4 is not sensitive to this discrepancy). In the present letter, we clarify this matter by recalculating this effective Lagrangian in dimensional regulariation. his paper should thus be seen as supplementing 5, and the reader is referred to that publication for some of the details of the formalism used here.

3 As usual in applications of the string-inspired technique to QED, our calculation of the two-loop Euler-Heisenberg Lagrangian for spinor QED will yield the corresponding Lagrangian for scalar QED as a partial result. We therefore consider the scalar QED case first. In scalar QED, our starting point is the following worldline path integral representation for the bare dimensionally regularied two-loop Euler-Heisenberg Lagrangian 5, 9,, L () scal A = e y()=y() Γ( D ) Dy 4π D e m dτ a ẏ(τ a ) ẏ(τ b ) exp (y(τ a ) y(τ b ) ) D dτ b dτ( 4ẏ + ieẏ µ A µ (x + y)). (4) Here denotes the usual Schwinger proper-time parameter for the scalar circulating in the loop. he path integral Dy is to be performed over the space of all closed loops in D - dimensional spacetime, with an arbitrary but fixed center of mass x, and traversed in the fixed proper-time. he parameters τ a,b parametrie the end-points of the photon exchanged in the scalar loop. his form of the photon insertion corresponds to Feynman gauge. We use euclidean conventions both on the worldline and in spacetime. his representation of the effective action in terms of a first-quantied path integral goes essentially back to Feynman 6, except that we have dimensionally continued it to D dimensions. It is useful to take the background field A in Fock-Schwinger gauge centered at the loop center of mass x 7, where one has A µ (x + y) = yν F νµ. Exponentiating the denominator of the photon insertion using a proper-time parameter, one arrives at L () scal e m F = e Dy ẏ a ẏ b exp d (4π ) D dτ a dτ b ( dτ 4ẏ + i eyµ F µν ẏ ν) (y a y b ) 4. (5) he new path integral is gaussian, so that its evaluation amounts to a single Wick contraction of ẏ a ẏ b. his leads to 5 L () scal F = e (4π) D det e m D sin(ef) det ef C ab d dτ a dτ b ẏ a ẏ b. (6) Of the (Lorent) determinant factors appearing here, the first one yields just the one-loop Euler-Heisenberg-Schwinger integrand eq. (3). It represents the dependence of the path integral determinant on the external field 7, while the second determinant factor represents its dependence on the photon insertion. he Wick contraction is given by 5 ẏ a ẏ b = tr G + ( G Baa G )( G ĠBbb) C, (7) ab

4 where ( ef G B (τ,τ ) = (ef) sin(ef) e iefġb + iefġb ) is the bosonic one-loop worldline Green s function modified by the constant field 5, 7, 8, 9, and C ab G Baa G G Bba + G Bbb. G B generalies the ordinary worldline Green s function G B, G B (τ i,τ j ) = τ i τ j (τ i τ j ). (9) We will often abbreviate G B G B (τ,τ ) etc., and a dot always denotes a derivative with respect to the first variable, e.g. Ġ B = sign(τ τ ) (τ τ ). Performing a partial integration with respect to τ a on the first term in eq. (7) one can derive the alternative parameter integral (8) L () scal F = e (4π) D det { e m D sin(ef) det trġtr ef G C ab C ab d dτ a dτ b ( G Baa G + tr )( G ĠBbb) } C. () ab For our present purpose, we can restrict ourselves to the pure magnetic field case. his field we take along the -axis, so that F = B, F = B are the only non-vanishing components of the dimensionally continued field strength tensor. We also introduce the following abbreviations, γ eb ( + G ) γ ( + G ) and the dependent Green s function G, G Ġ = sinh(ġ) sinh() cosh() cosh(ġab) sinh() = G 3 G + O( 4 ) () = Ġ 3 ĠG + O( 4 ) () (compare eq. (8)). With these definitions, we can then rewrite the various traces and determinants appearing in eqs. (6), () as 3

5 det sin(ef) ef ( C ab) tr G trġtr G C ab ( tr G aa Ġab)( G ab G bb ) C ab = sinh() γ D γ = Dδ(τ a τ b ) (D ) 4 cosh(ġ) sinh() = (D )Ġ + Ġ (D )Ġγ + Ġγ = (D )Ġ γ Ġ + 4 G γ. (3) he term involving δ(τ a τ b ), stemming from G, can be omitted, since it will not contribute in dimensional regulariation (it corresponds to a massless tadpole insertion in field theory). Inserting these expressions into either eq. (6) or eq. (), one finds that the resulting integrals suffer from two kinds of divergences:. An overall divergence of the scalar proper-time integral at the lower integration limit.. Divergences of dτ a dτ b at the point τ a = τ b where the photon end points become coincident. he first one must be removed by one- and two-loop photon wave function renormaliation, the second one by the one-loop renormaliation of the scalar mass. It turns out that this program is easier to carry out on a certain linear combination of eqs. (6) and (), namely L () scal B = D D eq.(6) + eq.() (4) D (A similar simplification can be achieved by taking the photon insertion in Landau gauge, though the resulting parameter integrals are not identical). Moreover, we rescale to the unit circle, τ a,b = u a,b, = ˆ, and use translation invariance in τ to set τ b =. hus in the following we have G = u a ( u a ),Ġ = u a. he resulting integral we write L () scal B = e (4π) D e m D d ˆ du a I(,u a, ˆ,D) (5) where the rescaled integrand I(,u a, ˆ,D) depends on only through. In contrast to the calculation in proper-time regulariation, the ˆ integration is nontrivial in dimensional regulariation. It will therefore be easier to extract all subdivergences before performing this integral. An analysis of the divergence structure shows that the integrand can be rewritten in the following way, K(,u a,d) d ˆ I(,u a, ˆ,D) = K (,u a,d) + f(,d)g D + O( 4,G D ) (6) 4

6 with K (,u a,d) = 4 D D D G f(,d) = D D(D ) + (D )(D 4)G D + ( D + 8D 4)G D 3D(D ) 4D 3 (D 4) + (8 4D) sinh() cosh() 8 sinh () = O( 4 ). (7) K consists of the terms constant and quadratic in, which are the only ones causing a divergence at =. he second term is O( 4 ), so that its integral already converges at =, however it diverges at u a =,. After splitting off these two terms, the integral over the remainder is already finite, so that one can set D = 4 in its explicit computation. For D = 4 the ˆ - integral becomes elementary, and yields { ln(g /G K(,u a,4) = A ) sinh() (G G ) + A ln(g /G ) (G G ) } A + (G )(G G ) + A 3 (G )(G G ) A = 3 G tanh() A = 4 G + (Ġ Ġ ab), A = 4 G + Ġ (Ġ Ġ ) A 3 = Ġ(Ġ Ġ ). (8) he divergences will now be removed by mass and photon wave function renormaliation, m = m + δm e = e Z 3 B = B Z 3. (9) So far we have worked in the bare regularied theory, so that all our previous formulas should, for the following, be considered written in terms of m,e,b instead of m,e,b (note that this leaves unaffected). Since we aim at a direct comparison with previous calculations, the renormaliation will be done using on-shell rather than minimal subtraction. In on-shell subtraction, the photon wave function renormaliation has the effect of simply removing the - part of K, and the remaining - independent term can, of course, be also discarded. he removal of the divergence caused by the second term in eq. (6) takes more effort, and the mere possibility requires a little conspiration. Let us denote the corresponding contribution to the effective Lagrangian by G scal (,D). For this term the u a - integration factors out, yielding 5

7 du a G D ( = B D, D ) = O(ǫ) () ǫ where B denotes the Euler Beta-function. o proceed further, it is essential to note that the function f(,d) can be related to the integrand of the scalar one-loop Euler-Heisenberg Lagrangian, eq. (3). In dimensional regulariation, and with the two terms lowest order in subtracted out via one-loop photon wave function renormaliation, this Lagrangian reads On the other hand, we can rewrite L () scal B = e m (4π) D sinh() + 6. () f(,d) = 8 D D(D ) D + d { } D sinh() + 6. () By a partial integration over, we can therefore reexpress e m D f(,d) = 8 D { m D(D ) + D 4 e m D e m 3 D sinh() + 6 sinh() + 6 } (there are no boundary terms since f() = O( 4 )). At the two-loop level, the effect of mass renormaliation consists in the following shift produced by the one-loop mass displacement δm, δl () scal B = δm m (3) L () scal B. (4) δm is generated by the UV divergence of the one-loop scalar self energy in scalar QED. his quantity we have to take from standard field theory. In dimensional regulariation one has δm = α m 6 4π ǫ + 7 3γ ln(4π) 3ln(m ) + O(ǫ). (5) Here ǫ = D 4, and γ denotes the Euler-Mascheroni constant. Expanding eqs. (), (3), and (4) in ǫ one finds that, up to terms of order O(ǫ), G scal (,D) = δm L () α m scal B + m (4π) 3 3γ 3ln(m ) + 3 m + 9 e m sinh() + 6. (6) Note that this differs by a sign from δm as used in 9. Here this denotes the mass displacement itself, there the corresponding counterterm. In comparing with 3, 4, 5, note that there this constant had been denoted by ln(γ). 6

8 Note that the whole divergence of G scal (,D) for D 4 has now been absorbed into δm. Our final answer for the two-loop contribution to the finite renormalied scalar QED Euler-Heisenberg thus becomes scal B = α (4π) 3 L () + α (4π) 3m 3 e m e m du a K(,u a,4) K (,u a,4) f(,4) G sinh() + 6 3γ 3ln(m ) + 3 m + 9 As far as is known to the present authors, the only previous calculation of the two-loop Euler- Heisenberg for scalar QED is the one in,. he parameter integral given there is rather different from ours, and we have not succeeded in directly identifying both representations. However, we have used MAPLE to expand both formulas in a aylor expansion in B up to order O(B ), and found exact agreement for the coefficients. Let us just give the first few terms in this expansion, L () αm4 scal B = (4π) ( B B cr )4 559 ( B B cr ) (7) ( B )8 936 ( B ) B cr 36 B cr (8) he expansion parameter has been rewritten in terms of B cr m e G. he corresponding calculation for spinor QED is completely analogous. In the worldline superfield formalism of 5, 9,, the formulas (6), (7) generalie to the following integral representation for the two-loop effective action induced by the spinor loop, L () spin F = ( )(4π) D( e tan(ef) D a y a D b y b det ef = tr D a D b Ĝ ab + ) e m D det Ĉab d dτ a dτ b D a y a D b y b, dθ a dθ b D a (Ĝaa Ĝab)D b (Ĝab Ĝbb) Ĉab. (9) he Ĝ appearing here is the constant field worldline superpropagator, Ĝ(τ,θ ;τ,θ ) G B (τ,τ ) + θ θ G F (τ,τ ) (3) which besides the bosonic propagator eq. (8) also contains a fermionic piece, G F (τ,τ ) = sign(τ τ ) e iefġb cos(ef). (3) Our superfield conventions are D = θ θ τ, dθθ =. Performing the Grassmann integrations, and removing G by partial integration over τ a, we obtain the equivalent of eq. (), 7

9 L () spin F = (4π) D e det e m D tan(ef) ( ef C ab ( G Baa +tr Ġ)( d dτ a dτ b ) { Ġ trġtr C ab G ĠBbb + G Faa ) + G Fab G Fab G Faa G Fbb C ab G Fab trg Fab tr C ab }. (3) Note that this formula reduces to eq. (), if one replaces tan(ef) by sin(ef), and deletes all the G F, as well as the global factor of (which accounts for the difference in statistics and degrees of freedom between the spin and spin loops). Contrary to the scalar QED case, here the partially integrated integral is already a suitable starting point for renormaliation (for more on this point see chapter 7 of 5). Specialiing to the magnetic field case, it is again easy to calculate the Lorent determinants and traces. After rescaling to the unit circle, one obtains a parameter integral L () spin B = (4π) D e he extraction of the subdivergences yields e m D d ˆ du a J(,u a, ˆ,D). (33) with L(,u a,d) L (,u a,d) = 4(D )G D 4 3D g(,d) = 4 3 d ˆ J(,u a, ˆ,D) = L (,u a,d) + g(,d)g D + O( 4,G D ) (34) D D (D )(D 4)G D + (D )(D 7)G D 6 sinh () + 3(D ) coth() (D 4) 3D = O( 4 ). L is again removed by photon wave function renormaliation. Denoting the contribution of the second term by G spin (,D), we note that the u a - integral is the same as in the scalar QED case, eq. (). Using the following identity analogous to eq. (), (35) g(,d) = 8 D D D + d { } D tanh() 3 (36) we partially integrate the remaining integral over. he ǫ - part of G spin is then again found to be just right for absorbing the shift induced by the one-loop mass displacement, α δm = m 6 4π ǫ + 4 3γ ln(4π) 3ln(m ) + O(ǫ). (37) Up to terms of order ǫ one obtains 8

10 G spin (,D) = δm m L() spin B + m α (4π) 3 e m tanh() 3 γ + ln(m ) m 8. (38) Our final result for the on-shell renormalied two-loop spinor QED Euler-Heisenberg Lagrangian is L () spin B = α (4π) 3 α (4π) 3m 3 e m e m du a L(,u a,4) L (,u a,4) g(,4) G tanh() 3 8 γ ln(m ) + m (39) with { ln(g /G L(,u a,4) = B ) } tanh() (G G + B ) G (G G ) + B 3 G (G G ) ( ) B = 4 coth() tanh() G 4G B = ĠĠ + (8tanh() 4coth())G B 3 = 4G ĠĠ 4 tanh()g + L (,u a,4) = + G g(, 4) = 6 sinh() + coth(). (4) Comparing with the previous results by Ritus and Dittrich-Reuter, we have again not succeeded in a direct identification with the more complicated parameter integral given by Ritus 3. However, as in the scalar QED case we have verified agreement between both formulas up to the order of O(B ) in the weak-field expansion in B. he first few coefficients are L () αm4 spin B = (4π) ( B )4 9 B cr 5 ( B B cr ) ( B ) ( B ) (4) B cr 575 B cr On the other hand, our formula almost allows for a term by term identification with the result of Dittrich-Reuter 4, as given in eqs. (7.),(7.) there. his requires a rotation to Minkowskian proper-time, is, a transformation of variables from u a to v := Ġ, the use of trigonometric identities, and another partial integration over for the last two terms in eq. (39). he only discrepancy arises in the constant 8, which reads in the Dittrich-Reuter formula. Since this constant can be adjusted by a change of the finite constant appearing in δm, we conclude that the two previous results for this effective Lagrangian differ precisely by a finite 9

11 mass renormaliation. Moreover, it is clear that Ritus formula is the one which correctly identifies the physical electron mass. Finally, let us mention that the one-loop Euler-Heisenberg Lagrangian, and perhaps even its two-loop correction considered here, may possibly be measured in optical experiments in the near future 3. Acknowledgements: C.S. would like to thank O. arasov for discussions, and A.A. Vladimirov for correspondence.

12 References W. Heisenberg, H. Euler, Z. Phys. 38 (936) 74. J. Schwinger, Phys. Rev. 8 (95) V. I. Ritus, Sov. Phys. JEP 4 (975) W. Dittrich and M. Reuter, Effective Lagrangians in Quantum Electrodynamics, Springer M. Reuter, M.G. Schmidt and C. Schubert, IASSNS-HEP-96/9 (hep-th/969), Ann. Phys. (in press). 6 M. J. Strassler, Nucl. Phys. B385 (99) M. G. Schmidt, C. Schubert, Phys. Lett. B38 (993) 438 (hep-th/93955). 8 M. G. Schmidt, C. Schubert, Phys. Lett. B33 (994) 69 (hep-th/94358). 9 M. G. Schmidt, C. Schubert, Phys. Rev. D53 (996) 5 (hep-th/94). K. Daikouji, M. Shino, Y. Sumino, Phys. Rev. D53 (996) 4598 (hep-ph/958377). K. Roland, H. Sato, Nucl. Phys. B 48 (996) 99 (hep-th/9645). C. Schubert, Lectures given at the XXXVI Cracow School of heoretical Physics, Act. Phys. Pol. B 7 (996) 3965 (hep-th/968). 3 Z. Bern, D. A. Kosower, Phys. Rev. Lett. 66 (99) 669; Nucl. Phys. B379 (99) Z. Bern, D. C. Dunbar, Nucl. Phys. B379 (99) A.A. Vladimirov, eor. Mat. Fi. 36 (978) 7. 6 R. P. Feynman, Phys. Rev. 8 (95) S. L. Adler and C. Schubert, Phys. Rev. Lett. 77 (996) 695 (hep-th/96535). 8 D. Cangemi, E. D Hoker, G. Dunne, Phys. Rev. D5 (995) 53 (hep-th/9493). 9 R. Shaisultanov, Phys. Lett. B 378 (996) 354 (hep-th/954). V. I. Ritus, Zh. Eksp. eor. Fi. 73 (977) 87 Sov. Phys. JEP 46 (977) 43. S. L. Lebedev, FIAN No. 54, Moscow 98 (unpublished). A. M. Polyakov, Gauge Fields and Strings, Harwood D. Bakalov et al., Nucl. Phys. B35 (Proc. Suppl.) (994) 8; D. Bakalov, INFN/AE-94/7 (unpublished).