Primordial Black Holes: Tunnelling vs. No Boundary Proposal: and Stephen W. Hawking
Primordial Black Holes: Tunnelling vs. No Boundary Proposal: and Stephen W. Hawking
DAMTP/R-96/34
Abstract
In the inflationary era, black holes came into existence together with the
universe through the quantum process of pair creation. We calculate the pair
creation rate from the no boundary proposal for the wave function of the uni-
verse. Our results are physically sensible and fit in with other descriptions of
pair creation. The tunnelling proposal, on the other hand, predicts a catas-
trophic instability of de Sitter space to the nucleation of large black holes,
and cannot be maintained.
∗
Contribution to the Proceedings of COSMION 96 (Moscow, May 1996)
†
[email protected]
‡
[email protected]
1
1 Introduction
1.1 Primordial Black Holes
We now have good observational evidence for black holes from stellar masses up to
super-massive holes of 108 to 1010 solar masses and maybe even more. However,
one can also speculate on the possible existence of black holes of much lower mass.
These are the holes for which quantum effects can be important. Such holes could
not form from the collapse of normal baryonic matter because degeneracy pressure
will support white dwarfs or neutron stars below the Chandrasekhar limiting mass.
One can express this limiting mass as mPlanck (mPlanck /mbaryon )2 . Its value is about a
solar mass, which might seem a coincidence, but there are good anthropic principle
reasons why stars should be just on the verge of gravitational collapse.
This limiting mass applies only to the formation of black holes through the
gravitational collapse of fermions. In the case of bosons the limiting mass is given
by mPlanck (mPlanck /mboson ). To form a black hole by the gravitational collapse of
bosons, they need to have a non-zero mass and either be stable or have a fairly
long life. About the only candidate is the axion, which might have a mass of about
10−5 eV. In this case the limiting mass would be about the mass of the Earth,
which is still quite high, and too large for quantum effects to be observable. To
get black holes that are significantly smaller, one could not rely on gravitational
collapse, but would have to shoot matter together with high energies. John Wheeler
once calculated that if one made a hydrogen bomb with all the deuterium from
the oceans, the centre would implode so violently that a little black hole would be
formed. Perhaps fortunately, this experiment is unlikely to be performed. Thus the
only place where tiny black holes might be formed is the early universe.
Previous discussions of black holes formed in the early universe have concen-
trated on black holes formed by matter coming together during the radiation era or
first order phase transitions. Recent work on the critical behaviour of gravitational
collapse has shown it is possible to form black holes in these situations. However, it
is difficult because one has to arrange for matter to be fired together at high speed
and accurately focused into a small region. Yet if too much matter is fired together
it forms a closed universe on its own, with no connection with our universe. Such a
separate universe would not be a black hole in our universe.
Black holes formed by collapse, or by hurling matter together, are not really
primordial, in the sense that they do not form until a definite time after the beginning
of the universe. On the other hand, the black holes we are going to consider form
2
by the quantum process of pair creation and are truly primordial, in that they can
be considered to have existed since the beginning of the universe.
1.2 Inflation
It is generally assumed that the universe began with a period of exponential ex-
pansion called inflation. This era is characterised by the presence of an effective
cosmological constant Λeff due to the vacuum energy of a scalar field φ. In chaotic
inflation [1, 2] the effective cosmological constant typically starts out large and then
decreases slowly until inflation ends when Λeff ≈ 0. Correspondingly, these models
predict cosmic density perturbations which are proportional to the logarithm of the
scale. On scales up to the current Hubble radius Hnow −1
, this agrees well with ob-
servations of near scale invariance. However, on much larger length scales of order
Hnow
−1
exp(105 ), perturbations are predicted to be on the order of one. Of course, this
means that the perturbational treatment breaks down; but it indicates that black
holes may be created.
Linde [3, 4] noted that in the early stages of inflation, when the strong den-
sity perturbations originate, the quantum fluctuations of the inflaton field are much
larger than its classical decrease per Hubble time. He concluded that therefore there
would always be regions of the inflationary universe where the field would grow, and
so inflation would never end globally (“eternal inflation”). However, this approach
only allows for fluctuations of the field. One should also consider fluctuations which
change the topology of space-time. This topology change corresponds to the forma-
tion of a pair of black holes. The pair creation rate can be calculated using instanton
methods, which are well suited to this non-perturbative problem.
3
by the inflationary expansion of the universe. While preventing classical gravita-
tional collapse, this expansion provides a suitable background for the quantum pair
creation of black holes.
After the end of inflation, during the radiation and matter dominated eras, the
effective cosmological constant was nearly zero. Thus the only time when black
hole pair creation was possible in our universe was during the inflationary era, when
Λeff was large. Moreover, these black holes are unique since they can be so small
that quantum effects on their evolution are important. Indeed, their evolution turns
out to be quite interesting and non-trivial [7]. Here we will only describe the cre-
ation of black holes, summarising a more rigourous treatment [8]. We focus on the
consequences for the choice of the prescription for the wave function of the universe.
In the standard semi-classical treatment of pair creation, one finds two instan-
tons: one for the background, and one for the objects to be created on the back-
ground. From the instanton actions Ibg and Iobj one calculates the pair creation rate
Γ:
Γ = exp [− (Iobj − Ibg )] , (1.1)
where we neglect a prefactor. This prescription has been very successfully used
by a number of authors recently [9, 10, 11, 12] for the pair creation of black holes
on various backgrounds. It is motivated not only by analogies in quantum me-
chanics and quantum field theory [13, 14], but also by considerations of black hole
entropy [15, 16, 17].
In this paper, however, we will obtain the pair creation rate through a somewhat
more fundamental procedure. Since we have a cosmological background, we can
apply the tools of quantum cosmology, and use the wave function of the universe to
describe black hole pair creation. Two different prescriptions have been put forward
for the calculation of this wave function: Vilenkin’s tunnelling proposal [18], and the
Hartle-Hawking no boundary proposal [19] (reviewed in Sec. 2). We will describe
the creation of an inflationary universe by a de Sitter type gravitational instanton,
which has the topology of a four-sphere, S 4 . In this picture, the universe starts
out with the spatial size of one Hubble volume. After one Hubble time, its spatial
volume will have increased by a factor of e3 ≈ 20. However, by the de Sitter
no hair theorem, we can regard each of these 20 Hubble volumes as having been
nucleated independently through gravitational instantons. With this interpretation,
we are allowing for black hole pair creation, since some of the new Hubble volumes
might have been created through a different type of instanton that has the topology
S 2 × S 2 and thus represents a pair of black holes in de Sitter space [20]. Using the
4
no boundary proposal, we assign probability measures to both instanton types. We
then estimate the fraction of inflationary Hubble volumes containing a pair of black
holes by the fraction Γ of the two probability measures. This is equivalent to saying
that Γ is the pair creation rate of black holes on a de Sitter background.
In Sec. 3 we describe the relevant instantons and calculate the pair creation rate.
The result is compared with that obtained from the tunnelling proposal in Sec. 4,
where we demonstrate that the usual description of pair creation, Eq. (1.1), arises
naturally from the no boundary proposal. We shall use units in which mP = h̄ =
c = k = 1.
where (hij , ΦΣ ) are the 3-metric and matter fields on a spacelike boundary Σ and the
path integral is taken over all compact Euclidean four geometries gµν that have Σ
as their only boundary and matter field configurations Φ that are regular on them;
5
I(gµν , Φ) is their action. The gravitational part of the action is given by
1 1
Z Z
IE = − d4x g 1/2 (R − 2Λ) − d3x h1/2 K, (2.2)
16π M+ 8π Σ
6
The action (2.2) is in general negative for a small boundary geometry hij . Thus
Ψ = e−I is enhanced. The proponents of the tunnelling proposal feel, however,
that the wave function ought to be suppressed in the Euclidean region because it is
supposed to be forbidden. They are therefore forced to choose the
ΨTP = exp (+I) (2.5)
solution of the Wheeler-DeWitt equation as the boundary condition at small hij .
This has the obvious disadvantage that it does not reflect the entropy difference
correctly. Transitions in the direction of lower entropy are enhanced, rather than
suppressed. This will lead to absurd predictions in the context of pair creation.
In the following two sections we shall discuss the saddle-point solutions needed to
describe the pair creation of black holes on a cosmological background [8]. We shall
use only the no boundary proposal to calculate the probability measures and the
pair creation rate. The disastrous consequences of choosing the prescription (2.5),
instead, will be discussed in Sec. 4.
3 Instantons
We shall assume spherical symmetry. Before we introduce a more realistic infla-
tionary model, it is helpful to consider a simpler situation with a fixed positive
cosmological constant Λ but no matter fields. We can then generalise quite easily
to the case where an effective cosmological “constant” arises from a scalar field.
7
We can regard Eq. (3.2) as a function on
q the complex τ -plane. On a line parallel
to the imaginary τ -axis defined by τ Re = Λ3 π2 , we have
s s
3 Λ Im
a(τ )|τ Re =√ 3 π = cosh τ . (3.3)
Λ 2 Λ 3
8
boundary
Lorentzian
section
Euclidean section
Figure 1: The creation of a de Sitter universe. The lower region is half of a Euclidean
four{sphere, embedded in ve{dimensional Euclidean
at space. The upper region
is a Lorentzian four{hyperboloid, embedded in ve{dimensional Minkowski space.
also known as the Nariai solution and given by the topological product of two round
two-spheres:
ds2 = dτ 2 + a(τ )2 dx2 + b(τ )2 dΩ22 , (3.6)
where x is identified with period 2π, dΩ22 = dθ2 + sin2 θ dϕ2 , and
s s
1 √ 1
a(τ ) = sin Λτ, b(τ ) = = const. (3.7)
Λ Λ
In this case the radius b of the S 2 is constant in the S 1 direction. The black
hole and the cosmological horizon have equal radius and no conical singularities
√ are
present. There will be no saddle-point solution unless we specify bΣ = 1/ Λ. Then
9
the only variable we are free to choose on Σ is the radius aΣ of the one-sphere. In
the Lorentzian section, the one-sphere expands rapidly,
s
1 √
a(τ )|τ Re =√ 1 π = cosh Λτ Im , (3.8)
Λ 2 Λ
while the two-sphere (and, therefore, the black hole radius) remains constant. Again
we can construct a complex saddle-point, which can be regarded as half a Euclidean
S 2 × S 2 joined to half of the Lorentzian solution. The real part of the action will be
the action of the half of a Euclidean S 2 × S 2 :
Re π
ISdS =− . (3.9)
Λ
The corresponding probability measure is
2π
PSdS = exp . (3.10)
Λ
We divide this by the probability measure (3.5) for a universe without black holes
to obtain the pair creation rate of black holes in de Sitter space:
PSdS π
Γ= = exp − . (3.11)
Pde Sitter Λ
Thus the probability for pair creation is very low, unless Λ is close to the Planck
value, Λ = 1.
10
There will again be complex saddle-points which can be regarded as a Euclidean so-
lution joined to a Lorentzian solution. Due to the time dependence of Λeff , however,
one cannot find a path in the τ -plane along which the Euclidean and Lorentzian
metrics will be exactly real [8]. Apart from this subtlety, the saddle point solutions
are similar to those for a fixed cosmological constant, with the time-dependent √ Λeff
replacing Λ. The radius of the pair created black holes will now be given by 1/ Λeff .
As before, the magnitude of the wave function comes from the real part of the ac-
tion, which is determined by the Euclidean part of the metric. This real part will
be
3π
ISRe3 = − (3.13)
2Λeff (φ0 )
in the case without black holes, and
π
ISRe2 ×S 1 = − (3.14)
Λeff (φ0 )
in the case with a black hole pair. Here φ0 is the value of φ in the initial Euclidean
region. Thus the pair creation rate is given by
" #
PS 2 ×S 1 π
Γ= = exp − . (3.15)
PS 3 Λeff (φ0 )
11
where I Re denotes the real part of the Euclidean action of a complex saddle-point
solution. But we have seen that this real part is equal to half of the action of the
complete Euclidean solution. Thus Iobj = 2ISRe2 ×S 1 and Ibg = 2ISRe3 , and we recover
Eq. (1.1).
Let us return to the tunnelling proposal and see what results it would have
produced. ΨTP is given by e+I rather than e−I . This choice of sign is inconsistent
with Eq. (1.1), as it leads to the inverse result for the pair creation rate: ΓTP = 1/Γ.
In our case, we would get ΓTP = exp(+π/Λeff ). Thus black hole pair creation would
be enhanced, rather than suppressed. This means that de Sitter space would decay:
it would be catastrophically unstable to √ the formation of black holes. Since the
radius of the black holes is given by 1/ Λeff , the black holes would be more likely
the larger they were. Clearly, the tunnelling proposal cannot be maintained. On
the other hand, Eq. (3.15), which was obtained from the no boundary proposal,
is physically very reasonable. It allows topological fluctuations near the Planckian
regime, but suppresses the formation of large black holes at low energies.
We summarise. The cosmological pair production of black holes provides an ideal
theoretical laboratory in which to examine the question of the boundary conditions
for the wave function of the universe. The results could not be more decisive. The no
boundary proposal leads to physically sensible results, while the tunnelling proposal
predicts a disastrous enhancement of black hole production.
References
[1] A. D. Linde: Chaotic inflation. Phys. Lett. 129B, 177 (1983).
[2] S. W. Hawking: The quantum state of the Universe. Nucl. Phys. B239, 257
(1984).
[4] A. D. Linde: Eternal chaotic inflation. Mod. Phys. Lett. A1, 81 (1986).
[5] S. W. Hawking and S. F. Ross: Pair production of black holes on cosmic strings.
Phys. Rev. Lett. 75, 3382 (1995), gr–qc/9506020.
12
Karpacz Winter School of Theoretical Physics, edited by A. Jadczyk, World
Scientific, Singapore (1986).
[7] R. Bousso and S. W. Hawking: Pair creation of black holes during inflation.
Preprint no. DAMTP/R–96/33, gr–qc/9606052.
[8] R. Bousso and S. W. Hawking: The probability for primordial black holes. Phys.
Rev. D 52, 5659 (1995), gr–qc/9506047.
[10] R. B. Mann and S. F. Ross: Cosmological production of charged black hole pairs.
Phys. Rev. D 52, 2254 (1995), gr–qc/9504015.
[11] S. W. Hawking and S. F. Ross: Duality between electric and magnetic black
holes. Phys. Rev. D 52, 5865 (1995), hep–th/9504019.
[13] S. Coleman: The fate of the false vacuum. 1. Semiclassical theory. Phys. Rev.
D 15, 2929 (1977).
[14] C. Callan and S. Coleman: The fate of the false vacuum. 2. First quantum
corrections. Phys. Rev. D 16, 1762 (1977).
[17] S. W. Hawking, G. T. Horowitz and S. F. Ross: Entropy, area, and black hole
pairs. Phys. Rev. D 51, 4302 (1995), gr–qc/9409013.
13
[19] J. B. Hartle and S. W. Hawking: Wave function of the Universe. Phys. Rev. D
28, 2960 (1983).
[21] G. F. Smoot et al.: Structure in the COBE DMR first year maps. Astrophys.
J. 396, L1 (1992).
14