Transcript
Page 1: Model breaking measure for cosmological surveys

Model breaking measure for cosmological surveys

Adam Amara* and Alexandre Refregier†

Department of Physics, Institute for Astronomy, ETH Zurich, Wolfgang-Pauli-Strasse 27,CH-8093 Zurich, Switzerland

(Received 22 September 2013; published 1 April 2014)

Recent observations have led to the establishment of the concordance ΛCDM model for cosmology. Anumber of experiments are being planned to shed light on dark energy, dark matter, inflation and gravity,which are the key components of the model. To optimize and compare the reach of these surveys, severalfigures of merit have been proposed. They are based on either the forecasted precision on the ΛCDMmodeland its expansion or on the expected ability to distinguish two models. We propose here another figure ofmerit that quantifies the capacity of future surveys to rule out the ΛCDM model. It is based on a measureof the difference in volume of observable space that the future surveys will constrain with and withoutimposing the model. This model breaking figure of merit is easy to compute and can lead to different surveyoptimizations than other metrics. We illustrate its impact using a simple combination of supernovaeand baryon acoustic oscillation mock observations and compare the respective merit of these probes tochallenge ΛCDM. We discuss how this approach would impact the design of future cosmologicalexperiments.

DOI: 10.1103/PhysRevD.89.083501 PACS numbers: 98.80.Es

I. INTRODUCTION

Recent progress in cosmological observations have ledto the establishment of the ΛCDM model as the standardmodel for cosmology. This simple model is able to fit awide array of observations with about six parameters [1–3].In spite of its success, several key ingredients of the modelare not fully understood and have been introduced to fit thedata rather than being derived from fundamental theory.These include dark matter [4], which (if attributed toparticles) exists outside the standard model of particlephysics and dark energy [5,6]. The other ingredients of themodel are associated with inflation, which conditions theinitial state of the Universe, and Einstein gravity, which hasnot been tested on cosmological scales.Alternatives to the ΛCDM model are numerous and

growing. However since the data is currently consistentwith the ΛCDM model, progress in the field will likely bedriven by the acquisition of new data that can be used tofurther challenge the model. In so doing, we hope to findevidence that will lead to a deeper understanding ofphysical processes and point us towards more fundamentalalternative models. Significant amounts of current effortsin cosmology are thus focused on the design of futureexperiments that can optimally increase our cosmologicalknowledge. However, since there exists a wide array ofequally compelling alternative models, finding a suitablemetric with which to compare and optimize future experi-ments is challenging.

At present, the dominant metric for gauging the qualityof planned experiments is the dark energy task force(DETF) figure of merit (FoM) [7]. This metric consistsof expanding the simplest ΛCDM model so that the darkenergy component is modeled as having an equation ofstate w, which is given by the ratio of pressure to density ofdark energy. This equation is assumed to evolve linearlywith scale factor a, wðaÞ ¼ w0 þ ð1 − aÞwa [8,9]. TheDETF FoM can then be derived from the determinant ofthe covariance matrix of the two dark energy parametersw0 and wa, which can be calculated using Fisher matrixmethods [10]. Since the linear expansion of the equationof state is only one of many possible extensions beyondΛCDM, relying solely on this optimization may lead tobiases in experiment design.An alternative approach, which was proposed by the

follow-up committee known as the DETF FoM WorkingGroup [11], is to consider a more general expression for theequation of state. This approach relies on principle com-ponent analysis (PCA) methods to find the fundamentalmodes that a given experiment can measure. In their report,the DETF FoM Working Group suggests a prescriptionwhere the equation of state is divided into 36 redshift binsout to z ∼ 10. One difficulty, however, is that Fisher matrixcalculations can be unstable. The final results, therefore,can depend on the user’s choice of initial basis set, whichonce again may not be well motivated and can lead tounintended selection biases [12]. The DETF FoMWorkingGroup also advocates to use alternative theoretical expan-sions that can be used to model possible deviations ofgravity from Einstein’s theory [13,14].Numerous alternative metrics have been proposed in

the literature. As well as further PCA based techniques*[email protected][email protected]

PHYSICAL REVIEW D 89, 083501 (2014)

1550-7998=2014=89(8)=083501(7) 083501-1 © 2014 American Physical Society

Page 2: Model breaking measure for cosmological surveys

