Inconsistency of Minkowski higher-derivative theories

We show that Minkowski higher-derivative quantum field theories are generically inconsistent, because they generate nonlocal, non-Hermitian ultraviolet divergences, which cannot be removed by means of standard renormalization procedures. By"Minkowski theories"we mean theories that are defined directly in Minkowski spacetime. The problems occur when the propagators have complex poles, so that the correlation functions cannot be obtained as the analytic continuations of their Euclidean versions. The usual power counting rules fail and are replaced by much weaker ones. Self-energies generate complex divergences proportional to inverse powers of D'Alembertians. Three-point functions give more involved nonlocal divergences, which couple to infrared effects. We illustrate the violations of the locality and Hermiticity of counterterms in scalar models and higher-derivative gravity.


Introduction
The ultraviolet structure of quantum field theories is notoriously a fundamental problem in high-energy physics. Nowadays, with the Large Hadron Collider currently running at a center-of-mass energy of 13TeV, the standard model is experimentally verified at the TeV scale. On the theoretical side, the renormalizability of the standard model, together with the relatively small value found for the Higgs mass, m H ≃ 125GeV, imply that the model could be valid at energies much higher than the ones investigated so far. The interest in a high-energy modification of the standard model is, therefore, rather limited, on the practical side. As far as quantum gravity is concerned, the situation is different. The negative mass dimension of the coupling constant (compared with the dimensionless gauge couplings of the standard model) makes the Hilbert-Einstein action nonrenormalizable [1]. This fact, together with the difficulties to build up a phenomenology, render the investigation of alternative high-energy structures of quantum gravity more attractive.
An interesting class of higher-derivative quantum field theories are those whose propagators have complex poles. In that case, the Euclidean and Minkowski versions of the theories are not related to each other by the analytic continuation. In this paper, we concentrate on the Minkowski formulation of such theories, that is to say we integrate the loop energies along the real axis. We show that such theories are generically inconsistent, because they violate both the locality and Hermiticity of counterterms. For example, the one-loop bubble diagram Σ(p) of massless higher-derivative scalar fields in six spacetime dimensions evaluates to where Λ U V is a hard ultraviolet cutoff on the space momenta, M is the scale associated with the higher-derivative terms and the dots denote convergent terms. Similar results occur in four dimensions, when vertices carry derivatives. More involved nonlocal structures appear in triangle diagrams. Moreover, gauge symmetries are unable to protect the locality and Hermiticity of counterterms. We prove this fact by extending the calculations to a model of higher-derivative quantum gravity [2]. The rules of power counting obeyed by Minkowski higher-derivative theories are much weaker than the standard ones, because a propagator calculated on the pole of another propagator falls off half less rapidly than expected. This property implies that the higher-derivative terms often have an "antiregulating" effect, in the sense that they enhance divergences rather than suppressing them. The divergences (1.1) can also be related to specific pinch singular-ities occurring for p 2 → 0, which have no direct analog in standard field theories.
It is well known that, in general (for example, when the free propagators have poles infinitesimally close to the real axis, in the second and fourth quadrants), Minkowski higherderivative theories are physically unacceptable, because they violate perturbative unitarity. Our results show that when the free propagators also contain poles that are located at finite distances from the real axis, in the first and third quadrants, the theories are in general unacceptable from the mathematical point of view, because they violate both the locality and the Hermiticity of counterterms.
The problems we have found do not occur in Euclidean theories, Lee-Wick models [3] or Minkowski theories that are analytically equivalent to their Euclidean versions. In those cases, nonlocal divergences may appear in some intermediate steps of the calculations (examples being the residues of the integrals on the energies, if taken separately), but they cancel out at the end.
The paper is organized as follows. In sect. 2 we study some key aspects of the higherderivative Minkowski propagator. In sect. 3, we calculate the nonlocal divergent part of the bubble diagram in six dimensions and generalize the calculation to the bubble diagram with nontrivial numerators in four dimensions. In sect. 4, we study the one-loop triangle diagram and provide an interpretation for its nonlocal divergent part. In sect. 5 we investigate the modified power counting of Minkowski quantum field theories. In sect. 6, we study a higherderivative version of quantum gravity in four dimensions and prove that gauge symmetries fail to protect the locality and Hermiticity of counterterms. Finally, in sect. 7 we draw our conclusions.
In appendix A we show that the dimensional regularization (of the integrals on the space momenta) allows us to apply the residue theorem on the energy integrals, even when they are divergent. In appendix B we discuss the gauge fixing of Minkowski higher-derivative gravity and show that the Ward-Takahashi-Slavnov-Taylor (WTST) identities [4] are also plagued with nonlocal divergences.

