60
Relativistic Structure Formation in the Universe Ruth Durrer epartement de physique th ´ eorique, Universit ´ e de Gen ` eve CosmoBack LAM, Mai 2018 Ruth Durrer (Universit ´ e de Gen ` eve) Structure Formation in the Universe Marseille, Mai 2018 1 / 35

Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic Structure Formation in the Universe

Ruth Durrer

Departement de physique theorique, Universite de Geneve

CosmoBack LAM, Mai 2018

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 1 / 35

Page 2: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Outline

1 Introduction

2 Linear perturbation theoryGauge transformations / gauge invarianceSimple solutionsWhat do we observeMeasuring the lensing potential / relativistic effects

3 Relativistic N-body simulations

4 Conclusions

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 2 / 35

Page 3: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

The observed Universe is not homogeneous and isotropic. It contains galaxies,clusters of galaxies, voids, filaments...

M. Blanton and the Sloan Digital Sky Survey Team.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 3 / 35

Page 4: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

We assume that on large scales there is a well defined mean density and onintermediate scales, the density differs little from it.

This is a highly non-trivial assumption, which is best justified by the isotropy of thecosmic microwave background, the CMB.

Under the hypothesis that cosmic structure grew out of small initial fluctuations wecan study their evolution using perturbation theory.

At late times and sufficiently small scales fluctuations of the cosmic density are notsmall. The density inside a galaxy is about 105 times higher than the mean densityof the Universe.

Perturbation theory is then not adequate and we need N-body simulations to studystructure formation on galaxy - cluster scales of a few Mpc and less.

Since this is mainly relevant on scales much smaller than the Hubble scale(3000h−1Mpc), it has been studied in the past mainly with non-relativisticsimulations. Since a couple years several groups have started to develop alsorelativistic simulations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 4 / 35

Page 5: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

We assume that on large scales there is a well defined mean density and onintermediate scales, the density differs little from it.

This is a highly non-trivial assumption, which is best justified by the isotropy of thecosmic microwave background, the CMB.

Under the hypothesis that cosmic structure grew out of small initial fluctuations wecan study their evolution using perturbation theory.

At late times and sufficiently small scales fluctuations of the cosmic density are notsmall. The density inside a galaxy is about 105 times higher than the mean densityof the Universe.

Perturbation theory is then not adequate and we need N-body simulations to studystructure formation on galaxy - cluster scales of a few Mpc and less.

Since this is mainly relevant on scales much smaller than the Hubble scale(3000h−1Mpc), it has been studied in the past mainly with non-relativisticsimulations. Since a couple years several groups have started to develop alsorelativistic simulations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 4 / 35

Page 6: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

We assume that on large scales there is a well defined mean density and onintermediate scales, the density differs little from it.

This is a highly non-trivial assumption, which is best justified by the isotropy of thecosmic microwave background, the CMB.

Under the hypothesis that cosmic structure grew out of small initial fluctuations wecan study their evolution using perturbation theory.

At late times and sufficiently small scales fluctuations of the cosmic density are notsmall. The density inside a galaxy is about 105 times higher than the mean densityof the Universe.

Perturbation theory is then not adequate and we need N-body simulations to studystructure formation on galaxy - cluster scales of a few Mpc and less.

Since this is mainly relevant on scales much smaller than the Hubble scale(3000h−1Mpc), it has been studied in the past mainly with non-relativisticsimulations. Since a couple years several groups have started to develop alsorelativistic simulations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 4 / 35

Page 7: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

We assume that on large scales there is a well defined mean density and onintermediate scales, the density differs little from it.

This is a highly non-trivial assumption, which is best justified by the isotropy of thecosmic microwave background, the CMB.

Under the hypothesis that cosmic structure grew out of small initial fluctuations wecan study their evolution using perturbation theory.

At late times and sufficiently small scales fluctuations of the cosmic density are notsmall. The density inside a galaxy is about 105 times higher than the mean densityof the Universe.

Perturbation theory is then not adequate and we need N-body simulations to studystructure formation on galaxy - cluster scales of a few Mpc and less.

Since this is mainly relevant on scales much smaller than the Hubble scale(3000h−1Mpc), it has been studied in the past mainly with non-relativisticsimulations. Since a couple years several groups have started to develop alsorelativistic simulations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 4 / 35

Page 8: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

We assume that on large scales there is a well defined mean density and onintermediate scales, the density differs little from it.

This is a highly non-trivial assumption, which is best justified by the isotropy of thecosmic microwave background, the CMB.

Under the hypothesis that cosmic structure grew out of small initial fluctuations wecan study their evolution using perturbation theory.

At late times and sufficiently small scales fluctuations of the cosmic density are notsmall. The density inside a galaxy is about 105 times higher than the mean densityof the Universe.

Perturbation theory is then not adequate and we need N-body simulations to studystructure formation on galaxy - cluster scales of a few Mpc and less.

Since this is mainly relevant on scales much smaller than the Hubble scale(3000h−1Mpc), it has been studied in the past mainly with non-relativisticsimulations. Since a couple years several groups have started to develop alsorelativistic simulations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 4 / 35

Page 9: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Introduction

We assume that on large scales there is a well defined mean density and onintermediate scales, the density differs little from it.