[15–18], other methods have been proposed that includein the determinant calculations parameters of ΛCDMbeyond those of the equation of state. These include theintegrated parameter space optimization (IPSO) [19–21],and model selection methods based on forecasting theBayes factor [22–26]. The latter approach relies on com-paring two models and calculating the Bayes factor[B01 ≡ pðdjM0Þ=pðdjM1Þ], which quantifies the odds ofwhich model (M0 or M1) is preferred by the data (d). Thismethod still requires a choice of an alternative model towhich the null model can be compared.The end result can vary, depending on the FoM used.

This is ultimately due to the fact that the FoMs are beingused to ask subtly different questions. In an era where thetotal amount of data is growing, it is conceivable and fullyexpected that different FoMs will lead to similar optimi-zation. However, as experiments begin to fill the entireavailable cosmic volume, the trade-offs are likely tobecome more subtle. Hence, care should be given to focusprecisely on the questions that we want to address.In this paper, we explore the motivational question:

Which experiment is most likely to find data that will falsifyΛCDM? Given the success of ΛCDM so far, the detectionof any deviation from this model would be a majordiscovery. These deviations may not necessarily emergeas a deviation from w ¼ −1. As a result, to answer themotivational question above we formulate a new figure ofmerit, building on earlier work [27], which can be readilycalculated using Gaussian approximations. In its purestform this figure of merit can be calculated using only(i) current data, (ii) the predictions from the simple ΛCDMmodel that we wish to challenge and (iii) the expectedcovariance matrix of the data for a future experiment. Aspart of our work, we also show how robust theoreticalpriors, such as light propagation on a metric, can also beincluded in the calculation, if so desired. While the DETFFOM and the Bayes ratio approach are, respectively, relatedto model fitting and model selection, our approach isrelated to the problem of model testing.This paper is organized as follows. In Sec. II, we derive

our new FoM and show the Gaussian approximationversion of the calculation. In Sec. III, we investigate asimple cosmological toy-model example to illustrate ourmethod. In this section we also compare our calculations toan FoM derived from the determinant of the Fisher matrixof the standard ΛCDM parameters. Finally, in Sec. IV weoffer a discussion to summarize our findings.

II. FORMALISM

The basic principle of our approach is to make compar-isons between the likely outcomes of future experiments indata space. In its purest form, this is a comparison betweenpðDfjDcÞ and pðDfjDc;ΘÞ, where the former is theprobability of future data Df, given only current data Dcand the latter is the probability of future data given current

data and the constraint that the standard model (with para-metersΘ) being studied (in our case standard ΛCDM) musthold. In this empirical case, we can calculate the probabilityof future data by integrating over all possible values of thedata (see derivation in the Appendix) such that

pðDfjDcÞ ¼Z

pðDfjTÞpðTjDcÞdT; (1)

where we have introduced the concept of “true” value Tthat corresponds to the value we obtain as the errors tend tozero. For the case where we assume a standard model holds,we can calculate the probability of future data by integrat-ing over all possible values of the model parameters, Θ,

pðDfjDc;ΘÞ ¼Z

pðDfjΘÞpðΘjDcÞdΘ: (2)

In both cases, we can calculate the probabilities of theunderlying variables given today’s data. For instance, in thecase of the model parameters,

pðΘjDcÞ ¼pðDcjΘÞpðΘÞ

pðDcÞ: (3)

Given two density distributions [for instance Eqs. (1) and(2)] we will need to be able to quantitatively compare them.For this, the concept of information entropy, which quan-tifies the level of uncertainty, is useful. A robust measurefor this purpose is the relative entropy, also known as theKullback-Leibler (KL) divergence [28], between the twodistributions. In this case, this can be calculated as

KL½p; q� ¼Z

ln

�pðxÞqðxÞ

�pðxÞdx; (4)

where pðxÞ and qðxÞ are the two probability distributionsto be compared. This measure quantifies the difference ofinformation in the two cases and provides a measure of thedifference between the two distributions.Using this measure our proposed figure of merit measure

for model breaking is simply

Φ ¼ KL½pðDfjDc;ΘÞ; pðDfjDcÞ�: (5)

A. The Gaussian case

The analysis outlined above is general and can be used tostudy probability distribution functions of arbitrary shape.However, due to the their simplicity, probability distribu-tion functions (PDFs) that are multivariate Gaussians arevery attractive cases to study. In this case, the probabilitieswould be given by

pðxÞ ¼ 1