Higher-derivative propagator
The standard propagator of a spinless particle reads To increase the convergence of the loop integrals for large virtualities, |p 2 | ≫ m 2 , it is natural to introduce additional powers of p 2 in the denominator to obtain, for example, a modified propagator of the form For small virtualities, |p 2 | ≪ M 2 , the modified propagator approaches the standard one, S(p, m) ≃ ∆(p, m), while in the asymptotic region it decays quite faster: By means of a partial fractioning in p 2 , the higher-derivative propagator (2.2) can also be written as , (2.4) where ω ǫ (p s ) ≡ p 2 s + m 2 − iǫ, Ω(p s ) ≡ p 2 s − iM 2 , p µ = (p 0 , p) and p s = |p|. The poles are located at p 0 = ±ω ǫ (p s ), p 0 = ±Ω(p s ) and p 0 = ±Ω(p s ), where the bar denotes the complex conjugation. Since poles are present in every quadrant, the Euclidean theory and the Minkowski theory are not related in a simple way. In this paper we concentrate on the Minkowski theory, that is to say we assume that the loop integral is defined by integrating the energy along the real axis.
In general, the factor is expected to have an ultraviolet regulating effect, by suppressing the states with |p 2 | ≫ M 2 . We show that it is not the case in Minkowski theories. Actually, often the factor (2.5) roughly has an opposite, "anti-regulating" effect. For large space momenta, p s ≫ M, the complex poles come close to the real axis, since where η is the small positive quantity Therefore, in the asymptotic region p s ≫ M the terms involving M effectively act as ±iη prescriptions for the propagation of exotic, high-energy excitations on the light cone, with the large lifetimes τ = τ (p s ) ≈ p s M 2 . Both ǫ and η (p s ) are positive quantities, but ǫ is infinitesimal, while η (p s ) is small and finite.
Since η (p s ) → 0 for p s → +∞, there is a pinch singularity of the pole located in the first quadrant with the two poles located in the fourth quadrant, and a similar pinch singularity of the pole located in the third quadrant with the two poles located in the second quadrant. The violations of power counting that we find in the next sections can be traced back to this pinching and ultimately to the presence of both the +iη and the −iη terms at p s ≫ M.

Bubble diagrams
In this section we compute the nonlocal divergent parts of the higher-derivative, one-loop scalar bubble diagrams in six and four dimensions, with trivial and nontrivial numerators.
As usual, the ultraviolet divergent part is a sum of powerlike divergences and logarithmic divergences. The powerlike divergences are less interesting than the logarithmic ones for the purpose of singling out inconsistencies, because they depend on the subtraction scheme and can be removed in a renormalization-group invariant way. The one-loop logarithmic divergences, on the contrary, do not depend on the regularization scheme, and provide meaningful tests of the locality of counterterms. For these reasons, we focus our attention mostly on them. We either use the dimensional regularization technique or a sharp cutoff Λ U V on the space momenta of the loops, according to convenience. We always convert the outcome to the cutoff notation.

