Horizon Quantum Mechanics of Rotating Black Holes

The Horizon Quantum Mechanics is an approach that was previously introduced in order to analyse the gravitational radius of spherically symmetric systems and compute the probability that a given quantum state is a black hole. In this work, we first extend the formalism to general space-times with asymptotic (ADM) mass and angular momentum. We then apply the extended Horizon Quantum Mechanics to a harmonic model of rotating corpuscular black holes. We find that simple configurations of this model naturally suppress the appearance of the inner horizon and seem to disfavour extremal (macroscopic) geometries.


Introduction
Astrophysical compact objects are known to be usually rotating, and one correspondingly expects most black holes formed by the gravitational collapse of such sources be of the Kerr type. The formalism dubbed Horizon Quantum Mechanics (HQM) [1,2,3,4,5,6], was initially proposed with the purpose of describing the gravitational radius of spherically symmetric compact sources and determining the existence of a horizon in a quantum mechanical fashion. It therefore appears as a natural continuation in this research direction to extend the HQM to rotating sources. Unfortunately, this is not at all a conceptually trivial task.
In a classical spherically symmetric system, the gravitational radius is uniquely defined in terms of the (quasi-)local Misner-Sharp mass and it uniquely determines the location of the trapping surfaces where the null geodesic expansion vanishes. The latter surfaces are proper horizons in a time-independent configuration, which is the case we shall always consider here. It is therefore rather straightforward to uplift this description of the causal structure of space-time to the quantum level by simply imposing the relation between the gravitational radius and the Misner-Sharp mass as an operatorial constraint to be satisfied by the physical states of the system [2].
In a non-spherical space-time, such as the one generated by an axially-symmetric rotating source, although there are candidates for the quasi-local mass function that should replace the Misner-Sharp mass [7], the locations of trapping surfaces, and horizons, remain to be determined separately. We shall therefore consider a different path and simply uplift to a quantum condition the classical relation of the two horizon radii with the mass and angular momentum of the source obtained from the Kerr metric. This extended HQM is clearly more heuristic than the one employed for the spherically symmetric systems, but we note that it is indeed fully consistent with the expected asymptotic structure of axially symmetric space-times.
Beside the formal developments, we shall also apply the extended HQM to specific states with non-vanishing angular momentum of the harmonic black hole model introduced in Ref. [8] 1 . This model can be considered as a working realisation of the corpuscular black holes proposed by Dvali and Gomez [10], and turns out to be simple enough, so as to allow one to determine explicitly the probability that the chosen states are indeed black holes. Furthermore, we will investigate the existence of the inner horizon and likelihood of extremal configurations for these states.
The paper is organised as follows: at the beginning of Section 2, we briefly summarise the HQM and recall some of the main results obtained for static spherically symmetric sources; the extension of the existing formalism to the case of stationary axisymmetric sources, which are both localised in space and subject to a motion of pure rotation, is presented in Section 2.2; a short survey of the harmonic model for corpuscular black holes is given in Section 3, where we then discuss some elementary applications of the HQM to rotating black holes whose quantum state contains a large number of (toy) gravitons; finally, in Section 4, we conclude with remarks and hints for future research.

Horizon quantum mechanics
We start from reviewing the basics of the (global) HQM for static spherically symmetric sources [1,2,3,4,5,6], and then extend this formalism to rotating systems by means of the Kerr relation for the horizon radii in terms of the asymptotic mass and angular momentum of the space-time. In particular, we shall rely on the results for the "global" case of Ref. [2] and follow closely the notation therein.

