A&A 447, 413-418 (2006)
DOI: 10.1051/0004-6361:20053668

From Hubble diagrams to scale factors

T. Schücker1,[*],[*] - A. Tilquin2,[*]


1 - Centre de Physique Théorique, CNRS - Luminy, Case 907, 13288 Marseille Cedex 9, France
2 - Centre de Physique des Particules de Marseille, CNRS - Luminy, Case 907, 13288 Marseille Cedex 9, France

Received 21 June 2005 / Accepted 23 September 2005

Abstract
Aims. We study the image of the transform from scale parameters to Hubble diagrams and present a lower bound on the radius of the universe today a0 and a monotonicity constraint on the Hubble diagram.
Methods. Our theoretical input is minimal: Einstein's kinematics and maximally symmetric universes.
Results. Present supernova data yield $a_0 > 1.2\times 10^{26}$, i.e. $\Omega_{k0} > -1.29$. We attempt to quantify the monotonicity constraint and do not see any indication of non-monotonicity.

Key words: cosmological parameters

1 Introduction

In a homogeneous, isotropic, expanding universe, the apparent luminosity of a standard candle is a monotonically decreasing function of the time of flight of emitted photons if the universe is open. This is also true in spherical universes if the time of flight is small enough with respect to the radius divided by the speed of light. In principle, the (apparent) luminosity $\ell(t)$ as a function of time can be used to measure the scale factor a(t). In reality, arriving photons do not tell us their time of flight, but only their spectral deformation, $z:=\nu _{\rm table}/\nu _{\rm observed}-1$, where $\nu $ is the frequency of the photon. In an expanding universe z is positive, "red shift''. If we pretend to know the scale factor a(t), we can compute the luminosity $\ell (z)$ and confront it with the Hubble diagram. The transform $a(t)\rightarrow \ell(z)$ reminds us of the Fourier transform and of course we are interested in the inverse transform $\ell(z)\rightarrow
a(t)$. Therefore we must ask three questions: what is the domain of definition of the initial transform, what is its image, and is the transform injective? Also, should the measured luminosity $\ell (z)$ be "far away'' from the image our working hypotheses are made to test.

2 The hypotheses

We assume the kinematics of general relativity:

This kinematics is covariant under general coordinate transformations. In 1983 the meter was officially abandoned as a fundamental unit in favor of an absolute speed of light, and at least since then, any non-covariant kinematics is void of any physical meaning.

We also assume the comological hypotheses of maximally symmetric spaces:

The symmetry hypothesis and the choice of the coordinates $(t,\vec x)$have reduced the configuration space to the set of positive functions a(t) on the real line and to the parameter $k=0,\ \pm 1$.

3 The Hubble diagram

From these hypotheses we can compute (see for instance Berry 1976) the (apparent) luminosity $\ell(t)$ of a standard candle in Watt $/{\rm m}^2$ as a function of emission time t

$\displaystyle \ell(t)= ~\frac{L}{4 \pi a^2_0}~ ~\frac{a(t)^2}{a^2_0~s^2(\chi
(t))}~$     (2)

where L is the absolute luminosity of the standard candle in Watt, a0:=a(t0) is the scale factor today;
$\displaystyle \chi(t):=\int_t^{t_0}~\frac{c~\hbox{\rm {d}}\tilde t}{a(\tilde t)}~$     (3)

