Issue 
A&A
Volume 570, October 2014



Article Number  A63  
Number of page(s)  17  
Section  Cosmology (including clusters of galaxies)  
DOI  https://doi.org/10.1051/00046361/201424553  
Published online  17 October 2014 
Probing spatial homogeneity with LTB models: a detailed discussion
^{1} Zentrum für Astronomie der Universität Heidelberg, Institut für Theoretische Astrophysik, AlbertUeberleStr. 2, 69120 Heidelberg, Germany
email: matthias.redlich@stud.uniheidelberg.de
^{2} Sydney Institute for Astronomy, School of Physics, A28, The University of Sydney, NSW 2006, Australia
Received: 8 July 2014
Accepted: 2 August 2014
Do current observational data confirm the assumptions of the cosmological principle, or is there statistical evidence for deviations from spatial homogeneity on large scales? To address these questions, we developed a flexible framework based on spherically symmetric, but radially inhomogeneous LemaîtreTolmanBondi (LTB) models with synchronous Big Bang. We expanded the (local) matter density profile in terms of flexible interpolation schemes and orthonormal polynomials. A Monte Carlo technique in combination with recent observational data was used to systematically vary the shape of these profiles. In the first part of this article, we reconsider giant LTB voids without dark energy to investigate whether extremely finetuned mass profiles can reconcile these models with current data. While the local Hubble rate and supernovae can easily be fitted without dark energy, however, modelindependent constraints from the Planck 2013 data require an unrealistically low local Hubble rate, which is strongly inconsistent with the observed value; this result agrees well with previous studies. In the second part, we explain why it seems natural to extend our framework by a nonzero cosmological constant, which then allows us to perform general tests of the cosmological principle. Moreover, these extended models facilitate explorating whether fluctuations in the local matter density profile might potentially alleviate the tension between local and global measurements of the Hubble rate, as derived from Cepheidcalibrated type Ia supernovae and CMB experiments, respectively. We show that current data provide no evidence for deviations from spatial homogeneity on large scales. More accurate constraints are required to ultimately confirm the validity of the cosmological principle, however.
Key words: cosmology: theory / largescale structure of Universe / methods: statistical
© ESO, 2014
1. Introduction
While the discovery of the (apparently) accelerated expansion of the Universe established a nonvanishing dark energy contribution in the framework of the standard cosmological model (Riess et al. 1998; Perlmutter et al. 1999), these observations also motivated many researchers to question the theoretical foundations the standard model is built upon. One of these foundations is the cosmological principle, which asserts that our Universe is spatially isotropic and homogeneous when averaged over sufficiently large scales (≳100 Mpc). This assumption is truly remarkable because if it is correct, it implies that the largescale geometry of our Universe – which is notably inhomogeneous on small scales – is accurately described by the simple class of spatially isotropic and homogeneous FriedmanLemaîtreRobertsonWalker (FLRW) models (Robertson 1935; Walker 1935). Statistical isotropy about our position has been confirmed by the remarkable uniformity of the cosmic microwave background (CMB) spectrum (Bennett et al. 2013; Planck Collaboration XVI 2014). In contrast, statistical homogeneity on large scales (~Gpc scales) is hard to confirm, mainly because it is difficult to distinguish a temporal from a spatial evolution on the past light cone (see Maartens 2011; Clarkson 2012, for reviews).
This uncertainty inspired many to study inhomogeneous cosmologies (see Marra & Notari 2011; Bolejko et al. 2011, for comprehensive reviews), including nonCopernican models that explain the apparent accelerated expansion of the Universe by means of radial inhomogeneities without requiring any form of dark energy. The basic idea behind these alternative models is quite simple because we know from observations and numerical simulations that the largescale structure of the Universe consists of filaments and voids (see e.g. Hogg et al. 2005; Springel et al. 2005; Labini 2010, 2011; Einasto et al. 2011b,a; Scrimgeour et al. 2012; Clowes et al. 2013; Nadathur 2013; Nadathur & Hotchkiss 2014; Sutter et al. 2014; Melchior et al. 2014). Einstein’s General theory of Relativity tells us that the expansion rate in spacetime regions with lower matter density should be higher than in regions with a higher matter density. If we were to live in a largescale underdensity, the local expansion rate around us would be higher than the average expansion rate in the background. Lightrays propagating from distant sources to us – the observer – would therefore feel an accelerated expansion rate along their path. In comparison to the standard cosmological model, these scenarios hence replace a cosmic acceleration in time (due to dark energy) by a spatially varying expansion rate.
One particular, exact inhomogeneous cosmological model that has extensively been studied is the LemaîtreTolmanBondi (LTB) model, which is a spherically symmetric, but radially inhomogeneous dust solution of Einstein’s field equations (Lemaître 1933; Tolman 1934; Bondi 1947). The spatial hypersections of LTB models are spherically symmetric only about one point, and to conserve the remarkable uniformity of the CMB spectrum, we would have to live very close to the symmetry centre (Alnes & Amarzguioui 2006; Foreman et al. 2010). Interpreted as a faithful representation of the Universe, these void models breach the Copernican principle and require a tremendous finetuning of our position in the Universe. The plausibility of such scenarios is therefore more than dubious (see Célérier 2012, however, for interesting thoughts). The standard cosmological model also requires significant finetuning, however, which gives rise to controversial philosophical discussions (see e.g. Durrer & Maartens 2008; Amendola & Tsujikawa 2010). In this work, we simply demonstrate that a quite general class of LTB void models without dark energy is inconsistent with current observational data, which allows us to set the philosophical discussion aside.
The vast literature on inhomogeneous cosmologies – in particular LTB models – is summarised in the review articles by Bolejko et al. (2011) and Marra & Notari (2011), which allows us to only focus on the aspects that are particularly relevant for this work. For reasons to be clarified later, we only discuss LTB models with synchronous Big Bang throughout, meaning that the bang time function is constant and the Universe has the same global age everywhere. In the first part of this work, we additionally set the cosmological constant to zero. It has long been known that LTB models without dark energy can easily fit supernovae, explaining the apparent acceleration of the Universe by a Gpcscale void around us (Célérier 2000). In addition, these models can be tuned to fit the smallangle CMB spectrum (Zibin et al. 2008). However, most recent studies agree that a good fit to the CMB requires an unrealistically low local Hubble rate of H_{0} ≲ 60 km s^{1} Mpc^{1}, which is strongly inconsistent with the observed value of H_{0} = (73.8 ± 2.4) km s^{1} Mpc^{1} measured with Cepheidcalibrated type Ia supernovae (Biswas et al. 2010; Moss et al. 2011; Riess et al. 2011; Bull et al. 2012; Zumalacárregui et al. 2012). We here already anticipate that we shall finally arrive at the very same conclusion.
Nevertheless, we believe that our work meaningfully complements the current literature mainly for the following reasons: for the first time, we compare LTB models with the latest Planck 2013 data (Planck Collaboration XVI 2014). This is interesting because the Planck data favour a lower Hubble rate than previous CMB experiments. Moreover, we advocate the use of a recently developed technique for analysing CMB spectra in a modelindependent manner, which is particularly useful for investigating alternative cosmological models. Secondly, most recent studies have assumed certain functional forms for the mass or curvature profile of LTB models that may be considered characteristic for voids. These empirical parametrisations might simply be too restrictive, however, and certainly impose artificial constraints on the models when performing maximumlikelihood estimates. To our knowledge, only Zibin et al. (2008) and Moss et al. (2011) considered more flexible spline interpolations for the mass profile of LTB voids.
We extend these ideas and introduce alternative, flexible parametrisations of the local matter density profile, aiming to impose as little a priori constraints on the detailed form as possible. A Monte Carlo technique in combination with recent observational data allows us to systematically vary the matter density profiles of LTB models and derive statistical constraints on the favoured profile shapes. Moreover, we demonstrate that even the enormous flexibility of radially finetuned models does not suffice to simultaneously fit the observed local Hubble rate and the CMB.
After this detailed discussion, we provide simple theoretical arguments that explain why not even heavily finetuned LTB models without dark energy can be reconciled with current observational data. We then discuss why it seems most natural to extend our models by a nonzero cosmological constant. The resulting ΛLTB models constitute a powerful framework for conducting general tests of the cosmological principle (Marra & Pääkkönen 2010). Recently, Valkenburg et al. (2014) proposed a new technique, based on ΛLTB models, for placing constraints on violations of the Copernican principle. Furthermore, by marginalising over all possible inhomogeneities, these authors derived first observational constraints on the cosmological constant that are free of the usual homogeneity prior (see also Marra et al. 2013b, for a similar ansatz). Marra et al. (2013a) used ΛLTB models to investigate whether fluctuations in the local matter density profile can alleviate the wellknown discrepancy between the high local Hubble rate as measured by Riess et al. (2011) and the lower one derived from the Planck 2013 data. Obviously, our previously developed, flexible parametrisations of the local matter density profile in combination with a Monte Carlo technique constitute an ideal tool for conducting similar studies. Again, by imposing (almost) no a priori constraints on the detailed shape of the density profiles, our approach is more general than previous works on this field.
The structure of this paper is as follows: in Sect. 2, we explain our general ansatz for the metric of a Universe that may radially be inhomogeneous on large scales. Section 3 describes the observational data used to constrain LTB models and also discusses some ambiguities that have to be taken into account when fitting nonstandard cosmological models to these data. In Sect. 4, we introduce flexible parametrisations of the local matter density profile and describe the algorithm that allows us to statistically constrain the shape of the profile functions. Section 5 summarises our main results of a long series of tests, comparing numerous LTB models without cosmological constant with different combinations of observational data. In Sect. 6, we provide some simple theoretical arguments that explain our empirical results from Sect. 5. We then extend our models by a nonzero cosmological constant and discuss general probes of the cosmological principle in Sect. 7. Finally, we present our conclusions in Sect. 8.
2. LTB ansatz for the metric
We make the following simplified ansatz for the metric of the observable Universe: we maintain the standard inflationary paradigm and assume that the early Universe was highly homogeneous at least until the time of decoupling. Given the remarkable uniformity of the CMB spectrum, we assume that spherical symmetry about our position was conserved until the present epoch. However, we breach the cosmological principle by allowing a finetuned, radially inhomogeneous matter density profile on large scales. As an example, we could envisage to live at the centre of a Gpcscale void that emerged from an – admittedly extreme – underdensity of the primordial matter distribution.
Mathematically, this can be realised by describing the local Universe around us with a spherically symmetric, but radially inhomogeneous LTB model that is asymptotically embedded in a homogeneous FLRW background. The LTB model is a spherically symmetric dust solution of Einstein’s field equations with zero pressure (p = 0), that is, the stressenergy tensor is T^{μν} = ρu^{μ}u^{ν}. This should be an excellent approximation because the local Universe we observe is also a Universe at a late evolutionary epoch, and at this stage, pressure should be completely negligible for describing the largescale matter distribution. Following the findings of previous work (Biswas et al. 2010; Zumalacárregui et al. 2012), we generally embed the LTB model into an FLRW background with nonzero curvature to improve the fit to the CMB.
LTB models have already been covered at length in the literature (see e.g. Plebanski & Krasinski 2006; Enqvist 2008; Bolejko et al. 2011, for many details). We therefore only briefly summarise the most important equations here. In coordinates comoving with dust and in the synchronous time gauge, the LTB metric can be written as (with c = 1) (1)where R(t,r) is the areal radius function, a prime denotes the derivative with respect to the radial coordinate r and E(r) is the curvature function. The time evolution of the areal radius function follows from Einstein’s field equations and reads (2)where a dot indicates the derivative with respect to time, M(r) is the active gravitational mass inside a spherical shell at radius r, and Λ is the cosmological constant. The second Einstein field equation relates the effective gravitational mass M(r) to the local matter density ρ(t,r), (3)Equation (3)will be key for our algorithm in Sect. 4.2, because we parametrise the local matter density at the present time with flexible basis functions and use Eq. (3)to derive the corresponding LTB metric.
After a separation of variables, Eq. (2)can be integrated in time, (4)where t_{0} denotes the present time and t_{B}(r) is the socalled bang time function. In general, t_{B}(r) can be an arbitrary function of r, which means that the Big Bang does not need to occur synchronously, as in FLRW models. It can be shown, however, that fluctuations in the bang time function can be identified with decaying modes in linear perturbation theory (Silk 1977; Zibin 2008). Thus, going back in time, these decaying modes would correspond to inhomogeneities at early times. To conserve the remarkable homogeneity of the CMB spectrum, fluctuations in the age of the Universe must have been smaller than a few hundred years (Bolejko 2009), which is substantially smaller than the present age of the Universe (t_{B}(r) ≪ t). Complying with our initial assumption of a homogeneous, early Universe (even in regions from which we do not observe CMB photons), we can thus safely neglect the bang time function and assume that it is zero, t_{B}(r) = const. = 0. This assumption is particularly important for the CMB analysis described in Sect. 3.3. Without cosmological constant (Λ = 0), the integral in Eq. (4)can be solved parametrically and – dependent on the sign of the local curvature E(r) – leads to an elliptic (E< 0), parabolic (E = 0), or hyberbolic (E> 0) evolution. For completeness, we provide these parametric solutions with some more useful expressions in Appendix A. With a nonzero cosmological constant, no general parametric solution exists. Instead, the elliptic integral in Eq. (4)has to be computed numerically, which for certain parameter combinations quickly turns into a difficult numerical problem involving singularities, slow convergence (if at all), and poor precision. However, Valkenburg (2012) showed that the integral in Eq. (4)can be transformed to the socalled Carlson symmetric forms of elliptic integrals. This canonical set of elliptic integrals can be solved using iterative algorithms, which are fast, robust, and quickly converge with machine precision (Carlson 1995). We refer to Valkenburg (2012) for the full derivation, extensive calculations, and many useful details concerning the numerical implementation.
To compare LTB models with observational data, we need to solve for the distanceredshift relation on the past null cone (PNC) of a central observer. Inward radial null geodesics integrated backwards in time are described by the following set of firstorder, ordinary differential equations: These equations can be numerically integrated. After solving for t(r) and z(r) on the PNC, we can numerically invert these relations to arbitrarily transform between t, r and z. For instance, given a redshift z, we can infer the corresponding radius r(z) and compute the time t [ r(z) ] at which an incoming radial null geodesic was at this position. As can be seen from Eq. (1), the angular diameter distance in LTB models is simply given by the areal radius function, (7)The luminosity distance then follows from the reciprocity theorem (Etherington 1933, 2007; Ellis 2009): (8)These equations briefly summarise the most important quantities that are needed for the following sections. As can be seen, LTB models generally depend on three functions: the bang time function t_{B}(r), the curvature function E(r), and the mass function M(r). However, the metric and all previous formulae are invariant by diffeomorphism symmetry, including coordinate transformations of the form r = f(r′). This gauge freedom can be used to eliminate one function, implying that the physical evolution of LTB models is fully determined by only two free functions. We discussed above that the bang time function can be set to zero by demanding a homogeneous early Universe. This leaves us with only one arbitrary function. In Sect. 4.2, we describe in detail how the curvature and mass functions can be derived from a matter density profile at a given time.
3. Observational data
This section outlines what observational data we used to constrain LTB models. In this context, two complications have to be considered.
Firstly, many cosmological data sets are routinely reduced under the implicit assumption that our Universe is, on large scales, properly described by an FLRW metric. When fitting alternative cosmological models to these data, special care has to be taken that only modelindependent observational constraints are used.
Secondly, linear perturbation theory in LTB models is substantially more complicated than in FLRW models. This is mainly because scalar and tensorial perturbations can couple on inhomogeneous backgrounds. Although there has been great progress in developing a gaugeinvariant linear perturbation theory for LTB models, the problem has yet to be fully solved (Zibin 2008; Clarkson et al. 2009; February et al. 2014). To be conservative, we can therefore only use observables that do not depend on the details of structure formation.
Perhaps we should emphasise this limitation of the present work. The current state of the theory only allows us to explore constraints on the global structure of the smooth, unperturbed spacetime geometry on large scales. We cannot yet realistically model the evolution of linear perturbations in radially inhomogeneous spacetimes because we lack proper theoretical tools for predicting the statistical properties of the perturbed matter density field, for example. Observations of the local matter distribution, the largescale structure (including voids and filaments), cluster number counts or galaxygalaxy correlation functions can therefore not yet be taken into account for constraining the underlying spacetime geometry. We also have to exclude constraints from weaklensing spectra or baryonic acoustic oscillations, for instance, which are widely used to constrain homogeneous and isotropic cosmologies. We are currently working on advancing linear perturbation theory in LTB models, and will include some of the observables listed above in future work.
The lack of linear perturbation theory is not important for Sect. 5, where we show that only constraints from the local Hubble rate and the CMB are sufficient to rule out LTB models without cosmological constant. For the general probe of the cosmological principle presented in Sect. 7, it would certainly be desirable to have more data. On the other hand, Valkenburg et al. (2014) showed that the cosmological observables used in this work are currently the most constraining.
3.1. Local Hubble rate
Riess et al. (2011) used a nearby sample of Cepheidcalibrated type Ia supernovae to measure the local Hubble rate with a remarkable precision: (9)Up to now, this is probably the most accurate determination of the local expansion rate of the Universe. Although Efstathiou (2014) recently reanalysed the data from Riess et al. (2011) and proposed a corrected, slightly lower value of H_{0} = (72.5 ± 2.5) km s^{1} Mpc^{1}; we used the original measurement to constrain our models because the proposed corrections are not significant for our main conclusions.
One essential property of LTB models is their radially dependent expansion rate. More precisely, we can define a longitudinal Hubble rate, H_{L}(t,r) = Ṙ′(t,r) /R′(t,r), which describes the expansion rate along the radial direction, and a transversal Hubble rate, H_{T}(t,r) = Ṙ(t,r) /R(t,r), which describes the expansion rate of the individual spherical shells. It is therefore not a priori clear how LTB models should be compared with the abovementioned measurement.
To mimic the procedure of Riess et al. (2011), we used the following approach: independent of the cosmological model, the (local) luminosity distance can be considered an analytic function of redshift z and hence expanded in a Taylor series, (10)where q_{0} and j_{0} are the deceleration parameter and the jerk, respectively. Like Riess et al. (2011), we fixed these two parameters to q_{0} = −0.55 and j_{0} = 1. To compute the effective local Hubble rate of a specific LTB model, we first tabulated the luminosity distance d_{L}(z_{i}) (cf. Eq. (8)) at N equidistantly spaced steps in the considered redshift range, 0.023 <z_{1}<...<z_{N}< 0.1, and then calculated the bestfitting (leastsquares) Hubble rate H_{LS} through these data points using Eq. (10). The deviation from the observed value is then quantified with a simple chisquare, (11)Using this approach, we defined an averaged, effective local Hubble rate for LTB models that closely mimics the one measured with observed type Ia supernovae.
3.2. Supernovae
To constrain the shape of the luminosity distance at even higher redshifts, we used the Union2.1 compilation released by the Supernova Cosmology Project (Suzuki et al. 2012). This catalogue contains 580 uniformly analysed type Ia supernovae and extends out to redshift z ~ 1.5. Currently, the Union2.1 compilation is the largest, and most recent, publicly available sample of standardized type Ia supernovae.
Although the shape of type Ia supernovae lightcurves is empirically well understood, their absolute magnitude is essentially unknown and needs to be calibrated. Samples like the Union2.1 compilation are therefore reduced by fixing the Hubble rate to an arbitrary value. It is important to remove this artificial constraint from the data when fitting cosmological models. This can either be achieved by analytically marginalising over the assumed Hubble rate – or, equivalently, the absolute magnitude – (see Bridle et al. 2002; or Appendix C.2 of Biswas et al. 2010), or by using the elegant weight matrix formalism described in the appendix of Amanullah et al. (2010). The weight matrix is constructed from the full covariance matrix with systematics (e.g. host mass correction) and incorporates the marginalisation over various nuisance parameters. In particular, the marginalisation over the Hubble rate is included. We use the weight matrix formalism to perform likelihood estimates in the following sections.
Finally, we note that several authors argued that supernova samples reduced with the SALTII lightcurve fitter from Guy et al. (2007) are systematically biased towards the standard cosmological model and tend to disfavour alternative cosmologies (Hicken et al. 2009; Kessler et al. 2009; Smale & Wiltshire 2011). The Union2.1 compilation was reduced with the SALTII fitter, and hence this potential penalty would also affect the goodnessoffit of LTB models. However, we can safely neglect this problem for mainly two reasons. Firstly, we did not conduct a detailed, statistical comparison (e.g. Bayesian model comparison) between the standard cosmological model and LTB models here, and therefore the small, systematic corrections are irrelevant for our main conclusions. Secondly, and more importantly, we demonstrate that the supernova data do not impose tight constraints on LTB models anyway. Instead, supernovae can easily be fitted with a variety of different density profiles and certainly do not cause the tension between observations and LTB models that we focus on.
3.3. Cosmic microwave background
The standard approach for analysing CMB spectra is inherently based on the assumption of a spatially isotropic and homogeneous Universe (Bennett et al. 2013; Planck Collaboration XVI 2014). Primary anisotropies are calculated by numerically solving the Boltzmann equations on an FLRW background (Lewis et al. 2000; Lesgourgues 2011). Secondary anisotropies are caused by different forms of interactions between cosmic structures and the CMB photons after the time of decoupling, such as the late integrated SachsWolfe (ISW) effect or rescattering during reionisation. As such, all these processes depend on the details of structure formation and are commonly modelled using perturbation theory in FLRW models. It is obvious that our ansatz for the metric in Sect. 2 strongly violates these usual assumptions. How then can we selfconsistently use CMB spectra to constrain LTB models?
We recall that we wish to retain the inflationary paradigm and assume that the early Universe is highly homogeneous. This means that, even in our approach, the early Universe can effectively be described by a FLRW metric. Thus, the modelling of primary CMB anisotropies does not differ from the standard approach at least until the time of decoupling. This was also the motivation for excluding variations of the bang time function t_{B}(r) from Eq. (4). If we were to drop the assumption of a homogeneous early Universe, we would have to develop a general relativistic formalism for calculating CMB anisotropies on inhomogeneous backgrounds. Clearly, this would go far beyond the scope of this work.
Properly treating secondary CMB anisotropies in LTB models is, however, more complicated because linear perturbation theory is still being developed and cannot yet be used to calculate these secondary effects. We can circumvent this problem by following the elegant work of Vonlanthen et al. (2010), which describes a method for analysing the CMB in a manner that is as independent as possible of latetime cosmology. To this end, the authors begin with identifying the three dominant imprints that the late cosmological model leaves on the observed CMB spectrum. Firstly, CMB photons are lensed as they traverse nonlinear structures. The late ISW effect dominates the CMB spectrum on large scales (l ≲ 40). Consequently, low multipoles strongly depend on the detailed properties of the late cosmological model. Secondly, the overall amplitude of the CMB spectrum at l ≫ 40 is reduced by scattering processes during the epoch of reionisation. This suppression is usually parametrised by the factor e^{−2τ}, where τ is the reionisation optical depth. Thirdly, the angular diameter distance to the last scattering surface (LSS) determines the angular scales of the acoustic peaks. This is a simple projection effect. Variations of the angular diameter distance shift the CMB spectrum in multipole space.
If large scales (l ≲ 40) are excluded from the CMB analysis, the dominant perturbations of the primordial CMB spectrum due to the late cosmological model can therefore be parametrised by a rescaling factor α of the global amplitude and a shift parameter β. Rephrased more mathematically, the expansion coefficients of the CMB powerspectrum in multipole space transform as C_{l} → αC_{βl}.
This simple approximation is already astonishingly accurate for large parts of the CMB spectrum. But the crucial point is that this insight allowed Vonlanthen et al. (2010) to encode unknown secondary effects in carefully chosen nuisance parameters (e.g. the global amplitude of the CMB spectrum). These additional parameters can be built into standard parameter estimation codes used for analysing CMB spectra. To derive minimal constraints that do not depend on the detailed properties of the late cosmological model, one simply has to marginalise over these newly introduced nuisance parameters.
Except for excluding high multipoles (l> 800) from the analysis, Vonlanthen et al. (2010) neglected the impact of gravitational lensing on the CMB spectrum. This was well justified given the accuracy of CMB experiments at the time of publishing. Motivated by the improved accuracy of modern CMB experiments, however, Audren et al. (2013a) extended the original method of Vonlanthen et al. (2010) by introducing a new technique for additionally marginalising over the CMB lensing contamination at all multipole orders. Initially, we used this advanced technique in combination with the publicly available parameter estimation code Monte Python (Audren et al. 2013b) to derive modelindependent constraints from the latest Planck data (Planck Collaboration XVI 2014). While we prepared this manuscript, Audren (2014) published another slight refinement of their own method and also applied it to the Planck 2013 data. We therefore used the results published in Audren (2014) to estimate likelihoods in the following sections. The relevant modelindependent constraints including onesigma errors are summarised in Table 1.
Modelindependent constraints from the Planck 2013 data published by Audren (2014).
Finally, we need to explain how LTB models can actually be fitted to these constraints. We begin by noting that the redshift of decoupling z_{∗} generally is a function of the physical matter densities w_{b} and w_{c}. Assuming standard radiation content, however, this dependence is only weak (Hu & Sugiyama 1996). For simplicity, we can thus fix the decoupling redshift to z_{∗} = 1090. Following previous works (see e.g. Zibin et al. 2008; Biswas et al. 2010; Moss et al. 2011, for detailed descriptions), we used an effective FLRW observer approach for computing the angular diameter distance d_{A}(z_{∗}) to the LSS: radial null geodesics are numerically integrated in LTB models only up to an embedding redshift z_{b}. This redshift has to be chosen such that the LTB models are already sufficiently homogeneous (i.e. the gravitational shear vanishes) and radiation is still negligible. Typically, z_{b} ≈ 150 fulfils these criteria.
After reaching this embedding redshift, we continued to compute the distanceredshift relation in an effective FLRW background model up to the decoupling redshift z_{∗} = 1090. The effective FLRW model was chosen such that a fictitious observer in this background model would observe the same CMB spectrum. This approach is beneficial because (1) solving the distanceredshift relation in FLRW models is computationally substantially cheaper, and (2) radiation can be included. Lastly, the appropriately scaled matter densities and the calculated angular diameter distance can be compared with the modelindependent constraints from Table 1 using a simple chisquare.
3.4. Kinetic SunyaevZel’dovich
Fig. 1 Apparent kinetic SunyaevZel’dovich (kSZ) effect of offcentre galaxy clusters in radially inhomogeneous LTB models. The redshift z_{in} of CMB photons that propagated through the centre of the inhomogeneity generally differs from the redshift z_{out} of CMB photons that arrived from outside. 