ð2πÞk=2jCj1=2 exp�−1

2ðx − μÞTC−1ðx − μÞ

�;

(6)

ADAM AMARA AND ALEXANDRE REFREGIER PHYSICAL REVIEW D 89, 083501 (2014)

083501-2

Page 3: Model breaking measure for cosmological surveys

where k is the number of dimensions, μ is the mean (i.e.peak) of the PDF and C is the covariance matrix.The relative entropy between two multivariate Gaussian

distributions, e.g. pðxÞ and qðxÞ, with the covariancematrices Cp and Cq is given by [29]

KL ¼ 1

2ln jCpC−1

q j

þ 1

2trC−1

p ððμq − μpÞðμq − μpÞT þ Cq −CpÞ: (7)

For the simplest case, where the two distributions have thesame mean, this reduces to

KL ¼ 1

2ln jCpC−1

q j þ 1

2trC−1

p ðCq −CpÞ: (8)

B. Calculating the covariance matrix

Given the covariance matrix for current data, Cc, we cancompute the covariance matrix, Cm, of the parametersof the model that need to be adhered to. This can be doneby calculating the Fisher matrix, C−1

m , through a matrixrotation, as

C−1m ¼ YC−1

c YT; (9)

where Y is the Jacobian matrix of derivatives such thatYij ¼ ∂Di=∂Θj. In principle, it is also possible to haveconstraints on the Θ parameters for external data that willnot change in the future. To make the predictions for futureerror bars, we can then project back to the covariance in theobservables, Cx, based on existing errors

Cx ¼ YTCmY: (10)

Finally, to calculate the full covariance matrix for futuredata, C1, of pðDfjDc;MÞ, we need to account for the errorbars associated with the future experiment, given by thematrixCf. The full matrix corresponding to the operation inEq. (2) is then

C1 ¼ Cx þ Cf: (11)

For the case of the purely empirical predictions, wherethere is no model and data vector entries are independent ofeach other, the Jacobian matrices Y become the identitymatrix I, which greatly simplifies the equations above. Forinstance, in the case where no external data set is used, thecovariance matrix of pðDfjDc;MÞ becomes

C0 ¼ Cc þ Cf: (12)

In this case the model breaking figure of merit defined inEq. (5) and using (8) reduces to

Φ ¼ 1

2ln jC1C−1

0 j þ 1

2trC−1

1 ðC0 − C1Þ: (13)

In the case where we also want to consider shifts in meanvalues one would use an analogous expression with extraterms coming from Eq. (7).The two cases above are the extreme examples: (i) one

where all the data points are correlated with all other datapoint when projected through a model and (ii) the casewhere all the data points are independent from each other.It is possible to construct an intermediate case that we call aminimal model that defines a weak correlation betweensubsets of the data. For example, in the cosmologicalsetting we could introduce a correlation between data takenat the same redshift, while making the data from twodifferent redshifts fully independent. In this case, theJacobian would be constructed using the derivatives withrespect to the data, i.e Yij ¼ ∂Di=∂Dj and C0 would bemodified accordingly for the model breaking figure ofmerit in Eq. (13).

III. COSMOLOGICAL EXAMPLE

To demonstrate our approach, we briefly explore asimple cosmological example. For this we will focus ongeometrical tests, namely supernovae flux decrements andtangential and radial measurements of the baryon acousticoscillation (BAO) scales.

A. Background cosmology

Within the standard ΛCDM concordance model, thegeometry measure can be derived from the line of sightcomoving distance, χ,

χðaÞ ¼ cZ

daa2HðaÞ ; (14)

where c is the speed of light, a is the scale factor and HðaÞis the Hubble function. The Hubble function can be easilycalculated in the ΛCDM and in the late time Universe bythe Friedmann equation,

H2ðaÞ ¼ H20

�Ωm

a3þ Ωk

a2þΩΛ

�; (15)

where Ωm is the matter over density, ΩΛ is the dark energydensity and Ωk is the curvature. The curvature term canbe defined through the relation Ωm þ ΩΛ þΩk ¼ 1.With this, it is clear that we can describe the geometrymeasures through three free parameters: h, Ωm and ΩΛ,where we use the standard approach of recasting theHubble constant,H0, as the dimensionless quantity throughh ¼ H0=100 Kms−1Mpc−1.Observed distance measures are typically determined

through the angular diameter distance (DA) and theluminosity distance (DL), which can be related to eachother through the scale factor