This is a highly non-trivial assumption, which is best justified by the isotropy of thecosmic microwave background, the CMB.

Under the hypothesis that cosmic structure grew out of small initial fluctuations wecan study their evolution using perturbation theory.

At late times and sufficiently small scales fluctuations of the cosmic density are notsmall. The density inside a galaxy is about 105 times higher than the mean densityof the Universe.

Perturbation theory is then not adequate and we need N-body simulations to studystructure formation on galaxy - cluster scales of a few Mpc and less.

Since this is mainly relevant on scales much smaller than the Hubble scale(3000h−1Mpc), it has been studied in the past mainly with non-relativisticsimulations. Since a couple years several groups have started to develop alsorelativistic simulations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 4 / 35

Page 10: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear cosmological perturbation theory

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 5 / 35

Page 11: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Gauge transformation

Splitting the true metric into a background and a perturbation,

gµνdxµdxν = a2(t)[−(1 + 2A)dt2 − 2Bidtdx i + (1 + 2HL)γijdx idx j + 2Hijdx idx j

]= a2(t) [ηµν + εδηµν ] dxµdxν = [gµν + εδgµν ] dxµdxν

is not unique. Under a linearized coordinate transformation (gauge transformation),xµ → xµ + εXµ, the metric (and any other tensor field) changes like

gµν 7→ gµν + εLX gµν , δgµν 7→ δgµν + LX gµν .

The same is true for the energy momentum tensor,

Tµν = Tµν + εδTµν , δTµν 7→ δTµν + LX Tµν .

A variable (tensor field) V is called gauge invariant if it does not change under gaugetransformations. As we see from the above equations, this happens if LX V = 0 ∀ X ,hence V = constant. (Stewart Walker lemma).Furthermore, even if the total metric and energy momentum tensor satisfy Einstein’sequation, this is in general not true for arbitrary splits into a background and aperturbation. We call a split ’admissible’ if it is true. For an admissible split also theperturbations satisfy Einstein’s equations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 6 / 35

Page 12: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Gauge transformation

Splitting the true metric into a background and a perturbation,

gµνdxµdxν = a2(t)[−(1 + 2A)dt2 − 2Bidtdx i + (1 + 2HL)γijdx idx j + 2Hijdx idx j

]= a2(t) [ηµν + εδηµν ] dxµdxν = [gµν + εδgµν ] dxµdxν

is not unique. Under a linearized coordinate transformation (gauge transformation),xµ → xµ + εXµ, the metric (and any other tensor field) changes like

gµν 7→ gµν + εLX gµν , δgµν 7→ δgµν + LX gµν .

The same is true for the energy momentum tensor,

Tµν = Tµν + εδTµν , δTµν 7→ δTµν + LX Tµν .

A variable (tensor field) V is called gauge invariant if it does not change under gaugetransformations. As we see from the above equations, this happens if LX V = 0 ∀ X ,hence V = constant. (Stewart Walker lemma).Furthermore, even if the total metric and energy momentum tensor satisfy Einstein’sequation, this is in general not true for arbitrary splits into a background and aperturbation. We call a split ’admissible’ if it is true. For an admissible split also theperturbations satisfy Einstein’s equations.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 6 / 35

Page 13: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Gauge invariant variables

We typically split spatial tensor fields into helicity zero (scalar) helicity one (vector) andhelicity two (tensor) parts. These do not mix within linear perturbation theory due torotational symmetry of the background. The same is true for each Fourier component(translational symmetry)

Bi = ∇iB + B(V )i , Hij =

(∇i∇j −

13

∆γij

)H(S) +

(∇iH

(V )j +∇jH

(V )i

)+ H(T )

ij

∇iB(V )i = ∇iH(V )

i = ∇iH(T )ij = H j (T )

i = 0 .

I shall not discuss vector perturbations any further. They seem not to be relevant incosmology.In the background Friedmann-Lemaıtre universe the Weyl tensor Cµ

ναβ and theanisotropic stress tensor Πµν vanish⇒ their perturbations are gauge-invariant,

Πµν = Tµν − (ρ+ P)uµuν − Pgµν .

Here ρ and u are defined by Tµν uν = −ρuµ, uµuµ = −1 and Tµµ + ρ = 3P.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 7 / 35

Page 14: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Gauge invariant variables

For scalar perturbations we can define the so called Bardeen potentials. In Fourierspace (k = wavenumber) they are given by

Ψ = A−Hk−1σ − k−1σ ,

Φ = −HL −13

H(S) +Hk−1σ = −R+Hk−1σ

σ = k−1H(S) − B R = HL +13

H(S) .

The non-vanishing components of Cµναβ and Πµν are then given by

Eij ≡ Cµiν juµuν = −C0

i0j = −12

[(Ψ + Φ)|ij −

13

∆(Ψ + Φ)γij

]8πGa2Πij = (Ψ− Φ)|ij −

13

∆(Ψ− Φ)γij .

For the last eqn. we used Einstein’s equation.In longitudinal (Newtonian) gauge, B = H(S) = 0, the perturbed metric is given by

δgµν = −2a2[Ψdt2 + Φγijdx idx j

].

Tensor perturbations are gauge invariant (there are no tensor-typegauge-transformations).

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 8 / 35