Open with DEXTER 
Cosmic microwave background photons traversing galaxy clusters interact with the hot intracluster gas through inverse Compton scattering. These interactions cause the SunyaevZel’dovich effect, which manifests itself by characteristic distortions of the energy spectrum of the rescattered photons. The dominant contribution in galaxy clusters is due to the thermal SunyaevZel’dovich effect (Sunyaev & Zeldovich 1970, 1972): thermal energy is transferred from the hot intracluster gas to the CMB photons, causing a redistribution of photons from lower to higher energy states. A secondorder contribution is due to the kinetic SunyaevZel’dovich (kSZ) effect (Sunyaev & Zeldovich 1980): galaxy clusters moving with a nonzero peculiar velocity with respect to the rest frame of the CMB observe an anisotropic CMB spectrum with nonzero dipole moment. This dipole induces a characteristic shift in the spectrum of the reflected CMB photons, which is similar to the relativistic Doppler effect. In principal, the kSZ effect of galaxy clusters can therefore be used to measure their peculiar velocities relative to the CMB.
As was first shown by GarcíaBellido & Haugbølle (2008b), the kSZ effect can be used as a powerful probe of radially inhomogeneous LTB models. To understand this, we recall that LTB models are isotropic only about the symmetry centre at the coordinate origin. Offcentre observers therefore generally see an anisotropic CMB spectrum (see Alnes & Amarzguioui 2006, for detailed calculations). To first order, the anisotropy can be approximated as a pure dipole, which because of the symmetry of the problem is aligned along the radial direction. This effect is depicted in Fig. 1, which shows an offcentre galaxy cluster that rescatters CMB photons that arrive from the LSS.
The extreme redshifts (as seen from the galaxy cluster) are observed along the radial direction, for CMB photons with redshift z_{in} that propagated through the centre of the inhomogeneity and, in the opposite direction, for CMB photons with redshift z_{out} arriving from outside. In the case of a giant void scenario, for instance, photons arriving from inside the void travelled the longest distance through an underdense region. Consequently, they also spent the longest time in a spacetime region with a higher expansion rate, so that their redshift z_{in} reaches the highest possible value. Vice versa, CMB photons arriving from outside the void exhibit the lowest redshift z_{out}.
Note that the kSZ effect described here is only an apparent kSZ effect; it is not caused by real peculiar motions of the galaxy clusters. Instead, the effect only appears because the spacetime geometry around offcentre observers is anisotropic. Note also that the kSZ effect has a distinguished feature in comparison with most other cosmological probes. The galaxy clusters act as mirrors for CMB photons, reflecting radiation from all spatial directions. By analysing the spectrum of the reflected light, we can therefore extract information about spacetime regions that would otherwise be inaccessible. In this sense, by measuring the difference between the redshift z_{in} and z_{out}, the kSZ effect allows us to (indirectly) look inside our pastnull cone (cf. Fig. 1).
As already mentioned, to first order, the anisotropy observed by offcentre galaxy clusters can be approximated as a pure dipole. This approximation is sufficiently accurate as long as the effective size of the LTB inhomogeneity on the sky, as observed by the galaxy cluster, is larger than ~2π (Alnes & Amarzguioui 2006). The amplitude of the dipole is then given by (12)Measurements of the kSZ effect of individual galaxy clusters are extremely difficult and suffer from low signaltonoise ratios. Current data exhibit very large errors and therefore still need to be considered premature. However, even though the uncertainties are huge, GarcíaBellido & Haugbølle (2008b) and Bull et al. (2012) showed that the currently available measurements already place tight constraints on the depth and radial size of Gpc LTB voids. In this work, we use the kSZ data of the nine galaxy clusters compiled by GarcíaBellido & Haugbølle (2008b), assuming a conservative scatter of σ_{pv} = 1600 km s^{1} and zero systematic shift, v_{sys} = 0; see GarcíaBellido & Haugbølle (2008b) and references therein for a detailed discussion of the data, sources of errors, and the modelling of the likelihood.
To compute the expected kSZ effect for a given galaxy cluster, we first determined the cluster coordinates (t_{cl},r_{cl},z_{cl}) on the pastnull cone of the central observer. Starting from this position, we then solved for ingoing and outgoing radial null geodesics by numerically integrating Eqs. (5)and (6)up to the LSS. This procedure yields the two redshifts z_{in} and z_{out}, which quantify the CMB dipole as seen by the offcentre galaxy cluster.
4. Monte Carlo approach for constraining the local density profile
Most studies published so far have assumed certain functional forms for either the mass profile or the curvature profile of LTB models that may be considered characteristic for voids (see e.g. GarciaBellido & Haugbølle 2008a; Bolejko & Wyithe 2009; Biswas et al. 2010, for typical profiles). Of course, these empirical functional forms impose artificial constraints on the models when performing maximum likelihood estimates.
Our approach here is different because we parametrise the matter density profile of LTB models as flexibly as possible, imposing few a priori constraints on its detailed shape. To derive statistical constraints, we then use a parameter estimation code to systematically vary the density profile. We wish to determine the shape of the favoured profile, and also how tight the constraints on the detailed shape are. We also investigate whether highly flexible profiles allow us to mitigate the reported tension between measurements of the local Hubble rate and the CMB data (Biswas et al. 2010; Moss et al. 2011; Bull et al. 2012; Zumalacárregui et al. 2012). To this end, we proceed by first discussing our choices for the parametrisation of the local density profile, continue with the algorithm that allows us to derive LTB models from these profiles, and conclude this section by explaining some details of the parameter estimation technique.
4.1. Flexible models for the local density profile
Fig. 2 Illustration of the three different parametrisations for the local matter density profile around the observer. The black dots indicate the nodes of the interpolation schemes. Note that the representation by Laguerre polynomials does not have a fixed radial size, but only asymptotes to the homogeneous background density. 

