Quantum fields without Wick rotation

TL;DR

This paper presents a method for calculating one-loop effective actions in Lorentzian spacetimes that aligns with Euclidean methods, using steepest descent and renormalization group techniques, applicable to quantum gravity.

Contribution

It introduces a straightforward approach to compute effective actions in Lorentzian spacetimes that matches Euclidean results and is independent of coarse-graining choices.

Findings

Lorentzian and Euclidean calculations agree for static spacetimes.

The method is consistent with analytic continuation techniques.

Effective actions are independent of coarse-graining definitions.

Abstract

We discuss the calculation of one-loop effective actions in Lorentzian spacetimes, based on a very simple application of the method of steepest descent to the integral over the field. We show that for static spacetimes this procedure agrees with the analytic continuation of Euclidean calculations. We also discuss how to calculate the effective action by integrating a renormalization group equation. We show that the result is independent of arbitrary choices in the definition of the coarse-graining and we see again that the Lorentzian and Euclidean calculations agree. When applied to quantum gravity on static backgrounds, our procedure is equivalent to analytically continuing time and the integral over the conformal factor.

Equations

$$Z_L(g)\equiv e^{i{\Gamma }_L(g)}=\int d\varphi e^{i{S}_L(\varphi ,g)},$$

$$iS_{L}\Big{|}_{t=-it_{E}}=-S_{E}\ .$$

$$Z_E(g)\equiv e^{-{\Gamma }_E(g)}=\int d\varphi e^{-S_E(\varphi ,g)}.$$

$$i\Gamma_{L}\Big{|}_{t=-it_{E}}=-\Gamma_{E}\ .$$

$$g_{\mu \nu }(\sigma )=g_{\mu \nu }+(1+\sigma )X_{\mu }{X}_{\nu }$$

$$S[\varphi ;g]=-\frac{1}{2}\int d^{d}x\sqrt{-g}\left[g^{\mu \nu }{\partial }_{\mu }\varphi {\partial }_{\nu }\varphi +m^2{\varphi }^2\right]=\frac{1}{2}\int d^{d}x\sqrt{-g}\varphi (\square -m^2)\varphi .$$

$$({\varphi }_n,{\varphi }_m)={\mu }^d{\int }_M{d}^{d}x\sqrt{-g}{\varphi }_n(x){\varphi }_m(x)={\delta }_{nm}$$

$$\left(\square -m^2\right){\varphi }_n={\lambda }_n{\varphi }_n$$

$$S[\varphi ;g]=\frac{1}{2{\mu }^2}\sum _{n\in \sigma }{\lambda }_n{a}_n^2$$

$$(d\varphi )=N\prod _{n\in \sigma }d{a}_n,$$

$$1=\int (d\varphi )\exp \left[i\frac{{\mu }^2}{2}\int d^{d}x\sqrt{-g}{\varphi }^2\right].$$

$$N\prod _{n\in \sigma }{\int }_{-\infty }^{\infty }d{a}_n\exp \left(\frac{i}{2}{a}_n^2\right).$$

$$N=\prod _{n\in \sigma }\frac{e^{-i\pi /4}}{\sqrt{2\pi }}.$$

$$Z_L=N\prod _{n\in \sigma }\int d{a}_n\exp \left[i\frac{{\lambda }_n}{2{\mu }^2}{a}_n^2\right].$$

$$\begin{array}{rl}{Z}_L& =N\prod _{n\in {\sigma }_0}\sqrt{\frac{2\pi {\mu }^2}{ϵ}}\prod _{n\in {\sigma }_{-}}{e}^{-i\pi /4}\sqrt{\frac{2\pi {\mu }^2}{-{\lambda }_n}}\prod _{n\in {\sigma }_{+}}{e}^{i\pi /4}\sqrt{\frac{2\pi {\mu }^2}{{\lambda }_n}}\\ & =\prod _{n\in {\sigma }_0}{e}^{-i\pi /4}\sqrt{\frac{{\mu }^2}{ϵ}}\prod _{n\in {\sigma }_{-}}{e}^{-i\pi /2}\sqrt{\frac{{\mu }^2}{-{\lambda }_n}}\prod _{n\in {\sigma }_{+}}\sqrt{\frac{{\mu }^2}{{\lambda }_n}}\\ & =\prod _{n\in {\sigma }_0}\sqrt{\frac{{\mu }^2}{iϵ}}\prod _{n\in {\sigma }_{-}}\sqrt{\frac{{\mu }^2}{{\lambda }_n}}\prod _{n\in {\sigma }_{+}}\sqrt{\frac{{\mu }^2}{{\lambda }_n}}\\ & ={\left[\text{mbox}det\left(\frac{\square -m^2+iϵ}{{\mu }^2}\right)\right]}^{-1/2}.\end{array}$$

