Professional Documents
Culture Documents
Maresuke Shiraishi
The series ‘‘Springer Theses’’ brings together a selection of the very best Ph.D.
theses from around the world and across the physical sciences. Nominated and
endorsed by two recognized specialists, each published volume has been selected
for its scientific excellence and the high impact of its contents for the pertinent
field of research. For greater accessibility to non-specialists, the published versions
include an extended introduction, as well as a foreword by the student’s supervisor
explaining the special relevance of the work for the field. As a whole, the series
will provide a valuable resource both for newcomers to the research fields
described, and for other scientists seeking detailed background information on
special questions. Finally, it provides an accredited documentation of the valuable
contributions made by today’s younger generation of scientists.
123
Author Supervisor
Dr. Maresuke Shiraishi Prof. Naoshi Sugiyama
Department of Physics Department of Physics and Astrophysics
Nagoya University Nagoya University
Nagoya Nagoya
Japan Japan
vii
viii Supervisor’s Foreword
His formula can be used in diverse cases and enable us to access the very early
Universe more deeply and widely. As an example, in his thesis, he himself has
calculated the bispectrum in the cases of existence of primordial magnetic fields
and violation of parity invariance or rotational invariance.
ix
x Acknowledgments
1 Introduction . . . . . . . . . . . . . ..... . . . . . . . . . . . . . . . . . . . . . . 1
1.1 History of the Universe. . ..... . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Access to the Inflationary Epoch . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Concept of this Thesis . . ..... . . . . . . . . . . . . . . . . . . . . . . 2
References . . . . . . . . . . . . . . ..... . . . . . . . . . . . . . . . . . . . . . . 3
2 Fluctuations in Inflation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1 Dynamics of Inflation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Curvature and Tensor Perturbations . . . . . . . . . . . . . . . . . . . . 7
2.3 Consistency Relations in the Slow-Roll Limit . . . . . . . . . . . . . 10
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4 Primordial Non-Gaussianities . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.1 Bispectrum of the Primordial Fluctuations. . . . . . . . . . . . . . . . 51
4.2 Shape of the Non-Gaussianities . . . . . . . . . . . . . . . . . . . . . . . 52
4.2.1 Local Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2.2 Equilateral Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
xi
xii Contents
10 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 1
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_1, © Springer Japan 2013
2 1 Introduction
At the inflationary era, the field values of physical quantities, such as metric and
matters, quantum-mechanically fluctuate inside the horizon. However, the acceler-
ated spatial expansion stretches these fluctuations beyond the horizon. Due to no
causal physics, metric perturbations outside the horizon are preserved.1 These con-
stant metric perturbations re-enter the horizon just before recombination and behave
as seeds of the CMB fluctuations. In this sense, detailed analyses of the patterns of
the CMB anisotropies will help explain the questions about the initial condition of
our Universe, e.g., what kind of field there exists, what state gravity is in, and how
strong the coupling is.
detail, we produced the general formulae for the CMB temperature and polarization
bispectra from the scalar, vector and tensor non-Gaussianities [4, 5]. Next, utilizing
these formulae and computing the practical CMB bispectra, we obtained new con-
straints on some primordial non-Gaussian sources and learned more about the nature
of the early Universe [6–10].
This thesis aims to discuss the CMB bispectra induced by the primordial scalar,
vector, and tensor non-Gaussianity on the basis of our recent studies [4–10]. More
concrete organization of this thesis is as follows. In Chaps. 2 and 3, we demonstrate
how to generate the seed fluctuations in the inflationary era on the basis of some
review papers and present formulae for the scalar, vector, and tensor modes of the
CMB anisotropies as mentioned in Ref. [4]. We also review some observational
findings obtained by the analysis of the CMB power spectra. In Chaps. 4 and 5, we
describe the general formulae of the CMB bispectra generated from the primordial
scalar, vector, and tensor non-Gaussianities [5]. We then discuss the applications to
the non-Gaussianities in two scalars and a graviton correlator [5] (Chap. 6), involving
the violation of the rotational or parity invariance [9, 10] (Chaps. 7 and 8), and
sourced by the primordial magnetic fields [6–8] (Chap. 9). Finally, we summarize
this thesis and discuss some future issues (Chap. 10). In the appendices, we describe
some mathematical tools and the detailed calculations required for the conduct of
our formalism.
References
Inflation expresses an exponential growth of the scale factor of the Universe in the
early time, namely, a ∼ e H t . In Einstein gravity, this requires p ∼ −ρ with p and
ρ being the pressure and energy density, and is often realized by the existence of a
scalar field, inflaton. We believe that the small fluctuations of this field have created
the curvature perturbations and the density contrasts of matters. Moreover, some
vorticities and gravitational waves may also have evolved together. In this section,
we briefly describe the physical treatment of these fluctuations in the inflationary era
in accordance with Ref. [1].
As the action in the inflationary era, we consider the simple one including a scalar
field φ, which is called inflaton and minimally coupled with gravity as
√ 1 2 1
S= d 4 x −g Mpl R − g μν ∂μ φ∂ν φ − V (φ) . (2.1)
2 2
where R denotes the Ricci scalar, V (φ) is the potential, and Mpl ≡ (8π G)−1/2 is
the reduced Planck mass. The energy momentum tensor and the field equation for φ
are, respectively, given by
2 δS 1 σ
Tμν ≡ − √ = ∂ φ∂
μ ν φ − gμν ∂ φ∂σ φ + V (φ) , (2.2)
−g δg μν 2
δS 1 √
= √ ∂μ ( −g∂ μ φ) + Vφ = 0, (2.3)
δφ −g
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 5
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_2, © Springer Japan 2013
6 2 Fluctuations in Inflation
with τ being the conformal time and under the assumption that φ(t, x) ≡ φ(t), the
energy density and pressure of the scalar field are written as
1 1
ρφ = (∂t φ)2 + V (φ), pφ = (∂t φ)2 − V (φ). (2.5)
2 2
Thus, if V exceeds (∂t φ)2 /2 and the parameter wφ ≡ pφ /ρφ becomes less than
−1/3 and the accelerated expansion can be realized. The Friedmann equation, the
acceleration equation and the field equation are, respectively, given by
1 1
H2 = 2
(∂t φ)2 + V (φ) ,
3Mpl 2
d 2a 1
a −1 2
=− 2
(ρφ + 3 pφ ) = H 2 (1 − ε H ), (2.6)
dt 6Mpl
d 2φ dφ
2
+ 3H + Vφ = 0,
dt dt
where H ≡ ∂t a/a is the Hubble parameter and we have introduced the so-called
Hubble slow-roll parameter as
2
∂t H d ln H 3 1 ∂t φ
εH ≡− 2 =− = (wφ + 1) = , (2.7)
H dN 2 2 Mpl H
with N being the e-folding number. For wφ < −1/3, ε H < 1 is realized and the
Universe experiences
an accelerated expansion. Moreover, this acceleration is kept
d2φ
stable if dt 2 |3H ∂t φ|, |Vφ |. This corresponds to
1 d 2φ 1 dε H
ηH ≡ − = εH − 1. (2.8)
H ∂t φ dt 2 2ε H d N
2 2
Mpl Vφ Vφφ
ε(φ) ≡ , η(φ) ≡ Mpl
2
. (2.9)
2 V V
Here, ε and η are called the potential slow-roll parameters, and in the slow-roll
approximation, the Hubble and potential slow-roll parameters are related as
ε H ≈ ε, η H ≈ η − ε. (2.10)
2.1 Dynamics of Inflation 7
Hence, the slow-roll inflation occurs also for ε, |η| 1. When these slow-roll
parameters reach unity as
inflation stops.
The e-folding number as the function of given time during inflation is formu-
lated as
tend φend φ
aend H V
N (φ) ≡ ln = H dt = dφ ≈ dφ
a t φ ∂t φ φend Vφ
φ φ
dφ dφ
= √ ≈ √ . (2.12)
φend Mpl 2ε H φend Mpl 2ε
Note that N (φ) 60 should be satisfied in order to solve the horizon and flatness
problems.
1 On superhorizon scales, this R is consistent with R in Refs. [2, 3], ζ in Refs. [4, 5], −R in
Refs. [1, 6], and −ζ in Ref. [7]. In a numerical code CAMB [8, 9], the primordial scalar-mode
power spectrum is given by this R .
2 In Chap. 9, we will show that due to the finite anisotropic stresses of the primordial magnetic
field, the curvature perturbations (and gravitational waves) do not remain constant even on the
superhorizon.
8 2 Fluctuations in Inflation
(λ)
Here, ei j is the transverse-traceless polarization tensor which has two circular states
(λ) (λ )
λ = ±2 and is normalized as ei j (k̂)ei j (−k̂) = 2δλ,λ . The convention and useful
properties of this tensor are described in Appendix D. The variable transformation
as v(0) ≡ zR, z ≡ a ∂Ht φ (for scalar mode), v(±2) ≡ √ pl h (±2) (for tensor mode), and
aM
2
the variation principle as δS/δv(λ) = 0 lead to the field equation as
(λ) 2 (λ)
v̈k + k 2 − 2 vk = 0, (2.20)
τ
where we have used a relation in the de Sitter limit: z̈/z = ä/a = 2/τ 2 .
To solve these equations, we perform the quantization of the field v(λ) as
the canonical commutation relation between the creation (âk(λ)† ) and annihilation
(λ)
(âk ) operators can be written as
(λ) (λ )†
âk , âk = (2π )3 δ(k − k )δλ,λ . (2.23)
As a vacuum, one often choose the so-called Bunch-Davies Vacuum denoting the
Minkowski vacuum in the far past. In this condition, i.e., τ → −∞ or |kτ | 1, the
field Eq. (2.20) is reduced to
v̈k(λ) + k 2 vk(λ) = 0. (2.25)
This is equivalent to the equation for harmonic oscillators and hence easily solved as
e−ikτ
vk (τ ) = √ . (2.26)
2k
Owing to two boundary conditions (2.22) and (2.26), one can gain the solution of
the mode function in the field equation (2.20) as
e−ikτ i
vk (τ ) = √ 1− . (2.27)
2k kτ
Using this, we can express the time evolution of the primordial curvature and tensor
perturbations as
H2 (0) (0)†
R(k, τ ) = − τ vk (τ )âk + vk∗ (τ )â−k , (2.28)
∂t φ
√ H
h (±2) (k, τ ) = − 2 τ vk (τ )âk(±2) + vk∗ (τ )â−k
(±2)†
. (2.29)
Mpl
and
2 2
h (λn )
(kn ) ≡ (2π )3 Ph (k
2 δ
1)
kn δλ1 ,λ2 ,
n=1 2 n=1
H∗
Ph (k) = Mpl
2
k3
. (2.31)
Here, we have evaluated all quantities at horizon crossing, namely τ∗ = −1/k. Note
that since R and h (±2) are constant on superhorizon scales, these power spectra
become the initial conditions for the CMB power spectra of the scalar and tensor
modes.
10 2 Fluctuations in Inflation
As a measure of the amplitude of the primordial gravitational wave, one often use
the tensor-to-scalar ratio as
2Ph (k)
r≡ . (2.32)
PR (k)
Δφ r 1/2
∼ . (2.35)
Mpl 0.01
Therefore, if we observe r > 0.01(< 0.01), we may conclude that large-field (small-
field) inflation, namely, Δφ > Mpl (< Mpl ) occurred.
As measures for the shapes of the spectra, we often use the spectral indices, which
are defined by
d ln PR d ln Ph
ns − 4 ≡ , nt − 3 ≡ . (2.36)
d ln k d ln k
From Eqs. (2.30) and (2.31), the right-hand sides are expanded as
d ln PR d ln H∗ d ln ε H ∗ dN
= 2 − − 3, (2.37)
d ln k dN dN d ln k
d ln Ph d ln H∗ d N
=2 − 3.
d ln k d N d ln k
From the definition of the Hubble slow-roll parameters (2.7) and (2.8), we obtain
d ln H∗ d ln ε H ∗
= −ε H ∗ , = 2(ε H ∗ − η H ∗ ). (2.38)
dN dN
2.3 Consistency Relations in the Slow-Roll Limit 11
From Eq. (2.33), we also find the consistency relation between r and n t as
r = −8n t . (2.41)
As shown above, r, n s and n t depend on the slow-roll parameters and hence are
observables which reflect the nature of inflation.
References
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 13
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_3, © Springer Japan 2013
14 3 Fluctuations in Cosmic Microwave Background Radiation
Fig. 3.1 CMB anisotropy on the last scattering surface. The red (blue) parts correspond to the hot
(cold) spots (Copyright 2011 by Daichi Kashino)
Here, we derive the zeroth and first-order Einstein equations. Let us consider the flat
(K = 0) FLRW metric and small perturbations in the synchronous gauge (for open
and closed cases, see [11–13]):
1 0i 1
g 00 = − 2
, g = 0, g i j = 2 (δ i j − h i j ). (3.2)
a a
The Einstein equation with the cosmological constant Λ can be written as
1
G μ ν = R μ ν − δ μ ν R = 8π GT μ ν − Λδ μ ν , (3.3)
2
3.1 Einstein Equations 15
where the left-hand side denotes the curvature of space-time and the right-hand one
is the energy momentum tensor. The Ricci tensor Rμν and Ricci scalar, namely a
contracted form of the Ricci tensor, R, are expressed with the Christoffel symbols as
where, α ≡ ∂α . The Christoffel symbols in a metric space without torsion are given by
1 λκ
Γ λ μν = g (gμκ,ν + gνκ,μ − gμν,κ ). (3.5)
2
Up to first order, we can express as
Γ 0 00 = H ,
Γ i 00 = Γ 0 i0 = 0,
1
Γ 0 i j = H (δi j + h i j ) + ḣ i j , (3.6)
2
1
Γ i j0 = H δ i j + ḣ i j ,
2
1
Γ i jk = (∂k h i j + ∂ j h i k − ∂ i h jk ),
2
therefore each component of the Ricci tensor is calculated as
ä 1 i
a2 R00 = 3 −H 2 + ḧ i + H ḣ i i ,
a 2
1 i j
a R 0 = − ∂ ḣ j − ∂ ḣ j ,
2 i j i
2
ä 1 1
a R j =
2 i
+ H 2 δ i j + ḧ i j + H ḣ i j + H ḣ k k δ i j (3.7)
a 2 2
1 i
− ∂ ∂ j h k k + ∇ 2 h i j − ∂ i ∂k h k j − ∂ k ∂ j h i k .
2
Contracting the Einstein equation (3.3) allows one to eliminate the Ricci scalar and
reduce the Einstein equation to
1
R μ ν = 8π G T μ ν − δ μ ν T σ σ + Λδ μ ν . (3.9)
2
Table 3.1 FLRW solutions dominated by radiation, matter, curvature, or a cosmological constant
w ρ(a) a(t) a(τ ) τi
Rad dom 1/3 a −4 t 1/2 τ 0
Mat dom 0 a −3 t 2/3 τ2 0
1/2
Curv dom − a −2 t e H0 Ωk τ −∞
Λ dom −1 a0 eHt −τ −1 −∞
At zeroth order, the 00 and ii components of Eq. (3.3) lead to the Friedmann con-
straint equation and the Raychaudhuri evolution equation, respectively. Substituting
Eq. (3.7) into Eq. (3.9), these are obtained as
8π G 2 0 a2
H2=− a T̄ 0 + Λ,
3 3
ä 8π G 2 i
2 −H 2 =− a T̄ i + a 2 Λ. (3.10)
a 3
The physical meaning of these equations can be illustrated with the perfect fluid form
as follows. The energy momentum tensor of the perfect fluid is given by
T μ ν = (ρ + p)u μ u ν + pδ μ ν , (3.11)
Note that we may identify the cosmological constant as a component of the perfect
fluid as
μ Λ
T̄Λ ν = diag(1, −1, −1, −1). (3.13)
8π G
To use a different phrase, an unperturbed perfect fluid of density and pressure are
given by ρΛ = Λ/(8π G), pΛ = −ρΛ . If we use w = p/ρ, then wΛ = −1.
For convenience, we change the Friedmann equation to
8π G 2 8π G 8π G
1= 2
a ρ̄ = 2
ρ̄ = ρ̄i , (3.14)
3H 3H 3H 2
i
3.1 Einstein Equations 17
where in third equality, we decompose the total energy density in the Universe into
individual species ρ̄i . Introducing a quantity which means the ratio between the
energy density of each species and the critical density in the Universe at the present
time, Ωi , and which is expressed as Ωi ≡ 8π G ρ̄i0 /(3H02 ), and using the scaling
relation as ρ̄i = ρ̄i0 /a n i , this equation is rewritten as
Ωi 2
H
n
= . (3.15)
a i H0
i
At first order, 00 and i j components of Eq. (3.9) generate the evolution equations as
ḧ i i + H ḣ i i = 8π Ga 2 δT 0 0 − δT i i ,
ḧ i j + 2H ḣ i j + H ḣ k k δ i j − ∂ i ∂ j h k k + ∇ 2 h i j − ∂ k ∂ j h i k − ∂k ∂ i h k j (3.16)
1
= 16π Ga 2 δT i j − δ i j δT μ μ ,
2
2H ḣ i i + ∂ j ∂i h i j − ∇ 2 h i i = −16π Ga 2 δT 0 0 ,
(3.17)
∂ j ḣ i j − ∂ i ḣ j j = 16π Ga 2 δT i 0 .
From here, let us express these equations with the variables in the helicity states. To
do it, we decompose all kind of vectors and tensors, such as metric, velocities and
energy momentum tensors, into each helicity part in accordance with the formulae:
d 3k (0)
(λ)
ωi (x, τ ) = ω(0) Oi + ω(λ) Oi eik·x ,
(2π )3
λ=±1
d 3k 1 (0)
χi j (x, τ ) = − χiso δi j + χ (0) Oi j (3.18)
(2π )3 3
(λ)
(λ)
+ χ (λ) Oi j + χ (λ) Oi j eik·x ,
λ=±1 λ=±2
18 3 Fluctuations in Cosmic Microwave Background Radiation
(±1) (±2)
The polarization vector and tensor, εi , ei j , satisfy the divergenceless and
transverse-traceless conditions as
(±1) (±2) (±2)
k̂i εi (k̂) = k̂i ei j (k̂) = eii (k̂) = 0. (3.20)
The prescription for the scalar-vector-tensor decomposition and explicit forms of the
polarization vector and tensor are presented in Appendix D. Then, from Eqs. (3.16)
and (3.17), we can rewrite the evolution equations as
ḧ iso + H ḣ iso = −8π Ga 2 δT 0 0 + δTtiso ,
1 (0)
ḧ (0) + 2H ḣ (0) + k 2 (h iso − h (0) ) = 16π Ga 2 δTt , (3.21)
3
ḧ (±1) + 2H ḣ (±1) = 16π Ga 2 δTt(±1) ,
(±2)
ḧ (±2) + 2H ḣ (±2) + k 2 h (±2) = 16π Ga 2 δTt ,
1
H ḣ iso + k 2 (h iso − h (0) ) = 8π Ga 2 δT 0 0 ,
3
k ḣ iso − ḣ (0) = 24π Ga 2 δTv(0) , (3.22)
k ḣ (±1) = −16π Ga 2 δTv(±1) .
Our perturbation quantities are related to the variables for scalar mode in the
synchronous gauge of Ref. [14], namely h and η, as
1 (0) (0)
ΦA = Ψ = − ḧ + H ḣ ,
2k 2
1 (0) 1
ΦH =Φ= h − h iso − 2 H ḣ (0) . (3.25)
6 2k
The distribution function of several species evolves in accordance with the Boltzmann
equation as
df ∂f ∂ f ∂ xi ∂ f ∂ pμ ∂f
= + i + μ = , (3.26)
dτ ∂τ ∂ x ∂τ ∂ p ∂τ ∂τ C
where τ is the conformal time, p μ is the proper momentum of species, and a sub-
script C denotes the collision term. In this Boltzmann equation, there exist two
contributions: the gravitational redshift and the effect of scattering, which corre-
spond to the third term of the first equality and the term of the second equality,
respectively. For convenience, we introduce the comoving momentum and energy as
q i ≡ api , ε ≡ a p 2 + m 2 . Setting a unit vector parallel to the fluid momentum as
q = q n̂ and expanding the distribution function up to first order:
d Pμ
P0 + Γ μ αβ P α P β = 0, (3.29)
dτ
2 ddτn̂ = n̂ i n̂ m n̂ n ∂h∂τ − n̂ j ∂h
i mn ij 2q
∂τ − ε n̂ m n̂ n ∂ h
m in + qε n̂ m n̂ n ∂ i h mn ≈ O(h).
(3.32)
Furthermore, since we have the zeroth order expression as d x i /dτ = (q/ε)n̂ i , the
Boltzmann equations up to first order are expressed as
∂ f (1) q ∂ f (1) 1 i j ∂h i j ∂ ln f (0) 1 ∂f
+ n̂ i − n̂ n̂ = (0) . (3.33)
∂τ ε ∂ xi 2 ∂τ ∂ ln q f ∂τ C
the homogeneous and linearized components of the energy momentum tensor are
obtained as
1
T 0 0 = −ρ = − ε f (0) (1 + f (1) )q 2 dqdΩn
(2π )3 a 4
1 (0) 2 1
= − 2 4 ε f q dq − ε f (0) f (1) q 2 dqdΩn ≡ T̄ 0 0 + δT 0 0 ,
2π a (2π )3 a 4
3.2 Boltzmann Equations 21
1 1
Ti0 = − q n̂ i
− n̂ j h ij
f (0) (1 + f (1) )q 2 dqdΩn
(2π )3 a 4 2
1
=− q n̂ i f (0) f (1) q 2 dqdΩn ≡ δT i 0 , (3.37)
(2π )3 a 4
2
1 q 1 1 b (0)
Ti j = n̂ i
− n̂ a h ia
n̂ j + n̂ h jb f (1 + f (1) )q 2 dqdΩn
(2π )3 a 4 ε 2 2
2
1 q (0) 2
= δ i
j f q dq
6π 2 a 4 ε
2
1 q i
+ n̂ n̂ j f (0) f (1) q 2 dqdΩn ≡ T̄ i j + δT i j .
(2π )3 a 4 ε
δT 0 0 δT i 0 δT 0 i
T̄ 0 0 = −ρ̄, = −δ, =− = −vi ,
ρ̄ ρ̄ + p̄ ρ̄ + p̄
δT i j
T̄ i j = p̄δ i j , = Πi j . (3.38)
p̄
Therefore, equating the integral of Eq. (3.33) over q1 , q2 , q3 with Eqs. (3.37) and
(3.38), we can see that the Boltzmann equation (3.33) becomes the differential equa-
tions with respect to δ, vi , Π i j for each species. These equations correspond to the
Euler and continuity equations. Generally, as the species of the cosmological fluid
which mainly generate the inhomogeneity of the cosmological structure, there exist
baryon, photon, neutrino and cold dark matter (CDM), hence we can trace the evo-
lution of their fluctuations due to solving these Boltzmann equations coupled with
the Einstein equations (3.21) and (3.22). Between baryons and photons, Thomson
scattering is effective, so that their Boltzmann equations have the collision term. On
the other hand, for neutrinos and CDMs, since there are no short-length interactions,
the right-hand side of the Boltzmann equations vanishes. All these species couple
with the metric via gravity. This relation is illustrated in Fig. 3.2.
1 The anisotropic stress of the magnetic field is often normalized by photon’s energy density
as Eq. (9.2).
22 3 Fluctuations in Cosmic Microwave Background Radiation
n
so
om
Th
electron neutrino
ity
grav
metric
Cou
lom
b
proton dark matter
∞
E(z, t) = dk x̂E x eiφx + ŷE y eiφ y ei(kz−ωt) , (3.39)
−∞
where E x , E y and φx , φ y are the real quantities describing the amplitudes and phases
in the x̂ − ŷ plane, respectively, and ω = kc denotes the frequency of the wave.
The Stokes parameters are given by
I ≡ |E x |2 + |E y |2 ,
Q ≡ |E x |2 − |E y |2 ,
U ≡ −2Re[E x∗ E y ], (3.40)
V ≡ −2Im[E x∗ E y ],
where these are all real quantities. For the monochromatic wave, I 2 = Q 2 +U 2 + V 2
is satisfied. I measures the intensity of radiation and is always positive. The other
parameters represent the polarization states and can take ether positive or negative
values. Q and U quantify the magnitude of the linear polarization, and V parametrizes
the circular polarization. While I and Q are parity-even quantities, U and V are
parity-odd ones.
In order to see the transformation rule of Q and U under rotation of axes, let
us introduce the new coordinate (x , y ), which is related to the original coordinate
(x, y) by the rotation around the z axis as
x cos ψ sin ψ x
= . (3.41)
y − sin ψ cos ψ y
3.3 Stokes Parameters 23
hence we have
Q ± iU = e∓2iψ (Q ± iU ). (3.43)
This implies that the linear combination, Q ± iU , are the spin-±2 quantities. There-
fore, the anisotropy of the linear polarization should be expanded with the spin-2
spherical harmonics.
Here, for quantifying the CMB anisotropy, let us focus on the linearized Boltzmann
equation for photons. The distribution function of photons is given by
−1
p
f = exp −1 , (3.44)
T [1 + Θ(x, n̂, t)]
1 q ∂ f (0) ∂ ln f (0)
f (0) = , f (1) (x, q, n̂, τ ) = − Θ = − Θ, (3.45)
e p/T − 1 f (0) ∂q ∂ ln q
where Θ ≡ ΔT /T . Substituting Eq. (3.45) into Eq. (3.33), the Boltzmann equation
in terms of Θ is expressed as
∂ f (0) ∂Θ ∂Θ 1 ∂h i j ∂f
−q + n̂ i i + n̂ i n̂ j = . (3.46)
∂q ∂τ ∂x 2 ∂τ ∂τ C
The first two terms in the bracket denote the free-streaming of the photon, whereas the
remaining third term in the bracket account for the gravitational redshift. As for the
CMB polarization, there exist no gravitational effects because Q, U and V them-
selves are first-order quantities and the third term in the left-hand side of Eq. (3.33)
does not appear. Hence, we summarize the Boltzmann equations of Θ, Q, U and V :
24 3 Fluctuations in Cosmic Microwave Background Radiation
∂Θ ∂Θ 1 ∂h i j
+ n̂ i i + n̂ i n̂ j = Θ̇T ,
∂τ ∂x 2 ∂τ
∂Q i ∂Q
+ n̂ = Q̇ T , (3.47)
∂τ ∂ xi
∂U ∂U
+ n̂ i i = U̇T ,
∂τ ∂x
∂V ∂V
+ n̂ i i = V̇T ,
∂τ ∂x
where ΘT , Q T , UT and VT denote the collision terms of Thomson scattering and
˙ ≡ ∂/∂τ is the derivative with respect to the conformal time. Next we consider the
contribution of these terms.
The process of scattering off a photon by a charged particle without the energy
exchange of photons is called the Rayleigh scattering. In particular, when the charged
particle is an electron, the process is known as Thomson scattering. During the epoch
of recombination, electrons scattered off photons by Thomson scattering. Here, we
consider an incoming plane wave of the radiation with a wave number vector kI
parallel to the z axis and an outgoing radiation scattered off by an electron with a
wave number vector kS . We take the plane spanned by kI and kS as the scattering
plane as shown in Fig. 3.3.
The differential cross section of Thomson scattering is given by
dσ 3σT
= |k̂I · k̂S |2 , (3.48)
dΩ 8π
where dΩ = d(cos θ )dφ and σT is the cross section of Thomson scattering. This
equation quantifies the change of the intensity by the scattering. For simplicity, we
consider the case of the x axis parallel to the x axis. Here, we suppose the incident
radiation with the polarization states I = (I y , I x , U , V ), where I = I x + I y
and Q = I y − I x . When there is no dependence on the azimuthal angle, namely
φ = 0, from the notation of Stokes parameters (3.40) and (3.48), we obtain
3.5 Thomson Scattering 25
Q ± iU ⇒ e∓2iφ (Q ± iU ). (3.50)
Then, the changes of the Stokes parameters between the incident radiation from
n̂ = ẑ (θ = 0, φ = 0), and the scattered radiation with n̂ = (θ, φ) are given by [17]
13
ΔΘ(n̂ = ẑ, n̂) = (1 + cos2 θ )Θ
4π4
3 s
−siφ
− sin θ e
2
Q + iU ,
8 2
s=±2
1 3
Δ(Q ± iU )(n̂ = ẑ, n̂) = − sin2 θ Θ (3.51)
4π 4
3 s 2 s
−siφ
+ 1 ± cos θ e Q + iU ,
8 2 2
s=±2
where we use Θ = ΔI /I /4. Using the explicit formulae of the spin-0 and spin-2
spherical harmonics described in Table A.2, we can extend this expression to the
form corresponding to an arbitrary direction of n̂ :
1
ΔΘ(n̂ , n̂) = Y2m (n̂)Y2m (n̂ ) + Y0m (n̂)Y0m (n̂ ) Θ
∗ ∗
m
10
3 2 s
∗
− Y2m (n̂)s Y2m (n̂ ) Q + iU ,
20 3 2
s=±2
3
(ΔQ ± iΔU )(n̂ , n̂) = ±2 Y2m (n̂) (3.52)
m
10
2 ∗ s
∗
× − Y (n̂ )Θ + s Y2m (n̂ ) Q + iU .
3 2m 2
s=±2
We will use Eq. (3.52) in the frame satisfying k ẑ, where k is the wave number
vector. Integrating these equations over all directions n̂ , we express the scattered
fields as2
2 The Stokes parameter, V , which means the circular polarization of photon, can be ignored because
it cannot be generated through Thomson scattering if this is initially absent.
26 3 Fluctuations in Cosmic Microwave Background Radiation
Θ̇T (n̂) = −κ̇ Θ(n̂) − dΩ ΔΘ(n̂ , n̂) − vb · n̂ ,
Q̇ ± i U̇ T (n̂) = −κ̇ (Q ± iU )(n̂) − dΩ (ΔQ ± iΔU )(n̂ , n̂) , (3.53)
where we define the differential optical depth as κ̇ ≡ aσT n e xe with n e xe being the
density of ionized electrons, and its total value at time τ is given by
τ0
κ(τ ) ≡ κ̇(τ )dτ (3.54)
τ
When the incident temperature (intensity) anisotropy is expanded with the spherical
Y (θ , φ ), Eq. (3.55) is replaced with
harmonics as Θ (θ , φ ) = m am m
3σT 2π
Q ± iU (ẑ) = a . (3.56)
4π 15 22
Here, we derive the CMB anisotropy sourced from scalar-, vector- and tensor-mode
perturbations. We obey a Fourier transformation as
3.6 Transfer Functions 27
d 3k
X (n̂, τ ) = Δ X (τ, k, n̂) , (3.57)
(2π )3
where ξ (0) , ξ (±1) and ξ (±2) are the initial stochastic variables of scalar, vector and
tensor modes, and we use the calculation results from Appendix D as
⎛ ⎞
1
(±1) 1
ε j (ẑ) = √ ⎝ ±i ⎠ ,
2 0
⎛ ⎞
0 0 1
(±1) 1
Oi j (ẑ) = √ ⎝ 0 0 ±i ⎠ , (3.59)
2 1 ±i 0
⎛ ⎞
1 ±i 0
(±2) (±2) 1
Oi j (ẑ) = ei j (ẑ) = √ ⎝ ±i −1 0 ⎠ .
2 0 0 0
28 3 Fluctuations in Cosmic Microwave Background Radiation
According to Refs. [14, 18, 19], if we equate ξ (0) with the comoving curvature per-
turbation on superhorizon scales R, the initial conditions of the metric perturbations
and the baryon velocity are3
(S) 1
h iso (k, τini ) = − (kτini )2 ,
4
5
h (S) (k, τini ) = −3 − (kτini )2 , (3.61)
2(15 + 4Rν )
(S) 1
vb (k, τini ) = (kτini )3 .
36
In the tensor mode, equating ξ (±2) with the primordial gravitational wave on super-
horizon scales h (±2) , it is satisfied that
(T ) 1 5
h (k, τini ) = √ 1 − (kτini ) .
2
(3.62)
2 2 2(15 + 4Rν )
Note that the Doppler effect does not affect only the tensor-mode perturbation. We
introduce the transfer function in the Fourier space as [4, 20]
(S) (S)
Δ I (τ, k ẑ, n̂) = ξ (0) (k ẑ)Δ̃ I (τ, k, μk,n ),
(S) (S) (S)
(Δ Q ± iΔU )(τ, k ẑ, n̂) = ξ (0) (k ẑ)Δ̃ P (τ, k, μk,n ),
(V )
Δ I (τ, k ẑ, n̂) = −i 1 − μ2k,n eλiφk,n
λ=±1
(V )
× ξ (λ) (k ẑ)Δ̃ I (τ, k, μk,n ), (3.63)
(V ) (V )
(Δ Q ± iΔU )(τ, k ẑ, n̂) = ∓λ(1 ∓ λμk,n ) 1 − μ2k,n eλiφk,n
λ=±1
(V )
× ξ (λ) (k ẑ)Δ̃ P (τ, k, μk,n ),
Δ(T )
I (τ, k ẑ, n̂) = (1 − μk,n )
2
eλiφk,n ξ (λ) (k ẑ)Δ̃(T )
I (τ, k, μk,n ),
λ=±2
(T ) (T )
λ
2
(Δ Q ± iΔU )(τ, k ẑ, n̂) = 1 ∓ μk,n eλiφk,n
2
λ=±2
(T )
× ξ (λ) (k ẑ)Δ̃ P (τ, k, μk,n ),
where μk,n ≡ k̂ · n̂. Then, from Eqs. (3.52) and (3.53), we can write the collision
term of Thomson scattering for the scalar mode:
1
(S) d 3k
dΩ ΔΘ (n̂ , n̂) = dΩ ξ (0) (k ẑ)
(2π )3 m
10
∗
× Y2m (n̂)Y2m (n̂ ) + 10Y0m (n̂)Y0m
∗
(n̂ )
(S)
×Δ̃ I (τ, k, μ )
3
∗
− Y2m (n̂) s Y2m (n̂ ) (3.64)
2
s=±2
(S)
×Δ̃ P (τ, k, μ ) ,
(S) (S) d 3k
dΩ (ΔQ ± iΔU )(n̂ , n̂) = − dΩ
(2π )3
√
6
(0)
× ±2 Y2m (n̂)ξ (k ẑ)
m
10
∗
× Y2m (n̂ )Δ̃(S)
I (τ, k, μ )
3 ∗ (S)
− s Y2m (n̂ ) Δ̃ P (τ, k, μ ) ,
2
s=±2
Here, we use
8π
1 − μ2 eλiφ = −λ Y1λ (for λ = ±1),
3
16π
1 − μ2 (1 ∓ λμ)eλiφ =∓ ±2 Y2λ (for λ = ±1) ,
5
2π
(1 − μ2 )eλiφ =4 Y2λ (for λ = ±2) , (3.67)
15
λ 2 λiφ π
1∓ μ e =8 ±2 Y2λ (for λ = ±2).
2 5
(S/V /T )
(S/V /T )
Δ̃ I /P (τ, k, μ ) = (−i)l 4π(2l + 1)Yl0 (n̂ )Δ̃ I /P,l (τ, k) (3.68)
l
for λ = ±1:
3 3
dΩ Y2m
∗
Y1λ Yl0 = δm,λ δl,1 − δl,3 ,
20π 7
dΩ Y0m
∗
Y2λ Yl0 = 0 ,
1
dΩ ±2 Y2m
∗
±2 Y2λ Yl0 = √ δm,λ (3.70)
4π
√ √ √
3 5 7 2
× δl,0 ∓ λδl,1 − δl,2 ± λδl,3 − δl,4 ,
3 7 7 21
we can obtain the anisotropies generated via Thomson scattering for the scalar mode:
d 3 k (0)
dΩ ΔΘ (S) (n̂ , n̂) = ξ (k ẑ)
(2π )3
(S) π
× Δ̃ I,0 − Y20 (n̂)ψ (S) (k, τ ) ,
5
32 3 Fluctuations in Cosmic Microwave Background Radiation
(S) (S) d 3 k (0)
dΩ (ΔQ ± iΔU )(n̂ , n̂) = ξ (k ẑ) (3.72)
(2π )3
6π (S)
× ±2 Y20 (n̂)ψ (k, τ ) ,
5
ψ (S) (k, τ ) ≡ Δ̃(S) (S) (S)
I,2 + Δ̃ P,0 + Δ̃ P,2 ,
1 (T ) 1 (T ) 3
ψ (T ) (k, τ ) ≡ Δ̃ I,0 + Δ̃ I,2 + Δ̃(T )
10 7 70 I,4
3 (T ) 6 (T ) 3 (T )
− Δ̃ P,0 + Δ̃ P,2 − Δ̃ P,4 .
5 7 70
Thus, from the Boltzmann equation (3.47), the gravitational redshift and the Doppler
terms (3.58), and the collision term of Thomson scattering (3.53) and (3.72)–(3.74),
we derive the Boltzmann equation for the scalar mode:
Δ̃˙ I + ikμk,n Δ̃ I = − ḣ iso + μ2k,n −
(S) (S) 1 (S) 1
ḣ (S)
3 3
3.6 Transfer Functions 33
3 1
− κ̇ Δ̃(S)
I − Δ̃ (S)
I,0 + μ2
k,n − ψ (S)
− iμ v
k,n b
(S)
,
4 3
(3.75)
Δ̃˙ P + ikμk,n Δ̃ P
(S) (S) (S) 3
= −κ̇ Δ̃ P − (1 − μ2k,n )ψ (S) ,
4
Δ̃˙ (V ) (V ) (V )
P + ikμk,n Δ̃ P = −κ̇ Δ̃ P + ψ
(V )
, (3.76)
Δ̃˙ (T ) (T )
I + ikμk,n Δ̃ I = −ḣ (T ) − κ̇ Δ̃(T )
I −ψ
(T )
,
Δ̃˙ I /P,l +
(S/V /T ) k (S/V /T ) (S/V /T ) (S/V /T )
(l + 1)Δ̃ I /P,l − l Δ̃ I /P,l−1 = VI /P,l , (3.78)
2l + 1
where
(S) 1 (S) 2 (S)
VI,l = − ḣ iso δl,0 − ḣ δl,2
3 15
(S) 1 (S) 1 (S)
− κ̇ Δ̃ I,l (1 − δl,0 ) − ψ δl,2 + vb δl,1 ,
10 3
(S) (S) 1
V P,l = −κ̇ Δ̃ P,l − ψ (S) δl,2 + 5δl,0 ,
10
(V ) 1 (V ) (V ) 1 (V ) (V )
VI,l = ḣ δl,1 − κ̇ Δ̃ I,l − ψ δl,1 − vb δl,0 , (3.79)
3 3
(V ) (V )
V P,l = −κ̇ Δ̃ P,l + ψ (V ) δl,0 ,
(T ) (T )
VI,l = −ḣ (T ) δl,0 − κ̇ Δ̃ I,l − ψ (T ) δl,0 ,
(T )
V P,l = −κ̇ Δ̃(T )
P,l + ψ
(T )
δl,0 .
Following the line of sight integration [21], we can give the explicit solution of this
Boltzmann equation as follows. At first, let us present the derivation for tensor mode.
Using de−κ /dτ = κ̇e−κ and multiplying eikμk,n τ −κ in both sides of Eq. (3.77), we
have
34 3 Fluctuations in Cosmic Microwave Background Radiation
d
(T )
Δ̃ I eikμk,n τ −κ = eikμk,n [−ḣ (T ) e−κ + gψ (T ) ] ,
dτ
d
(T )
Δ̃ P eikμk,n τ −κ = −eikμk,n gψ (T ) . (3.80)
dτ
where g(τ ) ≡ κ̇e−κ is the visibility function which describes the probability that a
given CMB photon last scattered at a given time. Through the integral over conformal
time and some treatments, we obtain each from of the transfer function at τ = τ0 as
τ0
(T )
Δ̃ I = dτ e−iμk,n x −ḣ (T ) e−κ + gψ (T ) ,
0
τ0
(T )
Δ̃ P = − dτ e−iμk,n x gψ (T ) , (3.81)
0
where in the second equality of each equation, we neglect the topological terms.
3.6 Transfer Functions 35
Consequently, we can summarize the transfer functions when k ẑ for the scalar
mode:
τ0
(S) (0) (S)
Δ I (τ0 , k ẑ, n̂) = ξ (k ẑ) dτ e−iμk,n x S I (k, τ ) ,
0
τ0
(S) (S) 4 6π (0) (S)
(Δ Q ± iΔU )(τ0 , k ẑ, n̂) = ±2 Y20 (n̂)ξ (k ẑ) dτ e−iμk,n x S P (k, τ ) ,
3 5 0
...(S)
(S) 1 (S) h 1
S I (k, τ ) ≡ − ḣ iso + 2 + ḣ (S) e−κ
3 k 3
(S)
2ḧ (S) (S) 3 ψ̈ (S) 1 (S) v̇b
+g + Δ̃ I,0 + + ψ −
k2 4 k2 4 k
(3.84)
(S)
ḣ (S) 3 ψ̇ (S) v 3 g̈ψ (S)
+ ġ 2
+ 2
− b + ,
k 2 k k 4 k2
(S) 3 (S)
S P (k, τ ) ≡ gψ (k, τ ) ,
4
(T )
32π
Δ I (τ0 , k ẑ, n̂) = Y2λ (n̂)ξ (λ) (k ẑ)
15
λ=±2
τ0
(T )
× dτ e−iμk,n x S I (k, τ ),
0
(T ) (T )
64π
(λ)
(Δ Q ± iΔU )(τ0 , k ẑ, n̂) = ±2 Y2λ (n̂)ξ (k ẑ)
5
λ=±2
τ0
× dτ e−iμk,n x S (T )
P (k, τ ), (3.86)
0
(T ) (T ) −κ
S I (k, τ ) ≡ − ḣ e + gψ (T ) ,
(T )
S P (k, τ ) ≡ − gψ (T ) .
(S/V /T )
Here, we have introduced the source function, S I /P (k, τ ).
In this section, let us formulate the all-mode CMB coefficients am in the all-sky
analysis on the basis of the derivation in Refs. [3, 7].
Since the CMB anisotropy is described in the spherical coordinate system, its
intensity (I ) and two polarization (Q and U ) fields should be expanded by the spin-0
3.7 All-Sky Formulae for the CMB Scalar-, Vector- and Tensor-Mode Anisotropies 37
( + 2)! 1/2 (Z )
∂ 2 (Q (Z ) + iU (Z ) )(n̂) = a2,m Ym (n̂),
( − 2)!
m
( + 2)! 1/2 (Z )
∂ 2 (Q (Z ) − iU (Z ) )(n̂) = a−2,m Ym (n̂), (3.88)
( − 2)!
m
(Z )
Instead of a±2,m , it is convenient to introduce their linear combinations as [22]
(Z ) 1 (Z ) (Z )
a E,m ≡ − a2,m + a−2,m ,
2
i (Z )
a (Z )
B,m ≡ (Z )
a2,m − a−2,m . (3.89)
2
These fields E and B have parity-even and odd properties, respectively, in analogy
with the electric and magnetic fields. Then, from Eqs. (3.88) and (3.89), we can
express
(Z ) ∗ d 3 k (Z )
a X,m = dΩn Ym (Ωn ) Δ (τ0 , k, n̂),
(2π )3 X
1 ( − 2)! 1/2
Δ(Z )
E (τ0 , k, n̂) ≡ −
2 ( + 2)!
(Z ) (Z ) (Z ) (Z )
× ∂ 2 (Δ Q + iΔU ) + ∂ 2 (Δ Q − iΔU ) (τ0 , k, n̂), (3.90)
i ( − 2)! 1/2
Δ(Z )
(τ0 , k, n̂) ≡
B
2 ( + 2)!
38 3 Fluctuations in Cosmic Microwave Background Radiation
(Z ) (Z ) (Z ) (Z )
× ∂ 2 (Δ Q + iΔU ) − ∂ 2 (Δ Q − iΔU ) (τ0 , k, n̂).
Here, X discriminates between intensity and two polarization (electric and magnetic)
modes, respectively, as X = I, E, B. When k ẑ, using Eqs. (3.84)–(3.86) and the
operations derived from Eq. (A.3) as
2
2 −iμk,n x λ
∂ 2 Y2λ (n̂)e = −∂μk,n +
1 − μ2k,n
From here, we want to show analytical expressions of am ’s. In the above
discussion, we have analytical formulae of the transfer functions when k ẑ. This
implies that we consider the physics in the blue basis of Fig. 3.4 and their transfer
functions are completely determined by not the angle between ẑ and n̂, namely Ωn ,
but the angle between k and n̂, namely Ωk,n . However, as shown in Eq. (3.90), to
obtain am ’s, we have to consider the physics in the red basis Fig. 3.4 and perform
the Ωn -integral. Here, instead of the transformation of the transfer functions, it is a
better way to transform the integration variable in the am as Ωn → Ωk,n . This can
()
be done by using the Wigner D-matrix Dmm , which is the unitary irreducible matrix
of rank 2 + 1 that forms a representation of the rotational group. The property of
this matrix and the relation with spin-weighted spherical harmonics are explained in
Appendix B. If we consider the rotational matrix
⎛ ⎞
cos θk cos φk − sin φk sin θk cos φk
S(Ωk ) ≡ ⎝ cos θk sin φk cos φk sin θk sin φk ⎠ (3.94)
− sin θk 0 cos θk
Using this equation and the relation of the coordinate transformation as dΩn =
dΩk,n , the am of arbitrary mode is written as
(Z ) d 3 k () ∗ (Z )
a X,m = D (S(Ω k )) dΩk,n Ym (Ωk,n )Δ X (τ0 , k ẑ, n̂)
(2π )3 mm
m
1/2
4π d 3k ∗
= (−1)m −m Ym (Ωk )
2 + 1 (2π )3
m
∗ (Z )
× dΩk,n Ym (Ωk,n )Δ X (τ0 , k ẑ, n̂). (3.97)
40 3 Fluctuations in Cosmic Microwave Background Radiation
In the second equality, we have obeyed the relation of Eq. (B.4) in this case as
1/2
() 4π ∗
Dmm (S(Ωk )) = (−1)m −m Ym (Ωk ). (3.98)
2 + 1
we can find the general formulae of the am for all-mode perturbations:
(Z ) d 3k (Z )
a X,m = 4π(−i) [sgn(λ)]λ+x −λ Ym
∗
(Ωk )ξ (λ) (k)T X, (k) , (3.100)
(2π )3
λ
4 In Ref. [3], there are three typos: right-hand sides of Eqs. (B21), (B22) and (B23) must be multiplied
(T ) ( + 2)! 1/2 τ0 j (x)
T I, (k)
=− dτ S I(T ) (k, τ ) 2 ,
( − 2)! 0 x
τ0
(T ) (T ) j (x)
T E, (k) = − dτ S P (k, τ )Eˆ (T ) (x) 2 ,
0 x
τ0
(T ) (T ) j (x)
T B, (k) = dτ S P (k, τ )B̂ (T ) (x) 2 .
0 x
Note that in the all-sky analysis, due to the dependence of transfer functions on φk,n ,
am ’s depend on the helicity state through the spin spherical harmonics. In the above
discussion, we take the synchronous gauge and derive the am . However, in the same
manner, we can obtain the identical form of Eq. (3.100) even in another gauge. In
this case, the different points can be confined only in the transfer function (3.101).
In a numerical code CAMB [13, 19], these transfer functions of polarization modes
are expanded as, e.g.,
τ0
g̈ψ (T ) + 2ġ ψ̇ (T ) + g ψ̈ (T ) 4 ġψ (T ) + g ψ̇ (T )
(T )
T E, (k) =− dτ +
0 k2 k x
6
−gψ (T ) 1 − 2 j (x), (3.102)
x
τ0
(T ) 2ψ (T ) ψ̇ (T ) ġψ (T )
T B, (k) = −2 dτ g + + j (x).
0 x k k
The flat-sky approximation uses the (2D) plane wave expansion of the CMB fluctu-
ation instead of the spherical harmonics one, and it is valid if we restrict observed
direction (parallel to n̂) only close to the z axis [4, 23]. As confirmed in Ref. [4],
the flat-sky power spectra of E- and B-mode polarizations sourced from the primor-
dial scalar and tensor perturbations are in good agreement with the all-sky ones for
40. On the basis of these studies, we have also compared the all-sky power
spectra with the flat-sky ones for the I, E, and B modes from scalar, vector, and
tensor perturbations and found their consistencies at 40.
As mentioned in the previous section, in order to estimate the am , one must
construct the transfer functions for arbitrary k. In other words, we want to obtain
the transfer functions expressed by arbitrary k (whose direction is denoted by Ωk )
and n̂ (denoted by Ωn ) instead of Ωk,n in Fig. 3.4. In the I modes, only by changing
Ωk,n to Ωk and Ωn with the relation (3.95), the transfer functions for arbitrary k can
be obtained. In the E and B modes, in addition to this treatment, one must consider
42 3 Fluctuations in Cosmic Microwave Background Radiation
(Z ) (Z ) (Z ) (Z )
(Δ Q ± iΔU )(τ0 , k, n̂) = e∓2iψ (Δ Q ± iΔU )(τ0 , k ẑ, n̂). (3.103)
with the mixing angle ψ. The angle ψ represents the rotation angle between θ̂k,n
and θ̂n , where θ̂k,n and θ̂n are the unit vectors orthogonal to n̂ in a particular basis in
which k ẑ and a general basis, respectively (see Fig. 3.4).
In the flat-sky analysis, i.e., θn → 0, by using Eqs. (3.84)–(3.86) and by using the
limit of ψ as ψ → φn − φk + π , the transfer functions for arbitrary k are derived as
τ0
(S) (S)
Δ I (τ0 , k, n̂) → ξ (0) (k)
dτ S I (k, τ )e−ik·n̂D,
0
τ0
(S) (S) ∓2i(φn −φk ) (0) (S)
(Δ Q ± iΔU )(τ0 , k, n̂) → e sin θk ξ (k)
2
dτ S P (k, τ )e−ik·n̂D,
τ0 0
(V ) (λ) (V )
Δ I (τ0 , k, n̂) → i sin θk ξ (k) dτ S I (k, τ )e−ik·n̂D,
λ=±1 0
(Δ(V
Q
) (V )
± iΔU )(τ0 , k, n̂) → e∓2i(φn −φk ) ±λ(1 ∓ λ cos θk ) sin θk ξ (λ) (k)
λ=±1
τ0
× dτ S (V )
P (k, τ )e
−ik·n̂D
, (3.104)
0
τ0
Δ(T )
I (τ0 , k, n̂) → sin2 θk ξ (λ) (k) dτ S I(T ) (k, τ )e−ik·n̂D,
λ=±2 0
(T ) (T )
λ
2
(Δ Q ± iΔU )(τ0 , k, n̂) → e∓2i(φn −φk ) 1 ∓ cos θk ξ (λ) (k)
2
λ=±2
τ0
(T )
× dτ S P (k, τ )e−ik·n̂D .
0
It is important to note that the φk dependence which is inherent in the vector and tensor
perturbations vanishes in the flat-sky approximation, besides a trivial φk dependence
due to a spin-2 nature of the Stokes Q and U parameters. One may explicitly see that
φk,n dependence vanishes in the transfer functions when taking θn → 0 because the
S(Ωk ) matrix rotates the basis with the new z axis always being on the x − z plane
in a particular basis in which k ẑ (see Fig. 3.4). This approximation means that for
θn 1, it is valid to calculate the CMB fluctuation on the basis of vector and tensor
perturbations fixed as θn = 0, namely, φk,n = π .
3.8 Flat-Sky Formulae for the CMB Scalar-, Vector- and Tensor-Mode Anisotropies 43
In the flat-sky limit, am in the all-sky analysis described as Eq. (3.90) is modified
by using the plane wave as
(Z ) d 3 k (Z )
−i·Θ (Z )
a X,m → d Θe 2
Δ (τ0 , k, n̂) ≡ a X (),
(2π )3 X
(Z ) 1 (Z ) s (Z ) −si(φ −φn )
Δ E (τ0 , k, n̂) → Δ Q + iΔU (τ0 , k, n̂)e , (3.105)
2 2
s=±2
(Z ) i s (Z ) s (Z ) −si(φ −φn )
Δ B (τ0 , k, n̂) → − Δ Q + iΔU (τ0 , k, n̂)e ,
2 2 2
s=±2
sin θk = = ,
kD (k z D)2 + 2
!
2
cos θk = sgn(k z ) 1 − , (3.107)
kD
φk = φ + π.
The other-mode am ’s can be calculated in the same manner. Thus, we summarize
the all-mode a()’s:
(Z )
τ0 ∞ dk z
a X () = dτ [sgn(λ)]x ξ (λ) (k = −/D, k z )
0 −∞ 2π
λ
1 (Z )
× 2 e−ikz D S X, (k z , τ )
D
(S) (S)
S I, (k z , τ ) = S I (k = k z2 + (/D)2 , τ ) ,
2
(S) (S)
S E, (k z , τ ) = S (k = k z2 + (/D)2 , τ ) ,
(k z D)2 + 2 P
(V ) (V )
S I, (k z , τ ) = i S I (k = k z2 + (/D)2 , τ ) , (3.108)
(k z D)2 + 2
!
(V ) 2
S E, (k z , τ ) = −sgn(k z ) 1−
(k z D)2 + 2 (k z D)2 + 2
(V )
× S P (k = k z2 + (/D)2 , τ ) ,
(V ) (V )
S B, (k z , τ ) = −i S P (k = k z2 + (/D)2 , τ ) ,
(k z D)2 + 2
2
(T ) (T )
S I, (k z , τ ) = S (k = k z2 + (/D)2 , τ ) ,
(k z D)2 + 2 I
(T ) 2 (T )
S E, (k z , τ ) = 2 − S (k = k z2 + (/D)2 , τ ) ,
(k z D)2 + 2 P
!
2
(T ) (T )
S B, (k z , τ ) = 2i sgn(k z ) 1 − S (k = k z2 + (/D)2 , τ ) ,
(k z D)2 + 2 P
(Z )
where we label S X, as the modified source function. One can formulate the flat-sky
CMB power spectrum and bispectrum by using these formulae [3, 24–26].
3.9 CMB Power Spectrum 45
To extract several information about the Universe from the observational data, the
two-point correlation function of the CMB fluctuations (called CMB power spec-
trum) is often-used. Here, we formulate the CMB power spectrum and summarize
the constraints on several model parameters from the current observational data.
If we assume the Gaussianity and the symmetry under the parity and rotational
transformations in the initial stochastic variables, their power spectrum can be
expressed as
" #
ξ (λ1 ) (k1 )ξ (λ2 )∗ (k2 ) = (2π )3 PZ (k1 )δ(k1 − k2 )δλ1 ,λ2
1 (Z = S)
× . (3.109)
1/2 (Z = V, T )
This implies that the couplings between the different modes of the perturbation vanish
in the power spectrum. Then, from the formula of the all-sky am (3.100), the CMB
power spectra of all modes are derived as
$ &
%
2
(Z ) (Z )
a X nn,n m n ≡ C X 11X 2 ,1 (−1)m 1 δ1 ,2 δm 1 ,−m 2 δ Z 1 ,Z 2 δx1 ,x2 ,
n=1
(Z ) 2 (Z ) (Z )
C X 11X 2 ,1 = k12 dk1 PZ 1 (k1 )T X 1 ,1 1 (k1 )T X 2 ,1 1 (k1 ) , (3.110)
π
where we use the relation derived by the reality condition of the metric perturbation:
In Fig. 3.5, we plot the CMB intensity and polarization power spectra of the scalar
and tensor modes. Here we think that the scalar and tensor perturbations are sourced
from the primordial curvature perturbations (ξ (0) = R) and primordial gravitational
waves (ξ (±2) = h (±2) ), respectively. The ratio between these power spectra, called
the tensor-to-scalar ratio r , is defined as6
2PT (k)
r≡ . (3.112)
PS (k)
At first, let us focus on the II spectra in the left top panel. In the scalar spectrum, the
dominant signal is generated from the acoustic oscillation of the photon and baryon
fluid. The first acoustic peak is located at 1 ∼ 220. This scale is corresponding to
the angle of the sound horizon at the recombination epoch as 1 ∼ 2π τ0 /rs (z ∗ ).
6 This definition is consistent with Eq. (2.69), and the notation of Ref. [27] and CAMB [13].
46 3 Fluctuations in Cosmic Microwave Background Radiation
7 The vector mode generates the BB spectrum due to its two helicities. However, due to the decay of
the vector potential via the Einstein equation, this becomes the subdominant signal. To avoid this,
the sources such as cosmic strings and magnetic fields need to exist and support.
3.9 CMB Power Spectrum 47
10000 1000
1000 100
10
l(l+1)|CIE,l |/(2π)T02[μK2]
l(l+1)CII,l /(2π)T02 [μK2]
100
1
10
0.1
1
0.01
0.1
0.001
0.01 0.0001
scalar scalar
tensor tensor
0.001 1e-05
10 100 1000 10 100 1000
l l
100 0.01
scalar
tensor
10
l(l+1)CEE,l /(2π)T02[μK2]
l(l+1)CBB,l /(2π)T02[μK2]
1
0.001
0.1
0.01
0.0001
0.001
0.0001
tensor
1e-05 1e-05
10 100 1000 10 100 1000
l l
Fig. 3.5 The CMB spectra of the II (left top panel), I E (right top one), EE (left bottom one) and
BB (right bottom one) modes. Here we consider a power-law flat ΛCDM model and fix the tensor-
to-scalar ratio as r = 0.1. The other cosmological parameters are fixed to the mean values reported
in Ref. [27]
where Φ is the potential of the conformal Newtonian gauge, rs denotes the sound
horizon and R ≡ 3ρb /(4ργ ). Then if ωb increases and R becomes large, this equa-
tion experiences increase in amplitude and suppression of the intercept. Hence, the
(S)
difference of C I I, ∝ Θ 2 between the odd- and even-number peaks increases. These
parameters are limited with the others from the current observational data set as
Table 3.2. Other than these parameters, massive neutrinos and some relativistic com-
ponents also make impacts on the CMB fluctuation (e.g. Refs. [30, 31]).
The CMB power spectrum also depends on the primordial curvature perturbations
and primordial gravitational waves. Conventionally, these spectra are parametrized as
n s −1
k 3 PS (k) k
= AS , (3.114)
2π 2 0.002Mpc−1
and Eq. (3.112). As shown in Eq. (3.100), the magnitudes of the primordial curvature
perturbations A S and gravitational waves r A S simply determine the overall amplitude
of the C X(S)
1 X 2 ,1
and C X(T1)X 2 ,1 , respectively . The spectral index of the power spectrum
(Z )
of the curvature perturbations n s changes in slope of C X 11X 2 ,1 . From the observa-
tional data, the constraints on A S , n s , r are given as Table 3.2. Here, we want to note
48 3 Fluctuations in Cosmic Microwave Background Radiation
7000
reference
6000 ωc decrease
ΩΛ increase
ωb increase
l(l+1)CII,l/(2π)T0 [μK ]
2
5000
2 4000
3000
(S)
2000
1000
0
10 100 1000
l
Fig. 3.6 CMB II power spectra sourced from the scalar-mode perturbations in a power-law flat
ΛCDM model. The red solid line is plotted with ωc = 0.112, ΩΛ = 0.728, ωb = 0.02249, n s =
0.967, κ = 0.088 [27]. The green dashed, blue dotted and magenta dot-dashed lines are calculated
if ωc decreases to 0.1, ΩΛ increases to 0.8, and ωb increases to 0.028, respectively
Table 3.2 Summary of the cosmological parameters of ΛCDM with finite r model from the WMAP
7-year data [27], and the data set combined with the results of the galaxy survey [32] and Hubble
constant measurement [33], respectively
Parameter WMAP 7-yr WMAP + BAO + H0
100ωb 2.249+0.056
−0.057 2.255 ± 0.054
ωc 0.1120 ± 0.0056 0.1126 ± 0.0036
ΩΛ 0.727+0.030
−0.029 0.725 ± 0.016
ns 0.967 ± 0.014 0.968 ± 0.012
κ 0.088 ± 0.015 0.088 ± 0.014
AS (2.43 ± 0.11) × 10−9 (2.430 ± 0.091) × 10−9
r < 0.36 < 0.24
H0 70.4 ± 2.5 km/s/Mpc 70.2 ± 1.4 km/s/Mpc
that n s = 1 is excluded at about 3-sigma level. This implies the deviation from the
exact de Sitter expansion in inflation. As shown in the bound on r , unlike the primor-
dial curvature perturbation, the primordial gravitational wave has not been detected
yet. However, some experimental groups aim to discover the BB spectrum through
remove of some noisy foreground emission and improvement of the instruments
3.9 CMB Power Spectrum 49
[2, 34–36]. If these projects achieve, it will be possible to judge the existence of the
primordial gravitational waves of r < 0.01.
So far, we discussed under the assumption that the parity and rotational invari-
ances are kept. On the other hand, there are a lot of studies which probe the some-
what exotic scenarios where these invariances violate. As a theoretical prediction, if
parity-violating
" action
# such
" as the Chern-Simon # term exists in the early Universe,
ξ (+2) (k)ξ (+2)∗ (k ) = ξ (−2) (k)ξ (−2)∗ (k ) and the IB and EB spectra appear [37–
40]. Using the parametrization as
the parity violation is limited as −5.0◦ < Δα < 2.8◦ (95% CL) [27]. The rotational
invariance is broken if the Universe has the preferred direction and this situation is
realized by the anisotropic inflation [41–43]. This leads to the direction-depending
power spectrum as
PS (k) = PSiso (k)[1 + g(k̂ · n̂)2 ] , (3.116)
References
12. D.N. Spergel, U.L. Pen, M. Kamionkowski, N. Sugiyama, pp. 57–66 (1994). doi:arXiv:astro-
ph/9402060
13. A. Lewis, A. Challinor, A. Lasenby, Astrophys. J. 538, 473 (2000). doi:10.1086/309179
14. C.P. Ma, E. Bertschinger, Astrophys. J. 455, 7 (1995). doi:10.1086/176550
15. J.M. Bardeen, Phys. Rev. D22, 1882 (1980). doi:10.1103/PhysRevD.22.1882
16. H. Kodama, M. Sasaki, Prog. Theor. Phys. Suppl. 78, 1 (1984). doi:10.1143/PTPS.78.1
17. W. Hu, M.J. White, Phys. Rev. D56, 596 (1997). doi:10.1103/PhysRevD.56.596
18. M. Giovannini, K.E. Kunze, Phys. Rev. D77, 123001 (2008). doi:10.1103/PhysRevD.77.
123001
19. A. Lewis, Phys. Rev. D70, 043011 (2004). doi:10.1103/PhysRevD.70.043011
20. A. Kosowsky, Annals Phys. 246, 49 (1996). doi:10.1006/aphy.1996.0020
21. U. Seljak, M. Zaldarriaga, Astrophys. J. 469, 437 (1996). doi:10.1086/177793
22. E.T. Newman, R. Penrose, J. Math. Phys. 7, 863 (1966). doi:10.1063/1.1931221
23. U. Seljak, Astrophys. J. 482, 6 (1997). doi:10.1086/304123
24. D. Babich, P. Creminelli, M. Zaldarriaga, JCAP 0408, 009 (2004). doi:10.1088/1475-7516/
2004/08/009
25. C. Pitrou, J.P. Uzan, F. Bernardeau, Phys. Rev. D78, 063526 (2008). doi:10.1103/PhysRevD.
78.063526
26. L. Boubekeur, P. Creminelli, G. D’Amico, J. Norena, F. Vernizzi, JCAP 0908, 029 (2009).
doi:10.1088/1475-7516/2009/08/029
27. E. Komatsu, et al., Astrophys. J. Suppl. 192, 18 (2011). doi:10.1088/0067-0049/192/2/18
28. J. Silk, Astrophys. J. 151, 459 (1968). doi:10.1086/149449
29. W. Hu, N. Sugiyama, Phys. Rev. D50, 627 (1994). doi:10.1103/PhysRevD.50.627
30. J. Lesgourgues, S. Pastor, Phys. Rep. 429, 307 (2006). doi:10.1016/j.physrep.2006.04.001
31. M. Shiraishi, K. Ichikawa, K. Ichiki, N. Sugiyama, M. Yamaguchi, JCAP 0907, 005 (2009).
doi:10.1088/1475-7516/2009/07/005
32. B.A. Reid, et al., Mon. Not. Roy. Astron. Soc. 401, 2148 (2010). doi:10.1111/j.1365-2966.
2009.15812.x
33. A.G. Riess, L. Macri, S. Casertano, M. Sosey, H. Lampeitl, et al., Astrophys. J. 699, 539 (2009).
doi:10.1088/0004-637X/699/1/539
34. C. Bischoff et al., Astrophys. J. 741, 111 (2011). doi:10.1088/0004-637X/741/2/111
35. B. Keating, S. Moyerman, D. Boettger, J. Edwards, G. Fuller, et al., arXiv:1110.2101 (2011)
36. LiteBIRD experiment. http://cmb.kek.jp/litebird/index.html
37. S. Alexander, J. Martin, Phys. Rev. D71, 063526 (2005). doi:10.1103/PhysRevD.71.063526
38. S. Saito, K. Ichiki, A. Taruya, JCAP 0709, 002 (2007). doi:10.1088/1475-7516/2007/09/002
39. V. Gluscevic, M. Kamionkowski, Phys. Rev. D81, 123529 (2010). doi:10.1103/PhysRevD.81.
123529
40. A. Gruppuso, P. Natoli, N. Mandolesi, A. De Rosa, F. Finelli et al., JCAP 1202, 023 (2012).
doi:10.1088/1475-7516/2012/02/023
41. S. Yokoyama, J. Soda, JCAP 0808, 005 (2008). doi:10.1088/1475-7516/2008/08/005
42. M.A. Watanabe, S. Kanno, J. Soda, Prog. Theor. Phys. 123, 1041 (2010). doi:10.1143/PTP.
123.1041
43. M. Karciauskas, JCAP 1201, 014 (2012). doi:10.1088/1475-7516/2012/01/014
44. N.E. Groeneboom, H.K. Eriksen, Astrophys. J. 690, 1807 (2009). doi:10.1088/0004-637X/
690/2/1807
Chapter 4
Primordial Non-Gaussianities
At first, we give the definition of the bispectrum of the initial perturbations ξ (λ) of
the scalar (λ = 0), vector (λ = ±1), and tensor (λ = ±2) modes. The Fourier
transformation of the two-point function is the power spectrum
2
2 1 (Z = S)
(λn ) λ1
ξ (kn ) = (2π ) PZ (k1 )δ
3
kn δλ1 ,λ2 (−1) × .
n=1 n=1
1/2 (Z = V, T )
(4.1)
1 Odd-point correlation functions of Gaussian fluctuations vanish while their even-point functions
can be expanded by two-point functions due to the Wick’s theorem.
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 51
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_4, © Springer Japan 2013
52 4 Primordial Non-Gaussianities
Similarly, the Fourier mode of the three-point function is so called the bispectrum
3
3
ξ (λn ) (kn ) = (2π )3 F λ1 λ2 λ3 (k1 , k2 , k3 )δ kn . (4.2)
n=1 n=1
Here, the translation invariance of the background results in the delta function denot-
ing the momentum conservation. If the scale invariance is kept, we have
Moreover, due to the rotational invariance, the independent variables are reduced to
k2 /k1 and k3 /k1 .
In order to compute the primordial bispectrum, it is necessary to deal with the
vacuum evolution under the finite interactions carefully. This is not the leading order
effect in calculating the power spectrum. The in-in formalism is a powerful method to
compute the primordial higher-order cosmological correlation [12–16]. In Chap. 8,
using this formalism, we actually discuss the computation for the bispectrum of the
gravitational waves.
The delta function in Eq. (4.2) results in a closed triangle in Fourier space. The
triangle configuration at which the primordial bispectrum is amplified is dependent
on the inflationary models; therefore the shape of the non-Gaussianity is a powerful
clue to inflation [17, 18].
We can study the bispectrum shape by plotting the magnitude of (k1 k2 k3 )2 F λ1 λ2 λ3
(k1 , k2 , k3 ) as a function of k2 /k1 and k3 /k1 for k3 ≤ k2 ≤ k1 . For identification
of each triangle, one often use the following names: squeezed (k1 ≈ k2 k3 ),
elongated (k1 = k2 + k3 ), folded (k1 = 2k2 = 2k3 ), isosceles (k2 = k3 ), and
equilateral (k1 = k2 = k3 ). In Fig. 4.1, the visual representations of these triangles
are depicted.
From here, we concentrate on three representative shapes of the primordial bis-
pectrum: “local”, “equilateral”, and “orthogonal”. Then, it may be convenient to
decompose the non-Gaussianity of the curvature perturbations into the magnitude-
depending and shape-depending parts:
3
F 000 (k1 , k2 , k3 ) = f NL (2π 2 A S )2 S(k1 , k2 , k3 ), (4.4)
5
where A S is the magnitude of curvature perturbations defined in Eq. (3.114).
4.2 Shape of the Non-Gaussianities 53
(d) (e)
Fig. 4.1 Representations of triangles forming the bispectrum. This figure is adopted from the paper
“Perturbation Theory Reloaded II: Non-linear Bias, Baryon Acoustic Oscillations and Millennium
Simulation In Real Space” Ref. [19]
3 local
R(x) = Rg (x) + f Rg (x)2 − Rg (x)2 . (4.5)
5 NL
From this equation, we can see that the non-Gaussianity is localized at a given point
local is
in the real space. Therefore, we call this the local-type non-Gaussianity, and f NL
called the local-type nonlinearity parameter. Then, the bispectrum of the local-type
non-Gaussianity of the curvature perturbations is derived as
6 local
000
Flocal (k1 , k2 , k3 ) = f NL PR (k1 )PR (k2 ) + 2 perms. . (4.6)
5
Fixing the spectral index as n s = 1 and equating this equation with Eq. (4.4), we can
write
1
S local
(k1 , k2 , k3 ) = 2 + 2 perms. . (4.7)
(k1 k2 )3
12 local
000
Flocal (k1 , k2 , k3 → 0) = f PR (k1 )PR (k3 ). (4.8)
5 NL
In Refs. [12, 21–24], the authors found that the local-type non-linearity parameter
is tiny in the single field slow-roll inflation as
5 5 5
local
f NL = (1 − n s ) = (2ε H − η H ) = (3ε − η), (4.9)
12 6 6
local = 0.015 for n = 0.963. In contrast, large f local can be realized in
which gives f NL s NL
the models with multiple light fields during inflation [25–35], the curvaton scenario
[36–38], and inhomogeneous reheating [39, 40].
(a) (c)
(b)
Fig. 4.2 Two dimensional color contour for the shapes of the primordial bispectra. Each panel
describes the normalized amplitude of (k1 k2 k3 )2 S(k1 , k2 , k3 ) as a function of k2 /k1 and k3 /k1 for
k3 ≤ k2 ≤ k1 . The amplitude is normalized by the maximum value of (k1 k2 k3 )2 S(k1 , k2 , k3 ). The
top-left panel (a) is the local form given by Eq. (4.7), which diverges at the squeezed configuration.
The bottom-left panel (b) is the equilateral form given by Eq. (4.10), which is amplified at the
equilateral configuration. The top-right panel (c) is the orthogonal form given by Eq. (4.11), which
has a positive peak at the equilateral configuration, and a negative valley along the elongated
configurations. This is quoted in the paper “Hunting for Primordial Non-Gaussianity in the Cosmic
Microwave Background” [11]
Using the optimal estimators [11, 49–52], the constraints on the nonlinearity para-
meters from the CMB data (WMAP 7-yr data) are obtained as [53]
equil orthog
− 10 < f NL
local
< 74, −214 < f NL < 266, −410 < f NL < 6, (4.12)
− 29 < f NL
local
< 70 (95% CL). (4.13)
This is comparable to bounds from the CMB data. The way to extract the information
on the primordial non-Gaussianity from the matter distribution has continuously been
studied (see, e.g., Refs. [65–67]).
References
47. C. Cheung, P. Creminelli, A.L. Fitzpatrick, J. Kaplan, L. Senatore, JHEP 03, 014 (2008). doi:10.
1088/1126-6708/2008/03/014
48. M. Li, T. Wang, Y. Wang, JCAP 0803, 028 (2008). doi:10.1088/1475-7516/2008/03/028
49. L. Senatore, K.M. Smith, M. Zaldarriaga, JCAP 1001, 028 (2010). doi:10.1088/1475-7516/
2010/01/028
50. A.P. Yadav, E. Komatsu, B.D. Wandelt, Astrophys. J. 664, 680 (2007). doi:10.1086/519071.
PhD Thesis (Advisor: Alfonso Arag on-Salamanca)
51. A.P. Yadav, E. Komatsu, B.D. Wandelt, M. Liguori, F.K. Hansen et al., Astrophys. J. 678, 578
(2008). doi:10.1086/586695
52. K.M. Smith, L. Senatore, M. Zaldarriaga, JCAP 0909, 006 (2009). doi:10.1088/1475-7516/
2009/09/006
53. E. Komatsu et al., Astrophys. J. Suppl. 192, 18 (2011). doi:10.1088/0067-0049/192/2/18
54. H.K. Eriksen, D. Novikov, P. Lilje, A. Banday, K. Gorski, Astrophys. J. 612, 64 (2004). doi:10.
1086/422570
55. C. Hikage, T. Matsubara, P. Coles, M. Liguori, F.K. Hansen et al., Mon. Not. Roy. Astron. Soc.
389, 1439 (2008). doi:10.1111/j.1365-2966.2008.13674.x
56. T. Matsubara, Phys. Rev. D81, 083505 (2010). doi:10.1103/PhysRevD.81.083505
57. The Planck Collaboration, arXiv:astro-ph/0604069 (2006)
58. D. Baumann et al., AIP Conf. Proc. 1141, 10 (2009). doi:10.1063/1.3160885
59. N. Bartolo, A. Riotto, JCAP 0903, 017 (2009). doi:10.1088/1475-7516/2009/03/017
60. C. Pitrou, Class. Quant. Grav. 26, 065006 (2009). doi:10.1088/0264-9381/26/6/065006
61. D. Nitta, E. Komatsu, N. Bartolo, S. Matarrese, A. Riotto, JCAP 0905, 014 (2009). doi:10.
1088/1475-7516/2009/05/014
62. C. Pitrou, J.P. Uzan, F. Bernardeau, JCAP 1007, 003 (2010). doi:10.1088/1475-7516/2010/
07/003
63. N. Dalal, O. Dore, D. Huterer, A. Shirokov, Phys. Rev. D77, 123514 (2008). doi:10.1103/
PhysRevD.77.123514
64. A. Slosar, C. Hirata, U. Seljak, S. Ho, N. Padmanabhan, JCAP 0808, 031 (2008). doi:10.1088/
1475-7516/2008/08/031
65. Y. Takeuchi, K. Ichiki, T. Matsubara, Phys. Rev. D82, 023517 (2010). doi:10.1103/PhysRevD.
82.023517, 10.1103/PhysRevD.82.109901
66. J.O. Gong, S. Yokoyama, Mon. Not. Roy. Astron. Soc. 417, L79 (2011). doi:10.1111/j.1745-
3933.2011.01124.x
67. S. Yokoyama, JCAP 1111, 001 (2011). doi:10.1088/1475-7516/2011/11/001
68. K. Takahashi et al., JCAP 0910, 003 (2009). doi:10.1088/1475-7516/2009/10/003
69. M. Hindmarsh, C. Ringeval, T. Suyama, Phys. Rev. D80, 083501 (2009). doi:10.1103/
PhysRevD.80.083501
70. I. Brown, R. Crittenden, Phys. Rev. D72, 063002 (2005). doi:10.1103/PhysRevD.72.063002
71. P. Adshead, E.A. Lim, Phys. Rev. D82, 024023 (2010). doi:10.1103/PhysRevD.82.024023
72. J.M. Maldacena, G.L. Pimentel, JHEP 1109, 045 (2011). doi:10.1007/JHEP09(2011)045
73. P. McFadden, K. Skenderis, JCAP 1106, 030 (2011). doi:10.1088/1475-7516/2011/06/030
74. X. Gao, T. Kobayashi, M. Yamaguchi, J. Yokoyama, Phys. Rev. Lett. 107, 211301 (2011).
doi:10.1103/PhysRevLett.107.211301
75. S. Yokoyama, J. Soda, JCAP 0808, 005 (2008). doi:10.1088/1475-7516/2008/08/005
76. K. Dimopoulos, M. Karciauskas, D.H. Lyth, Y. Rodriguez, JCAP 0905, 013 (2009). doi:10.
1088/1475-7516/2009/05/013
77. J. Soda, H. Kodama, M. Nozawa, JHEP 1108, 067 (2011). doi:10.1007/JHEP08(2011)067
Chapter 5
General Formalism for the CMB Bispectrum
from Primordial Scalar, Vector and Tensor
Non-Gaussianities
In this chapter, on the basis of the formulation of the CMB anisotropy in Chap. 3,
we develop the formulae for the CMB bispectrum sourced from scalar-, vector-, and
tensor-mode non-Gaussianity. These results have been published in our paper [1].
At first, we should remember an expression of CMB fluctuations discussed in
Chap. 3. In the all-sky analysis, the CMB fluctuations of intensity, and E and B-
mode polarizations are expanded with the spin-0 spherical harmonics, respectively.
Then, the coefficients of CMB fluctuations, called am ’s, are described as
(Z ) d 3k (Z )
a X,m = 4π(−i) [sgn(λ)]λ+x −λ Ym
∗
(k̂)ξ (λ) (k)T X, (k) , (5.1)
(2π )3
λ
1 Here, we set 00 = 1.
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 59
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_5, © Springer Japan 2013
60 5 General Formalism for the CMB
Here, we use the orthogonality relation of the spin-λ spherical harmonics described
in Appendix A as
d 2 n̂λ Y∗ m (n̂)λ Ym (n̂) = δ, δm,m . (5.4)
Then the CMB bispectrum generated from the primordial non-Gaussianity of the
scalar, vector and tensor perturbations is written down as
⎡ ⎤
3
3 ∞
(Z ) kn2 dkn (Z n )
a X nn,n m n = ⎣ 4π(−i)n T X n ,n (kn ) [sgn(λn )]λn +xn ⎦
0 (2π ) 3
n=1 n=1 λn
3
× ξ(λn mn )n (kn ) , (5.5)
n=1
3
3
(λ )
3
ξn mn n (kn ) = d kˆn−λn Y∗n m n (kˆn )
2
ξ (λn )
(kn ) .
n=1 n=1 n=1
This formalism will be applicable to diverse sources of the scalar, vector and tensor
non-Gaussianities, such as, a scalar-graviton coupling [1] (Chap. 6), cosmic strings
[2, 3], primordial magnetic fields [4–6] (Chap. 9), and statistically-anisotropic and
parity-violating interactions [7, 8] (Chaps. 7 and 8).
To compute the CMB bispectrum composed of arbitrary perturbation modes, we
3 (λn )
have to reduce the expanded primordial bispectrum, n=1 ξn m n (kn ) , involving the
contractions of the wave number vector and polarization vector and tensor, and the
integrals over the angles of the wave number vectors. As shown later, this is elegantly
completed by utilizing the Wigner symbols and spin-weighted spherical harmonics.
If the initial bispectrum satisfies the rotational invariance, the CMB bispectrum
is divided into the Wigner-3 j symbol depending on the azimuthal quantum numbers
and the angle-averaged function as
3
(Z ) 1 2 3 (Z Z Z )
an mn n = B X 11X 22X 33,1 2 3 . (5.6)
m1 m2 m3
n=1
Let us focus on the CMB bispectrum from the curvature perturbations. Then, from
Eqs. (4.2), (4.4), (4.7), (4.10), (4.11), (5.5), (5.6) and the knowledge of Appendix C,
we derive the reduced bispectra as
5 General Formalism for the CMB 61
3.5 0.1
3 local
0.01
orthogonal
2 0.001
1.5
0.0001
1
0.5 1e-05
0 local
1e-06
-0.5 equilateral
orthogonal
-1 1e-07
10 100 1000 10 100 1000
l l
0.01 0.01
local 0.001 local
0.001
l 2(l+1) 2|b IEE,lll |/(2π ) 2 ×1016
Fig. 5.1 The CMB I I I (left top panel), I I E (right top one), I E E (left bottom one), and E E E
(right bottom one) bispectra induced from the local-type (red solid line), equilateral-type (green
dashed one), and orthogonal-type (blue dotted one) non-Gaussianities of curvature perturbations.
The three multipoles are fixed as 1 = 2 = 3 ≡ . Here we consider a power-law flat ΛCDM
local = f equil = f orthog = 100. The other cosmological
model and fix the nonlinear parameters as f NL NL NL
parameters are fixed to the mean values reported in Ref. [9] (Color figure online)
−1
b(SSS)
X 1 X 2 X 3 ,1 2 3 = I1 2 3
000
B X(SSS)
1 X 2 X 3 ,1 2 3
∞
3
2 ∞ 2
= 2
y dy kn dkn T X(S)
n ,n
(kn ) jn (kn y)
0 π 0
n=1
× F 000 (k1 , k2 , k3 ) , (5.7)
In Figs. 5.1 and 5.2, we plot these CMB bispectra for each multipole configura-
tion. From these, one can see that depending on the shape of the primordial non-
Gaussianity, the overall magnitudes of the bispectra do not change, but the shapes in
space change. Comparing these with the CMB data, the bounds on the nonlinearity
parameters (4.12) are obtained.
62 5 General Formalism for the CMB
10 1
0.0001 1e-06
10 100 10 100
l3 l3
0.01 1e-05
l1 (l 1+1)l3 (l3 +1)|b IEE,l1l2l3 |/(2π ) 2 × 10 16
1e-06 local
1e-10
equilateral
orthogonal
1e-07 1e-11
10 100 10 100
l3 l3
Fig. 5.2 The CMB I I I (left top panel), I I E (right top one), I E E (left bottom one), and E E E
(right bottom one) bispectra induced from the local-type (red solid line), equilateral-type (green
dashed one), and orthogonal-type (blue dotted one) non-Gaussianities of curvature perturbations
local = f equil = f orthog = 100. Here, we fix the two multipoles as = = 200, and plot
with f NL NL NL 1 2
each curve as the function in terms of 3 . The cosmological parameters are identical to those in
Fig. 5.1 (Color figure online)
References
1. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, K. Takahashi, Prog. Theor. Phys. 125, 795 (2011).
doi:10.1143/PTP.125.795
2. K. Takahashi et al., JCAP 0910, 003 (2009). doi:10.1088/1475-7516/2009/10/003
References 63
In this chapter, adapting Eq. (5.5) to the primordial non-Gaussianity in two scalars
and a graviton correlation [1], we compute the CMB scalar-scalar-tensor bispectrum.
This discussion is based on our paper [2].
2 ≡ 1/(8π G),
where g is the determinant of the metric, R is the Ricci scalar, Mpl
μν
φ is a scalar field, and X ≡ −g ∂μ φ∂ν φ/2. Using the background equations, the
slow-roll parameter and the sound speed for perturbations are given by
Ḣ X p,X p,X
ε≡− = 2 2 , cs2 ≡ , (6.2)
H2 H Mpl 2X p,X X + p,X
where H is the Hubble parameter, the dot means a derivative with respect to the
physical time t and p,X denotes partial derivative of p with respect to X . We write
a metric by ADM formalism
where N and N a are respectively the lapse function and shift vector, γab is a transverse
and traceless tensor as γaa = ∂a γab = 0, and eγab ≡ δab + γab + γac γcb /2 + · · · . On
the flat hypersurface, the gauge-invariant curvature perturbation ζ is related to the
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 65
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_6, © Springer Japan 2013
66 6 CMB Bispectrum Induced by the Two Scalars and a Graviton Correlator
1 (∓2)
ξ (0) (k) = ζ (k) , ξ (±2) (k) = e (k̂)γab (k) . (6.4)
2 ab
(±2)
Here, eab is a transverse and traceless polarization tensor explained in Appendix
D. The interaction parts of this action have been derived by Maldacena [1] up to the
third-order terms. In particular, we will focus on an interaction between two scalars
and a graviton. This is because the correlation between a small wave number of the
tensor mode and large wave numbers of the scalar modes will remain despite the
tensor mode decays after the mode reenters the cosmic horizon. We find a leading
term of the two scalars and a graviton interaction in the action coming from the
matter part of the Lagrangian through X as
p,X
X |3rd−order ⊃ a −2 γab ∂a ϕ∂b ϕ , (6.5)
2
therefore, the interaction part is given by
Sint ⊃ d 4 x agtss γab ∂a ζ ∂b ζ . (6.6)
Here, we introduce a coupling constant gtss . From the definition of ζ, γab and the
slow-roll parameter, gtss = ε. For a general consideration, let us deal with gtss as
a free parameter. In this sense, constraining this parameter may offer a probe of the
nature of inflation and gravity in the early Universe. The primordial bispectrum is
then computed using in-in formalism in the next section.
In the same manner as discussed in Ref. [1], we calculate the primordial bispec-
trum generated from two scalars and a graviton in the lowest order of the slow-roll
parameter:
3
(±2) (0) (0) ±200
ξ (k1 )ξ (k2 )ξ (k3 ) = (2π ) F 3
(k1 , k2 , k3 )δ
kn ,
n=1
4gtss I (k1 , k2 , k3 )k2 k3 H∗4
F ±200 (k1 , k2 , k3 ) ≡ (6.7)
i (2ki )
3 2 ε2 M 4
2cs∗ ∗ pl
(∓2) ˆ ˆ ˆ
× eab (k1 )k2a k3b ,
k1 k2 + k2 k3 + k3 k1 k1 k2 k3
I (k1 , k2 , k3 ) ≡ −kt + + ,
kt kt2
PT (k)
ξ (λ) (k)ξ (λ )∗ (k ) ≡ (2π )3 δ(k − k )δλ,λ (for λ, λ = ±2) , (6.8)
2
k 3 PT (k) H2 r
= 2 ∗ 2 = 8cs∗ ε∗ A S ≡ A S ,
2π 2 π Mpl 2
Note that f (T SS) seems not to depend on the tensor-to-scalar ratio. In Fig. 6.1 , we
show the shape of I /k1 . From this, we confirm that the initial bispectrum f (T SS)
(6.10) dominates in the squeezed limit as k1 k2 k3 like the local-type bispectrum
of scalar modes given by Eq. (4.7).
In the squeezed limit, the ratio of f (T SS) to the scalar-scalar-scalar counterpart
f (SSS) = 65 f NL PS (k1 )PS (k2 ), which has been considered frequently, reads
In the standard slow-roll inflation model, this ratio becomes O(1) and does not
depend on the tensor-to-scalar ratio because gtss and f NL are proportional to the
slow-roll parameter ε, and I /kt has a nearly flat shape. The average of amplitude is
2 For cs∗ = 1, these results are identical to Eqs. (2.30) and (2.31).
68 6 CMB Bispectrum Induced by the Two Scalars and a Graviton Correlator
1.0
k2 k3
0.8
0.6
20
15
I k1 10
0
0.0
0.5
k1 k3 1.0
Fig. 6.1 Shape of I /k1 . For the symmetric property and the triangle condition, we limit the plot
range as k1 ≤ k2 ≤ k3 and |k1 − k2 | ≤ k3 ≤ k1 + k2
Here, using Eqs. (5.5), (6.7) and (6.9), we explicitly calculate the CMB tensor-scalar-
scalar bispectrum as
3 ∞ kn2 dkn (Z n )
(T ) (S) (S)
aX1, a a
1m1 X2, 2m2 X3, 3m3
= 4π(−i) n T (kn )
0 (2π )3 X n , n
n=1
λ1 x1 3
2 ˆ
× d kn
2
λ1 =±2 n=1
× −λ1 Y ∗
1m1
(kˆ1 )Y ∗
2m2
(kˆ2 )Y ∗3 m 3 (kˆ3 )
× (2π )3 f (T SS) (k1 , k2 , k3 )
3
(∓2) ˆ ˆ ˆ
×e ab(k1 )k2a k3b δ kn . (6.12)
n=1
6.3 Formulation of the CMB Bispectrum 69
At first, we express all parts containing the angular dependence with the spin
spherical harmonics3 :
L1 L2 L3
× I L010L 02 L 3 , (6.14)
M1 M2 M3
Secondly, using Eq. (C.8), we replace all the integrals of spin spherical harmonics
with the Wigner symbols:
1 L1 2
d 2 kˆ1 ∓2 Y ∗1 m 1 (kˆ1 )Y L∗1 M1 (kˆ1 )±2 Y2M∗
(kˆ1 ) = I ±20∓2
1 L12
,
m 1 M1 M
2 L2 1
d 2 kˆ2 Y ∗2 m 2 (kˆ2 )Y L∗2 M2 (kˆ2 )Y1m
∗
(kˆ2 ) = I 02 L0 201 , (6.16)
a m 2 M2 m a
3 L3 1
d 2 kˆ3 Y ∗3 m 3 (kˆ3 )Y L∗3 M3 (kˆ3 )Y1m
∗
(kˆ3 ) = I 03 L0 301 .
b m 3 M3 m b
Thirdly, using the summation formula of five Wigner-3 j symbols as Eq. (C.20), we
sum up the Wigner-3 j symbols with respect to azimuthal quantum numbers in the
above equations and express with the Wigner-9 j symbol as
L1 L2 L3 2 1 1
M1 M2 M3 M ma mb
M1 M2 M3
Mm a m b
1 L1 2 2 L2 1 3 L3 1
×
m 1 M1 M m 2 M2 m a m 3 M3 m b
⎧ ⎫
⎨ 1 2 3⎬
1 2 3
= L L L . (6.17)
m1 m2 m3 ⎩ 1 2 3 ⎭
2 1 1
we can obtain the CMB angle-averaged bispectrum induced from the nonlinear cou-
pling between two scalars and a graviton as
⎧ ⎫
(8π)3/2 L 1 +L 2 +L 3
⎨ 1 2 3 ⎬
B X(T1 SS)
X2 X3, = (−1) 2 I L010L 02 L 3 I 20−2 I0 0 0 I0 0 0 L1 L2 L3
1 2 3 3 1 L12 2 L21 3 L31 ⎩ ⎭
L1 L2 L3 2 1 1
3
∞ 2 ∞
× 2
y dy (−i) n kn2 dkn T X(Zn ,n )n jL n (kn y)
0 π 0
n=1
× f (T SS) (k1 , k2 , k3 ) . (6.19)
Note that the absence of the summation over m 1 , m 2 and m 3 in this equation
means that the tensor-scalar-scalar bispectrum maintains the rotational invariance.
As described above, this consequence is derived from the angular dependence in the
polarization tensor. Also in vector modes, if their power spectra obey the statistical
isotropy like Eq. (6.8), one can obtain the rotational invariant bispectrum by consid-
ering the angular dependence in the polarization vector as Eq. (D.11). Considering
Eq. (6.18) and the selection rules of the Wigner symbols explained in Appendix C,
we can see that the values of L 1 , L 2 and L 3 are limited as
| 1 ± 2|, 1 (for X 1 = I, E)
L1 = , L 2 = | 2 ± 1| , L 3 = | 3 ± 1| ,
| 1 ± 1| (for X 1 = B)
3
|L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 , L i = even , (6.20)
i=1
and the bispectrum (6.19) has nonzero value under the conditions:
3
even (for X 1 = I, E)
| 1 − 2| ≤ 3 ≤ 1 + 2 , i = . (6.21)
i=1
odd (for X 1 = B)
In Figs. 6.2 and 6.3, we describe the reduced CMB bispectra of intensity mode
sourced from two scalars and a graviton coupling:
0.1
16
l (l+1) |blll|/(2π) ×10
0.01
2
0.001
2
0.0001
2
1e-05
TSS + STS + SST
SSS
1e-06
10 100 1000
l
Fig. 6.2 Absolute values of the CMB reduced bispectra of temperature fluctuation for 1 = 2 =
3 ≡ . The lines correspond to the spectra generated from tensor-scalar-scalar correlation given by
Eq. (6.22) with gtss = 5 (red solid line) and the primordial non-Gaussianity in the scalar curvature
local = 5 (green dashed line). The other cosmological parameters are fixed to
perturbations with f NL
the mean values limited from WMAP-7yr data reported in Ref. [10] (Color figure online)
For the numerical computation, we modify the Boltzmann Code for Anisotropies in
the Microwave Background (CAMB) [7, 8].4 In the calculation of the Wigner-3 j
and 9 j symbols, we use the Common Mathematical Library SLATEC [9] and the
summation formula of three Wigner-6 j symbols (C.21). As the radiation transfer
(S) (T )
functions of scalar and tensor modes, namely, T X i , i and T X i , i , we use Eq. (3.101).
From the behavior of each line shown in Fig. 6.3 at small 3 that the reduced CMB
bispectrum is roughly proportional to −2 , we can confirm that the tensor-scalar-
scalar bispectrum has a nearly squeezed-type configuration corresponding to the
shape of the initial bispectrum as discussed above. From Fig. 6.2, by comparing the
green dashed line with the red solid line roughly estimated as
(T SS)
|b I I I, + b(ST
I I I,
S)
+ b(SST )
I I I, | ∼
−4
× 8 × 10−18 |gtss | , (6.24)
4 The CMB bispectra generated from the two scalars and a graviton correlator in Figs. 6.2 and 6.3
become slightly smaller than those in Ref. [2] due to the accuracy enhancement of the numerical
calculation.
72 6 CMB Bispectrum Induced by the Two Scalars and a Graviton Correlator
|/(2π)2×1016
of temperature fluctuation 0.1
generated from tensor-scalar-
scalar correlation given by
0.01
Eq. (6.22) (T SS + ST S +
1l2l3
SST ) and the primordial
l1(l1+1)l3(l3+1)|bl
non-Gaussianity in the scalar 0.001
curvature perturbations (SSS)
as a function of 3 with 1 0.0001
and 2 fixed to some values TSS + STS + SST: l 1 = l2 = 220
as indicated. The parameters 1e-05 1004
are fixed to the same values SSS: l1 = l2 = 220
defined in Fig. 6.2 1004
1e-06
10 100 1000
l3
where σ 1 2 3 denotes the variance of the bispectrum. Assuming the weakly non-
Gaussianity, the variance can be estimated as [13, 14]
σ 21 2 3
≈ C 1C 2C 3Δ 1 2 3 , (6.26)
S/N/gtss
0.001
0.0001
1e-05
10 100 1000
l
2
Here, we use Eq. (6.24) and the approximations as ∼ 3 /24, 3 ∼
000
0.36 × , and 2 C ∼ 6 × 10−10 . We confirm that this is consistent with Fig. 6.4,
which justifies our numerical calculation in some sense. This figure shows that from
the WMAP and PLANCK experimental data [10, 15], which are roughly noise-free
at 500 and 1000, respectively, expected (S/N )/gtss values are 0.05 and 0.11.
Hence, to obtain (S/N ) > 1, we need |gtss | > 20 and 9. The latter value is close to
a naive estimate |gtss | 5, which was discussed at the end of the previous section.
In this chapter, we present a full-sky formalism of the CMB bispectrum sourced from
the primordial non-Gaussianity not only in the scalar but also in the vector and tensor
perturbations. As an extension of the previous formalism discussed in Ref. [5], the
new formalism contains the contribution of the polarization vector and tensor in the
initial bispectrum. In Ref. [5], we have shown that in the all-sky analysis, the CMB
bispectrum of vector or tensor mode cannot be formed as a simple angle-averaged
bispectrum in the same way as that of scalar mode. This is because the angular
integrals over the wave number vectors have complexities for the non-orthogonality
of spin spherical harmonics whose spin values differ from each other if one neglects
the angular dependence of the polarization vector or tensor. In this study, however,
we find that this difficulty vanishes if we maintain the angular dependence in the
initial bispectrum.
To present how to use our formalism, we compute the CMB bispectrum induced
by the nonlinear mode-coupling between the two scalars and a graviton [1]. The
typical value of the reduced bispectrum in temperature fluctuations is calculated as
74 6 CMB Bispectrum Induced by the Two Scalars and a Graviton Correlator
(T SS)
a function of the coupling constant between scalars and gravitons gtss : |b I I I, +
b(ST
I I I,
S)
+ b(SST
|∼
I I I,
) −4 × 8 × 10−18 |g |. Through the computation of the signal-
tss
to-noise ratio, we find that the two scalars and a graviton coupling can be detected
by the WMAP and PLANCK experiment if |gtss | ∼ O(10). Although we do not
include the effect of the polarization modes in the estimation of gtss in this study,
they will provide more beneficial information of the nonlinear nature of the early
Universe.
References
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 75
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_7, © Springer Japan 2013
76 7 Violation of the Rotational Invariance in the CMB Bispectrum
This chapter is organized as follows. In the next section, we briefly review the
inflation model where the scalar waterfall field couples with the vector field and
calculate the bispectrum of curvature perturbations based on Ref. [14]. In Sect. 7.2,
we give an exact form of the CMB statistically anisotropic bispectrum and analyze
its behavior by numerical computation. Finally, we devote the final section to the
summary and discussion.
Throughout this chapter, we obey the definition of the Fourier transformation as
d 3k ˜
f (x) ≡ f (k)eik·x , (7.1)
(2π )3
ζ (te ) = δ N (te , t∗ )
∂N 1 ∂ 2 N 2 ∂ N dφe (A) μ
= δφ∗ + δφ + δ Ae
∂φ∗ 2 ∂φ∗2 ∗ ∂φe d Aμ
1 ∂ N d 2 φe (A) ∂ 2 N dφe (A) dφe (A)
+ + δ Aμ
e δ Ae .
v
(7.3)
2 ∂φe d Aμ d Av ∂φe2 d Aμ d Av
Here, t∗ is the time when the scale of interest crosses the horizon during the slow-
roll inflation. Assuming the sudden decay of all fields into radiations just after the
inflation, the curvature perturbations on the uniform-energy-density hypersurface
become constant after the inflation ends 1 . Hence, at the leading order, the power
spectrum and the bispectrum of curvature perturbations are respectively derived as
2 2
ζ (kn = (2π ) 3
N∗2 Pφ (k1 )δ kn
n=1 n=1
dφe (A) dφe (A)
+ Ne2 δ Aμ
e (k1 )δ Ae (k2 ) ,
v
(7.4)
d Aμ d Av
3 3
ζ (kn = (2π )3 N∗2 N∗∗ [Pφ (k1 )Pφ (k2 ) + 2 perms.]δ kn
n=1 n=1
dφe (A) dφe (A) dφe (A)
+ Ne3 δ Aμ ρ
e (k1 )δ Ae (k2 )δ Ae (k3 )
v
d Aμ d Av d Aρ
4 dφe (A) dφe (A) 1 d 2 φe (A) Nee dφe (A) dφe (A)
+ Ne + 2
d Aμ d Av Ne d Aρ d Aσ Ne d Aρ d Aσ
μ ρ σ
× δ Ae (k1 )δ Ae (k2 )(δ A δ A )e (k3 ) + 2 perms. ,
v
(7.5)
where Pφ (k) = H∗2 /(2k 3 ) is the power spectrum of the fluctuations of the inflaton,
N∗ ≡ ∂ N /∂φ∗ , N∗∗ ≡ ∂ 2 N /∂φ∗2 , Ne ≡ ∂ N /∂φe , Nee ≡ ∂ 2 N /∂φe2 , and
denotes the convolution. Here, we assume that δφ∗ is a Gaussian random field and
δφ Aμ = 0.
For simplicity, we estimate the fluctuation of the vector fields in the Coulomb
gauge: δ A0 = 0 and ki Ai = 0. Then, the evolution equation of the fluctuations of
the vector field is given by
f¨
A¨i − Ai − a 2 ∂ j ∂ j Ai = 0 , (7.6)
f
where Ai ≡ f δ Ai , ˙ denotes the derivative with respect to the conformal time, and we
neglect the contribution from the potential term. When f ∝ a, a −2 with appropriate
quantization of the fluctuations of the vector field, we have the scale-invariant power
spectrum of δ Ai on superhorizon scale as [14, 18, 33]
where a is the scale factor, P i j (k̂) = δ i j − k̂ i k̂ j , ˆ denotes the unit vector, and
f e ≡ f (te ). Therefore, substituting this expression into Eq. (7.4), we can rewrite the
power spectrum of the primordial curvature perturbations, ζ , as
2 2
ζ (kn ) ≡ (2π ) Pζ (k1 )δ
3
kn ,
n=1 n=1
2
Ne
Pζ (k) = Pφ (k) N∗2 + q i q j Pi j (k̂) , (7.8)
fe
with
β
Pζiso (k) = N∗2 Pφ (k)(1 + β) , gβ = − , (7.10)
1+β
where β = (Ne /N∗ / f e )2 |q|2 . The bispectrum of the primordial curvature perturba-
tion given by Eq. (7.5) can be written as
3 3
ζ (kn ) ≡ (2π ) Fζ (k1 , k2 , k3 )δ
3
kn , (7.11)
n=1 n=1
gβ 2 iso
Fζ (k1 , k2 , k3 ) = Pζ (k1 )Pζiso (k2 )
β
N∗∗ 1 cd Nee c d ˆ ˆ
× + β q̂ q̂
2 a b
q̂ + 2 q̂ q̂ Pac (k1 )Pbd (k2 )
N∗2 Ne Ne
+ 2 perms. (7.12)
Here q̂ cd ≡ q cd /|q|2 and we have assumed that the fluctuation of the vector field
μ ρ
δ Ai almost obeys Gaussian statistics; hence δ Ae (k1 )δ Ave (k2 )δ Ae (k3 ) = 0.
7.1 Statistically-Anisotropic Non-Gaussianity in Curvature Perturbations 79
Here in after, for calculating the CMB bispectrum explicitly, we adopt a simple
model whose potential looks like an Abelian Higgs model in the unitary gauge as [14]
λ 2 1 1 1
V (φ, χ , Ai ) = (χ − v2 )2 + g 2 φ 2 χ 2 + m 2 φ 2 + h 2 Aμ Aμ χ 2 , (7.13)
4 2 2 2
where λ, g, and h are the coupling constants, m is the inflaton mass, and v is the
vacuum expectation value of χ . Since the effective mass squared of the waterfall
field is given by
∂2V
m 2χ ≡ = −λv2 + g 2 φe2 + h 2 Ai Ai = 0 , (7.14)
∂χ 2
Fζ (k1 , k2 , k3 ) = C Pζiso (k1 )Pζiso (k2 ) Âa Âb δ cd Pac (kˆ1 )Pbd (kˆ2 ) + 2 perms. ,
φe g 2
C ≡ −gβ2 . (7.17)
Ne h A
Note that in the above expression, we have neglected the effect of the longitu-
dinal polarization in the vector field for simplicity2 and the terms that are sup-
pressed by a slow-roll parameter η ≡ ∂ 2 V /∂φ 2 /V because −N∗∗ /N∗2 Nee /Ne2 −
(Ne φe )−1 η. Since the current
√ CMB observations suggest gβ < O(0.1) (e.g.,
Refs. [1, 2]) and Ne−1 − 2ε, the overall amplitude of the bispectrum in this
model, C, does not seem to be sufficiently large to be detected. However, even if
gβ 1 and ε 1, C can become greater than unity for (g/ h/A)2 φe 1. Thus, we
expect meaningful signals also in the CMB bispectrum. Then, in the next section, we
closely investigate the CMB bispectrum generated from the primordial bispectrum
given by Eq. (7.17) and discuss a new characteristic feature of the CMB bispectrum
induced by the statistical anisotropy of the primordial bispectrum.
2 Owing to this treatment, we can use the quantities estimated in the Coulomb gauge as Eq. (7.12).
In a more precise discussion, we should take into account the contribution of the longitudinal mode
in the unitary gauge.
80 7 Violation of the Rotational Invariance in the CMB Bispectrum
In this section, we give a formula of the CMB bispectrum generated from the pri-
mordial bispectrum, which has statistical anisotropy owing to the fluctuations of the
vector field, given by Eq. (7.17). We also discuss the special signals of this CMB
bispectrum, which vanish in the statistically isotropic bispectrum.
7.2.1 Formulation
The CMB fluctuation can be expanded in terms of the spherical harmonic function as
X (n̂)
= a X,m Ym (n̂) , (7.18)
X
m
where n̂ is a unit vector pointing toward a line-of-sight direction, and X denotes the
intensity (≡ I ) and polarizations (≡ E, B). According to Eq. (5.3), the coefficient,
am , generated from primordial curvature perturbations, ζ , is expressed as
∞ k 2 dk
a X,m = 4π(−i) ζm (k)T X, (k) (for X = I, E) , (7.19)
(2π )3
0
∗
ζm (k) ≡ d 2 k̂ζ (k)Ym (k̂) , (7.20)
where the 2 × 3 matrices of a bracket and a curly bracket denote the Wigner-3 j and
6 j symbols, respectively, and
!
(2l1 + 1)(2l2 + 1)(2l3 + 1) l1 l2 l3
Ils11ls22l3s3 ≡ . (7.25)
4π s1 s2 s3
This equation implies that, owing to the vector field A, the CMB bispectrum has a
direction dependence, and hence, the dependence on m 1 , m 2 , m 3 cannot be confined
only to a Wigner-3 j symbol, namely,
3
1 2 3
ζn m n (kn ) = (2π )3 F1 2 3 (k1 , k2 , k3 ) . (7.28)
m1 m2 m3
n=1
This fact truly indicates the violation of the rotational invariance in the bispectrum
of the primordial curvature perturbations and leads to the statistical anisotropy on
the CMB bispectrum.
Let us consider the explicit form of the CMB bispectrum. Here, we set the coordi-
nate as  = ẑ.√Then, by substituting Eq. (7.27) into Eq. (7.21) and using the relation
Y L∗ A M A (ẑ) = (2L A + 1)/(4π )δ M A ,0 , the CMB bispectrum is expressed as
∞
3 ∞
3
2
a X n ,n m n = − y 2 dy kn2 dkn T X n ,n (kn )
0 π 0
n=1 n=1
1 +2 +L 1 +L 2
+3
× (−1) 2 I L010L 02 3
L1 L2
16
l1(l1+1)l3(l3+1)|<a l1m1al2m2al3m3>|/(2π)2×1016 0.01 0.01
l1m1al2m2al3m3>|/(2π) ×10
2
0.001 0.001
0.0001 0.0001
1e-05 1e-05
l1(l1+1)l3(l +1)|<a
3
1e-06 1e-06
1e-07 1e-07
10 100 1000 100 1000
l3 l3
Fig. 7.1 Absolute values of the CMB statistically anisotropic bispectrum of the intensity mode
given by Eq. (7.29) with C = 1 (red solid line) and the statistically isotropic one given by Eq. (7.31)
with f NL = 5 (green dashed line) for 1 = 2 = 3 . The left and right figures are plotted in the
configurations (m 1 , m 2 , m 3 ) = (0, 0, 0), (10, 20, −30), respectively. The parameters are fixed to
the mean values limited from the WMAP-7yr data as reported in Ref. [38]
By the selection rules of the Wigner symbols described in Appendix C, the ranges
of 1 , 2 , 3 , m 1 , m 2 and m 3 , and the summation ranges in terms of L 1 and L 2 are
limited as
3 3
n = even , mn = 0 ,
n=1 n=1 (7.30)
L 1 = |1 − 2|, 1 , 1 + 2 , L 2 = |2 − 2|, 2 , 2 + 2 ,
|L 2 − 3 | ≤ L 1 ≤ L 2 + 3 .
On the basis of Eq. (7.29), we compute the CMB bispectra for the several ’s and m’s.
Then, we modify the Boltzmann Code for Anisotropies in the Microwave Background
(CAMB) [34, 35] and use the Common Mathematical Library SLATEC [36].
In Fig. 7.1, the red solid lines are the CMB statistically anisotropic bispectra of
the intensity mode given by Eq. (7.29) with C = 1, and the green dashed lines are the
statistically isotropic one sourced from the local-type non-Gaussianity of curvature
perturbations given by Eq. (4.7)
3
1 2 3
a X n ,n m n = I010203
m1 m2 m3
n=1
∞ 3
2 ∞
× 2
y dy kn dkn T X n ,n (kn ) jn (kn y)
2
0 π 0
n=1
84 7 Violation of the Rotational Invariance in the CMB Bispectrum
6
× Pζiso (k1 )Pζiso (k2 ) f NL + 2 perms. (7.31)
5
|2 − 3 | ≤ 1 ≤ 2 + 3 . (7.33)
Therefore, the signals of the configurations (7.32) have the pure information of the
statistical anisotropy on the CMB bispectrum.
Figure 7.2 shows the CMB anisotropic bispectra of the intensity mode given by
Eq. (7.29) with C = 1 for the several configurations of ’s and m’s as a function of
3 . The red solid line and green dashed line satisfy the special relation (7.32), namely,
1 = 2 + 3 + 2, |2 − 3 | − 2, and the blue dotted line obeys a configuration of
Eq. (7.33), namely, 1 = 2 + 3 . From this figure, we confirm that the signals in the
special configuration (7.32) are comparable in magnitude to those for 1 = 2 + 3 .
Therefore, if the rotational invariance is violated on the primordial bispectrum of
curvature perturbations, the signals for 1 = 2 +3 +2, |2 −3 |−2 can also become
beneficial observables. Here, note that the anisotropic bispectra in the other special
configurations: 1 = 2 + 3 + 4, |2 − 3 | − 4 are zero. It is because these signals
arise from only the contribution of L = L = L A = 2, L 1 = 1 ± 2, L 2 = 2 ± 2
in Eq. (7.29) owing to the selection rules of the Wigner symbols, and the summation
7.2 CMB Statistically-Anisotropic Bispectrum 85
l1(l1+1)l3(l3+1)|<al1m1al2m2al3m3>|/(2π)2×1016
l1(l1+1)l3(l3+1)|<al1m1al2m2al3m3>|/(2π)2×1016
1 1
0.1
0.1
0.01
0.01 0.001
0.001 0.0001
1e-05
0.0001
1e-06
1e-05 1e-07
10 100 1000 100 1000
l3 l3
Fig. 7.2 Absolute values of the CMB statistically anisotropic bispectra of the intensity mode given
by Eq. (7.29) for (m 1 , m 2 , m 3 ) = (0, 0, 0) (left panel) and (10, 20, −30) (right one) as the function
with respect to 3 . The lines correspond to the spectra for (1 , 2 ) = (102+3 , 100) (red solid line),
(|100 − 3 | − 2, 100) (green dashed line) and (100 + 3 , 100) (blue dotted line). The parameters
are identical to the values defined in Fig. 7.1
of the four Wigner-3 j symbols over M vanishes for all ’s and m’s. Hence, in this
anisotropic bispectrum, the additional signals arise from only two configurations
1 = 2 + 3 + 2, |2 − 3 | − 2 and these two permutations.
References
25. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, K. Takahashi, Prog. Theor. Phys. 125, 795
(2011). doi:10.1143/PTP.125.795
26. M. Shiraishi, S. Yokoyama, Prog. Theor. Phys. 126, 923 (2011). doi:10.1143/PTP.126.923
27. A.A. Starobinsky, Phys. Lett. B117, 175 (1982). doi:10.1016/0370-2693(82)90541-X
28. A.A. Starobinsky, JETP Lett. 42, 152 (1985)
29. M. Sasaki, E.D. Stewart, Prog. Theor. Phys. 95, 71 (1996). doi:10.1143/PTP.95.71
30. M. Sasaki, T. Tanaka, Prog. Theor. Phys. 99, 763 (1998). doi:10.1143/PTP.99.763
31. D.H. Lyth, K.A. Malik, M. Sasaki, JCAP 0505, 004 (2005). doi:10.1088/1475-7516/2005/05/
004
32. D.H. Lyth, Y. Rodriguez, Phys. Rev. Lett. 95, 121302 (2005). doi:10.1103/PhysRevLett.95.
121302
33. J. Martin, J. Yokoyama, JCAP 0801, 025 (2008). doi:10.1088/1475-7516/2008/01/025
34. A. Lewis, A. Challinor, A. Lasenby, Astrophys. J. 538, 473 (2000). doi:10.1086/309179
35. A. Lewis, Phys. Rev. D70, 043011 (2004). doi:10.1103/PhysRevD.70.043011
36. Slatec common mathematical library. http://www.netlib.org/slatec/
37. The Planck Collaboration, arXiv:astro-ph/0604069 (2006)
38. E. Komatsu, et al., Astrophys. J. Suppl. 192, 18 (2011). doi:10.1088/0067-0049/192/2/18
Chapter 8
Parity Violation of Gravitons in the CMB
Bispectrum
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 89
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_8, © Springer Japan 2013
90 8 Parity Violation of Gravitons in the CMB Bispectrum
where an attractive result is that the cross-correlation between the intensity and
B-mode polarization is generated [14–17]. On the other hand, in the CMB bispec-
trum, owing to the mathematical property of the spherical harmonic function, the
parity-even and parity-odd signals should arise from just the opposite configurations
of multipoles [18, 19]. Then, we formulate and numerically calculate the CMB bis-
pectra induced by these non-Gaussianities that contain all the correlations between
the intensity (I ) and polarizations (E, B) and show that the signals from W 3 (parity-
conserving) appear in the configuration of the multipoles where those from W W 2
(parity-violating) vanish and vice versa. These discussions are based on Ref. [20].
This chapter is organized as follows. In the next section, we derive the primor-
dial bispectrum of gravitons induced by W 3 and W W 2 with the coupling constant
proportional to the power of the conformal time. In Sect. 8.2, we calculate the CMB
bispectra sourced from these non-Gaussianities, analyze their behavior and find some
peculiar signatures of the parity violation. The final section is devoted to summary
and discussion. In Appendices E and F, we describe the detailed calculations of the
contractions of the polarization tensors and unit vectors, and of the initial bispectra
by the in-in formalism. √
Throughout this chapter, we use Mpl ≡ 1/ 8π G, where G is the Newton constant
and the rule that all the Greek characters and alphabets run from 0 to 3 and from 1
to 3, respectively.
with
W 3 ≡ W αβ γ δ W γ δ σρ W σρ αβ ,
W 2 ≡ εαβμν Wμνγ δ W γ δ σρ W σρ αβ ,
W (8.2)
where τ is a conformal time. Here, we have set f (τ∗ ) = 1. Such a coupling can be
readily realized by considering a dilaton-like coupling in the slow-roll inflation as
discussed in Sect. 8.1.2.
where a denotes the scale factor and γi j obeys the transverse traceless conditions;
γii = ∂γi j /∂ x j = 0.1 Up to the second order, even if the action includes the Weyl
cubic terms given by Eq. (8.1), the gravitational wave obeys the action as [11, 12]
2
Mpl
S= dτ d x 3 a 2 (γ̇i j γ̇i j − γi j,k γi j,k ) , (8.5)
8
where ˙ ≡ ∂/∂τ and , i ≡ ∂/∂ x i . We expand the gravitational wave with a transverse
and traceless polarization tensor ei(λ)
j and the creation and annihilation operators
(λ)† (λ)
a , a as
d 3k (λ) (λ)
γi j (x, τ ) = γd S (k, τ )ak ei j (k̂)eik·x + h.c.
(2π )3
λ=±2
d 3k
= γ (λ) (k, τ )ei(λ)
j (k̂)e
ik·x
, (8.6)
(2π )3
λ=±2
with
(λ) (λ)†
γ (λ) (k, τ ) ≡ γd S (k, τ )ak + γd∗S (k, τ )a−k . (8.7)
Here, λ ≡ ±2 denotes the helicity of the gravitational wave and we use the polar-
ization tensor satisfying the relations as Eq. (D.13). The creation and annihilation
operators a (λ)† , a (λ) obey the relations as
(λ)
ak |0 = 0 ,
(λ) (λ )†
a k , ak = (2π )3 δ(k − k )δλ,λ , (8.8)
where |0 denotes a vacuum eigenstate. Then, the mode function of gravitons on the
de Sitter space-time γd S satisfies the field equation as
2
γ̈d S − γ̇d S + k 2 γd S = 0, (8.9)
τ
and a solution is given by
H e−ikτ
γd S = i (1 + ikτ ), (8.10)
Mpl k 3/2
where H = −(aτ )−1 is the Hubble parameter and has a constant value in the exact
de Sitter space-time.
On the basis of the in–in formalism (see, e.g., Refs. [5, 21]) and the above results,
we calculate the tree-level bispectrum of gravitons on the late-time limit. According
to this formalism, the expectation value of an operator depending on time in the
interaction picture, O(t), is written as
Hint (t )dt Hint (t )dt
O(t) = 0 T̄ ei O(t)T e−i 0 , (8.11)
W 2 respectively reduce to
where γi j,αα ≡ γ̈i j + ∇ 2 γi j . Then W 3 and W
W 3 = W i j kl W kl mn W mn i j + 6W 0i jk W jk lm W lm 0i
+ 12W 0i 0 j W 0 j kl W kl 0i + 8W 0i 0 j W 0 j 0k W 0k 0i ,
W 2 = 4ηi jk W jkpq W pq lm W lm 0i + 2W pq 0m W 0m 0i
W (8.14)
+2W jk0 p W 0 p lm W lm 0i + 2W 0 p 0m W 0m 0i ,
where ηi jk ≡ ε0i jk . Using the above expressions and dτ Hint = −Sint , up to the
W 2 are respectively given by
third order, the interaction Hamiltonians of W 3 and W
A
−2 τ
HW 3 = − 3
d xΛ (H τ ) 2
τ∗
1
× γi j,αα γ jk,ββ γki,σ σ + 6γ̇kl,i γ̇kl, j
4
+6γ̇ik,l γ̇ jl,k − 12γ̇ik,l γ̇kl, j , (8.15)
A
−2 τ
HW
W2 = − d xΛ (H τ )
3 2
τ∗
×ηi jk γkq,αα (−3γ jm,ββ γ̇iq,m + γmi,ββ γ̇mq, j )
+4γ̇ pj,k γ̇ pm,l (γ̇il,m − γ̇im,l ) .
Substituting the above expressions into Eq. (8.12), using the solution given by
Eq. (8.10), and considering the late-time limit as τ → 0, we can obtain an explicit
form of the primordial bispectra:
3
3 (r ) (a)
(λn )
γ (kn )int = (2π ) δ
3
kn f int (k1 , k2 , k3 ) f int (k̂1 , k̂2 , k̂3 ), (8.16)
n=1 n=1
with2
0
(r ) H 6 H 2 5+A −ikt τ
fW 3 = 8 Re τ∗−A dτ τ e ,
Mpl Λ −∞
(a) (−λ1 ) 1 (−λ2 ) (−λ3 ) 3 (−λ ) (−λ )
fW 3 = ei j e eki + ekl 2 ekl 3 kˆ2i kˆ3 j
2 jk 4
3 (−λ2 ) (−λ3 ) ˆ ˆ 3 (−λ2 ) (−λ3 ) ˆ ˆ
+ eki e jl k2l k3k − eik ekl k2l k3 j + 5 perms, (8.17)
4 2
6 2 0
(r ) H H 5+A −ikt τ
fW
W 2 =8 Im τ∗−A dτ τ e ,
Mpl Λ −∞
3
Here, kt ≡ 2
n=1 kn , int = W and W W , “5 perms” denotes the five sym-
3
metric terms under the permutations of (kˆ1 , λ1 ), (kˆ2 , λ2 ), and (kˆ3 , λ3 ). From the
above expressions, we find that the bispectra of the primordial gravitational wave
induced from W 3 and W W 2 are proportional to the real and imaginary parts of
τ∗−A −∞ dτ τ 5+A e−ikt τ , respectively. This difference comes from the number of
0
γi j,αα and γ̇i j,k . HW 3 consists of the products of an odd number of the former terms
and an even number of the latter terms. On the other hand, in HW W 2 , the situ-
ation is the opposite. Since the former and latter terms contain γ̈d S − k 2 γd S =
(2H τ /Mpl )k 3/2 e−ikτ and γ̇d S = i(H τ /Mpl )k 1/2 e−ikτ , respectively, the total
numbers of i are different in each time integral. Hence, the contributions of the
(r ) (r )
real and imaginary parts roll upside down in f W 3 and f W W 2 . Since the time integral
in the bispectra can be analytically evaluated as
0 π π
τ∗−A dτ τ 5+A e−ikt τ = cos A + i sin A
−∞ 2 2
×(6 + A)kt−6 (−kt τ∗ )−A , (8.18)
(r ) (r )
f W 3 and f W
W 2 reduce to
6
π 2
H H
f W(r3) = 8 A (6 + A)kt−6 (−kt τ∗ )−A ,
cos (8.19)
Mpl 2 Λ
π
(r ) H 6 H 2
fW
W2 =8 sin A (6 + A)kt−6 (−kt τ∗ )−A , (8.20)
Mpl Λ 2
where (x) is the Gamma function. For more detailed derivation of the graviton
bispectrum, see Appendix F.
From this equation, we can see that in the case of the time-independent coupling,
which corresponds to the A = 0 case, the bispectrum from W W 2 vanishes. This is
3
consistent with a claim in Ref. [12]. On the other hand, interestingly, if A deviates
from 0, it is possible to realize the nonzero bispectrum induced from W W 2 even in
2
the exact de Sitter limit. Thus, we expect the signals from W W without the slow-roll
suppression, which can be comparable to those from W 3 and become sufficiently
large to observe in the CMB.
3 W 2 has a nonzero
In Ref. [12], the authors have shown that for A = 0, the bispectrum from W
value upward in the first order of the slow-roll parameter.
8.1 Parity-Even and -Odd Non-Gaussianity of Gravitons 95
Here, we discuss how to realize f ∝ τ A within the framework of the standard slow-
roll inflation. During the standard slow-roll inflation, the equation of motion of the
scalar field φ, which has a potential V , is expressed as
φ̇ ± 2εφ Mpl τ −1 , (8.21)
where M is an arbitrary energy scale. Let us take τ∗ to be a time when the scale
of the present horizon of the Universe exits the horizon during inflation, namely,
|τ∗ | = k∗−1 ∼ 14Gpc. Then, the coupling f , which determines the amplitude of the
bispectrum of the primordial gravitational wave induced from the Weyl cubic terms,
is on the order of unity for the current cosmological scales. From Eq. (8.23), we
have A = ±1/2 with M = 8εφ Mpl . As seen in Eqs. (8.19) and (8.20), this leads
W 2 have a comparable
to an interesting situation that the bispectra from W 3 and W
(r ) (r )
magnitude as f W 3 = ± f W W 2 . Hence, we can expect that in the CMB bispectrum,
the signals from these terms are almost the same.
In the next section, we demonstrate these through the explicit calculation of the
CMB bispectra.
8.2.1 Formulation
ΔX (n̂)
= a X,m Ym (n̂), (8.24)
X
m
3
(λ )
× γn mn n (kn ) . (8.27)
n=1
(a) 2 L L
fW 3 = (8π ) 3/2
M M M
L ,L =2,3 M,M ,M
∗
× λ1Y2M (kˆ1 )λ2 Y L∗ M (kˆ2 )λ3 Y L∗ M (kˆ3 )
"
1 7
× − δ L ,2 δ L ,2 + (−1) L I Lλ212 0−λ2 λ3 0−λ3
I L 12
20 3
8.2 CMB Parity-Even and -Odd Bispectrum 97
⎛ ⎧ ⎫
% &
⎨ 2 L L ⎬
π 2 L L
× ⎝− −π 1 1 2
5 2 1 1 ⎩ ⎭
1 2 1
⎞⎤
% &% &
2 1 L 2 L L ⎠ ⎦
+2π + 5 perms, (8.28)
21 1 2 1 1
(a)
2 L L
fW = (8π )3/2
W 2
M M M
L ,L =2,3 M,M ,M
∗
× λ1Y2M (kˆ1 )λ2 Y L∗ M (kˆ2 )λ3 Y L∗ M (kˆ3 )(−1) L I Lλ3 0−λ 3
⎡ ⎛ " ⎧ ⎫
12
⎞
% &
2π 2 2 L √ ⎨2 2 L ⎬
× ⎣δ L ,2 ⎝3 − 2 2π 1 1 1 ⎠
12 1 5 ⎩ ⎭
11 2
⎛ ⎧ ⎫ " % ⎞⎤
⎨ 2 L L ⎬
&
λ1 0−λ2 ⎝ 4π 2π 7 2 L L ⎠⎦
+ I Lλ212 − 1 2 1 +
2 3 ⎩ 1 1 2 ⎭ 15 3 1 2 2
+ 5 perms, (8.29)
Next, we integrate all the spin spherical harmonics over kˆ1 , kˆ2 , kˆ3 as
1 L 1 2
d 2 k̂1−λ1 Y∗1 m 1 Y L∗1 M1 λ1 Y2M ∗
= Iλ11L0−λ
12
1
,
m 1 M1 M
2 L 2 L
d 2 k̂2−λ2 Y∗2 m 2 Y L∗2 M2 λ2 Y L∗ M = Iλ22L0−λ 2
, (8.32)
2L
m 2 M2 M
3 L 3 L
d 2 k̂3−λ3 Y∗3 m 3 Y L∗3 M3 λ3 Y L∗ M = Iλ33L0−λ 3
.
3L
m 3 M3 M
Through the summation over the azimuthal quantum numbers, the product of the
above five Wigner-3 j symbols is expressed with the Wigner-9 j symbols as
98 8 Parity Violation of Gravitons in the CMB Bispectrum
L1 L2 L3 2 L L
M1 M2 M3 M M M
M1 M2 M3
M M M
1 L 1 2 2 L 2 L 3 L 3 L
×
m 1 M1 M m 2 M2 M m 3 M3 M
⎧ ⎫
⎨ 1 2 3 ⎬
1 2 3
= L L L . (8.33)
m 1 m 2 m 3 ⎩ 1 2 3 ⎭
2 L L
and considering the selection rules of the Wigner symbols as described in Appendix
C, we derive the CMB bispectrum generated from the non-Gaussianity of gravitons
induced by W 3 as
3 ∞
1 2 3 L 1 +L 2 +L 3
a X n ,n m n = y 2 dy (−1) 2 I L010L 02 L 3
m1 m2 m3 0
n=1 W3 L1 L2 L3
3
2
× (−i)n kn2 dkn T X n ,n (kn ) j L n (kn y) f W(r3) (k1 , k2 , k3 )
π
n=1
⎧ ⎫
⎨ 1 2 3 ⎬
× (8π)3/2 8I20−2 I 20−2 I 20−2 L 1 L 2 L 3
1 L 1 2 2 L 2 L 3 L 3 L ⎩ ⎭
L ,L =2, 3 2 L L
"
1 7 3
(e)
× − δ L ,2 δ L ,2
D L n ,n ,xn
20 3
n=1
(e) (o) (o)
+(−1) L I L20−2 20−2
12 I L 12 D L , ,x D L , ,x D L , ,x
⎛ 1 1 1
⎧ 2 2 2 ⎫ 3 3 3
%
& ⎨2 L L ⎬
π 2L L
× ⎝− −π 1 1 2
5 2 1 1 ⎩ ⎭
1 2 1
% &% &
2 1 L 2 L L
+2π + 5 perms , (8.35)
21 1 2 1 1
8.2 CMB Parity-Even and -Odd Bispectrum 99
W 2 as
and W
3 ∞
1 2 3 L 1 +L 2 +L 3
a X n ,n m n W
W 2 = y 2 dy (−1) 2 I L010L 02 L 3
m1 m2 m3 0
n=1 L1 L2 L3
3
2 (r )
× (−i)n kn2 dkn T X n ,n (kn ) j L n (kn y) W 2 (k1 , k2 , k3 )
fW
π
n=1
⎧ ⎫
⎨ 1 2 3 ⎬
× (8π)3/2 8I20−2 I 20−2 I 20−2 L 1 L 2 L 3 (−1) L I L20−2
1 L 1 2 2 L 2 L 3 L 3 L ⎩
12
⎭
L ,L =2,3 2 L L
(e) (e) (o)
× δ L ,2 D L 1 ,1 ,x1 D L 2 ,2 ,x2 D L 3 ,3 ,x3
⎛ " ⎧ ⎫⎞
% & ⎨ 2 2 L ⎬
2π 2 2 L √
× ⎝3 − 2 2π 1 1 1 ⎠
5 12 1 ⎩ ⎭
11 2
3
(o)
20−2
+I L 12 D L n ,n ,xn
n=1
⎛ ⎧ ⎫ " % ⎞⎤
⎨ 2 L L ⎬
&
4π 2π 7 2 L L ⎠⎦
× ⎝− 1 2 1 + + 5 perms . (8.36)
3 ⎩ 1 1 2 ⎭ 15 3 1 2 2
Here, “5 perms” denotes the five symmetric terms under the permutations of
(1 , m 1 , x1 ), (2 , m 2 , x2 ), and (3 , m 3 , x3 ), and we introduce the filter functions as
(e)
D L ,,x ≡ (δ L ,−2 + δ L , + δ L ,+2 )δx,0
+ (δ L ,−3 + δ L ,−1 + δ L ,+1 + δ L ,+3 )δx,1 ,
(o)
D L ,,x ≡ (δ L ,−2 + δ L , + δ L ,+2 )δx,1
+ (δ L ,−3 + δ L ,−1 + δ L ,+1 + δ L ,+3 )δx,0 , (8.37)
where the superscripts (e) and (o) denote L + + x = even and = odd, respectively.
quantumnumbers m 1 , m 2 ,
From Eqs. (8.35) and (8.36), we can see that the azimuthal
1 2 3
and m 3 are confined only in a Wigner-3 j symbol as . This guarantees
m1 m2 m3
the rotational invariance of the CMB bispectrum. Therefore, this bispectrum survives
if the triangle inequality is satisfied as |1 − 2 | ≤ 3 ≤ 1 + 2 .
Considering
the products between the D functions in Eq. (8.35) and the selection
rules as 3n=1 L n = even, we can notice that the CMB bispectrum from W 3 does
not vanish only for
100 8 Parity Violation of Gravitons in the CMB Bispectrum
3
(n + xn ) = even. (8.38)
n=1
Therefore, W 3 contributes the III, IIE, IEE, IBB, EEE, and EBB spectra for 3n=1
3
n = even and the IIB, IEB, EEB, and BBB spectra for n=1 n = odd. This property
can arise from any sources keeping the parity invariance such as W 3 . On the other
hand, in the same manner, we understand that the CMB bispectrum from W W 2
survives only for
3
(n + xn ) = odd . (8.39)
n=1
By these constraints, we find that in reverse, W W 2 generates the IIB, IEB, EEB,
3
and BBB spectra for n=1 n = even and the III, IIE, IEE, IBB, EEE, and EBB
spectra for 3n=1 n = odd. This is a characteristic signature of the parity violation
as mentioned in Refs. [18, 19]. Hence, if we analyze the information of the CMB
bispectrum not only for 3n=1 n = even but also for 3n=1 n = odd, it may be
possible to check the parity violation at the level of the three-point correlation.
The above discussion about the multipole configurations of the CMB bispectra
can be easily understood only if one consider the parity transformation of the CMB
intensity and polarization fields in the real space (8.24). The III, IIE, IEE, IBB, EEE
and EBB spectra from W 3 , and the IIB, IEB, EEB, and B B B spectra from W W2
have even parity, namely,
3
X i (n̂i )
3
X i (−n̂i )
= . (8.40)
Xi Xi
i=1 i=1
Then, from the multipole expansion (8.24) and its parity flip version as
ΔX (−n̂)
= a X,m Ym (−n̂) = (−1) a X,m Ym (n̂) , (8.41)
X
m m
one can notice that 3n=1 n = even must be satisfied. On the other hand, since the
IIB, IEB, EEB, and BBB spectra from W 3 , and the III, IIE, IEE, IBB, EEE, and EBB
W 2 have odd parity, namely,
spectra from W
3
X i (n̂i )
3
X i (−n̂i )
=− , (8.42)
Xi Xi
i=1 i=1
3
one can obtain n=1 n = odd.
8.2 CMB Parity-Even and -Odd Bispectrum 101
1.0 1.0
0.8 0.8
k3 k1 k3 k1
0.6 0.6
0.0020
0.0010
0.0015
0.0010 0.0005
0.0005
0.0000 0.0000
1.0 1.0
0.5 0.5
0.0 k2 k1 0.0 k2 k1
1.0 1.0
0.8 0.8
k3 k1 k3 k1
0.6 0.6
0.0008
0.0004
0.0006
0.0003
0.0004
0.0002
0.0002 0.0001
0.0000 0.0000
1.0 1.0
0.5 0.5
0.0 k2 k1 0.0 k2 k1
Fig. 8.1 Shape of k12 k22 k32 S A for A = −1/2 (top left panel), 0 (top right one), 1/2 (bottom left
one), and 1 (bottom right one) as the function of k2 /k1 and k3 /k1
In Sect. 8.2.3, we compute the CMB bispectra (8.35) and (8.36) when A =
W 2 and
±1/2, 0, 1, that is, the signals from W 3 become as large as those from W
either signals vanish.
(r) (r)
8.2.2 Evaluation of f W 3 and f
WW2
Here, to compute the CMB bispectra (8.35) and (8.36) in finite time, we express the
(r ) (r )
W 2 , with some terms of the power of k1 , k2 , and k3 . Let
radial functions, f W 3 and f W
us focus on the dependence on k1 , k2 , and k3 in Eqs. (8.19) and (8.20) as
S A (k1 , k2 , k3 )
f W(r3) ∝ f W
(r ) −6
W 2 ∝ kt (−kt τ∗ )
−A
= , (8.43)
(k1 k2 k3 ) A/3 (−τ∗ ) A
(k1 k2 k3 ) A/3
S A (k1 , k2 , k3 ) ≡ . (8.44)
kt6+A
In Fig. 8.1, we plot S A for A = −1/2, 0, 1/2, and 1. From this, we notice that the
shapes of S A are similar to the equilateral-type configuration as Eq. (4.10)
102 8 Parity Violation of Gravitons in the CMB Bispectrum
1 1 1 2
Sequil (k1 , k2 , k3 ) = 6 − 3 3 − 3 3 − 3 3 − 2 2 2
k1 k2 k2 k3 k3 k1 k1 k2 k3
1 1 1 1 1 1
+ + + + + + .
k1 k22 k33 k1 k32 k23 k2 k32 k13 k2 k12 k33 k3 k12 k23 k3 k22 k13
(8.45)
S · S
cos(S · S ) ≡ , (8.46)
(S · S)1/2 (S · S )1/2
with
S(k1 , k2 , k3 )S (k1 , k2 , k3 )
S · S ≡
P(k1 )P(k2 )P(k3 )
ki
1 1
∝ d x2 d x3 x24 x34 S(1, x2 , x3 )S (1, x2 , x3 ) , (8.47)
0 1−x2
where the summation is performed over all ki , which form a triangle and P(k) ∝ k −3
denotes the power spectrum. This correlation function gets to 1 when S = S . In our
case, this is calculated as
⎧
⎪
⎪0.968 (A = −1/2)
⎪
⎨0.970 (A = 0)
cos(S A · Sequil ) , (8.48)
⎪0.971
⎪ (A = 1/2)
⎪
⎩
0.972 (A = 1)
Substituting this into Eqs. (8.19) and (8.20), we obtain reasonable formulae of the
radial functions for A = 1/2 as
8.2 CMB Parity-Even and -Odd Bispectrum 103
4 2 "
(r ) (r ) π2 Mpl 10395 π 1.42 × 10−4 Sequil
fW 3 = fW
W 2 r AS , (8.50)
2 Λ 8 2 (−τ∗ )1/2 (k1 k2 k3 )1/6
(r ) (r )
fW 3 = − fW
W 2
2 4 "
π Mpl 2 945 π
r AS
2 Λ 4 2
× 4.40 × 10−4 (−τ∗ )1/2 (k1 k2 k3 )1/6 Sequil . (8.51)
(r )
In contrast, for A = 1, since f W 3 = 0, we have only the parity-violating contribution
from W W 2 as
4 2
(r ) π2 Mpl 8.09 × 10−5 Sequil
fW
W2 r AS 5760 × . (8.54)
2 Λ (−τ∗ )(k1 k2 k3 )1/3
8.2.3 Results
On the basis of the analytical formulae (8.35), (8.36), (8.51), (8.51), (8.53) and
(8.54), we compute the CMB bispectra from W 3 and W W 2 for A = −1/2, 0, 1/2,
and 1. Then, we modify the Boltzmann Code for Anisotropies in the Microwave
Background (CAMB) [23, 24]. In calculating the Wigner symbols, we use the Com-
mon Mathematical Library SLATEC [25] and some analytic formulae described in
(r ) (r )
Appendices C and D. From the dependence of the radial functions f W 3 and f W W 2
on the wave numbers, we can see that the shapes of the CMB bispectra from W 3
and W W 2 are similar to the equilateral-type configuration. Then, the significant sig-
nals arise from multipoles satisfying 1 2 3 . We confirm this by calculating
the CMB bispectrum for several ’s. Hence, in the following discussion, we give
104 8 Parity Violation of Gravitons in the CMB Bispectrum
the discussion with the spectra for 1 2 3 . However, we do not focus on the
spectra from 3n=1 n = odd for 1 = 2 = 3 because these vanish due to the
asymmetric nature.
In Fig. 8.2, we present the reduced CMB III, IIB, IBB, and BBB spectra given by
1 2 3
3
−1
b X 1 X 2 X 3 ,1 2 3 = (G 1 2 3 ) a X n ,n m n , (8.55)
m1 m2 m3
m1m2m3 n=1
√
2 3 (3 + 1)2 (2 + 1)
G 1 2 3 ≡
1 (1 + 1) − 2 (2 + 1) − 3 (3 + 1)
1
23
n=1 (2n + 1) 1 2 3
× . (8.57)
4π 0 −1 1
At first, from this figure, we can confirm that there are similar features of the CMB
power spectrum of tensor modes [26, 27]. In the III spectra, the dominant signals are
located in 3 < 100 due to the enhancement of the integrated Sachs-Wolfe effect.
On the other hand, since the fluctuation of polarizations is mainly produced through
Thomson scattering at around the recombination and reionization epoch, the BBB
spectra have two peaks for 3 < 10 and 3 ∼ 100, respectively. The cross-correlated
bispectra between I and B modes seem to contain both these effects. These features
back up the consistency of our calculation.
The curves in Fig. 8.2 denote the spectra for A = −1/2, 0, 1/2, and 1, respectively.
We notice that the spectra for large A become red compared with those for small
A. The difference in tilt of between these spectra is just one corresponding to
the difference in A. The curves of the left and right figures obey 3n=1 n = even
and = odd, respectively. As mentioned in Sect. 8.2.1, we stress again that in the
configuration where the bispectrum from W 3 vanishes, the bispectrum from W W 2
survives, and vice versa for each correlation. This is because the parities of these
terms are opposite each other. For example, this predicts
a nonzero III spectrum not
only for 3n=1 n = even due to W 3 but also for 3n=1 n = odd due to W W 2.
3
We can also see that each bispectrum induced by W has a different shape from
that induced by W W 2 corresponding to the difference in the primordial bispectra.
1 2 3
3
b X 1 X 2 X 3 ,1 2 3 ≡ (I01 0203 )−1 a X n ,n m n (8.56)
m1 m2 m3
m1 m2 m3 n=1
3
breaks down for = odd due to the divergence behavior of (I01 0203 )−1 . Here, replacing the
n=1 n
I symbol with the G symbol, this problem is avoided. Of course, for 3n=1 n = even, G 1 2 3 is
0 0 0
identical to I1 2 3 .
8.2 CMB Parity-Even and -Odd Bispectrum 105
Fig. 8.2 Absolute values of the CMB III, IIB, IBB, and BBB spectra induced by W 3 and W W 2 for
A = −1/2, 0, 1/2, and 1. We set that three multipoles have identical values as 1 −2 = 2 −1 = 3 .
The left figures show the spectra not vanishing for 3n=1 n = even (parity-even mode) and the
3
right ones present the spectra for n=1 n = odd (parity-odd mode). Here, we fix the parameters
as Λ = 3 × 106 GeV, r = 0.1, and τ∗ = −k∗−1 = −14Gpc, and other cosmological parameters are
fixed as the mean values limited from the WMAP 7-yr data [4]
Regardless of this, the overall amplitudes of the spectra for A = ±1/2 are almost
identical. However, if we consider A deviating from these values, the balance between
the contributions of W 3 and W W 2 breaks. For example, if −1/2 < A < 1/2, the
106 8 Parity Violation of Gravitons in the CMB Bispectrum
100
l2(l+1) |blll/(2π)2|×1016
0.01
0.0001
1e-06
2
1e-08 3
W (A = -1/2)
1e-10 W3 (A = 0)
3
1e-12 W (A = 1/2)
SSS
1e-14
10 100 1000
l
Fig. 8.3 Absolute value of the CMB III spectra generated from W 3 for A = −1/2 (red solid
line), 0 (green dashed one) and 1/2 (blue dotted one), and generated from the equilateral-type
equil
non-Gaussianity given by Eq. (8.58) with f NL = 300 (magenta dot-dashed one). We set that three
multipoles have identical values as 1 = 2 = 3 ≡ . Here, we fix the parameters as the same
values mentioned in Fig. 8.2
we will never observe the parity violation of gravitons in the CMB bispectrum. On
the other hand, when −3/2 < A < −1/2 or 1/2 < A < 3/2, the contribution of
W W 2 dominates. In an extreme case, if A = odd, since f (r3) = 0, the CMB bispectra
W
arise only from W 2 and violate the parity invariance. Then, the information of the
W
signals under 3n=1 n = odd will become more important in the analysis of the III
spectrum.
In Fig. 8.3, we focus on the III spectra from W 3 for 1 = 2 = 3 ≡ to compare
these with the III spectrum generated from the equilateral-type non-Gaussianity of
curvature perturbations given by
∞
(SSS)
∞
3
2 (S)
bIII,1 2 3 = y 2 dy kn2 dkn T I,n (kn ) jn (kn y)
0 π 0
n=1
3 equil
× f NL (2π 2 A S )2 Sequil (k1 , k2 , k3 ) , (8.58)
5
equil
where f NL is the nonlinearity parameter of the equilateral non-Gaussianity and
(S)
T I, is the transfer function of scalar mode described in Eq. (3.102). Note that these
three spectra vanish for 3n=1 n = odd. From this figure, we can estimate the typical
amplitude of the III spectra from W 3 at large scale as
8.2 CMB Parity-Even and -Odd Bispectrum 107
2
−4 −2 GeV r 4
|b | ∼ × 3.2 × 10 . (8.59)
Λ 0.1
W 2 . On the other
This equation also seems to be applicable to the I I I spectra from W
hand, the CMB bispectrum generated from the equilateral-type non-Gaussianity on
equil
a large scale is evaluated with f NL as
equil
f NL
|b | ∼ −4 × 4 × 10−15 . (8.60)
300
equil
From these estimations and ideal upper bounds on f NL estimated only from the
equil
cosmic variance for < 100 [28–30], namely f NL 300 and r ∼ 0.1, we find a
rough limit: Λ 3 × 10 GeV. Here, we use only the signals for 3n=1 n = even
6
due to the comparison with the parity-conserving bispectrum from scalar-mode non-
Gaussianity. Of course, to estimate more precisely,
we will have to calculate the
signal-to-noise ratio with the information of 3n=1 n = odd [19].
In this chapter, we have studied the CMB bispectrum generated from the graviton non-
Gaussianity induced by the parity-even and parity-odd Weyl cubic terms, namely,
W 3 and W W 2 , which have a dilaton-like coupling depending on the conformal time
as f ∝ τ A . Through the calculation based on the in-in formalism, we have found
that the primordial non-Gaussianities from W W 2 can have a magnitude comparable
3
to that from W even in the exact de Sitter space-time.
Using the explicit formulae of the primordial bispectrum, we have derived the
CMB bispectra of the intensity (I ) and polarization (E, B) modes. Then, we have
confirmed that, owing to the difference in the transformation under parity, the spectra
from W 3 vanish in the space where those from W W 2 survive and vice versa. For
example, owing to the parity-violating W W term, the I I I spectrum can be produced
2
3
not only for n=1 n = even but also for 3n=1 n = odd, and the I I B spectrum can
3
also be produced for n=1 n = even. These signals are powerful lines of evidence
the parityviolation in the non-Gaussian level; hence, to reanalyze the observational
data for 3n=1 n = odd is meaningful work.
When A = −1/2, 0, 1/2, and 1, we have obtained reasonable numerical results of
the CMB bispectra from the parity-conserving W 3 and the parity-violating W W 2 . For
3
A = ±1/2, we have found that the spectra from W and W W have almost the same
2
magnitudes even though these have a small difference in the shapes. In contrast,
if A = 0 and 1, we have confirmed that the signals from W W 2 and W 3 vanish,
respectively. In the latter case, we will observe only the parity-violating signals in
the CMB bispectra generated from the Weyl cubic terms. We have also found that
108 8 Parity Violation of Gravitons in the CMB Bispectrum
the shape of the non-Gaussianity from such Weyl cubic terms is quite similar to the
equilateral-type non-Gaussianity of curvature perturbations. In comparison with the
III spectrum generated from the equilateral-type non-Gaussianity, we have found
equil
that if r = 0.1, Λ 3 × 106 GeV corresponds approximately to f NL 300.
Strictly speaking, to obtain the bound on the scale Λ,
we need to calculate the
signal-to-noise ratio with the information of not only 3n=1 n = even but also
3
n=1 n = odd for each A by the application of Ref. [19]. This will be discussed in
the future.
References
29. P. Creminelli, L. Senatore, M. Zaldarriaga, M. Tegmark, JCAP 0703, 005 (2007). doi:10.1088/
1475-7516/2007/03/005
30. K.M. Smith, M. Zaldarriaga, Mon. Not. Roy. Astron. Soc. 417, 2 (2011). doi:10.1111/j.1365-
2966.2010.18175.x
Chapter 9
CMB Bispectrum Generated from Primordial
Magnetic Fields
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 111
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_9, © Springer Japan 2013
112 9 CMB Bispectrum Generated from Primordial Magnetic Fields
With these motivations, we have studied the CMB scalar, vector and tensor bispec-
tra induced from PMFs and firstly succeeded in the exact computation of them with
the full-angular dependence [24–26] by applying the all-sky formulae for the CMB
bispectrum [27].1 In our studies, we also updated constraints on the PMF strength.
In this chapter, after reviewing the impact of PMFs on the CMB anisotropies, we
present the derivation of the CMB bispectra induced from PMFs and discuss their
behaviors. In addition, we put limits on the PMFs by considering the WMAP data
and the expected PLANCK data [29, 30]. Finally, we mention our future works.
These discussions are based on our studies [24–26].
The PMFs drive the Lorentz force and the anisotropic stress, and change the motion
of baryons (protons and electrons) and the growth of the gravitational potential via the
Euler and Einstein equations. Consequently, the photon’s anisotropy is also affected.
We illustrate this in Fig. 9.1. In the following discussion, we summarize the impacts
of PMFs on the CMB fluctuations in detail and current constraints on the PMFs
obtained from the CMB power spectrum.
Let us consider the stochastic PMFs B b (x, τ ) on the homogeneous background Uni-
verse which is characterized by the Friedmann-Robertson-Walker metric,
1 In Ref. [28], after us, the authors presented an analytic formula for the CMB temperature bispec-
trum generated from vector anisotropic stresses of the PMF.
9.1 CMB Fluctuation Induced from PMFs 113
ds 2 = a(τ )2 −dτ 2 + δbc d x b d x c , (9.1)
where τ is a conformal time and a(τ ) is a scale factor. The expansion of the Universe
makes the amplitude of the magnetic fields decay as 1/a 2 and hence we can draw
off the time dependence as B b (x, τ ) = B b (x)/a 2 . Each component of the energy
momentum tensor (EMT) of PMFs is given by
1
T 00 (x μ ) = −ρ B = − B 2 (x) ≡ −ργ (τ )Δ B (x μ ),
8πa 4
T 0c (x μ ) = T b0 (x μ ) = 0, (9.2)
2
1 B (x) b
T bc (x μ ) = δ c − B b
(x)Bc (x) ≡ ργ (τ ) Δ B (x μ b
)δ c + Π b
Bc (x μ
) .
4πa 4 2
where we have introduced the photon energy density ργ in order to include the
time dependence of a −4 and ργ ,0 denotes the present energy density of photons. In
the following discussion, for simplicity of calculation, we ignore the trivial time-
dependence. Hence, the index is lowered by δbc and the summation is implied for
repeated indices.
Assuming that B a (x) is a Gaussian field, the statistically isotropic power spectrum
of PMFs PB (k) is defined by 2
PB (k)
Ba (k)Bb (p) = (2π )3 Pab (k̂)δ(k + p), (9.4)
2
with a projection tensor
Pab (k̂) ≡ εa(σ ) (k̂)εb(−σ ) (k̂) = δab − k̂a k̂b , (9.5)
σ =±1
which comes from the divergence free nature of PMFs. Here k̂ denotes a unit vec-
(±1)
tor and εa is a normalized divergenceless polarization vector which satisfies the
orthogonal condition; k̂ a εa(±1) = 0. The details of the relations and conventions of
the polarization vector are described in Appendix D. Although the form of the power
2 Here we neglect the helical component. This effect will be considered in Ref. [31].
114 9 CMB Bispectrum Generated from Primordial Magnetic Fields
PB (k) = A B k n B , (9.6)
where A B and n B denote the amplitude and the spectral index of the power spectrum
of magnetic fields, respectively. In order to parametrize the strength of PMFs, we
smooth the magnetic fields with a conventional Gaussian filter on a comoving scale r :
∞ k 2 dk −k 2 r 2
Br2 ≡ e PB (k), (9.7)
0 2π 2
then, A B is calculated as
(2π )n B +5 Br2
AB = , (9.8)
Γ ( n B2+3 )krn B +3
(0) 3 (0)
Π Bs (k) =O (k̂)Π Bi j (k),
2 ij
(±1) 1 (∓1)
Π Bv (k) = Oi j (k̂)Π Bi j (k), (9.9)
2
(±2) 1 (∓2)
Π Bt (k) = Oi j (k̂)Π Bi j (k).
2
These act as sources of the CMB scalar-, vector- and tensor-mode fluctuations as
follow.
If the seed magnetic fields exist in the early Universe, the scalar and tensor compo-
nents of the PMF anisotropic stress are not compensated prior to neutrino decoupling
[15, 17], and the scalar and tensor metric perturbations generated from them survive
passively. These residual metric perturbations generate the CMB anisotropies of the
scalar and tensor modes. These kind of CMB anisotropies are so called “passive
mode” and may dominate at intermediate and large scales depending on the PMF
strength [17].
To estimate curvature perturbation and gravitational wave driven by PMFs
on superhorizon scales, we shall focus on the Einstein equation at the radiation
9.1 CMB Fluctuation Induced from PMFs 115
2 (0/±2) 6 (0/±2)
ḧ (0/±2) (k, τ ) + ḣ (k, τ ) = 2 Rγ Π Bs/t (k), (9.10)
τ τ
where τ B is the conformal time at the generation of the PMF. On the other hand,
after neutrino decoupling (τ > τν = 1 MeV−1 ), resultant neutrino anisotropic stress
compensates the PMF anisotropic stress. Hence, right-hand side of the above Einstein
equation becomes zero and the growth of metric perturbations ceases. Accordingly,
for τ τν , superhorizon-scale comoving curvature and tensor perturbations are
evaluated as
(0) τν
R(k) = R(k, τ B ) + Rγ Π Bs (k) ln , (9.12)
τB
(±2) τν
h (±2) (k) = h (±2) (k, τ B ) + 6Rγ Π Bt (k) ln , (9.13)
τB
√
3 R and h (±2) are equal to −ζ and − 3HT of Refs. [15, 17], respectively.
116 9 CMB Bispectrum Generated from Primordial Magnetic Fields
The vector mode has no equivalent passive mode as the gravitational potential of the
vector mode decays away via the Einstein equation posterior to neutrino decoupling.
Thus, in the vector mode, we need to consider the impact of the PMF on the transfer
function. In Refs. [13, 14, 25, 28], it is discussed that the temperature fluctuations
are generated via Doppler and integrated Sachs-Wolfe effects on the CMB vector
modes. On the basis of them, we derive the transfer function of the vector magnetic
mode as follows.
When we decompose the metric perturbations into vector components as
δg0c = δgc0 = a 2 Ac ,
(V )
δgcd = a 2 ∂c h d + ∂d h (V
c
)
, (9.14)
V ≡ A − ḣ,
Ω ≡ v − A, (9.15)
where v is the spatial part of the four-velocity perturbation of a stationary fluid ele-
ment and a dash denotes a partial derivative of the conformal time τ . Here, choosing
a gauge as ḣ = 0, we can express the Einstein equation
16π Gργ ,0 (Π (V ) (V ) (V )
γ + Πν + Π B )
V̇ + 2H V = − , (9.16)
a2k
and the Euler equations for photons and baryons
(V ) (V )
Here L(V) ≡ kργ ,0 Π B is the Lorentz force of vector mode and Πa = −i k̂b Pac
Πbc , p is the isotropic pressure, the indices γ , ν and b denote the photon, neutrino
and baryon, κ is the optical depth, and R ≡ (ρb + pb )/(ργ + pγ ) 3ρb /(4ργ ). In
the tight-coupling limit as vγ vb , the photon vorticity is comparable to the baryon
one: Ω γ Ω b ≡ Ω. Then, the Euler equations (9.17) and (9.18) are combined into
L(V)
(1 + R)Ω̇ + RH Ω = , (9.19)
a 4 (ργ + pγ )
9.1 CMB Fluctuation Induced from PMFs 117
τ L(V) (k)
Ω(k, τ ) , (9.20)
(1 + R)(ργ ,0 + pγ ,0 )
Note that Eq. (9.19) and the above solution are valid for perturbation wavelengths
larger than the comoving Silk damping scale L S ≡ 2π/k S , namely, k < k S , where
photon viscosity can be neglected compared to the Lorentz force. For k > k S , due
to the effect of the photon vorticity, the Euler equation (9.19) is changed as [12]
k2χ L(V)
(1 + R)Ω̇ + R H + Ω= , (9.21)
aρb a 4 (ργ + pγ )
L(V) (k)
Ω(k, τ ) . (9.22)
(k 2 L γ /5)(ργ ,0 + pγ ,0 )
Hence, we can summarize the vorticity of the baryon and photon fluids as
(V )
Ω(k, τ ) β(k, τ )Π B (k),
ργ ,0 kτ/(1 + R) for k < k S
β(k, τ ) = × . (9.23)
ργ ,0 + pγ ,0 5κ̇/k for k > k S
where τ0 is today and τ∗ is the recombination epoch in conformal time, μk,n ≡ k̂ · n̂,
x ≡ k(τ0 − τ ), and n̂ is a unit vector along the line-of-sight direction. Because of
compensation of the anisotropic stresses, a solution of the Einstein equation (9.16)
expresses the decaying signature as V ∝ a −2 after neutrino decoupling. Therefore,
in an integrated Sachs-Wolfe effect term, the contribution around the recombination
epoch is dominant. Furthermore, neglecting dipole contribution due to v today, we
can form the coefficient of anisotropies as
(V ) ΔI (n̂) ∗
a I, m ≡ d 2 n̂ Y m (n̂)
I
d 3k (V )
d 2
n̂ Π (k) · n̂ Y ∗m (n̂)β(k, τ∗ )e−iμk,n x∗ . (9.25)
(2π )3 B
118 9 CMB Bispectrum Generated from Primordial Magnetic Fields
1 − μ2k,n
Π (V )
B (k) · n̂ → −i
(λ)
Π Bv (k)eiλφk,n ,
2
λ=±1
( )
Y ∗m (n̂) → Dmm S(k̂) Y ∗m (Ωk,n ), (9.26)
m
d 2 n̂ → dΩk,n ,
(V ) (λ) (λ)
where we use the relation: Πa = λ=±1 −iΠ Bv εa and the Wigner D matrix
under the rotational transformation of a unit vector parallel to z axis into k̂ corre-
sponding to Eq. (3.96). Therefore, performing the integration over Ωk,n in the same
(V )
manner as Chap. 3, we can obtain the explicit form of a I, m and express the radiation
transfer function introduced in Eq. (3.100) as
(V ) d 3k (λ) (V )
a I, m = 4π(−i) λ−λ Y ∗m (k̂)Π Bv (k)T I, (k),
(2π )3
λ=±1
1/2
( + 1)! β(k, τ∗ ) j (x∗ )
T I,(V ) (k) √ . (9.27)
( − 1)! 2 x∗
This is consistent with the results presented in Refs. [15, 33]. In the same manner,
the vector-mode transfer functions of polarizations are derived [14, 19]. Then, we
can also express as
(V ) d 3 k x+1 (λ) (V )
a X, = 4π(−i) λ −λ Y ∗m (k̂)Π Bv (k)T X, (k). (9.28)
m
(2π )3
λ=±1
From the above results and Eq. (5.3), the CMB intensity and polarization fluctuations
induced from PMFs are summarized as
(Z ) k 2 dk (λ) (Z )
a X, m = 4π(−i) [sgn(λ)]λ+x ξ m (k)T X, (k),
(2π )3
λ
(0) ∗ τν (0)
ξ m (k) ≈ d k̂Y m (k̂) Rγ ln
2
Π Bs (k), (9.29)
τB
(±1) (±1)
ξ m (k) ≈ d 2 k̂∓1 Y ∗m (k̂)Π Bv (k),
9.1 CMB Fluctuation Induced from PMFs 119
τν
ξ (±2)
m (k) ≈ d 2 k̂∓2 Y ∗m (k̂) 6Rγ ln (±2)
Π Bt (k),
τB
where we take R(k, τ B ) = h (±2) (k, τ B ) = 0, and regard ξ (0) and ξ (±2) as R and
h (±2) , respectively.4
From the formulae (9.29), the CMB power spectra from PMFs are written as
⎡ ⎤
2
2
(Z ) kn2 dkn (Z n )
a X nn, =⎣ 4π(−i) n T (kn ) [sgn(λn )]λn +xn ⎦
n mn (2π )3 X n , n
n=1 n=1 λn
2
(λn )
× ξ n mn
(kn ) . (9.30)
n=1
2 (λn )
To compute the initial power spectrum ξ
n=1 n m n (k n ) , we need to deal with the
power spectrum of the anisotropic stresses as
2
−2
d 3 kn
Π Bab (k1 )Π Bcd (k2 ) = −4πργ ,0
(2π )3
n=1
× Ba (k1 )Bb (k1 − k1 )Bc (k2 )Bd (k2 − k2 )
2
−2
=δ kn −4πργ ,0 d 3 k1 PB (k1 )PB (|k1 − k1 |)
n=1
1
× [Pad (kˆ1 )Pbc (k ˆ
1 − k1 ) + Pac (k1 )Pbd (k1 − k1 )]. (9.31)
4
Note that this equation includes the convolution integral and the complicated angular
dependence. In Refs. [16, 35–37], the authors performed the numerical and analytical
computation of this convolution integral over k1 and provided the fitting formulae
with respect to the magnitude of the wave numbers k1 for each value of the magnetic
spectral index n B .
In Fig. 9.2, we plot the power spectra of the intensity anisotropies (9.30) for the
scalar, vector and tensor modes when magnetic spectrum is nearly scale invariant as
n B = −2.9. Here, we assume that the PMFs generate from the epoch of the grand
unification to that of the electroweak phase transition, i.e., τν /τ B = 1017 − 106 .
Firstly, we will see that the shapes of the tensor and scalar power spectra are similar
to those of the non-magnetic case coming from the scale-invariant primordial spectra
10000
1000
l(l+1)Cl/(2π)T0 [μK ]
2
2 100
10
1 PMF tensor
PMF vector
PMF scalar
curvature
0.1
10 100 1000
l
Fig. 9.2 Power spectra of the CMB intensity fluctuations. The red solid, green dashed and blue
dotted lines correspond to the spectra generated from the tensor, vector and scalar components of
the PMF anisotropic stress for n B = −2.9, respectively. The upper (lower) line of the red solid and
blue dotted ones are calculated when τν /τ B = 1017 (106 ). The magenta dot-dashed line expresses
the spectrum sourced from the primordial curvature perturbations. The strength of PMFs is fixed to
B1 Mpc = 4.7 nG and the other cosmological parameters are fixed to the mean values limited from
WMAP-7yr data reported in Ref. [29] (see colours in online)
shown in Fig. 3.5. This is because PMFs impact on only the primordial gravitational
waves and primordial curvature perturbations, and do not change the transfer func-
tions of the tensor and scalar modes. For 100, the tensor mode dominates over
the intensity signal. The scalar mode seems to dominate in the intermediate scale
as 100 2000. The vector-mode spectrum monotonically increases for larger
than Silk damping scale, namely, k S τ0 ∼ 2000, and decreases for 2000.
These features seem to trace the scaling relation of the transfer function in terms of
the wave number (9.23). Hence, we can understand that the latter damping effect
arises from the viscosity of photons. The vector mode seems to show up for very
small scale, namely, 2000.
In this figure, for comparison, we also plot the CMB intensity power spectrum
from the primordial curvature perturbations not depending on the PMF. In princi-
ple, comparing this spectrum with that sourced from PMFs leads to bounds on the
PMF parameters. Actually, the researchers perform the parameter estimation by the
Malkov Chain Monte Carlo approach [35, 36, 38–42]. So far, the most stringent
limit on the PMF strength from the CMB two-point function data of the intensity and
polarizations are B1 Mpc < 5 nG and n B < −0.12 [40]. In Refs. [35, 42], combining
the CMB data with the information of the matter power spectrum, tighter bounds are
gained.
As discussed above, conventionally, the CMB power spectra from PMFs are com-
puted by using the fitting formulae for the power spectra of the magnetic anisotropic
stresses. However, without these formulae, we can obtain the CMB power spectra
by applying the mathematical tools such as the Wigner symbols [25]. In the remain-
9.1 CMB Fluctuation Induced from PMFs 121
ing part, focusing on the vector mode, we present this new approach and show the
consistency with the conventional result.
From Eq. (9.30), the CMB power spectrum of the intensity mode induced from
the magnetic-vector-mode anisotropic stress is formulated as
2
kn2 dkn (V )∞
(V ) (V )∗
a I, 1 m 1 a I, 2 m 2 = 4π T (kn ) (−i) 1 i 2
0 (2π )3 I, n
n=1
(λ1 ) (λ2 )∗
× λ1 λ2 Π Bv, 1m1
(k 1 )Π Bv, 2 m 2 (k 2 )
λ1 ,λ2 =±1
≡ C I(VI,) 1 δ 1 , 2 δm 1 ,m 2 , (9.32)
where the initial power spectrum, which is expanded by the spin spherical
harmonics, is
(λ ) (λ )∗
Π Bv,1 1 m 1 (k1 )Π Bv,2 2 m 2 (k2 ) = (−4πργ ,0 )−2
× d 2 kˆ1 d 2 kˆ2−λ1 Y ∗1 m 1 (kˆ1 )−λ2 Y 2 m 2 (kˆ2 )
kD kD
2
× k1 dk PB (k1 ) k22 dk2 PB (k2 )
0 0
× d 2 kˆ1 d 2 kˆ2 δ(k1 − k1 − k2 )δ(k2 − k2 − k1 )
1 (−λ ) (λ )
× kˆ1a εb 1 (kˆ1 )kˆ2c εd 2 (kˆ2 )
4
× Pad (kˆ1 )Pbc (kˆ2 ) + Pac (kˆ1 )Pbd (kˆ2 ) , (9.33)
(±1)
where we use Eq. (9.9) and the definition of the vector projection operator, Oab (k̂),
in Appendix D. Note that we rewrote the power spectrum (9.31) as more symmetric
form in terms of k1 , k2 and k3 . Then, we should simplify this initial power spectrum.
For the first part in two permutations, we calculate δ-functions and the summations
with respect to a, b, c and d:
∞ L 1 +3L 2 +3L 3
δ(k1 − k1 − k2 ) = 8 A2 d A (−1) 2 I L010L 02 L 3
0 L1 L2 L3
M1 M2 M3
× j L 1 (k1 A) j L 2 (k1 A) j L 3 (k2 A)
× Y L∗1 M1 (kˆ1 )Y L 2 M2 (kˆ1 )Y L∗3 −M3 (kˆ2 )
L1 L2 L3
× (−1) M2
,
M1 −M2 −M3
122 9 CMB Bispectrum Generated from Primordial Magnetic Fields
∞ L 1 +3L 2 +3L 3
δ(k2 − k2 − k1 ) = 8 B2d B (−1) 2 I L0 0L 0 L
0 1 2 3
L 1 L 2 L 3
M1 M2 M3
M2 L 1 L 2 L 3
× (−1) ,
M1 −M2 −M3
ˆ (λ2 ) ˆ ˆ 4π 2
k1a εd (k2 )Pad (k1 ) = λ2
3
σ =±1 m a ,m d =±1,0
M2 +m a 1 1 Lk L1 L2 L3
(−1)
m a m b Mk M1 −M2 −M3
M1 M2 M3
Mk m a m b
L3 1 L L2 1 L L1 1 Lk
×
−M3 m b M M2 −m a M M1 m 1 Mk
⎧ ⎫
⎨L L 1⎬
L L
= (−1) M+ 1 +L 3 +L+1 1
L L L ,
M −M m 1 ⎩ 3 2 1 ⎭
1 1 Lk
M2 +m c 1 1 Lp L 1 L 2 L 3
(−1) (9.36)
−m c −m d M p M1 −M2 −M3
M1 M2 M3
M p mc md
L 2 1 L L 3 1 L L 1 2 L p
M2 −m c M −M3 m d M −M1 m 2 M p
⎧ ⎫
⎨L L 2⎬
L L
= (−1) M + 2 +L 2 +L+1+L p 2
L L L ,
M −M m 2 ⎩ 2 3 1 ⎭
1 1 Lp
L L 1 L L 2 (−1)m 2
(−1) M+M = δ 1, 2 δm 1 ,m 2 . (9.37)
M −M m 1 M −M m 2 2 1+1
M M
Following the same procedures in the other permutation and calculating the sum-
mation over L p as
⎧ ⎫ ⎧ ⎫
0λ −λ 0λ −λ 1 + (−1) L p ⎨ L L 2 ⎬ 3 0λ2 −λ2
⎨L L 2⎬
2 2 2
I L L I11L 2
L L L = − √ IL 2
L L L ,
1 2 p p 2 ⎩ 2 3 1⎭ 2 2π 1 2 ⎩ 13 12 21 ⎭
Lp 1 1 Lp
(9.38)
we can obtain the exact solution of Eq. (9.33) as
√ 2
(λ1 ) (λ2 )∗ 2π 8(2π)1/2
Π Bv, 1m1
(k 1 )Π (k
Bv, 2 m 2 2 ) = − /(2 1 + 1)δ 1 , 2 δm 1 ,m 2
3 3ργ ,0
3 L i +L i
× (−1) i=1 2 I L010L 02 L 3 I L0 0L 0 L
1 2 3
L L L1 L2 L3
L 1 L 2 L 3
⎧ ⎫⎧ ⎫
⎨ L L 1 ⎬ ⎨ L L 2 ⎬
× (−1) L 2 +L 3 L 3 L 2 L 1 L L L
⎩ ⎭⎩ 2 3 1 ⎭
Lk 1 1 Lk 1 1 2
124 9 CMB Bispectrum Generated from Primordial Magnetic Fields
∞ ∞
× A2 d A j L 1 (k1 A) B 2 d B j L 1 (k2 B)
0 0
kD
× k12 dk1 PB (k1 ) jL 2 (k1 A) jL 3 (k1 B)
0
kD
× k22 dk2 PB (k2 ) jL 2 (k2 B) jL 3 (k2 A)
0
0S−S 0S −S 0S −S
× (−1) L 2 +L 2 +L 3 +L 3 I L0S−S
1L I L 1L I L 1L I L 1L
2 3
3 2
S,S =±1
Note that in this equation, the dependence on the azimuthal quantum number is
included only in δm 1 ,m 2 . In the similar discussion of the CMB bispectrum, this
implies that the CMB vector-mode power spectrum generated from the magnetized
anisotropic stresses is rotationally-invariant if the PMFs satisfy the statistical isotropy
as Eq. (9.4).
Furthermore, using such evaluations as
0S−S 0S −S 0S −S
(−1) L 2 +L 2 +L 3 +L 3 I L0S−S
1L I L 1L I L 1L I L 1L
3 2 3 2
S,S =±1
⎨L L ⎬⎨ L L ⎬
× L3 L2 L1 L L L . (9.43)
⎩ ⎭⎩ 2 3 1⎭
1 1 Lk 1 1 2
Here, we use the thin LSS approximation described in Sect. 9.3.1. This has nonzero
value in the configurations:
L 1 + L 2 + L 3 = even, L 1 + L 2 + L 3 = even,
|L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 , |L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 .
This shape is described in Fig. 9.3. From this figure, we confirm that the amplitude
and the overall behavior of the red solid line are in broad agreement with the green
dashed line of Fig. 9.2 and the previous studies (e.g. [15–17, 43]). For 2000, using
the scaling relations of the Wigner symbols at the dominant configuration L ∼ , L ∼ 1
(V )
as discussed in Sect. 9.5, we analytically find that C I, ∝ n B +3 . This traces our
numerical results as shown by the green dashed line.
This computation approach is of great utility in the higher-order correlations. In the
next section, in accordance with this approach, we compute the CMB bispectra sourced
from PMFs.
In this section, we derive the explicit form of the CMB bispectra induced from PMFs
by calculating the full-angular dependence which has never been considered in the
previous studies [20–23, 28]. The following procedures are based on the calculation
rules discussed in Ref. [25].
126 9 CMB Bispectrum Generated from Primordial Magnetic Fields
10000
1000
10
1 PMF vector
2.1
∝l
primary scalar
0.1
100 1000
l
Fig. 9.3 CMB power spectra of the temperature fluctuations. The lines correspond to the spectra
generated from vector anisotropic stress of PMFs as Eq. (9.43) (red solid line) and primordial
curvature perturbations (blue dotted line). The green dashed line expresses the asymptotic power
of the red solid one. The PMF parameters are fixed to n B = −2.9 and B1 Mpc = 4.7 nG, and the
other cosmological parameters are fixed to the mean values limited from WMAP-7yr data reported
in Ref. [29] (see colours in online)
According to Eq. (9.2), EMT of PMF at an arbitrary point, T μ ν (x), depends quadrat-
ically on the Gaussian magnetic fields at that point. This non-Gaussian structure is
identical to the local-type non-Gaussianity of the curvature perturbations as mentioned
in Sect. 4.2, hence it is expected that the statistical properties of the magnetic fields obey
those of the local-type non-Gaussianity. This will be automatically shown in Sect. 9.4.
Using Eq. (9.4) and the Wick’s theorem, the bispectrum of the anisotropic stresses
is calculated as
Π Bab (k1 )Π Bcd (k2 )Π Be f (k3 )
3
−3 d 3 kn
= −4πργ ,0
(2π)3
n=1
× Ba (k1 )Bb (k1 − k1 )Bc (k2 )Bd (k2 − k2 )Be (k3 )B f (k3 − k3 )
3
−3 kD
2 2 ˆ
= −4πργ ,0 k dk PB (k ) d k n n n n
n=1 0
×δ(k1 − k1 + k3 )δ(k2 − k2 + k1 )δ(k3 − k3 + k2 )
1
× [Pad (kˆ1 )Pbe (kˆ3 )Pc f (kˆ2 ) + {a ↔ b or c ↔ d or e ↔ f }], (9.45)
8
9.2 Formulation for the CMB Bispectrum Induced from PMFs 127
where k D is the Alfvén-wave damping length scale [44, 45] as k −1 D ∼ O (0.1) Mpc
and the curly bracket denotes the symmetric 7 terms under the permutations of indices:
a ↔ b, c ↔ d, or e ↔ f . Note that we express in a more symmetric form than that
of Ref. [18] to perform
the angular integrals which is described in Sect. 9.2. To avoid
the divergence of Π Bab (k1 )Π Bcd (k2 )Π Be f (k3 ) in the IR limit, the value range of
the spectral index is limited as n B > −3. We note that this bispectrum depends on the
Gaussian PMFs to six, hence this is highly non-Gaussian compared with the bispectrum
of primordial curvature perturbations proportional to the Gaussian variable to four as
shown in Sect. 4.2.
Following the general formula (5.5) and using Eq. (9.29), the CMB bispectra induced
from PMF are written as
3 ⎡ 3 ∞ 2
⎤
(Z ) k dk (Z )
a X nn, n m n = ⎣ [sgn(λn )] n n ⎦
λ +x
n
4π(−i) n n
T n (kn )
0 (2π)3 X n , n
n=1 n=1 λn
3
(λ )
× ξ n m n (kn ) .
n
(9.46)
n=1
with ⎧
⎪ τν
⎪
3
⎨ 2 Rγ ln τB (λ = 0)
Cλ ≡ 1
(λ = ±1) . (9.48)
⎪2
⎪
⎩3R ln τν
(λ = ±2)
γ τB
Let us consider this exact expression by expanding all the angular dependencies with
the spin-weighted spherical harmonics and rewriting the angular integrals with the
summations in terms of the multipoles and azimuthal quantum numbers.
In the first step, in order to perform all angular integrals, we expand each function of
the wave number vectors with the spin-weighted spherical harmonics. By this concept,
three delta functions are rewritten as
∞ L 1 +3L 2 +L 3
δ(k1 − k1 + k3 ) = 8 A2 d A (−1) 2 I L010L 02 L 3
0 L1 L2 L3
M1 M2 M3
× j L 1 (k1 A) j L 2 (k1 A) j L 3 (k3 A)
L1 L2 L3
× Y L∗1 M1 (kˆ1 )Y L 2 M2 (kˆ1 )Y L∗3 M3 (kˆ3 )(−1) M2 ,
M1 −M2 M3
∞ L 1 +3L 2 +L 3
δ(k2 − k2 + k1 ) = 8 B2d B (−1) 2 I L0 0L 0 L
0 1 2 3
L 1 L 2 L 3
M1 M2 M3
where (
s1 s2 s3 (2 1 + 1)(2 2+ 1)(2 3 + 1) 1 2 3
I ≡ . (9.50)
1 2 3 4π s1 s2 s3
The other functions in Eq. (9.47), which depend on the angles of the wave number
vectors, can be also expanded in terms of the spin-weighted spherical harmonics as
9.2 Formulation for the CMB Bispectrum Induced from PMFs 129
where we have used Eq. (9.5), some relations in Appendices C and D, and the definition
(D.23) as
(
(λ) 3 2 1 1
∗ ma mb
Oab (k̂) = Cλ −λ Y2M (k̂)αa αb ,
8π M ma mb
Mm a m b
⎧
⎪
⎨−2 (λ = 0)
√
Cλ = 2 3λ (λ = ±1) . (9.52)
⎪
⎩ √
2 3 (λ = ±2)
In the second step, let us consider performing all angular integrals and replacing
them with the Wigner-3 j symbols. Three angular integrals with respect to kˆ1 , kˆ2 and
kˆ3 are given as
d 2 kˆ1 −σ1 Y1m
∗
Y Y∗ Y∗
a L 2 M2 σ1 1m d L 3 M3
1 −S 0−σ1 −S
=− (−1)m a I L0−σ
1L I L 2 1L
3
L M S=±1
L 3 1 L L2 1 L
× ,
M3 m d M M2 −m a M
d 2 kˆ2 −σ2 Y1m
∗
Y Y ∗ Y ∗ M
c L 2 M2 σ2 1m f L
3 3
m c 0−σ2 −S 0−σ2 −S
=− (−1) I L 1L I L 1L (9.53)
3 2
L M S =±1
130 9 CMB Bispectrum Generated from Primordial Magnetic Fields
L 3 1 L L 2 1 L
× ,
M3 m f M M2 −m c M
d 2 kˆ3 −σ3 Y1m
∗
Y Y ∗ Y ∗
e L 2 M2 σ3 1m b L 3 M3
0−σ −S
3 −S
=− (−1)m e I L0−σ
3 1L
I L 1L3
2
L M S =±1
L 3 1 L L 2 1 L
× ,
M3 m b M M2 −m e M
where we have used a property of spin-weighted spherical harmonics given by Eq. (C.7).
We can also perform the angular integrals with respect to kˆ1 , kˆ2 and kˆ3 as
L1 1 2
d kˆ1 Y L∗1 M1 −λ1 Y ∗1 m 1 λ1 Y2μ
2 ∗
= I L0λ1 11−λ 1
,
1 2 M 1 m 1 μ1
L 1 2 2
d 2 kˆ2 Y L∗ M −λ2 Y ∗2 m 2 λ2 Y2μ
∗
= I L0λ 2 −λ 2
, (9.54)
1 1 2 21 2 M1 m 2 μ2
L 1 3 2
d 2 kˆ3 Y L∗ M −λ3 Y ∗3 m 3 λ3 Y2μ
∗
= I L0λ 3 −λ 3
.
1 1 3 21 3 M1 m 3 μ3
At this point, all the angular integrals in Eq. (9.47) have been reduced into the Wigner-3 j
symbols.
As the third step, we consider summing up the Wigner-3 j symbols in terms of the
azimuthal quantum numbers and replacing them with the Wigner-6 j and 9 j symbols,
which denote Clebsch-Gordan coefficients between two other eigenstates coupled to
three and four individual momenta [27, 46–48]. Using these properties, we can express
the summation of five Wigner-3 j symbols with a Wigner-9 j symbol:
L1 L2 L3 2 1 1
(−1) M2 +m a
M1 −M2 M3 μ1 m a m b
M1 M2 M3
μ1 m a m b
L 3 1 L L2 1 L L1 1 2
×
M3 m b M M2 −m a M M 1 m 1 μ1
⎧ ⎫
⎨L L 1 ⎬
L L
1 +L 3 +L
1
= −(−1) M+ L3 L2 L1 ,
M −M m 1 ⎩ ⎭
1 1 2
M2 +m c L 1 L 2 L 3 2 1 1
(−1) −M M
M 1 2 3 μ 2 mc md
M1 M2 M3
μ2 m c m d
L 3 1 L L 2 1 L L 1 2 2
× (9.55)
M3 m d M M2 −m c M M m 2 μ2
⎧ 1 ⎫
⎨ L L 2⎬
L L
= −(−1) M + 2 +L 3 +L 2
L L L ,
M −M m 2 ⎩ 3 2 1⎭
1 1 2
9.2 Formulation for the CMB Bispectrum Induced from PMFs 131
L 1 L 2 L 3 2 1 1
(−1) M2 +m e
M1 −M2 M3 μ3 m e m f
M1 M2 M3
μ3 m e m f
L 3 1 L L 2 1 L L 1 3 2
×
M3 m f M M2 −m e M M m 3 μ3
⎧ 1 ⎫
⎨L L 3⎬
+
3 +L 3 +L
L L
= −(−1) M 3
L L L .
M −M m 3 ⎩ 3 2 1⎭
1 1 2
Furthermore, we can also sum up the renewed Wigner-3 j symbols arising in the above
equations over M, M and M with the Wigner-6 j symbol as [49]
L L L L L L
(−1) M+M +M
1 2 3
M −M m 1 M −M m 2 M −M m 3
M M M
) *
L+L +L 1 2 3 1 2 3
= (−1) . (9.56)
m1 m2 m3 L L L
With this prescription, onecan find that the three azimuthal numbers are confined only in
1 2 3 (λ )
the Wigner-3 j symbol as . This 3 j symbol arises from 3n=1 ξ n mn n (kn )
m1 m2 m3
and exactly ensures the rotational invariance of the CMB bispectrum as pointed out
above.
Consequently, we can obtain an exact form of the primordial angular bispectrum
given by
3
3
(λ )
kD
−3
ξ n mn n (kn ) = 1 2 3
(−4πργ ,0 ) kn2 dkn PB (kn )
m1 m2 m3
n=1 n=1 0
) *
1 2 3
×
L L L
L L L S,S ,S =±1
× f LS LSλ11 (k3 , k1 , k1 ) f LSSL λ22 (k1 , k2 , k2 ) f LS LS λ33 (k2 , k3 , k3 ),
(9.57)
132 9 CMB Bispectrum Generated from Primordial Magnetic Fields
where
∞
f LS LSλ (r3 , r2 , r1 ) = y 2 dy j L 3 (r3 y) j L 2 (r2 y) j L 1 (r1 y)
L1 L2 L3 0
L 1 +L 2 +L 3
+L 2 +L 3
×(−1) (−1) 2
⎧ ⎫
⎨L L ⎬
0S −S
×I 000
I
L 1 L 2 L 3 L 3 1L I L0S−S I 0λ−λ
2 1L L 1 2 ⎩
L 3 L 2 L 1
⎭
1 1 2
⎧
⎪
⎨ √3 (8π) Rγ ln (τν /τ B ) (λ = 0)
2 3/2
Substituting Eq. (9.57) into Eq. (9.46), we can formulate the CMB bispectra gener-
ated from arbitrary three modes such as the scalar-scalar-vector and tensor-tensor-tensor
correlations with the f function as
3
(Z )
a X nn, n m n = 1 2 3
(−4πργ ,0 )−3
m1 m2 m3
n=1
3 2
kn dkn (Z n )
× (−i) n T (kn )
2π 2 X n , n
n=1
⎤
kD
× [sgn(λn )]λn +xn kn2 dkn PB (kn )⎦
λn 0
) *
1 2 3
×
L L L
L L L S,S ,S =±1
× f LS LSλ11 (k3 , k1 , k1 ) f LSSL λ22 (k1 , k2 , k2 ) f LS LS λ33 (k2 , k3 , k3 ). (9.60)
From this form, it can be easily seen that due to the sextuplicate dependence on the
Gaussian PMFs, the Wigner-6 j symbol connects the true multipoles ( 1 , 2 and 3 )
and the dummy ones (L , L and L ), and the 1-loop calculation with respect to these
multipoles is realized as illustrated in the left panel of Fig. 9.4a. Due to the extra
summations over L , L and L , it takes a lot of time to compute this compared with the
tree-level calculation presented in the previous sections.
9.3 Treatment for Numerical Computation 133
(a) (b)
Fig. 9.4 Diagrams with respect to multipoles [34]. The left panel (a) corresponds to Eq. (9.60).
Due to the Wigner-6 j symbol originated with the sextuplicate dependence on the Gaussian PMFs,
the true multipoles 1 , 2 and 3 are linked with the dummy ones L , L , and L and the 1-loop
structure is realized. The right panel (b) represents the tree-structure diagram, which arises from
the CMB bispectrum induced by the four-point function of the Gaussian fields as mentioned in the
previous sections
In order to perform the numerical computation of the CMB bispectra, we give the
explicit angle-averaged form of Eq. (9.60) as
) *
(Z Z Z ) −3 1 2 3
B X 11X 22X 33, = C Z 1 C Z 2 C Z 3 −4πργ ,0
1 2 3 L L L
L L L
3 L n +L n +L
n +2 n
× (−1) n=1 2 I L010L 02 L 3 I L0 0L 0 L I L00L0 L
1 2 3 1 2 3
L1 L2 L3
L 1 L 2 L 3
L 1 L 2 L 3
⎧ ⎫⎧ ⎫⎧ ⎫
⎨ L L 1 ⎬ ⎨ L L 2 ⎬ ⎨ L L 3 ⎬
× L3 L2 L1 L L L L L L
⎩ ⎭⎩ 3 2 1⎭⎩ 3 2 1 ⎭
1 1 2 1 1 2 1 1 2
3
∞ k 2 dk
(Z n )
n n
× (−i) n T (kn )
0 2π 2 X n , n
n=1
∞ ∞ ∞
× A2 d A j L 1 (k1 A) B 2 d B j L 1 (k2 B) C 2 dC j L 1 (k3 C)
0 0 0
kD
× k12 dk1 PB (k1 ) j L 2 (k1 A) j L 3 (k1 B)
0
kD
× k22 dk2 PB (k2 ) j L 2 (k2 B) j L 3 (k2 C)
0
kD
× k32 dk3 PB (k3 ) j L 2 (k3 C) j L 3 (k3 A)
0
134 9 CMB Bispectrum Generated from Primordial Magnetic Fields
× (−1) L 2 +L 2 +L 2 +L 3 +L 3 +L 3
S,S ,S =±1
0S−S 0S −S 0S −S 0S −S 0S −S
×I L0S−S
1L I L 1L I L 1L I L 1L I L 1L I L 1L
2 3
3 3 2 2
with ⎧
⎪
⎨ √3 (8π) Rγ ln (τν /τ B ) (Z = S)
2 3/2
CZ ≡ (Z = V ) .
3 (8π)
2 3/2 (9.62)
⎪
⎩ −4(8π) 3/2 R ln (τ /τ ) (Z = T )
γ ν B
8 (L 3 + L 2 , L 3 + L 2 , L 3 + L 2 = even)
× . (9.63)
0 (otherwise)
where N S is the number of the scalar modes constituting the CMB bispectrum.5 Thus,
we rewrite the bispectrum as
) *
−3
B X(Z11XZ22XZ33,) 1 = C Z 1 C Z 2 C Z 3 −4πργ ,0 1 2 3
2 3 L L L
L L L
3 L n +L n +L
n +2 n
× (−1) n=1 2 I L010L 02 L 3 I L0 0L 0 L I L00L0 L
1 2 3 1 2 3
L1 L2 L3
L 1 L 2 L 3
L 1 L 2 L 3
respectively.
9.3 Treatment for Numerical Computation 135
⎧ ⎫⎧ ⎫⎧ ⎫
⎨ L L 1 ⎬ ⎨ L L 2 ⎬ ⎨ L L 3 ⎬
× L3 L2 L1
L L L
L L L
⎩ ⎭⎩ 3 2 1 ⎭⎩ 3 2 1 ⎭
1 1 2 1 1 2 1 1 2
3
∞ k 2 dk
(Z n )
n n
× (−i) n T (kn )
0 2π 2 X n , n
n=1
∞ ∞ ∞
× A2 d A j L 1 (k1 A) B 2 d B j L 1 (k2 B) C 2 dC jL 1 (k3 C)
0 0 0
kD
× k12 dk1 PB (k1 ) jL 2 (k1 A) j L 3 (k1 B)
0
kD
× k22 dk2 PB (k2 ) jL 2 (k2 B) jL 3 (k2 C)
0
kD
× k32 dk3 PB (k3 ) jL 2 (k3 C) jL 3 (k3 A)
0
1L I L 1L I L 1L I L 1L I L 1L I L 1L Q L ,L 2 ,L Q L ,L ,L Q L 3 ,L ,L
×8I L01−1 01−1 01−1 01−1 01−1 01−1
3 2 3 2 3 2 3 3 2 2
0|λ1 |−|λ1 | 0|λ2 |−|λ2 | 0|λ3 |−|λ3 |
×23−N S I L 1 1 2
I L 2 I L 2 U L 1 , 1 ,x1 U L 1 , 2 ,x2 U L 1 , 3 ,x3 ,
1 2 1 3
(9.65)
The above analytic expression seems to be quite useful to calculate the CMB bispectrum
induced from PMFs with the full-angular dependence. However, it is still too hard to
calculate numerically, because the full expression of the bispectrum has six integrals.
In addition, when we calculate the spectra for large ’s, this situation becomes worse
since we spend a lot of time calculating the Wigner symbols for large ’s. The CMB
signals of the vector mode appear at > 2000, hence we need the reasonable approx-
imation in calculation of the CMB bispectra composed of the vector modes. In what
follows, we introduce an approximation, the so-called thin last scattering surface (LSS)
approximation to reduce the integrals.
exact / approximate
to the case for L 1 = 1 + 2
(red solid line), for L 1 = 1
(green dashed one), and for 1
L 1 = 1 − 2 (blue dotted one)
(see colours in online)
0.5
0
10 100 1000
l1
recombination epoch. According to Sect. 9.1.3, the vorticity of subhorizon scale sourced
by magnetic fields around the recombination epoch mostly contributes to generate the
CMB vector perturbation. On the other hand, since the vector mode in the metric decays
after neutrino decoupling, the integrated Sachs-Wolfe effect after recombination is not
observable. Such a behavior of the transfer function would be understood on the basis of
(V )
the calculation in Sect. 9.1 and we expect T I, 1 (k) ∝ j 1 (k(τ0 −τ∗ )), and the k-integral
behaves like δ(A − (τ0 − τ∗ )). By the numerical computation, we found that
∞ ∞
(V )
A2 d A k12 dk1 T I, 1 (k1 ) j L 1 (k1 A)
0 0
2 τ∗ (V )
(τ0 − τ∗ ) k12 dk1 T I, 1 (k1 ) j 1 (k1 (τ0 − τ∗ )), (9.67)
5
6 Of course, if we calculate the bispectrum at smaller multipoles and the CMB bispectra are produced
by other modes than the vector one, we may perform the full integration without this approximation.
9.3 Treatment for Numerical Computation 137
∞ ∞
× B 2 d B j L 1 (k2 B) C 2 dC j L 1 (k3 C)
0 0
kD
× k12 dk1 PB (k1 ) j L 2 (k1 A) j L 3 (k1 B)
0
kD
× k22 dk2 PB (k2 ) j L 2 (k2 B) j L 3 (k2 C)
0
kD
× k32 dk3 PB (k3 ) j L 2 (k3 C) j L 3 (k3 A)
0
3 ∞ 2
kn dkn (V )
4π(−i) n T (kn ) j n (kn (τ0 − τ∗ ))
0 (2π)3 I, n
n=1
τ∗ 3 −(n B +1)
×A3B (τ0 − τ∗ )6 KL L (τ0 − τ∗ )
5 2 3
−(n +1) −(n +1)
×K L L B (τ0 − τ∗ )K L L B (τ0 − τ∗ ). (9.68)
2 3 2 3
From the selection rules of the Wigner symbols as described in Appendix C, we can
further limit the summation range of the multipoles as
|L − 2 | ≤ L ≤ L + 2 , Max[|L − 1 |, |L − 3 |] ≤ L ≤ Min[L + 1 , L + 3 ],
L 1 + L 2 + L 3 = even, L 1 + L 2 + L 3 = even, L 1 + L 2 + L 3 = even,
|L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 , |L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 , (9.70)
|L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 ,
and from the above restrictions the multipoles in the bispectrum, 1, 2 and 3 , are also
limited as
| 1 − 2| ≤ 3 ≤ 1 + 2 . (9.71)
138 9 CMB Bispectrum Generated from Primordial Magnetic Fields
Therefore, these selection rules significantly reduce the number of calculation. In these
ranges, while L and L are limited by L, only L has no upper bound. However, we can
show that the summation of L is suppressed at 1 ∼ 2 ∼ 3 L as follows. When the
summations with respect to L , L and L are evaluated at large L , L and L , namely
1 , 2 , 3 L ∼ L ∼ L , L 2 ∼ L 3 ∼ L , L 2 ∼ L 3 ∼ L and L 2 ∼ L 3 ∼ L , we get
) * kD
1 2 3
k12 dk1 PB (k1 ) j L 2 (k1 A) j L 3 (k1 B)
L L L 0
L L L L 2 L 2 L 2
L 3 L 3 L 3
kD
× k22 dk2 PB (k2 ) j L 2 (k2 B) j L 3 (k2 C)
0
kD
× k32 dk3 PB (k3 ) j L 2 (k3 C) j L 3 (k3 A)
0
3 L i +L i +L i
×(−1) i=1 2 I L010L 02 L 3 I L0 0L 0 L I L00L0 L
1 2 3 1 2 3
Therefore, we may obtain a stable result with the summations over a limited number
of L when we consider the magnetic power spectrum is as red as n B ∼ −2.9, because
the summations of L and L are limited by L. Here, we use the analytic formulas of
the I symbols which are given by
) *
−(n +1)
1 2
∝ (L L L )−1/6 , K L L B
3
∝ L n B +1 ,
L L L 2 3
⎧ ⎫
⎨L L 1 ⎬
L 3 L 2 L 1 ∝ (L L)−1/2 , (9.73)
⎩ ⎭
1 1 2
where we evaluate as
k∗
α A B n B +3 8π
d 3 k PB (k )Pab (k̂ ) ∼ α k 2 dk PB (k ) d 2 k̂ Pab (k̂ ) = k δab .
0 nB + 3 ∗ 3
(9.75)
Note that α is an unknown parameter and should be determined by the comparison with
the exact bispectra [(9.60) or (9.65)], and we take k∗ = 10 Mpc−1 .
Under this approximation, the angular bispectrum of the primordial tensor pertur-
bations (λ1 , λ2 , λ3 = ±2) is given by
3
3
(λ )
ξ n mn n (kn ) ∼ d kˆn−λn Y
2 ∗
n mn
(kˆn )
n=1 n=1
3
Rγ ln(τν /τ B ) 3 α A B n B +3 8π
× k∗ δ kn
4πργ ,0 nB + 3 3
n=1
× PB (k1 )PB (k2 )δad Pbe (kˆ1 )Pc f (kˆ2 )
Using Eq. (D.23), we reduce the contraction of the subscripts in the T T T spectrum to
(−λ1 ) (−λ ) (−λ )
Oab (kˆ1 )Ocd 2 (kˆ2 )Oe f 3 (kˆ3 ) PB (k1 )PB (k2 )δad Pbe (kˆ1 )Pc f (kˆ2 )
The delta function is also expanded with the spin spherical harmonics as Eq. (6.14)
⎡ ⎤
3 ∞ 3
δ ki =8 y 2 dy ⎣ (−1) L i /2 j L i (ki y)Y L∗i Mi (k̂i )⎦
i=1 0 i=1 L i Mi
L1 L2 L3
×I L010L 02 L 3 . (9.78)
M1 M2 M3
L1 L2 L3 2 2 2
M1 M2 M3 M M M
M1 M2 M3
M M M
1 L1 2 2 L2 2 3 L3 2
×
m 1 M1 M m 2 M2 M m 3 M3 M
⎧ ⎫
⎨ 1 2 3⎬
1 2 3
= L L L . (9.80)
m1 m2 m3 ⎩ 1 2 3 ⎭
2 2 2
9.4 Shape of the Non-Gaussianity 141
Comparing the exact initial bispectrum of the tensor modes (9.57) with this equation,
we can see that the number of the time-integrals and summations in terms of the multi-
poles decreases. This means that corresponding to the pole approximation, the 1-loop
calculation (the left panel of Fig. 9.4a) reaches the tree-level one (the right one of that
figure). This approximation seems to be applicable to the non-Gaussianity generated
from the chi-squared fields without the complicated angular dependence [50]. Note that
the scaling behaviors of these initial bispectra with respect to k1 , k2 and k3 are in agree-
ment with that of the local-type non-Gaussianity (4.7). Thus, if the pole approximation
is valid, we can expect that the PMFs generate the CMB bispectra coming from the
local-type non-Gaussianity. Via the summation over λ1 , λ2 and λ3 as Eq. (9.64), the
approximate CMB bispectra of the tensor modes are quickly formulated:
app(T T T ) Rγ ln(τν /τ B ) 3 α A B n B +3 8π L 1 +L 2 +L 3
BX X X , (α) = k∗ (−1) 2 I L0 10L02 L 3
1 2 3 1 2 3 4πργ ,0 nB + 3 3
L1 L2 L3
⎧ ⎫
) * ⎨ 1 2 3⎬
2 2 2 01−1 01−1
× I I L L L
1 1 1 211 211 ⎩ 1 2 3 ⎭
2 2 2
×8I 20−2 I 20−2 I 20−2 U U U
1 L 1 2 2 L 2 2 3 L 3 2 L 1 , 1 ,x 1 L 2 , 2 ,x 2 L 3 , 3 ,x 3
⎡ ⎤
∞ 3 ∞ 2
k dk (T )
y 2 dy ⎣ (kn ) j L n (kn y)⎦
n n
×8 (−i) n T
0 0 2π 2 X n , n
n=1
3
L n = even, |L 1 − L 2 | ≤ L 3 ≤ L 1 + L 2 , (9.83)
n=1
10
PMF tensor
PMF vector
1 PMF scalar
curvature
0.1
16
l (l+1) |blll|/(2π) ×10
2
0.01
0.001
2
0.0001
2
1e-05
1e-06
10 100 1000
l
Fig. 9.6 Absolute values of the normalized reduced bispectra of temperature fluctuations for a
configuration 1 = 2 = 3 ≡ . The red solid, green dashed, and blue dotted lines correspond to
the spectra generated from the auto-correlations of the PMF tensor, vector, and scalar anisotropic
stresses for n B = −2.9, respectively. The upper (lower) lines of the red solid and blue dotted
lines are calculated when τν /τ B = 1017 (106 ). The magenta dot-dashed line expresses the spectrum
sourced from the primordial non-Gaussianity with f NL local = 5. The strength of PMFs is fixed to
B1 Mpc = 4.7 nG and the other cosmological parameters are fixed to the mean values limited from
WMAP-7yr data reported in Ref. [29] (see colours in online)
| 1 − 2| ≤ 3 ≤ 1 + 2. (9.84)
In the next section, we compare these approximate spectra with the exact spectra given
by Eq. (9.65) and evaluate the validity of the pole approximation.
9.5 Analysis
(Z Z Z 3 ) −1 (Z 1 Z 2 Z 3 )
b I I 1I, 21 2 3
≡ I 01 0203 B I I I, 1 2 3 , (9.85)
From the red solid lines, we can find the enhancement at 100 in tensor-tensor-
tensor bispectra. It is because the ISW effect gives the dominant signal like in the CMB
anisotropies of tensor modes [17, 54]. From the green dashed line, one can see that the
peak of the vector-vector-vector bispectrum is located at ∼ 2000 and the position is
(V )
similar to that of the angular power spectrum C I, induced from the vector mode as
calculated in Sect. 9.1. At small scales, the vector mode contributes to the CMB power
spectrum through the Doppler effect. Thus, we can easily find that the Doppler effect
can also enhance the CMB bispectrum on small scale. From the blue dotted lines, we
can see that the scalar-scalar-scalar bispectra are boosted around at ∼ 200 due to
the acoustic oscillation of the fluid of photons and baryons. On the other hand, as
enlarges, the spectra are suppressed by the Silk damping effect. These features are also
observed in the non-magnetic case (the magenta dot-dashed line), however, owing to
the difference of the angular dependence on the wave number vectors in the source
bispectra, the location of the nodes slightly differs. Comparing the behaviors between
the three spectra arising from PMFs, we confirm that the tensor, scalar and vector
modes become effective for 100, 100 2000 and 2000, respectively,
like the behaviors seen in the power spectra. Thus, for < 1000, namely the current
instrumental limit of the angular resolution such as the PLANK experiment [30], we
expect that the auto- and cross-correlations between the scalar and tensor modes will
be primary signals of PMFs in the CMB bispectrum.
(SSS) (T T T ) (S) 3/2
The overall amplitudes of b I I I, and b I I I, seem to be comparable to C I I,
(T ) 3/2 (V V V )
and C I I, . However, we find that the amplitude of b I I I, is smaller than the
above expectation. This is because the configuration of multipoles, corresponding to
the angles of wave number vectors, is limited to the conditions placed by the Wigner
symbols. We can understand this by considering the scaling relation with respect to at
high . If the magnetic power spectrum given by Eq. (9.4) is close to the scale-invariant
shape, the configuration that satisfies L ∼ L ∼ and L ∼ 1 contributes dominantly
in the summations. Furthermore, the other multipoles are evaluated as
(V V V )
from the triangle conditions described in Appendix C. Then we can find b I I I, ∝
2n B +4 for 1000, where we have also used the following relations
) *
(V ) 1 2 3 −1
k 2 dk T I, i (k) j i (k(τ0 − τ∗ )) ∝ , ∝ ,
L L L
K L−(n
B +1) −(n +1)
∼ K L L B ∝ n B +1 , (9.87)
2L 3
⎧ 3 ⎫ 2 ⎧ ⎫ ⎧ ⎫
⎨ L L 1 ⎬ ⎨ L L 1 ⎬ ⎨ L L 1 ⎬
L 3 L 2 L 1 ∝ −3/2 , L L L ∼ L L L ∝ −1
,
⎩ ⎭ ⎩ 3 2 1⎭ ⎩ 3 2 1⎭
1 1 2 1 1 2 1 1 2
which, except for the first relation, are also coming from the triangle conditions of
the Wigner 3-j symbols. Therefore, combining with the scaling relation of the CMB
144 9 CMB Bispectrum Generated from Primordial Magnetic Fields
l2(l+1)2|blll|/(2π)2×1016
0.001
0.0001
1e-05
1e-06
100 1000
l
(V V V )
power spectrum mentioned in Sect. 9.1, we find that b I I I, is suppressed by a factor
(n B −1)/2 (V )3/2
from C I I, .
(V V V )
In Fig. 9.7, we show b I I I, for 1 = 2 = 3 for the different spectral index n B .
Red solid and green dashed lines correspond to the bispectrum with the spectral index
of the power spectrum of PMFs fixed as n B = −2.9 and −2.8, respectively. From this
figure, we find that the CMB bispectrum becomes steeper if n B becomes larger, which
is similar to the case of the power spectrum. These spectra trace the scaling relation in
the above discussion. These will lead to another constraint on the strength of PMFs.
(V V V ) (T T T )
In Figs. 9.8 and 9.9, we show the reduced bispectrum b I I I, 1 2 3 and b I I I, 1 2 3
with respect to 3 with setting 1 = 2 , respectively. From Fig. 9.8, we can see that
(V V V )
b I I I, 1 2 3 for 1 , 2 , 3 100 is nearly flat and given as
0 0 6
0 (V V V ) 0 −19 B1 Mpc
1( 1 + 1) 3 ( 3 + 1) 0b I I I, 1 2 3 0 ∼ 2 × 10 . (9.88)
4.7 nG
L1 ∼ 1, L 1 ∼ 2, L 1 ∼
L 2 ∼ L 3 ∼ L , L 2 ∼ L 3 ∼ L , L 2 ∼ L 3 ∼ L ,
3,
(9.89)
which again come from the triangle conditions from the Wigner symbols, the scaling
(V V V )
relation of 3 at large scale is evaluated as b I I I, 1 2 3 ∝ 3n B +1 . From this estimation
9.5 Analysis 145
16
|/(2π)2×10
0.001 curvature
1l2l3
l1(l1+1)l3(l3+1)|bl 0.0001
1e-05
1e-06
1e-07
100 1000
l3
100
16
10
l1(l1+1)l3(l3+1)|bl l l |/(2π)2×10
1
123
0.1
0.01 PMF : l1 = l2 = 10
PMF : l1 = l2 = 20
PMF : l1 = l2 = 40
curvature
0.001
10 100
l3
(V V V )
we can find that 1 ( 1 + 1) 3 ( 3 + 1)b I I I, 1 2 3 ∝ 0.13 , for n B = −2.9, and 3 for
0.2
n B = −2.8, respectively, which match the behaviors of the bispectra in Fig. 9.8.
From Fig. 9.9, we can also see that if the PMF spectrum obeys the nearly scale-
(T T T )
invariant shape, b I I I, 1 2 3 for 1 , 2 , 3 100 is given by
0 0 6
0 (T T T ) 0 −16 B1 Mpc
1( 1 + 1) 3 ( 3 + 1) 0b I I I, 1 2 3 0 ∼ (130 − 6) × 10 , (9.90)
4.7 nG
146 9 CMB Bispectrum Generated from Primordial Magnetic Fields
where the factor 130 corresponds to the τν /τ B = 1017 case and 6 corresponds to
106 . In order to obtain a rough constraint on the magnitude of the PMF, we compare
the bispectrum induced from the PMF with that from the local-type primordial non-
Gaussianity in the curvature perturbations, which is typically estimated as [55]
1( 1 + 1) 3 ( 3 + 1)b 1 2 3 ∼ 4 × 10−18 f NL
local
. (9.91)
By comparing this with Eq. (9.90), the relation between the magnitudes of the PMF
local is derived as
with the nearly scale-invariant power spectrum and f NL
B1 Mpc 0 local 01/6
∼ (1.22 − 2.04) 0 f NL 0 . (9.92)
1 nG
Using the above equation, we can obtain the rough bound on the PMF strength. As
shown in Fig. 9.6, because the tensor bispectrum is highly damped for 100, we
should use an upper bound on f NL local obtained by the current observational data for
< 100, namely f NL < 100 [56]. This value is consistent with a simple prediction
local
from the cosmic variance [53]. From this value, we derive B1 Mpc < 2.6 − 4.4 nG.
From here, let us discuss the validity and possibility of the CMB bispectra under the
pole approximation (9.82). Figure 9.10 shows the shapes of the CMB tensor-tensor-
tensor spectra based on the exact form (9.65) and approximate one (9.82). Both spectra
seem to have a good agreement in the shape of the space. To discuss more precisely,
using the correlation
b · b ∝ b b , (9.93)
100
10
l2(l+1)2|blll|/(2π)2×1016
0.1
0.01
0.001
0.0001
1e-05 exact
approximate
1e-06
10 100 1000
l
Fig. 9.10 Absolute values of the normalized reduced bispectra of temperature fluctuation for a
configuration 1 = 2 = 3 ≡ . The red solid and green dashed lines represent the exact and
approximate spectra arising from the tensor-tensor-tensor correlation of the PMF anisotropic stresses
for B1 Mpc = 4.7 nG, n B = −2.9 and τν /τ B = 1017 , respectively. The cosmological parameters
are identical to the values defined in Fig. 9.6 (see colours in online)
9.5 Analysis 147
bex · bapp
√ ex ex app app = 0.99373, (9.94)
(b · b )(b · b )
where bex and bapp are the exact and approximate reduced bispectra, respectively. This
fact, which this quantity approaches unity, implies that the pole approximation can
produce an almost exact copy. An unknown parameter, α, is derived from the relation
as
bex bex · bapp (α = 1)
α = app ≈ app = 0.2991. (9.95)
b (α = 1) b (α = 1) · bapp (α = 1)
The cases other than the tensor-tensor-tensor spectrum will be presented in Ref. [34].
As shown in the previous sections, the CMB bispectra from PMFs arise from the
six-point correlation of the Gaussian magnetic fields and have one-loop structure due to
the summation over the additional multipoles. Hence, it takes so long hours to estimate
all ’s contribution and it is actually impossible to compute the signal-to-noise ratio.
However, using the pole approximation, since the summation reaches the tree-level
calculation, we will obtain more precise bound through the estimation of the signal-
to-noise ratio including the contribution of the cross-correlations between scalar and
tensor modes [34].
In this chapter, on the basis of our recent works [24–26], we presented the all-sky formu-
lae for the CMB bispectra induced by the scalar, vector, and tensor non-Gaussianities
coming from the PMFs by dealing with the full-angular dependence of the bispec-
trum of the PMF anisotropic stresses. Then, expressing the angular dependence with
the spin-weighted spherical harmonics and converting the angular integrals into the
Wigner symbols were key points of the formulation. From the practical calculation, it
is found that the CMB bispectra from the magnetic tensor, scalar, and vector modes
dominate at large ( 100), intermediate (100 2000), and small ( 2000)
scales. For the discussion about the shape of the non-Gaussianity in the PMF anisotropic
stresses, we performed the pole approximation, which is the evaluation of the convo-
lutions at around the divergence points of the integrands, and found that the bispectra
of the PMF anisotropic stresses are classified as the local-type configuration. Owing to
this, we had some significant signals of the CMB bispectra on the squeezed limit also
in the multipole space. Compared with the exact formula, the approximate one reduces
the computing time, hence we expect the use for the calculation of the signal-to-noise
ratio [34]. We also investigated the dependence of the CMB bispectrum on the spectral
index of the PMF power spectrum and confirmed that the CMB bispectrum induced
from the PMFs is sensitive to it. Since the characteristic scale varies with the value of
the spectral index, it is important to consider not only the contribution from the scalar
mode, but also those from the vector and tensor modes.
148 9 CMB Bispectrum Generated from Primordial Magnetic Fields
By translating the current bound on the local-type non-Gaussianity from the CMB
bispectrum into the bound on the amplitude of the magnetic fields, we obtain a new
limit: B1 Mpc < 2.6 − 4.4 nG. This is a rough estimate coming from the large scale
information of the tensor mode and a precise constraint is expected if one considers the
full contribution by using an appropriate estimator of the CMB bispectrum induced
from the primordial magnetic fields.
Because of the complicated discussions and mathematical manipulations, here we
restrict our numerical results to the intensity bispectra of auto-correlations between
scalar, vector and tensor modes despite the fact that our formula for the CMB bispectra
(9.60) contains the polarizations and the cross-correlations between scalar, vector and
tensor modes. However, like the non-magnetic case [57], the modes other than our
(SV T )
numerical results, such as B I E B, 1 2 3 , will bring in more reasonable bounds on the
PMFs [34]. Furthermore, the effect on the CMB four-point correlation (trispectrum) is
just beginning to be roughly discussed [58]. Applying our studies, this should be taken
into account more precisely.
References
1. M.L. Bernet, F. Miniati, S.J. Lilly, P.P. Kronberg, M. Dessauges-Zavadsky, Nature 454, 302
(2008). doi:10.1038/nature07105
2. A.M. Wolfe, R.A. Jorgenson, T. Robishaw, C. Heiles, J.X. Prochaska, Nature 455, 638 (2008).
doi:10.1038/nature07264
3. P.P. Kronberg et al., Astrophys. J. 676, 70 (2008). doi:10.1086/527281
4. L.M. Widrow, Rev. Mod. Phys. 74, 775 (2002). doi:10.1103/RevModPhys.74.775
5. J. Martin, J. Yokoyama, JCAP 0801, 025 (2008). doi:10.1088/1475-7516/2008/01/025
6. K. Bamba, M. Sasaki, JCAP 0702, 030 (2007). doi:10.1088/1475-7516/2007/02/030
7. T. Stevens, M.B. Johnson, arXiv:1001.3694 (2010)
8. T. Kahniashvili, A.G. Tevzadze, B. Ratra, Astrophys. J. 726, 78 (2011). doi:10.1088/0004-
637X/726/2/78
9. K. Ichiki, K. Takahashi, H. Ohno, H. Hanayama, N. Sugiyama, Science 311, 827 (2006). doi:10.
1126/SCIENCE.1120690
10. S. Maeda, S. Kitagawa, T. Kobayashi, T. Shiromizu, Class. Quant. Grav. 26, 135014 (2009).
doi:10.1088/0264-9381/26/13/135014
11. E. Fenu, C. Pitrou, R. Maartens, Mon. Not. Roy. Astron. Soc. 414, 2354 (2011). doi:10.1111/
j.1365-2966.2011.18554.x
12. K. Subramanian, J.D. Barrow, Phys. Rev. Lett. 81, 3575 (1998). doi:10.1103/PhysRevLett.81.
3575
13. R. Durrer, T. Kahniashvili, A. Yates, Phys. Rev. D58, 123004 (1998). doi:10.1103/PhysRevD.
58.123004
14. A. Mack, T. Kahniashvili, A. Kosowsky, Phys. Rev. D65, 123004 (2002). doi:10.1103/
PhysRevD.65.123004
15. A. Lewis, Phys. Rev. D70, 043011 (2004). doi:10.1103/PhysRevD.70.043011
16. D. Paoletti, F. Finelli, F. Paci, Mon. Not. Roy. Astron. Soc. 396, 523 (2009). doi:10.1111/j.
1365-2966.2009.14727.x
17. J.R. Shaw, A. Lewis, Phys. Rev. D81, 043517 (2010). doi:10.1103/PhysRevD.81.043517
18. I. Brown, R. Crittenden, Phys. Rev. D72, 063002 (2005). doi:10.1103/PhysRevD.72.063002
19. I.A. Brown, Ph.D.Thesis. arXiv:0812.1781 (2006)
20. T.R. Seshadri, K. Subramanian, Phys. Rev. Lett. 103, 081303 (2009). doi:10.1103/PhysRevLett.
103.081303
References 149
21. C. Caprini, F. Finelli, D. Paoletti, A. Riotto, JCAP 0906, 021 (2009). doi:10.1088/1475-7516/
2009/06/021
22. R.G. Cai, B. Hu, H.B. Zhang, JCAP 1008, 025 (2010). doi:10.1088/1475-7516/2010/08/025
23. P. Trivedi, K. Subramanian, T.R. Seshadri, Phys. Rev. D82, 123006 (2010). doi:10.1103/
PhysRevD.82.123006
24. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, K. Takahashi, Phys. Rev. D82, 121302 (2010).
doi:10.1103/PhysRevD.82.121302
25. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, K. Takahashi, Phys. Rev. D83, 123523 (2011).
doi:10.1103/PhysRevD.83.123523
26. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, K. Takahashi, Phys. Rev. D83, 123003 (2011).
doi:10.1103/PhysRevD.83.123003
27. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, K. Takahashi, Prog. Theor. Phys. 125, 795
(2011). doi:10.1143/PTP.125.795
28. T. Kahniashvili, G. Lavrelashvili, arXiv:1010.4543 (2010)
29. E. Komatsu et al., Astrophys. J. Suppl. 192, 18 (2011). doi:10.1088/0067-0049/192/2/18
30. The Planck Collaboration, arXiv:astro-ph/0604069 (2006)
31. M. Shiraishi, JCAP 1206, 015 (2012). doi:10.1088/1475-7516/2012/06/015
32. K. Kojima, T. Kajino, G.J. Mathews, JCAP 1002, 018 (2010). doi:10.1088/1475-7516/2010/
02/018
33. A. Lewis, Phys. Rev. D 70(4), 043518 (2004). doi:10.1103/PhysRevD.70.043518
34. M. Shiraishi, D. Nitta, S. Yokoyama, K. Ichiki, JCAP 1203, 041 (2012). doi:10.1088/1475-
7516/2012/03/041
35. D.G. Yamazaki, K. Ichiki, T. Kajino, G.J. Mathews, Phys. Rev. D77, 043005 (2008). doi:10.
1103/PhysRevD.77.043005
36. F. Finelli, F. Paci, D. Paoletti, Phys. Rev. D78, 023510 (2008). doi:10.1103/PhysRevD.78.
023510
37. I.A. Brown, arXiv:1005.2982 (2010)
38. M. Giovannini, K.E. Kunze, Phys. Rev. D77, 123001 (2008). doi:10.1103/PhysRevD.77.
123001
39. K.E. Kunze, Phys. Rev. D83, 023006 (2011). doi:10.1103/PhysRevD.83.023006
40. D. Paoletti, F. Finelli, Phys. Rev. D83, 123533 (2011). doi:10.1103/PhysRevD.83.123533
41. D.G. Yamazaki, K. Ichiki, T. Kajino, G.J. Mathews, Phys. Rev. D81, 023008 (2010). doi:10.
1103/PhysRevD.81.023008
42. J.R. Shaw, A. Lewis, Phys. Rev. D86, 043510 (2012). doi:10.1103/PhysRevD.86.043510
43. D. Yamazaki, K. Ichiki, T. Kajino, G.J. Mathews, Astrophys. J. 646, 719 (2006). doi:10.1086/
505135
44. K. Jedamzik, V. Katalinic, A.V. Olinto, Phys. Rev. D57, 3264 (1998). doi:10.1103/PhysRevD.
57.3264
45. K. Subramanian, J.D. Barrow, Phys. Rev. D58, 083502 (1998). doi:10.1103/PhysRevD.58.
083502
46. W. Hu, Phys. Rev. D64, 083005 (2001). doi:10.1103/PhysRevD.64.083005
47. R. Gurau, Ann. Henri Poincare 9, 1413 (2008). doi:10.1007/s00023-008-0392-6
48. H.A. Jahn, J. Hope, Phys. Rev. 93(2), 318 (1954). doi:10.1103/PhysRev.93.318
49. The wolfram function site. http://functions.wolfram.com/
50. D.H. Lyth, JCAP 0606, 015 (2006). doi:10.1088/1475-7516/2006/06/015
51. A. Lewis, A. Challinor, A. Lasenby, Astrophys. J. 538, 473 (2000). doi:10.1086/309179
52. Slatec common mathematical library. http://www.netlib.org/slatec/
53. E. Komatsu, D.N. Spergel, Phys. Rev. D63, 063002 (2001). doi:10.1103/PhysRevD.63.063002
54. J.R. Pritchard, M. Kamionkowski, Ann. Phys. 318, 2 (2005). doi:10.1016/j.aop.2005.03.005
55. A. Riotto, in Inflationary Cosmology, Lecture Notes in Physics, vol. 738, ed. by M. Lemoine,
J. Martin, P. Peter (Springer, Berlin 2008), pp. 305-+. doi:10.1007/978-3-540-74353-8_9
56. K.M. Smith, L. Senatore, M. Zaldarriaga, JCAP 0909, 006 (2009). doi:10.1088/1475-7516/
2009/09/006
57. D. Babich, M. Zaldarriaga, Phys. Rev. D70, 083005 (2004). doi:10.1103/PhysRevD.70.083005
58. P. Trivedi, T. Seshadri, K. Subramanian, Phys. Rev. Lett. 108, 231301 (2012). doi:10.1103/
PhysRevLett.108.231301
Chapter 10
Conclusion
The main purpose of this thesis was to present the formalism for the CMB bispectrum
induced by the non-Gaussianities not only in the standard scalar-mode perturbations
but also in the vector- and tensor-mode ones where the violation of the rotational or
parity invariance is also involved, and some attempts to prove the nature of the early
Universe by applying our formalism. To do this, we have discussed the following
things.
In Chap. 1, we gave the introduction of this thesis. Then, we quickly summarized
the history of the Universe, the paradigm in the early Universe, and the concept
of this thesis. In Chap. 2, we summarized how to generate the curvature perturba-
tions and gravitational waves and the consistency relations in the slow-roll inflation.
In Chap. 3, we showed how to construct the am ’s generated from the primordial
scalar, vector and tensor sources in order to formulate the CMB bispectrum easily.
We also summarized the constraints on several key parameters, which characterize
the nature of inflation and the dynamics of the Universe, obtained from the current
CMB data. In Chap. 4, we focused on the topic of the primordial non-Gaussianities.
In Chap. 5, we gave the general formulae for the CMB bispectrum coming from not
only scalar-mode but also vector- and tensor-mode perturbations, which includes
both the auto- and cross-correlations between the intensity and polarizations. Next,
applying this formalism, we computed the CMB bispectra from several kinds of the
non-Gaussianities. In Chap. 6, we treated the two scalars and a graviton correlator and
obtained the CMB bispectrum including the tensor-mode perturbation. Here, we had a
bound on the nonlinear scalar-scala-tensor coupling by the computation of the signal-
to-noise ratio. In Chap. 7, we considered the non-Gaussianity which has the preferred
direction. Through the analysis, we found that the finite signals arise from the multi-
poles except for the triangle inequality. We furthermore confirmed that these special
signals are comparable in magnitude with the signals keeping the triangle inequal-
ity. In Chap. 8, we dealt with the graviton non-Gaussianity arising from the parity-
conserving and parity-violating Weyl cubic terms. Calculating the CMB intensity
and polarization bispectra, we clarified that the intensity-intensity-intensity
spectrum
from the parity-violating non-Gaussianity obeys the condition as 3n=1 n = odd.
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 151
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6_10, © Springer Japan 2013
152 10 Conclusion
These configurations will be very beneficial to check the parity violation of the
Universe in the non-Gaussian level observationally. In Chap. 9, we took into account
the effect of the non-Gaussianities due to the primordial magnetic fields. Depend-
ing quadratically on the magnetic fields, the magnetic anisotropic stresses obey the
chi-square distributions. Since these non-Gaussian anisotropic stresses become the
sources of the CMB fluctuations, their bispectra have the finite values. Computing
the CMB intensity-intensity-intensity spectra, we clarified that the tensor (vector)
mode dominates at large (small) scales and the scalar mode shows up at interme-
diate scales. By the pole approximation, we also found that the bispectrum of the
magnetic anisotropic stresses is similar to the local-type bispectrum. Comparing the
theoretical results with the observational limit on the local-type non-Gaussianity, we
obtained a bound on the strength of the magnetic fields, B1 Mpc < 2.6 − 4.4 nG.
We expect that this bound will be updated by considering the impacts of the cross-
correlations between scalar, vector and tensor modes, and the additional information
from polarizations.
Our formalism for the CMB bispectrum is general enough to be applicable to
the non-Gaussian sources other than the above ones. Moreover, this will be easily
extended to the higher-order correlations. Therefore, the studies in this thesis will be
very beneficial to quest for the true picture of the origin of the Universe.
Appendix A
Spin-Weighted Spherical Harmonic Function
Specifically, the spin raising and lowering operators acting twice on the spin-±2
function ±2 f (μ, φ) such as the CMB polarization fields can be expressed as
2
∂ 2 2 f (θ, φ) = −∂μ + 1−μ
m
2 (1 − μ2 )2 f (μ, φ) ,
2
(A.2)
∂ 2 −2 f (θ, φ) = −∂μ − 1−μ
m
2 (1 − μ2 )−2 f (μ, φ) ,
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 153
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6, © Springer Japan 2013
154 Appendix A: Spin-Weighted Spherical Harmonic Function
Finally, we give the specific expressions for some simple cases in Tables A.1 and
A.2.
Appendix B
Wigner D-matrix
Here, on the basis of Refs. [3, 5, 6], we introduce the properties of the Wigner
(l)
D-matrix Dmm , which is the unitary irreducible matrix of rank 2l + 1 that forms
a representation of the rotational group as SU (2) and S O(3). With this matrix,
the change of the spin wighted spherical harmonic function under the rotational
transformation as n̂ → R n̂ is expressed as
∗ (l) ∗
s Ylm (R n̂) = Dmm (R)s Ylm (n̂) . (B.1)
m
When we express the rotational matrix with three Euler angles (α, β, γ ) under the
z − y − z convention as
⎛ ⎞
cos α cos β cos γ − sin α sin γ − cos β sin γ cos α − cos γ sin α cos α sin β
R = ⎝ cos α sin γ + cos γ cos β sin α cos α cos γ − cos β sin α sin γ sin β sin α ⎠ ,
− cos γ sin β sin γ sin β cos β
(B.3)
we can write a general relationship between the Wigner D-matrix and the spin
weighted spherical harmonics as
(l) 4π ∗ −isγ
Dms (α, β, γ ) = (−1) s
−s Ylm (β, α)e . (B.4)
2l + 1
Like the spin weighted spherical harmonics, there also exists the orthogonality of
the Wigner D-matrix as
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 155
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6, © Springer Japan 2013
156 Appendix B: Wigner D-matrix
2π 1 2π
(l )∗ (l) 8π 2
dα d cos β dγ Dm s (α, β, γ )Dms (α, β, γ ) = δl ,l δm ,m δs ,s .
0 −1 0 2l + 1
(B.5)
Appendix C
Wigner Symbols
Here, we briefly review the useful properties of the Wigner-3 j, 6 j and 9 j symbols.
The following discussions are based on Refs. [5, 7–12].
l 3 = l1 + l2 , (C.1)
the scalar product of eigenstates between the right-handed term and the left-handed
one, namely, a Clebsch-Gordan coefficient, is related to the Wigner-3 j symbol:
l1 l2 l3 (−1)l1 −l2 +m 3 l1 m 1l2 m 2 |(l1l2 )l3 m 3
≡ √ . (C.2)
m 1 m 2 −m 3 2l3 + 1
This symbol vanishes unless the selection rules are satisfied as follows:
|m 1 | ≤ l1 , |m 2 | ≤ l2 , |m 3 | ≤ l3 , m 1 + m 2 = m 3 ,
|l1 − l2 | ≤ l3 ≤ l1 + l2 (the triangle condition) , l1 + l2 + l3 ∈ Z . (C.3)
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 157
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6, © Springer Japan 2013
158 Appendix C: Wigner Symbols
3
3
l1 l2 l3 l2 l1 l3 l1 l3 l2
= (−1) i=1 li = (−1) i=1 li
m1 m2 m3 m2 m1 m3 m1 m3 m2
(odd permutation of columns)
l2 l3 l1 l3 l1 l2
= =
m2 m3 m1 m3 m1 m2
(even permutation of columns)
3
l1 l2 l3
= (−1) i=1 li
−m 1 −m 2 −m 3
(sign inversion of m 1 , m 2 , m 3 ) . (C.4)
3
For a special case that i=1 li = even and m 1 = m 2 = m 3 = 0, there is an analytical
expression as
3
l1 l2 l3 −li
= (−1) i=1 2
0 0 0
√ √ √
3 li
i=1 2 ! (−l1 + l2 + l3 )! (l1 − l2 + l3 )! (l1 + l2 − l3 )!
× .
−l1 +l2 +l3 l1 −l2 +l3 l1 +l2 −l3 3
2 ! 2 ! 2 ! l
i=1 i + 1 !
(C.6)
3
This vanishes for i=1 li = odd. The Wigner-3 j symbol is related to the spin-
weighted spherical harmonics as
2
∗ −s1 −s2 −s3 l1 l2 l3
si Yli m i (n̂) = s3 Yl3 m 3 (n̂)Il1 l2 l3 , (C.7)
m1 m2 m3
i=1 l3 m 3 s3
l 5 = l1 + l2 + l4 (C.9)
= l3 + l 4 (C.10)
= l1 + l 6 , (C.11)
|l1 − l2 | ≤ l3 ≤ l1 + l2 , |l4 − l5 | ≤ l3 ≤ l4 + l5 ,
|l1 − l5 | ≤ l6 ≤ l1 + l5 , |l4 − l2 | ≤ l6 ≤ l4 + l2 . (C.14)
l 9 = l 1 + l2 + l4 + l5 (C.16)
= l3 + l6 (C.17)
= l7 + l8 , (C.18)
are expressed as
!3 3
i=1 (2li + 1) −li
Il01 l02 l30 = (−1) i=1 2
4π
√ √ √
3 li
i=1 2 ! (−l1 + l2 + l3 )! (l1 − l2 + l3 )! (l1 + l2 − l3 )!
×
−l1 +l2 +l3 l1 −l2 +l3 l1 +l2 −l3 3
2 ! 2 ! 2 ! ( i=1 li + 1)!
(for l1 + l2 + l3 = even)
= 0 (for l1 + l2 + l3 = odd) , (C.25)
5 (l2 − 1)(l2 + 1)
Il01 1l2 −1 = (−1)l2 +1 (for l1 = l2 − 2, l3 = 2)
l3
8π l2 − 1/2
15 l2 + 1/2
= (−1)l2 (for l1 = l2 , l3 = 2)
16π (l2 − 1/2)(l2 + 3/2)
5 l2 (l2 + 2)
= (−1)l2 (for l1 = l2 + 2, l3 = 2)
8π l2 + 3/2
162 Appendix C: Wigner Symbols
3 "
= (−1)l3 +1 l3 + 1 (for l1 = l3 − 1, l2 = 1)
8π
3 "
= (−1)l3 +1 l3 + 1/2 (for l1 = l3 , l2 = 1)
4π
3 "
= (−1)l3 +1 l3 (for l1 = l3 + 1, l2 = 1) . (C.26)
8π
(for l2 = l1 − 1, l5 = l4 + 1)
2(l1 + l4 + l6 + 2)(l1 + l4 − l6 + 1)
= (−1)l1 +l4 +l6 +1
2l4 +3 P3
(−l1 + l4 + l6 + 1)(l1 − l4 + l6 )
× (for l2 = l1 , l5 = l4 + 1)
2l1 +2 P3
(for l2 = l1 + 1, l5 = l4 + 1)
l1 +l4 +l6 +1
= (−1)
× [l4 (l4 + 1) + l1 (l1 − 1)(l4 + 1) − l6 (l6 + 1) − l1 (l1 + 1)l4 ]
2(l1 + l4 + l6 + 1)(l1 + l4 − l6 )
×
(−l1 + l4 + l6 + 1)(l1 − l4 + l6 )2l4 +2 P3 2l1 +1 P3
Appendix C: Wigner Symbols 163
(for l2 = l1 − 1, l5 = l4 )
l1 +l4 +l6 +1
= 2(−1)
l4 (l4 + 1) + l1 (l1 + 1)(l4 + 1) − l6 (l6 + 1) − l1 (l1 + 1)l4
× "
2l4 +2 P3 2l1 +2 P3
(for l2 = l1 , l5 = l4 )
l1 +l4 +l6 +1
= (−1)
× [l4 (l4 + 1) + (l1 + 1)(l1 + 2)(l4 + 1) − l6 (l6 + 1) − l1 (l1 + 1)l4 ]
2(−l1 + l4 + l6 )(l1 − l4 + l6 + 1)
×
(l1 + l4 + l6 + 2)(l1 + l4 − l6 + 1)2l4 +2 P3 2l1 +3 P3
(for l2 = l1 + 1, l5 = l4 ) . (C.28)
Using these analytical formulas, one can reduce the time cost involved with calcu-
lating the CMB bispectrum from PMFs.
Appendix D
Polarization Vector and Tensor
(±1) 1
a (n̂) = √ θ̂a (n̂) ± i φ̂a (n̂) . (D.1)
2
By defining a rotational matrix, which transforms a unit vector parallel to the z axis,
namely ẑ, to n̂, as
⎛ ⎞
cos θn cos φn − sin φn sin θn cos φn
S(n̂) ≡ ⎝ cos θn sin φn cos φn sin θn sin φn ⎠ , (D.3)
− sin θn 0 cos θn
we specify θ̂ and φ̂ as
where x̂ and ŷ are unit vectors parallel to x- and y-axes. By using Eq. (D.1), the
polarization tensor is constructed as
(±2)
√ (±1) (±1)
eab (n̂) = 2 a (n̂) b (n̂) . (D.5)
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 165
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6, © Springer Japan 2013
166 Appendix D: Polarization Vector and Tensor
To utilize the polarization vector and tensor in the calculation of this thesis, we
need to expand Eqs. (D.1) and (D.5) with spin spherical harmonics. An arbitrary unit
vector is expanded with the spin-0 spherical harmonics as
Here, note that the repeat of the index implies the summation. The scalar product of
αam is calculated as
4π 4π
αam αam = (−1)m δm,−m , αam αam ∗ = δm,m . (D.7)
3 3
(1)∗
θ̂a (n̂) = αam Y1m (θ̂ (n̂)) = αam Dmm (S(n̂))Y1m (x̂)
m m m
s
= − √ (δs,1 + δs,−1 ) αam s Y1m (n̂) . (D.8)
2 m
( )∗
Y m (S(n̂)x̂) = Dmm (S(n̂))Y m (x̂) ,
m
1/2
( ) 4π
Dms (S(n̂)) = (−1)s −s Y ∗m (n̂) . (D.9)
2 +1
i
φ̂a (n̂) = √ (δs,1 + δs,−1 ) αam s Y1m (n̂) ; (D.10)
2 m
(±1)
a (n̂) =∓ αam ±1 Y1m (n̂) . (D.11)
m
Substituting this into Eq. (D.5) and using the relations of Appendix C and
I2∓2±1±1
11 = 2√3 π , the polarization tensor can also be expressed as
Appendix D: Polarization Vector and Tensor 167
(±2) 3 ∗ ma mb 2 1 1
eab (n̂) = √ ∓2 Y2M (n̂)αa αb . (D.12)
2π M ma mb
Mm a m b
(±2) (±2)
eaa (n̂) = n̂ a eab (n̂) = 0 ,
(±2)∗ (∓2) (±2)
eab (n̂) = eab (n̂) = eab (−n̂) ,
(λ) (λ )
eab (n̂)eab (n̂) = 2δλ,−λ (for λ, λ = ±2) . (D.13)
the arbitrary scalar, vector and tensor are decomposed into the helicity states as
Then, using Eq. (D.9) and (D.13), we can find the inverse formulae as
(0) 1
Oab (k̂) = −k̂a k̂b + δab
3
3 ∗ 2 1 1
=− Y2M (k̂)αam a αbm b ,
2π M ma mb
Mm a m b
(±1) (±1)
Oab (k̂) = k̂a b (k̂) + k̂b a(±1) (k̂)
3 ∗ ma mb 2 1 1
= ±√ ∓1 Y2M (k̂)αa αb ,
2π M ma mb
Mm a m b
(±2) (±2)
Oab (k̂) = eab (k̂)
3 ∗ ma mb 2 1 1
=√ ∓2 Y2M (k̂)αa αb , (D.23)
2π M ma mb
Mm a m b
Here, we calculate each product between the wave number vectors and the polariza-
tion tensors of f W(a)3 and f W
(a)
# W 2 mentioned in Chap. 8 [14].
(a)
Using the relations discussed in Appendix D, the all terms of f W 3 are written as
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 169
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6, © Springer Japan 2013
(a) (a)
170 Appendix E: Calculation of f W 3 and f W W 2
2 L L 2 1 L 2 L L
× .
M M M 21 1 2 1 1
(a)
In the calculation of f W
# W 2 , we also need to consider the dependence of the tensor
contractions on ηi jk . Making use of the relation:
3/2
4π √ 1 1 1
ηabc αam a αbm b αcm c = −i 6 , (E.2)
3 ma mb mc
(a)
the first two terms of f W
# W 2 reduce to
(−λ ) (−λ ) (−λ ) 2π
iηi jk ekq 1 e jm 2 eiq 3 kˆ3m = −(8π ) 3/2
(−1) L I Lλ3 0−λ
12
3
5
L =2,3
(λ) λ (λ)
ηabc k̂a ebd (k̂) = − iecd (k̂) , (E.4)
2
we have
(a) (a)
Appendix E: Calculation of f W 3 and f W W 2 171
Here, let us derive the bispectra of gravitons coming from the parity-even and parity-
odd Weyl cubic terms, namely, Eqs. (8.16) and (8.17) [14]. For convenience, we
decompose the interaction Hamiltonians of W 3 and W # W 2 (8.15) into
4
(n)
Hint = Hint . (F.1)
n=1
F.1 W 3
(1)
The bracket part of Eq. (8.12) in terms of HW 3 is expanded as
$ & ' %
(1)
3
0| : HW 3 (τ ) :, γ (λn )
(kn , τ ) |0
n=1
$ %
(1)
3
= 0| : HW 3 (τ ) : γ (λn )
(kn , τ )|0
n=1
$ & ' %
3
(1)
(λn )
− 0| γ (kn , τ ) : HW 3 (τ ) : |0
n=1
M. Shiraishi, Probing the Early Universe with the CMB Scalar, Vector and Tensor 173
Bispectrum, Springer Theses, DOI: 10.1007/978-4-431-54180-6, © Springer Japan 2013
174 Appendix F: Graviton Non-Gaussianity from the Weyl Cubic Terms
A ( 3
)
−2 2 τ 1
= − (H τ ) (2π )3 δ kn
τ∗ 4
n=1
(λ ) (λ ) (λ )
× ei j 1 (−kˆ1 )e jk2 (−kˆ2 )eki 3 (−kˆ3 )
&* 3 +
∗
×6 (γ̈d S − kn γd S )(kn , τ )γd S (kn , τ )
2
n=1
* +'
3
− γd S (kn , τ )(γ̈d∗S − kn2 γd∗S )(kn , τ )
n=1
A ( 3
)
3 τ
= − −2 (H τ )2 (2π ) δ3
kn
2 τ∗
n=1
(−λ1 ) (−λ ) (−λ )
× ei j (kˆ1 )e jk 2 (kˆ2 )eki 3 (kˆ3 )
& 3 '
∗
× 2iIm (γ̈d S − kn γd S )(kn , τ )γd S (kn , τ ) .
2
(F.3)
n=1
Here, we use
$ %
3
(λ ) (λ )†
0| : ak n a−knn : |0 = (2π )9 δ(k1 + k3 )δλ1 ,λ3 δ(k1 + k3 )δλ1 ,λ3
n
n=1
× δ(k2 + k2 )δλ2 ,λ2 + 5 perms. (F.4)
$ %
3
(λn ) (λn )†
= 0| : akn a−k : |0
n
n=1
ei(−λ) (λ)
j (k̂) = ei j (−k̂) .
Furthermore, since
2H τ 3/2 −ikτ
γ̈d S − k 2 γd S = k e ,
Mpl
3
τ →0 H3
γd∗S (kn , τ ) −−−→ i 3
(k1 k2 k3 )−3/2 , (F.5)
n=1
Mpl
where kt ≡ 3n=1 kn . Thus, the graviton non-Gaussianity in the late time limit arising
(1)
from HW 3 is
$ %(1) ( )
3 3
H 6 H 2
γ (λn ) (kn ) = (2π )3 δ kn 8
Mpl
n=1 W3 n=1
0
× Re τ∗−A dτ τ 5+A e−ikt τ
−∞
× 3ei j (k1 )e(−λ
(−λ1 ) ˆ
jk
2) ˆ (−λ3 ) ˆ
(k2 )eki (k3 ) . (F.7)
(2)
The bracket part in terms of HW 3 is given by
$ & ' %
(2)
3
0| : HW 3 (τ ) :, γ (λn )
(kn , τ ) |0
n=1
$ %
(2)
3
= 0| : HW 3 (τ ) : γ (λn )
(kn , τ )|0
n=1
$ & ' %
3
(2)
(λn )
− 0| γ (kn , τ ) : HW 3 (τ ) : |0
n=1
A ( 3
)
3 τ
= −2 (H τ )2 k2 k3 (2π ) δ 3
kn
2 τ∗
n=1
(−λ ) (−λ ) (−λ )
× kˆ2i kˆ3 j ei j 1 (kˆ1 )ekl 2 (kˆ2 )ekl 3 (kˆ3 )
& '
3
× 2iIm (γ̈d S − k12 γd S )(k1 , τ )γ̇d S (k2 , τ )γ̇d S (k3 , τ ) γd∗S (kn , τ )
n=1
+ 5 perms. (F.8)
176 Appendix F: Graviton Non-Gaussianity from the Weyl Cubic Terms
Using
H τ √ −ikτ
γ̇d S = i ke , (F.9)
Mpl
and obtain
$ %(2) ( )
3 3
H 6 H 2
γ (λn ) (kn ) = (2π )3 δ kn 8
Mpl
n=1 W3 n=1
0
× Re τ∗−A dτ τ 5+A e−ikt τ
−∞
3 (−λ ) (−λ ) (−λ )
× kˆ2i ei j 1 (kˆ1 )kˆ3 j ekl 2 (kˆ2 )ekl 3 (kˆ3 )
4
+ 5 perms. . (F.11)
(3) (4)
The graviton non-Gaussianities from HW 3 and HW 3 are derived in the same manner
(2)
as that from HW 3 :
$ %(m) ( )
4
3 3
H 6 H 2
(λn )
γ (kn ) = (2π ) δ 3
kn 8
Mpl
m=3 n=1 W3 n=1
0
× Re τ∗−A dτ τ 5+A e−ikt τ
−∞
3 ˆ (−λ2 ) ˆ (−λ1 ) ˆ (−λ3 ) ˆ ˆ
× k3k eki (k2 )ei j (k1 )e jl (k3 )k2l
4
3
− kˆ3 j e(−λ
ji
1) ˆ (−λ2 ) ˆ
(k1 )eik (−λ3 ) ˆ ˆ
(k2 )ekl (k3 )k2l
2
+ 5 perms. (F.12)
Appendix F: Graviton Non-Gaussianity from the Weyl Cubic Terms 177
F.2 W W 2
(1)
At first, we shall focus on the contribution of HW # W 2 . The bracket part is computed
as
$ & ' %
(1)
3
(λn )
0| : HW# W 2 (τ ) :, γ (kn , τ ) |0
n=1
$ %
(1)
3
(λn )
= 0| : # W 2 (τ )
HW : γ (kn , τ )|0
n=1
$ & ' %
3
(1)
(λn )
− 0| γ (kn , τ ) : # W 2 (τ )
HW : |0
n=1
⎡ ⎤
A 3
τ ⎣ d 3 kn ikn ·x ⎦
=− d 3 x −2 (H τ )2 (−3) e
τ∗ (2π )3
n=1 λn =±2
(λ ) (λ ) (λ )
×ηi jk ekq1 (kˆ1 )e jm2 (kˆ2 )eiq 3 (kˆ3 )(ik3m
)
× γ̈d S − k12 γd S (k1 , τ ) γ̈d S − k22 γd S (k2 , τ )γ̇d S (k3 , τ )
$ * 3 +* 3 + %
(λ ) (λn )†
∗
× : 0| ak m
γd S (kn , τ )a−kn |0 :
m
m=1 n=1
− γ̈d∗S − k12 γd∗S (k1 , τ )
γ̈d∗S − k22 γd∗S (k2 , τ )γ̇d∗S (k3 , τ )
$ * 3 +* 3 + % '
(λn )
(λ )†
× : 0| γd S (kn , τ )akn a−km |0 :
m
n=1 m=1
A ( 3
)
−2 2 τ
= (H τ ) (−3i)k3 (2π )3 δ kn
τ∗
n=1
(−λ1 ) ˆ
×ηi jk ekq (k1 )e(−λ 2) ˆ (−λ3 ) ˆ ˆ
jm (k2 )eiq (k3 )k3m
×2iIm γ̈d S − k12 γd S (k1 , τ ) γ̈d S − k22 γd S (k2 , τ )
* 3 +'
∗
×γ̇d S (k3 , τ ) γd S (kn , τ ) + 5 perms. (F.13)
n=1
178 Appendix F: Graviton Non-Gaussianity from the Weyl Cubic Terms
we have
$ %(1) ( )
3 3
H 6 H 2
(λn )
γ (kn ) = (2π ) δ 3
kn 8
Mpl
n=1 #W 2
W n=1
0
× Im τ∗−A dτ τ 5+A e−ikt τ
−∞
(−λ1 ) (−λ2 ) (−λ3 )
× (−3i)ηi jk ekq (kˆ1 )e jm (kˆ2 )eiq (kˆ3 )kˆ3m
+ 5 perms. (F.15)
(3)
The bracket part with respect to HW
# W 2 is
Appendix F: Graviton Non-Gaussianity from the Weyl Cubic Terms 179
$ & ' %
(3)
3
(λn )
0| : # W 2 (τ )
HW :, γ (kn , τ ) |0
n=1
$ %
(3)
3
(λn )
= 0| : # W 2 (τ )
HW : γ (kn , τ )|0
n=1
$ & ' %
3
(3)
(λn )
− 0| γ (kn , τ ) : # W 2 (τ )
HW : |0
n=1
⎡ ⎤
A 3
τ d 3 kn ikn ·x
=− d 3 x −2 (H τ )2 4⎣ e ⎦
τ∗ (2π )3
n=1 λn =±2
(λ ) (λ ) (λ )
×ηi jk e pj1 (kˆ1 )e pm2 (kˆ2 )eil 3 (kˆ3 )(ik1k
)(ik2l
)(ik3m )
& $ * +* + %
3
(λ )
3
(λ )†
× : 0| γ̇d S (kn , τ )ak n γd∗S (km , τ )a−kmm |0 :
n
n=1 m=1
$ * 3 +* 3 + % '
(λ )
(λ )†
− : 0| γd S (km , τ )akmm γ̇d∗S (kn , τ )a−kn |0 :
n
m=1 n=1
A ( 3
)
−2 2 τ
= (H τ ) (−4)(−i) k1 k2 k3 (2π ) δ
3 3
kn
τ∗
n=1
(−λ1 ) (−λ3 ) ˆ ˆ ˆ ˆ
(kˆ1 )e(−λ
×ηi jk e pj 2) ˆ
pm (k2 )eil (k3 )k1k k2l k3m
& '
3
×2iIm γ̇d S (kn , τ )γd∗S (kn , τ ) + 5 perms. (F.17)
n=1
$ %(3) (
)
3 3
H 6 H 2
(λn )
γ (kn ) = (2π ) δ 3
kn 8
Mpl
n=1 #W 2
W n=1
0
× Im τ∗−A dτ τ 5+A e−ikt τ
−∞
(−λ1 ) ˆ 2) ˆ (−λ3 ) ˆ ˆ ˆ ˆ
× i ηi jk e pj (k1 )e(−λ
pm (k2 )eil (k3 )k1k k2l k3m
+ 5 perms. (F.19)
(4)
Through the same procedure, the bispectrum from HW
# W 2 is estimated as
$ %(4) (
)
3 3
H 6 H 2
(λn )
γ (kn ) = (2π ) δ3
kn 8
Mpl
n=1 #W 2
W n=1
0
× Im τ∗−A dτ τ 5+A e−ikt τ
−∞
× (−i)ηi jk e(−λ
pj
1) ˆ
(k1 )e(−λ2) ˆ (−λ3 ) ˆ ˆ ˆ ˆ
pm (k2 )eim (k3 )k1k k2l k3l
+ 5 perms. (F.20)
References