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

Quasinormal modes and horizon area quantisation in Loop Quantum Gravity

Saulo Carneiro1,2 and Cássio Pigozzo1 1Instituto de Física, Universidade Federal da Bahia, 40210-340, Salvador, BA, Brazil
2PPGCosmo, CCE, Universidade Federal do Espírito Santo, 29075-910, Vitória, ES, Brazil
Abstract

It is argued that the quantum of area between consecutive, high overtones quasinormal modes of a black hole horizon coincides with the area gap predicted by Loop Quantum Gravity, as long as the horizon is isolated and the Barbero-Immirzi parameter is γ3/6\gamma\approx\sqrt{3}/6, in agreement with the value derived from the Bekenstein-Hawking horizon entropy.

I Introduction

The connection between quasinormal modes and quantisation of the horizon area has drawn some attention in the recent past after a pioneering work by Hod Hod . On the basis of his approach, the Barbero-Immirzi parameter of Loop Quantum Gravity (LQG) could be fixed dreyer , but it was soon shown in disagreement with the value obtained from the entropy of large black holes. In addition, the Hod’s main assumption was later criticised by Maggiore Maggiore , namely the use of the real part ωR\omega_{R} of the QNM frequencies in the area quantum estimation. Maggiore considered, instead, a corresponding damped oscillator and used the difference between the natural frequencies of subsequent modes, δω0\delta\omega_{0}. In the high overtones limit of a Schwarzschild black hole of mass MM, it is possible to show that ω0ωI\omega_{0}\approx\omega_{I} (where ωI\omega_{I} is the imaginary part of QNM frequencies) and there is a constant shift between consecutive modes, given by δωI=1/(4M)\delta\omega_{I}=1/(4M). This led Maggiore to δA=8πlP2\delta A=8\pi l_{P}^{2}, the quantum of area early suggested by Bekenstein on the basis of a different reasoning.111lP2=1l_{P}^{2}=1 is the Planck length in natural units =c=G=1\hbar=c=G=1. In the present paper we argue that the correspondence between the horizon area levels and LQG area eigenvalues should only be valid for strictly isolated horizons, for which the Hawking radiation is exactly null. In particular, for the case of a Kerr extremal horizon, Berti et al. Kerr numerically showed that δωI=1/(4M)\delta\omega_{I}=1/(4M) is still correct within 98%98\% precision. We will show that this allows us to obtain δA=4πlP2\delta A=4\pi l_{P}^{2}, half of the Bekenstein’s value.

On the other hand, in Loop Quantum Gravity Ashtekar ; Rovelli ; Thiemann ; Gambini the area created when a surface is pierced by a spin network line in the fundamental representation j=1/2j=1/2 is given by 4π3γlP24\pi\sqrt{3}\gamma l_{P}^{2} Smolin , where γ\gamma is the Barbero-Immirzi parameter, the only free parameter in the theory. Furthermore, isolated horizons are characterised by the so called projection constraint, which implies that lines with j=1/2j=1/2 must pierce the horizon at least twice, which leads again to δA=4πlP2\delta A=4\pi l_{P}^{2}, provided that γ=3/6\gamma=\sqrt{3}/6. This is in 95%95\% agreement to the approximate value derived from the entropy of large horizons Meissner . It also provides, through an exact computation of micro-states of Planck scale horizons, a precise fit to the Bekenstein-Hawking entropy at leading order Pigozzo .

II Horizon quantisation

II.1 Hod’s approach

Black holes linear perturbations vanish in time according to

eωI[asin(ωRt)+bcos(ωRt)],e^{-\omega_{I}}[a\sin(\omega_{R}t)+b\cos(\omega_{R}t)], (1)

with a quasinormal frequency

ω=ωR+iωI.\omega=\omega_{R}+i\,\omega_{I}. (2)

In the case of a Schwarzschild black hole, in the limit of high overtones the quasinormal frequencies are Zhidenko

Mωn=ln38πi4(n+12)+O[(n+1)1/2].M\omega_{n}=\frac{\ln 3}{8\pi}-\frac{i}{4}\left(n+\frac{1}{2}\right)+O\left[(n+1)^{-1/2}\right]. (3)

Hod Hod postulated that the energy gap between two subsequent modes is equal to the real part of their quasinormal frequencies, which, in the limit of large nn, does not depend on nn, as shown above. Therefore, we have

δM=ln38πM.\delta M=\frac{\ln 3}{8\pi M}. (4)

