This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Hawking Radiation from Universal Horizons

Mario Herrero-Valea [email protected] SISSA, Via Bonomea 265, 34136 Trieste, Italy and INFN Sezione di Trieste IFPU - Institute for Fundamental Physics of the Universe
Via Beirut 2, 34014 Trieste, Italy
   Stefano Liberati [email protected] SISSA, Via Bonomea 265, 34136 Trieste, Italy and INFN Sezione di Trieste IFPU - Institute for Fundamental Physics of the Universe
Via Beirut 2, 34014 Trieste, Italy
   Raquel Santos-Garcia [email protected] Departamento de Física Teórica and Instituto de Física Teórica, IFT-UAM/CSIC, Universidad Autónoma de Madrid, Ciudad Universitaria de Cantoblanco, 28049 Madrid, Spain
Abstract

The persistence of a suitable notion of black hole thermodynamics in Lorentz breaking theories of gravity is not only a non-trivial consistency test for such theories, it is also an interesting investigation per se, as it might help us identifying the crucial features at the root of these surprising laws governing such purely gravitational objects. In past investigations, controversial findings were presented in this sense. With the aim of settling this issue, we present here two complementary derivations of Hawking radiation in geometries endowed with universal horizons: a novel feature of back holes in Lorentz breaking theories of gravity which reproduces several properties normally characterizing Killing horizons. We find that both the derivations agree on the fact that the Hawking temperature associated to these geometries is set by the generalized universal horizon peeling surface gravity, as required for consistency with extant derivations of the first law of thermodynamics for these black holes. We shall also comment on the compatibility of our results with previous alternative derivations and on their significance for the survival of the generalized second law of black hole thermodynamics in Lorentz breaking theories of gravity.

preprint: FTUAM-20-28preprint: IFT-UAM/CSIC-20-190

I Introduction

Local Lorentz invariance of space-time (LLI) is at the basis of our present understanding of Nature. It is a fundamental symmetry of the standard model of particle physics as well as a funding pillar of General Relativity. Nonetheless, the search for a definitive theory of quantum gravity has led in the last decades to a renewed questioning about this symmetry and its role in Nature. First of all, being the Lorentz group non-compact we cannot say we have tested it completely, and we also know that LLI is strictly related to ultraviolet divergences in quantum field theory, being the latter a direct consequence of the assumption that the spectrum of field degrees of freedom is boost invariant. Moreover, hints of possible departures from Lorentz invariance came by several quantum gravity scenarios and, albeit non-conclusive, further stimulated the study of the phenomenological consequences of these departures from standard physics (see e.g. Mattingly (2005); Liberati (2013) for extensive reviews).

Missing a definitive theory of quantum gravity, it has been a common approach to take a bottom up attitude and adopt an effective field theory approach to Lorentz violations by adding systematically Lorentz breaking operators to different sectors of the Standard Model and then use current observations to constrain them Mattingly (2005); Liberati (2013). Lorentz breaking can be limited to the boost sector, in a Riemannian geometry, at the cost of introducing a preferred vector field (normally a unit, timelike one) that selects a preferred frame111Let us stress that is not strictly speaking necessary for a fundamental theory of quantum gravity to be endowed with a preferred frame for it to induce, below the Planck energy, an effective field theory with broken boost invariance. For this to happen it is sufficient that the UV and IR theories do not share the same Lorentz group, and this can happen for example if the space-time is akin to a condensate of fundamental constituents. See e.g. Fagnocchi et al. (2010) for a realization of this scenario within an analogue gravity framework and Oriti (2017) for a specific quantum gravity proposal entailing a “space-time condensate” scenario.. This in turn, together with the desire to preserve background independence, led to the development of extensions of General Relativity which include, also in vacuum, the dynamics of an “aether” field and not just of the metric. The most general quadratic action for a metric and the aether is the one of the so called Einstein-Aether theory of gravity Jacobson and Mattingly (2001). It is possible however to further require that such a vector selects as well a preferred foliation: this can be easily enforced by requiring it to be the gradient of a scalar and hence “hyper-surface orthogonal” and vorticity free. The action, in this case, takes the form of the low energy action of Hořava Gravity (which in principle entails not only mass dimension four operators but also several others, up to mass dimension eight, to guarantee power counting renormalizability).

It is worth stressing that while we do have fairly stringent constraints on deviations from Lorentz invariance in particle physics (see e.g. Liberati (2013)), we do not have comparable constraints on the gravitational sector. Indeed, currently detected gravitational waves are too low energy to constrain in any way terms of mass dimensions larger than four, and even for the latter, they severely constrain only two of the three basic parameters of the theory Emir Gümrükçüoğlu et al. (2018). Fortunately, when dealing with a physical theory it is not only possible to test it by using observations and experiments but it is also possible to probe its self-consistency.

Black holes represent the purest gravitational objects in nature and their thermodynamic aspects are still nowadays considered one of the few phenomena allowing us to have a glimpse into the possible merging of the gravitational and quantum realms. It is then not surprising that they can also play a crucial role in testing the self-consistency of Lorentz breaking theories of gravity. Furthermore, proving or disproving the persistence of black holes’ thermodynamics in theories with Lorentz invariance would provide invaluable insight to what lies at the root of this tantalizing feature of gravity, and hence it would be relevant beyond the actual interest in such alternative theories with a preferred frame.

Eddington222The Nature of the Physical World (1915), chapter 4. famously said that an unavoidable consistency test for a theory is to check whether the second law of thermodynamics holds true. This test seemed however miserably failed by the aforementioned Lorentz breaking theories of gravity when it was realized that violations of LLI seem to directly lead to violation of the Generalized Second Law (GSL) of black hole thermodynamics. The basic mechanism, in this case, is based on the fact that if different fields on a black hole space-time are endowed with different limit speeds, then in general they will experience different horizons and ergoregions. This mismatch can then be used to generate a violation of the second law, for example, by constructing a classical and quantum perpetuum mobile, or by devising a setup whose only outcome is to lower the total entropy of the universe Dubovsky and Sibiryakov (2006); Eling et al. (2007); Jacobson and Wall (2010); Blas and Sibiryakov (2011).

While this could have spelled doom for this whole class of theories, in a surprising twist it was soon recognized that black hole solutions in these frameworks have an internal structure that is quite different from the standard black holes of General Relativity. First of all, it was shown that classical arguments for GSL violation can be circumvented once the dynamics of the non-relativistic theory (for gravity and matter) is properly taken into account Benkel et al. (2018). Also, for what concerns Hawking radiation based arguments, it appeared soon clear that due to the possibility of non-relativistic dispersion relations for matter fields and gravitons, in such theories the Killing horizon does not capture the notion of the causal boundary as in standard black-hole space-times, as it can be realized by including the aforementioned higher order terms in the matter action (so to have not only different limit speeds but also superluminal signalling). Moreover, it was recognized that, static, spherically-symmetric black-hole solutions, in both Einstein-Aether and Hořava theories, contain a special hypersurface that acts as a genuine causal boundary because it traps all possible signals, even those traveling at arbitrarily high speeds333Such a special hypersurface, a leaf of the preferred foliation and hence of constant khronon field, can be found also in slow rotating solutions in Hořava gravity while no extension exists for rotating black holes in Einstein-Aether gravity where a priory no preferred foliation needs to exist Barausse and Sotiriou (2013); Barausse et al. (2016).. This special hypersurface has been called the “universal horizon”. Indeed it was also proven that the typical peeling structure shown by null rays at the Killing horizon in General Relativity is reproduced now at the universal horizon by the generalized causal rays moving under the influence of the metric and the khronon field with the peeling being characterized (albeit not completely fixed) by the surface gravity of the universal horizon, κuh\kappa_{\text{\sc uh}} Cropp et al. (2014).

It is evident that such finding might play a crucial role in the restoration of the GSL in non-relativistic frameworks as the presence of a universal temperature associated to the UV completion of the framework considered in  Dubovsky and Sibiryakov (2006); Eling et al. (2007); Jacobson and Wall (2010); Blas and Sibiryakov (2011) would solve at the root any possibility of construction of a perpetuum mobile, at least based on Hawking radiation. Indeed, further support for a restoration of black hole thermodynamics via universal horizons was lent by the finding that a generalized first law of black-hole mechanics can be associated to universal horizons Berglund et al. (2012, 2013); Pacilio and Liberati (2017), instead of the usual Killing horizon, and by requiring that the temperature associated to the universal horizon has to be fixed by their surface gravity κuh\kappa_{\text{\sc uh}}. Noticeably, such association was derived independently in Berglund et al. (2012) using the tunneling formalism of Ref. Parikh and Wilczek (2000), and later on generalized to arbitrary truncated power law dispersion relations, ωpN\omega\sim p^{N} for large pp, in Ding et al. (2016); Ding and Liu (2017); Cropp (2016); Pacilio and Liberati (2017)444Note however, that the aforementioned thermodynamic interpretation seems to have a non-trivial dependence on the asymptotic structure of the solutions Bhattacharyya and Mattingly (2014); Basu et al. (2016), with problems in asymptotically anti-de Sitter space-times, and that there are still open issues for rotating black holes Pacilio and Liberati (2017).

Despite this growing evidence, still many points have remained unclear. In particular, if the conjectured temperature associated with the universal horizon would be relevant for observers outside the black hole, or if instead the emitted radiation would be somehow reprocessed at the Killing horizon in an energy and species dependent way. In this context, the results reported in Michel and Parentani (2015) seemed to surprisingly contradict the accumulated evidence for a universal horizon thermodynamics, as they implied that the temperature associated to Hořava black holes was, as usual, the one set by the peeling surface gravity of the Killing horizon (see e.g. Cropp et al. (2013) for a detailed discussion of different notions of surface gravity).

An extra motivation to understand the thermal properties of black holes in Einstein-Aether and Hořava Gravity comes from holography in Lifshitz systems through the AdS/CFT duality. These are systems similar to CFTs but which exhibit an anisotropic scaling between time and space. Initially, they were proposed to be described by bulk theories combining a Proca field and a dilaton field. The former condenses along a direction – in a similar fashion to the Aether here – thus breaking boost invariance and leaving a non-relativistic theory. However, it was later shown by Griffin et al. (2013) that some properties related with conformal anomalies that were not easily captured by these duals were emerging naturally in Hořava Gravity, opening thus the window to a Lifshitz/Lifshitz holography Cheyne and Mattingly (2018). In this context, a complete understanding of thermality within the gravitational theory in the bulk could lead to important developments and applications for Lifshitz theories at finite temperature on the boundary.

In order to settle the issues described above, in this paper we shall rederive the Hawking temperature associated to spherically symmetric black holes in Hořava gravity using two different methods. We shall show that this is indeed associated to the generalized κpeeling\kappa_{\rm peeling} as found in Ding et al. (2016); Ding and Liu (2017); Cropp (2016). Also, we shall show that the different outcome of the investigation reported in Michel and Parentani (2015) is not due to any technical issue but rather to a different choice of the vacuum state.

The plan of the paper is the following. In chapter II we shall revise black holes in Lorentz violating theories. In chapter III we shall review the usual derivation in a relativistic setting of Hawking radiation in a collapsing shell geometry. In section IV we shall apply the same method, by a suitable generalization of physical rays, to the case of a geometry endowed with a universal horizon. We shall show that in this case, the relevant temperature for Hawking radiation is the one set by the universal horizon. To investigate further the compatibility of this result with the investigation reported in Michel and Parentani (2015) we revisit their calculation in chapter V, showing that their and our results can be reproduced with a suitable different choice of the vacuum state. Finally, we provide in chapter VI an extension of our results to more general dispersion relations, and we discuss their implications in the conclusions.

II Lorentz violating black holes

We will consider the following action describing Einstein-Aether gravity