Spherically symmetric systems
The general spherically symmetric metric g µν can be written as 2 where r is the areal coordinate and x i = (x 1 , x 2 ) are coordinates on surfaces of constant angles θ and φ. The location of a trapping surface is then determined by the equation where ∇ i r is perpendicular to surfaces of constant area A = 4 π r 2 . If we set x 1 = t and x 2 = r, and denote the static matter density as ρ = ρ(r), Einstein field equations tell us that where the Misner-Sharp mass is given by as if the space inside the sphere were flat. A trapping surface then exists if there are values of r such that the gravitational radius r H = 2 p m/m p ≥ r. If this relation holds in the vacuum outside the region where the source is located, r H becomes the usual Schwarzschild radius associated with the total Arnowitt-Deser-Misner (ADM) [11] mass M = m(∞), and the above argument gives a mathematical foundation to Thorne's hoop conjecture [12]. This description clearly becomes questionable for sources of the Planck size or lighter, for which quantum effects may not be neglected. The Heisenberg principle introduces an uncertainty in the spatial localisation of the order of the Compton-de Broglie length, λ M p m p /M , and we could argue that R H only makes sense if R H λ M , that is M m p . The HQM was precisely proposed in order to describe cases in which one expects quantum uncertainties are not negligible. For this purpose, we assume the existence of two observables, the quantum Hamiltonian corresponding to the total energy M of the system 3 , where the sum is over the Hamiltonian eigenmodes, and the gravitational radius with eigen-statesR General states for our system can correspondingly be described by linear combinations of the form but only those for which the relation (2.5) between the Hamiltonian and gravitational radius holds are viewed as physical. In particular, we impose (2.5) after quantisation, as the weak Gupta-Bleuler constraint The solution is clearly given by which means that Hamiltonian eigenmodes and gravitational radius eigenmodes can only appear suitably paired in a physical state. The interpretation of this result is simply that the gravitational radius is not an independent degree of freedom in our treatment, precisely because of the constraint (2.5) 4 . By tracing out the gravitational radius part, we recover the spectral decomposition of the source wave-function, in which we used the (generalised) orthonormality of the gravitational radius eigenmodes [2]. Note that the relation (2.10) now ensures that the result of this operation of integrating out the gravitational radius is still a pure quantum state.
Conversely, by integrating out the energy eigenstates, we will obtain the Horizon Wave-Function (HWF) [1,2] where m p R Hα /2 p = E(R Hα ) is fixed by the constraint (2.5). If the index α is continuous (again, see Ref. [2] for some important remarks), the probability density that we detect a gravitational radius of size R H associated with the quantum state | ψ S is given by P H (R H ) = 4 π R 2 H |ψ H (R H )| 2 , and we can define the conditional probability density that the source lies inside its own gravitational radius R H as (2.14) where P S (r < R H ) = 4 π R H 0 |ψ S (r)| 2 r 2 dr 5 . Finally, the probability that the system in the state | ψ S is a black hole will be obtained by integrating (2.14) over all possible values of R H , namely Note that now the gravitational radius is necessarily "fuzzy" and characterised by an uncer- This quantum description for the total ADM mass M and global gravitational radius R H will be next extended to rotating sources by appealing to the asymptotic charges of axially symmetric space-times. We would like to recall that in Ref. [2] a local construction was also introduced based on the quasi-local mass (2.4), which allows one to describe quantum mechanically any trapping surfaces. However, that local analysis cannot be extended to rotating sources without a better understanding of the relation between quasi-local charges and the corresponding casual structure [7].