Bubble diagram in six dimensions
The bubble diagram with different masses in D spacetime dimensions gives the loop integral where S (p, m) is given in formula (2.2), Λ U V is an ultraviolet cutoff on the space momenta k and k s = |k|.
Since the higher-derivative theory is relativistically invariant, Σ(p) is expected to be a function of p 2 only 1 . It is then convenient to consider a timelike external momentum, p 2 > 0, and select a Lorentz frame in which p µ has only the time component, p µ = (p 0 , 0). Once the loop integral is evaluated, we can retrieve the Lorentz invariant result by means of the replacement p 2 0 → p 2 . The values of the bubble diagram for a spacelike external momentum, p 2 < 0, are obtained by means of the analytic continuation in p 2 .
The first step is to integrate k 0 over the real line, which we can make in two equivalent ways. The first method is by applying the residue theorem, after closing the integration path with a semicircle at infinity, say in the upper half k 0 plane. The second method involves the partial fractioning in k 0 . Since there are only simple poles for p 0 = 0, one ends up with a k 0 integrand of the form where s i are the poles of the propagators and c i are coefficients that depend on the nonintegrated variables k s , p 0 , m 1 , m 2 , M. Since each propagator contains six poles, there are twelve terms in total. Then, one integrates over k 0 term by term. In practice, 1/ (k 0 − s) gives ±iπ, depending on whether Im s > 0 or Im s < 0. The next step is to integrate over the space momentum k. The angular integration is trivial, because of our choice of the Lorenz frame, and gives the volume Ω D−2 of the unit sphere in D − 2 dimensions.
Since we are only interested in the ultraviolet divergences for k s → ∞, we expand the integrand for large k s , in order to avoid special functions due to the k s integral. Consider the residues calculated at the first step. In each of them, either k 2 or (k − p) 2 is equal to a constant. The two cases are symmetrical, so we just assume k 2 = constant. Then, the propagator S (k, m 1 ) gives a contribution ∼ 1/k s for large k s , by formula (2.4). Instead, the propagator S (k − p, m 2 ) behaves as 1/((k − p) 2 ) 3 ∼ 1/(p · k) 3 ∼ 1/k 3 s (having used p · k = p 0 k 0 ). The product of the two behaves as 1/k 4 s , so the k s integral diverges like To be rigorous, one should use an ultraviolet regularization that preserves Lorentz invariance, such as the dimensional regularization, instead of a cutoff on the space momenta. However, we are only interested in the logarithmic divergences, which, as already noted, are independent of this choice.
However, it is easy to check that the contributions of such type coming from the poles with k 2 =constant compensate analogous contributions coming from the poles with (k − p) 2 =constant. In the end, the integrand of (3.1) behaves as 1/k 5 s , so we find that the leading Σ divergence is proportional to We conclude that for D < 6 the bubble diagram is ultraviolet finite, while it is divergent for D 6. In particular, at D = 6 there is a logarithmic divergence, which leads to the final result where by "finite" we mean terms that are finite or infinitesimal for Λ U V → +∞. The divergent part is nonlocal, equal to the sum of a term proportional to 1/(p 2 ) 2 plus a term proportional to 1/p 2 . Differently from the usual divergences of local theories, which are anti-Hermitian, the ones of (3.2) are not, since the coefficients have nontrivial real and imaginary parts. For these reasons, we cannot absorb the divergent part in the usual way, by shifting the bare masses, rescaling the bare fields and adding new local, Hermitian terms to the Lagrangian. We cannot even add nonlocal Hermitian terms. We conclude that the locality and Hermiticity of counterterms are both violated.
Since we are exploring an uncharted territory, we wish to make an explicit check of Lorentz invariance and analyticity. We consider the usual bubble in the case p 2 < 0, by taking p µ = (0, p s ). As in the previous computation, we integrate over k 0 by means of the residue theorem or the partial fractioning in k 0 . Then we have to integrate over the angles, which is a nontrivial operation now. Writing k µ = (k 0 , k s ), we switch to spherical coordinates, letting θ denote the angle between p s and k s . The integral over the remaining three angles is trivial, which leads to the replacement where u ≡ cos θ. At this point, we should expand the integrand for large k s . This cannot be done naively without generating u poles. For example, consider a typical denominator that is met in the calculation, such as If we expand it for large k s , we obtain divergent u integrals. However, according to (3.3), the u pole has a positive imaginary part. If we first replace u by u − iǫ, with ǫ arbitrarily small, then the expansion for large k s is safe. So doing, no fictitious singularity is generated.
The procedure works as long as the integrand can be arranged so that the powers 1/(u − iǫ) n do not mix with the powers 1/(u + iǫ) n . It can be shown that the bubble diagram has this property. Carrying on the computation to the end, we find (3.2) again.