The area of a Schwarzschild black hole is

A=16πM2,A=16\pi M^{2}, (5)

leading to

δA=32πMδM=4ln3lP2.\delta A=32\pi M\delta M=4\ln 3\,l_{P}^{2}. (6)

The area gap in LQG is, in turn,

δA=4π3γlP2,\delta A=4\pi\sqrt{3}\gamma l_{P}^{2}, (7)

which gives

γ=ln3π3,\gamma=\frac{\ln 3}{\pi\sqrt{3}}, (8)

a value in disagreement with estimates coming from the entropy of large horizons Meissner (see, however, barbero ). Indeed, with the Dogamala-Lewandowski count of horizon micro-states DL the theory predicts γ0.238\gamma\approx 0.238, while in the Gosh-Mitra count GM we have γ0.274\gamma\approx 0.274.

II.2 Maggiore’s approach

In Maggiore’s approach Maggiore , the classical system corresponding to quasinormal modes is a damped harmonic oscillator with natural frequency ω0\omega_{0}. Its solution has the form (1), with

ω02=ωR2+ωI2.\omega_{0}^{2}=\omega_{R}^{2}+\omega_{I}^{2}. (9)

The energy gap between two subsequent modes is given by the difference between the corresponding values of ω0\omega_{0}. For large nn, ωIωR\omega_{I}\gg\omega_{R} and we have, from (3),

δMδωI=14M.\delta M\approx\delta\omega_{I}=\frac{1}{4M}. (10)

Using (5) again, we obtain the quantum of area postulated by Bekenstein,

δA=8πlP2.\delta A=8\pi l_{P}^{2}. (11)

II.3 A LQG approach

In spite of the sub-dominance of the Hawking radiation backreaction when we find exact solutions of large black holes, it is not negligible if our goal is to obtain the area spectrum. In fact, in Maggiore’s derivation we have δM=1/(4M)\delta M=1/(4M), that has the same order of magnitude as the Hawking temperature. Therefore, if we want to identify the horizon area levels as eigenvalues of the LQG area operator, we should consider strictly isolated horizons in order to completely avoid Hawking radiation. Among stationary and asymptotically flat space-times, these are the charged and rotating extremal horizons, with zero surface gravity222In Refs. visser ; pad it is argued that the QNM frequencies in the high overtones limit are integer multiples of the surface gravity not only in the Schwarzschild case, but for any spherically symmetric black hole, including the Reissner-Nordström solution. Their derivations, however, are not valid for extremal horizons.,333For a discussion on the quantisation of non-extremal rotating horizons and its possible imprints on gravitational waves from merging black holes, see agullo ; opposite .. In the case of an extremal Kerr black hole, the horizon area is given by BH

A=8πJ=8πM2,A=8\pi J=8\pi M^{2}, (12)

from which we have

δA=16πMδM=16πMδωI,\displaystyle\delta A=16\pi M\delta M=16\pi M\delta\omega_{I}, (13)

where we have followed Maggiore in identifying δM\delta M to δω0\delta\omega_{0} and taking ωIωR\omega_{I}\gg\omega_{R}. A precise numerical computation of large nn quasinormal modes of Kerr black holes Kerr has shown that, indeed, ωIωR\omega_{I}\gg\omega_{R} and that

δωI1/2+0.0438a0.0356a2,\delta\omega_{I}\approx 1/2+0.0438\,a-0.0356\,a^{2}, (14)

where a=J/Ma=J/M is the black hole angular momentum per unit mass. In the units used in Kerr , the extremal case corresponds to a=M=1/2a=M=1/2, and we then have δωI0.513\delta\omega_{I}\approx 0.513, 2.6%2.6\% above the Schwarzschild value 1/(4M)1/(4M). Within this precision, Eq. (13) can be written

δA=4πlP2,\delta A=4\pi l_{P}^{2}, (15)

half of the Bekenstein’s result. This is, by the way, in accordance to the quantisation of the angular momentum JJ in integer multiples of /2\hbar/2.