Page 15: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Gauge invariant variables

Apart from the anisotropic stress, the entropy perturbation

Γ = (δP +c2

s

wδρ)/ρ

is gauge invariant. To obtain gauge invariant perturbations of the velocity and densityperturbations, δ = (ρ− ρ)/ρ one has to combine them with metric perturbations. Themost common combinations are

V ≡ v − 1k

HT = v long

Ds ≡ δ + 3(1 + w)H(k−2HT − k−1B) ≡ δlong ,

D ≡ δlong + 3(1 + w)Hk

V = δ + 3(1 + w)Hk

(v − B)

= Ds + 3(1 + w)Hk

V ,

Dg ≡ δ + 3(1 + w)

(HL +

13

H(S)

)= δlong − 3(1 + w)Φ

= Ds − 3(1 + w)Φ .

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 9 / 35

Page 16: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Density perturbation spectrum

The resulting density perturbation spectrum depends on the choice of the perturbationvariable only on very large scales, k <∼H−1

0 .

P(k)

0.001 0.01 0.1 1

10

100

1000

104

kComparing density fluctuations in different gauges:

comoving gauge, D (blue), longitudinal gauge, Ds (red) andspatially flat gauge, Dg (green)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 10 / 35

Page 17: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Perturbation equations

Einstein’s equations (H = a/a = Ha)

4πGa2ρD = −(k2 − 3K )Φ (00)

4πGa2(ρ+ P)V = k(HΨ + Φ

)(0i)

8πGa2PΠ(S) = k2 (Φ−Ψ) (i 6= j)4πGa2ρ

[ 13 D + c2

s Ds + wΓ]

= Φ + 2HΦ +HΨ +[2H+H2 − k2

3

]Ψ (ii)

8πGa2PΠ(T ) = H(T ) + 2HH(T ) +(2K + k2)H(T ) (tensor)

Conservation equations for scalar perturbations (w = P/ρ, c2s = P/ρ)

D − 3wHD = −(

1− 3Kk2

)[(1 + w)kV + 2HwΠ] ,

V +HV = k[

Ψ +c2

s

1 + wD +

w1 + w

Γ− 23

(1− 3K

k2

)w

1 + wΠ

].

Bardeen equation for scalar perturbations

Φ + 3H(1 + c2s )Φ +

[3(c2

s − w)H2 − (2 + 3w + 3c2s )K + c2

s k2]

Φ

=8πGa2P

k2

[HΠ + [2H+ 3H2(1− c2

s/w)]Π− 13

k2Π +k2

].

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 11 / 35

Page 18: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Perturbation equations

Einstein’s equations (H = a/a = Ha)

4πGa2ρD = −(k2 − 3K )Φ (00)

4πGa2(ρ+ P)V = k(HΨ + Φ

)(0i)

8πGa2PΠ(S) = k2 (Φ−Ψ) (i 6= j)4πGa2ρ

[ 13 D + c2

s Ds + wΓ]

= Φ + 2HΦ +HΨ +[2H+H2 − k2

3

]Ψ (ii)

8πGa2PΠ(T ) = H(T ) + 2HH(T ) +(2K + k2)H(T ) (tensor)

Conservation equations for scalar perturbations (w = P/ρ, c2s = P/ρ)

D − 3wHD = −(

1− 3Kk2

)[(1 + w)kV + 2HwΠ] ,

V +HV = k[

Ψ +c2

s

1 + wD +

w1 + w

Γ− 23

(1− 3K

k2

)w

1 + wΠ

].

Bardeen equation for scalar perturbations

Φ + 3H(1 + c2s )Φ +

[3(c2

s − w)H2 − (2 + 3w + 3c2s )K + c2

s k2]

Φ

=8πGa2P

k2

[HΠ + [2H+ 3H2(1− c2

s/w)]Π− 13

k2Π +k2

].

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 11 / 35

Page 19: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Perturbation equations

Einstein’s equations (H = a/a = Ha)

4πGa2ρD = −(k2 − 3K )Φ (00)

4πGa2(ρ+ P)V = k(HΨ + Φ

)(0i)

8πGa2PΠ(S) = k2 (Φ−Ψ) (i 6= j)4πGa2ρ

[ 13 D + c2

s Ds + wΓ]

= Φ + 2HΦ +HΨ +[2H+H2 − k2

3

]Ψ (ii)

8πGa2PΠ(T ) = H(T ) + 2HH(T ) +(2K + k2)H(T ) (tensor)

Conservation equations for scalar perturbations (w = P/ρ, c2s = P/ρ)

D − 3wHD = −(

1− 3Kk2

)[(1 + w)kV + 2HwΠ] ,

V +HV = k[

Ψ +c2

s

1 + wD +

w1 + w

Γ− 23

(1− 3K

k2

)w

1 + wΠ

].

Bardeen equation for scalar perturbations

Φ + 3H(1 + c2s )Φ +

[3(c2

s − w)H2 − (2 + 3w + 3c2s )K + c2

s k2]

Φ

=8πGa2P

k2

[HΠ + [2H+ 3H2(1− c2

s/w)]Π− 13

k2Π +k2

].

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 11 / 35

Page 20: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Simple solutions