Bubble diagram in four dimensions
As shown in the previous section, the bubble diagram with unit numerator has nonlocal divergences only in dimensions D 6. On the other hand, bubble diagrams with nontrivial numerators may have nonlocal divergences also in four dimensions. In this section we study typical one-loop integrals of this type. Their applications to higher-derivative gravity will be considered in section 6.
We assume that the propagator has again the form (2.2) and the vertices contain an arbitrary number of derivatives. We study the scalar integrals The nonlocal divergent part can be calculated with the method explained in the previous subsection. We set p 2 > 0 and choose p µ = (p 0 , 0). First, we integrate on the energy by means of the residue theorem, closing the integration path on the upper half complex plane.
In appendix A we show that, if we use the dimensional regularization, the energy integral can always be evaluated by summing the residues, even when it is divergent, because the contribution of the integration path at infinity is always zero. Then we remain with the integral on the space momentum k. The logarithmic nonlocal divergences I nld r,n of I r,n are obtained by expanding the integrand in powers of the absolute value k s = |k| and isolating the contributions proportional to dk s /k s .
We report results in various cases, starting from the massless limit. There, we find where c r,n are positive integer numbers. As anticipated, the pole 1/(4−D) of the dimensional regularization has been converted into the logarithm log(Λ U V /M) of a generic ultraviolet cutoff Λ U V divided by M. The lowest-order coefficients are The basic features of these results may be justified by evaluating the residues associated with the propagators of I r,n , as explained in subsection 3.1. The residues with k 2 =constant have a superficial degree of divergence ω 1 = D − 5 + r, where D − 1 powers come from the k s integration measure, −1 and −3 from the propagators and r from the numerator. Instead, the residues with (k − p) 2 =constant have degree of divergence ω 2 = D − 5 + r + n, where the n additional powers come from the numerator, using k 2 ∼ 2k · p. For r = 1, n = 0, we have ω 1 = ω 2 = D − 4, so ultraviolet logarithmic divergences are expected from both types of residues in D = 4. However, formula (3.6) shows that the coefficient c 1,0 vanishes. This may be interpreted as an eikonal cancellation between the two types of residues. For r = 0, n = 1, we have ω 2 > ω 1 = D − 4, so the cancellation cannot occur in D = 4. Indeed, c 0,1 is different from zero. More generally, cancellations between the ultraviolet divergences of the residues are unlikely to occur for n > 0. Indeed, all the coefficients (3.6) with n > 0 are nonvanishing.
In the massive case, we find formula (3.5) with coefficients c r,n that depend on m/M. The lowest-order ones are Instead, if we replace the propagators S(p, m) with the more general ones , We see that the locality and Hermiticity of counterterms are violated again. The nonlocal behavior is always of the form 1/p 2 , but it must be recalled that the integrals (3.4) contain r powers of p µ in the numerator, through the term (k · p) r . If we divide by those powers, the true nonlocal behavior of the divergent part is ∼ 1/(p 2 ) (2+r)/2 .