S=116πGd4x|g|(R+c1μUνμUν+c2(μUμ)2+c3μUννUμ+c4aμaμ+λ(UμUμ1)),\displaystyle S=-\frac{1}{16\pi G}\int\mathrm{d}^{4}x\sqrt{|g|}\ \left(R+c_{1}\nabla_{\mu}U_{\nu}\nabla^{\mu}U^{\nu}+c_{2}(\nabla_{\mu}U^{\mu})^{2}+c_{3}\nabla_{\mu}U^{\nu}\nabla_{\nu}U^{\mu}+c_{4}a^{\mu}a_{\mu}+\lambda(U_{\mu}U^{\mu}-1)\right), (1)

where aμ=UννUμa^{\mu}=U^{\nu}\nabla_{\nu}U^{\mu}.

Here GG is the Newton’s constant and RR the scalar curvature of the manifold. The couplings cic_{i} are dimensionless and parametrize the departures from General Relativity in terms of the dynamics of the aether vector UμU^{\mu}, which is forced to have unit norm UμUμ=1U_{\mu}U^{\mu}=1 by the Lagrange multiplier λ\lambda, thus breaking boost invariance. The coupling c2c_{2} is constrained to be positive to ensure the absence of ghosts Blas et al. (2010). Here we are interested in static black hole solutions, which are only known analytically for aether fields that are hyper-surface orthogonal. In that case, c1c_{1} can be always absorbed into redefinitions of the rest of the couplings, so we will fix c1=0c_{1}=0 from now on. Incidentally, in that case, this action corresponds to the low energy limit of Hořava Gravity, known as khronometric theory555In this case, the couplings are usually renamed as c2=λc_{2}=\lambda, α=c4\alpha=c_{4}, β=c3\beta=c_{3}. Blas et al. (2011), in which the aether is described in terms of a single scalar degree of freedom, the khronon TT

Uμ=μTαTαT.\displaystyle U_{\mu}=\frac{\partial_{\mu}T}{\sqrt{\partial_{\alpha}T\partial^{\alpha}T}}. (2)

Note that UμUμ=1U_{\mu}U^{\mu}=1 is automatic from this and therefore solutions enjoy a preferred time direction given by the integral lines of UμU^{\mu}. As a consequence, the theory enjoys a reduced symmetry group with respect to General Relativity. Instead of full Diffeomorphism invariance, the dynamic is invariant only under those diffeomorphisms which preserve the global time direction, dubbed FDiff Blas et al. (2011).

In (1) we have set a possible cosmological constant to vanish. We do this for simplicity since we are interested in understanding Hawking radiation. Although formally this forbids the application of our results to contexts like AdS/CFT, we expect them to be easily translated to those cases. The role of a cosmological constant for the black hole solutions that we are going to study in the following would be only to regulate the large distance behavior of the metric and therefore, the dynamics of internal structures, such as horizons, whose characteristic length is typically much smaller than the curvature radius of a possible AdS embedding, should not be affected.

Regarding the viability of (1) as a realistic theory of Gravity, it must be noted that although Lorentz violations are highly constrained in the matter sector of the Standard Model Liberati (2013), current bounds on gravitational dynamics are still not as competitive. The allowed parameter space has been quickly reduced in recent years, but there is still room for departures to be accommodated. In particular, the couplings in (1) are constrained to satisfy |c3|1015|c_{3}|\lesssim 10^{-15} from the observation of multi-messenger signals from GW170817 Abbott et al. (2017); Emir Gümrükçüoğlu et al. (2018); Oost et al. (2018), while Solar System tests Will (1993, 2014); Blas and Sanctuary (2011); Bonetti and Barausse (2015) demand |c4|107|c_{4}|\lesssim 10^{-7}. An additional theoretical constrain, demanding that black holes moving slowly with respect to the aether remain regular except for their central singularity, requires c3=c4=0c_{3}=c_{4}=0 exactly Ramos and Barausse (2019). On the other hand, measurements of the abundance of elements during Big Bang Nucleosynthesis Carroll and Lim (2004); Yagi et al. (2014a, b) bound |c2|0.1|c_{2}|\leq 0.1.

Here, however, we will be looking to a different region of the parameter space, not in the physical region but advantageous for our purposes here, given by c4=2c3=2c2c_{4}=2c_{3}=-2c_{2}. For this particular value of the coupling constants, the action (1) admits an analytic spherical static black hole solution given by the Schwarzschild metric

ds2=F(r)dt2dr2F(r)r2dΩ2\displaystyle\mathrm{d}s^{2}=F(r)\mathrm{d}t^{2}-\frac{\mathrm{d}r^{2}}{F(r)}-r^{2}\mathrm{d}\Omega^{2} (3)

with dΩ2=dθ2+sin2θdϕ2\mathrm{d}\Omega^{2}=\mathrm{d}\theta^{2}+\sin^{2}\theta\mathrm{d}\phi^{2} and

F(r)=12μr,\displaystyle F(r)=1-\frac{2\mu}{r}, (4)

which will thus allow us to perform computations in an analytical manner, without having to resort to numerical methods, necessary for other values of the couplings. However, the main feature of the solution that leads to the phenomenon of interest for our work here is the presence of the universal horizon, which is present for generic values of all cic_{i}. Thus, we expect our analytical findings to also hold in the whole parameter space, at least schematically. Finally, this is the same solution considered in Michel and Parentani (2015), and thus it allows us to lay a direct comparison of our results and methods against those of them.

The metric (3) is complemented by an aether configuration given by

Uαdxa=(1μr)dt+μr2μdr,\displaystyle U_{\alpha}\mathrm{d}x^{a}=\left(1-\frac{\mu}{r}\right)\mathrm{d}t+\frac{\mu}{r-2\mu}\mathrm{d}r, (5)

and its orthogonal vector

Sαdxα=μrdt+μrr2μdr.\displaystyle S_{\alpha}\mathrm{d}x^{\alpha}=-\frac{\mu}{r}\mathrm{d}t+\frac{\mu-r}{r-2\mu}\mathrm{d}r. (6)

As previously advertised, this aether configuration is hyper-surface orthogonal and it is normed to unity, while its orthogonal vector satisfies SμSμ=1S^{\mu}S_{\mu}=-1. Note that there is a sign arbitrariness in choosing SμS^{\mu} which we fix by demanding it to approach Sμ=δrμS^{\mu}=\delta^{\mu}_{r} for large radii. The metric has a Killing horizon at rkh=2μr_{\text{\sc kh}}=2\mu for particles moving at light speed (c2=1c^{2}=1) and a time-like Killing vector given by

χαdxα=r2μrdt,\displaystyle\chi_{\alpha}\mathrm{d}x^{\alpha}=\frac{r-2\mu}{r}\mathrm{d}t, (7)

as well as the usual curvature singularity when r=0r=0.

However, this is the end of the similarities with the relativistic case. Due to the presence of the aether, the solution also contains a universal horizon, sitting at

Uμχμ=1μr=0.\displaystyle U_{\mu}\chi^{\mu}=1-\frac{\mu}{r}=0. (8)

At this radius, the integral lines of UμU^{\mu} wrap over themselves, becoming a compact surface of simultaneity. Moving over the r=μruhr=\mu\equiv r_{\text{\sc uh}} surface requires then to move at infinite speed and therefore, no signal can escape from it, thus becoming an event horizon for any motion. Signals moving at speeds c>1c>1 can penetrate the Killing horizon and eventually escape, but once they cross the universal horizon, they are trapped behind it. The schematic Penrose diagram of the geometry can be seen in figure 1. In the following, we will work with a two-dimensional toy model by throwing away the angular coordinates and focusing on the sub-manifold defined by tt and rr.

Refer to caption
Figure 1: Schematic Penrose diagram of the Lorentz violating geometry. Rays travelling at speed larger than cc correspond to straight lines with inclination larger than 4545^{\circ} and can escape the Killing horizon. The gray lines represent lines of constant khronon TT, while the red line denotes the universal horizon.

Motion within this space-time is a subtle issue. For free-falling observers moving at the speed of light, things are identical to the usual relativistic setting. They follow null trajectories of the metric (3). However, due to its non-relativistic character, the theory also admits observers which move at different speed cc and therefore, in the general case, position dependent speeds c(r)c(r) larger than the speed of light.

As previously discussed, the black-hole solutions that we consider are hyper-surface orthogonal and therefore the integral curves of UμU^{\mu} define a global time coordinate which is shared by all observers. Thus, when writing dynamical equations, time derivatives must be identified with derivatives along UμU^{\mu} while space derivatives are projected onto the orthogonal hyper-surfaces

tUμμ,xγμνν,\displaystyle\partial_{t}\equiv U^{\mu}\partial_{\mu},\quad\partial_{x}\equiv\gamma_{\mu}^{\ \nu}\partial_{\nu}, (9)

where γμν=gμνUμUν\gamma^{\mu\nu}=g^{\mu\nu}-U^{\mu}U^{\nu} is the projector onto the hyper-surfaces orthogonal to UμU^{\mu}. FDiff invariance then allows for terms which contain only time derivatives or only space derivatives, thus admitting fields with non-relativistic dispersion relations from explicit violations of LLI. One must be careful, though. Including more than two time derivatives increases the number of initial conditions required to solve the general Cauchy problem for the system and will inevitably lead to instabilities in the form of ghost degrees of freedom. Therefore, we choose to keep our action second order in time derivatives and include only higher order – irrelevant in the IR – operators constructed with spatial derivatives.

In the present work we will thus consider a model of a scalar field coupled to the background geometry and the aether in the following way

Sϕ=d4x|g|[12μϕμϕ2Λ2(μ(γμννϕ))(α(γαββϕ))],\displaystyle S_{\phi}=\int\mathrm{d}^{4}x\sqrt{|g|}\,\left[\frac{1}{2}\partial_{\mu}\phi\partial^{\mu}\phi-\frac{2}{\Lambda^{2}}(\nabla_{\mu}(\gamma^{\mu\nu}\nabla_{\nu}\phi))(\nabla_{\alpha}(\gamma^{\alpha\beta}\nabla_{\beta}\phi))\right], (10)

where we have included the first possible higher derivative operator which breaks Lorentz invariance, weighted by a scale Λ\Lambda. The corresponding equations of motion are

μμϕ+2Λ2(μγμνν)2ϕ=0,\displaystyle\nabla_{\mu}\nabla^{\mu}\phi+\frac{2}{\Lambda^{2}}(\nabla_{\mu}\gamma^{\mu\nu}\nabla_{\nu})^{2}\phi=0, (11)

where the factor of 22 is there for future convenience.

In coordinates adapted to the global time defined by the aether, where |12μr|12dtÆ=Uμdxμ\left|1-\frac{2\mu}{r}\right|^{\frac{1}{2}}dt_{\text{\AE}}=U_{\mu}dx^{\mu}, the equations are explicitly second order in time derivatives and thus one can quantize the scalar field in the standard way, introducing modes with momentum kμk^{\mu} which can be decomposed as

kμ=ωUμqSμ,\displaystyle k^{\mu}=\omega U^{\mu}-qS^{\mu}, (12)

and satisfy the dispersion relation, obtained in the eikonal approximation

ω2=(12μr)[q2+2q4Λ2],\displaystyle\omega^{2}=\left(1-\frac{2\mu}{r}\right)\left[q^{2}+\frac{2q^{4}}{\Lambda^{2}}\right], (13)

The scale Λ\Lambda thus signals the magnitude of the momentum at which Lorentz violations become apparent in the motion of ϕ\phi. Note that the existence of the aether, allowing for the terms with only spatial derivatives, is crucial in order to have a modified dispersion relation.