We consider adiabatic fluctuations of a perfect fluid (Γ = Π = 0) with K = 0 andw = c2

s =constant. In this case the Bardeen eqn. simplifies to

Φ + 3H(1 + w)Φ + 3wk2Φ = 0 , H =2

1 + 3wt−1 =

qt

with solutionΦ =

1a

[Ajq(cskt) + Byq(cskt)]

On large scales, cskt < 1 the growing mode ∝ A is constant, on small scales, cskt > 1it oscillates and decays.For radiation, w = c2

s = 1/3, q = 1.The case of dust, c2

s = w = 0 has been treated apart. In this case the solution is

Φ = A +B

(kt)5 .

Again, the growing mode is constant.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 12 / 35

Page 21: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Bardeen potential

Starting from scale invariant initial conditions, 〈|Ψ|2〉k3 = AS(k/H0)n−1, n = 1 one findstoday a Bardeen potential of roughly the following form:

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 13 / 35

Page 22: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Linear perturbation theory: Simple solutions

From the Bardeen potential we can now compute the density and velocityperturbations.For dust we obtain for the growing modes

V ∝ t D ∝ t2 ∝ a .

For radiation we find, x = kt/√

3

Dg = 2A[cos(x)− 2

xsin(x)

],

V = −√

34

D′g =

√3A2

[sin(x) +

2x

cos(x)− 2x2 sin(x)

].

These are the acoustic oscillations which we see in the CMB temperature anisotropyspectrum.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 14 / 35

Page 23: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

CMB spectrumPlanck Collaboration: Cosmological parameters

0

1000

2000

3000

4000

5000

6000D

TT

K2]

30 500 1000 1500 2000 2500

-60-3003060

D

TT

2 10-600-300

0300600

Fig. 1. The Planck 2015 temperature power spectrum. At multipoles ` 30 we show the maximum likelihood frequency averagedtemperature spectrum computed from the Plik cross-half-mission likelihood with foreground and other nuisance parameters deter-mined from the MCMC analysis of the base CDM cosmology. In the multipole range 2 ` 29, we plot the power spectrumestimates from the Commander component-separation algorithm computed over 94% of the sky. The best-fit base CDM theoreticalspectrum fitted to the Planck TT+lowP likelihood is plotted in the upper panel. Residuals with respect to this model are shown inthe lower panel. The error bars show ±1 uncertainties.

sults to the likelihood methodology by developing several in-dependent analysis pipelines. Some of these are described inPlanck Collaboration XI (2015). The most highly developed ofthese are the CamSpec and revised Plik pipelines. For the2015 Planck papers, the Plik pipeline was chosen as the base-line. Column 6 of Table 1 lists the cosmological parameters forbase CDM determined from the Plik cross-half-mission like-lihood, together with the lowP likelihood, applied to the 2015full-mission data. The sky coverage used in this likelihood isidentical to that used for the CamSpec 2015F(CHM) likelihood.However, the two likelihoods di↵er in the modelling of instru-mental noise, Galactic dust, treatment of relative calibrations andmultipole limits applied to each spectrum.

As summarized in column 8 of Table 1, the Plik andCamSpec parameters agree to within 0.2, except for ns, whichdi↵ers by nearly 0.5. The di↵erence in ns is perhaps not sur-prising, since this parameter is sensitive to small di↵erences inthe foreground modelling. Di↵erences in ns between Plik andCamSpec are systematic and persist throughout the grid of ex-tended CDM models discussed in Sect. 6. We emphasise thatthe CamSpec and Plik likelihoods have been written indepen-dently, though they are based on the same theoretical framework.None of the conclusions in this paper (including those based on

the full “TT,TE,EE” likelihoods) would di↵er in any substantiveway had we chosen to use the CamSpec likelihood in place ofPlik. The overall shifts of parameters between the Plik 2015likelihood and the published 2013 nominal mission parametersare summarized in column 7 of Table 1. These shifts are within0.71 except for the parameters and Ase2 which are sen-sitive to the low multipole polarization likelihood and absolutecalibration.