Triangle diagrams
In this section we consider the one-loop three-point function. A peculiar, double-logarithmic structure is found, coming from the overlap between the collinear (infrared) region µ 2 ≪ k 2 ⊥ ≪ Q 2 and the ultraviolet region where k ⊥ is the transverse loop momentum, Q is the hard scale and µ is the virtuality of external legs.
As in the case of the bubble diagram, in order to effectively generate such divergences, we need to introduce nontrivial numerators, which we assume to be scalar for simplicity. Specifically, we consider the following three-index family of amplitudes: The nonlocal divergent part I nld r,n,t can be calculated with a procedure similar to the one used for the bubble diagram. First, we use Lorentz invariance and analyticity to impose that the incoming momenta are all timelike, i.e.
and choose p µ 1 = (E 1 , 0), while p µ 2 = (E 2 , p 2 ) remains generic. Then we integrate on the energy k 0 by means of the residue theorem or a partial fractioning. At that point, we expand the integrand in powers of 1/k s for k s large and integrate term by term over u = cos θ, θ being the angle between the vectors p 2 and k. When the conditions (4.2) hold, this operation is safe. Indeed, the expansion highlights factors where p 2s = |p 2 |. The subleading corrections have denominators that are equal to powers of those shown in formula (4.3). We see that every term of the expansion leads to a regular u integral. At the end, the logarithmic divergences are the coefficients of dk s /k s . The symmetry relation I nld r,n,t (p 1 , p 2 ) = I nld t,n,r (p 2 , p 1 ) obviously holds, so we can assume, for example, r t. By explicit calculation of I r,n,t for different values of its indices, we find that I nld r,n,t (p 1 , p 2 ) = 0 unless r + n + t 4. (4.4) This result may be justified by evaluating the residues associated with the propagators of I r,n,t , as explained in subsection 3.1. The residues with k 2 =constant have a superficial degree of divergence ω 0 = D − 8 + r + t, while the residues with (k + p 1 ) 2 =constant and (k + p 2 ) 2 =constant have the generally larger degrees ω 1,2 = D − 8 + r + n + t. Barring cancellations, the degree of divergence of I r,n,t at D = 4 is ω = r + n + t − 4, which is nonnegative when r + n + t 4. Now we report the results of explicit calculations that confirm that I r,n,t is indeed nonlocally divergent when the inequality of (4.4) holds. We begin with the massless case m = 0. The simplest nontrivial integral is where we have defined Q 2 ≡ −(p 2 −p 1 ) 2 . The term 1/Q 2 is reminiscent of the pole-dominance models of form factors and seems to signal -if we insist with some physical interpretation -the propagation of a massless particle in the t-channel, with an ultraviolet logarithmically divergent coefficient. A more interesting case is provided by the amplitude where In order to understand the dynamic properties of the first term of formula (4.6) (the second term has the same form as the one of the previous amplitude), let us assume the kinematics of the Deep Inelastic Scattering, i.e.
Infrared singularities (soft and/or collinear) are then regulated by nonzero virtualities of the external legs. Using the asymptotic expansion it is easy to show that where we have defined It is convenient to assume µ 2 2 > 0 in order to have a real logarithm and then avoid absorptive parts related to the "decay" of the p 2 leg. Formula (4.7) exhibits a collinear divergence for µ 2 2 → 0 (or, equivalently, Q 2 → +∞), which overlaps the nonlocal divergence already found in the previous cases. The asymmetry of the result, namely the absence of a collinear singularity for µ 2 1 → 0, is related to the fact that the power (k · p 1 ) 2 appearing in the numerator screens the singularity related to the emission of a particle collinear to the particle with momentum p 1 . In the case of the previous amplitude I 1,2,1 , collinear singularities related to the emission from any leg were screened by the factor (k · p 1 )(k · p 2 ) in the numerator. By generalizing the example just discussed, we expect that nonlocal divergences overlap the usual, logarithmic infrared singularities found in vertex functions.
It is natural to expect that nonlocal divergences also occur in one-loop box diagrams, pentagon diagrams, etc., and that they overlap the usual logarithmic structures (infrared divergences, small-x logarithms, etc.).