Before going further, we should make an important remark about the quantization of these modes. In a relativistic theory, it is well known that one can construct different equivalent quantum field theories for the same action by considering different coordinate charts and thus defining the Hamiltonian by using different time coordinates. However, the theories considered here enjoy a preferred time direction, given by the integral lines along the aether field UμU^{\mu} as previously commented. This is important because only when the time direction is chosen to coincide with the preferred direction, the action remains second order in derivatives Blas et al. (2009). This means that only when this time coordinate is used to define the Hamiltonian, the theory remains unitary in flat space-time. Otherwise, the action will contain up to four derivatives along any other time direction, which will lead to the presence of ghosts. Thus hereinafter we will always define the generalized momentum of the modes by using the preferred time coordinate as

π=Uμμϕ,\displaystyle\pi=U^{\mu}\partial_{\mu}\phi, (14)

which thus always ensures the local absence of ghosts in the spectrum.

Through this work, and in order to be able to carry out an analytical analysis, we will rely on perturbation theory on Λ1\Lambda^{-1}, retaining the next-to-leading order contributions and in some situations, when required, also the next-to-next-to-leading order terms. Under this approximation, the dispersion relation thus becomes

ω=±|12μr|(q+q3Λ2),\displaystyle\omega=\pm\sqrt{\left|1-\frac{2\mu}{r}\right|}\left(q+\frac{q^{3}}{\Lambda^{2}}\right), (15)

Being polynomial, using this dispersion relation will simplify our computation hugely. Later we will discuss the implications of retaining the full dispersion relation (13).

Another important point on understanding the motion of observers in this space-time is the construction of physical free-falling trajectories, i.e the rays of massless fields coupled not only to the metric, but also to the aether and therefore endowed with a modified dispersion relation. These serve not only as the natural clocks on the geometry but also as probe observers moving under the sole influence of gμνg_{\mu\nu} and UμU_{\mu}. In order to understand their motion, we consider a ray of the scalar field ϕ\phi and note that its velocity vector can always be decomposed as Cropp et al. (2014)

Vμ=dxμds=Uμ±c(r)Sμ,\displaystyle V^{\mu}=\frac{\mathrm{d}x^{\mu}}{\mathrm{d}s}=U^{\mu}\pm c(r)S^{\mu}, (16)

where the sign indicates whether the ray propagates outwards or inwards in the geometry and c(r)=dωdqc(r)=\frac{d\omega}{dq} is the group velocity of the ray. Since we are dealing with a non-relativistic theory, the precise form of c(r)c(r) is frame-dependent and must be computed case by case. Note that although we have not displayed it explicitly, c(r)c(r) is not only space dependent but it will also change with the energy of the ray as we will see in a moment. Specifying to tt and rr, we can combine the components of VμV^{\mu} to get

dtdr=Ut±c(r)StUr±c(r)Sr=ζ±,\displaystyle\frac{\mathrm{d}t}{\mathrm{d}r}=\frac{U^{t}\pm c(r)S^{t}}{U^{r}\pm c(r)S^{r}}=\zeta_{\pm}, (17)

which allows us to define the point-wise effective causal-cone coordinates of the ray as

du¯=dtζ+dr,dv¯=dtζdr.\displaystyle\mathrm{d}\bar{u}=\mathrm{d}t-\zeta_{+}\mathrm{d}r,\quad\mathrm{d}\bar{v}=\mathrm{d}t-\zeta_{-}\mathrm{d}r. (18)

The reader can check that these reduce to the usual light-cone coordinates u,vu,v for the case of a relativistic dispersion relation. Following the integral lines of u¯\bar{u} and v¯\bar{v} is equivalent to following the trajectory of out-going and incoming rays in this geometry. At every point, the pair (u¯,v¯)(\bar{u},\bar{v}) defines the causal cone of an observer communicating with signals that travel at speed c(r)c(r).

At this point, it is worth noting that although the rays satisfy the modified dispersion relation (13) locally at every space-time point, none of the components of kμk^{\mu} are constant along the trajectories. Both ω\omega and qq are functions of the radial coordinate rr. Nevertheless, they can be related to conserved quantities easily. Since neither the metric nor the aether depend explicitly on the time coordinate tt, it is easy to check that the Killing frequency Ω=χk\Omega=\chi\cdot k is conserved. Contracting (12) with the Killing vector we thus find

Ω=ω(Uχ)q(Sχ).\displaystyle\Omega=\omega(U\cdot\chi)-q(S\cdot\chi). (19)

This allows us to study the possible solutions to the two branches of this equation – the two branches in ω\omega – in terms of rr. Their qualitative behavior is shown in figure 2.

Refer to caption
(a) Branches of the dispersion relation for r>rkhr>r_{\text{\sc kh}}.
Refer to caption
(b) Branches of the dispersion relation for ruh<r<rkhr_{\text{\sc uh}}<r<r_{\text{\sc kh}}.
Figure 2: Schematic solution to the dispersion relation for different values of the radius. The colors distinguish the two branches in ω\omega. The blue (orange) line corresponds to the ω>0\omega>0 (ω<0\omega<0) branch. For radii larger outside the Killing horizon, there are only two solutions for positive Killing frequency Ω\Omega. For radii in the region between the Universal and Killing horizons, the parabolas deform and we find four possible modes with positive Ω\Omega. Two of them remain close to |q|𝒪(1)|q|\sim{\cal O}(1) while the other two exhibit momenta comparable to the UV scale |q|Λ|q|\sim\Lambda.

At distances larger than the Killing horizon, there exist only two solutions for positive Ω\Omega, which correspond to the expected positive energy modes as given by a unitary quantum field theory. However, for radius in the range μ<r<2μ\mu<r<2\mu the parabolas are deformed and cross the Ω=0\Omega=0 axis. We thus find four positive energy solutions. In particular, for rr close to the universal horizon at ruh=μr_{\text{\sc uh}}=\mu, these solutions clearly separate in two sets, whose behavior is shown in figure 3. Two of the solutions remain soft and cross the universal horizon with finite momentum, while the other two become of order Λ\Lambda. The extra two modes that now become physical correspond to the orange parabola in figure 2 and therefore they enjoy negative aether energy and, as a consequence, negative norm in the quantum theory. However, they should not be interpreted as ghosts in the usual manner, but instead as the negative energy partners to positive modes that end up trapped behind the universal horizon.

The behavior of the momenta can be computed perturbatively both in Λ\Lambda and (rμ)(r-\mu) by choosing an appropriate ansatz and using (19). For the soft modes, we take

q±0=q0+q1Λ+q2Λ2+\displaystyle q^{0}_{\pm}=q_{0}+\frac{q_{1}}{\Lambda}+\frac{q_{2}}{\Lambda^{2}}+\dots (20)

where the subscript distinguishes the branch of the dispersion relation.

Retaining only the first sub-leading correction both for large Λ\Lambda and rμr-\mu we find for the momenta and group velocities c±0c^{0}_{\pm}

q+0=Ω(1+(2+Ω2Λ2)(rμ)μ)+𝒪[Λ3,(rμ)2],\displaystyle q_{+}^{0}=\Omega\left(1+\left(2+\frac{\Omega^{2}}{\Lambda^{2}}\right)\frac{(r-\mu)}{\mu}\right)+{\cal O}\left[\Lambda^{-3},(r-\mu)^{2}\right], (21)
q0=Ω(1Ω2Λ2rμμ)+𝒪[Λ3,(rμ)2],\displaystyle q_{-}^{0}=\Omega\left(1-\frac{\Omega^{2}}{\Lambda^{2}}\frac{r-\mu}{\mu}\right)+{\cal O}\left[\Lambda^{-3},(r-\mu)^{2}\right], (22)
c+0=(1+3Ω2Λ2)(19Ω2Λ2)rμμ+𝒪[Λ3,(rμ)2]\displaystyle c_{+}^{0}=\left(1+\frac{3\Omega^{2}}{\Lambda^{2}}\right)-\left(1-\frac{9\Omega^{2}}{\Lambda^{2}}\right)\frac{r-\mu}{\mu}+{\cal O}\left[\Lambda^{-3},(r-\mu)^{2}\right] (23)
c0=(1+3Ω2Λ2)(13Ω2Λ2)rμμ+𝒪[Λ3,(rμ)2].\displaystyle c_{-}^{0}=\left(1+\frac{3\Omega^{2}}{\Lambda^{2}}\right)-\left(1-\frac{3\Omega^{2}}{\Lambda^{2}}\right)\frac{r-\mu}{\mu}+{\cal O}\left[\Lambda^{-3},(r-\mu)^{2}\right]. (24)

Note that both modes are regular on the universal horizon, collapsing onto the line Ω=q\Omega=q, which allows them to cross the horizon. We thus identify these modes as incoming modes. Following the discussion in Michel and Parentani (2015) it can be seen that the mode in the would-be positive branch – the branch corresponding to positive energy outside the Killing horizon – corresponds to a physical incoming mode while the would-be negative one represents a mode which tries to escape the gravitational well but eventually falls back.

Refer to caption
Figure 3: Artistic representation of the behavior of the modes close to the universal horizon. The proper time of every trajectory is shown by the little arrow on top of them. For a concise derivation of this behavior, check the computation in Michel and Parentani (2015).

The other modes have momentum of order Λ\Lambda. Therefore we change our ansatz to

q±Λ=Λ(q0+q1Λ+q2Λ2+),\displaystyle q_{\pm}^{\Lambda}=\Lambda\left(q_{0}+\frac{q_{1}}{\Lambda}+\frac{q_{2}}{\Lambda^{2}}+\dots\right), (25)

which gives, when solved perturbatively

q±Λ=Λ(±|μrμ|+Ω2Λ+𝒪[Λ2,(rμ)1]),\displaystyle q^{\Lambda}_{\pm}=-\Lambda\left(\pm\sqrt{\left|\frac{\mu}{r-\mu}\right|}+\frac{\Omega}{2\Lambda}+{\cal O}\left[\Lambda^{-2},(r-\mu)^{1}\right]\right), (26)
c±Λ=3μ|rμ|3ΩΛ|μrμ|+𝒪[Λ2,(rμ)0],\displaystyle c^{\Lambda}_{\pm}=\frac{3\mu}{|r-\mu|}\mp\frac{3\Omega}{\Lambda}\sqrt{\left|\frac{\mu}{r-\mu}\right|}+{\cal O}\left[\Lambda^{-2},(r-\mu)^{0}\right], (27)

where c±Λc^{\Lambda}_{\pm} is the group velocity of the modes.

These modes actually diverge on the universal horizon, which prevents them from crossing it. They move infinitely close but still at a finite distance from the universal horizon. Following Michel and Parentani (2015) and Cropp et al. (2014) we identify them with modes that linger for a long time around the Universal Horizon, thus highly blue-shifted. The would-be positive mode escapes the geometry while the would-be negative mode can be understood as incoming from the inner region and attaching to the horizon. Note that one has to be careful when analytic continuing them through r=μ=ruhr=\mu=r_{\text{\sc uh}}, owing to the presence of the absolute value. Finally, it is worth to point that although the mode itself is of order Λ\Lambda, the solution is still under perturbative control, since it is given as an analytic expansion on Λ1\Lambda^{-1} with finite and non-vanishing radius of convergence.

III Hawking’s radiation from a collapsing shell: the relativistic case

Let us for the moment forget about the existence of the aether and the modified dispersion relation and review in this section a standard approach to derive Hawking’s radiation from a Schwarzschild black hole. Thus, for the moment we keep the Schwarzschild metric (3) but consider free-falling observers to be light-rays moving along null trajectories, with dispersion relation obtained in the eikonal limit

ω2=(12μr)q2.\displaystyle\omega^{2}=\left(1-\frac{2\mu}{r}\right)q^{2}. (28)