In summary, the Planck 2013 cosmological parameters werepulled slightly towards lower H0 and ns by the ` 1800 4-K linesystematic in the 217 217 cross-spectrum, but the net e↵ect ofthis systematic is relatively small, leading to shifts of 0.5 orless in cosmological parameters. Changes to the low level dataprocessing, beams, sky coverage, etc. and likelihood code alsoproduce shifts of typically 0.5 or less. The combined e↵ect ofthese changes is to introduce parameter shifts relative to PCP13of less than 0.71, with the exception of and Ase2. The mainscientific conclusions of PCP13 are therefore consistent with the2015 Planck analysis.

Parameters for the base CDM cosmology derived fromfull-mission DetSet, cross-year, or cross-half-mission spectra arein extremely good agreement, demonstrating that residual (i.e.uncorrected) cotemporal systematics are at low levels. This is

8

The Planck Collaboration, 2015

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 15 / 35

Page 24: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

What do we observe?

Measured quantities must be gauge invariant. They do not depend on the coordinatesystem in which we compute them.We have long ago (1990-95) computed what we measure (within linear perturbationtheory) when we masure CMB anisotropies. A simplified formula neglecting Silkdamping is (RD 1990)

∆T (n)

T=

[14

D(r)g + V (b)

j nj + Ψ + Φ

](tdec, xdec) +

∫ t0

tdec

(Ψ + Φ)(t , x(t)) dt .

This result is obtained by studying lightlike geodesics.To go beyond this and take into account polarisation and Silk damping, we have tostudy the propagation of photons with a Boltzmann equation approach.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 16 / 35

Page 25: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

The observed number count

For density perturbations (even neglecting bias and non-linearities) it is morecomplicated. We consider the following measurement: we count the galaxies in a smallredshift element dz around redshift z and solid angle dΩn around a direction n. Toobtain the fluctuation of this number count we subtract from it the mean number ofgalaxies inside a redshift bin dz and a solid angle dΩn and we also divide by this mean,

∆(z,n) =N(z,n)− N(z)

N(z).

Assuming that the number of galaxies is proportional to the matter density times thevolume we have

dN(z,n) = ρ(z,n)dV (z,n) = ρ(z,n)ν(z,n)dzdΩn ν(z,n) =dV (z,n)

dzdΩn.

To continue we have also to take into account that also the redshift and the directionfrom which we see the galaxy are perturbed. Taking this all into account we find theperturbed expression for the observed number counts,

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 17 / 35

Page 26: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

The observed number count

∆g(n, z,m∗) = bD +1H

[Φ + ∂r (V · n)

]− (3− be)HV +(

HH2 +

2− 5srsH

+ 5s − be

)(Ψ + V · n +

∫ rs

0dr(Φ + Ψ

)−(2− 5s)Φ + Ψ +

2− 5s2rs

∫ rs

0dr[2(Φ + Ψ)− rs − r

r∆Ω(Φ + Ψ)

](Bonvin & RD 2011, Challinor & Lewis 2011)

The first term is simply the biased density contrast in comoving gauge. The secondterm is the redshift space distortion (the radial volume distortion) the last term is thelensing term (the transversal volume distortion). The other terms (Doppler, Shapirotime delay, integrated Sachs Wolfe term) are relevant mainly on very large scales.m∗ is the magnitude limit of the survey and L∗ is the limiting luminosity.

be is the evolution bias,

52

s =∂ log ng(z, L)

∂ log L

∣∣∣∣L=L∗

is the magnification bias.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 18 / 35

Page 27: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

The observed number count

The observed number count fluctuation is not a function of position but a function of(observed) direction n and redshift z; (n, z) are observable coordinates on thebackground lightcone.We cannot observe distances. To infer a distance from observations in cosmology, wealways use a model. Hence the real space correlation function and its Fouriertransform, the power spectrum are model dependent.We can directly observe the angular-redshift correlation function,

ξ(n · n′, z, z′) = 〈∆(n, z)∆(n′, z′)〉

or its angular power spectrum, C`(z, z′), n · n′ = cos θ

ξ(θ, z, z′) =1

∑`

(2`+ 1)C`(z, z′)P`(cos θ)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 19 / 35

Page 28: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

The observed number count

The distance between two galaxies in directions n and n′ at redshifts z and z′, forK = 0

d =√

r(z)2 + r(z′)2 − 2r(z)r(z′) cos θ

depends on the cosmological model via

r(z) =

∫ z

0

dz′

H(z′)=

1H0

∫ z

0

dz′√Ωm(1 + z′)3 + Ωdef (z′)

One therefore has to be very careful when estimating cosmological parameters via thereal space correlation function or the power spectrum.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 20 / 35

Page 29: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

The observed number count

Parameter dependence of the realspace correlation function.(Figure by F. Montanari)

Observed

0 2 4 6 8 100.000

0.005

0.010

0.015

0.020

0.025

0.030

0.035

Θ @ degD

ΞHΘ

2

z1 =z2 =0.7

True Wm = 0.24

Wrong Wm = 0.3

Wrong Wm = 0.5

0 50 100 150 200 250 3000.000

0.005

0.010

0.015

0.020

0.025

0.030

0.035

r @ Mpc hD

Ξ@r

HΘ,z

1,z

2LD

Θ2

z1 =z2 =0.7

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 21 / 35

Page 30: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Density and RSD

Most present analyses take into account only the density and rsd terms and consider ssmall survey in direction n in the sky.Using kV/H = H−1D = f (z)D, f (z) = d log D/d log a ∼ Ωm(z)0.57 one finds

ξobs(d, z) = ξ(d)T 2D(z) [β0(z)P0(µ)− β2(z)P2(µ) + β4(z)P4(µ)] ,

Pobs(k, z) = P(k)T 2D(z) [β0(z)P0(µ) + β2(z)P2(µ) + β4(z)P4(µ)] ,

with

β0 = b2 +2bf3

+f 2

5, β2 =

4bf3

+4f 2

7, β4 =

8f 2

35.

µ = d · n = cos γ,or µ = k · n.

↵2↵2

s t

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 22 / 35

Page 31: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Lensing

The lensing term can become very important at high redshift and for different redshifts,z 6= z′.Contributions to the power spectrum at redshift z′ = z = 3,∆z = 0.3(from Bonvin & RD ’11)

20 40 60 80 1005!10"71!10"6

5!10"61!10"5