$${\Gamma }_L=\frac{i}{2}\mathrm{Tr}\log \left(\frac{\square -m^2}{{\mu }^2}\right).$$

$$\mathrm{Tr}{K}_T(s)=\frac{1}{2\pi }\int dt\int dE{e}^{-s{E}^2}=\frac{T}{\sqrt{4\pi s}}.$$

$$\mathrm{Tr}{K}_{\Sigma }(s)=\frac{1}{(4\pi s{)}^{(d-1)/2}}\left(B_0({\Delta }_{\Sigma })+s{B}_2({\Delta }_{\Sigma })+s^2{B}_4({\Delta }_{\Sigma })+\dots \right).$$

$$B_0({\Delta }_{\Sigma })=V$$

$$B_2({\Delta }_{\Sigma })=\frac{1}{6}{\int }_{\Sigma }{d}^{d-1}x\sqrt{q}R$$

$$B_4({\Delta }_{\Sigma })=\frac{1}{180}{\int }_{\Sigma }{d}^{d-1}x\sqrt{q}\left(R_{\mu \nu \rho \sigma }{R}^{\mu \nu \rho \sigma }-R_{\mu \nu }{R}^{\mu \nu }+\frac{5}{2}{R}^2-6{\Delta }_{\Sigma }R\right)$$

$${\Gamma }_E=-\frac{1}{2}{\int }_0^{\infty }\frac{ds}{s}\mathrm{Tr}{K}_{-\square +m^2}(s),$$

$${\lambda }_{E\alpha }=E^2+{\omega }_{\alpha }^2+m^2.$$

$$\mathrm{Tr}{K}_{-\square +m^2}(s)=e^{-m^{2}s}\mathrm{Tr}{K}_T(s)\mathrm{Tr}{K}_{{\Delta }_{\Sigma }}(s).$$

$${\Gamma }_E$$

$${\Gamma }_E=-\frac{1}{2}\frac{T{m}^d}{{\left(4\pi \right)}^{d/2}}\sum _{j=0}^{\infty }\Gamma \left(j-\frac{d}{2},\frac{m^2}{{\Lambda }^2}\right)m^{-2j}{B}_{2j}({\Delta }_{\Sigma }).$$

$${\Gamma }_E$$

$${\lambda }_{n\alpha }=E^2-{\omega }_{\alpha }^2-m^2+iϵ,$$

$${\Gamma }_L=-\frac{i}{2}{\int }_0^{\infty }\frac{dis}{is}\mathrm{Tr}\exp \left[is(\square -m^2)\right],$$

$${\Gamma }_L$$

Full text

Quantum fields without Wick rotation

Alessio Baldazzi111e-mail address: abaldazz@sissa.it Roberto Percacci222e-mail address: percacci@sissa.it and Vedran Skrinjar333e-mail address: vskrin@sissa.it

International School for Advanced Studies, via Bonomea 265, I-34136 Trieste, Italy and INFN, Sezione di Trieste, Italy

Abstract

We discuss the calculation of one-loop effective actions in Lorentzian spacetimes, based on a very simple application of the method of steepest descent to the integral over the field. We show that for static spacetimes this procedure agrees with the analytic continuation of Euclidean calculations. We also discuss how to calculate the effective action by integrating a renormalization group equation. We show that the result is independent of arbitrary choices in the definition of the coarse-graining and we see again that the Lorentzian and Euclidean calculations agree. When applied to quantum gravity on static backgrounds, our procedure is equivalent to analytically continuing time and the integral over the conformal factor.

1 Introduction

The path integral of a Lorentzian Quantum Field Theory (QFT) is

[TABLE]

where $g$ may denote external parameters or background fields. It is often said that this expression is ill-defined because of the oscillating character of the exponential. This is then fixed by turning time to Euclidean time. One defines a Euclidean action $S_{E}$ by

[TABLE]

and thereby converts the functional integral (1.1) to the Euclidean functional integral

[TABLE]

Since the Euclidean action is typically positive definite, this is now a better-defined object. More precisely, the integral over each field mode is now convergent. The functional integral still needs regularization and renormalization, because of the infinite number of field modes. In the end the results can be analytically continued back to real time, which means that the Lorentzian and Euclidean Effective Actions (EA) are related in the same way as the classical actions:

[TABLE]

This procedure is much less clear when the background metric is curved. In a gravitational context, one would like to preserve invariance under coordinate transformations. Since time is now merely a coordinate, one has to make a choice of which time should be analytically continued. The problematic nature of this choice has been emphasized by Visser [1].