Rotating sources: Kerr horizons
Our aim is now to extend the HQM to rotating sources, for which there is no general consensus about the proper quasi-local mass function to employ, and how to determine the causal structure from it. For this reason, we shall explicitly consider relations that hold in space-times of the Kerr family, generated by stationary axisymmetric sources which are both localised in space and subject to a motion of pure rotation in the chosen reference frame.
We assume the existence of a complete set of commuting operators { H, J 2 , J z } acting on a Hilbert space H connected with the quantum nature of the source. We also consider only the discrete part of the energy spectrum [2], and denote with α = {a, j, m} the set of quantum numbers parametrising the spectral decomposition of the source, that is where the sum formally represents the spectral decomposition in terms of the common eigenmodes of the operators {Ĥ,Ĵ 2 ,Ĵ z }. In particular, we have that 6 From the previous discussion, one can also easily infer that j ∈ N 0 /2, m ∈ Z/2, with |m| ≤ j, and a ∈ I, where I is a discrete set of labels that can be either finite of infinite. Let us first note that Eq. (2.16) stems from the idea that the space-time should reflect the symmetries of the source. Therefore, our first assumption is that the source should obviously have an angular momentum in order to describe a rotating black hole. Now, for a stationary asymptotically flat space-time, we can still define the ADM mass M and, following Ref. [2] as outlined in the previous subsection, we can replace this classical quantity with the expectation value of our Hamiltonian 7 , In General Relativity, we can also define a conserved classical charge arising from the axial symmetry by means of the Komar integral. This will be the total angular momentum J of the Kerr spacetime. However, in our description of the quantum source, we have two distinct notions of angular momentum, i.e. the total angular momentum and the component of the angular momentum along the axis of symmetry Since, at least classically, we can always rotate our reference frame so that the axis of symmetry is along the z axis, it is reasonable to considerĴ 2 as the quantum extension of the classical angular momentum for a Kerr black hole, In the following, we will further assume that Ĵ z is maximum in our quantum states, so that the proper (semi-)classical limit is recovered, that is For the Kerr space-time we have two horizons given by Let us then introduce two operatorsR (±) and, for the sake of brevity, write their eigenstates asR The generic state for our system can now be described by a triply entangled state given by but Eq. (2.25) tells us that in order to be able to define the analogue of the condition (2.9) for the rotating case, we have to assume some mathematical restrictions on the operator counterparts of M and J. First of all, the term J 2 /M 2 tells us that we should assumeĤ to be an invertible self-adjoint operator, so that For this purpose, it is useful to recall a corollary of the spectral theorem: LetÂ be a self-adjoint positive semi-definite operator. ThenÂ has a positive semi-definite square rootŜ, that is,Ŝ is self-adjoint, positive semi-definite, and IfÂ is positive definite, thenŜ is positive definite.
It follows that the operatorĤ 2 −Ĵ 2 (Ĥ −1 ) 2 should be, at least, a positive semi-definite operator. On defining the operatorŝ we obtain that the physical states of the system are those simultaneously satisfying and These two conditions reduce to By tracing out the geometric parts, we should recover the matter state, that is Now, by integrating away the matter state, together with one of the two geometric parts, we can compute the wave function corresponding to each horizon, It is also important to stress that the hamiltonian constraints imply a strong relation between the two horizons, indeed we have that

Corpuscular Harmonic Black Holes
In the corpuscular model proposed by Dvali and Gomez [10], black holes are macroscopic quantum objects made of gravitons with a very large occupation number N in the groundstate, effectively forming Bose Einstein Condensates. As also derived in Ref. [13] from a post-Newtonian analysis of the coherent state of gravitons generated by a matter source, the virtual gravitons forming the black hole of radius R H are "marginally bound" by their Newtonian potential energy U , that is where µ is the graviton effective mass related to their quantum mechanical size via the Compton/de Broglie wavelength λ µ p m p /µ, and λ µ R H . A first rough approximation for the potential energy U N is obtained by considering a square well for r < λ µ , where Θ is the Heaviside step function and the coupling constant α = 2 p /λ 2 µ = µ 2 /m 2 p . The energy balance (3.1) then leads to N α = 1 and, with λ µ R H , A better approximation for the potential energy was employed in Ref. [8], which takes the harmonic form where the parameters d and ω will have to be so chosen as to ensure the highest energy mode available to gravitons is just marginally bound [see Eq. (3.1)]. If we neglect the finite size of the well, the Schrödinger equation in spherical coordinates, yields the well-known eigenfunctions where N is a normalization constant, 1 F 1 the Kummer confluent hypergeometric function of the first kind and Y lm (θ, φ) are the usual spherical harmonics. The corresponding eigenvalues are given by where n is the radial quantum number. It is important to remark that the quantum numbers l and m here must not be confused with the total angular momentum numbers j and m of Section 2.2, as the latter are the sum of the former. At the same time, the "energy" eigenvalues E nl must not be confused with the ADM energy E aj of that Section, here equal to N µ by construction. If we denote with n 0 and l 0 the quantum numbers of the highest "energy" state, and include the graviton effective mass µ in the constant V 0 (0), the condition (3.1) becomes E n 0 l 0 0, or (3.10) We now further assume that d λ µ R (+) H and use the Compton relation for µ, so that the above relation fully determines The potential can be finally written as and the eigenvalues as which of course holds only for n ≤ n 0 and l ≤ l 0 . Let us remark that the fact the above "energy" is negative for the allowed values of n and j is indeed in agreement with the post-Newtonian analysis of the "maximal packing condition" for the virtual gravitons in the black hole [13] 8 . In the following, we shall consider a few specific states in order to show the kind of results one can obtain from the general HQM formalism of Section 2.2 applied to harmonic models of spinning black holes.