MODEL BREAKING MEASURE FOR COSMOLOGICAL SURVEYS PHYSICAL REVIEW D 89, 083501 (2014)

083501-3

Page 4: Model breaking measure for cosmological surveys

DA ¼ a2DL ¼ arðχÞ; (16)

where rðχÞ is the comoving angular diameter distance.The supernovae technique measures the distance modulus(ΔDM) as a function of redshift [5], where the distancemodulus is determined from the flux ratio between theabsolute and apparent fluxes of SNe. This can then belinked to the radial comoving distance through the lumi-nosity distance DL,

ΔDM ¼ 5 log

�DL

10 pc

�: (17)

We also find it useful to define a new quantity,

RDM ¼�

DL

10 pc

�; (18)

which contains the same information in a form closer toflux ratios rather than magnitude differences.Baryon acoustic oscillation (BAO) studies rely on

using galaxy surveys to measure the same acousticpeaks that are seen in the CMB, thereby using thescale set by these peaks as a standard ruler. The mea-surements can be made perpendicular to the line ofsight (rpÞ and along the line of sight (rpa), which canbe linked to the observed angular scale Δθ and redshiftextent Δz [21],

Δθ ¼ arsDA

; (19)

and

Δz ¼ Hrsc

; (20)

where rs is the sound horizon [1] that, for simplicity, weset to 140 Mpc in this study. In this framework, the obser-vable quantities are O ¼ fRDMðaÞ; ΔθðaÞ and ΔzðaÞgand the model parameters are Θ ¼ fh;Ωm;ΩΛg. Withthis in place, calculating pðDfjDc;ΘÞ is straightforwardonce the covariance matrices for current and future mea-surements, Cc and Cf, have been specified using Eqs. (9)and (12). The different levels of theoretical assumptioncan be viewed as having the hierarchy illustrated in Fig. 1.Most figures of merit build from extensions of the ΛCDMmodel (i.e. from the inside out), while our approachconsists of the comparison of no or little theoreticalassumptions with the ΛCDM model (i.e. outside in).It is possible to calculate a meaningful model breakingFoM using only (i) the simplest ΛCDMmodel being tested,(ii) current data and (iii) prediction of future error bars(corresponding to the outermost ring). This calculationwould not include any priors on the classes of alternativetheories. However, such priors can be added explicitly, asillustrated in Fig. 1.

B. Application

To demonstrate the approach outlined here, we constructa simple illustrative example. For this example we assumethat three observables, RDM, Δθ and Δz, have each beenmeasured at ten points in the redshift range z ¼ ½0.1; 2.1�.These, therefore, would be a simplified example of whatwe would measure from a combination of SNe andBAO experiments. We set the current relative errors onthe measurements coming for SNe (RDM) to be 5% and theerrors on the BAO measurements (Δθ and Δz) to be 10%.These errors are assumed to be independent and not comingfrom systematics. Figure 2 shows this configuration. Thedotted curves in the figure show the predictions from aΛCDM model with h ¼ 0.7, Ωm ¼ 0.3 and ΩΛ ¼ 0.7.For our first example, we calculate figures of merit for

future experiments where the errors are reduced by a givenfactor. Specifically, we consider four cases. The first iswhere all the measurements are improved by this factor andthree other cases where only one of the probes has beenimproved. Next, we have decided to calculate the results forour figure of merit calculation, where we assume that thereis an integral relation between the Hubble function andthe distances [given by Eq. (14)] and that there is a relationbetween angular diameter and luminosity distances [asgiven by Eq. (16)]. However, we place no constraints on thefunctional form ofH. This is illustrated by the third layer ofFig. 1. For simplicity in this illustrative example, we have

No Model

Quintessence

wCDM

CDM

FIG. 1 (color online). Illustration of a hierarchy of modelspaces. The center shows the most restricted point representingthe ΛCDM model. Building out from the center, we showincreasingly more flexible models, starting with the w0 − waexpansion of the equation of state and then more genericquintessence models. The outer ring of the figure shows theconstraints coming purely from the data, i.e. no model. Mostfigures of merit build out from the center. Our model challengingapproach builds from the outside inwards by comparing thecentral ΛCDM point with the outer minimal theory layers.

ADAM AMARA AND ALEXANDRE REFREGIER PHYSICAL REVIEW D 89, 083501 (2014)

083501-4

Page 5: Model breaking measure for cosmological surveys

assumed that the comoving angular diameter distance isequal to χ regardless of curvature. This calculation, there-fore, effectively compares the allowed freedom of futuredata depending on whether or not the relation shown inEq. (15) is imposed.Since the comoving distance and the Hubble function are

linked through an integral relationship, it is convenient toremap the data points onto a finer redshift grid so that themapping from H to χ can be approximated by a matrixproduct involving a left triangular matrix. This mappingonto a finer grid can be done once the relationship betweenthe fine and coarse grid are defined. For example, the coarsegrid are averages over the finer grid, since this can be usedto define the appropriate Jacobian for the mapping. Forsimplicity, we have assumed here that errors scale by theffiffiffiffiN

p, where N is the number of fine points to one coarse

data point.The upper panel of Fig. 3 shows Φ as a function of the

power of future surveys. As a comparison, the lower panelof the figure shows a calculation using the standard Fishermatrix methods, with the y axis showing the determinantof the 3 × 3 Fisher matrix of the future experiment relativeto the Fisher matrix from the current data. This is close toIPSO optimization. Both optimization methods show thebroad expected trend that higher precision measurementsare better, but the details of the optimization are distinctlydifferent. In the Fisher matrix optimization, we see that

constraints from RDM and Δz are comparable (with a smallpreference for RDM) and the constraints from Δθ areweaker. For the case where all the probes are improved,we see significant gains over the individual probe improve-ments. The optimization using our model breaking FoMwith Φ (upper panel) strongly favors the Δz measurements.In fact, even in the case where the precision of all the probesis increased, this causes a negligible improvement in thefigure of merit.In practice, the data (both current and future) have

finite resolutions in redshift. Our model breaking frame-work is thus sensitive to the space of functions that is (i)consistent with today’s data and (ii) will cause a notablechange in future data. As a result the framework will notbe sensitive to variations on scales smaller than thesetwo scales. However, additional smoothing constraints canbe imposed—for instance, coming from a suite of well-motivated theories. We would put such constraints in thesame category as imposing physics in the model classesfigure (Fig. 1). In this case, these extra constraints should beadded explicitly and justified clearly.In our next analysis, we investigate the redshift sensi-

tivity of the probes. Figure 4 shows the results when onlythe errors at one of the specific redshift (zb) shown in Fig. 3are improved by a factor of 10, i.e. σcðzbÞ=σfðzbÞ ¼ 10.The Fisher matrix based optimization shows complexbehavior, with the distance measure probes favoringimprovements at lower redshifts while the measure based

FIG. 2 (color online). Simple example with three observables,each measured in four redshift bins. The blue curve shows thebaseline ΛCDM model used in this paper; the points show ourtoy-model example with 10% errors on all the observables.

FIG. 3 (color online). The upper panel shows Φ, normalized bynumber of data points, between predictions using ΛCDM andthose where the form of HðzÞ is not specified. The lower panelshows the determinant of the 3 × 3 Fisher matrix of the ΛCDMðh;Ωm;ΩΛÞ. The results are shown as a function of increasedprecision of future experiments. The black curves show resultswhen the measurements of all three probes are improved; thered curves show the results when only the Δz experiment isimproved; the blue-dashed curves correspond to only improvingthe luminosity distance experiment ðRDMÞ; and the green-dottedcurves are for improvements in the angular diameter distancemeasurement (Δθ).

MODEL BREAKING MEASURE FOR COSMOLOGICAL SURVEYS PHYSICAL REVIEW D 89, 083501 (2014)

083501-5

Page 6: Model breaking measure for cosmological surveys

onHðzÞ tends to favor higher redshifts. We also see that therelative importance of the different probes also dependsstrongly on the redshift range that is being targeted. Onthe other hand, the optimization based on KL divergenceshows relatively simple trends. The ranking of the probesand their strengths is the same as that seen in Fig. 3, andthere is almost no redshift preference. This implies that, forour simple model where the current relative errors are fixedas a function of redshift, improved measurements at allredshifts are equally favored. This can be important, sincethe cost of improving the errors at a given epoch is typicallynot independent of the redshift being targeted.

IV. DISCUSSION

We have developed a new formalism for calculating thediscovery potential of future experiments. This new figureof merit offers a simple and robust alternative to metricssuch as the DETF FoM, which focuses on the determinantof the covariance matrix on the dark energy equation ofstate parameters w0 and wa as calculated using Fishermatrix methods. One of the difficulties with the DETF FoMis that a decomposition into w0 and wa is not derived fromfundamental theory and in fact there has been considerableeffort to expand this figure of merit to include more genericwðaÞ and to rely on principal component analysis methodsto capture the most significant modes. Other approacheshave been to consider expansions of other ad hoc param-eters. However, the problem is that since these expansionsof the model are not driven by fundamental theory, itbecomes difficult to make informed choices about experi-ment design if different metrics point to different optimalconfigurations. In addition, the discovery of deviation fromΛCDM in any of the sector of the model, and not only inwðaÞ, would be of profound importance.

The formalism that we present here allows us to calculatea figure of merit for future experiment configurations basedon three ingredients: (1) existing data, (2) the standardmodelto be tested (without extra parameters) and (3) the predic-tions of the errors for the future experiment. This methodthen effectively sets out to compare the model, which incosmology isΛCDM, against a nomodel case, which showsall of the allowed data space even in the absence of themodel. We have shown that this is a well posed statisticalproblem and the KL divergence (relative entropy) betweenthe two allowed PDFs in data space allows us to maximizethe possibility that a future experiment will measure datathat cannot be fit by the standard model. Furthermore, wehave shown how physical constraints can be incorporatedby including the relationships between the data points thatthese physical effects introduce.One of the advantages of the Fisher approach to experi-

ment optimization is that calculations are relatively fast andcan be done through matrix manipulations of the experi-ment covariance matrices. We have shown in this workthat we are able to make similar simplifications for thecalculation of the KL divergence, which makes them alsostraightforward to calculate. This is a significant improve-ment over our earlier work [27], which relied on costlyintegrals using Monte Carlo methods.Using our new method, we investigate a simple illus-

trative example of optimizing measurements of the SNeflux decrement and the radial and tangential BAO scale.These would be typical measurements for SNe and galaxysurvey experiments. We demonstrate that the optimizationof these experiments can depend on the choice of metric. Inparticular, the choice of metrics becomes important whencomparing experiments with comparable information con-tent. In 2006, the DEFT divided cosmology experimentsinto a number of stages. Stage II corresponded to on-goingsurveys at the time. Stage III were the next generationexperiments (which are now being exited), and stage IVrepresented longer-term projects that are still in the plan-ning and preparatory stages. We believe that in the designof stage III surveys, the choice of metric was not a criticalstep. This is because widely different designs were beingconsidered with large ranges in information content. At thispoint, it is possible for all reasonable metrics to lead to thesame optimization. For instance, fixing all other properties,such as depth, increasing the area of survey is always betterregardless of the FoM. However, as we transition fromstage III to stage IV, we are reaching fundamental limits,since, for instance, we begin to map out large fractions ofthe available cosmic volume. In this phase, the optimiza-tions will become more subtle as the choice of optimizationmetric becomes increasingly important.

APPENDIX: DERIVATION OF pðDFjDCÞLet us consider the independent measurement DC and

DF of a set of observables with a current and future data set,

FIG. 4 (color online). Results for the Fisher matrix and our KLdivergence basedmodel breaking FoMwhen the errors at only oneof the ten redshift points shown inFig. 2 are reduced. They axis andcolor scheme match those of Fig. 3. σcðzbÞ=σfðzbÞ ¼ 10.

ADAM AMARA AND ALEXANDRE REFREGIER PHYSICAL REVIEW D 89, 083501 (2014)

083501-6

Page 7: Model breaking measure for cosmological surveys

respectively. Let Θ be a set of parameters of a model whichmakes predictions about the observables. The probabilitydistribution of these variables is fully described by theirjoint probability distribution function pðΘ; DC;DFÞ. Ouraim is to derive Eq. (2), i.e. the conditional probabilitypðDFjDCÞ in terms of pðΘjDCÞ and pðDFjΘÞ which areassumed to be given.From the definition of conditional and joint probabilities,

we get

pðDFjDCÞ ¼pðDF;DCÞpðDCÞ

¼Z

dypðΘ; DC;DFÞ

pðDCÞ(A1)

and

pðΘ; DC;DFÞ ¼ pðDC;DFjΘÞpðΘÞ: (A2)

Using the latter in the former equation gives

pðDFjDCÞ ¼Z

dΘpðDC;DFjΘÞpðΘÞ

pðDCÞ: (A3)

Since the current and future measurements are assumedto be independent, given a model Θ, pðDC;DFjΘÞ ¼pðDCjΘÞpðDFjΘÞ. Thus,

pðDFjDCÞ ¼Z

dΘpðDCjΘÞpðDFjΘÞpðΘÞ

pðDCÞ: (A4)

Since pðDCjΘÞpðΘÞ ¼ pðΘjDCÞpðDCÞ, this becomes

pðDFjDCÞ ¼Z

dΘpðΘjDCÞpðDFjΘÞ (A5)

in accordance with Eq. (2). Following a similar argument,Eq. (1) can be derived by considering the true value, T, thatwould be measured as the errors tend to zero instead ofmodel parameters.

[1] G. Hinshaw et al., Astrophys. J. Suppl. Ser. 208, 19(2013).

[2] P. A. R. Ade et al.(Planck Collaboration), arXiv:1303.5076.[3] M. Bartelmann, Rev. Mod. Phys. 82, 331 (2010).[4] J. L. Feng, Annu. Rev. Astron. Astrophys. 48, 495

(2010).[5] J. A. Frieman, M. S. Turner, and D. Huterer, Annu. Rev.

Astron. Astrophys. 46, 385 (2008).[6] T. Padmanabhan, Gen. Relativ. Gravit. 40, 529 (2008).[7] A. Albrecht et al., arXiv:astro-ph/0609591.[8] M. Chevallier and D. Polarski, Int. J. Mod. Phys. D 10, 213

(2001).[9] E. V. Linder, Phys. Rev. Lett. 90, 091301 (2003).

[10] R. A. Fisher, Proc. Cambridge Philos. Soc. 22, 700 (1925).[11] A. Albrecht et al., arXiv:0901.0721.[12] T. D. Kitching and A. Amara, Mon. Not. R. Astron. Soc.

398, 2134 (2009).[13] J. A. Peacock et al. (unpublished).[14] Y.-S. Song, L. Hollenstein, G. Caldera-Cabral, and

K. Koyama, J. Cosmol. Astropart. Phys. 04 (2010) 018.[15] A. Albrecht and G. Bernstein, Phys. Rev. D 75, 103003

(2007).[16] R. G. Crittenden, L. Pogosian, and G.-B. Zhao, J. Cosmol.

Astropart. Phys. 12 (2009) 025.[17] M. J. Mortonson, D. Huterer, and W. Hu, Phys. Rev. D 82,

063004 (2010).

[18] A. Hojjati, G.-B. Zhao, L. Pogosian, A. Silvestri, R.Crittenden, and K. Koyama, Phys. Rev. D 85, 043508(2012).

[19] B. A. Bassett, Phys. Rev. D 71, 083517 (2005).[20] B. A. Bassett, D. Parkinson, and R. C. Nichol, The Astro-

physical Journal 626, L1 (2005).[21] D. Parkinson, C. Blake, M. Kunz, B. A. Bassett, R. C.

Nichol, and K. Glazebrook, Mon. Not. R. Astron. Soc. 377,185 (2007).

[22] R. Trotta, Mon. Not. R. Astron. Soc. 378, 819 (2007).[23] P. Mukherjee, D. Parkinson, P. S. Corasaniti, A. R. Liddle,

and M. Kunz, Mon. Not. R. Astron. Soc. 369, 1725 (2006).[24] C.Watkinson, A. R. Liddle, P. Mukherjee, and D. Parkinson,

Mon. Not. R. Astron. Soc. 424, 313 (2012).[25] R. Trotta, M. Kunz, and A. R. Liddle, Mon. Not. R. Astron.

Soc. 414, 2337 (2011).[26] P. Paykari and A. H. Jaffe, Mon. Not. R. Astron. Soc. 433,

3523 (2013).[27] A. Amara and T. D. Kitching, Mon. Not. R. Astron. Soc.

413, 1505 (2011).[28] S. Kullback and R. A. Leibler, Ann. Math. Stat. 22, 79

(1951).[29] C. Rasmussen and C. Williams, Gaussian Processes for

Machine Learning, Adaptative Computation and MachineLearning Series (MIT Press, Cambridge Massachusetts,2006).

MODEL BREAKING MEASURE FOR COSMOLOGICAL SURVEYS PHYSICAL REVIEW D 89, 083501 (2014)

083501-7


Recommended