Open with DEXTER 
Broadly speaking, we have two options to parametrise the local density profile in the most flexible way. We can represent the density profile by a general interpolation scheme, or alternatively decompose the void profile function into a series of appropriately chosen, orthonormal basis functions of the radial coordinate. After some initial testing, we decided to use the following parametrisations:
 1.
Linear interpolation: the first free model parameter is the radial size L of the inhomogeneity. For radii r<L, we use linear interpolation, specified by pairs of radial coordinates and corresponding matter densities: [(r_{0} = 0,ρ_{0}), (r_{1},ρ_{1}), ..., (r_{n},ρ_{n})], where r_{n}<L and all densities ρ_{i} are strictly positive. For radii r ≥ L, the density profile is constant and equals the matter density ρ_{bg} of the homogeneous FLRW background. M′(r) (cf. Eq. (3)), and thereby also radial derivatives of the areal radius function R(t,r) (cf. Eq. (A.10)) are not smooth if the density profile is linearly interpolated. All functions required for this work remain continuous, however, which is sufficient for the computations.
 2.
Cubic spline interpolation: this model has the same free parameters as the linear interpolation model: a radial size L, pairs of radial coordinates, and corresponding matter densities [r_{i},ρ_{i} = ρ(r_{i})]. Cubic splines are used to interpolate between these nodes. We chose the boundary conditions ρ(r ≥ L) = ρ_{bg} and ρ′(r = 0) = ρ′(L) = 0 to enforce a smooth void profile at the origin and guarantee a smooth embedding into the homogeneous FLRW background. This is essentially equivalent to the spline model used by Zibin et al. (2008) and Moss et al. (2011).
 3.
Laguerre polynomials: again, the first free model parameter is a radial length scale L. We introduce the scaled radial coordinate x = r/L and define the matter density profile as (13)where L_{i} denote the Laguerre polynomials, which are an orthogonal basis with respect to the inner product . In practice, we used Laguerre polynomials up to fifth order, because more degrees of freedom were not constrained by the data. In contrast to the previous interpolation schemes, the Laguerre models do not have a fixed size. Instead, their density profiles only asymptote (characteristic length scale L) to the homogeneous background density.
4.2. Algorithm
In our approach, LTB models are generally determined by the dimensionless Hubble parameter h = H_{0}/ (100 km s^{1} Mpc^{1}) and the physical densities of baryonic and cold dark matter, ω_{b} = Ω_{b}h^{2} and ω_{c} = Ω_{c}h^{2}, of the homogeneous FLRW background, as well as a list of model parameters (a_{1},...,a_{n}) that parametrise the local matter density profile ρ(t_{0},r) at the present time t_{0}. If not stated otherwise, these are the base parameters that are later sampled by the Monte Carlo method that was used for fitting LTB models to observational data. Given these base parameters, our algorithm for computing observables in the LTB metric can be outlined as follows:
 1.
Age of the Universe: as emphasised before, we demand a homogeneous early Universe and thus set the bang time function t_{B}(r) to zero. Therefore, the LTB patch and the homogeneous background have the same global age t_{0}, which we compute using the standard FLRW relation, (14)where the curvature parameter is given by Ω_{k} = 1 − Ω_{m}, that is, we explicitly consider curved FLRW backgrounds.
 2.
Gauge freedom: all formulae given in Sect. 2 are invariant under coordinate transformations of the form . We exploit this gauge freedom to scale the radial coordinate r such that it equals the areal radius function at the present time: R(t_{0},r) = r.
 3.
Mass profile: given the parameters (a_{1},...,a_{n}), we construct the matter density profile at the present time ρ(t_{0},r). We reject combinations of parameters that induce negative matter densities. This is important for the cubic spline interpolation and the Laguerre polynomials. In our gauge, the effective gravitational mass M(r) then directly follows from integrating Eq. (3), (15)
 4.