is the dimensionless co-moving geodesic distance covered by the photon; and
$\displaystyle s(\chi ):=\left\{ \begin{array}{cc}\sin \chi ,& k=1\cr \chi ,& k=0\cr \sinh
\chi ,& k=-1.\end{array}\right.$     (4)

The luminosity has a singularity at t=t0, called the "short distance divergency'', for any value of k and any scale factor. For closed universes, k=1 we may have additional singularities for $\chi =\pi $, called the "antipode divergencies'', while for $\chi =2\pi $ we are back at a second short distance divergency, and so forth if $\chi $ continues to grow. Of course there might be a horizon, i.e. an upper bound for $\chi $, masking all or some of the singularities.

From the above hypotheses, we can also compute the spectral deformation as a function of emission time,

$\displaystyle z(t)=~\frac{a_0}{a(t)}~ -~1.$     (5)

The theoretical Hubble diagram is the parametric plot in the $z-\ell$plane as t varies.

If we suppose that the scale factor is strictly increasing with $\dot a:=\hbox{\rm {d}}a/\hbox{\rm {d}}t>0$, then z is positive, "red shift'', and we can invert the function z(t). For convenience, we write t(z) for its inverse. Then the Hubble diagram is a function $\ell(t(z))$ that, still for convenience, is written $\ell (z)$,

$\displaystyle \ell(z)=~\frac{L}{4 \pi a^2_0}~ ~\frac{1}{(z+1)^2~s^2(\chi
(z))}~$     (6)

where
$\displaystyle \chi(z):=\chi (t(z))=~\frac{c}{a_0}~ \int_0^{z}~\frac{\hbox{\rm {d}}\tilde
z}{H(\tilde z)}~$     (7)

and $H(z):=\dot a(t(z))/a(t(z))$ is the Hubble rate.

The short distance divergency now is at z=0 and easy to get rid of. Let us define the regularized luminosity

 
$\displaystyle f(z):=z^2\ell(z)=~\frac{L}{4 \pi a^2_0}~ ~
\frac{z^2}{(z+1)^2~s^2(\chi (z))}\cdot$     (8)

Indeed,
 
$\displaystyle f(0)=~\frac{L}{4\pi c^2}~H_0^2 ,\quad f'(0)=
~\frac{L}{4\pi c^2 }~H_0^2~(q_0-1) ,$     (9)

where the prime is differentiating with respect to z, q(z) is the deceleration parameter,
$\displaystyle q(z)=-~\frac{a\ddot a}{\dot a \dot a}(t(z)),$     (10)

and H0:=H(0), q0=q(0).

4 The transform ${a\/}({t})\longrightarrow \ell ({z})$

Let us first try to describe the image, that is, all luminosity functions $\ell (z)$ that can be obtained from strictly increasing scale factors a(t) with $\dot a>0$ and with $k=0,\ \pm 1$.

We already know that $\ell (z)$ comes with the short distance divergency at z=0, which is such that $z^2\ell(z)=:f(z)$ is regular there. For open universes, there are no other singularities. In fact, $(z+1)^2\ell(z)=:g(z)$ is a decreasing function. For closed universes, on the other hand, g(z) goes through a minimum as the photons pass the equator, $\chi
=\pi /2$. From there on, the luminosity increases again and goes to the antipode divergency. It might happen, of course, that the equator is masked by the horizon, in which case g(z) remains decreasing forever, even though the universe is closed.

Let us now ask whether the transform is injective in the domain of increasing scale factors. If we pretend to know k, the answer is affirmative for open universes. Indeed, solving Eq. (8) for $s(\chi )$ and differentiating with respect to z yields (Esposito-Farèse & Polarski 2001)

                             $\displaystyle ~\frac{a_0}{c}~ H(z)$ = $\displaystyle ~\frac{(z+1)\sqrt{4\pi a_0^2
L^{-1}(z+1)^2f(z)-kz^2}}{1-{\textstyle\frac{1}{2}} z(z+1)f'(z)/f(z)}~$  
  = $\displaystyle ~\frac{z(z+1)\sqrt{4\pi a_0^2
L^{-1}g(z)-k}}{1-{\textstyle\frac{1}{2}} z(z+1)f'(z)/f(z)}\cdot$ (11)

Therefore we can reconstruct the Hubble rate from the luminosity.

Integrating the Hubble rate with respect to t gives us the scale factor with the ambiguity of the initial condition a0. But for flat universes, this initial condition is unphysical. By a coordinate transformation of $\vec x$, we can set a0=1 m. This is different for curved universes, where a0 is related to a local observable, the curvature. In the closed case, a0 is also related to a global observable, the radius of the universe today. However, unless g(z) already exhibits an increase, only a lower bound on the radius today can be reconstructed from the luminosity,

 
$\displaystyle a_0\ge \sqrt{~\frac{L}{4\pi g_{\rm min}}~ },\quad g_{\rm min}:=
\min_{z>0}\left\{(z+1)^2\ell(z)\right\}.$     (12)

Note that this lower bound does not depend on the absolute luminosity L.

If we admit that we do not know k and if the luminosity function $\ell (z)$ satisfies (i) $z^2\ell(z)$ is regular at z=0; and (ii) $(z+1)^2\ell(z)$ is decreasing, then there are three positive functions $a_\pm(t)$ and a(t), such that the universes with scale factor a-(t), k=-1, with scale factor a(t), k=0 and with scale factors a+(t), k=1 have the same luminosity function $\ell (z)$. These three scale factors satisfy

 
$\displaystyle a_-(t_0)~\sinh\chi _-=a(t_0)~\chi =a_+(t_0)~\sin \chi
_+.$     (13)

Note that in the flat case, the "initial condition'' a(t0) carries no information, while in the closed case a+(t0) must satisfy the inequality (12).

Example (constant deceleration parameter):
take the scale factor,

 
$\displaystyle a(t):= a_0(pH_0t)^{1/p},\quad p>0,\quad
0<t<t_0=~\frac{1}{pH_0}\cdot$     (14)

Then the Hubble rate is H=H0(z+1)p and the deceleration parameter is constant, $q\equiv
p-1$. The co-moving distance is
$\displaystyle \chi =~\frac{c}{a_0H_0}~ \ln
(z+1)=-~\frac{c}{a_0H_0}~\ln (H_0t),\quad\quad p=1,$     (15)


                                v$\displaystyle \chi$ = $\displaystyle ~\frac{c}{(p-1)a_0H_0}~ (1-(z+1)^{1-p})$  
  = $\displaystyle ~\frac{c}{(p-1)a_0H_0}~
(1-(pH_0t)^{1-1/p}),\quad\quad p\not=1.$ (16)

For p>1, there is a horizon at $\chi =c/((p-1)a_0H_0)$. In particular, if p=2, and k=0, then the regularized luminosity f(z) is constant.

Example (constant regularized luminosity):
suppose we have measured a constant regularized luminosity $f(z)\equiv
LH_0^2/(4\pi c^2)$. Then the Hubble rate is

$\displaystyle H=(z+1)\sqrt{H_0^2(z+1)^2-kc^2z^2/a_0^2}.$     (17)

The three solutions of these three differential equations, $k=\pm 1,\ 0$, in terms of the scale factors are obtained from Eqs. (13) and (14):
                             a(t) = $\displaystyle a_0(2H_0t)^{1/2} \sqrt{1-k\left[
~\frac{1-(2H_0t)^{1/2}}{a_0H_0/c}~\right] ^2},$  
    $\displaystyle 0<t<t_0=~\frac{1}{2H_0}\cdot$ (18)

To alleviate notations, we have suppressed the subscripts $\cdot_\pm$from a(t) and a0. In the closed case, a0 must satisfy the inequality (12):
$\displaystyle a_0\ge~\frac{c}{H_0} ~\frac{z_{\rm max}}{z_{\rm max}+1}~$     (19)

and the inflection point of g(z) is hidden behind the horizon at $\chi
=\arcsin [c/(a_0H_0)]$.

Example (constant Hubble rate):
to have an example without a horizon, consider the scale factor

$\displaystyle a(t)= a_0\exp[H_0(t-t_0)].$     (20)

This is a limiting case of the first example with $p\rightarrow 1$. It has constant Hubble rate and constant deceleration parameter, $H(z)\equiv H_0$, $q(z)\equiv -1$, and $\chi =cz/(a_0H_0)$. In the closed case, g(z) has an infinite number of inflection points alternating with short distance divergencies. The inflection points are all minima, with the first located at $z_{\rm infl}=\pi a_0H_0/(2c)$.

Example (closed universe):
suppose we have measured the luminosity:

$\displaystyle \ell(z)=~\frac{LH_0^2}{4\pi c^2} ~\frac{z+2}{z^2}\cdot$     (21)

It is strictly decreasing and has the correct short distance divergency. Its g(z) has one and only one inflection point at $z_{\rm
infl}=(1+\sqrt{17})/2\sim~2.56$, which suggests a closed universe with $a_0\sim 0.337\ c/H_0$.

Counter-example (wiggling g(z)):
suppose we have measured the luminosity, Fig. 1:

 
$\displaystyle \ell(z)=~\frac{LH_0^2}{4\pi c^2} ~\frac{(\sin z/z)^2+0.1}{z^2}\cdot$     (22)

Again it is strictly decreasing and has the correct short distance divergency. Now g(z) has a maximum, Fig. 2. Therefore no Robertson-Walker universe, neither open nor closed, exists with this luminosity.


  \begin{figure}
\par\epsfxsize=8cm
\epsfbox{3668fig1.ps}
\end{figure} Figure 1: The monotonic luminosity (22).
Open with DEXTER


  \begin{figure}
\par\epsfxsize=8cm
\epsfbox{3668fig2.ps}
\end{figure} Figure 2: Its wiggling g(z).
Open with DEXTER

The last two examples illustrate that our constraint of monotonic g(z)is stronger than the constraint of monotonic luminosity $\ell (z)$.

5 Non-monotonic scale factors

If the scale factor is strictly decreasing, we get similar results with a negative spectral deformation: -1<z<0, "blue shift''. One might think that one can produce non-monotonic functions g(z)by starting from non-monotonic scale factors a(t), but this is not true. In fact any non-monotonic scale factor produces multi-valued luminosities in terms of the spectral deformation z. The first example is, of course, the constant scale factor with no spectral deformation, $z\equiv 0$, but varying luminosity. A more generic example is shown in Fig. 3:

  \begin{figure}
\par\epsfxsize=7cm
\epsfbox{3668fig3.ps}
\end{figure} Figure 3: The non-monotonic scale factor (23).
Open with DEXTER


 
$\displaystyle a(t)= {\textstyle\frac{1}{2}} gt^2+\alpha ,\quad g,\alpha
>0.$     (23)

For positive t0, we have a maximal redshift of $z_{\rm max}=a_0/\alpha -1$. We have z=0 for $t=\pm t_0$ and a blue shift for t<-t0:
$\displaystyle -1<z_{\rm min}=~\frac{a_0}{{\textstyle\frac{1}{2}} gt^2+\alpha }~
-1<0.$     (24)

The dimensionless co-moving distance is
$\displaystyle \chi (t) =
c\sqrt{~\frac{2}{g\alpha }~ }\left[
\arctan\left(
\sqr...
...lpha }~} t_0\right) -\arctan\left(
\sqrt{~\frac{g}{2\alpha }~} t\right)\right],$     (25)

and the relation between emission time t and spectral deformation zis
$\displaystyle t(z)=\pm \sqrt{~\frac{2}{g}~ }\sqrt{~\frac{a_0}{z+1}~ -\alpha }.$     (26)

Note that the Hubble rate vanishes at the inflection time $t=0,\
z=z_{\rm max}$, while the deceleration parameter diverges there. Also the regularized luminosity vanishes at $t=-t_0,\ z=0$. As t tends to minus infinity, z tends to -1 and the luminosity, regularized or not, diverges. We call this phenomenon the "ultra-violet divergency''. In the closed case, we have in addition antipode and short distance divergencies. Figure 4 shows only one antipode singularity.


  \begin{figure}
\par\epsfxsize=8.8cm
\epsfbox{3668fig4.ps}
\end{figure} Figure 4: The regularized luminosity of the non-monotonic scalefactor (23)
Open with DEXTER

6 Data and conclusion

We use the "Gold'' sample data compiled by Riess et al. (2004) with 157 SN's, including a few at z>1.3 from the Hubble Space Telescope (HST GOODS ACS Treasury survey). For convenience we normalize the luminosity to the maximum absolute SN luminosity estimated by Jha et al. (1999), Saha et al. (2001), and Gibson & Stetson (2001), $L=L_{\max}=(1\pm 0.1)\times 10^{35}$ W. The Hubble rate today H0 is taken as $(70\pm 5)$ km  ${\rm s^{-1}\ Mpc^{-1}}$ (Krauss 2001; Raux 2003).

The regularized luminosity allows us to extract LH02 from the Hubble diagram with small red shift, Fig. 5. The value f(0) is extracted by a second order polynomial extrapolation fit on the SN data up to a red shift of 0.1. By construction, the fitted value f(0) is equal to $LH_0^2/(4\pi c^2) = (4.3\pm 0.4)\times 10^{26}\ {\rm W\ Mpc^{-2}}$, where the error is only coming from the fit itself.

6.1 Lower bound on the radius of the universe today

The first of Eqs. (9) and Eq. (12) together give the lower bound on a0 as

$\displaystyle a_0\ge \sqrt{~\frac{f(0)}{g_{\rm min}}~ } ~\frac{c}{H_0}\cdot$     (27)

The minimal value of g(z) is obtained from the SN recorded at z=1.3 and is equal to $g_{\rm
min} = (3.83 \pm 0.72)\times 10^{26}\ {\rm W\ Mpc^{-2}}$. At a $95\%$confidence level (CL), we have the upper bound on the minimal value of g(z): $ g_{\min}<5.6\times 10^{26}\ {\rm W}\ {\rm Mpc}^{-2}$. Combining the errors from f(0) and $g_{\min}$ gives the lower bound on a0 at $95\%$ CL:
          $\displaystyle a_0 > 0.88\ c/H_0$ $\textstyle \sim$ $\displaystyle 3.8\ {\rm Gpc }\ \sim\ 1.2 \times 10^{26}\ {\rm m}$  
  $\textstyle \sim$ $\displaystyle 1.3\times 10^{10}\ {\rm light\ years}.$ (28)

This lower bound on a0 translates into a lower bound on the curvature density,
$\displaystyle \Omega_{k 0}:=-k\left( ~\frac{c}{a_0 H_0}~\right) ^2 \
>\ -1.29\quad{\rm at
\ 95\%\ CL.}$     (29)

Note that this limit is independent of the values of the absolute luminosity L and of the Hubble rate today. It is also independent of any dynamical hypothesis.


  \begin{figure}
\par\epsfxsize=8cm
\epsfbox{3668fig5.ps}
\end{figure} Figure 5: The regularized luminosity as measured today (Riess et al. 2004), with a binning of 0.02 in red shift. The full line at low red shift corresponds to a second order polynomial extrapolation fit.
Open with DEXTER

Let us compare this bound with the one obtained from the SN data but now adding the dynamics of the $\Lambda CDM$ cosmology fitting the matter density $\Omega _{\rm m}$, the cosmological constant density $\Omega
_\Lambda $, and the nuisance normalization parameter, but without any other input constraint: $\Omega _{k0}> -1$ at 95% CL.

Including $\gamma $ ray bursts with their high z potentially improves our bound, but does not do so at present because of the high uncertainty of their absolute luminosity. Also, we expect a small improvement on our bound from SNAP data: $a_0 > 1.04\ c/H_0$, $\Omega _{k0} > -0.91$ at 95% CL. This improvement relies on the assumption that the central values of the apparent luminosities will not change significantly and comes from the reduction of the error bars, mainly due to adding more nearby supernovae (Yèche et al. 2006).

Of course our bound from supernova data cannot compete with constraints from CMB anisotropy data. It has, however, the virtue of not being subject to any dynamical hypotheses, like a cosmological constant, dark matter, exotic equations of state, power spectra, inflation, etc.


  \begin{figure}
\par {\includegraphics[width=8.8cm]{3668fig6.ps}\\ [8mm]
\includegraphics[width=8.8cm]{3668fig7.ps} }
\par\end{figure} Figure 6: Color contours: significance of wiggle detection (vertical colour scale) as function of the wiggle position $z_{\rm w}$ and width $\delta z_{\rm w}$, logarithmic scale. Full lines: expected $2\sigma $ sensitivity of the wiggle detection as a function of wiggle magnitude $m_{\rm w}$. The dashed lines indicate the location of the critical wiggle magnitude $m_{\rm w}^{\rm c}$ of a positive wiggle that breaks the monotonicity. The upper panel is the exclusion plot for a non-monotonic luminosity $\ell (z)$, the lower panel for non-monotonic g(z).
Open with DEXTER

6.2 Wiggles and non-monotonicity

We must now ask the question whether the data is compatible with a monotonic luminosity $\ell (z)$. We will also ask the finer question of whether g(z) is monotonic.

To detect non-monotonicity in the SN data set, we assume that the luminosity $\ell (z)$ and its g(z) can be described by monotonic functions to which we add a simple Gaussian:

 
$\displaystyle L(z) = \ell\left(z,LH_0^2,p\right) + a_{\rm w} \exp{-{(z-z_{\rm w})^2}/{\left(2 \delta z_{\rm w}^2\right)}}$     (30)

and
 
$\displaystyle G(z) = g\left(z,LH_0^2,p\right) + a_{\rm w} \exp{-{(z-z_{\rm w})^2}/{\left(2 \delta z_{\rm w}^2\right)}}.$     (31)

The monotonic functions $\ell(z,LH_0^2,p)$ and g(z,LH02,p) are derived from a power law parameterization of the scale factor a(t):= a0(pH0t)1/p (constant deceleration parameter), 1/5<p<1, k=0. It yields the monotonic luminosity
$\displaystyle \ell(z,LH_0^2,p)=~\frac{LH_0^2}{4\pi c^2}~\left(
\frac{p-1}{(z+1)[1-(z+1)^{1-p}]}\right) ^2 ,$     (32)

and with p=0.69 it describes the $\Lambda CDM$ cosmology well up to a redshift of 1.8 (Henry-Couannier et al. 2005). Its acceleration is positive with $q\equiv -0.31$.

Our wiggle detection procedure consists of scanning the plane in wiggle position $z_{\rm w}$ and wiggle width $\delta z_{\rm w}$ in steps of 0.01 in both directions. In each point $(z_{\rm w},\delta z_{\rm w})$ of this plane, we fit the normalization LH02, the power pand the wiggle amplitude $a_{\rm w}$. Warning: if the wiggle amplitude $a_{\rm w}$ is smaller than a critical amplitude $a_{\rm w}^c$ the modified functions (30) and (31) will still be monotonic.

We could claim that $\ell (z)$, and all the more the luminosity g(z), is not monotonic if the ratio between the fitted wiggle amplitude and the associated error is greater than 5 (5$\sigma$ level detection) and if the wiggle amplitude is greater than the critical one. The sensitivity of the method is computed by Monte Carlo simulation. The same SN sample as the Riess data set with the same statistical power is simulated by assuming the $\Lambda\rm {CDM}$ cosmology, and a wiggle of positive or negative amplitude is added to $\ell (z)$ and g(z) for each point in the ($z_{\rm w}$, $\delta z_{\rm w}$) plane. We apply the wiggle detection procedure to each simulation, restricted to a small grid of points around the simulated one to speed the processing up. The significance of the wiggle amplitude $(\vert a_{\rm w~fitted})\vert/\sigma_{a_{\rm w}})$ is computed at each point, and the smaller value from the positive or negative wiggle amplitude is retained. The sensitivity is computed at a $2\sigma $ level corresponding to a $95\%$confidence level exclusion limit on the wiggle magnitude $m_{\rm w}$ defined by