On the other hand, in the realm of Loop Quantum Gravity, horizon isolation corresponds to the projection constraint imi=0\sum_{i}m_{i}=0, where mi{ji,ji+1,,ji1,ji}m_{i}\in\{-j_{i},-j_{i}+1,...,j_{i}-1,j_{i}\}, ji+/2j_{i}\in\mathds{Z}_{+}/2 are colours of spin network lines piercing the horizon – irreducible representations of the gauge group SU(2) – and the sum is over all the resulting punctures Perez . Consider a horizon pierced by a spin network line in the fundamental representation j=1/2j=1/2. The projection constraint means that the line must pierce the horizon at least twice, generating an area444A single puncture with (j,m)=(1,0)(j,m)=(1,0) generates an area smaller than (15), but it does not belong to the area spectrum of an extremal Kerr black hole, as it would add a fraction of /2\hbar/2 to the angular momentum. As a matter of fact, it is easy to see from (12) and the area eigenvalues equation that only a spin network of lines with j=1/2j=1/2 can result in an angular momentum multiple of /2\hbar/2. This means that the LQG area spectrum of large extremal Kerr horizons is equally spaced, as we need in order to fit the QNM spectrum in the high overtone limit.

δA=8πγlP2i=12ji(ji+1)=8π3γlP2.\delta A=8\pi\gamma l_{P}^{2}\sum_{i=1}^{2}\sqrt{j_{i}(j_{i}+1)}=8\pi\sqrt{3}\gamma l_{P}^{2}. (16)

If we identify this area with the quantum given by (15), we obtain γ=3/6\gamma=\sqrt{3}/6. This value of the Barbero-Immirzi parameter gives an excellent leading-order fit of the Bekenstein-Hawking entropy of Planck scale black holes Pigozzo , and it is only 5%5\% above the approximate value 0.274\approx 0.274 obtained from the entropy of large horizons in the Gosh-Mitra count of micro-states Meissner . The fundamental area of LQG turns out to be 2πlP22\pi l_{P}^{2}. When a spin network line with j=1/2j=1/2 crosses the horizon, the angular momentum of an extremal Kerr black hole increases by /2\hbar/2.

III Horizon entropy

Refer to caption
Figure 1: Entropy ×\times horizon area (in Planck units) for three different values of the Barbero-Immirzi parameter, when the projection constraint is not imposed.
Refer to caption
Figure 2: Slope of the entropy ×\times area leading term as a function of the used area bin, for three different values of the Barbero-Immirzi parameter, with and without the projection constraint.

As we have seen, for an extremal rotating black hole the value of δωI\delta\omega_{I} given by (14) is 2.6%2.6\% above 1/(4M)1/(4M). Therefore, within the numerical precision of (14), the value of δA\delta{A} is higher than (15) by the same amount and, when comparing with (16), we obtain a Barbero-Immirzi parameter 2.6%2.6\% higher than 3/6\sqrt{3}/6. As the latter gives a very good fit of the Bekenstein-Hawking entropy Pigozzo , we should be concerned about this small difference. We have then redone the analysis of Pigozzo , comparing the results derived with three different values of γ\gamma, namely γ=0.274\gamma=0.274 (the approximate value obtained from the entropy of large horizons), γ=3/6\gamma=\sqrt{3}/6 and γ=0.296\gamma=0.296 (the precise value got from (14)-(16)). Since, in the limit of large areas, the slope of the entropy ×\times area relation is inversely proportional to γ\gamma Meissner , in the latter case we expect a leading order linear relation with slope 2.6%\approx 2.6\% smaller than 1/41/4.

Our computational analysis consists of counting the number of spin network configurations that satisfies the area operator eigenvalues (for details, see Pigozzo and references therein). The results depend on the bin used in the variation of AA, and they are shown in Figs. 1 and 2 for a maximum area of 250lP2250\,l_{P}^{2}. In Fig. 1 we display the entropy ×\times area relation for the three above values of γ\gamma, without imposing the projection constraint, for a bin δ𝒜=0.5\delta{\cal A}=0.5. We see that the oscillations characteristic of small areas are attenuated in the thermodynamic limit of larger areas, as expected barbero2 . We also see that the slope of the leading linear fit decreases with γ\gamma. In Fig. 2 we show the slope as a function of the are bin, with and without the projection constraint. For large bins the Hawking slope 1/41/4 is obtained with γ=0.274\gamma=0.274, as in the limit of large areas Meissner . In the limit of small bins, however, the best fit is given by γ=3/6\gamma=\sqrt{3}/6. For γ=0.296\gamma=0.296 we have a slope slightly below 1/41/4, as expected. The understanding of this small discrepancy between the Barbero-Immirzi parameter derived from quasinormal modes and that obtained from the Bekenstein-Hawking entropy is something deserving further investigation.

IV Concluding remarks