In order to derive the thermal properties of the horizon, we will follow the classic treatment by Hawking (1975); Parker (1975). We will consider a matter configuration in form of an infinitely thin shell moving towards the center of the geometry following a time-like trajectory r=R(τ)r=R(\tau), starting from r=R0r=R_{0}, and where τ\tau is the proper time of the shell. At early times and far enough from the shell, the space-time can be taken to be flat everywhere, and therefore one can construct the usual Minkowsky vacuum |0M|0\rangle_{\rm M} there. For later times, and at any radius r=R(τ)r=R(\tau), space-time is divided in two regions. The outer region of the shell will be described by the metric (3), while we take the interior, without any loss of generality, to be flat

ds2=dt^2dr2.\displaystyle\mathrm{d}s^{2}=\mathrm{d}\hat{t}^{2}-\mathrm{d}r^{2}. (29)

Eventually, the shell will cross the Schwarzschild radius 2μ2\mu and will form a black hole.

We will perform an experiment of sending rays along null trajectories towards the interior of the geometry from \mathscr{I}^{-}. These rays will cross the shell, hitting its center and being re-emitted towards the exterior geometry, eventually arriving to +\mathscr{I}^{+}. Incoming rays will experience a blue-shift, due to falling into the gravitational well. If the shell was static, then this blue-shift would be exactly compensated by the corresponding red-shift of the reflected ray when exiting the geometry. However, in a collapsing situation, the difference between the radius of the shell when the ray enters and exits will generate a non-negligible contribution. Our approach to compute the form of the rays (which is tantamount to the state of the modes of a field ϕ\phi) after the black hole has formed will be then to evaluate the shape of our probe rays after they hit +\mathscr{I}^{+}. For sufficient late times, there will be a last ray which is able to enter the shell and exit it just before the horizon forms. The shape of this ray will be asymptotically close to that of the fundamental modes in the newly formed black hole geometry, from which we can obtain the flux of Hawking’s radiation.

We will thus from now on follow the trajectory of a free-falling ray from \mathscr{I}^{-} to +\mathscr{I}^{+}, described in the exterior of the shell at early times by the simple function

ϕ(v)=eivΩ2πΩ,\displaystyle\phi(v)=\frac{e^{-iv\Omega}}{2\sqrt{\pi\Omega}}, (30)

where v=t+rv=t+r^{*} is the null coordinate of the metric (3), with r=r+2μlog(r2μ1)r^{*}=r+2\mu\log\left(\frac{r}{2\mu}-1\right) being the tortoise coordinate, and Ω\Omega is the Killing frequency, defined as the energy of the wave at rr\rightarrow\infty.

This ray will move towards the center of the geometry and will eventually cross the shell at r=R(τ)r=R(\tau). At that point, it will start propagating in the flat interior geometry, which will be described by a different pair of null coordinates U,VU,V. In order to be able to further follow the trajectory we thus need the relation between inner and outer coordinates, β(V)=v(V)\beta(V)=v(V), so that the ray becomes

ϕ(V)=eiΩβ(V)2πΩ.\displaystyle\phi(V)=\frac{e^{-i\Omega\beta(V)}}{2\sqrt{\pi\Omega}}. (31)

Let us postpone for now the discussion of the explicit form of β(V)\beta(V) and assume that we know it for the moment.

The inner null coordinates are defined by

dU=dt^dr,dV=dt^+dr,\displaystyle\mathrm{d}U=\mathrm{d}\hat{t}-\mathrm{d}r,\quad\mathrm{d}V=\mathrm{d}\hat{t}+\mathrm{d}r, (32)

and therefore, by integrating and imposing boundary conditions on the shell we have

U=t^(rR0),V=t^+(rR0).\displaystyle U=\hat{t}-(r-R_{0}),\quad V=\hat{t}+(r-R_{0}). (33)

This allows us to place the center of the geometry at V=U2R0V=U-2R_{0}.

The ray will continue moving through the flat region until it arrives to the center of the shell at r=0r=0, where it will get re-emitted. By imposing reflecting boundary conditions, the out-going wave reads

ϕR(U)=eiΩβ(U2R0)2πΩ.\displaystyle\phi_{R}(U)=\frac{e^{-i\Omega\beta(U-2R_{0})}}{2\sqrt{\pi\Omega}}. (34)

The ray will now travel outwards and cross the shell to get out to the Schwarzschild geometry again. Defining α(u)=U(u)\alpha(u)=U(u), we finally have

ϕR(u)=eiΩβ(α(u)2R0)2πΩ,\displaystyle\phi_{R}(u)=\frac{e^{-i\Omega\beta(\alpha(u)-2R_{0})}}{2\sqrt{\pi\Omega}}, (35)

which can be propagated to +\mathscr{I}^{+} without any additional modification. Note that uu corresponds to the second null coordinate in the exterior region, defined by u=tru=t-r^{*}.

As we have seen, in order to obtain the form of the wave at +\mathscr{I}^{+} we need to compute the matching functions α(u)\alpha(u) and β(V)\beta(V). By differentiating with respect to the proper time of the shell, we have

dαdu=dUdτdτdu|r=R(τ),dβdV=dvdτdτdV|r=R(τ).\displaystyle\frac{\mathrm{d}\alpha}{\mathrm{d}u}=\left.\frac{\mathrm{d}U}{\mathrm{d}\tau}\frac{\mathrm{d}\tau}{\mathrm{d}u}\right|_{r=R(\tau)},\quad\left.\frac{\mathrm{d}\beta}{\mathrm{d}V}=\frac{\mathrm{d}v}{\mathrm{d}\tau}\frac{\mathrm{d}\tau}{\mathrm{d}V}\right|_{r=R(\tau)}. (36)

Luckily, we are only interested in the form of the rays after the horizon forms. Thus, we can just focus on their late time behavior, when the shell gets close to the Schwarzschild radius. We thus expand its trajectory around this point,

R(τ)=2μ+ξ(ττ)+𝒪((ττ)2),\displaystyle R(\tau)=2\mu+\xi(\tau_{\bullet}-\tau)+{\cal O}\left((\tau-\tau_{\bullet})^{2}\right), (37)

where τ\tau_{\bullet} and ξ\xi are the time and (absolute value of the) speed of the shell at horizon crossing. Note that the actual speed Rτ=ξ\frac{\partial R}{\partial\tau}=-\xi must be negative, indicating that the shell is collapsing. Thus ξ>0\xi>0.

Using the metrics to obtain the differentials in (36), the two equations can be solved in the limit r2μr\rightarrow 2\mu by keeping only the leading order contributions. We get

α(u)=U(u)C1eu4μ,\displaystyle\alpha(u)=U(u)\sim C_{1}e^{-\frac{u}{4\mu}}, (38)
β(V)=v(V)C2+constant×V,\displaystyle\beta(V)=v(V)\sim C_{2}+{\rm constant}\times V, (39)

where the constant in front of VV is determined in terms of ξ\xi, μ\mu, R0R_{0} and τ\tau_{\bullet} but its specific form is irrelevant. C1C_{1} and C2C_{2} are integration constants. When both solutions are combined we find that the reflected wave takes the form

ϕR(u)=C1exp(iΩC2eu4μ),\displaystyle\phi_{R}(u)=C_{1}\exp\left(-i\Omega C_{2}e^{-\frac{u}{4\mu}}\right), (40)

where we have redefined the integration constants to absorb the constant in front of VV. As it can be seen, the wave gets an exponential red-shift, controlled by the size of the Schwarzschild radius 2μ2\mu. We thus observe that while an observer in \mathscr{I}^{-} would see vacuum –because the mode that we have sourced in the geometry is a plane wave of positive energy –, an equivalent observer sitting at +\mathscr{I}^{+} will instead observe a flux of particles coming out from the black hole. Hence, we have identified Hawking’s radiation.

What is left is to determine the shape of the spectrum of the flux of particles in the radiation observed at +\mathscr{I}^{+}. This can be done by decomposing the reflected wave onto the plane modes which serve as a basis in this region of space-time

ϕR(u)=C1exp(iΩC2eu4M)=𝑑Ω(αΩΩeiuΩ+βΩΩeiuΩ),\displaystyle\phi_{R}(u)=C_{1}\exp\left(-i\Omega C_{2}e^{-\frac{u}{4M}}\right)=\int_{-\infty}^{\infty}d\Omega^{\prime}\left(\alpha_{\Omega\Omega^{\prime}}\ e^{-iu\Omega^{\prime}}+\beta_{\Omega\Omega^{\prime}}\ e^{iu\Omega^{\prime}}\right), (41)

where αΩW\alpha_{\Omega W} and βΩW\beta_{\Omega W} are the corresponding Bogolubov coefficients.

In order to compute them, however, it is more convenient to invert the relationship and rewrite the modes defined in +\mathscr{I}^{+} in terms of the coordinates in \mathscr{I}^{-} by using the inverse of the functions α(u)\alpha(u) and β(V)\beta(V) – so that the logarithm in α1\alpha^{-1} can be cancelled against an exponential– and using the inner product in \mathscr{I}^{-}

ϕ1,ϕ2=i𝑑v(ϕ1vϕ2(vϕ1)ϕ2).\displaystyle\langle\phi_{1},\phi_{2}\rangle=i\int_{-\infty}^{\infty}dv\left(\phi_{1}^{*}\partial_{v}\phi_{2}-(\partial_{v}\phi_{1})^{*}\phi_{2}\right). (42)

Things are straightforward from here and more details can be found in Birrell et al. (1984). It might happen, however, in more complicated settings, that the coefficients αΩW\alpha_{\Omega W} and βΩW\beta_{\Omega W} contain a divergence related to the number of degrees of freedom in the radiation quanta666Indeed, if one generalizes this computation to four dimensions by including the spherical harmonics decomposition of the modes, both Bogolubov coefficients diverge, indicating that Hawking’s radiation contains a steady flux of particles. Hence, the total emitted flux is infinite.. This can be eased by noting that the divergence is shared between both coefficients and thus its ratio must be finite. In particular, we have

|αΩΩ|2|βΩΩ|2=e8πMΩ.\displaystyle\frac{|\alpha_{\Omega\Omega^{\prime}}|^{2}}{|\beta_{\Omega\Omega^{\prime}}|^{2}}=e^{8\pi M\Omega^{\prime}}. (43)

This, together with the normalization condition for the modes 𝑑Ω|αΩΩ|2𝑑Ω|βΩΩ|2=1\int d\Omega|\alpha_{\Omega\Omega^{\prime}}|^{2}-\int d\Omega|\beta_{\Omega\Omega^{\prime}}|^{2}=1, implies that the number of particles per mode in the radiation

NΩ=𝑑Ω|βΩΩ|2=1e8πMΩ1,\displaystyle N_{\Omega^{\prime}}=\int d\Omega|\beta_{\Omega\Omega^{\prime}}|^{2}=\frac{1}{e^{8\pi M\Omega^{\prime}}-1}, (44)

which corresponds to a Bose-Einstein distribution with temperature

8πMΩ=ΩTH=2πΩκ.\displaystyle 8\pi M\Omega=\frac{\Omega^{\prime}}{T_{\rm H}}=\frac{2\pi\Omega^{\prime}}{\kappa}. (45)

IV Hawking’s Radiation from a Universal Horizon

We return now to the situation of a black hole in Einstein-Aether Gravity, where we follow the motion of a field with an anisotropic dispersion relation (13) in the aether frame. Our aim in the following will be to reproduce the previous computation of the horizon temperature in this case.