The procedure is even more problematic when gravity itself is treated as a quantum field. In a one-loop calculation, where the graviton field can be seen as a free quantum field propagating on a curved background, the Lagrangian of the spin-zero degree of freedom of the metric has opposite sign relative to the spin-two degree of freedom. The sign of the Hilbert action is chosen so that the latter has the correct sign (so that free gravitons in flat space carry positive energy) and therefore the spin-zero field has negative energy. This in itself is not problematic, because the spin-zero field does not propagate, but it means that while the Euclidean integral over the spin-two degrees of freedom is exponentially damped, the integral over the spin-zero degrees of freedom is exponentially divergent.

This can be seen also at non-perturbative level: the spin-zero field is related to the conformal part of the metric, and the Hilbert action can be made arbitrarily negative by performing a highly oscillating conformal transformation [2]. 444Insofar as the conformal factor is a gauge degree of freedom, one may doubt that this is significant. In fact, the conformal factor is absent in unimodular gravity. However, in that case another scalar component of the graviton has wrong-sign action. The existence of a scalar with wrong-sign action is a gauge-independent statement. The standard way out, that we shall refer to as the “Cambridge prescription”, is to rotate the integration over the conformal factor in the complex plane, to make the integral over the conformal factor convergent.

Returning to general QFT in curved spacetime, there is an alternative to analytically continuing time, that is analytically continuing the metric. In an ADM decomposition, this can be thought of as analytically continuing the lapse. Even more generally, one can think of a one-parameter family of metrics:

[TABLE]

where $g_{\mu\nu}$ is a Lorentzian metric and $X_{\mu}$ is a unit timelike vectorfield in the metric $g_{\mu\nu}$. For $\sigma=-1$ one has the original Lorentzian metric while for $\sigma=1$ one has a Euclidean metric. This procedure has been used in [3] and its advantages extolled in [1]. One of the advantages is that all the metrics are defined on the same underlying manifold. This puts strong restrictions on the class of manifolds that one may have to sum over, and this in turn is known to greatly improve the definition of the path integral [4, 5].

On the other hand, this definition is also not free of ambiguity: there is no preferred choice of vectorfield $X_{\mu}$. One may try to restrict this freedom by imposing some additional conditions, such as mapping Einstein manifolds to Einstein manifolds, or preserving the number of Killing vectors of the metric. However, it can be seen that in some cases these requirements clash with the requirement of preserving the manifold structure [6].

For this reason, in the present paper we shall explore an alternative procedure, where no Wick rotation is performed. By this we mean that neither time nor the metric are changed. Instead, an analytic continuation is performed on the quantum field itself. More precisely, one can choose a contour in the integral over the field such as to make the integral over each mode convergent. This procedure is inspired by recent work on quantum cosmology [7], where the integral over the lapse is made convergent by using Picard-Lefschetz theory. Here we shall discuss only the case of quadratic actions, where it is enough to use the steepest descent definition of the Fresnel integrals, which is actually the simplest application of Picard-Lefschetz theory and, as we shall mention in section 6, is all that one needs in perturbative QFT. The main point we would like to make is that the functional integral is not ill-defined because of the oscillatory character of the integrand, but because of the presence of infinitely many degrees of freedom. This issue is exactly the same in the Euclideanized theory and in the Lorentzian theory treated by the steepest descent method.

Instead of giving a general proof, we will show by explicit calculations that this is true on static spacetimes, where the notion of Euclidean continuation is unambiguous. In all cases, the spatial section is a $d$-dimensional manifold $\Sigma$ with suitable boundary conditions that allow integrations by parts to be performed without boundary remnants. We give general formulas for the dependence of the EA on the metric in $\Sigma$, in any dimension, but the main point is already clear when $\Sigma$ is a flat torus of side $L$, in which case the dependence on the metric reduces simply to the dependence on the total volume $V=L^{d-1}$.

We begin in Section 2, by defining directly the Lorentzian functional integral by the steepest descent method. We then consider in Section 3 the EA of a massive theory where time is non-compact. We prove that the results of the Euclidean and Lorentzian calculations are indeed related as in Equation (1.4). In Section 4 we consider the case where time is periodic with period $T$, which is somewhat pathological in the Lorentzian case, but is useful to illustrate the behavior of massless fields. Again, we prove that results of the Euclidean and Lorentzian calculations are related as in Equation (1.4), both in the massive and massless case. We also discuss the limit $T\to\infty$. In Section 5 we show how the EA can be calculated by integrating a Renormalization Group (RG) equation. This is useful for applications of the RG to gravity. As a side result we show that the EA calculated in this way is independent of the choice of the cutoff that enters the definition of the coarse-graining. Section 6 contains some final remarks.