Rotating Black Holes
We shall now consider some specific configurations of harmonic black holes with angular momentum and apply the extended HQM described in the previous section. We first remark that the quantum state of N identical gravitons will be a N -particle state, i.e. a vector of the N -particle Fock space F = H ⊗N , where H is a suitable 1-particle Hilbert space. However, both the Hamiltonian of the systemĤ and the gravitational radiusR H are global observables and act as N -body operators on F.

Single eigenstates
The simplest configuration corresponds to all toy gravitons in the same mode, and the quantum state of the system is therefore given by (3.14) where | g represents the wave-function of a single component. In particular, this | Ψ is a Hamiltonian eigenstate, for which the total ADM energy is simply given by and each graviton is taken in one of the modes (3.7). For the sake of simplicity, we shall set n = n 0 = 0, l = l 0 = 2 and m = ±2, that is where the normalisation constant N = 4/( √ 15 π 1/4 λ 7/2 µ ). The total angular momentum is thus given by where N + ≥ N − = N − N + is the number of spin up constituents (with m = +2). We also introduced the constant where the approximate expression holds for N 1. Note that L 2 = 0 for n + ≡ N + /N = 1/2 (the non-rotating case with N + = N − ) and grows to a maximum L 2 1 + O(1/N ) for the maximally rotating case n + = 1 (or N + = N ). Since we are considering an eigenstate of both the HamiltonianĤ and total angular mo-mentumĴ 2 , the wave-functions (2.37) for the two horizons will reduce to single eigenstates of the respective gravitational radii as well. In particular, replacing the above values into (2.30) and (2.31) yields The classical condition for the existence of these horizons is that the square root be real, which implies (3.20) The above bound vanishes for N + = N − = N/2, as expected for a spherical black hole, and is maximum for N + = N , in which case it yields again for N 1. Since we are modelling black holes, it is particularly interesting to study in details the consequences of assuming that all the constituents of our system lie inside the outer horizon. In other words, we next require that the Compton length of gravitons, λ µ = p m p /µ, is such that the modes (3.16) are mostly found inside the outer horizon radius R (+) H . In order to impose this condition, we compute the single-particle probability density where we used |ψ 02+2 | 2 = |ψ 02−2 | 2 . From Fig. 1, we then see that this probability is peaked well inside R (+) H for λ µ = R (+) H /4, whereas λ µ = R (+) H /2 is already borderline and λ µ = R (+) H is clearly unacceptable. We find it in general convenient to introduce the variable which we can solve for x = 2 γ m 2 p /(N µ 2 ), that is with the condition x ≡ (L/γ) x ≤ 1 to ensure the existence of the square root. The only positive solution is given by for which the existence condition reads ( − 1) 2 ≥ 0 and is identically satisfied. The effective mass is then given by As a function of N/2 ≤ N + ≤ N , the above squared mass interpolates almost linearly between µ 2 0 = γ m 2 p /N for N + = N − = N/2 (so that L 2 = 0) andμ 2 (1 + γ 2 ) m 2 p /(γ N ) for the maximally rotating case case N + = N 1 (for which L 2 1). The Compton length reads the ADM mass is (3.29) and the angular momentum for all values of L ≥ 0. This seems to suggest that N constituents of effective mass µ ∼ m p / √ N cannot exceed the classical bound for black holes, or that naked singularities cannot be associated with such multi-particle states. However, a naked singularity has no horizon and we lose the condition (3.1) from which the effective mass µ is determined. If naked singularities can still be realised in the quantum realm, they must be described in a qualitatively different way from the present one 9 .
Let us now replace the effective mass (3.27) into Eq. (3.19), (3.31) One has L 2 = γ 2 for Since 1/2 ≤ n + ≤ 1, the critical value n c becomes relevant only for γ N 1. For N 1 and γ 1, the horizon radii are thus given by For γ = 1 and N = 100, the horizon structure is displayed in Fig. 3, where we see that the two horizons meet at L 2 1, that is the configuration with n + 1 in which (almost) all constituents are aligned. Note also that, technically, for N 1 and γ small, there would be a finite range n c < n + ≤ 1 in which the expressions of the two horizon radii switch. However, this result is clearly more dubious as one would be dealing with a truly quantum black hole made of a few constituents just loosely confined. Such configurations could play a role in the formation of black holes, or in the final stages of their evaporation, but we shall not consider this possibility any further here.
Finally, let us apply the HQM and compute the probability (2.15) that the system discussed above is indeed a black hole. We first note that, since we are considering eigenstates of the gravitational radii, the wave-function (2.37) for the outer horizon will just contribute a Dirac delta peaked on the outer expectation value (3.19) to the general expression (2.14), that is Moreover, since where r ≡ (r, θ, φ), the joint probability density in position space is simply given by where we used Eq. where we recall γ was defined in Eq. (3.23), and depends on N and n + . The single-particle (N = 1) black hole probability P (+) (γ) is represented by the solid line in Fig. 4, from which it is clear that it practically saturates to 1 for γ 2. The same graph shows that the minimum value of γ for which P BH (n + , N ) = [P (+) (γ)] N approaches 1 increases with N (albeit very slowly). For instance, if we define γ c as the value at which P BH (n + , N ) 0.99, we obtain the values of γ c plotted in Fig. 5. It is also interesting to note that, for γ = 1, which we saw can realise the extremal Kerr geometry, we find and the system is most likely not a black hole for N 1, in agreement with the probability density shown in Fig. 1. One might indeed argue this probability is always too small for a (semi)classical black hole, and that the extremal Kerr configuration is therefore more difficult to achieve.
Analogously, we can compute the probability P IH that the inner horizon is realised. Instead of Eq. (3.35), we now have which analogously leads to (3.43) It is then fairly obvious that, for any fixed value of γ, P IH (n + , N ) ≤ P BH (n + , N ) and that equality is reached at the extremal geometry with R (−) H R (+) H . Moreover, from 0 ≤ L 2 ≤ 1 and Eq. (3.33), we find R (−) H R (+) H /γ 2 , so that for γ = 2, the probability P IH (0.04) N is totally negligible for N 1. This suggest that the inner horizon can remain extremely unlikely even in configurations that should represent large (semi-)classical black holes.