Curvature profile: the curvature function E(r) is implicitly defined by Eq. (4)and can only be computed numerically. We use the parametric solutions from Appendix A in combination with the TOMS 748 rootbracketing algorithm from Alefeld et al. (1995) to determine E(r) as a function of t_{0}, r and M(r), see Krasiński & Hellaby (2002) for details on choosing the initial bracket. We reject mass models that require E(r) ≤ − 1 / 2 because this would cause singular lineelements (cf. Eq. (1)). The radial derivative E′(r) is numerically computed using a standard fourthorder finite differencing scheme.
 5.
Distanceredshift relation: we use a fifth order DormandPrince method – which is essentially a RungeKutta scheme with error control and adaptive step size (Ahnert & Mulansky 2011) – to numerically integrate the ordinary differential equations describing radial null geodesics on the PNC of a central observer (cf. Eqs. (5)and (6)). The resulting relations t(r) and z(r) are then interpolated and numerically inverted using smooth Akima splines (Akima 1970). This allows us to arbitrarily transform between t, r and z and, in particular, to compute angular diameter and luminosity distances (see Sect. 2). We discard LTB models that exhibit shellcrossings or multivalued redshifts on the PNC (Hellaby & Lake 1985).
4.3. Efficient statistical sampling
We are confronted with a typical parameter estimation problem. Given observational data, we need to explore the posterior distribution in a highdimensional parameter space to estimate the most likely values of the free model parameters (h,ω_{b},ω_{c},a_{1},...,a_{n}). Monte Carlo methods are the standard approach for solving this kind of problem, and most commonly, variants of the simple MetropolisHastings algorithm are used (Hastings 1970).
The MetropolisHastings algorithm has an important drawback, however: it requires a finetuned proposal distribution to efficiently sample the posterior. If the proposal distribution is thought of as a multivariate Gaussian, this means that each entry of the covariance matrix needs to be tuned. In our case, the matter densities at different radial coordinates can be correlated and hence the covariance matrix is nondiagonal. Consequently, we would have to handtune N(N + 1) / 2 unknown parameters (where N is the dimension of the parameter space). This is an extremely timeconsuming task, in particular because the finetuned parameters strongly depend on the precise parametrisation (e.g. number and position of interpolation nodes) of the matter density profile.
After some testing, we decided to use an alternative Monte Carlo sampler: the socalled stretchmove technique, which was first introduced by Goodman & Weare (2010). This technique is affineinvariant, meaning that it performs equally well under all linear transformations of the parameter space. In particular, it is insensitive to covariances between parameters and therefore requires no finetuning. Goodman & Weare (2010) demonstrated the excellent performance of their algorithm (as measured by the autocorrelation time) for several pathological posterior distributions.
In addition, the stretchmove sampler simultaneously explores the parameter space with a whole ensemble of Monte Carlo walkers. The time evolution of this ensemble can easily be parallelised, which greatly reduces the required computing time (wallclock time) on multicore machines or large computing clusters (Akeret et al. 2013). ForemanMackey et al. (2013) provided an excellent discussion of the stretchmove technique and described a parallelised implementation in detail. Following this, we implemented the ensemble sampler in C++ and parallelised it with the messagepassing interface (MPI) system. This enabled us to perform likelihood estimates of many different LTB models within a significantly shorter computing time.
All parameter estimations in the remainder of this work were performed with the stretchmove technique, typically using hundreds of walkers. The length of the burnin period was estimated by means of the exponential autocorrelation time τ_{exp}. Convergence of the samples was ensured by letting the random walks proceed for multiple integrated autocorrelation times τ_{int} after removing all samples drawn during the initial burnin period. This procedure was advocated by Akeret et al. (2013) and Allison & Dunkley (2014), who provided a detailed discussion of convergence diagnostics with the autocorrelation times described above.
5. Comparing LTB models without cosmological constant with observational data
We now compare LTB models with consecutively different combinations of observational data. This stepwise analysis allows us to carefully explain why LTB models with a constant bang time function and zero cosmological constant are inconsistent with current data. The following results are representative. For each scenario discussed, we fitted numerous different LTB models, varying the radial size of voids, changing the numbers and positions of interpolation nodes, or considering different orders of the expansion in terms of the Laguerre polynomials. Our findings with the different approaches agreed qualitatively well, therefore we only discuss simple parametrisations that already show all important characteristics.
5.1. Constraints: H_{0} + supernovae
To begin with, we only analysed the constraints imposed by the local Hubble rate and supernovae. We therefore considered LTB models of fixed radial size L = 3 Gpc and parametrised the matter density profiles with linear and cubic spline interpolation schemes with three equidistant nodes at radii r_{1} = 0, r_{2} = 1 Gpc, r_{3} = 2 Gpc. It is convenient to express the matter densities at these nodes with respect to the matter density ρ_{bg} of the FLRW background model, viz a_{i} = ρ(r_{i}) /ρ_{bg}. The priors for the parameters a_{i} are only bounded from below (a_{i} ≥ 0), so that the stretchmove walkers can essentially freely explore the physically relevant parameter space.
Anticipating the following results, we asymptotically embedded the LTB models in EinsteindeSitter (EdS) backgrounds for this particular test, meaning that we explicitly set the spatial curvature of the homogeneous background to zero (Ω_{k} = 0). We did this to demonstrate that good fits to the data can be achieved even with asymptotically flat backgrounds. As can easily be verified, the models considered are fully determined by the physical matter density ω_{m} of the EdS background and the profile parameters (a_{1},a_{2},a_{3}).
Fig. 3 Statistical constraints on the shape of the local matter density profile at the present time. LTB models with fixed radial size L = 3Gpc and three equidistant interpolation nodes were constrained by measurements of the local Hubble rate and supernovae. The blue error bars and the greyshaded band indicate the 68% confidence intervals for the cubic spline and linear interpolation schemes, respectively. The black dashed line connects the means of the bestfitting nodes for the linear interpolation scheme. The green solid curve shows the bestfitting cubic spline density profile. 

Open with DEXTER 
Figure 3 illustrates the preferred shape of the local matter density profile given the local Hubble rate and supernova data. More precisely, we show the 68% confidence intervals for the bestfitting linear and cubic spline interpolation models. Note that the constraints for the two different approaches are almost identical. As expected, the data clearly favour large and deep voids whose density profiles gradually decrease towards the origin. This shape is required to account for the apparent acceleration suggested by the supernova data. Typically, the density contrast at the origin is δρ(t_{0},r = 0) /ρ_{bg} ≈ − 0.75. It can also be seen that the constraints on the matter density profile weaken at larger radii. This is naturally caused by the quality of the data. Small radii correspond to low redshifts. In this range, the profiles are simultaneously constrained by the measurement of the local Hubble rate (z< 0.1) and also by many supernovae with comparably small error bars. At higher redshifts, the amount of observed supernovae decreases, and at the same time, their errors increase (mainly because the supernovae become fainter). Therefore, the matter density profile can substantially fluctuate at larger radii without being penalised too strongly. This freedom also demonstrates that the LTB models considered can easily fit the data without a cosmological constant and zero background curvature. The bestfitting cubic spline model has an excellent loglikelihood value of log (ℒ) = −272.27 and fits the data just as well as the bestfitting ΛCDM model with log (ℒ) = −272.56.
Fig. 4 Statistical constraints on the shape of the local matter density profile imposed by measurements of the local Hubble rate and supernovae. ω_{m} denotes the physical matter density of the EdS background model. The local density profile was parametrised by a cubic spline interpolation with three equidistant nodes at radii r_{1} = 0, r_{2} = 1 Gpc, r_{3} = 2 Gpc and a fixed radial size of L = 3 Gpc. The matter density at these nodes was normalised with respect to the background density today, viz a_{i} = ρ(t_{0},r_{i}) /ρ_{bg}(t_{0}). 

Open with DEXTER 
Figure 4 reveals more details of the Markov Chain Monte Carlo (MCMC) simulation specifically for the cubic spline model. While the marginalised posterior distributions, the means, and the standard deviations of the density profile parameters a_{i} confirm the above discussion, the almost perfect linear correlations between the parameters enforce the idea of a gradually decreasing density profile towards the symmetry centre: If a_{i} is increased, also a_{i + 1} has to grow to generate the gradient of the expansion rate required by the data. The physical matter density ω_{m} determines the expansion rate of the background EdS model through . This is why ω_{m} and the profile parameters a_{i} are correlated: If ω_{m} decreases, so does the expansion rate of the background model, which means that the voids need to become even deeper to maintain the required high local Hubble rate at the origin.
The average increase of the expansion rate around the central observer due to the largescale underdensity is the last aspect worth being considered in more detail. We therefore defined δH = H_{LS} − H_{bg}, which measures the difference between the effective local Hubble rate H_{LS} (cf. Eq. 9) at the void centre and the global Hubble rate H_{bg} of the background model. From the mean value of the physical matter density ω_{m} in Fig. 4, we extracted that the data favour H_{bg} ≈ 56 km s^{1} Mpc^{1}, which requires an average shift of δH ≈ 18 km s^{1} Mpc^{1} to fulfil the observationally measured Hubble rate of H_{0} ≈ 74 km s^{1} Mpc^{1}. The magnitude of this shift agrees well with previous works (Enqvist & Mattsson 2007). The marginalised posterior distribution of δH is plotted in Fig. 5. Even though the voids can become extremely deep, the local Hubble rate rarely increases by more than ~ 24 km s^{1} Mpc^{1}. This tendency is also important for Sect. 5.3.
5.2. Constraints: Cosmic microwave background
We proceed by analysing the implications of only the modelindependent CMB constraints from Table 1. As reference, we first ran an MCMC simulation to fit curved FLRW models with vanishing cosmological constant to the data. These models can fit the CMB constraints just as well as flat FLRW models with nonvanishing cosmological constant. The data favour closed FLRW models with dimensionless Hubble parameter h = 0.33 ± 0.01, matter density parameter Ω_{m} = 1.26 ± 0.04, and consequently a curvature parameter of Ω_{k} ≈ − 0.26. It is important to note that although curved FLRW models can easily fit the minimal CMB constraints without a cosmological constant, the required Hubble rate is extremely low and strongly contradicts the expansion rate measured by Riess et al. (2011).
Next, we compared the same LTB models as in the previous section (L = 3 Gpc; three equidistant interpolation nodes) with the CMB data. This time, however, we asymptotically embedded the LTB models into curved FLRW backgrounds. Of course, these cosmological models fit the data perfectly as well. The constraints on the physical matter density ω_{m} = ω_{b} + ω_{c} and the dimensionless Hubble parameter h of the background model are essentially identical to those found without an LTB inhomogeneity around the observer. Again, an extremely low expansion rate of h = 0.33 ± 0.01 is favoured. The shape of the local matter density profile is not constrained at all. The posteriors of the densities ρ(r_{i}) at the interpolation nodes are constant over the whole prior ranges, indicating that the Monte Carlo walkers can vary the shape of the local matter density profile without notably deteriorating the fit to the CMB. Moreover, the bestfitting LTB models show almost arbitrarily shaped local density profiles. These results are the same for LTB models with different radial sizes, more or less interpolation nodes, or density profiles represented by Laguerre polynomials.
We conclude that the CMB data alone only constrain the global properties of the background FLRW model. In particular, good fits without a cosmological constant require an extremely low Hubble parameter of h< 0.4. The exact functional form of the local curvature and the matter density profiles are essentially irrelevant. These results agree well with the work of Clifton et al. (2009), who found that the small angle fluctuations of the CMB spectrum only constrain spatial curvature near the surface of last scattering.
5.3. Constraints: H_{0} + supernovae + cosmic microwave background
Finally, we simultaneously fitted LTB models to the local Hubble rate, supernovae, and the CMB data. Before that, however, we fitted spatially flat FLRW models with nonvanishing cosmological constant to the data. The bestfitting model has the cosmological parameters (h,Ω_{m},Ω_{Λ}) = (0.719,0.265,0.735) and a loglikelihood value of log (ℒ) = −273.45. This model – and in particular its loglikelihood value – serves as a reference point for the following discussion.
Fig. 5 Marginalised posterior distribution of the increase of the local Hubble rate H_{LS} (Eq. (9)) at the origin (due to the underdensity) with respect to the Hubble rate H_{bg} of the homogeneous background model, δH = H_{LS} − H_{bg}. LTB models with fixed radial size L = 3 Gpc and a local matter density profile represented by cubic splines with three equidistant interpolation nodes were fitted to observational data of the local Hubble rate and supernovae. The LTB models were asymptotically embedded into an EinsteindeSitter background. 