2 Lorentzian functional integral

Consider a massive scalar field $\phi$ on a $d$-dimensional static spacetime $M$, with action

[TABLE]

Here $\Box=\nabla^{2}$ is the covariant d’Alembertian, whose eigenfunctions will be denoted $\phi_{n}$, where $n$ is a composite index comprising an energy eigenvalue for the Fourier modes in time and another set of labels for the eigenvalue of the spatial Laplacian $\Delta_{\Sigma}$. They are orthonormal with respect to the inner product on $C^{\infty}(M)$:

[TABLE]

where $\mu$ is a constant with dimension of mass. Note that this has nothing to do with the Klein-Gordon inner product that is used in canonical quantization, which is only defined for the solutions of the classical equations of motion. The eigenfunctions form a basis in the space of functions on $M$, so we can decompose the field $\phi$ as: $\phi(x)=\mu^{(d-2)/2}\sum_{n}a_{n}\phi_{n}$. (Note that the coefficients $a_{n}$ are dimensionless.) Using the eigenvalue equation

[TABLE]

the action becomes:

[TABLE]

where $\sigma$ is the set that labels the eigenvalues. The path integral measure can be written formally:

[TABLE]

where $N$ is an infinite, field-independent, dimensionless normalization factor, which we define by the following Gaussian normalization condition:

[TABLE]

Using the spectral decomposition of $\phi$, the r.h.s. becomes a product of integrals of the form

[TABLE]

The integrals over the $a_{n}$ on the real axis are not well-defined, but one can deform the integration contour in the complex plane to follow the steepest descent path at the origin, which is shown in Figure 1. The two eighths of a circle that are needed for this deformation give no contribution when their radius tends to infinity, so that each integral is equal to $e^{i\pi/4}\sqrt{2\pi}$. Thus we get

[TABLE]

With the measure (2.3) and the eigenvalues (2.1), the partition function becomes a product of integrals

[TABLE]

Let us split the spectrum into $\sigma=\sigma_{-}\cup\sigma_{0}\cup\sigma_{+}$, where $\sigma_{-}$, $\sigma_{0}$, $\sigma_{+}$ corresponds to $\lambda_{n}<0$, $\lambda_{n}=0$, $\lambda_{n}>0$, respectively. In general there will be no zero eigenvalues. If there is any, the mass has to be given a small imaginary part $m^{2}\to m^{2}-i\epsilon$, which implies that $\lambda_{n}\to\lambda_{n}+i\epsilon$: in this way the contribution of the zero eigenvalues becomes a product of standard Gaussian integrals.

Now let us choose for each integral the path of steepest descent, shown in Figure 1. For each positive eigenvalue we get a factor $e^{i\pi/4}$ and for each negative eigenvalue a factor $e^{-i\pi/4}$. Altogether, using the steepest descent method and equation (2.4), the functional integral becomes

[TABLE]

In the absence of zero eigenvalues, which is the normal situation, we can drop the $i\epsilon$ and we are led to the standard formula

[TABLE]

We note that the previous calculation was mathematically well-defined. What is ill-defined is only the trace in this last expression, which is a sum over infinitely many, growing, terms. This requires regularization and renormalization. We will discuss this in the next sections, showing that the results of the direct Lorentzian calculation agree with the analytic continuation of the results of the Euclidean calculation.

3 Non-compact time

In this section we discuss the case when spacetime has topology $\mathbb{R}\times\Sigma$ where $\Sigma$ is an compact $(d-1)$-dimensional manifold. The line element is $ds^{2}=\pm dt^{2}+q_{ij}dx^{i}dx^{j}$. The time dependence of the field can be expanded in Fourier integrals with normal modes $e^{iEt}$ where $-\infty<E<\infty$ is a continuous index. The trace of the heat kernel of the one-dimensional Laplacian $-\partial_{t}^{2}$ is

[TABLE]

where $T=\int dt$ is (infrared) divergent. This is unavoidable for a static physical system existing for an infinite time. It could be regulated by putting the system in a large “time box” of finite duration $T$. In this section we will implicitly assume that this has been done. In the next section we will discuss the case when time is periodic with a finite period $T$.

The eigenvalues of the spatial Laplacian $\Delta_{\Sigma}=-q^{ij}\nabla_{i}\nabla_{j}$ will be denoted $\omega^{2}_{\alpha}$, where $\alpha$ is a discrete label, and the trace of its heat kernel has the small-$s$ expansion

