Quantum Insights o Primordial Black Holes as Dak Mate
Francesca Vidotto UPV/EHU - Bilbao
2ND WORLD SUMMIT ON EXPLORING THE DARK SIDE OF THE UNIVERSE Guadalupe Island - June 29th, 2018 THE DARK SIDE OF GRAVITY Caution: not a complete list!
DARK ENERGY Cosmological Constant (or more complicated GR modification)
Gravitational Backreaction see Buchert’s talk Quantum Gravity: Spacetime Discreteness Perez, Sudarsky, Bjorken 1804.07162 …
DARK MATTER Mond, Mimetic Gravity and other classical modification of GR
Bimetric Gravity see Henry-Couannier’s talk N-body Equivalence Principle Alexander, Smolin 1804.09573 Quantum Gravity: Minimal Acceleration Smolin 1704.00780
Emergent Gravity Verlinde 1611.02269 …
Primordial Black Holes see also Garcia-Bellido’s talk
Quantum Gravity Phenomenology Francesca Vidotto PRIMORDIAL BLACK HOLES
PBHs are the least exotic beast in the dark universe zoo of theories
PBHs are a viable DARK MATTER candidate * careful with old constraints in the literature!
PBHs are interesting even if they are not all DARK MATTER * PBHs can be used to test QUANTUM GRAVITY
Quantum Gravity Phenomenology Francesca Vidotto IN THIS TALK: QUANTUM GRAVITY
1. QG makes PBH remnants stable * Quantum Gravity: minimal aerea
2. QG cures GR singularities * NO central BH singularity, NO cosmological singularity: instead a bounce
3. QG allows for Black-to-White tunnelling * Decay happens faster than the Hawking evaporation: new phenomenology
3 different scenarios discussed in this talk
Quantum Gravity Phenomenology Francesca Vidotto 5 governed by the Hamiltonian where we have taken the Immirzi parameter to be unit
2 for simplicity. The minimal non-vanishing eigenvalue is p 2 @ ~ @ ~ m +3 3 i⇡mo @v i m2 @m b m H = ao =4p3⇡ G (24) 0 m2/ 2 @ 1 ~ c ~ e ~ m 3p3 i⇡m
m o @v
a
on
which
reads
frame dilaton
That
matter
ponent
a
equation.
consist
8The
g&
7See
h(r,
by
the g(r,
where
o
u
from
dilaton
zero Appendix The
(22) and is called the ‘area gap’ in loop quantum cosmology In
@ A unique
At
nontrivial
(r,
We
(r,
The
the
The
Mu
continuity
Mu(r,
terms
S
=diag[
expansion,
Appendix
n)=1+h&(r)n+h2(r)n
n)=1+g,
n
full
S=
this
n)
u
is,
equations
=
magnetic becomes
the a on
where we have added also a diagonal energy term propor- [42]. This gives a minimal non-vanishingwhich mass µ defined
reads
frame
dilaton
) That
will
interior
matter
ponent
a
of
equation.
consist 8The
7See equations
the
(r, g&
that
h(r,
g(r, the by
where
o
=
like
(r, u
from
dilaton of
Too.
=R zero
Appendix
The
unique
In
power
f
solution,
the At
nontrivial details
spherically
(r,
We
(r,
The
the [ln(R
2 2 point f
The
n
shell
Mu
of
continuity Mu(r,
the
0) the
S
terms
0)
=diag[ At
expansion,
+d3(~)n &
coefficients
Appendix
assume
n)=1+h&(r)n+h2(r)n
n)=1+g, full
n
—
this
S=
tional to the mass in order to obtain the standard energy }=e by a = 16⇡G µ , that is A.
n) constitutes
is,
some &
u
(~)
o equations
=
matching matter
becomes
magnetic
the these
will interior
)
a
on
which of
reads
frame
dilaton equations
that the That
(r,
matter
=R
h
ponent
like
a
8The =
equation.
(r, =
7See
consist
the
of
Too. g&
8
h(r,
g(r,
=R the by
where
equations
—
o
u
from
dilaton
power zero f
Appendix
The
unique
the
of
solution,
details
spherically
In
gu'[
of collapsing of
At
towards
(r)n+g2(r)n
nontrivial
(r,
(r,
We (r)
we
series
point
[ln(R
of
The f
(r,
Of
the for
g
f field
shell
n
of
0)
the the
The
0)
Mu At
&
+d3(~)n
1— Mu(r,
continuity
coefficients
phase evolution, and c and b are constants of order unit. S
=diag[
terms that
expansion,
a
assume on
the
which
reads
Appendix
frame dilaton
— P That
massive
matter boundary
we
constitutes
the some
A.
}=e
ponent full
a
8The equation.
& n)=1+h&(r)n+h2(r)n
n)=1+g,
7See consist
(~)
n
this
g&
h(r,
g(r,
the by
n),
where S=
is,
o n)
matter
matching [
fields
u
u
from
dilaton motion
equations
zero
these Appendix
The
unique
}+d,
1 =
becomes In
magnetic
details.
the
must
At
1— interior
will
nontrivial
=R )
E
h
course,
+Que of that
=
—
(r,
We
the
8 equations
that and
the
The (r,
(r, the
equations
in
like
(r,
—
=
symmetric
of
Too. Tor,
—
=R
The
of
R
Mu
gu'[ of
of
collapsing
derivation
Mu(r,
continuity
f
the
+
details power
spherically
towards
S
solution, (r)n+g2(r)n
(r,
=diag[ terms set
4 expansion,
we
to
(r)
Appendix series
for
of
Of
u
shell.
f
full
n)=1+h&(r)n+h2(r)n point
n)=1+g,
g field
we
n
this g(r,
[ln(R
f
S=
is, n)
3 u shell
for n
0)
We now ask what are the stable or semi-stable states 1—
equations
the
of
the
(a~)—
of
equation
0)
=
At becomes
that the &
the
(~) +d3(~)n
magnetic
the
coefficients
interior
P
~ will
massive
2R
)
boundary
the the
we
assume
of
equations
that
the —
dn
(r,
constitutes
n), some
the like
(r,
A. =
}=e
[
&
fields
of
(~) Too.
R+2u
motion
=R the
matter
}+d, matching
match
cr
(r)n
for
details.
must
f Q
the
power
1—
the details
these
spherically
solution,
E
be
that
course,
+Que
—
and
the =R
have
in
h
= symmetric
8 µ . (25)
point the
Tor,
—
[ln(R
f
equations
R — derivation
shell
n
0)
of
the the
+
mode
0) of
of
of At
gu'[
collapsing &
set
+d3(~)n for
the
shell,
to
n) coefficients
towards (r)n+g2(r)n
(r,
across collapsing
shell.
=0
we assume
u
(r) shell
for we
— g(r,
series
constitutes of some
f Of
A.
}=e
&
],
(~) field
g
interior,
for
(a~)—
to
of
equation
of the hole as seen from the exterior. '
matter
matching
the more
Lagrangian
of (~)
1—
2
u
these
2R
the
the that
In
massive
=R
2 G P dn the
⌘ boundary
h
classical =
we
—
the
[1+
8
the
leading
R+2u
equations
n),
the +
—
cr
match
for
(r)n
[
fields
the Q
motion
of
be
of }+d,
of
gu'[ details.
collapsing
must
R
],
1—
+f3(r)n
and
E
towards
the (r)n+g2(r)n
this
(r, have
+g3(r)n
that
we
course,
(r) +Que
are for
+h3(r)n
—
and
to series
in
of
symmetric
r the Of
f
find in
Tor,
—
field
g
fields m'~'+
mode
derivation
R
d2(~)n
nonsingular
1—
for shell, Einstein
the
+ n)
onto
the
collapsing
that
across
set
=0
shell
to
massive
P
the
for boundary shell.
we
is
we u
(Ba)
],
and
g(r,
interior,
of
to
n),
'
more
[
fields of
(a~)—
Lagrangian
u
for
2
motion
of equation
}+d,
the
details.
In
A macroscopic black hole with mass m much larger must
(~)
1—
f,
describe
2R
the
E the
the
that
classical +
—
course,
+Que
[1+
—
dn leading and
in
specific
in
symmetric the
+
the Tor,
—
R+2u
derivation
the
cr
R for R
of
match
(r)n o.
],
collapsing
the
and
+
+f3(r)n be
Q
Lagrangian
+g3(r)n
this
set
are
to
+h3(r)n
to
the
have shell.
the the
in find
u we
m'~'+
g(r,
fields
interior
the nonsingular
d2(~)n
Einstein
(a~)—
mode for
of equation (r)n
the
onto
,
Appendix
shell,
(~)
for
2R
n) the
collapsing
the for
is
across
shell
=0 is
dn
and
(Ba)
of
terms
the
the the
], the above
'
more R+2u interior,
to
the o
and cr
for
match
(r)n
1 of
u
the
the
describe
f,
(we have momentarilybe restored G = 1 for clarity.) Radi- Q
Lagrangian 2
the
In
shell
p +
shell.
matching
the
specific
in
— have
classical
Lagrangian
— the [1+
than the Planck mass m = is stable when seen from leading
+
of
—— o.
collapsing
P mode
R
Lagrangian
shell,
],
for string.
and
the n)
~ +f3(r)n
collapsing
the across +g3(r)n
are
this
=0 shell
+h3(r)n
to
stress
the
interior
the
m'~'+ in find
],
interior, '
fields more
to
(r)n
is
and
4(Bu) nonsingular
Appendix
Einstein +
s
,
of
d2(~)n
u
Lagrangian
2
In
+
onto is
+ for
6 form
classical
—
+
terms
is
[1+ the
leading
the
of and
the exterior
above
(Ba)
R
+
and
o
1
coefficients
R
shell
3 the
],
the
and
matching
about describe
shell.
theory, +f3(r)n
f,
+
+g3(r)n
this the
Lagrangian
— are
this
in
specific
+h3(r)n
to
the
the
——
in
find m'~'+
f2(r)n
fields
nonsingular
of Einstein
o.
ating energy away brings down the system to the m = µ d2(~)n
collapsing
string.
onto
are
couples Lagrangian
for
the
stress
equation.
is
and
the exterior for a (long) time span of the order m / , of
(Ba)
vacuum
s
and
the
T.
is
4(Bu)
interior +
Appendix
].
(r)n
solutions
+
,
the
describe
f,
The +
+
~ form the
+
is
in specific
R
exterior
the
terms
the
(t,
coefficients
the
the
above shell
and 1
of
2
o.
the
o
collapsing
about theory,
B.
stress
shell
Lagrangian this
matching
shell.
tensor the
Lagrangian
—
f2(r)n
——
system
the
interior
BANKS
Appendix
(r)n
couples
,
are
string.
are ],
determined
In
— is
equation.
vacuum stress
terms
the
the T.
the
above
s ].
and
1
o
solutions and
+
is 4(Bu)
shell
The
1/2 + matching
eigenspace. Consider now states that are eigenstates of shell.
form
expanding
the
+ Lagrangian
— +
(t, R
shell
——
exterior 2
coefficients
equation
B.
stress
about
theory, the
which is the Hawking evaporation time. The stability string.
2u
tensor
this
metric
stress
system
there
the
~ s
f2(r)n
BANKS
extremal
and
+
is 4(Bu)
],
are
In
determined
+ couples
are
—
form
+ there
+
for
given
vacuum
equation. R
exterior
coefficients
].
T.
1/2
the
about theory,
solutions
the
this The
expanding
to
(2.
tensor
equation
(2.
(t,
f2(r)n
2 shell
B.
(2. fields
2u stress
couples
are
metric
solu-
tensor
there
equation. e vacuum
the com-
~
system
extremal
]. T.
solutions BANKS
In
],
The
there
have determined
m with the minimal value m = µ and denote them are for
—
given
(2.
now
rest (2.
(t,
shell 2
(2.
B.
(2.
with
stress 1/2
12)
to
is due to the fact that process (1) does not a↵ect the the
the
(2.
tensor the
(2.
11)
tensor
(2.
expanding
(2.
AND
10)
system
equation
fields
(2.
BANKS
solu-
In ],
determined are
2u
metric
—
com- e
is there
the
~
extremal 1/2
9)
have
8)
is the
there
7)
(2.
now expanding rest for
WHITE HOLES AS REMNANTS 1 (2.
6)
is
given
(2.
equation in
(2.
with 12) 5)
4)
the
the
2u 11)
(2. to
metric
(2.
(2.
10)
tensor there
AND (2.
QUANTUM EFFECTS MAKE REMNANTS STABLEthe
~ fields
(2.
extremal
solu-
there
is
for
com-
given
e
9) 8)
B,µ,v and W, µ, v . The dynamics governed by the is
to
have 7)
(2.
6)
is tensor
rest
(2. now
(2.
(2.
in
fields
(2. (2.
5)
4)
12)
(2.
solu-
the
exterior, process (2) does not concern black holes and with
the 11)
(2.
com-
10)
(2. e
AND
have
M.
is
rest
(2. now
(2.
(2.
(2. 12)
the
9) with
is
8)
the
11)
(2.
the
7) over
copion.
10)
(2.
will
6) is
mation,
as
AND
such
smooth
enable
in tion.
guarantee
smooth
smooth
that
5)
We 4)
| i | i leading
solution
like
is
equation
This
shell
9Appendix
vacuum
ing
seems
along fix
hemi-three-sphere
equations
There
have
Nonetheless,
9)
conformal
dimensionally
tions.
is
8)
side
M. form
tried 7)
source
infinite tion,
6)
is
in
5)
4)
the
over
copion.
will
O'LOUGHLIN mation,
as
such
smooth FIG.
enable
tion.
guarantee
smooth
smooth
that The
above Hamiltonian allows transition between black and We leading
solution
like
equation
9Appendix This
shell
vacuum
ing
a seems
along
fix
hemi-three-sphere
equations
There
To
have
Nonetheless,
conformal
dimensionally
tions. side
process (4) is strongly suppressed for macroscopic holes. form
tried
source
infinite tion,
M.
tip
the
over
copion.
FIG.
will O'LOUGHLIN
mation,
as
such
smooth
enable The
tion. only
guarantee
smooth
smooth
that
We
leading
can
solution 9Appendix
like
M. equation
a
dimple
fi(r)—
This
refer
shell
vacuum
To ing
seems
along
their fix
hemi-three-sphere
most
equations
There
have Nonetheless,
R(r)=Q+e the
conformal
over
dimensionally
copion. a tions.
will
side
the
mation,
form
tip
as
tried such
source smooth
infinite
tion,
enable
tion.
guarantee
smooth
smooth
that
We
the leading
solution
like
we 9Appendix
equation
This
FIG.
shell
We
vacuum
ing
seems
along
O'LOUGHLIN fix
hemi-three-sphere
only
equations
The There
have Nonetheless,
conformal
can
dimensionally
tions.
gives
dimple
side
form
fi(r)— obtain
refer
tried a
source
infinite tion,
most
their
not
to To
R(r)=Q+e
of a
for
the
the solution
FIG.
collapsing tip
2. O'LOUGHLIN
to
The
but
the
we a
white components. This is a typical quantum mechanicalWe
us
To
are only
gives
can
obtain dimple
tip refer
fi(r)—
perturbation
functions
most
not
of
to
their order,
It solution
it R(r)=Q+e a
the
A macroscopic white hole, on the other hand, is not so 3 for
2. collapsing
the
collapsing
free
to
continue
but only
can
dimple
have
refer
we
the
fi(r)— solution.
We
us
most
to
coefficients
their
Similarly,
the are
R(r)=Q+e
a
the restrict gives
shell,
set
perturbation obtain
the functions
Instantaneous
order, It
of
be
continue it
not
we solution the
to
2.
collapsing
We collapsing
the
for
for
continue
free
to
gives
but
have
of
obtain solution.
to
to
us
normal coefficients
timelike
the
of C.
the
not
is Similarly,
to solution
will
2.
are
the collapsing
restrict the for
shell,
been
set restricted
Instantaneous the
perturbation
functions
to
to
continue
be
It
but
order,
it
collapsing
for us
continue
free
are
of
to
perturbation
have
factor
functions
C.
solution.
here
normal
to
timelike
is
coefficients the
It
order,
it
the
will many
on
check
the
collapsing
Similarly,
Instantaneous
been
restricted
to
continue
restrict
shell, the
free
set
continue
be
us have
solution.
to
coefficients
for the
plenty
situation where two states, here B,µ,v and W, µ, v , Similarly,
of
a
Instantaneous
to
C.
restrict
horn.
factor
shell,
the
set
here
continue
is on
space.
normal
be
timelike will many
some check
the
the
for
to field
been restricted
of
us to
stable, because of the fast instability of process (2). As C.
of
such
values
is
normal
timelike
will
plenty
the a
the
horn.
R
to
made
been restricted
space.
factor on
demonstrate
some
here
check
many
Christodoulou, Rovelli 1411.2854 field
solution
such
metric
us
of
a
factor values
on
here
check
we
many
a
plenty
horn.
existence R
are
made
space.
Aat
demonstrate
but
exists.
us
have
some
a plenty conformally
solution
horn.
field
such
metric
space.
a
values of
some
we
existence
are
a
Aat
| i | i R
made
exists.
field demonstrate
have
such
but
(r).
of values
solution
conformally
able R
made
demonstrate a
4 metric existence
a
we
are Aat
solution
exists.
have
spherically
(r).
metric a but
existence
the we
are Aat
able
conformally
the
exists.
have
but solution
a conformally
Christodoulou, De Lorenzo1604.07222 of
spherically (r).
can dynamically turn into one another. Let us we disre- this
a
LARGE INTERNAL VOLUME ~ Mo the
able
the
solution
(r).
tied
single
of
smooth
able
derivatives
equations
that
this
spherically
feeling
basic physics is invariant under time reversal, one may to
the
solution well
the
space. spherically
single tied
believe
world
of
the
smooth that
derivatives
this
solution
equations
this the
an
to
cross
feeling
of
r',
well
of
solution,
space.
this
single
believe
world
tied
that
an
derivatives this smooth
the
equations
to
single cross
feeling tied r',
solution, well
that
of
space.
derivatives smooth
equations
to
The
feeling
~.
world
believe an well
space.
the
this
r',
cross
solution, believe world
an
of
in
this The
the
of
~.
an
cross r',
solution,
to
of
the
expansion
solution
in the
The
the
~.
of
an
search
to
The
expansion
~.
to
the
in
solution
search
of
the
in
dilaton
an
expansion
to
ds
of
to
an
expansion to
solution
search
room
solution
dilaton
search
procedure
ds
snapshot
to
The
to
room
snapshot
procedure
dilaton
ds
The
dilaton object
to
snapshot ds
as
room
procedure
snapshot
room
of procedure The
gard for a moment v, which is invisible fromobject the exterior,
The to as
Of
of
object
the
object
Of
the
as is
to of fairly
as a
to
behaved the of
Of the
the Of is
fairly
behaved a
It depends only on the original mass Mo at the BH formation the
the wonder what breaks time reversal invariance here. What the
the
the
fairly
behaved
is
fairly
a behaved is
a
the
the
come
geometry
come
of
geometry
time
of geometry time
geometry
come
come
time
time
of of
time.
first-order
=
attempt
time.
line first-order
manifold
first-order
time.
= first-order
line
time. attempt
manifold
=
line the
attempt
line the
=
the the manifold
attempt the
manifold
inconsistent the
for
the
for
the for inconsistent
~~oo. inconsistent for
that
~~oo.
~~oo.
that
inconsistent
that
that
~~oo.
At
At At At
course,
course,
course,
course,
solutions
solutions
solutions
solutions
solution
other
expansion
˜ that explicitly
solution
other
solution
expansion
other
that explicitly that
that solution
other expansion
explicitly
expansion
—
an
explicitly
— an
— —
metric
an
for
for
metric
an
metric
Oat
for for
metric
for
for
for Oat
Oat for
and project down to a smaller state space with ba- Oat
but
in
symmetric
field but
in
the
arbitrary any
in
field symmetric
but
in
the
symmetric any
arbitrary dilaton,
of
dH+a(r)
as
but symmetric
field dependence
by breaks time reversal invariance is the notion of stability the
arbitrary
any dilaton,
of
as
dH+a(r)
the
dependence
field arbitrary
undetermined. by
dilaton,
dynamics
of
dH+a(r)
any
as by
dilaton, of
dH+a(r)
of dependence
undetermined.
dynamics
by
we of
as
undetermined. dynamics
dependence
up
dynamics
we
undetermined.
everywhere
of
around
up
we
a everywhere
around
up
of patching
Our
we
a
up
a
everywhere
around
patching
the Our
form
a
a
for
everywhere
around
patching
a
Our
the
H H form
perturbatively,
a a
for
smooth a
patching
assuming motion
a
Our
the
sensible
form a
perturbatively, a
coefficient
smooth
for
we
motion assuming
finite
the
form sensible
this
a
coefficient
perturbatively,
equations
smooth
a
we
for
assuming
have finite
motion
finite collapsing
this
sensible
We
equations
a with
smooth
coefficient
perturbatively,
assuming
have
shown a
collapsing
motion we
finite
finite
with
this
We
sensible
with
finite
coefficient
shown
equations to
sis states H, µ . This is a two dimensional Hilbert space functions
finite
have
we
finite with collapsing
this
finite
with
We
to
functions
finite
equations
collapsing
shown
all
have
so
that we are using. This is a stability under small fluc- with
ordinary collapsing
with
We
finite
to
functions matching of collapsing
all
shown
so
with
ordinary
feel
to
matching of
functions
finite
the
collapsing
all
so
is
in demonstration
of
ordinary
feel
with
the
matching of
collapsing
assumption
is
all
in demonstration
the
can so
of
ordinary
with
time
feel
of
| i matching
finite
the
described,
obtained
assumption keep
the
can
is
in
of demonstration
the
a
time
the
with
region.
finite
inconsistent.
described,
feel
obtained
keep
(dr
the
assumption
of
powers
is
the
the
gives can
of
in
solutions the
a
in
demonstration
the
region.
with
inconsistent.
volume
time
ansatz
(dr
finite
keep
obtained
described,
of
powers
solutions assumption
with basis vectors B,µ and W, µ . Seen from the exte- gives
in
in
solutions the existence occurs
the
can the
confident
a
natural
volume the
region. ansatz
inconsistent.
shell,
time
keep (dr
finite solutions
tuations of the past boundary conditions. If instead we obtained in
described, a
occurs existence
of
powers
confident gives
solutions
the in
the
natural the
smooth
then
the a
the
a
region.
shell,
cornucopion.
volume inconsistent.
ansatz
that
topology
(dr
a
functions,
vacuum
solutions
after
of
gives
the
in powers
smooth existence
solutions
occurs then
the the
in
confident
a cornucopion. Fig.
natural
cosmological +r
metric,
that
topology
shell, values
functions, volume
ansatz
vacuum
nonsingular
after
and
a
solutions
| i | i Fig.
Thus
existence in the
occurs
the cosmological
+r
smooth
then
confident
natural
differential
metric,
the
a
values
cornucopion.
nonsingular
shell,
shell,
and
topology
that
conditions functions,
vacuum
a
collapsing
rise
after
Thus
field
differential
the the
the
Fig.
then smooth
cosmological +r
a
shell,
metric,
to
that values
cornucopion.
does
conditions
nonsingular
topology
rior, the state of ⌃ will converge to . collapsing
rise
and
that is
of
vacuum
field functions,
µ We
use
dQ
after
Thus
behaves
only
differential
the
asked about stability under small fluctuations of the fu- cosmological +r
Fig. to
2. that
its
does
cornu- metric,
shell,
is
values of
begins
We
nonsingular
conditions
dilaton
and use
dQ
rise collapsing
ansatz. that
behaves
only
field
static
Thus
verify
2.
its
cornu-
of
the
differential
n
(2. begins
three- to
that shell, solu-
dilaton
does
to
there
ansatz. that
of
conditions
equa-
of
of exist.
is We
Bianchi, Cristodoulou, D’Ambrosio, rise
static
collapsing that
leav-
H dQ use field
verify
for-
behaves
only of
will
of
We
with
n
have
field
this
(2.
not
three-
solu-
) 2.
its
of
cornu-
are
to
there
of
to
equa- of
exist.
that
does
begins
that
dilaton
We
leav-
in
13)
We
ansatz. for-
that of
is
will dQ
of We
FIG. 2. the
use
with
static
The interior geometry of an old black hole: a very to
have
field this
behaves
in-
not
4 verify
The Hamiltonian acting on this subspace is ~.
only
)
of
of
are
a
an
a
n
(2. 47
three-
2.
its
cornu-
solu- We
in 13)
ture boundary conditions, we would obviously obtain the to
there
a
equa-
of
exist. begins dilaton
of
the
ansatz. that
Haggard, Rovelli 1802.04264to leav-
REMNANT LIFETIME ~ Mo that
in-
~.
for-
will
a
of static
We
with
an a have
verify
field
of
this
47
not
)
of
n
are
three-
a (2.
solu-
to
We
there
equa-
13) in
exist.
long thin tube, whose length increases and whose radius de- of
of
leav-
the
that
to
in-
for-
~.
will with
of
have
We
field
a
an
this
)
a
not 47
of
are
a
We 13)
in FIG. 3. The transition across the
the to
A region. in-
opposite result: macroscopic white holes would be stable ~.
an
a
creases with time. Notice it is finite, unlikely the Einstein- 47 a
Time for information to leak out from such a large volume trough the small WH surface. a while macroscopic black holes would not. Rosen bridge. µ b~ H = µ (26) a~ invariant K R Rµ⌫⇢ is easily computed to be The question we are interested in is what happens µ µ ! ⌘ µ⌫⇢ (generically) to a large macroscopic black hole if it is the two regions A and B where classical general relativity 9 l2 24 l⌧ 2 + 48 ⌧ 4 K(⌧) 2 becomes unreliable. Rovelli, Vidotto 1805.03872 2 m (5) not fed by incoming mass. ThenPROCESSES two processes are in p3 ⇡ (l + ⌧ )8 Region A is characterised4 by large curvature and covers 3 where a = ce . Quantum mechanics indicates that in place: its Hawking evaporation for1. aBH time volumem increase/~ (pro- & WH volumethe singularity. decrease According to classical general relativity in the large mass limit, which has the finite maximum ⇠ a situationthe singularity where never reaches the system the horizon. can (N.B.: radiate Two energy away and cess 3) and the internal growth of2. Whitev (process to black 1). instability This 9 m2 lines meeting at the boundary of a conformal diagram K(0) there are possible transitions between these two states, 6 . (6) continues until process (4) becomes3. Hawking relevant, evaporation which hap- does not ⇡ l the actualmean state that they will meet converge in theFrom physical the to spacetime.) aoutside, quantum at a state finite whichtime, 4. Black to white tunnelling Region B pens when the mass is reduced to order of Planck mass. , instead, surrounds no distinction the end of the evapora- between blackFor and all the white values ofholes⌧ where l ⌧ 2 < 2m the line is ation, quantum which involves superposition the horizon, and a of the two given by the lowest ⌧ At this point the black hole has a probability of order ↵ects what hap- element is well approximated by taking l = 0 which gives eigenstatepens outside of the hole.H.Thisis Taking evaporation into account, the area of the horizon shrinks progressively until reach- 4⌧ 4 2m ⌧ 2 one to tunnel into a white hole under process (4). But a ds2 = d⌧ 2 + 2 4 2 ing region B. 2 2 dx + ⌧ d⌦ . (7) STABILITY a oscillation 2 mbetween⌧ ⌧ white hole in unstable under process (2), giving it a finite The quantum gravitational e ↵bectsB,µ in regions W,A and µ B The minimal area yields a minimalare mass! distinct, and confusing them is a source of misun- Forblack⌧ < and0, this iswhite the Schwarzschild metric inside the probability of returning back to a black hole. Both pro- R = | i a| i (27) derstanding. Notice| thati a generic spacetime1+ region in black hole, as can be readily seen going to Schwarzschild cesses (4) and (2) are fast at this point. Notice that this p b coordinateshole states A is spacelike separated and in general very distant from happens at large v, therefore in a configuration that clas- region B. By locality, there is no reason to expect these 2 p ts = x, and rs = ⌧ . (8) sically is very distant from flat space,Quantum even Gravity if Phenomenology the overall (R twofor regions ‘Remnant’) to influence one and another. has eigenvalue µ ~pab/µFrancesca.If Vidotto the amplitudeThe quantum gravitationalb of going physical from process black happening to white For ⌧ is> 0, larger this is the Schwarzschild metric inside a white mass involved is small. at these two regions must be considered separately. hole. Thus the metric ( 4) represents a continuous transi- As energy is constantly radiated away and no energy than the amplitude a of going from white totion of black the geometry (as of a black hole into the geometry of it seems plausible), the state is dominated bya white the hole, white across a region of Planckian, but bounded is fed into the system, the system evolves towards low curvature. hole component.III. THE A REGION: A related TRANSITIONING picture was been considered m.Butm cannot vanish, because of the presence of the ACROSS THE SINGULARITY Geometrically, ⌧ = constant (space-like) surfaces foli- interior: in the classical theory, a geometry with larger v in [43–45]: a classical oscillation between blackate the and interior white of a black hole. Each of these surfaces has the topology 2 R, namely is a long cylinder. As and small m is not contiguous to a Minkowski geometry, holeTo states. study the A region, let us focus on an arbitrary time passes, the radialS size⇥ of the cylinder shrinks while finite portion of the collapsing interior tube. As we ap- the axis of the cylinder gets stretched. Around even if the mass is small. Therefore in the large v region Inproach a the fully singularity, stationary the Schwarzschild situation, radius the mass m is equal ⌧ =0 rs,which the cylinder reaches a minimal size, and then smoothly we have m>0. Alternatively, this can be seen as a tois the a temporal Bondi coordinate mass, inside which the hole, generates decreases and time translationsbounces back and at starts increasing its radial size and largethe curvature distance increases. from When the the hole curvature in approaches the frame determinedshrinking its length. by The cylinder never reaches zero size hypothesis ruling out macroscopic topology change. Planckian values, the classical approximation becomes but bounces at a small finite radius l. The Ricci tensor theunreliable. hole. Quantum (Quantum gravity e gravity is locally Lorentz invariant But m cannot be arbitrarily small either, because of ↵ects are expected to vanishes up to terms O(l/m). [46bound, 47] the and curvature has [ no7–10 preferred, 12–18, 21–23 time, 26, 28, [4859,]60 but]. aThe black resulting hole geometry is depicted in Figure quantum gravity. The quantity m is defined locally by Let us see what a bound on the curvature can yield. Fol- 3.The region around ⌧ = 0 is the smoothing of the central black the area of the horizon A = 16⇡G2 m2 and A is quan- inlowing a large [ 61], nearly-flat consider the line element region determines a preferred frame hole singularity at rs = 0. and a preferred time variable.) Keeping possibleThis geometry tran- can be given a simple physical interpre- tized. According to Loop Quantum Gravity [40]the 2 2 2 2 4(⌧ + l) 2 2m ⌧ tation. General relativity is not reliable at high curva- sitionsds = into accountd⌧ + there dx is2 +( a⌧ subtle2 +l)2d⌦2 di, (4)↵erence between eigenvalues of the area of any surface are [41] 2m ⌧ 2 ⌧ 2 + l ture, because of quantum gravity. Therefore the “pre- the mass m, determined locally by the horizondiction” area, of the and singularity by the classical theory has no A =8⇡ G j(j + 1) (23) thewhere energyl m. ofThis the line element system, defines which a genuine is Rieman- determinedground. by Highthe curvature full induces quantum particle cre- ~ nian spacetime,⌧ with no divergences and no singularities. ation, including gravitons, and these can have an e ↵ec- Curvature is bounded. For instance, the Kretschmann p tive energy momentum tensor that back-reacts on the Scenario 1 REHEATING Remnants
Quantum Black Holes Francesca Vidotto 2 mal extension of the Schwarzschild solution is equally the outside of a black hole and the outside of a white hole (see Fig. 1, Top). Analogous considerations hold for the 2 Kerr solution. In other words, the continuation inside the radius r =2m + ✏ of an external stationary black
mal extension of the Schwarzschild solution is equally the hole metric contains both a trapped region (a black hole) WH II outside of a black hole and the outsidead an anti-trapped of a white hole region (a white hole). BH (see Fig. 1, Top). Analogous considerationsWhat distinguishes hold for the then a black hole from a white Kerr solution. In other words, thehole? continuation The objects inside in the sky we call ‘black holes’ are de-
the radius r =2m + ✏ of an externalscribedstationary by a stationaryblack metric only approximately, and hole metric contains both a trappedfor region a limited (a black time. hole) In their past (at least) theirWH met- II ad an anti-trapped region (a whiteric hole). was definitely non-stationary, as they were producedBH What distinguishes then a blackby gravitational hole from a collapse. white In this case, the continuation of the metric inside the radius r =2m + ✏ contains a hole? The objects in the sky we call ‘black holes’ are de- FIG. 2: The full life of a black-white hole. scribed by a stationary metric onlytrapped approximately, region, but and not an anti-trapped region (see Fig. for a limited time. In their past1, (at Center). least) Viceversa, their met- a white hole is an object that is ric was definitely non-stationary,undistinguishable as they were produced from a black hole from the exterior and is longer [16]: by gravitational collapse. In thisfor case, a finite the continuation time, but in the future ceases to be stationary 4 of the metric inside the radius rand=2 therem + is✏ contains no trapped a region in its future (see Fig. 1, ⌧BH m . (2) FIG. 2: The full life of a black-white hole. ⇠ o trapped region, but not an anti-trappedBottom). region (see Fig. 1, Center). Viceversa, a white hole is an object that is The tunnelling process itself from black to white takes a undistinguishable from a black hole from the exterior and time of the order of the current mass at transition time is longer [16]: [15]. The area of the horizon of the black hole decreases for a finite time, but in the future ceasesIII. to be QUANTUM stationary PROCESSES AND TIME with time because of Hawking evaporation, decreasing and there is no trapped region in its future (see Fig. 1,SCALES 4 ⌧BH mfromo. m to the Planck(2) mass m . At this point the Bottom). ⇠ o Pl transition happens and a white hole of mass of the order The classical prediction thatThe the tunnelling black is forever process stable itself from black to white takes a of the Planck mass is formed. is not reliable. In the uppermosttime of the band order of the of the central current mass at transition time III. QUANTUM PROCESSESdiagram AND of Fig. TIME 1 quantum theory[15]. The dominates. area of theThe horizon death of the black hole decreases SCALES of a black hole is therefore awith quantum time phenomenon. because of Hawking The evaporation, decreasingIV. TIMESCALES same is true for a white hole,from reversingmo to thetime Planck direction. mass mPl. At this point the That is, the birth of a whitetransition hole is in happens a region and where a white hole of mass of the order The classical prediction that thequantum black is gravitationalforever stable phenomena are strong. Consider the hypothesis that white-hole remnants are of the Planck mass is formed. a constituent of dark matter. To give an idea of the is not reliable. In the uppermostThis band consideration of the central eliminates a traditional objection density of these objects, a local dark matter density of diagram of Fig. 1 quantum theoryto dominates. the physical The existence death of white holes: How would they of a black hole is therefore a quantum phenomenon. The the order of 0.01M /pc3 corresponds to approximately originate? They originate from a region whereIV. quantum TIMESCALES one Planck-scale remnant, with the weight of half a inch same is true for a white hole, reversingphenomena time dominate direction. the behaviour of the gravitational of human hair, per each 10.000Km3. For these objects to That is, the birth of a white holefield. is in a region where quantum gravitational phenomena are strong. Consider the hypothesis thatbe white-hole still present remnants now we are need that their lifetime be larger Such regions are generateda constituent in particular of by dark the matter. end To give an idea of the This consideration eliminates a traditional objection or equal than the Hubble time TH , that is of the life of a black hole,density as mentioned of these above. objects, Hence a local dark matter density of to the physical existence of whitea holes: white How hole would can in they principle be originated by a dying3 4 the order of 0.01M /pc corresponds to approximatelymo TH . (3) originate? They originate from ablack region hole. where This quantum scenario has been shown to be concretely one Planck-scale remnant, with the weight of half a inch phenomena dominate the behaviourcompatible of the gravitational with the exact external Einstein dynamics On the other hand, since the possibility of many larger of human hair, per each 10.000Km3. For these objects to field. in [12] and has been explored in [13–18]. The causal back holes is constrained by observation, we expect rem- be still present now we need that their lifetime be larger Such regions are generated indiagram particular of the by the spacetime end giving the full life cycle of the nants to be produced by already evaporated black holes, REMNANTSor equal than theFORMED Hubble timeAFTERTH , INFLATION that is of the life of a black hole, as mentionedblack-white above. hole is Hence given below in Fig. 2. therefore the lifetime of the black holeRovelli, must Vidotto be 1805.03872 shorter a white hole can in principle be originatedIn particular, by a the dying result of [16] indicates that the black-m4 T than. the Hubble time.(3) Therefore to-white process is asymmetric in time [13] and the timeo H black hole. This scenario has been shown to be concretely 3 compatible with the exact externalscales Einstein of the durations dynamics of theOn di the↵erent other phases hand, are since deter- the possibility of many largermo