We will consider, as in the previous section, an infinitely thin shell following a time-like trajectory r=R(τ)r=R(\tau) towards the center of the geometry777Notice that this implies that, unlike the scalar field ϕ\phi, the shell is made of ordinary matter with a Lorentz invariant dispersion relation, thus decoupled from the aether.. However, in this case, and unlike in the relativistic case, we will not stop tracking the shell after it reaches the Killing horizon. The reason is that now observers and rays travelling at speeds larger than the speed of light are allowed. While in a relativistic setting any ray that crosses the Killing horizon is forever trapped within its interior, that is not the case anymore. Here we have rays that move at arbitrary speed, so the process of crossing the Killing horizon and escaping from its interior is possible. Instead, it is the universal horizon which serves as an event horizon trapping any ray in its interior. Therefore this will be the ultimate region down to which we can follow the evolution of the shell. After the shell crosses the universal horizon at τ=τ\tau=\tau_{\bullet}, we will consider that the black hole is formed. Note also that the aether field is completely regular at the universal horizon, when r=μr=\mu, laying along the timelike direction of space-time. Thus, we can continuously glue a flat interior to the shell without any discontinuity. A deeper analysis of this junction can be found in Michel and Parentani (2015)888Let us stress however, that due to the absence of an equivalent of Birkhoff’s theorem for Einstein-Aether gravity, the existence of this solution is a reasonable assumption, but it has yet to be formally proven by dynamical evolution of a spherical collapsing space-time. The formation of the universal horizon, though, has been shown in some particular scenarios  Saravani et al. (2014); Franchini et al. (2021)..

Another important difference to discuss here are the features of the asymptotic null infinity regions for incoming and out-coming rays, before and after crossing the shell. Indeed, high energy rays can have superluminal group velocities and in principle start in the past, and reach in the future, not only the low energy null asymptotics \mathscr{I}^{\mp} respectively, but they can also start and reach spatial infinity i0i^{0}. We shall hence construct our modes using the previously introduced effective causal coordinates from (18) which include the possibility of superluminal motion and hence of incoming rays from spatial infinity. For what regards the outgoing ones we shall see a posteriori that the spectrum of rays that arrive at large radii after crossing the shell is exponentially red-shifted at late times, thus peaked at low energies as usual. The propagation of these rays will then be close to the general relativistic one, and therefore +\mathscr{I}^{+} will be approximately equal for all rays.

We start by describing the incoming ray at \mathscr{I}^{-}. In this region, the energy of the wave corresponds to the Killing frequency. Using the effective causal coordinates from (18), the incoming wave reads

ϕ(v)=eiv¯Ω2πΩ.\displaystyle\phi(v)=\frac{e^{-i\bar{v}\Omega}}{2\sqrt{\pi\Omega}}. (46)

Again, in the asymptotic region rr\rightarrow\infty space-time is flat and we can construct the usual Minkowsky vacuum there |0M|0\rangle_{\rm M}.

As in the relativistic case, this wave travels inwards towards the shell following the effective causal coordinate, i.e. a free-falling trajectory. Once it hits the surface of the shell, however, it will start propagating along the corresponding coordinate in the inner flat space. Afterwards, it will bounce back in the center of the geometry and, after crossing another portion of flat space, it will escape the shell and travel up to +\mathscr{I}^{+}. In an identical way to the relativistic case, the reflected wave, once it arrives to +\mathscr{I}^{+}, will read

ϕR(u¯)=eiΩβ(α(u¯)2c¯R0)2πΩ.\displaystyle\phi_{R}(\bar{u})=\frac{e^{-i\Omega\beta(\alpha(\bar{u})-2\bar{c}R_{0})}}{2\sqrt{\pi\Omega}}. (47)

The coefficient c¯\bar{c} denotes the fact that the waves propagate at a speed c¯\bar{c} different from the speed of light within the inner flat geometry. The corresponding causal coordinates are thus now

U¯=t^c¯(rR0),V¯=t^+c¯(rR0),\displaystyle\bar{U}=\hat{t}-\bar{c}(r-R_{0}),\quad\bar{V}=\hat{t}+\bar{c}(r-R_{0}), (48)

and the center of coordinates corresponds to V¯=U¯2c¯R0\bar{V}=\bar{U}-2\bar{c}R_{0}. The concrete value of c¯\bar{c} could be determined by the speed c¯=c(q)|r=R(τ)\bar{c}=\left.c(q)\right|_{r=R(\tau)} of the wave at shell-crossing but, being constant, its particular value is irrelevant for our computation here.

We are thus left with the task of computing the matching functions α(u¯)\alpha(\bar{u}) and β(V¯)\beta(\bar{V}) between the inner and outer coordinates. As in the relativistic case, we can differentiate with respect to the proper time of the shell τ\tau, getting

dαdu¯=dU¯dτdτdu¯|r=R(τ),dβdV¯=dv¯dτdτdV¯|r=R(τ).\displaystyle\frac{d\alpha}{d\bar{u}}=\left.\frac{d\bar{U}}{d\tau}\frac{d\tau}{d\bar{u}}\right|_{r=R(\tau)},\quad\frac{d\beta}{d\bar{V}}=\left.\frac{d\bar{v}}{d\tau}\frac{d\tau}{d\bar{V}}\right|_{r=R(\tau)}. (49)

Let us first focus on α(u)\alpha(u). From the metrics and the explicit form of the inner null coordinates we get

dU¯dτ=1+R˙2c¯R˙,\displaystyle\frac{d\bar{U}}{d\tau}=\sqrt{1+\dot{R}^{2}}-\bar{c}\dot{R}, (50)
du¯dτ=1F(R)+R˙2F(R)2ζ+R˙,\displaystyle\frac{d\bar{u}}{d\tau}=\sqrt{\frac{1}{F(R)}+\frac{\dot{R}^{2}}{F(R)^{2}}}\ -\zeta_{+}\dot{R}, (51)

so that

dαdu¯=1+R˙2c¯R˙1F(R)+R˙2F(R)2ζ+R˙,\displaystyle\frac{d\alpha}{d\bar{u}}=\frac{\sqrt{1+\dot{R}^{2}}-\bar{c}\dot{R}}{\sqrt{\frac{1}{F(R)}+\frac{\dot{R}^{2}}{F(R)^{2}}}\ -\zeta_{+}\dot{R}}, (52)

where R˙=dRdτ\dot{R}=\frac{dR}{d\tau}.

Let us note a striking difference with respect to the relativistic case. Since the ray is accelerating and enters the shell with different speeds at different time snapshots, we find an explicit dependence in the group velocity, contained within ζ+\zeta_{+}, which changes with rr. Since we are interested in the late time epoch, when the shell is asymptotically close to the universal horizon, we will only need to evaluate the behavior of ζ+\zeta_{+} in this region. In order to do that, we need the relation between the momentum q(r)q(r) and the Killing frequency Ω\Omega in (19) for the particular mode that we are tracking. Since α(u¯)\alpha(\bar{u}) is the matching function for the coordinates following the trajectory of the out-going ray, after being reflected at the center of coordinates, we need to insert here the group velocity c(r)=dωdqc(r)=\frac{d\omega}{dq} for out-going rays, that we can evaluate in the overlap region when the reflected ray approaches the shell at rμ+0r\sim\mu+0^{-}. Thus, from (26) we get

ζ+=32μ|rμ|+3Ω4Λ|μrμ|+𝒪[Λ2,(rμ)0].\displaystyle\zeta_{+}=\frac{3}{2}\frac{\mu}{|r-\mu|}+\frac{3\Omega}{4\Lambda}\sqrt{\left|\frac{\mu}{r-\mu}\right|}+{\cal O}\left[\Lambda^{-2},(r-\mu)^{0}\right]. (53)

Going back to (52) and expanding the trajectory of the shell close to the universal horizon at leading order in (rμ)(r-\mu), which corresponds to leading order in (ττ)(\tau-\tau_{\bullet}), we get

R(τ)=μ+ξ(ττ)+𝒪((ττ)2),\displaystyle R(\tau)=\mu+\xi(\tau_{\bullet}-\tau)+{\cal O}\left((\tau-\tau_{\bullet})^{2}\right), (54)

so that we finally have

dαdu¯=dU¯du¯=23μξ(1+ξ2+c¯ξ)(R(τ)μ)+𝒪[Λ3,(rμ)3/2],\displaystyle\frac{d\alpha}{d\bar{u}}=\frac{d\bar{U}}{d\bar{u}}=\frac{2}{3\mu\xi}\left(\sqrt{1+\xi^{2}}+\bar{c}\xi\right)(R(\tau)-\mu)+{\cal O}\left[\Lambda^{-3},(r-\mu)^{3/2}\right], (55)

where we have evaluated R˙=ξ\dot{R}=-\xi and we remind that c¯\bar{c} is a constant.

The last step is to find a relation between R(τ)R(\tau) and U¯\bar{U} in order to have a differential equation that we can solve. This can be done easily by using the shell trajectory and the metric

dRdU¯=dRdτdτdU¯R˙1+R˙2c¯R˙,RξU1+ξ2+c¯ξ+C0,\displaystyle\frac{dR}{d\bar{U}}=\frac{dR}{d\tau}\frac{d\tau}{d\bar{U}}\sim\frac{\dot{R}}{\sqrt{1+\dot{R}^{2}}-\bar{c}\dot{R}},\longrightarrow R\sim-\frac{\xi U}{\sqrt{1+\xi^{2}}+\bar{c}\xi}+C_{0}, (56)

with C0C_{0} an integration constant. With this we finally get

dαdu¯=dU¯du¯=23μξ(1+ξ2+c¯ξ)(ξU1+ξ2+c¯ξ+C0μ)+𝒪[Λ3,(rμ)3/2].\displaystyle\frac{d\alpha}{d\bar{u}}=\frac{d\bar{U}}{d\bar{u}}=\frac{2}{3\mu\xi}\left(\sqrt{1+\xi^{2}}+\bar{c}\xi\right)\left(-\frac{\xi U}{\sqrt{1+\xi^{2}}+\bar{c}\xi}+C_{0}-\mu\right)+{\cal O}\left[\Lambda^{-3},(r-\mu)^{3/2}\right]. (57)

This can now be easily integrated to yield

α(u¯)=U¯(u¯)=C1e2u¯3μ+C0+𝒪[Λ3,(rμ)2],\displaystyle\alpha(\bar{u})=\bar{U}(\bar{u})=C_{1}e^{-\frac{2\bar{u}}{3\mu}}+C_{0}+{\cal O}\left[\Lambda^{-3},(r-\mu)^{2}\right], (58)

where C1C_{1} is another integration constant and we have redefined C0C_{0} to absorb constant terms into it.

We turn now to computing β(V¯)\beta(\bar{V}). Using again the metrics, we find that the differential equation governing the behavior of β(V)\beta(V) can be written as

dβdV¯=1F(R)+R˙2F(R)2ζR˙R˙2+1+c¯R˙.\displaystyle\frac{d\beta}{d\bar{V}}=\frac{\sqrt{\frac{1}{F(R)}+\frac{\dot{R}^{2}}{F(R)^{2}}}-\zeta_{-}\dot{R}}{\sqrt{\dot{R}^{2}+1}+\bar{c}\dot{R}}. (59)

In this case, we must take into account that β(V¯)\beta(\bar{V}) is the matching function for the coordinates of the ray incoming into the shell. Therefore, we must compute ζ\zeta_{-} by evaluating the mode q+0q_{+}^{0} in (21), which gives

ζ=1+3Ω2Λ2+(1+9Ω2Λ2)(rμ)μ+𝒪[Λ3,(rμ)2].\displaystyle\zeta_{-}=1+\frac{3\Omega^{2}}{\Lambda^{2}}+\left(1+\frac{9\Omega^{2}}{\Lambda^{2}}\right)\dfrac{(r-\mu)}{\mu}+{\cal O}\left[\Lambda^{-3},(r-\mu)^{2}\right]. (60)

We plug this together with the expansion of the trajectory of the shell close to the universal horizon and we find

dβdV¯=dv¯dV¯=1c¯ξ+1+ξ2[ξ21+ξ+3ξΩ2Λ2]+𝒪[Λ3,(rμ)],\displaystyle\frac{d\beta}{d\bar{V}}=\frac{d\bar{v}}{d\bar{V}}=\frac{1}{-\bar{c}\xi+\sqrt{1+\xi^{2}}}\left[\sqrt{\xi^{2}-1}+\xi+\frac{3\xi\Omega^{2}}{\Lambda^{2}}\right]+{\cal O}\left[\Lambda^{-3},(r-\mu)\right], (61)