5!10"51!10"4

l

l!l#1"#2Π

C l

CDD` (red), Czz

` (green), 2CDz` (blue), C lensing

` (magenta).

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 23 / 35

Page 32: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Measuring the lensing potential

Well separated redshift bins measure mainly the lensing-density correlation:

〈∆(n, z)∆(n′, z′)〉 ' 〈∆L(n, z)δ(n′, z′)〉 z > z′

∆L(n, z) = (2− 5s(z))κ(n, z)

full

only local

local-lensing

1 10 100 1000

0.00

0.01

0.02

0.03

0.04

0.05

ℓ(ℓ+

1)/

2πC

Bins 1-1

1 10 100 1000-0.0015

-0.0010

-0.0005

0.0000

0.0005

0.0010

0.0015

0.0020

ℓ(ℓ+

1)/

2πC

Bins 1-4

1 10 100 1000

-0.0015

-0.0010

-0.0005

0.0000

ℓ(ℓ+

1)/

2πC

Bins 1-4, SKA

1 10 100 10000.000

0.001

0.002

0.003

0.004

ℓ(ℓ+

1)/

2πC

Bins 1-10

(Montanari & RD)[1506.01369]

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 24 / 35

Page 33: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

The radial power spectrum

0.105 0.110 0.115 0.120 0.125 0.130

10!4

0.001

0.01

0.1

z’

l!l"1"#2Π

C l

0.50 0.55 0.60 0.65 0.70 0.7510!7

10!6

10!5

10!4

0.001

0.01

z’

l!l"1"#2Π

C l

1.0 1.1 1.2 1.3 1.4 1.5

10!6

10!5

10!4

0.001

z’

l!l"1"#2Π

C l

3.0 3.2 3.4 3.6 3.8

5!10"61!10"5

5!10"51!10"4

5!10"40.001

z’

l!l#1"#2Π

C l

The radial power spectrum C`(z, z′)for ` = 20Left, top to bottom: z = 0.1, 0.5, 1,top right: z = 3

Standard terms (blue), C lensing` (magenta),

CDoppler` (cyan), Cgrav