The presence of only one free parameter in the theory turns Loop Quantum Gravity falsifiable if we can find two independent ways of fixing this parameter. Quasinormal modes and horizon thermodynamics are not really independent as both come from the same classical theory. However, the precise coefficient in the linear relation between entropy and area of large horizons has a quantum origin related to black hole evaporation. In this respect, it seems intriguing that LQG can fix this coefficient with (almost) the same Barbero-Immirzi parameter obtained when we derive the fundamental quantum of area from the Correspondence Principle applied to quasinormal modes. Note that with QNM we only test the “area gap” of LQG, while the horizon entropy is a test for the whole area spectrum. None of them can be considered an empirical test, as QNM and the Bekenstein-Hawking entropy are pure theoretical results. Together, they constitute rather a consistency test for the theory, that in this way has no free parameter anymore and can, in principle, be falsified in a single experiment. Another possible signature for the value of γ\gamma has been recently suggested in Pigozzo . There, assuming that quantum corrections to the horizon area are negligible for Planck size horizons555This assumption is corroborated by effective models of quantum black holes, as e.g. that proposed in olmedo . See Pigozzo for details., it is shown that the horizon area of a Planck mass extremal rotating black hole is in the spectrum of the LQG area operator, provided that γ3/6\gamma\approx\sqrt{3}/6. Incidentally, such stable black holes could be produced at the end of inflation at a rate large enough to be interpreted as composing the presently observed dark matter PLB .

Acknowledgements

We are thankful to Alberto Saa for helpful discussions and comments. SC is partially support by CNPq (Brazil) with grants # 311584/2020-9 and 420641/2018-1.

References

  • (1) S. Hod, Phys. Rev. Lett. 81, 4293 (1998).
  • (2) O. Dreyer, Phys. Rev. Lett. 90, 081301 (2003).
  • (3) M. Maggiore, Phys. Rev. Lett. 100, 141301 (2008).
  • (4) E. Berti, V. Cardoso and S. Yoshida, Phys. Rev. D69, 124018 (2004).
  • (5) A. Ashtekar and J. Lewandowski, Class. Quantum Grav. 21, R53 (2004).
  • (6) C. Rovelli, Quantum Gravity (Cambridge University Press, 2004).
  • (7) T. Thiemann, Modern Canonical Quantum General Relativity (Cambridge University Press, 2008).
  • (8) R. Gambini and J. Pullin, A First Course in Loop Quantum Gravity (Oxford University Press, 2011).
  • (9) C. Rovelli and L. Smolin, Nucl. Phys. B442, 593 (1995), Erratum: Nucl. Phys. B456, 753 (1995).
  • (10) K. Meissner, Class. Quantum Grav. 21, 5245 (2004).
  • (11) C. Pigozzo. F. S. Bacelar and S. Carneiro, Class. Quant. Grav. 38, 045001 (2021).
  • (12) R. A. Konoplya and A. Zhidenko, Rev. Mod. Phys. 83, 793 (2011).
  • (13) J. F. Barbero G., J. Lewandowski and E. J. S. Villaseñor, Phys. Rev. D80, 044016 (2009).
  • (14) M. Dogamala and J. Lewandowski, Class. Quant. Grav. 21, 5233 (2004).
  • (15) A. Ghosh and P. Mitra, Phys. Lett. B616, 114 (2005).
  • (16) A. J. M. Medved, D. Martin and M. Visser, Class. Quant. Grav. 21, 1393 (2004).
  • (17) T. Padmanabhan, Class. Quant. Grav. 21, L1 (2004).
  • (18) A. Coates, S. H. Völkel and K. D. Kokkotas, Phys. Rev. Lett. 123, 171104 (2019).
  • (19) I. Agullo, V. Cardoso, A. del Rio, M. Maggiore and J. Pullin, Phys. Rev. Lett. 126, 041302 (2021).
  • (20) V. P. Frolov and A. Zelnikov, Introduction to Black Hole Physics (Oxford University Press, 2011).
  • (21) A. Perez, Rept. Prog. Phys. 80, 126901 (2017).
  • (22) J. F. Barbero G. and E. J. S. Villaseñor, Phys. Rev. D83, 104013 (2011).
  • (23) A. Ashtekar, J. Olmedo and P. Singh, Phys. Rev. Lett. 121, 241301 (2018); Phys. Rev. D98, 126003 (2018).
  • (24) S. Carneiro, P. C. de Holanda and A. Saa, Phys. Lett. B822, 136670 (2021).