which trivially integrates to

β(V¯)=v¯(V¯)=V¯c¯ξ+1+ξ2[ξ21+ξ+3ξΩ2Λ2]+C2+𝒪[Λ3,(rμ)],\displaystyle\beta(\bar{V})=\bar{v}(\bar{V})=\frac{\bar{V}}{-\bar{c}\xi+\sqrt{1+\xi^{2}}}\left[\sqrt{\xi^{2}-1}+\xi+\frac{3\xi\Omega^{2}}{\Lambda^{2}}\right]+C_{2}+{\cal O}\left[\Lambda^{-3},(r-\mu)\right], (62)

where C2C_{2} is an integration constant.

Collecting both solutions together we thus find that the reflected wave takes the final form

ϕR(u¯)=C2exp(iC1Ωe2u¯3μ),\displaystyle\phi_{R}(\bar{u})=C_{2}\exp\left(-iC_{1}\Omega e^{-\frac{2\bar{u}}{3\mu}}\right), (63)

where we have redefined the integration constants, absorbing factors of ξ\xi, c¯\bar{c}, Ω\Omega and Λ\Lambda into them.

As in the relativistic case, we find that the reflected wave gets exponentially red-shifted by a quantity controlled by the position of the universal horizon ruh=μr_{\text{\sc uh}}=\mu with an inverse power law. However, the numerical factor does not coincide with the one derived in General Relativity, although both are 𝒪(1){\cal O}(1). In the next section, we will discuss this numerical difference, tracing it back to the form of the high energy correction dominating the dispersion relation for large qq.

The final step is to project this reflected wave onto the eigenstates of positive and negative energy in +\mathscr{I}^{+}. As shown in figure 2, for large radii we only have two possible solutions for the dispersion relation, which take a form analogous to the relativistic case

ϕ(u¯)+±=e±iΩu¯2πΩ.\displaystyle\phi(\bar{u})^{\pm}_{\mathscr{I}^{+}}=\frac{e^{\pm i\Omega^{\prime}\bar{u}}}{2\sqrt{\pi\Omega^{\prime}}}. (64)

Owing to this fact, we can straightforwardly borrow the result from the relativistic case and read the universal horizon temperature from our result to be

Tuh=13πμ=κ¯2π.\displaystyle T_{\text{\sc uh}}=\frac{1}{3\pi\mu}=\frac{\bar{\kappa}}{2\pi}. (65)

Note however that in this case κ¯=23μ\bar{\kappa}=\frac{2}{3\mu} does not correspond to the surface gravity at the universal horizon, unlike what happens in a relativistic setting, where the surface gravity of the Killing horizon controls the temperature. This can be easily confirmed by computing κuh\kappa_{\text{\sc uh}} following the prescription in Cropp et al. (2014, 2013) (appropriately modified for our different signature here)

κuh=12Uαα(Uμχμ)|ruh=12μ,\displaystyle\kappa_{\text{\sc uh}}=-\left.\frac{1}{2}U^{\alpha}\nabla_{\alpha}\left(U^{\mu}\chi_{\mu}\right)\right|_{r_{\text{\sc uh}}}=\frac{1}{2\mu}, (66)

With this knowledge we can write our result for the κ¯\bar{\kappa} governing Hawking’s radiation as

κ¯=4κuh3.\displaystyle\bar{\kappa}=\frac{4\kappa_{\text{\sc uh}}}{3}. (67)

V Overlapping of WKB modes nearby the Universal Horizon

We offer here an alternative derivation of the temperature of the Hawking radiation just obtained in the previous section. We will follow the steps of Michel and Parentani (2015), aiming to describe the WKB modes of out-going radiation close to the collapsing shell. These modes correspond to the natural plane waves in this region of the space-time. Afterwards, we will compute their inner product with a plane wave annihilating the Minkowsky vacuum inside the shell. By taking the late-time limit, as before, this will give an asymptotically good approximation to the overlapping of modes once the universal horizon has formed, allowing us to derive the thermal properties of the radiation, if any.

The main difference between Michel and Parentani (2015) and our work here will be the choice of frame to construct WKB modes of the radiation close to the universal horizon. Since WKB modes are not diffeomorphism invariant, and this theory is not either, there is no reason as to why modes constructed in different frames must lead to the same Bogoliubov coefficients once projected onto flat waves. This of course opens a conundrum, the choice of frame for describing the modes corresponds to different observers moving close to the universal horizon with different kinematics. Since, as we have seen, this property is crucial for determining the thermal flux of the universal horizon, one can a priori expect the result to depend strongly on the chart of coordinates used when approaching the universal horizon. In Michel and Parentani (2015) modes described in the aether frame were considered, thus depending on the preferred coordinates in this frame, which can be extended towards the inner region. Here instead, we choose to follow the generalization of free-falling observers to the case of a modified dispersion relation (13). Thus, we need to describe our WKB modes in the proper frame of these observers.

We start by performing a change of coordinates from dtdt to du¯=dtζ+drd\bar{u}=dt-\zeta_{+}dr in order to adapt the coordinate system to the propagation of modes outgoing from the universal horizon. Although the expression for u¯\bar{u} might be complicated enough that it cannot be obtained analytically, we only need to perform the change on the metric and the aether vector, which depend only on rr and the differentials.

We now go back to the decomposition of the momentum vector (12) and contract it with the generator of the spatial radial coordinate r\partial_{r} in order to get the spatial momentum PP in this frame. We thus have

P(r)=q+μr(ωq).\displaystyle P(r)=q+\frac{\mu}{r}(\omega-q). (68)

As previously discussed, we are interested in the shape of outgoing radiation. Note however that in this case we also need to take into account the branch of the solutions with negative energy, since we need to consider the whole vector space that the four modes span.

We now construct WKB modes in this region from the expression

ΨWKB=exp[i(Ωu𝑑rP(r))]4π|Ω/(c(r)ΩP)|,\displaystyle\Psi_{\rm WKB}=\frac{\exp\left[-i\left(\Omega^{\prime}u-\int drP(r)\right)\right]}{4\pi\sqrt{|\Omega^{\prime}/(c(r)\partial_{\Omega^{\prime}}P)|}}, (69)

where c(r)c(r) and P(r)P(r) must be plugged case by case for every mode. Here we use Ω\Omega^{\prime} to denote the killing energy of these modes since this will be the base onto which we are projecting.

Going back to figure 2 we remind that there exist four possible modes propagating close to the universal horizon, which correspond to the soft modes, say η±\eta_{\pm}, and the hard modes, which we shall call Ψ±\Psi_{\pm}. The ±\pm denotes whether they correspond to the blue (orange) curve, identifying positive (negative) energy in the aether frame. Thus, in the region outside the universal horizon, any perturbation ϕ(u,r)\phi(u,r) with Killing frequency Ω\Omega^{\prime} can be decomposed in a basis of these modes

ϕ(u,r)=𝑑Ω(αΩΩΨ++βΩΩΨ+δΩΩη++γΩΩη),\displaystyle\phi(u,r)=\int_{-\infty}^{\infty}d\Omega\left(\alpha_{\Omega\Omega^{\prime}}\Psi_{+}+\beta_{\Omega\Omega^{\prime}}\Psi_{-}+\delta_{\Omega\Omega^{\prime}}\eta_{+}+\gamma_{\Omega\Omega^{\prime}}\eta_{-}\right), (70)

where the ±\pm denotes if they correspond to the branch with positive or negative energy.

As before, for those modes annihilating the Minkowsky vacuum, we take plane waves with Killing frequency Ω\Omega^{\prime}

ϕM(u)=eiUΩ2πΩ,\displaystyle\phi_{M}(u)=\frac{e^{-iU\Omega}}{2\sqrt{\pi\Omega}}, (71)

which we interpret here as the modes in the flat interior of the shell. These are the modes that we want to compare with those on the other side of the shell.

In order to evaluate the late-time behavior of the Bogoluvob coefficients, we can take into account that the shell is a closed surface, which implies that only modes with a certain frequency, inversely proportional to the radius R(s)R(s) of the shell, are possible. Thus, asymptotically late times can be identified onto the limit Ω\Omega\rightarrow\infty. Finally, since we want to evaluate them in the exterior of the shell, we need to perform a change of variables involving the matching function α(u)=U(u)\alpha(u)=U(u) in (58).

The causal inner product of ϕM(u)\phi_{M}(u) with η±\eta_{\pm} can be easily shown to vanish. Close to the universal horizon, the modes are regular and a standard dispersion relation |q|=Ω|q|=\Omega^{\prime} is recovered. Therefore, only soft positive modes overlap between themselves, leading to no radiation. We are thus left with the task of evaluating the overlap with the hard modes Ψ±\Psi_{\pm}. Their momentum P±(r)P_{\pm}(r) can be easily computed perturbatively in Λ\Lambda to get

P±(r)=(Λ(μrμ)32±32Ωμ(rμ))+𝒪[(rμ)12],\displaystyle P_{\pm}(r)=-\left(\Lambda\left(\frac{\mu}{r-\mu}\right)^{\frac{3}{2}}\pm\frac{3}{2}\frac{\Omega^{\prime}\mu}{(r-\mu)}\right)+{\cal O}\left[(r-\mu)^{-\frac{1}{2}}\right], (72)

where the sub-leading term distinguishes the two ±\pm roots and we need to keep it in order for the derivative ΩP±\partial_{\Omega^{\prime}}P_{\pm} not to vanish. Note that the pre-factor that controls κ¯\bar{\kappa} appears in front of the term (rμ)1(r-\mu)^{-1} which becomes a logarithm upon integration to construct the WKB mode. Indeed, if we compare this with qΛq^{\Lambda} in (26) we see that no term with a (rμ)1(r-\mu)^{-1} arises for the momentum in the aether frame. This hints that the logarithm must take an important role in providing the thermal spectrum here.

We thus have two WKB modes

Ψ±=3μ4π(rμ)2Ω×exp[i(Ωu2Λμ32rμ±3Ωμ2log|rμμ|)]\displaystyle\Psi_{\pm}=\frac{3\mu}{4\pi(r-\mu)\sqrt{2\Omega^{\prime}}}\times\exp\left[-i\left(\Omega^{\prime}u-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{r-\mu}}\pm\frac{3\Omega^{\prime}\mu}{2}\log\left|\frac{r-\mu}{\mu}\right|\right)\right] (73)

and we focus on computing their inner product with the flat modes of positive energy ϕM\phi_{M} in the proximity of the universal horizon

ϕM,Ψ±=iSμ𝑑xμ(ϕMΠ±+Ψ±πM),\displaystyle\langle\phi_{M},\Psi_{\pm}\rangle=i\int S_{\mu}dx^{\mu}\left(\phi^{*}_{M}\Pi_{\pm}+\Psi_{\pm}\pi^{*}_{M}\right), (74)

where Π±=UμμΨ±\Pi_{\pm}=U^{\mu}\partial_{\mu}\Psi_{\pm} and πM=UμμϕM\pi_{M}=U^{\mu}\partial_{\mu}\phi_{M} are the momenta associated to the modes, derived from the action (10).

At the leading order the integration measure is just

Sμdxμ=3μ2(rμ)dr+𝒪[(rμ)0]\displaystyle S_{\mu}dx^{\mu}=\frac{3\mu}{2(r-\mu)}dr+{\cal O}\left[(r-\mu)^{0}\right] (75)

so that we get