Power counting for nonlocal divergences
The standard loop integrals in Minkowski spacetime are related to Euclidean integrals by the Wick rotation, so the power counting rules governing their ultraviolet behaviors are the same. This fact is actually far from trivial. A Minkowski integral is intuitively expected to be more singular than the corresponding Euclidean integral in the ultraviolet region. Because of the Euclidean metric, the Euclidean integrand falls off when any component of the momentum k µ gets large. At first sight, the Minkowski pseudometric fails to provide an equivalent suppression in several subdomains of integration, such as the regions where the loop momentum is close to surfaces of the form k 2 +a·k+b = 0 (determined by the poles of the propagators), where a is a vector and b is a constant. The reason why this intuitive argument is not correct is that it overlooks the role played by the +iǫ prescription, which allows the Wick rotation.
On the other hand, the higher-derivative propagator S(k, m) has poles in all quadrants, so the analytic continuation to Euclidean space is not possible. Then the rules of power counting are no longer guaranteed to coincide in Minkowski and Euclidean spaces and actually turn out to be different.
To illustrate this fact, we work out a formula for the degree of divergence of a generic one-loop diagram in Minkowski higher-derivative theories. Assume that the propagators S(k, m) behave like 1/(k 2 ) N for large |k 2 | and that the vertices contain up to N ′ derivatives. Consider a one-particle irreducible diagram with V vertices, equal to the number of internal lines. We assume that V > 1, i.e. exclude the tadpoles, because they are independent of the external momenta and cannot originate nonlocal divergences.
Letting k denote the loop momentum, we integrate over the energy k 0 by means of the residue theorem. In each residue, (k − q) 2 is equal to some constant, q being a linear combination of external momenta. Making a translation, we can assume that the integrand is evaluated at k 2 =constant. Then by formula (2.4) the propagator S(k, m) gives a contribution that behaves like 1/k s for large k s , while each one of the other V −1 propagators behaves like 1/((p − k) 2 ) N ∼ 1/(p · k) N , where p is also a linear combination of the external momenta. If we use analyticity to assume p 2 > 0, the factors 1/(p · k) N are regular everywhere.
On the other hand, the vertices provide at most N ′ V powers of k s and the integration measure is k D−2 s dk s . Collecting these pieces of information, the degree of divergence ω nl of the k s integral is at most equal to An integral with ω nl < 0 is ultraviolet convergent, while an integral with ω nl 0 may be divergent. The divergent parts are in general nonlocal, because, as shown in formula (4.3), the large k s expansion makes the ratios 1/(p · k) N factorize as 1/k N s times nonpolynomial functions of the external momenta.
The condition ω nl 0 is necessary to have a divergence, but not sufficient. In many cases, it is possible to enhance it by means of more sophisticated arguments. For example, it is possible to show that the bubble diagram (V = 2) benefits from an enhancement of one unit when N is odd. Then The reason is a simplification between the contributions ∼ 1/(p · k) N of each propagator, calculated on the poles of the other propagator. If D = 6, N = 3, N ′ = 0, V = 2, which is the case treated in subsection 3.1, we have ω ′ nl = 0, which confirms that there is a logarithmic divergence. The same diagram in four dimensions has no nonlocal divergences (ω ′ nl = −2), unless we equip it with nontrivial numerators. If we take N ′ = 1, we raise ω ′ nl to 0, which is confirmed by the nonvanishing coefficient c 0,1 of formula (3.6). On the other hand, it is not enough to have a vertex with one derivative and a vertex with no derivatives (which can be formally obtained by setting N ′ = 1/2), as the vanishing of the coefficient c 1,0 confirms.
In the case of the triangle diagram (D = 4, N = 3 and V = 3), we may distribute the r + 2n + t derivatives over the three vertices by formally writing N ′ = (r + 2n + t)/3. The integrals I nld 1,2,1 and I nld 2,2,0 have N ′ = 2 and ω nl > 0, indeed formulas (4.5) and (4.6) shows that they are divergent. Moreover, r + 2n + t < 4 implies ω nl < 0, which agrees with formula (4.4). A better agreement can be obtained by improving the power counting as shown in section 4. Indeed, after a residue is evaluated, a k 2 factor in the numerator does not provide two powers of k s , but one at most. This is equivalent to setting N ′ = (r + n + t)/3. Then formula (4.4) follows in all cases. Moreover, both I nld 1,2,1 and I nld 2,2,0 have N ′ = 4/3, ω nl = 0, which implies that the ultraviolet divergence is at most logarithmic, as is actually the case.
Let us inquire which theories have no nonlocal divergences at one loop, i.e. when ω nl < 0 for every V > 1. Formula (5.1) shows that this happens when D − 2 < N − 2N ′ and N N ′ . All the scalar and fermion theories with nonderivative interactions satisfy these conditions for N sufficiently large, in arbitrary dimensions. For example, in four-dimensional scalar models with nonderivative interactions it is sufficient to take N = 3. As far as the fermions are concerned, assume that their propagators S F (k, m) behave as k µ /(k 2 ) N for large |k 2 |. Then we can attach their numerator k µ to a nearby vertex, so the arguments given above apply with N ′ → N ′ + 1. The higher-derivative theories of gauge fields have N ′ = 2N − 1, while those of gravity have N ′ = 2N, so neither of the two satisfies the conditions for having no nonlocal divergences at one loop. Both are expected to violate the locality of counterterms, if their propagators have poles in the first or third quadrants. In the next section we study the case of gravity explicitly.