[TABLE]

The first expansion coefficients are

[TABLE]

where $V$ is the volume of $\Sigma$ and the curvatures are those of the metric $q_{ij}$.

3.1 Euclidean, non-compact time

The Euclidean EA can be expressed as

[TABLE]

where $K_{-\Box+m^{2}}(s)=\exp\left[-s(-\Box+m^{2})\right]$ is the heat kernel of the (positive) Euclidean kinetic operator $-\Box+m^{2}=-\partial_{t}^{2}+\Delta_{\Sigma}+m^{2}$, whose eigenvalues are are

[TABLE]

Since the time and space parts of the Laplacian commute, the trace of the heat kernel factors into

[TABLE]

Inserting (3.1) and (3.2) in (3.6) we obtain

[TABLE]

The integral in the first line is convergent and gives the result in the second line when $j>d/2$. Elsewhere, it can be defined by analytic continuation. It has poles for $j=0,2,\ldots d$ that can be isolated by sending $d\to d-\epsilon$. For example, for $d=4$ [8],

[TABLE]

Alternatively one can put an UV cutoff on the theory by integrating $s$ from $1/\Lambda^{2}$ to infinity. This gives an incomplete Gamma function:

[TABLE]

In the case $d=4$ the expansion of the incomplete Gamma function gives

[TABLE]

From here we see that the leading divergences are powers and logs, multiplied by the heat kernel coefficients, and we also see that the log divergences exactly reproduce the dimensional poles in (3.10).

3.2 Lorentzian, non-compact time

In the Lorentzian case the eigenvalues of the kinetic operator $\Box-m^{2}=-\partial_{t}^{2}-\Delta_{\Sigma}-m^{2}$ are

[TABLE]

where we have again added the $i\epsilon$ term in case that there are zero modes. The Lorentzian EA is given by the general formula (3.6), where we replace the Euclidean kinetic operator by the Lorentzian one, and $s$ by $is$:

[TABLE]

This formula can also be obtained from Schwinger’s action principle, see e.g. [9]. From here we obtain 555Note that because of the different sign of the temporal part in the eigenvalues the temporal contribution to the Heat Kernel is simply $(-4\pi is)^{-1/2}$ , while the spatial contribution is $(4\pi is)^{-(d-1)/2}\sum_{j=0}^{\infty}B_{2j}(\Delta_{\Sigma})\,(is)^{j}$ .

[TABLE]

This expression has the same divergences that we encountered in the Euclidean calculation, and can be regularized and renormalized in the same way.

For our purposes, we can already compare the Euclidean and the Lorentzian result. Recalling that in the standard definition of Wick rotation $t\to-it$, we clearly must have $T\to-iT$. Indeed we see that the two effective actions are related as in (1.4), namely

[TABLE]

Thus the direct Lorentzian calculation correctly reproduces the analytic continuation of the Euclidean calculation.

3.3 Zeta function regularization

In this section we investigate further the nature of the relation (3.15). We recall that the determinant of an operator can be calculated using a generalized zeta function [10, 11, 12]. In the non-compact time Euclidean case, it is given by:

[TABLE]

Then the recipe for the determinant is [13]:

[TABLE]

Putting $d=4$:

[TABLE]

We see that the divergences exactly reproduce the dimensional poles in (3.10).

Similarly, in the Lorentzian case:

[TABLE]

We see that:

[TABLE]

The formula (3.15) can now be seen as a consequence of this relation, since the effective action are proportional to the derivative evaluated for $z=0$ of the zeta function associated to the Hessian of the action.

4 Compact time

In this section we discuss a scalar field in the case when spacetime has topology $S^{1}\times\Sigma$ where $S^{1}$ is a circle of period $T$ and $\Sigma$ is, as before, an compact $(d-1)$-dimensional manifold. In this case we will consider both the massive and the massless case. The time dependence of the field can be expanded in Fourier series with normal modes $e^{iE_{n}t}$ where

[TABLE]

and $n\in\mathbb{Z}$. The eigenvalues of the one-dimensional Laplacian $-\partial_{t}^{2}$ are $E_{n}^{2}$ and the trace of the heat kernel is

[TABLE]

Note that $T=\int dt$ is finite here, in fact this calculation can be seen as an infrared regularization of the one performed in the previous section. We shall discuss the limit $T\to\infty$ in section 4.4.

The usual physical interpretation of the Euclidean EA in $d$ dimensions with a periodic coordinate is as thermal partition function of a system in $d-1$ dimensions at temperature $1/T$. Here, however, we shall also consider the partition function of a real system in $d$ dimensions with periodic time. This example is unphysical, but it serves as an illustration of the fact that partition functions of massless fields can be calculated directly in Lorentzian signature.