ϕM,Ψ±\displaystyle\langle\phi_{M},\Psi_{\pm}\rangle =9iΛ32π22ΩΩei(ΩuC1Ωe2u3μ)μ𝑑rμ7/2(rμ)7/2exp[i(2Λμ32rμ±3Ωμ2log|rμμ|)]\displaystyle=\frac{9i\Lambda}{32\pi^{2}\sqrt{2\Omega\Omega^{\prime}}}e^{-i\left(\Omega^{\prime}u-C_{1}\Omega e^{-\frac{2u}{3\mu}}\right)}\int_{\mu}^{\infty}dr\ \frac{\mu^{7/2}}{(r-\mu)^{7/2}}\exp\left[-i\left(-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{r-\mu}}\pm\frac{3\Omega^{\prime}\mu}{2}\log\left|\frac{r-\mu}{\mu}\right|\right)\right]
=Aμdr(rμ)7/2exp[i(2Λμ32rμ±3Ωμ2log|rμ|)],\displaystyle=A\int_{\mu}^{\infty}\frac{dr}{(r-\mu)^{7/2}}\exp\left[-i\left(-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{r-\mu}}\pm\frac{3\Omega^{\prime}\mu}{2}\log\left|r-\mu\right|\right)\right], (76)

where we have enclosed the different pre-factors into the constant AA.

The computation of this integral is not trivial, due to the branch cut of both the square root and the logarithm. One of the integration limits lays on the branch point and therefore the exponent within the integrand is not a holomorphic function along the integration regime, which forbids us from applying a saddle point approximation. One could in principle try to regularize this by shifting the integration regime to {μ+ϵ,}\{\mu+\epsilon,\infty\} and then taking the limit of ϵ\epsilon to vanish. However, this fails, since the integral does not converge for real values of Λ\Lambda and μ\mu. Instead, an approximate formula which is enough for our purposes here can be obtained by deforming the integration contour.

First, we shift the integration variable to x=rμx=r-\mu so that we attach the branch point to x=0x=0 and we choose to define the integrand through its principal value, with the branch cut running along the negative real axis in the complex plane. We then consider the integral

Δ±=Aγdxx7/2exp[i(2Λμ32x±3Ωμ2log|x|)],\displaystyle\Delta_{\pm}=A\oint_{\gamma}\frac{dx}{x^{7/2}}\exp\left[-i\left(-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{x}}\pm\frac{3\Omega^{\prime}\mu}{2}\log|x|\right)\right], (77)

where the contour γ=γR+γ+γI+γϵ\gamma=\gamma_{R}+\gamma_{\infty}+\gamma_{I}+\gamma_{\epsilon} is depicted in figure 4.

Refer to caption
Figure 4: Integration contour γ\gamma in the complex plane. The outer circumference has radius |x||x|\rightarrow\infty, while the inner one is described by the curve x=ϵeiθx=\epsilon\ e^{i\theta}, with 0<θ<π/20<\theta<\pi/2. The branch cut is shown in blue.

Using Cauchy’s integral theorem, we find that Δ±=0\Delta_{\pm}=0. On the other hand, the integral over γ\gamma_{\infty} can be shown easily to vanish, while that over γϵ\gamma_{\epsilon} does too if we close the contour through the upper half of the complex plane, as shown in figure 4. We are thus left with

Δ±=Aϵdxx7/2exp[i(2Λμ32x±3Ωμ2log|x|)]+Aiiϵdxx7/2exp[i(2Λμ32x±3Ωμ2log|x|)]=0,\displaystyle\Delta_{\pm}=-A\int_{\epsilon}^{\infty}\frac{dx}{x^{7/2}}\exp\left[-i\left(-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{x}}\pm\frac{3\Omega^{\prime}\mu}{2}\log|x|\right)\right]+A\int_{i\infty}^{i\epsilon}\frac{dx}{x^{7/2}}\exp\left[-i\left(-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{x}}\pm\frac{3\Omega^{\prime}\mu}{2}\log|x|\right)\right]=0, (78)

which implies

ϕM,Ψ±\displaystyle\langle\phi_{M},\Psi_{\pm}\rangle =Aiiϵdxx7/2exp[i(2Λμ32x±3Ωμ2log|x|)].\displaystyle=A\int_{i\infty}^{i\epsilon}\frac{dx}{x^{7/2}}\exp\left[-i\left(-\frac{2\Lambda\mu^{\frac{3}{2}}}{\sqrt{x}}\pm\frac{3\Omega^{\prime}\mu}{2}\log|x|\right)\right]. (79)

We now perform another change of variables x=iyx=iy, so that we get

ϕM,Ψ±\displaystyle\langle\phi_{M},\Psi_{\pm}\rangle =iAϵdy(iy)7/2exp[i(2(1i)Λμ32y±3Ωμ2log(y))].\displaystyle=-iA\int_{\epsilon}^{\infty}\frac{dy}{(iy)^{7/2}}\exp\left[-i\left(\frac{\sqrt{2}(1-i)\Lambda\mu^{\frac{3}{2}}}{\sqrt{y}}\pm\frac{3\Omega^{\prime}\mu}{2}\log(y)\right)\right].

Note that now this integral is more convergent that the original one when ϵ0\epsilon\rightarrow 0, due to the real contribution to the exponential from the square root. Indeed, it now converges for positive ϵ\epsilon as long as both Λ\Lambda and μ\mu are positive. Using the analytic extension of the Gamma function we get

|ϕM,Ψ±|2\displaystyle|\langle\phi_{M},\Psi_{\pm}\rangle|^{2} |A|2|Γ[53iμΩ]|2e±3πΩμ2,\displaystyle\propto|A|^{2}\left|\Gamma[5-3i\mu\Omega^{\prime}]\right|^{2}e^{\pm\frac{3\pi\Omega^{\prime}\mu}{2}}, (80)

where the proportionality factor is the same for both Ψ±\Psi_{\pm}.

Therefore we have that the ratio between the Bogoluvob coefficients becomes

|αΩW|2|βΩW|2=|ϕM,Ψ+|2|ϕM,Ψ|2=e3πΩμ+,\displaystyle\frac{|\alpha_{\Omega W}|^{2}}{|\beta_{\Omega W}|^{2}}=\frac{|\langle\phi_{M},\Psi_{+}\rangle|^{2}}{|\langle\phi_{M},\Psi_{-}\rangle|^{2}}=e^{3\pi\Omega^{\prime}\mu}+\dots, (81)

where the dots stand for sub-leading terms in rμr-\mu.

So finally, in strict analogy with the derivation of Eq. (44), we can use the above result and the normalization condition for the Bogoliubov coefficients to deduce that the spectrum observed at +\mathscr{I}^{+} will be Planckian with temperature Tuh=1/(3πμ)=κ¯/(2π)T_{\text{\sc uh}}={1}/{(3\pi\mu)}={\bar{\kappa}}/{(2\pi)}. Noticeably, this result agrees with expression (65) obtained from the alternative derivation based on mode-matching for a collapsing shell.

An obvious question arises here. Why are we finding a thermal spectrum coming from the universal horizon while the authors of Michel and Parentani (2015) did not find such an effect? In our language here the reason is clear. The temperature of the radiation is controlled by the (rμ)1(r-\mu)^{-1} term in P±(r)P_{\pm}(r), which integrates to a logarithm in the exponent of the WKB mode. This term only appears once we change frame and construct these WKB modes in the frame co-moving with free-falling observers or physical rays of the field ϕ\phi. This choice was motivated by the fact that the quantum modes of the field correspond indeed to avatars of physical rays and therefore this seems to be the natural frame to follow their dynamics on this space-time. However, this choice is of course not the unique one. Instead, one could decide to stick to the preferred frame given by the aether time and its orthogonal hyper-surfaces, which corresponds to the choice made by Michel and Parentani (2015). In that case999Note however that our setting here, although physically equivalent, is technically not identical to the one considered in Michel and Parentani (2015). In there, they indeed have a term (rμ)1(r-\mu)^{-1} in the momentum of the preferred frame, but their computation is slightly different and eventually leads to the same physical conclusions., however, note that the momenta that we need to insert in order to construct the WKB modes are the q±Λq^{\Lambda}_{\pm}, which do not have any (rμ)1(r-\mu)^{-1} term. Instead, around the universal horizon, these WKB modes would collapse onto flat modes, since

𝑑rq±Λ=Ωμ2+𝒪(rμ)1/2,\displaystyle\int dr\,q^{\Lambda}_{\pm}=-\frac{\Omega^{\prime}\mu}{2}+{\cal O}(r-\mu)^{1/2}, (82)

from which is trivial to check that no radiation is obtained.

In summary, we can say that the difference between our framework and that of Michel and Parentani (2015) is tantamount to a different choice of the vacuum state at the universal horizon which, due to the non-relativistic causality structure of the theory, is not fully fixed by the choice of vacuum state just on \mathscr{I}^{-}. In our case, the state is supposed to be the vacuum for physical rays of the field, while in the case of Michel and Parentani (2015) it was chosen to be that for the aether frame. Of course, we expect that if one would be able to set up a well posed Cauchy problem for a collapsing geometry — with the vacuum defined on some early times constant-khronon slice (on which static and freely follow observers basically coincide) — then the evolution of the problem will uniquely determine the global vacuum state defined on this geometry.

VI UV-completing the dispersion relation

A word of caution must be shed here with respect to the derivation of Hawking radiation that we have performed in this work. Going back to our result, we found that the thermal spectrum of Hawking radiation emitted by a universal horizon was controlled by the peeling of rays close to it through

κ¯=43κUH,\displaystyle\bar{\kappa}=\frac{4}{3}\kappa_{\rm UH}, (83)

where κUH=12μ\kappa_{UH}=\frac{1}{2\mu} is the surface gravity of the universal horizon. The numerical coefficient in this result can be traced back to the behavior of the blue-shifted modes of the field ϕ\phi departing close to the universal horizon, whose trajectory obeys the differential equation

dtdr=ζ+=32μrμ+3Ω4Λμrμ.\displaystyle\frac{\mathrm{d}t}{\mathrm{d}r}=\zeta_{+}=\frac{3}{2}\frac{\mu}{r-\mu}+\frac{3\Omega}{4\Lambda}\sqrt{\frac{\mu}{r-\mu}}. (84)

However, one must also note that the derivation in this paper was done perturbatively in large Λ\Lambda, by expanding the dispersion relation (13) to leading order

ω=±|F(r)|q2+2q4Λ2=±|F(r)|(q+q3Λ2)+𝒪(1Λ4),\displaystyle\omega=\pm\sqrt{|F(r)|}\sqrt{q^{2}+\frac{2q^{4}}{\Lambda^{2}}}=\pm\sqrt{|F(r)|}\left(q+\frac{q^{3}}{\Lambda^{2}}\right)+{\cal O}\left(\frac{1}{\Lambda^{4}}\right), (85)

where therefore Λ\Lambda takes the role of an UV cut-off for our computation.

Immediately, a question thus arises, since the momenta of the out-going modes, ultimately responsible for the production of Hawking radiation, become of the order of the cut-off close to the universal horizon. Indeed,

q±Λ=Λ(±μrμ+𝒪(1Λ)).\displaystyle q^{\Lambda}_{\pm}=\Lambda\left(\pm\sqrt{\frac{\mu}{r-\mu}}+{\cal O}\left(\frac{1}{\Lambda}\right)\right). (86)

So, although the perturbative expansion of the mode is under control, with sub-leading terms decaying appropriately with inverse powers of the cut-off and not hitting strong coupling at any point close to the universal horizon (where the expansion is valid), it is reasonable to question if we could be actually out of the validity regime of our perturbative approximation. Indeed, if instead of cutting the expansion of the dispersion relation at q3q^{3} we retain the next suppressed correction

ω=±|F(r)|(q+q3Λ2q5Λ4)+𝒪(1Λ6),\displaystyle\omega=\pm\sqrt{|F(r)|}\left(q+\frac{q^{3}}{\Lambda^{2}}-\frac{q^{5}}{\Lambda^{4}}\right)+{\cal O}\left(\frac{1}{\Lambda^{6}}\right), (87)

we do find that our result for κ¯\bar{\kappa} changes and becomes