Open with DEXTER 
Fig. 6 Constraints on the linearly interpolated matter density profile of LTB models with fixed radial size L = 3 Gpc and three equidistant interpolation nodes at r_{1} = 0, r_{2} = 1 Gpc and r_{3} = 2 Gpc. The coefficients a_{i} denote the matter densities at these nodes normalised with respect to the background density today, viz. a_{i} = ρ(t_{0},r_{i}) /ρ_{bg}(t_{0}). The LTB models were constrained by observational data of the local Hubble rate, supernovae, and the CMB. 

Open with DEXTER 
We now considered LTB models with fixed radial size L = 3 Gpc and linearly interpolated matter density profile with three equidistant interpolation nodes at the radial coordinates r_{1} = 0, r_{2} = 1 Gpc and r_{3} = 2 Gpc. For these models, the data favour an FLRW background with dimensionless Hubble parameter h = 0.39 ± 0.01 and matter density parameter Ω_{m} = 1.09 ± 0.03, demonstrating that curved FLRW backgrounds can indeed improve the fit to the CMB. The statistical constraints on the local matter density profile at the present time t_{0} are shown in Fig. 6. While the overall shape of the favoured profiles agrees well with our previous results from Sect. 5.1, the voids become noticeably deeper when including the constraints from the CMB. This change becomes most apparent for the matter density at the origin, , indicating that the best agreement with the data can be achieved with an almost vacuum solution around the observer at the coordinate centre.
This tendency demonstrates the problem of LTB models with a constant bang time function we described above: A reasonable fit to the CMB – most importantly the angular diameter distance to the LSS – requires an unrealistically low background Hubble parameter of H_{0} ≈ 39 km s^{1} Mpc^{1}. On the other hand, the LTB models also need to comply with the observationally measured, high local Hubble rate of H_{0} ≈ 73.8 km s^{1} Mpc^{1}. The Monte Carlo walkers therefore minimise the matter density at the origin to maximise the local expansion rate. However, Fig. 7 shows that even though the voids can become extremely deep, the effective local Hubble rate never exceeds ~ 62 km s^{1} Mpc^{1}. The bestfitting model, for instance, has the profile parameters (a_{1},a_{2},a_{3}) = (0.04,0.22,0.32), which means that the matter density almost vanishes at the origin. The local Hubble rate still is much too low, H_{LS} = 56.83 km s^{1} Mpc^{1}, however, and the loglikelihood value of log (ℒ) = −318.55 indicates that the model clearly cannot compete with simple, spatially flat FLRW models with cosmological constant.
As discussed in Sect. 3.1, we computed the effective local Hubble rate H_{LS} by means of a leastsquares fit to the Taylorexpanded luminosity distance for small redshifts, z< 0.1. Legitimately, one might therefore ask whether a radially finetuned matter density profile in the nearby range (0 <z(r) < 0.1) might be capable of solving the above tension. We refute this idea by adding one additional interpolation node at r = 500 Mpc and rerunning the fitting procedure. The bestfitting model improves only marginally, with a slightly higher effective local Hubble rate of H_{LS} = 57.26 km s^{1} Mpc^{1} and a still inacceptable loglikelihood value of log (ℒ) = −317.30. Consequently, we note that even radial finetuning of the matter density profile cannot mitigate the tension between the required high local Hubble rate and a good fit to the CMB.
Fig. 7 Marginalised posterior distribution of the effective local Hubble rate H_{LS} (Eq. (9)) of LTB models with radial size L = 3 Gpc and linearly interpolated (using three equidistant nodes) matter density profile. The models were fitted to observational data of the local Hubble rate, supernovae, and the CMB. 

Open with DEXTER 
Evolution of the bestfitting LTB models for varying radial size L in Gpc.
Lastly, we discuss the impact of the radial void size on the fit to the data. We considered LTB models whose density profiles are represented by cubic spline interpolations with three equidistant nodes at the radial coordinates r_{i} = (i − 1) × L/ 3. Table 2 summarises the bestfitting models for ascending radial sizes, L = 3 Gpc, L = 4.5 Gpc and L = 7.5 Gpc. Obviously, the fit to the data significantly improves as the voids become larger. The favoured scenarios are extremely deep Gpcscale underdensities, which are asymptotically embedded into increasingly dense FLRW backgrounds.
This antipodal behaviour is caused by the constraints from the CMB; the background FLRW models need to increase the convergence to decrease the angular diameter distance to the LSS. Again, even though the bestfitting models are essentially empty at the origin, the effective local Hubble rate is clearly too low compared with the observed value. We thus note that even gigantic voids of radial size 7.5 Gpc with radially finetuned matter density profile are inconsistent with current data. Clearly, these models cannot compete with the standard cosmological model, which has a loglikelihood value of log (ℒ) = −273.45.
We could continue this procedure and construct ever larger voids with more free interpolation nodes. Indeed, while testing our code, we observed that LTB voids with radial sizes ≳12Gpc slowly converge to the same loglikelihood value as the standard cosmological model. It does not make much sense, however, to seriously consider even larger voids than those presented in Table 2 as faithful representations of the observable Universe for mainly two reasons. Firstly, these models become yet more implausible with growing size. We recall that we envisaged voids that emerged from fluctuations of the primordial matter distribution. For these voids to reach a size of several Gpc today, the primordial underdensities must have been extreme. These scenarios are therefore highly unlikely within the standard inflationary paradigm (see also Marra et al. 2013a). Secondly, as was shown for example by GarcíaBellido & Haugbølle (2008b), Zibin & Moss (2011) or Bull et al. (2012), large voids generate a pronounced kSZ effect that is strongly inconsistent with current observational data.
The results of this section agree qualitatively well with previous works, which consistently found that LTB models that fit the CMB data exhibit unrealistically low local Hubble rates (e.g. Biswas et al. 2010; Moss et al. 2011; Bull et al. 2012). We now seek a theoretical explanation for this empirical result.
6. Theoretical arguments for considering ΛLTB models
6.1. Why vacuum solutions maximise the local Hubble rate
In the previous section, we found that huge Gpcscale voids with almost constant vacuum solution around the origin are favoured when the local Hubble rate and the CMB data are to be fitted simultaneously. Intuitively, it is comprehensible that such vacuum solutions indeed maximise the local Hubble rate. However, we can also understand this result using Raychaudhuri’s equation (Raychaudhuri 1955), which in LTB models is (16)with expansion , shear , and a dot indicating the derivative with respect to an appropriately chosen affine parameter. Generally, the shear in LTB models vanishes as r → 0, implying that the longitudinal and transversal Hubble rates become identical close to the origin (Plebanski & Krasinski 2006). For Gpcscale voids with almost constant density profile, however, the approximation H_{L} ≈ H_{T} is accurate even for larger radii, in particular in the redshift interval (z< 0.1) in which we determine the effective local Hubble rate (cf. Sect. 3.1). In the region around a central observer, LTB solutions are then practically indistinguishable from simple FLRW models, and Eq. (16)simplifies to (17)Equation (17)describes the time evolution of the Hubble rate as a function of the matter density. Starting from an initial Hubble rate H_{i} at an early time t_{i} (e.g. a time t_{i} at which the Universe was still homogeneous), we can readily integrate Eq. (17)to compute the expansion rate at a later time t_{f}(18)where we introduced the common matter density parameter . Clearly, the final Hubble rate is maximised by minimising the denominator of Eq. (18), which is achieved by setting Ω_{m} to zero. The local expansion rate of Gpcscale voids with slowly varying density profile is thus indeed maximised by vacuum solutions.
6.2. Why not even vacuum LTB solutions exhibit a sufficiently high local Hubble rate
Fig. 8 Hubble rate inside an empty sphere around the observer as a function of the matter density parameter of the background FLRW model. The black solid line and the greyshaded area indicate the local Hubble rate and the corresponding 68% confidence interval as measured by Riess et al. (2011). 