4.1 Euclidean compact time

The spectrum of the kinetic operator $-\Box$ for a massive scalar is

[TABLE]

where $n\in\mathbb{Z}$ and $\omega_{\alpha}$ are the eigenvalues of the Laplace-Beltrami operator on $\Sigma$. The quantum action is given by (3.6). The heat kernel can now be written

[TABLE]

Now using (3.6) and separating the mode $n=0$ from the others

[TABLE]

We can thus write

[TABLE]

where, comparing with (3.9),

[TABLE]

is equal to the Euclidean effective action of a massive scalar field in the $d-1$ dimensional manifold $\Sigma$ and

[TABLE]

If we use dimensional regularization to isolate the poles in this expression, we find that for a given dimension $d$ there is only one divergent term in the sum: in particular for even $d$ there is a dimensional pole when $j=\frac{d}{2}$, coming from the zeta functions, while for odd $d$ there is a pole for $j=\frac{d-1}{2}$ coming from the gamma function.

For example in $d=4-\epsilon$ dimensions 666Note that in order to have $\Gamma_{E}$ dimensionless it is necessary to $\Gamma_{E}\to\mu^{\epsilon}\;\Gamma_{E}$ we obtain:

[TABLE]

In the MS scheme, the finite part of the EA is obtained by simply dropping the $1/\epsilon$ term. The first term correctly reproduces the free energy of a relativistic gas in a box of volume $V$ at temperature $1/T$. Note that in the case when $\Sigma$ is flat, there are still infinitely many contributions coming from the higher $B_{2j}$ that give the dependence on the mass.

4.2 Lorentzian compact time

The spectrum of $\Box$ is

[TABLE]

where $n\in\mathbb{Z}$. Using this in (3.13) and proceeding as before and keeping track of the additional factors of $i$, we find

[TABLE]

As before, we can thus write

[TABLE]

where, comparing with (3.9),

[TABLE]

is equal to $i$ times the Euclidean effective action of a massive scalar field in the $d-1$ dimensional manifold $\Sigma$ and

[TABLE]

For example in $d=4-\epsilon$ dimensions we obtain:

[TABLE]

Comparing (4.9) with (4.5) we see that, in any dimension, also in this case the EA’s are related as in (1.4), provided we make the replacement $T\to-iT$. Note that not only the $T$-independent part but also the $T$-dependent part of $\Gamma_{L}$ is complex except for $d$ even, $m=0$ and $\Sigma$ flat .

4.3 Even vs. odd dimensions

The overall coefficient in (4.9) is real or imaginary, depending on the dimension. For example, for a massless scalar field on a flat torus,

[TABLE]

so we see that $\Gamma_{L}$ is real if $d$ is even and imaginary if $d$ is odd. This is related to the fact that the Euclidean action is real and contains $T^{1-d}$, so that the Wick rotation produces a factor $i^{d}$. This is in contrast to the case when time is non-compact, where there is always just one power of $T$ in the EA.

The physical origin of this behavior may be related to the different propagation properties of fields in even and odd dimensions. Consider a massless scalar field in $\mathbb{R}\times\mathbb{R}^{d-1}$, satisfying the wave equation

[TABLE]

If $d$ is even the value of $\phi$ at a point $(t,\vec{x})$ is determined by its value on the past light cone of the point $(t,\vec{x})$. By contrast, if $d$ is odd, then the value of $\phi$ at $(t,\vec{x})$ is determined by its value in the interior of the past light cone [14, 15].

Now let’s compactify the time $\mathbb{R}$ to $S^{1}$ by identifying $(t,\vec{x})$ and $(t+\frac{2\pi}{T}n,\vec{x})$, where $n\in\mathbb{Z}$. There are now closed timelike curves, which lead to causality violation. However, for a generic point (which means that its coordinates are irrational multiples of the periods), the past light cone never passes through the point itself. Thus generically there are no closed light rays and therefore in even dimensions there is no violation of causality for massless fields. If $d$ is odd the value of the field is affected by its whole causal past and the presence of closed timelike curves leads to violation of causality.

4.4 The limit $T\to\infty$.

In the infinite volume limit the EA of a massless theory has infrared divergences. Therefore, there are two possible ways of taking the limit $T\to\infty$: either by separating the mass term from the heat kernel expansion of the spatial part, or by introducing an explicit IR regulator in the integral over $s$.

Let us first consider the Euclidean case. Using the identity

[TABLE]

we can write

[TABLE]

In the limit $T\to\infty$ only the first term in the square bracket survives and we arrive at

