galaxies Article
Unitary Issues in Some Higher Derivative Field Theories Manuel Asorey 1, * 1 2 3 4 5
*
ID
, Leslaw Rachwal 2
ID
and Ilya Shapiro 3,4,5
ID
Departamento de Física Teórica, Universidad de Zaragoza, E-50009 Zaragoza, Spain Instituto de Física, Universidade de Brasília, C. P. 04455, Brasília, DF 70910-900, Brazil;
[email protected] Departamento de Física–ICE, Universidade Federal de Juiz de Fora, Juiz de Fora, MG 36036-900, Brazil;
[email protected] Department of Theoretical Physics, Tomsk State Pedagogical University, Tomsk 634061, Russia National Research Tomsk State University, Tomsk 634050, Russia Correspondence:
[email protected]
Received: 30 November 2017; Accepted: 2 February 2018; Published: 14 February 2018
Abstract: We analyze the unitarity properties of higher derivative quantum field theories which are free of ghosts and ultraviolet singularities. We point out that in spite of the absence of ghosts most of these theories are not unitary. This result confirms the difficulties of finding a consistent quantum field theory of quantum gravity. Keywords: quantum gravity; higher derivatives; non-local theories; unitarity; consistency conditions; Osterwalder-Schrader positivity; Kallen-Lehmann spectral representation PACS: 04.60.-m; 11.10.-z; 11.10.Cd; 11.10.Lm MSC: 81T05; 83D05
1. Introduction Higher derivative interaction terms arise in the effective theories of most of local quantum field theories. However, from a fundamental viewpoint, they are usually avoided because of their undesirable behaviour concerning causality and unitarity principles. Fortunately, the Standard Model is a renormalizable theory with only first and second order derivative terms in the action, which is consistent with locality, causality and unitarity requirements. On the other hand, the quantum theory of Einstein’s general relativity is non-renormalizable. A quantum theory of gravitation requires incorporating terms with a higher number of derivatives. Dealing with renormalizable or even UV-finite theories of quantum gravity requires, thus, to address the possible implications of higher derivative couplings on fundamental properties of the theory like unitarity and causality. Local field theory models of quantum gravity involving higher order derivatives have been classified as generalizations of Horndeski models [1]. It is remarkable that the early model of inflation introduced by Starobinsky [2] is embedded in those families. The R2 term, together with the cosmological constant term Λ, and the Einstein term R seem to account for the effective behaviour of gravitation at all scales, from the microworld to cosmology. The fact that all these terms are local seems to point out a general principle of the nature of fundamental interactions. The earliest attempt to introduce a renormalizable theory of gravity was carried out by Stelle in the seventies [3]. Super-renormalizable theories of quantum gravity with higher derivatives were first analyzed two decades later [4,5]. However, the appearance of higher derivatives in local field theories raises several consistency problems. First, their energy density is not bounded from below at least for non-degenerate theories
Galaxies 2018, 6, 23; doi:10.3390/galaxies6010023
www.mdpi.com/journal/galaxies
Galaxies 2018, 6, 23
2 of 7
because of Ostrogradski theorem [6]. In the quantum theory, negative energy states can be traded by negative norm states (or ghosts) leading to non-unitary theories [7,8]. The standard Pauli-Villars regularization can be formulated as a higher derivative theory that obviously contains ghosts, which spoil unitarity and causality properties of the theory. It has been also shown that any theory with higher order polynomial terms of D’Alambertian operator with real roots always contains ghosts by topological reasons [4]. But there are other attempts to overcome the ghost problem by tricks that remove the negative effects of the ghosts in particular theories. For instance, Lee-Wick theories skip the appearance of unphysical ghosts by using polynomials with complex conjugate poles [9,10] to provide a unitary S-matrix of gravitational excitations [11]. Another way of avoiding the ghost problem is to consider non-local theories with an infinite number of terms with an arbitrary number of derivatives, which sum up to form an entire function of the D’Alambertian operator. Since these functions have no poles on the whole complex plane, the problem is apparently solved [5]. One has to remember that a consistent field theory should match a set of basic principles, including relativistic invariance, causality, and unitarity. These principles impose strong conditions on physical Green functions, which guarantee that the analytic continuation in complex time of Wightman functions gives rise to Schwinger functions in Euclidean time. Thus, a consistent field theory must define not only regular Wightman functions but also regular Schwinger functions. Moreover, the Schwinger functions must satisfy the reflection positivity requirement. In particular the 2-point function must admit a Källén-Lehmann representation [12,13]. In this paper, we analyze the consistency issue for a large family of higher derivative theories which are super-renormalizable and ghost-free. We show that, in spite of their better ultraviolet behaviour [5,14] the higher derivative theories of this class fail to match the complete set of basic requirements and therefore may lead to pathological quantum field theories. So, even if the non-local ghost-free theories have interesting quantum and cosmological applications (see e.g., [15] and references therein) they cannot be considered as candidates for consistent fundamental theories of quantum gravity. 2. Non-Local Finite Scalar Theories Let us consider the simple case of a scalar field theory S(φ)
1 2
=
ˆ
( ∂ µ φ ) † ( ∂ µ φ ) − m2 | φ |2 −
4 λ 12 | φ |
.
(1)
Although it is unclear the renormalizability of the theory from a non-perturbative viewpoint, in four-dimensional spacetime the theory is perturbatively renormalizable. In perturbation theory the renormalization prescription requires a regularization of quadratically and logarithmically divergent Green functions. One way of regularizing the theory is by introducing an ultraviolet (UV) regulator. A particular choice is S(φ)
=
1 2
ˆ
φ† e(/Λ
2 )s
− − m2 φ −
4 λ 12 | φ |
,
(2)
where = ∂µ ∂µ is the D’Alambertian operator, Λ is an UV-regulator and the exponent s is a positive number. The theory is finite in the Euclidean sector because the propagator 2s
∆( p) = is strongly suppressed in the UV.
2s
e− p /Λ p2 + m2
(3)
Galaxies 2018, 6, 23
3 of 7
However, not all theories with higher derivatives can be considered as fundamental theories. The first reason is due to the classical instability of non-degenerate higher derivative theories [8], pointed out by the Ostrogradski theorem [6]. However, in the non-interacting case λ = 0, due to the quadratic dependence on the fields and the exponential nature of the higher derivative operators the energy density is always positive when evaluated on solutions of the classical equation of motion, rendering the free classical theory stable. This property can also be understood by the fact that one can re-absorb the exponential regulating factors in a field redefinition φ → φ0 = e(/Λ
2 )s/2
φ,
giving rise to a standard free field theory without any instability. From a quantum field theory viewpoint there are some basic principles that theories must satisfy. In particular [16–18]: (i) Analyticity: The n-point Wightman functions Wn ( x1 , x2 , . . . , xn ) = h0|φ( x1 )φ( x2 ) . . . φ( xn )|0i should define regular distributions and must admit an analytic continuation to regular n-point Schwinger functions Sn ( x1 , x2 , . . . , xn ) = Wn ( xe1 , xe2 , . . . , xen ) in the Euclidean spacetime coordinates xej = (ix0j , x j ). (ii) Reflection Positivity: The Schwinger functions Sn should satisfy Osterwalder-Schrader reflection positivity property [19,20]. In the case of the Euclidean 2-point function this property implies that ˆ θ f ( x )S2 ( x, y) f (y) > 0
(4)
for any function f ∈ C0 (R4+ ), where θ is the time-reversal transform defined by θ f ( x0 , x) = f ∗ (− x0 , x). The functions f in C0 (R4+ ) are continuous functions with compact support in the positive time half-space ( x0 > 0) of R4 . (iii) Källén-Lehmann representation: The Fourier transform of the 2-point Schwinger function should admit a Källén-Lehmann representation [13] ˆ Sb2 ( p) =
∞
dµ 0
ρ(µ) p2 + µ2
with a non-negative spectral density ρ(µ) > 0. The fundamental principles of the quantum theory (i)–(iii) together with some other technical requirements allow to reconstruct the quantum Hilbert space of the field theory from space-time multi-functionals f ( x1 , x2 , ...., xn ) with support on positive times ti > 0, i = 1, 2, . . . n (References [16,17]). The norm of the quantum states is defined by contraction of their indices with those of Schwinger functions (Refereces [16,17]). If the two-point function is not reflection positive Equation ´ (4) the induced norm would be negative for states of the form φ( f )|0i = dx φ( x ) f ( x ) |0i and the construction of the quantum theory from the Euclidean Schwinger functions would fail. In this sense, the failure of reflection positivity implies a failure of unitarity in the quantum field theory. In the simplest case s = 1, the tree-level two-point Schwinger function ˆ S2 ( x, y) =
d4 p ∆( p)eip(y− x) = (2π )4
ˆ
2
2
d4 p e− p /Λ ip(y− x) e (2π )4 p2 + m2
is finite. However, there is no analytic continuation to the real-time Minkowski space, as it is the case in the standard theory. The obstruction is due to the fact that the analytic continuation by Wick rotation requires the vanishing of the contribution of the contour integrals of the first and third quadrants at infinite distance, which is not satisfied in this case due to the existence of essential singularities at the infinity of the complex energy plane.
Galaxies 2018, 6, 23
4 of 7
The only divergence of the theory arises in the vacuum energy density ˆ ∆ E0 = −
2 d4 p p0 . (2π )4 Λ2
(5)
However, the consistency of the quantum theory requires satisfying the reflection positivity property Equation (4). This means that in particular S2 (θx, x ) = S2 (−τ, x; τ, x) > 0,
(6)
which is satisfied by the theory in the case s = 1, where ˆ S2 (θx, x ) =
2
2
d4 p e− p /Λ 2ip0 τ e > 0. (2π )4 p2 + m2
(7)
However, for theories with higher power exponents s > 1, this test of reflection positivity is not matched and the corresponding theories are not consistent. The breaking of this test of reflection positivity can be explicitly shown by numerical analysis (see Figure 1) and rigorously proved by 2s 2s analytic arguments [21,22]. When 0 < s 6 1 the exponential term e− p /Λ can be expanded as a non-negative convex combination of Gaussian terms e
− p2s /Λ2s
ˆ
∞
=
e− xp
2 /Λ2
ρ( x )dx.
(8)
0
with ρ( x ) > 0 for x > 0 due to Bernstein theorem [21]. Thus, the positivity of S2 (θx, x ) follows from that of the Gaussian with s = 1 Equation (7). However, for s > 1 the exponential term does not admit such a representation and the reflection positivity condition Equation (6) fails (see e.g., Reference [22]). 0.5
0.12
S2
s=3/2
0.10
0.4
S2 0.08
s=1/2
0.3
0.06
0.2 0.04
0.1
s=1
τ 2
4
6
8
s=3
0.02
10
τ 2
4
6
8
10
Figure 1. Euclidean time (τ) dependence of the (time-reflected) 2-point Schwinger functions S2 (−τ, x; τ, x) for a non-local scalar field theory with higher derivatives given by Equation (1). For values of s > 1 the S2 function always reaches negative values for some Euclidean times. The red (blue or black) color indicates the values of Euclidean time τ where negative (positive) values are attained. However S2 (−τ, x; τ, x) is always a strictly positive function for s 6 1.
Thus, even if the theory has no ghosts, it does not mean that it is unitary, as we have shown for s > 1. Moreover, even in the case s = 1 the fact that the 2-point Schwinger function is strictly positive S2 (θx, x ) > 0 does not imply that the corresponding operator S2 is positive definite. It simply means that the diagonal elements of the corresponding matrix are positive. But the matrix itself might be not positive definite. In other terms, it simply signifies that the two-point function is positive for the set of
Galaxies 2018, 6, 23
5 of 7
functions f which are highly localized in points of spacetime. In fact, it can be shown that the operator S2 is generally not a positive definite. It is enough to check that for some f ∈ C0 (R4+ ) ˆ θ f ( x )S2 ( x, y) f (y) < 0.
(9)
This negative result can be derived from the fact that the 2-point Schwinger function S2 ( x, y) does not admit a Källén-Lehmann representation for any value of s. This fact is a consequence of a mathematical theorem [23] proved by Widder [24] (see also [25,26]). 3. Non-Local Gravitational Theories The analogous super-renormalizable gravitational theories are described by the action ˆ ˆ ˆ 2 s √ √ √ S( g) = λκ g+κ gR + ακ g Rµναβ e(/Λ ) Rµναβ ˆ ˆ 2 s √ √ (/Λ2 )s µν + βκ R + γκ g Rµν e g R e(/Λ ) R.
(10)
Classical Ostrogradski instabilities also arise in these theories [8]. In perturbation theory, S( g) describes a theory of two self-interacting massless particles with helicities 2 and 0. The absence of ghosts can be shown from the absence of unphysical poles in the 2-point Schwinger function of the perturbation of the gravitational field: (2)
(2) Sµνρσ ( p2 )
=
Pµνρσ ( p2 ) p2 − β/2 e p
2s /Λ2s
p4 − 2 γ e p
2s /Λ2s
p4
(11)
(0)
− where
Pµνρσ ( p2 ) p2 + ( β/2 + 6α) e p
(2)
Pµνρσ ( p2 ) = − − + and
(0)
Pµνρσ ( p2 ) =
1 3
2s /Λ2s
p4 + 8 γ e p
2s /Λ2s
p4
,
1 1 2 δµρ δνσ + δνρ δµσ − 3 δµν δρσ pµ pρ p p p p δ − νp2 σ δµρ + 13 µp2 ν δσρ p2 νσ pµ pσ p p p p δ − νp2 ρ δµσ + 13 σp2 ρ δµν p2 νρ 2 pσ pρ pµ pν 3 p4
δµν δρσ −
(12)
,
pµ pν δ p2 σρ
−
pσ pρ δ p2 µν
+
pσ pρ pµ pν p4
(13)
are the projectors onto the spin-2 and spin-0 (stress scalar) components of the 2-point function. What happens in the higher derivative theory is that the 2-point Schwinger function Equation (11) does not satisfy the reflection positivity (2)
θSµνσρ > 0. As we have shown in the scalar case it is enough to prove that (2)
Sijij (θx, x ) is not positive for some values of x ∈ R4 and i 6= j. Indeed,
(14)
Galaxies 2018, 6, 23
6 of 7
(2) Sijij (θx, x )
2 = 3 1 − 3
ˆ
(1 + p2i p2j )e2ip τ d4 p (2π )4 p2 − β/2 e p2s /Λ2s p4 − 2 γ e p2s /Λ2s p4
ˆ
(1 + p2i p2j )e2ip τ d4 p (2π )4 p2 + ( β/2 + 6α) e p2s /Λ2s p4 + 8 γ e p2s /Λ2s p4
0
0
(15)
is not always positive definite for the same reasons that Equation (7) was not positive in the case of scalar fields. Thus, the absence of ghosts does not guarantee the unitarity of a theory. The higher derivatives theories Equation(10) are relativistically covariant. If, instead of the 2 s 2 s exponential form-factor e(/Λ ) , we consider a form-factor e(∆/Λ ) with only high spatial derivatives and only two time derivatives the field theory will be UV-finite and will satisfy the reflection positivity condition [27]. However, these theories are not relativistically invariant. Thus, it is the combination of Lorentz covariance with higher time derivatives which generates the unitarity issue. 4. Conclusions The search for a consistent theory of quantum gravity in field theory framework is still a very challenging open problem. The promising approach based on higher derivative theories has been always very attractive because of its nice ultraviolet behaviour and cosmological applications, including Starobinsky model of inflation. From a classical field theory viewpoint, many of these models were discarded by the presence of Ostrogradski instabilities. Quantization imposes even more constraints because of the appearance of ghost modes, which introduce violations of unitarity and/or causality. One way of overcoming these problems is by introducing form-factors with an analytic dependence on the propagating momenta. This approach is non-local but has the advantage that enables one to avoid ghosts with the hope that this will preserve all fundamental properties of a quantum field theory. We have shown that for all non-local theories involving an exponentially decreasing form-factors unitarity is not preserved. From the Euclidean approach to the quantum theory, we have demonstrated the existence of states with a negative norm. In summary, the family of non-local theories of this type cannot be considered as a consistent approach to quantum gravity. The analysis can be extended to other higher derivative models of gravity, which is left for a future work. There are alternatives to the models discussed here. The Lee-Wick theories are very special cases, which require a more detailed analysis. A family of models which pass our unitarity check is the Hoˇrava-Lifshitz family. However, in that case the recovery of general covariance and Lorentz symmetry in the infrared regime is not guaranteed. In any case, the problem is very challenging and the restrictions which our results impose on viable models of quantum gravity constrain very much the search for a consistent theory. This is not a bad news. It only means that if there is a quantum theory of gravity based on standard field theory it would be very special. The search of such a special theory requires a good understanding of restrictions imposed by the quantum theory principles. Acknowledgments: The work of M.A. is partially supported by Spanish MINECO/FEDER grant FPA2015-65745-P and DGA-FSE grant 2015-E24/2, and COST action program QSPACE-MP1405. The work of L.R. was partially supported by the COST grant for Short Term Scientific Mission (STSM) within the action MP1405-37241 for the group of QSPACE program. L.R. also thanks Instituto de Física, Universidade de Brasília and CAPES for support and warm hospitality during the final stage of this work. I. Sh. was partially supported by CNPq and FAPEMIG. Author Contributions: All authors contributed equally to the manuscript. Conflicts of Interest: The authors declare no conflict of interest.
Galaxies 2018, 6, 23
7 of 7
References 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27.
Horndeski, G.W. Second-order scalar-tensor field equations in a four-dimensional space. Int. J. Theor. Phys. 1974, 10, 363–384. Starobinsky, A.A. A new type of isotropic cosmological models without singularity. Phys. Lett. B 1980, 91, 99–102. Stelle, K.S. Classical gravity with higher derivatives. Gen. Relat. Gravit. 1978, 9, 353–371. Asorey, M.; Lopez, J.L.; Shapiro, I.L. Some remarks on high derivative quantum gravity. Int. J. Mod. Phys. A 1997, 12, 5711–5734. Tomboulis, E.T. Superrenormalisable gauge and gravitational theories. arXiv 1997, arXiv:9702146. Ostrogradski, M.V. Memoires sur les equations differentielles relatives au probleme des isoperimetres. Mem. Acad. St. Petersburg 1850, 6, 385–517. Gitma, D.M.; Tyutin, I.V. Quantization of Fields with Constraints; Springer: Berlin/Heidelberg, Germany, 1990. Frolov, V.P.; Zelnikov, A. Radiation from an emitter in the ghost free scalar theory. Phys. Rev. D 2016, 93, 105048. Lee, T.D.; Wick, G.C. Negative metric and the unitarity of the S-matrix. Nucl. Phys. B 1969, 9, 209–243. Lee, T.D.; Wick, G.C. Finite theory of quantum electrodynamics. Phys. Rev. D 1970, 2, 1033–1048. Modesto, L.; Shapiro, I.L. Superrenormalizable quantum gravity with complex ghosts. Phys. Lett. B 2016, 755, 279–284. Källen, G. On the Definition of Renormalization Constants in Quantum Electrodynamics. Helv. Phys. Acta 1952, 25, 417–434. Lehmann, H. Über eigenschaften von ausbreitungsfunktionen und renormierungskonstanten quantisierter felder. Nuovo Cimento 1954, 11, 342–357. Shapiro, I.L. Counting ghosts in the “ghost-free” non-local gravit. Phys. Lett. B 2015, 744, 67–73. Koshelev, A.S.; Modesto, L.; Rachwal, L.; Starobinsky, A.A. Occurrence of exact R2 inflation in non-local UV-complete gravity. J. High Energy Phys. 2016, 2016, 67. Glimm, J.; Jaffe, A. Quantum Physics; Springer: Berlin-Heidelberg, Germany, 1981. Asorey, M. A concise introduction to Quantum Field Theory. Int. J. Geom. Methods Mod. Phys. 2017, in press. Weinberg, S. The Quantum Theory of Fields; Cambridge University Press: Cambridge, UK, 1995; Volume 2. Osterwalder, K.; Schrader, R. Axioms for Euclidean Green’s functions. Commun. Math. Phys. 1973, 31, 83–112. Osterwalder, K.; Schrader, R. Axioms for Euclidean Green’s functions II. Commun. Math. Phys. 1975, 42, 281–305. Widder, D.V. The Laplace Transform; Princeton University Press: Princeton, NJ, USA, 1941. Elkies, N.D.; Odlyzko, A.M.; Rush, J.A. On the packing densities of superballs and other bodies. Invent. Math. 1991, 105, 613–639. Roberts, C.D. Hadron properties and Dyson-Schwinger equations. Prog. Part. Nucl. Phys. 2008, 61, 50–65. Widder, D.V. Necessary and sufficient conditions for the representation of a function by a doubly infinite Laplace integral. Bull. Am. Math. Soc. 1934, 40, 321–326. Krasnikov, N.V. Nonlocal gauge theories. Theor. Math. Phys. 1987, 73, 1184–1190. Efimov, G.V. Non-local quantum theory of the scalar field. Commun. Math. Phys. 1967, 5, 42–56. Asorey, M.; Mitter, P.K. Regularized, continuum Yang-Mills process and Feynman-Kac functional integral. Commun. Math. Phys. 1981, 80, 43–58. c 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access
article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
