Physics Letters B 706 (2011) 111–115
Contents lists available at SciVerse ScienceDirect
Physics Letters B www.elsevier.com/locate/physletb
Fingerprints of primordial universe paradigms as features in density perturbations Xingang Chen Center for Theoretical Cosmology, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge CB3 0WA, UK
a r t i c l e
i n f o
Article history: Received 2 September 2011 Received in revised form 4 November 2011 Accepted 4 November 2011 Available online 7 November 2011 Editor: M. Trodden
a b s t r a c t Experimentally distinguishing different primordial universe paradigms that lead to the Big Bang model is an outstanding challenge in modern cosmology and astrophysics. We show that a generic type of signals that exist in primordial universe models can be used for such purpose. These signals are induced by tiny oscillations of massive fields and manifest as features in primordial density perturbations. They are capable of recording the time-dependence of the scale factor of the primordial universe, and therefore provide direct evidence for specific paradigm. These signals present special opportunities and challenges for experiments and data analyses. © 2011 Elsevier B.V. All rights reserved.
Current observations have mapped out a detailed 13.7 billion years of Big Bang expansion history for our universe. One important knowledge we learned from these observations is that, at the very beginning of the Big Bang, there are tiny fluctuations in an otherwise very homogeneous and isotropic background density. These fluctuations, called the primordial density perturbations, become the seeds for the subsequent evolution of the large scale structures. They turn out to have very special properties. They are seeded at super-horizon scales, and are approximately scale-invariant, Gaussian and adiabatic [1]. Understanding the origin of these initial conditions and hence the origin of the Big Bang becomes an outstanding challenge for the modern cosmology. The inflation paradigm [2–4] is the leading candidate for creating such a primordial universe. The simplest inflationary scenarios not only explain why our universe is homogeneous and isotropic, but also the properties of the density perturbations. Nonetheless, based on current data, there exist important ambiguities and degeneracies. Competing paradigms have been proposed to produce the same initial conditions. These alternatives include the paradigms of cyclic universe [5], matter bounce [6,7] and string gas [8]. (See e.g. [9–11] for critical reviews.) Arguably, the inflation still remains as the best available paradigm, because its generic predictions naturally fit the data and its microscopic origin in terms of fundamental physics is promising. However, such opinions may be subject to personal tastes; they are model-dependent and may even evolve with time. Besides theoretical establishment for each paradigm, a universal and unambiguous distinguisher is in terms of data. Namely we need to find some properties in the density perturbations that can clearly distinguish different paradigms. Such
E-mail address:
[email protected]. 0370-2693/$ – see front matter © 2011 Elsevier B.V. All rights reserved. doi:10.1016/j.physletb.2011.11.009
distinguishers are desirable even if one believes in a paradigm. In order to do so, such properties should satisfy the following requirements. They have to be shared by all general models in one paradigm, not just by a small subset of models; and they have to be distinctive for different paradigms. So far the primordial tensor mode is regarded as the only possible solution to this question. They originate from gravitational waves in the primordial universe [12], and may be observed in terms of polarizations in the cosmic microwave background (CMB) [13,14]. Inflation models indeed have general predictions on the tensor mode. Namely, the tensor modes are approximately scaleinvariant with a red tilt; for some models they are observable. Some alternative paradigms predict non-observable tensor modes, such as the cyclic universe paradigm [5], or observable ones with blue-tilt, such as the string gas paradigm [15]. However there exist important caveats. Firstly, even for inflation, tensor modes sourced by the primordial gravitational waves are not guaranteed to be observable. While the best sensitivity for the tensor-to-scalar ratio achievable by experiments in the near future is r ∼ O (10−3 ), the inflation models predict anywhere between r ∼ O (10−1 ), for large field models, and r ∼ O (10−55 ), for small field models with TeVscale reheating energy. Secondly, if we consider more general alternatives, scale-invariant and observable tensor modes are possible. The equation of motion obeyed by each polarization component of the tensor modes is the same as that by the massless scalar with unit sound speed. So the tensor modes can be scale-invariant even in non-inflationary spacetime, just as the scalar. They become observable if the Hubble parameter is large. The matter contraction paradigm is such an example [6,7]. Therefore it is very important to look for complimentary properties in the density perturbations that can be used as a modelindependent distinguisher between different paradigms. This is the main purpose of this Letter.
112
X. Chen / Physics Letters B 706 (2011) 111–115
Almost by definition, different primordial universe paradigms are distinctively characterized by different time-dependence in the scale factor a(t ). To be explicit, we approximate the arbitrary timedependent scale factor as the general power-law,
we are looking for. So let us examine more closely the behavior of the massive field σ in the power-law background. The equation of motion is
σ¨ + 3H σ˙ + m2σ σ = 0, a(t ) = a(t 0 )(t /t 0 ) p .
(1)
The density perturbations are seeded at superhorizon scales, so we require that the quantum fluctuations exit the event horizon |aτ |, where τ is the conformal time defined by dt ≡ a dτ and is related to t by aτ = t /(1 − p ). To satisfy this requirement, for p > 1 we need an expansion phase, so t runs from 0 to +∞; for 0 < p < 1 we need a contraction phase, so t runs from −∞ to 0; for p < 0, we again need an expansion phase, so t runs from −∞ to 0. For example, p > 1 corresponds to the inflation, p = 2/3 the matter contraction, 0 < p 1 the ekpyrotic (slowly contracting) phase, and −1 p < 0 the slowly expanding phase. τ always runs from −∞ to 0. Many properties of the density perturbations are convoluted consequence of this scale factor, and this is a primary reason for the ambiguity. Perhaps the most direct way to distinguish different paradigms would be to find some properties that can directly record the time-dependence of the scale factor. In this Letter, we show that a type of feature models that generically exist in the primordial universe paradigms provide such opportunities. We first describe this idea heuristically. Consider models with some small and repeated features. Such features can be various kinds of small structures in the realistic primordial universe models, and we will give a very general example shortly. These features generate small and repeated beats in cosmological parameters during the evolution, which can be used as a clock and related to the time t. In the mean while, the scale factor a and the comoving momenta k of quantum fluctuations are related by the physical momenta by definition. The way that the features imprint themselves on the density perturbations is through the beats on the physical modes. Therefore the scale factor a as a function of t is translated to the comoving momenta k as a function of features. What we can measure is features as a function of k. Knowing that we know the inverse function of a(t ). Let us now examine how this idea may be implemented and how general it is. In order to achieve the goal, we need to look for standard physical clocks. Such clocks should generate repeated features with known time-dependence, although not necessarily periodic. They should exist generically so the signals are more likely to be observed, and they should also be associated with a set of specific patterns identifiable in observations. The classical oscillation of massive fields are ideal for such purposes. Massive fields with mass much larger than the horizon massscale 1/|aτ | exist ubiquitously in models of primordial universe. Even when we think of single field models, in the context of a unification theory, what we really have in mind is models with many massive modes. The single field model is obtained as the low energy limit at or below the energy scale 1/|aτ |, after the massive modes are integrated out. If we take into account these massive field directions, the trajectory of the effective single field φ in this multi-dimensional field space is unlikely a straight line. Generically it should turn from time to time. During the turning, the field φ and the massive modes couple, and this induces the energy transfer. The massive fields are excited and oscillate around the potential minima classically. Because generically the fraction of energy that gets transferred is small, the oscillation amplitudes are small and the frequency are large. So for most purposes, these effect are averaged out and safely ignored. But for our purpose, these small oscillations are a good candidate for the physical clock that
(2)
where the Hubble parameter H = p /t. The solution is given in terms of Bessel functions. The asymptotic behavior of these Bessel functions at the limit mσ t p 2 is given in terms of sinusoidal functions, and we use these to approximate the oscillatory behavior of σ ,
σ ≈ σA
−3p /2
t t0
sin(mσ t + α ) +
−6p + 9p 2 8mσ t
cos(mσ t + α ) , (3)
where α is a phase, and σ A is the initial oscillation amplitude at t = t 0 . Such oscillations induce an oscillatory component to the Hubble parameter H , because
3M P2 H 2 =
1 2
1
σ˙ 2 + m2 σ 2 + other fields. 2
(4)
The leading term on the right-hand side of (4) does not oscillate in time because the energy is converting between kinetic and potential energy back and forth and conserved in the leading order. The oscillatory component for H , which we denote as H osci , comes from the subleading terms. Using (3), we get
H osci = −
σ A2mσ
8M P2
t
−3p
t0
sin(2mσ t + 2α ).
(5)
This in turn induces the oscillatory components for the parameters ≡ − H˙ / H 2 and η ≡ ˙ /( H ). Again we use the subscript “osci” to denote their oscillatory components,
osci =
σ A2m2σ 4M P2 H 2
η˙ osci = −
t
−3p
t0
σ A2m4σ t M P2 H 3 t 0
cos(2mσ t + 2α ),
−3p
cos(2mσ t + 2α ).
(6)
(7)
Generally, multiple massive fields are excited sporadically along the trajectory with different spectra. These oscillations induce corresponding beats in the cosmological parameters. The question now is how sensitive the observables are to these oscillations and how they can be identified in experiments. To study this, let us turn to the subject of Bunch–Davies (BD) vacuum and resonance mechanism. In nearly all models of primordial universe, the quantum fluctuations start their life in a vacuum that is mostly BD. These fluctuations later exit the event horizon and become the seeds for the large scale structure. Their general property can be seen as follows. Consider the fluctuations of an effectively massless scalar field, δφ(x, t ), in a general time-dependent background with the scale factor a(t ),
L=
a3 2
a
˙ 2 − (∂i δφ)2 . (δφ) 2
(8)
A quantum fluctuation with comoving momentum k is within the event horizon if k > 1/|τ |. In this limit, the equation of motion for the fluctuations approaches that in the Minkowski spacetime limit. Along with the quantization condition,
˙ ∗ − c.c. = i , a3 δφ δφ
(9)
X. Chen / Physics Letters B 706 (2011) 111–115
the mode function in the subhorizon limit becomes
1
δφ → √
a 2k
e −ikτ .
(10)
We have chosen the positive-energy mode, which corresponds to the ground state of the Minkowski spacetime, to be the BD vacuum. The effect of the background time-dependence is incorporated adiabatically in (10). The most important and universal property of (10) is the oscillatory factor e −ikτ . While the superhorizon evolution in different paradigms are very model-dependent, the subhorizon BD-vacuum behavior is universal. This applies to both inflationary and non-inflationary scenario, expansion and contraction universe, attractor and nonattractor evolution, single field and multifield model, and curvature and isocurvature modes. If the background cosmological parameters have small oscillatory components with frequencies much larger than the energy scale of the event-horizon, they introduce a high energy probe to the BD vacuum by resonating with the vacuum component that has the same frequency [16]. Since the BD vacuum has the background time-dependence, different momentum modes get resonated at different time. This process produces large correlation amplitudes and distinctive scale-dependence (running). They manifest as features with specific patterns in density perturbations, which we will compute shortly. To summarize, we see that three universal properties nicely fit into each other for our purpose. Firstly, the generic oscillation of fields with mass much larger than 1/|aτ | can be used as the standard clock, and they generate small beats with known time-dependence in cosmological parameters. Secondly, these oscillations affect the density perturbations through the universal BD-vacuum instead of the model-dependent superhorizon and horizon-scale behavior, which makes general analyses possible. Thirdly, the subhorizon scale is precisely where the strong resonance effect takes place, generating large effect on density perturbations. We consider a two-field model in the general time-dependent background as the explicit example. The φ field is responsible for the leading order scale-invariant power spectrum P ζ 0 . This field may be the one driving the background evolution, or a different field that is introduced to source the density perturbations only. The details are highly model-dependent, but this is not our concern here. We are interested in computing the resonance effects induced by massive fields as corrections to the leading power spectrum and as the leading bispectrum. To be as general as possible, after the massive field σ is excited and starts to oscillate at time t 0 , we consider the massive field as a spectator which couples to φ only through gravity,
√ 1 1 L = − g − g μν ∂μ φ∂ν φ − V φ (φ) − g μν ∂μ σ ∂ν σ 2
1
More complicated couplings are of course possible, but this is the minimum case. The correlation functions for the scalar perturbation ζ are computed in the in–in formalism. See Ref. [17] for computational details and Ref. [18] for general methods. For power spectrum, we have
Pζ0
0 = 2i
dτ a2 osci uk 21 − k21 uk21 + c.c.
−∞
For bispectrum, we have
(12)
0 duk∗ 3 uki (0) dτ a3 0 η˙ osci uk∗1 uk∗2 dτ
−∞
× (2π )3 δ 3
+ 2 perm. + c.c.
ki
(13)
i
We will quote the bispectrum in terms of a function S (k1 , k2 , k3 ) defined as [18]
ζk1 ζk2 ζk3 = S (k1 , k2 , k3 )
1
P 2 (2π )7 δ 3 2 ζ0
(k1 k2 k3 )
ki .
(14)
i
The mode function uk (τ ) in these expressions is the Fourier transform of ζ (x, τ ), and as mentioned only the BD behavior is needed in our computation. In the above integrals, the resonance happens between the oscillatory components of the parameters, osci and η˙ osci , and the mode functions. For arbitrary p, both power spectra and bispectra have similar p-dependent resonant running behavior,
Pζ Pζ0
∝
S∝
2k1
−3+ 2p5
−3+ 2p7
K
sin
kr
sin
kr
p2
p2
2mσ
1 − p H0 2mσ
1 − p H0
K
2k1
1/ p
kr
1/ p
+ phase , (15)
+ phase .
kr
(16)
The resonant running refers to the scale-dependence of the functions sin[· · ·] in these expressions. We have also included the typical scale-dependence of the amplitudes in front of these functions. The parameter kr denotes the first resonating K -mode when the massive field starts to oscillate (K = 2k1 for power spectrum and K = k1 + k2 + k3 for bispectrum). For the expanding background, p > 1 and p < 0, lower K -modes resonate earlier and the above formulae apply to K > kr ; for the contracting background, 0 < p < 1, larger k-modes resonate earlier and they apply to K < kr . The most important property in the above results is that the resonant running for different paradigms are distinctive. The differences are clear even within a couple of efolds. This demonstrates the idea of using features to probe the scale factor. The arguments of the sinusoidal functions are power-law functions of comoving momenta with a power 1/ p, which is the inverse function of the power-law in the scale factor. Generally speaking the overall sizes of these signals depend on detailed models. If we restrict to the inflation case, p 1, the full results become
Pζ Pζ0
√
π σ A2 mσ = 4 0 M P2 H
× sin (11)
i
2
− m2σ σ 2 . 2
Pζ
ζk1 ζk2 ζk3 = i
113
√ S =−
2mσ H
5/2
2k1
−3
kr
˜ , ln 2k1 + α
π σ A2 mσ 8 0 M P2 H
9/2
K kr
(17)
−3
sin
2mσ H
˜ , ln K + α
(18)
˜ = (2mσ / H )(1 − ln 2mσ ) + 2α + π /4. We will where the phase α use these to demonstrate the sizes of the signals in the inflation case. The resonant running in this limit reproduces the form found by Chen, Easther and Lim (CEL) for inflation with periodic features [16]. In retrospect, the fact that the arguments are proportional to ln K tells us that this is inflation. At least for inflation models, the amplitudes of the resonant power spectra and bispectra, which we label as ( P ζ / P ζ 0 ) A and f NL respectively, can be easily made very large. We denote the fraction of the kinetic energy of φ , that is converted to the energy in
114
X. Chen / Physics Letters B 706 (2011) 111–115
Fig. 1. The first type of fingerprints for different paradigms: multiple oscillations. From top to bottom: p = 10 (inflation), p = 2/3 (matter contraction), p = 0.2 (ekpyrosis), p = −0.2 (slow expansion). The dark (red in the web version) spectra correspond to mσ / H 0 = 10, 20, 120 excited by a common sharp feature; the light (green in the web version) spectra correspond to mσ / H 0 = 30, 150 excited by another common sharp feature.
the σ -field during the turning and induces its oscillation, as β . So m2σ σ A2 ∼ β φ˙ 2 . Also note 0 ∼ φ˙ 2 /( M P2 H 2 ). From (17) and (18), we have
Pζ Pζ0
∼β A
mσ H
1/2
,
f NL ∼ β
mσ H
5/2 .
(19)
Even for a tiny fraction of energy transfer, the resonance amplitudes can be quite large. For example, for β ∼ 10−2 , mσ / H ∼ 102 , we have P ζ / P ζ 0 ∼ 0.1 and f NL ∼ 103 . The resonance mechanism plays a crucial role in producing the large amplitudes. With same β , increasing the mass mσ reduces the oscillation amplitude σ A , but this is overcome by the strength of the resonance which is proportional to higher powers of mσ . It is important to note that the distinctive oscillatory running behavior in the above resonant forms will not be changed by curvaton–isocurvaton couplings in multifield evolution. Any effect that oscillates faster than the horizon time-scale generates additional resonance forms that superimpose onto each other. Any effect that varies much slower can only change the overall envelop of the resonance forms, by either changing their overall sizes or introducing scale-dependent modulations. This is another crucial point that makes this type of features a model-independent general distinguisher between paradigms. There are also interesting scale-dependence in the amplitudes. These dependence is much milder in the sense that the range of scales K over which significant variation takes places is larger than or comparable to the local scale K itself. For general multifield models, such scale dependence can be changed due to scaledependence in curvaton–isocurvaton couplings. So they may not be as faithful as the resonant running to the specific paradigm. Nonetheless, as we will see, there are some very sharp differences between paradigms that can be used as supportive evidences. It is also important to note the caveats in our arguments. In principle one may be able to engineer artificial features in a model that mimic the signals we get so far. The type of clocks we considered are periodic; but one may engineer non-periodic background oscillation that resonates in a non-inflationary background, and they conspire to give the same resonant running of the CEL form as in (18). For instance, the oscillation of the form ∼ e ig ln(t /t0 )
in the non-inflationary power-law background induces the same CEL form. Another possible caveat is that the mass may be timedependent so the period of the clock changes. These ambiguities can be reduced by looking for multiple characteristic signals. The main point is to strength the evidence that these features are induced by periodically oscillating massive fields. We have so far only concentrated on the resonant running behavior. There are at least two types of multiple signals characteristic of massive fields. Firstly, the density of massive fields is proportional to a−3 ; in addition, they induce a constant resonance scale while the event-horizon sizes have different time-dependence for different paradigms. These properties determine the different running behavior of the amplitudes in (15) and (16). In particular, inflationary background has a very red running index −3, while the ekpyrosis has a very blue running index ∝ 1/ p. Although these types of running are less robust than the resonant running, this dramatic difference can be used as supportive evidence. These running amplitudes will be modified if the mass is time-dependent. For example, for inflation, to make the resonant running deviate ˙ σ /(mσ H ) O(1); but significantly from the CEL form, we need m this introduces dramatic scale-dependence in (19). In general, since the massive fields are excited sporadically at different places with different spectra, we expect that each paradigm has its unique fingerprints consisting of such multiple signals of the same type. This is illustrated in Fig. 1. Secondly, oscillations of the massive fields are triggered by some sharp physical processes, such as a sharp turning (with large angular velocity θ˙ H but not necessary large turning angle). Such sharp features are also associated with characteristic observational signatures. In contrast to the resonance case, sharp feature signals are universal to different time-dependent backgrounds. See Ref. [17] for details. The characteristic property is the sinusoidal running
∼ sin( K /k0 + phase),
(20)
where k0 is the starting point of this running and it is related to the conformal time τ0 at the location of the feature by k0 ≡ |τ0 |−1 . Such signals cannot be used to distinguish different paradigms,
X. Chen / Physics Letters B 706 (2011) 111–115
115
Fig. 2. The second type of fingerprints for different paradigms: in conjunction with sharp feature. From top to bottom: p = 10 (inflation), p = 2/3 (matter contraction), p = 0.2 (ekpyrosis), p = −0.2 (slow expansion). The light (green in the web version) spectra are generated by a sharp feature at K = k0 = 100 and have sinusoidal running; the dark (blue in the web version) spectra correspond to two massive fields (mσ / H 0 = 25, 60) excited by this sharp feature and have resonant running.
but they can be used to identify the location of the sharp feature and the subsequent massive modes oscillations. Because of this connection, the parameters for these two different runnings, (16) and (20), are related,
kr k0
=
| p | 2mσ , |1 − p | H 0
non-separable functional forms are necessary. The modal decomposition method developed by Fergusson, Shellard and Liguori [21, 22] is well-suited for such purposes. So far it has been mainly applied to cases with less dramatic scale dependence, but should be able to be generalized to cases relevant to the signals studied here.
(21)
where H 0 is the Hubble parameter evaluated at τ0 . This is illustrated in Fig. 2. Although these signals exist generically, their observability crucially depends on the parameter space and available experiments. The situation is similar to the tensor mode. These signals present special opportunities and challenges for experiments and data analyses. Typically they are highly oscillatory in K -space, which means that in the multipole space the binning interval has to be much smaller than the local , / ∼ H /mσ 1. So experiments capable of measuring density perturbations in high multipoles are required. The Planck satellite is observing the CMB up to multipoles of a few thousands. The ground-based telescopes, South Pole Telescope (SPT) [19] and Atacama Cosmology Telescope (ACT) [20], can go up to ten thousands. More speculatively, the 21 cm hydrogen lines may be observed in much lower redshift and with much higher multipoles. The CEL form, and most other resonance forms, have highly oscillatory and characteristic running behavior. This can easily make them orthogonal to many other primordial signals and late-time contaminants. Non-linear gravity effects and CMB evolution limit the detection sensitivity for conventional primordial bispectra to be f NL ∼ 1. For SPT and ACT, astrophysical effects such as point sources and Sunyaev–Zeldovich effect dominate over the primordial information for 2500. However, since the resonant forms are orthogonal to these non-primordial contaminants, new assessment is necessary to find out the main limiting factors and make forecasts; and new observationally accessible windows can be opened up to probe the primordial universe even for existing experiments. Conventional non-Gaussianity data analyses methods start with a specific separable template. But here a scan over families of
Acknowledgements I would like to thank James Fergusson, Eugene Lim and Paul Shellard for helpful discussions. I am supported by the Stephen Hawking Advanced Fellowship. References [1] E. Komatsu, et al., Astrophys. J. Suppl. 192 (2011) 18, arXiv:1001.4538 [astroph.CO]. [2] A.H. Guth, Phys. Rev. D 23 (1981) 347. [3] A.D. Linde, Phys. Lett. B 108 (1982) 389. [4] A.J. Albrecht, P.J. Steinhardt, Phys. Rev. Lett. 48 (1982) 1220. [5] J. Khoury, B.A. Ovrut, P.J. Steinhardt, N. Turok, Phys. Rev. D 64 (2001) 123522, hep-th/0103239. [6] D. Wands, Phys. Rev. D 60 (1999) 023507, gr-qc/9809062. [7] F. Finelli, R. Brandenberger, Phys. Rev. D 65 (2002) 103522, hep-th/0112249. [8] R.H. Brandenberger, C. Vafa, Nucl. Phys. B 316 (1989) 391. [9] T. Battefeld, S. Watson, Rev. Mod. Phys. 78 (2006) 435, hep-th/0510022. [10] B. Xue, P.J. Steinhardt, arXiv:1106.1416 [hep-th]. [11] J.-L. Lehners, Class. Quantum Grav. 28 (2011) 204004, arXiv:1106.0172 [hepth]. [12] A.A. Starobinsky, JETP Lett. 7930 (1979) 682. [13] M. Kamionkowski, A. Kosowsky, A. Stebbins, Phys. Rev. Lett. 78 (1997) 2058, arXiv:astro-ph/9609132. [14] U. Seljak, M. Zaldarriaga, Phys. Rev. Lett. 78 (1997) 2054, astro-ph/9609169. [15] R.H. Brandenberger, A. Nayeri, S.P. Patil, C. Vafa, Phys. Rev. Lett. 98 (2007) 231302, hep-th/0604126. [16] X. Chen, R. Easther, E.A. Lim, JCAP 0804 (2008) 010, arXiv:0801.3295 [astro-ph]. [17] X. Chen, arXiv:1104.1323 [hep-th]. [18] X. Chen, Adv. Astron. 2010 (2010) 638979, arXiv:1002.1416 [astro-ph.CO]. [19] R. Keisler, C.L. Reichardt, K.A. Aird, B.A. Benson, L.E. Bleem, J.E. Carlstrom, C.L. Chang, H.M. Cho, et al., arXiv:1105.3182 [astro-ph.CO]. [20] R. Hlozek, J. Dunkley, G. Addison, J.W. Appel, J.R. Bond, C.S. Carvalho, S. Das, M. Devlin, et al., arXiv:1105.4887 [astro-ph.CO]. [21] J.R. Fergusson, E.P.S. Shellard, Phys. Rev. D 76 (2007) 083523, astro-ph/0612713. [22] J.R. Fergusson, M. Liguori, E.P.S. Shellard, arXiv:1006.1642 [astro-ph.CO].