[TABLE]

which agrees with (3.9). Using the same trick as above, the Lorentzian EA reads

[TABLE]

Before taking the limit, we have to remember the $i\epsilon$ prescription $m^{2}\to m^{2}-i\epsilon$ and $E_{n}\to E_{n}+i\epsilon$, which is equivalent to $T\to T-i\epsilon$. If we keep $\epsilon$ fixed, the second term in the square bracket becomes $e^{-i\left(\frac{nT}{2\pi\sqrt{s}}\right)^{2}}\to e^{-i\left(\frac{nT}{2\pi\sqrt{s}}\right)^{2}-\left(\frac{n}{2\pi\sqrt{s}}\right)^{2}\epsilon T+o(\epsilon^{2})}$. As before, in the limit $T\to\infty$, only the first term in the square bracket survives and then taking $\epsilon\to 0$ we arrive at (3.14).

5 Deriving the EA from an RG equation

The Effective Average Action (EAA) is the EA for a theory where the action has been modified by the addition of a “cutoff term” $S_{k}$ that suppresses the contribution of low-momentum modes. It depends on the “IR cutoff” $k$ and reduces to the ordinary EA when $k\to 0$. The cutoff term has the general form

[TABLE]

where $z$ is a suitable second order differential operator and the function $R_{k}$ tends to $k^{2}$ for $k\to 0$ and goes rapidly to zero for $z>k$. The “cutoff kinetic operator” is then

[TABLE]

The choice of the regulator function $R_{k}$ is largely arbitrary and is somewhat analogous to choosing a renormalization scheme in perturbation theory. At one loop the EAA is then given by

[TABLE]

Note that the one-loop EAA $\Gamma_{k}$ is ill-defined and needs UV regularization and renormalization. However, if we take a derivative with respect to $k$, the resulting expression is UV finite. It can be interpreted as a RG equation [16, 17]:

[TABLE]

The EA can be calculated by integrating the flow from some UV scale $k=\Lambda$ to $k=0$. For some concrete examples see [19]. The usual divergences of QFT are hidden in the choice of the initial condition for the EAA at the UV scale and reappear when we try to send $\Lambda\to\infty$.

Normally, in a Euclidean setting, one chooses $z$ to be a Laplace-type operator. This preserves rotational invariance and guarantees that the cutoff represents physically a coarse-graining of the degrees of freedom of the system. The RG equation (5.2) is much less used in a Lorentzian setting. One may try to introduce a cutoff preserving Lorentz invariance by choosing $z$ to be a d’Alembertian operator, but in this way there would be no restriction on the modulus of the spatial momenta. In other words, one would not be really coarse-graining in the usual sense. Alternatively, one could impose separate cutoffs on the space and time components of the momentum, so that only low wave numbers and low frequencies are suppressed. In this way one would lose Lorentz covariance. For a general discussion see [20, 21].

5.1 Compact time with optimized regulator

For the calculations of the EA in periodic time, where Euclidean/Lorentz invariance is broken anyway by the static metric, it will be adequate to cut off only the space momenta [22, 23]. In this section we will treat the Euclidean and Lorentzian calculations together. The kinetic operator is $z=z_{T}+\sigma z_{\Sigma}$, where $z_{T}=-\partial_{t}^{2}$, $z_{\Sigma}=\Delta_{\Sigma}$ are both positive operators, and $\sigma=1$ in the Euclidean case while $\sigma=-1$ in the Lorentzian case. We choose a cutoff of the form $\sigma R_{k}(z_{\Sigma})$, so that the cutoff kinetic operator is $z_{T}+\sigma z_{\Sigma}+\sigma R_{k}(z_{\Sigma})=z_{T}+\sigma P_{k}(z_{\Sigma})$, where $P_{k}(z)=z+R_{k}(z)$. Thus the RG equation (5.2) becomes

[TABLE]

where the prefactor $\sqrt{\sigma}$ accounts for the $i$ in (2.7) in the Lorentzian case. As we have seen in the preceding examples, the trace factors as a product of two traces, over the time and space quantum numbers. Even though we have not put a cutoff on the time quantum numbers, both traces are now finite, as we shall see below.

With our choice of cutoff $R_{k}(\Delta_{\Sigma})$ and with the eigenvalues of equation (4.2) and (4.7), the Euclidean RG equation reads

[TABLE]

Let us first see what this gives for $\Sigma=\mathbb{R}^{d-1}$. The sum over $\alpha$ then becomes an integral over space momenta $p$. This leads to the formula

[TABLE]

where

[TABLE]