Higher-derivative gravity
In this section we use the results of the previous ones to work out the nonlocal divergences of the graviton two-point function in a relatively simple model of four-dimensional higherderivative gravity with complex poles. We simplify the calculations as much as possible by choosing a specific Lagrangian and a convenient gauge fixing. The loop integrals are linear combinations of the scalar integrals (3.4).
The simplest model of higher-derivative gravity is the Stelle theory [2], which contains the scalars R, R 2 and R µν R µν . However, it is not suitable for our investigation, because its propagators do not have poles in the first or third quadrants. The simplest model with the features we need is the one with Lagrangian We expand the metric tensor g µν around the flat-space metric η µν =diag(1, −1, −1, −1) by writing where κ is a constant of dimension −1 in units of mass and h µν is the quantum fluctuation. After the expansion around flat space, we raise and lower the indices by means of the flatspace metric. We further define h ≡ h µ µ . We choose the De Donder gauge-fixing function and perform the gauge fixing as explained in appendix B. The gauge-fixed Lagrangian then reads where = η µν ∂ µ ∂ ν is the flat-space D'Alembertian, while the ghost Lagrangian is The graviton propagator has the same form as that of the propagators of the previous sections, apart from the constant matrices in the numerator. Normally, the ghosts contribute to the renormalization, because they must compensate the contributions of the temporal and longitudinal components of the gauge fields, to give a total gauge invariant result. However, we can easily show that in our case they can be ignored, because they cannot give nonlocal divergences at one loop. Indeed, after the redefinitionC µ′ = (1 + 2 /M 4 )C µ , the ghost Lagrangian (6.4) turns into the usual one, which is For this reason, the ghost contribution to the graviton self-energy coincides with the usual one, which has a local divergent part.
It is sufficient to work out the three-graviton vertex, since the one-loop diagrams involving four-leg vertices are tadpoles, which can only have local divergent parts. In the end, we just evaluate two diagrams, which are K C (6.5) where the wiggled line represents the graviton h µν , the solid line represents the source K µν coupled to the h µν transformation and the continuous line with the arrow represents the ghosts. Diagram (a) encodes the nonlocal divergences of the graviton self-energy. Diagram (b) encodes the nonlocal renormalization of the h µν transformation, which is necessary to derive the corrections to the Ward identities satisfied by (a), as explained in appendix B.

Results
Given these ingredients, we are ready to perform the calculation, as well as the consistency checks. We can reduce to the scalar integrals I r,n of formula (3.4) by means of the Passarino-Veltman decomposition [5], which gives identities such as where A i (p) are scalar integrals and T µ 1 ···µn i (p) are completely symmetric tensors built with η µν and p µ . Since the graviton two-point functions has four indices, we just need formula (6.6) for n = 1, 2, 3, 4. The cases n = 1, 2 give, for example, The one-loop nonlocal divergent part of the graviton two-point function is equal to where r ≡ p 2 /M 2 . It is easy to check that it is doubly transverse, i.e. does not vanish. The reason is that the gauge transformation is itself affected by nonlocal divergences. The correct Ward identity is (B.5), derived from diagram (b) as explained in appendix B. It is easy to show that (6.7) does satisfy (B.5), which provides a good check of the result.
Coherently with what we found in the previous sections, the divergences are nonlocal and truly complex. It is impossible to subtract them away by means of reparametrizations and (local as well as nonlocal) field redefinitions that preserve Hermiticity.
In conclusion, Minkowski higher-derivative theories of gravity violate the locality and Hermiticity of counterterms, when the propagators have poles in the first or third quadrants. Gauge symmetries are unable to protect those properties.
The gravitational Lagrangian (6.1) is the simplest one that exhibits the effects we have uncovered. Similar effects are expected to occur in the theories with Lagrangians where c denotes the covariant D'Alembertian and P n , Q n are real polynomials of degree n > 0. The denominators of the free propagators have the form p 2 R n+1 (p 2 ), where R n+1 is a real polynomial of degree n + 1. For every n > 0, generic real polynomials P n , Q n lead to poles in the first and third quadrants, which in turn generate nonlocal, non-Hermitian divergences. Only by choosing the polynomials P n , Q n in very specific ways, we can manage to have all the poles on the real axis. In that case, and only in that case, the Euclidean and Minkowski theories are equivalent and the renormalization is local.
If gravity is coupled to matter, we expect to find similar behaviors in the matter sector. In particular, if the kinetic terms of the matter fields have the same numbers of higher derivatives as the gravitational sector has, the power counting is the same.