Open with DEXTER 
Given the result of the previous section, we can now introduce a vast simplification that helps us explain why not even empty LTB models (that simultaneously fulfil the modelindependent constraints from the CMB) exhibit an effective local Hubble rate that comes close to the observationally measured value of H_{0} ≈ 73.8 km s^{1} Mpc^{1}. We recall that we work in the synchronous time gauge and with a constant bang time function, meaning that the Universe has the same global age t_{0} everywhere. We can now envisage a simplified tophat scenario in which the Universe is globally described by a curved FLRW model, but the observer is located at the centre of an empty sphere (Ω_{m} = 0, i.e. a Milne model) that was carved out of the homogeneous background. For the purpose of this simplified scenario, technical details concerning the embedding or smooth junction conditions are not relevant. The Hubble function in both regions is given by (19)where a denotes the usual scale factor (with a(t_{0}) = 1) and the curvature parameter is determined by Ω_{k} = 1 − Ω_{m}. Integrating Eq. (19)in time yields the standard FLRW relation for the age of the Universe (20)As this age is assumed to be globally the same, we can directly relate the Hubble rate inside the empty sphere surrounding the observer to the Hubble rate of the curved background, (21)Figure 8 shows the resulting relation between the Hubble rate and the matter density parameter for a fixed background Hubble rate of , which is the value that was favoured by the CMB data in Sect. 5.3. For instance, if we embed the empty sphere into an Einsteinde Sitter (EdS) background, we find , such that the Hubble rate at the observer position becomes . This agrees well with several previous works, which empirically found that large and deep voids that are embedded into EdS backgrounds cannot increase the local Hubble rate by more than ~ 20 km s^{1} Mpc^{1} (Marra & Notari 2011). Our simple approximation also agrees surprisingly well with the results from Table 2. Most importantly, however, Fig. 8 shows that unrealistically high values for the matter density parameter are required to reach the observationally measured local Hubble rate. These theoretical solutions are excluded by current observational data (e.g. constraints from the CMB).
We can thus safely conclude that not even giant LTB voids with radial sizes of several Gpc and vanishing matter density at the origin can simultaneously fit the observed local Hubble rate and the CMB.
6.3. Inhomogeneous Big Bang or cosmological constant?
The decisive property that we exploited in the previous section to link the local Hubble rate around the observer to the Hubble rate of the background model was the assumption of a constant global age throughout the whole Universe. The problem of a too low local Hubble rate can easily be solved by dropping this assumption. To see this very clearly, we used some trivial substitutions to rewrite Eq. (4)in the standard form (22)where the density parameters Ω_{x}(r) can have an explicit radial dependence in LTB models. Obviously, the local Hubble rate can be increased by decreasing the age of the local Universe. Varying bang time functions that increase towards the origin (r = 0) are thus yet another mechanism to mimic the apparent acceleration of the Universe. In fact, Krasiński (2014) showed that the bang time function can be calibrated such that LTB models exactly reproduce the distanceredshift relation of the standard cosmological model (with dark energy).
These models have previously been discussed in the literature (Clifton et al. 2009; Bull et al. 2012). They were shown to solve the tension between the local Hubble rate and the CMB data. However, Bull et al. (2012) demonstrated that models with the required fluctuations in the bang time function produce a pronounced kSZ effect in galaxy clusters, which is strongly inconsistent with current data.
In addition, we have fundamental objections against LTB models with both flexible density profile and finetuned bang time function. As we explained in Sect. 5, the tension between the considered LTB models and current observational data arises as soon as constraints from the CMB are taken into account. In Sect. 2, we briefly discussed that variations in the bang time function can be identified with decaying modes in linear perturbation theory, which in turn would imply (strong) inhomogeneities at early times. However, such features strongly contradict the standard CMB analysis, which is inherently based on the assumption of a spatially isotropic and homogeneous early Universe. We do not believe that it makes sense to introduce a new feature – the varying bang time function – only to reconcile our theoretical model with the CMB, while at the same time this new feature violates the basic assumptions the CMB analysis is based upon. Furthermore, from a statistical point of view, LTB models with varying bang time function become yet more complex, with additional degrees of freedom. Given current observational data, Ockham’s razor would clearly favour the standard cosmological model.
These complications can be partially avoided by extending the considered LTB models in a more natural way. Lovelock (1971, 1972) proved two remarkable, but often overlooked theorems concerning the uniqueness of Einstein’s field equations. Among other things, he showed that under very general simplicity conditions and in four dimensions, any metric theory of gravity locally conserving energymomentum must have two coupling constants, and its metric must satisfy Einstein’s field equations, (23)where G_{μν}, T_{μν} and g_{μν} are, respectively, the Einstein tensor, the energymomentum tensor, and the metric tensor. κ and Λ are the two coupling constants, which we identify with Newton’s gravitational constant and with the cosmological constant.
According to Lovelock’s theorems, the cosmological constant Λ thus appears naturally not only in Einstein’s field equations, but also in the field equations of any other metric theory of gravity. It could (and perhaps should) therefore be interpreted as a second coupling constant of the metric to matter, on a par with Newton’s gravitational constant. Numerous alternative cosmological models – such as LTB voids – have been constructed to avoid the cosmological constant or dark energy. Nonetheless, from the point of view of Lovelock’s theorem, such models must be considered incomplete unless they justify why the cosmological constant should vanish.
Following this line of reasoning, we believe that considering LTB models with nonzero cosmological constant is the most natural extension of our approach. This is an interesting step because it slightly shifts the research focus away from the dark energy problem to more general tests of the Copernican principle. For example, using flexible parametrisations of the local matter density profile, ΛLTB models allow us to derive statistical constraints on possible deviations from spatial homogeneity. In addition, effects of varying spatial curvature along the pastnull cone can be explored. Finally, we can investigate whether fluctuations of the local matter density profile can noticeably influence the statistical inference of the bestfitting parameters of the standard cosmological model (see e.g. Marra et al. 2013b; Valkenburg et al. 2014). We briefly discuss these applications of ΛLTB models in the next section.
7. Probing spatial homogeneity with ΛLTB models
In this section, we constrain the cosmological models considered by all data sets mentioned in Sect. 3, that is, we compute the likelihood given the local Hubble rate, supernovae, modelindependent CMB constraints and kSZ data. Again, as a point of reference, we first detail the goodnessoffit of the standard cosmological model, which is usually assumed to be a spatially flat FLRW model with nonzero cosmological constant. The bestfitting model with cosmological parameters (h,Ω_{m},Ω_{Λ}) = (0.72,0.263,0.737) exhibits a loglikelihood value of log (ℒ) = −275.1, with the individual contributions log [ℒ_{H0}(1)] ≈ −0.3, log [ℒ_{SNe}(580)] ≈ −272.9, log [ℒ_{CMB}(3)] ≈ −0.3 and log [ℒ_{kSZ}(9)] ≈ −1.6, where we explicitly indicated the number of fitted data points in parenthesis. It is remarkable how well the standard cosmological model agrees with these data. The goodnessoffit, which can be quantified in terms of the chisquared per degree of freedom, is truly impressive and hard to improve.
Fig. 9 Marginalised posterior distributions of the effective locale Hubble rate as measured by a central observer. The blue dashed curve indicates the constraints assuming a flat FLRW model. The red curve shows the constraints assuming a ΛLTB model, with radial inhomogeneities in the range r< 3 Gpc, asymptotically embedded into a curved FLRW background. The greyshaded band indicates the local Hubble rate (± 1σ) measured by Riess et al. (2011). The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER 
On the other hand, it is wellknown that – even within the framework of the standard cosmological model – there seems to be a slight tension concerning the Hubble rate: while measurements with Cepheidcalibrated supernovae yield a local Hubble rate of , the Planck CMB data alone favour a value of H_{0} = (67.3 ± 1.2) km s^{1} Mpc^{1} (Riess et al. 2011; Planck Collaboration XVI 2014). This discrepancy is still debated, but it could be taken as a further motivation to explore more complicated, radially inhomogeneous ΛLTB models with spatially varying Hubble rates (Marra et al. 2013a). Moreover, we can address questions concerning the assumption of spatial homogeneity, such as:

Can inhomogeneous cosmological models fit the given data even more accurately?

What limits do current data impose on fluctuations of the local matter density profile? How strongly can we deviate in our assumptions from spatial homogeneity?

How do the constraints on dark energy or spatial curvature change if we drop the assumption of spatial homogeneity and marginalise over all possible radial inhomogeneities?
For these reasons, and also for a comparison with the previous sections, we now exemplarily consider ΛLTB models whose density profile is represented by cubic splines with three flexible nodes and a fixed radial size of L = 3 Gpc. While testing, we also tried to treat the radial size L as a free parameter and vary it with the Monte Carlo sampler, but the observational constraints are too weak so that the Monte Carlo chains did not converge. We asymptotically embedded these ΛLTB models into curved FLRW backgrounds.
In summary, the considered ΛLTB models are described by the cosmological parameters h, Ω_{m}, Ω_{Λ}, Ω_{k} = 1 − Ω_{m} − Ω_{Λ} of the background, and the three spline nodes parametrising possible fluctuations of the matter density profile. In contrast to the flat FLRW model, we hence introduced one new degree of freedom for the cosmological background (Ω_{Λ} free instead of setting Ω_{Λ} = 1 − Ω_{m}) and three additional parameters for radial inhomogeneities. This way, our framework for testing the cosmological principle is most general and able to parametrise a broad class of spacetime geometries.
We now sequentially discuss these questions. The bestfitting ΛLTB model has a loglikelihood value of log (ℒ) = −274.7, which is only marginally better than that of the FLRW model. The fits to all observables slightly improve. There is no distinguished data set that is described significantly better.
As an example, we show a comparison of the marginalised posterior distribution of the effective local Hubble rates in Fig. 9. As expected, the more flexible curved ΛLTB models fit the observed value better than the flat FLRW models.
More surprisingly, the bestfitting model is almost perfectly homogeneous, with spline nodes a_{1} = 0.99, a_{2} = 1.01 and a_{3} = 0.99. The cosmological parameters are also very similar to those of the standard model, with h = 0.73, Ω_{m} = 0.25, Ω_{Λ} = 0.74 and Ω_{k} = 0.01.
In summary, we can conclude that, of course, the more flexible models fit the data even better. The improvement is almost negligible (Δlog (ℒ) ~ 0.4) , however, and comes at the high price of introducing four additional free parameters. Occam’s razor penalises more complicated models and can be approximated for instance by the Akaike information criterion or the Bayesian information criterion (Akaike 1974; Schwarz 1978). In our case, these criteria suggest that not even one additional free parameter would be justified. More meaningfully, we can thus conclude that the data used in this work statistically favour the standard cosmological model.
Fig. 10 Statistical constraints on deviations from spatial homogeneity on radial scales r< 3 Gpc. The fluctuations in the matter density profile were modelled in terms of cubic splines with three equidistant nodes at r_{1} = 0, r_{2} = 1 Gpc and r_{3} = 2 Gpc. Constraints approaching r = 3 Gpc should be considered artificial, since the models are forced to converge to the background density at this radius. The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER 
The second question concerns statistical constraints on deviations from spatial homogeneity. The mean values of the spline parameters are given by a_{1} = 1.02 ± 0.12, a_{2} = 1.02 ± 0.07 and a_{3} = 0.96 ± 0.11. The corresponding variations of the density profiles are depicted in Fig. 10. The density profiles were forced to converge to the background value at r = 3 Gpc by construction, so the apparent constraints at r> 2 Gpc are artificial. Clearly, the results agree well with the assumption of spatial homogeneity. However, the scatter of ~ 15% indicates that we need more accurate data to safely confirm the cosmological principle. This demonstrates the importance of fully solving linear perturbation theory in LTB backgrounds (such that it can be applied to predict cosmological observables), since this would allow us to include more cosmological observables.
For instance, it would be natural to expect that Gpcscale variations of the matter density profile leave a characteristic imprint on the largescale structure of the local Universe. Such imprints could create nonvanishing amplitudes of the galaxygalaxy correlation function on Gpcscales, which would be at odds with data from current spectroscopic surveys (Labini 2011; Scrimgeour et al. 2012). Furthermore, Gpcvariations of the local matter distribution should be well measurable with tomographic weaklensing methods (Schäfer & Heisenberg 2012). There are other promising observables related to cosmic structures that might help constrain deviations from spatial homogeneity, but we need to advance the numerical algorithms for solving the linear perturbation equations on LTB backgrounds before we are able to reliably calculate these phenomena.
Fig. 11 Marginalised posterior distributions of the energy contribution due to the cosmological constant. The blue dashed curve indicates the constraints assuming a flat FLRW model. The red curve shows the constraints assuming a ΛLTB model, with radial inhomogeneities in the range r< 3 Gpc, asymptotically embedded into a curved FLRW background. The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER 
To answer the last question, in Figs. 11 and 12 we show the statistical constraints on the cosmological constant and spatial curvature. It is important to stress that these posterior distributions were marginalised over all possible fluctuations of the matter density profile. In other words, these posteriors show constraints that are independent of the assumption of spatial homogeneity, at least within the limits of our framework. The constraints on the cosmological constant are essentially invariant, with a negligibly larger scatter. This result differs from the findings of Valkenburg et al. (2014), who calculated a shift of ΔΩ_{Λ} ~ 0.05 when marginalising over inhomogeneities. However, these authors constrained their models by different data, chose another approach for modelling spatial variations of the density profile and additionally included a socalled Copernican prior. Amongst other details, these are important issues that could well explain the difference with respect to our results. Finally, it is remarkable how tightly the spatial curvature of the background model is constrained, even though we considerably relaxed our prior assumptions. The constraints are consistent with a flat background Universe, which agrees very well with the Planck results (Planck Collaboration XVI 2014).
Fig. 12 Posterior distribution of the spatial curvature of the background model, marginalised over fluctuations in the matter density profile at radii r< 3 Gpc. The black dashed lines indicate the mean value and the corresponding ± 1σ boundaries. The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER 
8. Conclusions
What do cosmological observations tell us about the shape of the local matter density profile? Can current data confirm the cosmological principle? These were two central questions that we discussed in this work. To address these problems, we modelled the Universe around us by spherically symmetric, but radially inhomogeneous LTB models with a synchronous Big Bang. In contrast to most previous studies, we did not model the mass profile of LTB models in terms of empirically motivated functional forms, but instead chose to represent the local matter density profile by flexible interpolation schemes or a decomposition into Laguerre polynomials. We chose this alternative, more flexible approach to be able to investigate a broader class of problems (e.g. not restricted to void scenarios) and, more importantly, to not bias our results by prior model assumptions.
In the first part of this work, we reconsidered LTB models without cosmological constant to investigate whether highly flexible, radially finetuned mass profiles allow us to simultaneously fit the high local Hubble rate and the CMB data from the Planck satellite (Riess et al. 2011; Planck Collaboration XVI 2014). To this end, we consecutively compared numerous LTB models with different combinations of observational data. The main results of this first part can be summarised as follows:

1.
H_{0}+ supernovae: as was already wellknown, LTB models without cosmological constant can easily fit the observed local Hubble rate and supernovae just as well as the standard cosmological model. These models mimic the apparent acceleration of the Universe by means of large Gpcscale voids whose matter density profile gradually decreases towards the observer. Having said that, we would like to stress an important issue concerning the interpretation of supernova observations. Interpreted in the framework of a spatially homogeneous FLRW model, supernovae favour a nonzero cosmological constant. Similarly, supernovae favour Gpcscale LTB voids if and only if we set the cosmological constant to zero and require a synchronous Big Bang. In fact, Célérier et al. (2010) demonstrated that local overdensities (i.e. giant local humps) are favoured if the bang time function is allowed to vary. We mention these ambiguities only to emphasise that the interpretation of supernovae is strongly biased by prior assumptions about the underlying cosmological model.

2.
Cosmic microwave background: the CMB data alone do not constrain the shape of the local matter density profile. Indeed, the density profiles can substantially be varied without notably deteriorating the fit to the data. However, current CMB data impose tight constraints on the geometry and expansion rate of the asymptotic background models. Without a cosmological constant, good fits to the data require asymptotically curved FLRW backgrounds with an unrealistically low Hubble rate of H_{0} ≈ 33 km s^{1} Mpc^{1}.

