marcus said:
Out of all possible numbers, pretending that the curvature is EXACTLY zero is a really radical assumption. That has always been the hypothesis that one would look for evidence to support. The null hypothesis is, of course, that it is not exactly zero.
That the curvature is non-zero is the
alternative hypothesis. The null hypothesis has to be the simplest one consistent with available data. In the absence of any of the datasets WMAP, SPT, BAO, ##H_0##, etc., we have no evidence of non-zero curvature. So if we are going to use these data sets to test the hypothesis that the curvature is non-zero, we are necessarily testing against the null hypothesis that the curvature is zero.
I think there is insufficient reason to claim exact zero perfect flat. As I said it is much too early to assume that.
It is always suspicious when some parameter is small or zero in the absence of a symmetry, so I would not claim that we know there is exactly zero curvature either. But that is the simplest model that fits the data within statistical significance.
I have never claimed that the curvature is nonzero, although I've pointed out that some observations SUGGEST this. I just don't think there is a valid scientific reason to believe exact zero out of all the things it could be.
My point is that it is incorrect to say that any of these observations suggest non-zero curvature. One could fill volumes with the number of ##2\sigma## observations that turned out to be nothing in particle physics history alone. I am not saying that zero curvature has been demonstrated either, but that is the best model to use for independent purposes.
Back in October the SPT report had an Omega_k confidence interval that was all on the negative side! It did not even include zero. Of course other studies have published Omega_k confidence intervals that include zero and some positive territory.
But in recent years they've mostly been lopsided (big on the negative side of zero). That PROVES nothing. But it is suggestive when it happens repeatedly with several different studies.
So, we will wait and see.
None of these results were statistically significant. The more statistically significant non-zero curvature fits were in tension with things like neutrino masses. And the separate datasets themselves are in tension, so it is problematic to draw conclusions by combining them.
I am not saying that the universe is flat. I am saying that it is incorrect to insist that we really have evidence that it is not flat.
TrickyDicky said:
What I was trying to say is that we have to take into account the "a priori" chances before we evaluate the statistical data in order to interpret it correctly.
And "a priori" we know that a exactly flat curvature is impossible to measure given the limits of our detectors. So we can only hope to ever measure a definite nonzero curvature, a zero curvature cannot be measured. And we also know that while 0 is a single value, nonzero curvature possible values are infinite, as there are infinitely many values between 0 and whatever value of cuvature. And note that no matter how small the curvature, for instance in the case it was positive, it would inmediately mean a change from infinite to finite universe so it does matter.
So the "a priori" knowledge leads us to consider nonzero curvature as the null hypothesis.
Now Planck has approximated a little bit more the upper limit of curvature to zero, but the "a priori" probabilities are still infinite possible nonzero values to one 0 value , and they will remain so unless we finally found a nonzero value, regardless of how much we improve our detectors, now we have accuracy to 1/100 which might look great, but compare 100 with infinity.
I claim this is valid scientific reasoning.
The scientific method has the goal of finding the simplest model that supports all available data. If we choose the parameters correctly, setting a parameter to zero makes the model simpler. It does not matter that someone throwing a dart at a line of values would tend to find something nonzero. Until we actually measure a parameter to be nonzero, that component of the model does not enter the textbook theory.
For example, there are an infinite number of terms that one can add as corrections to Einstein's equation. A priori, there's no good reason for the coefficients of any of them to vanish, but there are arguments that the coefficients are too small to measure. If you took the first ten terms and added them to ##\Lambda##CDM, we could use the existing datasets to fit their coefficients and we would quite possibly find non-zero parameters, with enormous errorbars. No one would suggest that you should actually use the resulting fit to draw any physical conclusions.