Conclusions
We have shown that Minkowski higher-derivative quantum field theories whose propagators have complex poles are generically inconsistent, because they generate nonlocal, non-Hermitian ultraviolet divergences. Bubble diagrams, for example, contain logarithmic divergences multiplied by inverse powers of D'Alembertians. Triangle diagrams present more involved nonlocal divergences, where ultraviolet effects mix with standard infrared effects.
Contrary to intuitive expectations, the introduction of higher-derivative terms in the Lagrangian does not have a regulating effect, because the constraints coming from power counting are much weaker. Indeed, the contribution of one propagator calculated on the pole of another propagator does not decay fast enough. This unusual behavior can also be explained by the appearance of pinch singularities, unrelated to the usual absorptive parts of amplitudes, which occur because the extra excitations introduced by the higher derivatives come with effective prescriptions of both signs.
We have extended the calculations to higher-derivative quantum gravity and proved, in particular, that gauge symmetries are unable to protect the locality and Hermiticity of counterterms. The problems we have outlined add up to the well-known problems that higher-derivative Minkowski theories have with perturbative unitarity.

A Residue theorem in dimensional regularization
In this appendix we show that the dimensional regularization allows us to evaluate the energy integrals in a straightforward way, even when they are divergent: it is sufficient to sum the residues, while the contribution of the integration path at infinity is always negligible.
The dimensional regularization is defined as follows. The integral on the space momenta is continued to D −1 dimensions and done first. The energy integral is not modified and done second. Strictly speaking, the two can be exchanged when the energy integral is convergent. However, we show that it is always legitimate to integrate on the energy first, if we apply the residue theorem.
Without loss of generality, we can write a one-loop integral as a linear combination of integrals of the form are polynomials of k and r 1, s 0 are integers. The denominators contain the prescriptions to move the poles away from the real axis.
The energy integral is divergent if s + 1 2r, so we write s = 2r + n − 1 and take n 0. When |E| is much larger than all the other scales, its divergent contributions are All of the k integrals are integrals of polynomials of k and give zero by the rules of the dimensional regularization. Thus, if we close the integration path by means of a semicircle at infinity, in the lower or upper half plane, we add a vanishing contribution. This allows us to safely apply the residue theorem without having to worry about the closure of the integration path.

B Gauge fixing and WTST identities in higher-derivative gravity
To handle the WTST identities [4] of quantum gravity in a compact form, we use the Batalin-Vilkovisky formalism [6]. We collect the fields into the row where C µ ,C µ and B µ are the ghosts and the antighosts of diffeomorphisms and the Lagrange multipliers for the gauge fixing, respectively. We introduce conjugate sources and define the antiparentheses of two functionals X and Y of Φ and K as where the integral is over the spacetime points associated with repeated indices and the subscripts l, r in δ l , δ r denote the left and right functional derivatives, respectively. The total action is then where S HD = L HD is the classical action, Ψ(Φ) is a functional of the fields that performs the gauge fixing, called gauge fermion, and the terms collect the symmetry transformations coupled to the external sources K. The Lagrangian L HD is given by formula (6.1). The action S satisfies the master equation which collects the WTST identities in a compact form.
We choose the gauge fermion where G µ is given in formula (6.2). Observe that the indices of all the fields Φ α and the sources K α are raised and lowered by means of the flat-space metric. We find where S gh = L gh and L gh is given in formula (6.4). We can integrate B µ out, which is equivalent to replacing it with the solution of its own field equation: So doing, we get The gauge-fixed Lagrangian is thus (6.3). Now we work out the WTST identity satisfied by the graviton two-point function. Expand the functional Γ as Γ = S + Γ 1 + Γ 2 + · · · , where Γ i collects the contributions of the i-loop diagrams. Note that Γ i cannot depend on B, KC and K B , because no one-particle irreducible diagrams can be built with external legs of this type. The master equation (B.2) gives, at one loop, (S, Γ 1 ) = 0.