Defining $y=|p|^{2}/k^{2}$ and $R_{k}(p^{2})=k^{2}r(y)$ where $y=p^{2}/k^{2}$, the relevant $Q$-functionals can be rewritten as

[TABLE]

where $\tilde{E}_{n}=E_{n}/k$. In general these functionals depend on the shape of the function $r(y)$, but in the case $m=0$ (corresponding to $d=1$) they do not [24].

In general, the $Q$-functional can be calculated explicitly for the optimized cutoff $r(y)=(1-y)\theta(1-y)$:

[TABLE]

Then using

[TABLE]

we arrive at

[TABLE]

Let us specialize to the case $d=4$. Integrating the LHS of (5.9) we obtain $\Gamma_{\Lambda}-\Gamma_{0}$, where $\Lambda$ is an arbitrary UV scale:

[TABLE]

For $\sigma=1$, expanding the last four terms in the square bracket around $\Lambda=\infty$ gives

[TABLE]

In the limit $\Lambda\to\infty$ we thus obtain

[TABLE]

In order to extract the EA $\Gamma\equiv\Gamma_{0}$, we need to specify the initial condition $\Gamma_{\Lambda}$. For $\Lambda\to\infty$ it must reproduce the classical action, which in the case of vanishing field that we are considering here is simply zero. This means that $\Gamma_{\Lambda}$ must be chosen to be equal to the divergent term on the r.h.s., and the final result is

[TABLE]

in accordance with (4.6). For $\sigma=-1$, we have to remember that there is a $i\epsilon$ prescription $E_{n}\to E_{n}+i\epsilon$ which is equivalent to $T\to T-i\epsilon$: as a consequence the exponential factor in the polylogs function becomes $e^{iT\Lambda}\to e^{(iT+\epsilon)\Lambda}$. So we have the same expansion as before and we obtain

[TABLE]

in accordance with (4.10).

5.2 Compact time with general regulator

The sums in (5.4) can be treated also for general $\Sigma$ using the general formula for the trace of a function of a Laplacian, given in appendix A of [24]. One obtains

[TABLE]

whose first term indeed agrees with (5.5).

In the preceding calculation we had to choose a special regulator in order to be able to perform all the integrals and sums in closed form. However, it is possible to show that the final result for the EA is actually independent of the choice of cutoff function $R_{k}$.

Since the integral over $s$ and the sum over $n$ cannot be performed for a general cutoff, in order to show cutoff-independence we have to perform the integration over $k$ before the integral over $y$ and the sum over $n$. This inversion is legitimate because the sums and integrals are convergent.

Let us go back to equation (5.14) and integrate both sides. In the r.h.s. we encounter the integrals

[TABLE]

The $k$-integral can be performed exactly, yielding a hypergeometric function. For large $\Lambda$ it diverges, leaving a finite part

[TABLE]

With this, the $y$-integral is seen to become the integral of a total $y$-derivative, and therefore becomes independent of the shape of the cutoff function. The final result is

[TABLE]

Inserting this back in (5.14) and performing the sum over $n$ one obtains

[TABLE]

which agrees with equations (4.5,4.9) for $\sigma=\pm 1$ and $m=0$.

5.3 Non-compact time with general regulator

To pass from the compact case to the non-compact one we just do the following substitution:

[TABLE]

The integral in $E$ gives:

[TABLE]

Finally:

[TABLE]

which agrees with equations (3.9,3.14) for $\sigma=\pm 1$.

6 Discussion

We have discussed the definition of functional integrals directly in Lorentzian signature, by means of the steepest descent procedure. We conclude with two remarks. We have considered here only Gaussian functional integrals. For an interacting theory the perturbative expansion can be derived from the expression

[TABLE]

where $\Delta_{\sigma}$ is the Laplacian for $\sigma=1$ and the d’Alembertian for $\sigma=-1$. The only path integral that one has evaluated is a Gaussian one. Thus the steepest-descent procedure is enough to define the Lorentzian theory perturbatively. It is only when one wants to go beyond the perturbative treatment that more complicated contours will have to be chosen, such as in [7, 25].

In the case of quantum gravity, as noted in the introduction, there is the issue that the free action of gravitons has opposite sign for the spin-two and for the spin-zero components. We note that the steepest-descent prescription implies different integration contours for these fields, each leading to a determinant. Thus we arrive at the same result as the analytic continuation of the Euclidean integral, treated with the Cambridge prescription.

Acknowledgements. R.P. wishes to thank the organizers of the conference “The path integral for gravity”, which was held at Perimeter Institute, November 13-17, 2017, and provided the motivation for this work. This research was supported in part by Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Economic Development and Innovation.