` (black),(from Bonvin & RD ’11)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 25 / 35

Page 34: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 26 / 35

Page 35: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 36: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 37: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 38: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 39: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 40: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 41: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Going beyond linear perturbation theory

On intermediate to small scales, d < 10Mpc, density perturbations can become large.Inside a galaxy we have δ ∼ 105 and even inside a galaxy cluster the motion ofgalaxies is decoupled from the Hubble flow, clusters due not expand. ⇒We have totreat clustering non-linearly .But the gravitational potential of a galaxy remains small,

Φ ∼ Rs/D ∼2× 1012km

10kpc' 10−5

Therefore, in Newtonian (longitudinal) gauge, metric perturbations remain small.In the past, this together with the smallness of peculiar velocities has been used toargue that Newtonian N-body simulations are sufficient. Caveats:

We start simulations at z ∼ 100 when the box size is comparable to the horizonand neglecting radiation is not a good approximation (aim: 1% accuracy).

Neutrino velocities, even for massive neutrinos are not very small at z = 100.

The relativistic gravitational field has 6 degrees of freedom (2 helicity 0, 2 helicity 1and 2 helicity 2) and Newtonian simulations only consider 1 of them.

Observations are made on the relativistic, perturbed lightcone. We want tocorrectly simulate this.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 27 / 35

Page 42: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

A full relativistic N-body simulation might, starting from the initial metric and particlepositions at time t1

1 Move dark matter particles (and baryons) along geodesics of the metric at t1 toobtain their position at t1 + ∆t .

mpµ + Γµαβpαpβ = 0

2 Compute the energy-momentum tensor with a particle to mesh projection.

Tµν(x, t) = m−1∑

n

pµ(t)pν(t)δ(x− xn(t))

3 Solve Einstein’s equations to determine the metric at t1 + ∆t .4 Return to step 1 replacing t1 by t1 + ∆t1

In practice the time-stepping is replaced by a staggered leap-frog to render hisprocedure stable.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 28 / 35

Page 43: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

A full relativistic N-body simulation might, starting from the initial metric and particlepositions at time t1

1 Move dark matter particles (and baryons) along geodesics of the metric at t1 toobtain their position at t1 + ∆t .

mpµ + Γµαβpαpβ = 0

2 Compute the energy-momentum tensor with a particle to mesh projection.

Tµν(x, t) = m−1∑

n

pµ(t)pν(t)δ(x− xn(t))

3 Solve Einstein’s equations to determine the metric at t1 + ∆t .4 Return to step 1 replacing t1 by t1 + ∆t1

In practice the time-stepping is replaced by a staggered leap-frog to render hisprocedure stable.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 28 / 35

Page 44: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

A full relativistic N-body simulation might, starting from the initial metric and particlepositions at time t1

1 Move dark matter particles (and baryons) along geodesics of the metric at t1 toobtain their position at t1 + ∆t .

mpµ + Γµαβpαpβ = 0

2 Compute the energy-momentum tensor with a particle to mesh projection.

Tµν(x, t) = m−1∑

n

pµ(t)pν(t)δ(x− xn(t))

3 Solve Einstein’s equations to determine the metric at t1 + ∆t .4 Return to step 1 replacing t1 by t1 + ∆t1

In practice the time-stepping is replaced by a staggered leap-frog to render hisprocedure stable.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 28 / 35

Page 45: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

A full relativistic N-body simulation might, starting from the initial metric and particlepositions at time t1

1 Move dark matter particles (and baryons) along geodesics of the metric at t1 toobtain their position at t1 + ∆t .

mpµ + Γµαβpαpβ = 0

2 Compute the energy-momentum tensor with a particle to mesh projection.

Tµν(x, t) = m−1∑

n

pµ(t)pν(t)δ(x− xn(t))

3 Solve Einstein’s equations to determine the metric at t1 + ∆t .4 Return to step 1 replacing t1 by t1 + ∆t1

In practice the time-stepping is replaced by a staggered leap-frog to render hisprocedure stable.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 28 / 35

Page 46: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

A full relativistic N-body simulation might, starting from the initial metric and particlepositions at time t1

1 Move dark matter particles (and baryons) along geodesics of the metric at t1 toobtain their position at t1 + ∆t .

mpµ + Γµαβpαpβ = 0

2 Compute the energy-momentum tensor with a particle to mesh projection.

Tµν(x, t) = m−1∑

n

pµ(t)pν(t)δ(x− xn(t))

3 Solve Einstein’s equations to determine the metric at t1 + ∆t .4 Return to step 1 replacing t1 by t1 + ∆t1

In practice the time-stepping is replaced by a staggered leap-frog to render hisprocedure stable.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 28 / 35

Page 47: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

At present, we do not solve the full Einstein equations.We work in longitudinal gauge (K = 0),

ds2 = −a2e2Ψdt2 − 2a2Bidtdx i + a2[e−2Φδij + hij ]dx idx j

and use the fact that Ψ ' Φ is very small. However, spatial derivatives, ∇Ψ/H ∼ Vand second derivatives, ∆Ψ/H2 ' D are not small.

Therefore, when computing the Einstein tensor go only to first order in the gravitationalpotentials and their time derivatives. We include quadratic terms of first spatialderivatives and all orders for second spatial derivatives. Since the Einstein tensor islinear in its second derivatives of the metric, this simplifies the equations significantly.

We include also vector and tensor perturbations only at linear order. They are inducedfrom scalar perturbations at second order and always remains small.

When solving the geodesic equation we also neglect tensor perturbations as they onlyenter together with v2 and are very suppressed.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 29 / 35

Page 48: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

At present, we do not solve the full Einstein equations.We work in longitudinal gauge (K = 0),

ds2 = −a2e2Ψdt2 − 2a2Bidtdx i + a2[e−2Φδij + hij ]dx idx j

and use the fact that Ψ ' Φ is very small. However, spatial derivatives, ∇Ψ/H ∼ Vand second derivatives, ∆Ψ/H2 ' D are not small.

Therefore, when computing the Einstein tensor go only to first order in the gravitationalpotentials and their time derivatives. We include quadratic terms of first spatialderivatives and all orders for second spatial derivatives. Since the Einstein tensor islinear in its second derivatives of the metric, this simplifies the equations significantly.

We include also vector and tensor perturbations only at linear order. They are inducedfrom scalar perturbations at second order and always remains small.

When solving the geodesic equation we also neglect tensor perturbations as they onlyenter together with v2 and are very suppressed.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 29 / 35

Page 49: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Relativistic N-body simulations

At present, we do not solve the full Einstein equations.We work in longitudinal gauge (K = 0),

ds2 = −a2e2Ψdt2 − 2a2Bidtdx i + a2[e−2Φδij + hij ]dx idx j

and use the fact that Ψ ' Φ is very small. However, spatial derivatives, ∇Ψ/H ∼ Vand second derivatives, ∆Ψ/H2 ' D are not small.

Therefore, when computing the Einstein tensor go only to first order in the gravitationalpotentials and their time derivatives. We include quadratic terms of first spatialderivatives and all orders for second spatial derivatives. Since the Einstein tensor islinear in its second derivatives of the metric, this simplifies the equations significantly.

We include also vector and tensor perturbations only at linear order. They are inducedfrom scalar perturbations at second order and always remains small.

When solving the geodesic equation we also neglect tensor perturbations as they onlyenter together with v2 and are very suppressed.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 29 / 35

Page 50: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Gevolution

The code doing this is ’gevolution’. It is written by Julian Adamek and extensively usespackages of ’LATfield2’ written for gevolution by David Daverio.The code is publicly available at github.com/gevolution-code/gevolution-1.0

(Figure by Julian Adamek)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 30 / 35

Page 51: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Gevolution

(Figure by Julian Adamek)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 31 / 35

Page 52: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Spectra from gevolution

k [h/Mpc]k [h/Mpc]k [h/Mpc]

2π2

P(k

)

Φ

Φ-Ψ

hi j

B

z = 10 z = 1 z = 0

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

111 0.10.10.1 0.010.010.01

-8-8

-10-10

-12-12

-14-14

-16-16

-18-18

-20-20

-22-22

-24-24

(From Adamek et al., 2016)Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 32 / 35

Page 53: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Spectra from gevolution

0.01 0.1 1

0.6

0.7

0.8

0.9

1.0

∑mν = 0.06 eV∑mν = 0.1 eV (normal)

∑mν = 0.1 eV (inverted)∑mν = 0.2 eV

∑mν = 0.3 eV

k [h/Mpc]

∆h massive/∆

h massless

z = 0

Difference of tensor spectra in presence of massive neutrinos.(From Adamek et al., 2017)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 33 / 35

Page 54: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Performance of gevolution

0.001 0.01 0.1 1 10 100 1000

10

10

10

10

108

9

10

11

12Villaescusa-Navarro et al. 2013

Inman et al. 2015

Castorina et al. 2015

Emberson et al. 2016

this work

L3box [Gpc3/h3]

Ncd

m

⋆⋆ ⋆⋆

N

N

• • •

H

H

Gevolution has been run on the Swiss Supercomputer ’Piz Daint’.These simulations are among the largest worldwide.

(From Adamek et al., 2017)

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 34 / 35

Page 55: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Conclusions

At sufficiently large scales and at early times structure formation can be treatedwithin linear cosmological perturbation theory.

Perturbations variables are usually gauge dependent, but observations are not.

In cosmology we can observe directions, redshifts, fluxes, · · · , but not distances.Therefore, the real space correlation function and the power spectrum are modeldependent.

Galaxy number counts contain apart from density and rsd an important lensingterm which is most relevant for z 6= z′ correlations and at high redshift.

At intermediate scales we need simulations as density fluctuations become large.

Relativistic weak field simulations are not much more costly than Newtoniansimulations and they capture all the relativistic effects relevant in cosmology.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 35 / 35

Page 56: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Conclusions

At sufficiently large scales and at early times structure formation can be treatedwithin linear cosmological perturbation theory.

Perturbations variables are usually gauge dependent, but observations are not.

In cosmology we can observe directions, redshifts, fluxes, · · · , but not distances.Therefore, the real space correlation function and the power spectrum are modeldependent.

Galaxy number counts contain apart from density and rsd an important lensingterm which is most relevant for z 6= z′ correlations and at high redshift.

At intermediate scales we need simulations as density fluctuations become large.

Relativistic weak field simulations are not much more costly than Newtoniansimulations and they capture all the relativistic effects relevant in cosmology.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 35 / 35

Page 57: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Conclusions

At sufficiently large scales and at early times structure formation can be treatedwithin linear cosmological perturbation theory.

Perturbations variables are usually gauge dependent, but observations are not.

In cosmology we can observe directions, redshifts, fluxes, · · · , but not distances.Therefore, the real space correlation function and the power spectrum are modeldependent.

Galaxy number counts contain apart from density and rsd an important lensingterm which is most relevant for z 6= z′ correlations and at high redshift.

At intermediate scales we need simulations as density fluctuations become large.

Relativistic weak field simulations are not much more costly than Newtoniansimulations and they capture all the relativistic effects relevant in cosmology.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 35 / 35

Page 58: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Conclusions

At sufficiently large scales and at early times structure formation can be treatedwithin linear cosmological perturbation theory.

Perturbations variables are usually gauge dependent, but observations are not.

In cosmology we can observe directions, redshifts, fluxes, · · · , but not distances.Therefore, the real space correlation function and the power spectrum are modeldependent.

Galaxy number counts contain apart from density and rsd an important lensingterm which is most relevant for z 6= z′ correlations and at high redshift.

At intermediate scales we need simulations as density fluctuations become large.

Relativistic weak field simulations are not much more costly than Newtoniansimulations and they capture all the relativistic effects relevant in cosmology.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 35 / 35

Page 59: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Conclusions

At sufficiently large scales and at early times structure formation can be treatedwithin linear cosmological perturbation theory.

Perturbations variables are usually gauge dependent, but observations are not.

In cosmology we can observe directions, redshifts, fluxes, · · · , but not distances.Therefore, the real space correlation function and the power spectrum are modeldependent.

Galaxy number counts contain apart from density and rsd an important lensingterm which is most relevant for z 6= z′ correlations and at high redshift.

At intermediate scales we need simulations as density fluctuations become large.

Relativistic weak field simulations are not much more costly than Newtoniansimulations and they capture all the relativistic effects relevant in cosmology.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 35 / 35

Page 60: Relativistic Structure Formation in the UniverseRelativistic Structure Formation in the Universe Ruth Durrer Departement de physique th´ eorique, Universit´ e de Gen´ eve` CosmoBack

Conclusions

At sufficiently large scales and at early times structure formation can be treatedwithin linear cosmological perturbation theory.

Perturbations variables are usually gauge dependent, but observations are not.

In cosmology we can observe directions, redshifts, fluxes, · · · , but not distances.Therefore, the real space correlation function and the power spectrum are modeldependent.

Galaxy number counts contain apart from density and rsd an important lensingterm which is most relevant for z 6= z′ correlations and at high redshift.

At intermediate scales we need simulations as density fluctuations become large.

Relativistic weak field simulations are not much more costly than Newtoniansimulations and they capture all the relativistic effects relevant in cosmology.

Ruth Durrer (Universite de Geneve) Structure Formation in the Universe Marseille, Mai 2018 35 / 35