Superpositions
The next step is investigating general superpositions of the states considered above, where i |a i | 2 = 1 and One can repeat the same analysis as the one performed for the single-mode case, except that the two HWF's will now be superpositions of ADM values as well. In practice, this means that Eqs. (3.35) and (3.42) are now replaced by As usual, we obtain the probability that the system is a black hole by considering the outer horizon, for which

Conclusions
After a brief review of the original HQM for static spherically symmetric sources, we have generalised this formalism in order to provide a proper framework for the study of quantum properties of the causal structure generated by rotating sources. We remark once more that, unlike the spherically symmetric case [1,2], this extension is not based on (quasi-)local quantities, but rather on the asymptotic mass and angular momentum of the Kerr class of space-times. As long as we have no access to local measurements on black hole space-times, this limitation should not be too constraining.
In order to test the capabilities of the so extended HQM, one needs a specific (workable) quantum model of rotating black holes. For this purpose, we have considered the harmonic model for corpuscular black holes [8], which is simple enough to allow for analytic investigations. Working in this framework, we have been able to design specific configurations of harmonic black holes with angular momentum and confirm that they are indeed black holes according to the HQM. Some other results appeared, somewhat unexpected. For instance, whereas it is reasonable that the probability of realising the inner horizon be smaller than the analogous probability for the outer horizon, it is intriguing that the former can indeed be negligible for cases when the latter is close to one. It is similarly intriguing that (macroscopic) extremal configurations do not seem very easy to achieve with harmonic states.
The results presented in this work are overall suggestive of interesting future developments and demand considering more realistic models for self-gravitating sources and black holes. For example, it would be quite natural to apply the HQM to regular configurations of the kinds reviewed in Refs. [14,15,16].