κ¯=85κuh,\displaystyle\bar{\kappa}=\frac{8}{5}\kappa_{\text{\sc uh}}, (88)

with a different numerical pre-factor. Actually, if we cut the series at an order qNΛN1\frac{q^{N}}{\Lambda^{N-1}} we find

κ¯=2(N1)Nκuh.\displaystyle\bar{\kappa}=\frac{2(N-1)}{N}\kappa_{\text{\sc uh}}. (89)

This agrees with the results obtained in Ding and Liu (2017); Berglund et al. (2013); Cropp (2016)101010Note however that there is a typo in Cropp (2016). using other methods and confirms our suspicion that our result for the thermal spectrum actually lays outside the range of validity of the perturbative expansion on Λ\Lambda, and it is actually controlled by the higher order polynomial term in the expansion for the momentum. However, there is hope.

Instead of expanding the dispersion relation, and once we have understood how the mechanism of production of Hawking radiation around a universal horizon works, let us go back to the full dispersion relation (13). Getting an analytical result with the full formula is hard because it requires to solve quartic equations that quickly become cumbersome and intractable. However, we do know now that Hawking radiation is solely controlled by the high energy behavior of the dispersion relation. We thus take, instead of the previous perturbative expansion, the opposite limit Λ0\Lambda\rightarrow 0, for which

ω=±2|F(r)|q2Λ+𝒪(Λ0),\displaystyle\omega=\pm\sqrt{2|F(r)|}\ \frac{q^{2}}{\Lambda}+{\cal O}\left({\Lambda}^{0}\right), (90)

thus focusing on the high-energy limit of the dispersion relation. Derivation of κ¯\bar{\kappa} is now immediate from (89) and leads to111111We have also checked that this is the case by solving the equations exactly with the help of a computer.

κ¯=κuh,\displaystyle\bar{\kappa}=\kappa_{\text{\sc uh}}, (91)

which is the result that one would have actually expected from the beginning if the whole computation that we have performed here was never attempted!

Let us thus collect what we have learned here. If we were dealing with some unknown theory with dispersion relation given in a polynomial form

ω=q++qNΛN1,\displaystyle\omega=q+\dots+\frac{q^{N}}{\Lambda^{N-1}}, (92)

then the derivation that we have performed along this work applies exactly and one concludes that universal horizons emit Hawking Radiation with a spectrum controlled by κ¯\bar{\kappa} as given by (89). However, if instead, we are dealing with a dispersion relation which is an analytic function – but not a polynomial – we have to focus on the limit of large qq of such dispersion relation, controlling the high energy behavior of the quantum modes in the theory, and again read the value of κ¯\bar{\kappa} from our result (89). Using this we find that for the case of the field with an action quartic in space derivatives (i.e. N=2N=2), κ¯\bar{\kappa} exactly corresponds to the surface gravity of the universal horizon, eq. (91).

The fact that Hawking’s temperature depends on the specific form of the dispersion relation for different matter fields opens up an intriguing possibility, as discussed in detail in Dubovsky and Sibiryakov (2006). Imagine that we have two different field species, that we denote as ϕ1\phi_{1} and ϕ2\phi_{2}, whose dispersion relation at very high energies takes the form

ω12qN1ΛN11,\displaystyle\omega_{1}^{2}\sim\frac{q^{N_{1}}}{\Lambda^{N_{1}-1}}, (93)
ω22qN2ΛN21,\displaystyle\omega_{2}^{2}\sim\frac{q^{N_{2}}}{\Lambda^{N_{2}-1}}, (94)

with N2>N1N_{2}>N_{1}. Then, the corresponding Hawking radiation emitted by a black hole of the kind that we have studied in quanta of the fields ϕ1\phi_{1} and ϕ2\phi_{2} will have different temperature

T1=2(N11)N1κUH2π,\displaystyle T_{1}=\frac{2(N_{1}-1)}{N_{1}}\frac{\kappa_{\rm UH}}{2\pi}, (95)
T2=2(N21)N2κUH2π,\displaystyle T_{2}=\frac{2(N_{2}-1)}{N_{2}}\frac{\kappa_{\rm UH}}{2\pi}, (96)

which implies T2>T1T_{2}>T_{1}.

Now let us add two thin shells surrounding statically the black hole121212Also known as Dyson spheres Dyson (1960). with temperatures TAT_{A} and TBT_{B} satisfying

T2>TB>TA>T1.\displaystyle T_{2}>T_{B}>T_{A}>T_{1}. (97)

The key property of these shells will be that the shell BB only interacts with the matter particles ϕ2\phi_{2}, while the shell AA only does so with particles of ϕ1\phi_{1}. Then, this implies that the system will try to move towards thermodynamic equilibrium by radiating from AA onto the black hole using quanta of ϕ1\phi_{1} – since TA>T1T_{A}>T_{1} – and, at the same time, from the black hole onto BB using quanta of ϕ2\phi_{2}. For an observer sitting at infinity and observing the system, the net effect of this heat transfer will be a flux from AA to BB mediated by the black hole which, since TB>TAT_{B}>T_{A}, violates the second law of thermodynamics and allows for the construction of a mobile of the second kind.

Violation of the second law of thermodynamics is, of course, an undesirable property which in our case seems to hint towards the need for a universal dispersion relation for all matter species coupled to Einstein-Aether gravity. Indeed, if in the previous case N1=N2N_{1}=N_{2}, then all kinds of radiation have the same Hawking temperature and the violation of the second law becomes impossible. This is what happens, for instance, in Hořava Gravity, where all matter fields inherit the same universal momentum dependence on their dispersion relation due to matter-gravity interactions so that

ω2=c2q2++c2dq2dΛ2d2,\displaystyle\omega^{2}=c_{2}q^{2}+\dots+c_{2d}\frac{q^{2d}}{\Lambda^{2d-2}}, (98)

where the coefficients cic_{i} are species-dependent and dd is the number of spatial dimensions, thus d=3d=3 for a 3+13+1 dimensional space-time. This implies that generically we should expect a universal spectrum with κ¯=4/3κuh\bar{\kappa}=4/3\kappa_{\text{\sc uh}} (species-dependent constants like c2dc_{2d} being always removable by a simple redefinition of the cut-off scale Λ\Lambda which does not appear in the final expression for the temperature).

VII Discussion and conclusions

In summary, we have shown in two alternative ways that the Hawking radiation characterizing a black hole endowed with a universal horizon is set by the effective surface gravity characterizing the peeling of physical null rays in its proximity Eq. (89). This result implies that the temperature generically is not just set by the surface gravity of the universal horizon Eq. (66) but depends on the high energy behaviour of the dispersion relation of the specific field considered. Robustness of the black hole thermodynamics requires then that such UV behaviour of the dispersion relation should be universal (to avoid different temperatures of different fields on the same black hole space-time), like for example the one expected in Hořava gravity. While we deem these results a definite progress in understanding the internal consistency of these theories and the basic building blocks of black hole thermodynamics, there are nonetheless some open issues that still need to be addressed.

Although we have explicitly shown that Hawking temperature is determined by the UV behaviour of the field dispersion relation, one has to be aware that the black hole solutions with universal horizon have been so far derived only as solutions of the low energy gravitational Lagrangian (for example in Hořava gravity the so called L2L_{2} part, providing just second order field equations for the gravitational field). It is not known if the UV completion of the gravitational Lagrangian will still admit such black holes as solutions, nor if the modified solution will still admit universal horizons. However, an examination of curvature invariants on the universal horizon, which can be arbitrarily small, seems to indicate that one can always find a situation in which the UV-completing terms – given in terms of higher powers of curvature invariants, at least in Hořava Gravity – can be always taken as small perturbations. If this is the case, it seems plausible that the universal horizon will survive in the full theory with similar properties to the ones described here. It is true nonetheless that a full account of its dynamics requires the knowledge of the UV-complete theory up to arbitrary energy.

Another point worth further investigating is related to the difference between our computation based on the WKB approximation and the one reported in Michel and Parentani (2015). As we have seen, the two derivations lead to different conclusions just because of a different choice of the vacuum state. In our derivation, we assumed that the regular state on the black hole space-time is the analogue of the standard Unruh state for physical free falling observers (which do not follow the geodesics of the metric but rather those determined with the metric-aether background). In the case of Michel and Parentani (2015) a vacuum state defined with respect to the aether frame was chosen instead. Which of the two choices is the physically relevant one, cannot be settled just by the concordance of the second derivation with the first one, based on matching regular sets of coordinates along a physical ray trajectory, as the latter implicitly assumes the regularity of the vacuum state all along these worldlines.

In relativistic derivations, it can be shown exactly that the Unruh state is the only regular state compatible at late times with a collapsing geometry leading to the formation of a horizon (see e.g. Kay and Wald (1991); Barcelo et al. (2008))131313Note that the vacuum state does not evolve and is globally defined on the whole space-time, as standard QFT is defined within the Heisenberg representation.. However, some ambiguity arises in non-relativistic theories as no infinite accumulation of physical rays happens anymore at the Killing horizon (due to the modified dispersion relation) and hence no infinities are expected there in the energy distributions in any frame. Considering non-relativistic theories of gravity as well, led to the discovery of universal horizons which may remove such ambiguity by restoring the peeling behaviour typical of relativistic theories and thus reintroducing the key element for the singular behaviour of global quantum states which are not vacuum at (universal) horizon crossing. Nonetheless, an ambiguity remains due to the fact that such regularity can be defined w.r.t. alternative frames: the one for physical freely falling observers and the one for observers falling with the aether frame. In this work, we have deemed the first one as the physically relevant frame, but only an eventual calculation of the renormalized stress energy tensor analogue to the one carried out in relativistic physics will be able to address the uniqueness and regularity of the vacuum state on a collapsing geometry in a non-relativistic framework.

In order to do this, several road blocks will have to be removed, for example, the study of the Hadamard condition for Green functions (see e.g. Birrell et al. (1984)) in non-relativistic settings, as well as the generalization to space-times with universal horizons of the theorems concerning vacuum state regularity in globally hyperbolic space-times Fulling et al. (1978, 1981); Kay and Wald (1991). Let us stress that such generalizations are far from clear in the quite contrived causality structure of such geometries Carballo-Rubio et al. (2020) and that the possibility to fully characterize the vacuum state is not guaranteed due to the peculiar nature of universal horizons that make them similar to Cauchy horizon in non-relativistic frameworks Blas and Sibiryakov (2011); Carballo-Rubio et al. (2020)141414 One way to understand how a universal horizon could act as a Cauchy horizon in non-relativistic settings is to realize that leaves of the preferred foliation before the formation of the universal horizon all asymptote to i0i^{0} (see figure 1), and so to get a well-defined Cauchy problem at worst one needs to impose some regularity condition at spacelike infinity i0i^{0}. However, after the formation of a universal horizon, in order to set up a well-defined Cauchy problem, one needs new extra “initial data” (corresponding to some regularity condition at future timelike infinity i+i^{+}). See e.g. Carballo-Rubio et al. (2020) for a more detailed discussion. We hope to be able to tackle these issues and more in forthcoming investigations.

Acknowledgements

We are grateful to Enrico Barausse, Ted Jacobson, David Mattingly and Sergey Sibiryakov for discussions. M. H-V. has been supported by the European Union’s H2020 ERC Consolidator Grant “GRavity from Astrophysical to Microscopic Scales” grant agreement no. GRAMS-815673. S.L. acknowledge funding from the Italian Ministry of Education and Scientific Research (MIUR) under the grant PRIN MIUR 2017-MB8AEZ. R. S-G. has been supported by the Spanish FPU Grant No FPU16/01595 and by COST action CA16104 “GWverse” through a Short Term Scientific Mission. R. S-G. also wishes to thank the Astroparticle Physics group at SISSA for their hospitality during early stages of this work.

References