Vacuum polarization for varying quantum scalar field parameters in Schwarzschild-anti-de Sitter spacetime Cormac Breen∗ School of Mathematical Sciences, Dublin Institute of Technology, Kevin Street, Dublin 8, Ireland Peter Taylory Center for Astrophysics and Relativity,School of Mathematical Sciences, Dublin City University, Glasnevin, Dublin 9, Irelandd (Dated: September 24, 2018) Equipped with new powerful and efficient methods for computing quantum expectation values in static-spherically symmetric spacetimes in arbitrary dimensions, we perform an in-depth inves- tigation of how the quantum vacuum polarization varies with the parameters in the theory. In particular, we compute and compare the vacuum polarization for a quantum scalar field in the Schwarzschild anti-de Sitter black hole spacetime for a range of values of the field mass and field coupling constant as well as the black hole mass and number of spacetime dimensions. In addi- tion, a new approximation for the vacuum polarization in asymptotically anti-de Sitter black hole spacetimes is presented. I. INTRODUCTION polarization often shares important properties with the stress-energy tensor, e.g., they usually both diverge or The expectation value of the quantum stress-energy are both regular on the horizon of the black hole for the tensor plays a crucial role in the semi-classical theory field in a given quantum state. of gravity. It governs the quantum backreaction on the In almost all calculations of the regularized stress- classical spacetime geometry via the semi-classical field energy tensor or vacuum polarization in the literature, equations the emphasis is on describing the method for a given fixed set of parameters, mainly because these calcula- Gab + Λgab = 8πhT^abi: (1) tions are notoriously difficult and computationally ex- pensive. However, the authors have devised a regular- Computing the expectation value of the quantum stress- ization method [7,8], which we will refer to as the ex- energy tensor is beset with challenges. The main diffi- tended coordinate method, which provides an extremely culty is that in quantizing the system, one promotes clas- efficient way to compute the vacuum polarization for ar- sical fields to operator-valued distributions, and since the bitrary field parameters in static spherically-symmetric classical stress-energy tensor is quadratic in the field, the spacetimes of arbitrary dimensions. In particular, this quantum stress-energy tensor is quadratic in an operator- method allows us to explore the parameter space of the valued distribution, a mathematically ill-defined object. semi-classical theory in a way that would be so tedious This implies that hT^abi must be regularized. A con- as to be completely impractical using other schemes, for ceptual framework for regularization, known as point- example, the Candelas Howard method [9]. splitting regularization, was developed by DeWitt and We are considering a scalar field satisfying the Klein- Christensen [1,2], and put on a rigorous footing by Gordon equation Wald [3]. There still followed decades of effort towards 2 a practical numerical implementation of point-splitting f − m − ξ Rg'(x) = 0; (2) regularization in black hole spacetimes. This industry arXiv:1809.07781v1 [gr-qc] 20 Sep 2018 has been recently revived by new methods developed by where is the d'Alembertian operator, m is the field Levi and Ori [4] and applied to a scalar field on a Kerr mass, R is the Ricci curvature scalar of the background black hole [5]. spacetime and ξ is the coupling strength between the field A related but technically less-challenging problem is and the background geometry. When considering vac- that of computing the regularized vacuum polarization. uum polarization in a Ricci flat spacetime, the coupling It has become customary to apply techniques to this constant is irrelevant (though not for the stress-energy problem before applying to the stress-energy tensor, tensor) since the ξ R term vanishes in the wave equa- notwithstanding interest in the vacuum polarization in tion. Hence, we choose to consider a quantum scalar its own right, for example, in the phenomenon of spon- field propagating on a black hole in anti-de Sitter space- taneous symmetry breaking (see e.g. [6]). The vacuum time, namely, the Schwarzschild anti-de Sitter spacetime, which allows us to probe how the quantum effects vary with the coupling ξ in a simple but non-trivial way, since the Ricci scalar on this background is constant but non- ∗ [email protected] zero. As well as probing the dependence on the coupling y [email protected] constant, we compute the vacuum polarization for vary- 2 ing field mass, black hole mass and spacetime dimen- order covariant Taylor expansions for these biscalar can sion. We note that, since the spacetime we are consid- be found in [13] . By construction, the difference in (3) ering is not asymptotically flat, the black hole solution is finite in the coincidence limit x0 ! x, albeit difficult we consider here is not the only possibility. There are to compute in practice. 0 asymptotically anti-de Sitter solutions with other hori- To see where the difficulty lies, we note that GE(x; x ) zon topologies. We do not consider these cases here, but is not known in closed form, but can only be expressed note that vacuum polarization for massless, conformally- as a mode-sum, which we derive later in (14)-(15). The coupled fields in these topological black hole spacetimes divergences as x0 ! x in this mode-sum manifest in the have been recently computed in Ref. [10] by adapting the fact that the sums do not converge in this limit, while in 0 extended coordinate method of Ref. [7,8]. GS(x; x ), they are explicitly geometrical. The mode-sum This paper is organized as follows: In Section II we approach developed in [7,8] involves a Fourier and multi- review the main features of the extended coordinate reg- pole decomposition of the Hadamard parametrix so that ularization method [7,8]. In Section III we outline the the difference in (3) can be taken mode-by-mode. Before main features of the Schwarzschild anti-de Sitter space- describing this, we first derive the Euclidean Green func- time, discuss the numerical calculations required to con- tion for a scalar field in the SadS black hole spacetime. struct the two-point function, present and discuss the main numerical results for the vacuum polarization and, finally in this section, we introduce and discuss a new A. The Euclidean Green Function approximation for the vacuum polarization. Lastly, in SectionIV, we draw some conclusions based upon the The SadS black hole spacetime is a static, spherically- work presented in this paper. symmetric solution to the vacuum Einstein equations Gab − Λgab = 0; (5) II. REVIEW OF REGULARISATION METHOD with a negative cosmological constant Λ < 0. In Schwarzschild-like coordinates, the Euclideanized version Here we will briefly review the mode-sum regulariza- of this solution has a line-element of the form tion method of [7,8], we refer the reader to those papers 2 2 2 2 2 for a comprehensive description. ds = f(r)dτ + dr =f(r) + r dΩd−2; (6) We wish to compute the vacuum polarization for 2 d−2 where dΩd−2 is the metric on S and a scalar field in the Hartle-Hawking [11] state in the Schwarzschild anti-de Sitter (which we will abbreviate to $ r2 f(r) = 1 − d + ; (7) SadS henceforth) black hole spacetime. Since the space- rd−3 L2 time is static, the vacuum polarization is conveniently where $ is the mass parameter related to the conserved defined in terms of a Euclideanized two-point function, d mass M by [14] ^2 0 0 hφ iHH = lim fGE(x; x ) − GS(x; x )g (3) (d−1)=2 x0!x (d − 2)Ωd−2$d 2 π M = ; Ωd−2 = d−1 ; (8) 0 16π Γ( ) where GE(x; x ) a Green function for the wave equation 2 on the Euclidean black hole spacetime obtained by a and 0 Wick rotation t ! −iτ, and GS(x; x ) is a symmetric r −(d − 1)(d − 2) two-point function which is a parametrix for the wave L = (9) operator and which is constructed only from the geome- 2Λ try of the spacetime through its metric and its derivatives is the adS curvature lengthscale. The Ricci Scalar for 0 [12]. In particular, we take GS(x; x ) to be a Hadamard SadS in d-dimensional spacetime is given by: parametrix of the form, d(d − 1) ( R = − : (10) Γ( d − 1) U(x; x0) L2 G (x; x0) = 2 S d=2 d −1 2(2π) σ(x; x0) 2 These coordinates are singular when f(r) = 0, which ) corresponds to an horizon. When d is even, f(r) has 0 0 2 + V (x; x ) log(2σ(x; x )=` ) : (4) a single real root r = rh corresponding to a black hole horizon. When d is odd, f(r) has two real roots r = ±rh, 0 of which the positive root corresponds to a black hole The biscalar σ(x; x ) is the world function with respect horizon. For example, to the Euclideanized metric. The parameter ` is an arbi- 1=3 2 trary length scale required to make the argument of the ∆4 L 0 0 r = − for d = 4 (11) log dimensionless. The biscalars U(x; x ) and V (x; x ) h 1=3 9 (3∆4) are smooth and symmetric in their arguments. For even r d, V (x; x0) is a homogeneous solution of the wave equa- ∆5 rh = for d = 5 (12) tion in both its arguments; for odd d, V (x; x0) ≡ 0. High 2 3 q 9 2 12 2 2 expanding the Hadamard parametrix in coordinate sep- with ∆4 = L $4 + L + $4 and ∆5 = p 2 81 aration ∆x = x − x0, we separate in so-called extended 2 L L + 4$5 − L .