3.
H_{0}+ supernovae + CMB: the separate CMB analysis clearly highlighted the problem of the considered class of LTB models: a good fit to the CMB requires an extremely low background Hubble rate, which is in strong tension with the observed local Hubble rate of H_{0} = (73.8 ± 2.4) km s^{1} Mpc^{1} (Riess et al. 2011). In the last part of our analysis, we thus focused on the question whether or not radially tuned matter density profiles can be found that simultaneously comply with all observational constraints. However, even though we considered a wide variety of huge, extremely deep and heavily finetuned void profiles, the effective local Hubble rate remained too low, H_{0} ≲ 62 km s^{1} Mpc^{1}. To make matters worse, we note that we merely used minimal, modelindependent constraints from the CMB data to arrive at these conclusions (see Sect. 3.3, for details). We did not even use the complete information contained in the full CMB spectra, which appear to be even more problematic for void models (Moss et al. 2011).
In the final part, we therefore analysed LTB models with nonzero cosmological constant, which can be considered as the simplest, spatially isotropic, but radially inhomogeneous extension of the standard cosmological model. ΛLTB models are a valuable framework to systematically study deviations from spatial homogeneity, verify or falsify the cosmological principle, or simply explore effects of varying curvature along the past null cone. We showed that current data provide no evidence for radial inhomogeneities on Gpcscales. Instead, spatially flat FLRW models with homogeneous matter distribution are favoured. These results statistically support the cosmological principle. However, we also showed that fluctuations of ~ 15% with respect to a homogeneous matter density profile are still compatible with current data.
As emphasised in the main text (cf. Sects. 3 and 7), our analysis was limited by an important drawback: linear perturbation theory in LTB models is substantially more complicated than in FLRW models, mainly because scalar, vectorial, and tensorial perturbations do not decouple on inhomogeneous backgrounds. Although great progress has been made, substantial additional efforts are required before linear perturbations can reliably be computed in realistic cosmological settings. We therefore had to neglect all cosmological observables that depend on the details of linear structure formation. For instance, we were not yet able to calculate statistical properties of the perturbed matter density in the LTB models considered, meaning that we could not yet compare these models with the statistical properties of the observed largescale structure (e.g. galaxygalaxy correlation functions, and cluster number counts). Such tests should certainly help to constrain the underlying spacetime geometry. We also had to neglect important cosmological probes such as baryonic acoustic oscillations and weaklensing spectra, which are widely (and successfully) used to constrain homogeneous and isotropic cosmologies. We will focus our research on advancing linear perturbation theory in LTB models to tighten observational constraints on the shape of the local matter density profile in future works.
Acknowledgments
M.R. thanks the Sydney Institute for Astronomy (SIfA, University of Sydney) for hospitality and the German Academic Exchange Service (DAAD, DoktorandenStipendium) for the financial support during a research visit. This work was supported in part by the Deutsche Forschungsgemeinschaft (DFG). Most simulations required for this work were performed on the bwGRiD cluster (http://www.bwgrid.de), member of the German DGrid initiative, funded by the Ministry for Education and Research (Bundesministerium für Bildung und Forschung) and the Ministry for Science, Research and Arts BadenWuerttemberg (Ministerium für Wissenschaft, Forschung und Kunst BadenWürttemberg).
References
 Ahnert, K., & Mulansky, M. 2011, AIP Conf. Proc., 1389, 1586 [NASA ADS] [CrossRef] [Google Scholar]
 Akaike, H. 1974, IEEE Trans. Automatic Control, 19, 716 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Akeret, J., Seehars, S., Amara, A., Refregier, A., & Csillaghy, A. 2013, Astronomy and Computing, 2, 27 [NASA ADS] [CrossRef] [Google Scholar]
 Akima, H. 1970, J. ACM, 17, 589 [CrossRef] [Google Scholar]
 Alefeld, G. E., Potra, F. A., & Shi, Y. 1995, ACM Trans. Math. Softw., 21, 327 [CrossRef] [Google Scholar]
 Allison, R., & Dunkley, J. 2014, MNRAS, 437, 3918 [NASA ADS] [CrossRef] [Google Scholar]
 Alnes, H., & Amarzguioui, M. 2006, Phys. Rev. D, 74, 103520 [NASA ADS] [CrossRef] [Google Scholar]
 Amanullah, R., Lidman, C., Rubin, D., et al. 2010, ApJ, 716, 712 [NASA ADS] [CrossRef] [Google Scholar]
 Amendola, L., & Tsujikawa, S. 2010, Dark Energy: Theory and Observations (Cambridge University Press) [Google Scholar]
 Audren, B. 2014, MNRAS, 444, 827 [NASA ADS] [CrossRef] [Google Scholar]
 Audren, B., Lesgourgues, J., Benabed, K., & Prunet, S. 2013a, J. Cosmol. Astropart. Phys., 2, 1 [NASA ADS] [CrossRef] [Google Scholar]
 Audren, B., Lesgourgues, J., Benabed, K., & Prunet, S. 2013b, Monte Python: Monte Carlo Code for CLASS in Python, Astrophysics Source Code Library, ascl:1307.002 [Google Scholar]
 Bennett, C. L., Larson, D., Weiland, J. L., et al. 2013, ApJS, 208, 20 [NASA ADS] [CrossRef] [Google Scholar]
 Biswas, T., Notari, A., & Valkenburg, W. 2010, J. Cosmol. Astropart. Phys., 11, 30 [NASA ADS] [CrossRef] [Google Scholar]
 Bolejko, K. 2009, Gen. Relativ. Gravit., 41, 1737 [NASA ADS] [CrossRef] [Google Scholar]
 Bolejko, K., & Wyithe, J. S. B. 2009, J. Cosmol. Astropart. Phys., 2, 20 [NASA ADS] [CrossRef] [Google Scholar]
 Bolejko, K., Célérier, M.N., & Krasiński, A. 2011, Class. Quant. Grav., 28, 164002 [NASA ADS] [CrossRef] [Google Scholar]
 Bondi, H. 1947, MNRAS, 107, 410 [NASA ADS] [CrossRef] [Google Scholar]
 Bridle, S. L., Crittenden, R., Melchiorri, A., et al. 2002, MNRAS, 335, 1193 [NASA ADS] [CrossRef] [Google Scholar]
 Bull, P., Clifton, T., & Ferreira, P. G. 2012, Phys. Rev. D, 85, 024002 [NASA ADS] [CrossRef] [Google Scholar]
 Carlson, B. 1995, Numerical Algorithms, 10, 13 [NASA ADS] [CrossRef] [Google Scholar]
 Célérier, M.N. 2000, A&A, 353, 63 [NASA ADS] [Google Scholar]
 Célérier, M.N. 2012, A&A, 543, A71 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Célérier, M.N., Bolejko, K., & Krasiński, A. 2010, A&A, 518, A21 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Clarkson, C. 2012, Comptes Rendus Physique, 13, 682 [NASA ADS] [CrossRef] [Google Scholar]
 Clarkson, C., & Regis, M. 2011, J. Cosmol. Astropart. Phys., 2, 13 [NASA ADS] [CrossRef] [Google Scholar]
 Clarkson, C., Clifton, T., & February, S. 2009, J. Cosmol. Astropart. Phys., 6, 25 [NASA ADS] [CrossRef] [Google Scholar]
 Clifton, T., Ferreira, P. G., & Zuntz, J. 2009, J. Cosmol. Astropart. Phys., 7, 29 [NASA ADS] [CrossRef] [Google Scholar]
 Clowes, R. G., Harris, K. A., Raghunathan, S., et al. 2013, MNRAS, 429, 2910 [NASA ADS] [CrossRef] [Google Scholar]
 Durrer, R., & Maartens, R. 2008, Gen. Relativ. Gravit., 40, 301 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Efstathiou, G. 2014, MNRAS, 440, 1138 [NASA ADS] [CrossRef] [Google Scholar]
 Einasto, M., Liivamägi, L. J., Tago, E., et al. 2011a, A&A, 532, A5 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Einasto, M., Liivamägi, L. J., Tempel, E., et al. 2011b, ApJ, 736, 51 [NASA ADS] [CrossRef] [Google Scholar]
 Ellis, G. F. R. 2009, Gen. Relativ. Gravit., 41, 581 [NASA ADS] [CrossRef] [Google Scholar]
 Enqvist, K. 2008, Gen. Relativ. Gravit., 40, 451 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Enqvist, K., & Mattsson, T. 2007, J. Cosmol. Astropart. Phys., 2, 19 [NASA ADS] [CrossRef] [Google Scholar]
 Etherington, I. M. H. 1933, Philosophical Magazine, 15, 761 [NASA ADS] [CrossRef] [Google Scholar]
 Etherington, I. M. H. 2007, Gen. Relativ. Gravit., 39, 1055 [NASA ADS] [CrossRef] [Google Scholar]
 February, S., Larena, J., Clarkson, C., & Pollney, D. 2014, Class. Quant. Grav., 31, 175008 [NASA ADS] [CrossRef] [Google Scholar]
 Foreman, S., Moss, A., Zibin, J. P., & Scott, D. 2010, Phys. Rev. D, 82, 103532 [NASA ADS] [CrossRef] [Google Scholar]
 ForemanMackey, D., Hogg, D. W., Lang, D., & Goodman, J. 2013, PASP, 125, 306 [NASA ADS] [CrossRef] [Google Scholar]
 GarciaBellido, J., & Haugbølle, T. 2008a, J. Cosmol. Astropart. Phys., 4, 3 [NASA ADS] [CrossRef] [Google Scholar]
 GarcíaBellido, J., & Haugbølle, T. 2008b, J. Cosmol. Astropart. Phys., 9, 16 [NASA ADS] [CrossRef] [Google Scholar]
 Goodman, J., & Weare, J. 2010, Comm. Appl. Math. Comput. Sci., 5, 65 [CrossRef] [MathSciNet] [Google Scholar]
 Guy, J., Astier, P., Baumont, S., et al. 2007, A&A, 466, 11 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Hastings, W. K. 1970, Biometrika, 57, 97 [CrossRef] [MathSciNet] [Google Scholar]
 Hellaby, C., & Krasiński, A. 2006, Phys. Rev. D, 73, 023518 [NASA ADS] [CrossRef] [Google Scholar]
 Hellaby, C., & Lake, K. 1985, ApJ, 290, 381 [NASA ADS] [CrossRef] [Google Scholar]
 Hicken, M., WoodVasey, W. M., Blondin, S., et al. 2009, ApJ, 700, 1097 [NASA ADS] [CrossRef] [Google Scholar]
 Hogg, D. W., Eisenstein, D. J., Blanton, M. R., et al. 2005, ApJ, 624, 54 [NASA ADS] [CrossRef] [Google Scholar]
 Hu, W., & Sugiyama, N. 1996, ApJ, 471, 542 [NASA ADS] [CrossRef] [Google Scholar]
 Kessler, R., Becker, A. C., Cinabro, D., et al. 2009, ApJS, 185, 32 [NASA ADS] [CrossRef] [Google Scholar]
 Krasiński, A. 2014, Phys. Rev. D, 89, 023520 [NASA ADS] [CrossRef] [Google Scholar]
 Krasiński, A., & Hellaby, C. 2002, Phys. Rev. D, 65, 023501 [NASA ADS] [CrossRef] [Google Scholar]
 Labini, F. S. 2010, AIP Conf. Ser. 1241, eds. J.M. Alimi, & A. Fuözfa, 981 [Google Scholar]
 Labini, F. S. 2011, Class. Quant. Grav., 28, 164003 [NASA ADS] [CrossRef] [Google Scholar]
 Lemaître, G. 1933, Annales de la Société Scientifique de Bruxelles, 53, 51 [NASA ADS] [Google Scholar]
 Lesgourgues, J. 2011 [arXiv:1104.2932] [Google Scholar]
 Lewis, A., Challinor, A., & Lasenby, A. 2000, ApJ, 538, 473 [NASA ADS] [CrossRef] [Google Scholar]
 Lovelock, D. 1971, J. Math. Phys., 12, 498 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Lovelock, D. 1972, J. Math. Phys., 13, 874 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Maartens, R. 2011, Roy. Soc. Lond. Phil. Trans. Ser. A, 369, 5115 [NASA ADS] [CrossRef] [Google Scholar]
 Marra, V., & Notari, A. 2011, Class. Quant. Grav., 28, 164004 [NASA ADS] [CrossRef] [Google Scholar]
 Marra, V., & Pääkkönen, M. 2010, J. Cosmol. Astropart. Phys., 12, 21 [NASA ADS] [CrossRef] [Google Scholar]
 Marra, V., Amendola, L., Sawicki, I., & Valkenburg, W. 2013a, Phys. Rev. Lett., 110, 241305 [NASA ADS] [CrossRef] [PubMed] [Google Scholar]
 Marra, V., Pääkkönen, M., & Valkenburg, W. 2013b, MNRAS, 431, 1891 [NASA ADS] [CrossRef] [Google Scholar]
 Melchior, P., Sutter, P. M., Sheldon, E. S., Krause, E., & Wandelt, B. D. 2014, MNRAS, 440, 2922 [NASA ADS] [CrossRef] [Google Scholar]
 Moss, A., Zibin, J. P., & Scott, D. 2011, Phys. Rev. D, 83, 103515 [NASA ADS] [CrossRef] [Google Scholar]
 Nadathur, S. 2013, MNRAS, 434, 398 [NASA ADS] [CrossRef] [Google Scholar]
 Nadathur, S., & Hotchkiss, S. 2014, MNRAS, 440, 1248 [NASA ADS] [CrossRef] [Google Scholar]
 Nadathur, S., & Sarkar, S. 2011, Phys. Rev. D, 83, 063506 [NASA ADS] [CrossRef] [Google Scholar]
 Perlmutter, S., Aldering, G., Goldhaber, G., et al. 1999, ApJ, 517, 565 [NASA ADS] [CrossRef] [Google Scholar]
 Planck Collaboration XVI. 2014, A&A, 571, A16 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Plebanski, J., & Krasinski, A. 2006, An Introduction to General Relativity and Cosmology (Cambridge, UK: CUP) [Google Scholar]
 Raychaudhuri, A. 1955, Phys. Rev., 98, 1123 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Riess, A. G., Filippenko, A. V., Challis, P., et al. 1998, AJ, 116, 1009 [NASA ADS] [CrossRef] [Google Scholar]
 Riess, A. G., Macri, L., Casertano, S., et al. 2011, ApJ, 730, 119 [NASA ADS] [CrossRef] [Google Scholar]
 Robertson, H. P. 1935, ApJ, 82, 284 [NASA ADS] [CrossRef] [Google Scholar]
 Schäfer, B. M., & Heisenberg, L. 2012, MNRAS, 423, 3445 [NASA ADS] [CrossRef] [Google Scholar]
 Schwarz, G. 1978, The Annals of Statistics, 6, 461 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Scrimgeour, M. I., Davis, T., Blake, C., et al. 2012, MNRAS, 425, 116 [NASA ADS] [CrossRef] [Google Scholar]
 Silk, J. 1977, A&A, 59, 53 [NASA ADS] [Google Scholar]
 Smale, P. R., & Wiltshire, D. L. 2011, MNRAS, 413, 367 [NASA ADS] [CrossRef] [Google Scholar]
 Springel, V., White, S. D. M., Jenkins, A., et al. 2005, Nature, 435, 629 [NASA ADS] [CrossRef] [PubMed] [Google Scholar]
 Sunyaev, R. A., & Zeldovich, Y. B. 1970, Ap&SS, 7, 3 [NASA ADS] [Google Scholar]
 Sunyaev, R. A., & Zeldovich, Y. B. 1972, Comm. Astrophys. Space Phys., 4, 173 [NASA ADS] [EDP Sciences] [Google Scholar]
 Sunyaev, R. A., & Zeldovich, I. B. 1980, MNRAS, 190, 413 [NASA ADS] [CrossRef] [Google Scholar]
 Sutter, P. M., Lavaux, G., Wandelt, B. D., et al. 2014, MNRAS, 442, 3127 [NASA ADS] [CrossRef] [Google Scholar]
 Suzuki, N., Rubin, D., Lidman, C., et al. 2012, ApJ, 746, 85 [NASA ADS] [CrossRef] [Google Scholar]
 Tolman, R. C. 1934, Proc. Nat. Acad. Sci., 20, 169 [NASA ADS] [CrossRef] [Google Scholar]
 Valkenburg, W. 2012, Gen. Relativ. Gravit., 44, 2449 [NASA ADS] [CrossRef] [Google Scholar]
 Valkenburg, W., Marra, V., & Clarkson, C. 2014, MNRAS, 438, L6 [NASA ADS] [CrossRef] [Google Scholar]
 Vonlanthen, M., Räsänen, S., & Durrer, R. 2010, J. Cosmol. Astropart. Phys., 8, 23 [NASA ADS] [CrossRef] [Google Scholar]
 Walker, A. G. 1935, The Quart. J. Math., 6, 81 [NASA ADS] [CrossRef] [Google Scholar]
 Zibin, J. P. 2008, Phys. Rev. D, 78, 043504 [NASA ADS] [CrossRef] [Google Scholar]
 Zibin, J. P., & Moss, A. 2011, Class. Quant. Grav., 28, 164005 [NASA ADS] [CrossRef] [Google Scholar]
 Zibin, J. P., Moss, A., & Scott, D. 2008, Phys. Rev. Lett., 101, 251303 [NASA ADS] [CrossRef] [PubMed] [Google Scholar]
 Zumalacárregui, M., GarcíaBellido, J., & RuizLapuente, P. 2012, J. Cosmol. Astropart. Phys., 10, 9 [NASA ADS] [CrossRef] [Google Scholar]
Appendix A: Parametric solutions for the LTB model without cosmological constant
In this appendix, we amend some more useful relations for LTB models without cosmological constant that we skipped in the main part to improve the readability of the paper.
To begin with, we repeat Eq. (4)(with Λ = 0) from Sect. 2, which results from integrating one of Einstein’s field equations in time: (A.1)Dependent on the sign of the curvature function E(r), this integral has three different parametric solutions:
As described in Sect. 4.2, we determine the curvature function E(r) as a function of time t, effective gravitational mass M(r), and areal radius R(t,r). For this purpose, it is useful to rewrite the parametric solutions as (A.7)(A.8)for the expanding and collapsing elliptic cases, and (A.9)for the hyperbolic case. We refer for example to Plebanski & Krasinski (2006) for more details on these solutions. Equations (A.7)–(A.9)can be numerically unstable in the near parabolic limit ( E  ≪ 1). In this case, we use an inverse series expansion as explained in Appendix B of Hellaby & Krasiński (2006).Finally, we note that the parametric solutions (A.2)–(A.6)can be combined to derive an analytic expression for the radial derivative of the areal radius function, (A.10)This relation, together with the radial derivative of Eq. (2), (A.11)allows us to analytically compute R′ and Ṙ′, which renders the numerical integration of radial null geodesics more efficient (cf. Eqs. (5)and (6)).
All Tables
Modelindependent constraints from the Planck 2013 data published by Audren (2014).
All Figures
Fig. 1 Apparent kinetic SunyaevZel’dovich (kSZ) effect of offcentre galaxy clusters in radially inhomogeneous LTB models. The redshift z_{in} of CMB photons that propagated through the centre of the inhomogeneity generally differs from the redshift z_{out} of CMB photons that arrived from outside. 

Open with DEXTER  
In the text 
Fig. 2 Illustration of the three different parametrisations for the local matter density profile around the observer. The black dots indicate the nodes of the interpolation schemes. Note that the representation by Laguerre polynomials does not have a fixed radial size, but only asymptotes to the homogeneous background density. 

Open with DEXTER  
In the text 
Fig. 3 Statistical constraints on the shape of the local matter density profile at the present time. LTB models with fixed radial size L = 3Gpc and three equidistant interpolation nodes were constrained by measurements of the local Hubble rate and supernovae. The blue error bars and the greyshaded band indicate the 68% confidence intervals for the cubic spline and linear interpolation schemes, respectively. The black dashed line connects the means of the bestfitting nodes for the linear interpolation scheme. The green solid curve shows the bestfitting cubic spline density profile. 

Open with DEXTER  
In the text 
Fig. 4 Statistical constraints on the shape of the local matter density profile imposed by measurements of the local Hubble rate and supernovae. ω_{m} denotes the physical matter density of the EdS background model. The local density profile was parametrised by a cubic spline interpolation with three equidistant nodes at radii r_{1} = 0, r_{2} = 1 Gpc, r_{3} = 2 Gpc and a fixed radial size of L = 3 Gpc. The matter density at these nodes was normalised with respect to the background density today, viz a_{i} = ρ(t_{0},r_{i}) /ρ_{bg}(t_{0}). 

Open with DEXTER  
In the text 
Fig. 5 Marginalised posterior distribution of the increase of the local Hubble rate H_{LS} (Eq. (9)) at the origin (due to the underdensity) with respect to the Hubble rate H_{bg} of the homogeneous background model, δH = H_{LS} − H_{bg}. LTB models with fixed radial size L = 3 Gpc and a local matter density profile represented by cubic splines with three equidistant interpolation nodes were fitted to observational data of the local Hubble rate and supernovae. The LTB models were asymptotically embedded into an EinsteindeSitter background. 

Open with DEXTER  
In the text 
Fig. 6 Constraints on the linearly interpolated matter density profile of LTB models with fixed radial size L = 3 Gpc and three equidistant interpolation nodes at r_{1} = 0, r_{2} = 1 Gpc and r_{3} = 2 Gpc. The coefficients a_{i} denote the matter densities at these nodes normalised with respect to the background density today, viz. a_{i} = ρ(t_{0},r_{i}) /ρ_{bg}(t_{0}). The LTB models were constrained by observational data of the local Hubble rate, supernovae, and the CMB. 

Open with DEXTER  
In the text 
Fig. 7 Marginalised posterior distribution of the effective local Hubble rate H_{LS} (Eq. (9)) of LTB models with radial size L = 3 Gpc and linearly interpolated (using three equidistant nodes) matter density profile. The models were fitted to observational data of the local Hubble rate, supernovae, and the CMB. 

Open with DEXTER  
In the text 
Fig. 8 Hubble rate inside an empty sphere around the observer as a function of the matter density parameter of the background FLRW model. The black solid line and the greyshaded area indicate the local Hubble rate and the corresponding 68% confidence interval as measured by Riess et al. (2011). 

Open with DEXTER  
In the text 
Fig. 9 Marginalised posterior distributions of the effective locale Hubble rate as measured by a central observer. The blue dashed curve indicates the constraints assuming a flat FLRW model. The red curve shows the constraints assuming a ΛLTB model, with radial inhomogeneities in the range r< 3 Gpc, asymptotically embedded into a curved FLRW background. The greyshaded band indicates the local Hubble rate (± 1σ) measured by Riess et al. (2011). The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER  
In the text 
Fig. 10 Statistical constraints on deviations from spatial homogeneity on radial scales r< 3 Gpc. The fluctuations in the matter density profile were modelled in terms of cubic splines with three equidistant nodes at r_{1} = 0, r_{2} = 1 Gpc and r_{3} = 2 Gpc. Constraints approaching r = 3 Gpc should be considered artificial, since the models are forced to converge to the background density at this radius. The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER  
In the text 
Fig. 11 Marginalised posterior distributions of the energy contribution due to the cosmological constant. The blue dashed curve indicates the constraints assuming a flat FLRW model. The red curve shows the constraints assuming a ΛLTB model, with radial inhomogeneities in the range r< 3 Gpc, asymptotically embedded into a curved FLRW background. The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER  
In the text 
Fig. 12 Posterior distribution of the spatial curvature of the background model, marginalised over fluctuations in the matter density profile at radii r< 3 Gpc. The black dashed lines indicate the mean value and the corresponding ± 1σ boundaries. The models were constrained by data from the local Hubble rate, supernovae, the CMB, and kSZ clusters. 

Open with DEXTER  
In the text 
Current usage metrics show cumulative count of Article Views (fulltext article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 4896 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.