$\displaystyle a_{\rm w}(z_{\rm w}) = \pm(10^{-m_{\rm w}/2.5}-1)\ell(z_{\rm w}).$     (33)

Figure 6 shows the significance of the wiggle fit performed on the Riess data sample (color contours) for the luminosity $\ell (z)$ and g(z) with $z_{\rm w}$ varying from 0.01 to 1.8 and $\delta z_{\rm w}$from 0.01 to 2 in steps of 0.01 in both directions. The maximum significance for both $\ell (z)$ and g(z) is 2.4 for a wiggle at the position $z_{\rm w}= 0.45$, with width of 0.07. The wiggle magnitude is $m_{\rm w}= 0.16$ for luminosity $\ell (z)$, and $m_{\rm w}=0.25$ for g(z). The dashed lines indicate the location of the critical wiggle magnitude $m_{\rm w}^{\rm c}$ of a positive wiggle that breaks the monotonicity.

No wiggle greater than this value is observed, so we conclude that no wiggle is detected at a $5\sigma$ level using the actual SN data set. On the same figures, the sensitivity for different values of the wiggle magnitude is shown (plain line). Wiggles of magnitude greater than 2 are excluded at $95\%$ CL up to a redshift of 1.6. Up to a redshift of 1, the $95\%$ CL exclusion limit on the wiggle magnitude is 0.6. These two magnitudes are below the critical magnitudes; therefore, these wiggles do not upset the monotonicity.

References

 

Copyright ESO 2006