GLOBAL KNOWLEDGE ARK

Cosmology · Spacetime, curvature and cosmological models

Observational tests of geometric assumptions

Use exact synthetic distance and expansion-rate functions to check a necessary FLRW reference-curvature relation, then identify what a real observational test must establish beyond the arithmetic.

Preparation: ratios, powers of ten and ordinary arithmetic. Physical quantities and notation are introduced as they are needed.

Back to the chapter

After reading, you can

  • Distinguish a necessary geometric consistency test from a sufficient proof of a cosmological model.
  • Calculate a supplied distance–rate test at three redshifts using stated dimensionless inputs.
  • Identify circular inputs, derivative uncertainty and other limitations in an observational interpretation.
01

A geometry predicts relationships between measurements

A proposed cosmic geometry does more than label a spatial slice. It relates how light travels, how distances are defined and how expansion changes with redshift. Comparing independently inferred quantities can test whether those consequences fit together.

One useful FLRW relation connects a transverse distance function with H(z), the background expansion rate at redshift z. Its geometric form does not require selecting a particular dark-energy equation of state or a gravitational field equation. Interpreting the observational inputs still requires their own assumptions.

A consistency relation is a necessary condition within its stated domain. Passing it is not proof of all FLRW assumptions, global topology or absence of measurement systematics. Failing a real-data comparison does not by itself identify one unique physical explanation.

The example below uses supplied analytic functions with no observational noise. It is designed to make the algebra and logical scope visible, rather than to report an observed failure of cosmological geometry.

02

Use one reference rate and the correct distance

Choose H_ref = H(0) > 0 and a_ref = 1. Define E(z) = H(z)/H_ref. Let D_A be angular diameter distance, relating a small apparent angular size in radians to the corresponding physical transverse size at emission.

In the FLRW comparison, transverse comoving distance is D_M = (1 + z)D_A. Define the dimensionless distance d(z) = H_ref D_M(z)/c = H_ref(1 + z)D_A(z)/c. This is not automatically the radial comoving distance when curvature is nonzero.

A prime denotes differentiation with respect to dimensionless redshift: d′(z) = dd/dz. For d > 0, form K_test(z) = ([E(z)d′(z)]² − 1)/d(z)². All terms and the resulting ratio are dimensionless.

Under the FLRW relation this expression equals one fixed reference value Ω_k,ref. It must give the same reference curvature parameter at different redshifts. It is not the instantaneous Ω_k(z) = −Kc²/[a(z)²H(z)²], which can evolve even in an FLRW model.

03

Supply exact inputs before interpreting a result

For both synthetic pairs set d(z) = z, so d′ = 1. Pair A has E(z) = 1. Pair B instead has E(z) = 1 + z/10. Evaluate the test over 0.5 ≤ z ≤ 2, where d and E are positive. These are analytic teaching choices, not fitted astronomical data.

For pair A, the numerator is 1² − 1 = 0 at every chosen redshift, giving K_test = 0. The supplied pair passes this particular reference-curvature constancy check.

For pair B at z = 1, E = 1.1 and d = 1. The ratio is (1.1² − 1)/1² = 0.21. At z = 2, it is (1.2² − 1)/2² = 0.11. At z = 0.5, it is (1.05² − 1)/0.5² = 0.41.

Those unequal exact values cannot all represent one constant Ω_k,ref. Pair B therefore fails the stated necessary FLRW relation as supplied. This is not a demonstration of changing instantaneous Ω_k within a valid FLRW history; the calculated quantity is a candidate for the fixed reference value.

Exact synthetic distance–rate pairs with d = z and d′ = 1; no measurements, uncertainty estimates or discovery significance are assigned
zdE for pair AK_test for AE for pair BK_test for B
0.50.5101.050.41
11101.10.21
22101.20.11
04

A necessary condition has limited reach

Expanding pair B’s expression gives K_test = 0.2/z + 0.01 for z > 0, so its variation is analytic rather than a rounding artifact. The table already shows the failure using ordinary arithmetic and supplied derivatives.

Both input pairs have d(0) = 0, d′(0) = 1 and E(0) = 1. The test ratio itself is nevertheless 0/0 at z = 0 and is not evaluated there. Correct origin normalization does not guarantee consistency at positive redshifts.

Pair A’s successful result establishes this one necessary consistency condition for those functions. It does not prove that all possible observations obey FLRW or uniquely specify the physical contents. Broader claims require additional evidence and assumptions.

An optional derivative form is C_test = 1 + E²(dd″ − d′²) + EE′dd′, which vanishes under the same FLRW consistency condition. Here it gives zero for A and −z/10 for B. The simpler table is sufficient for a first reading; calculating derivatives from real data is a separate inference problem.

Synthetic distance–rate pairs can pass or fail one necessary reference-curvature testAn exact analytic teaching comparison covers dimensionless redshift 0.5 ≤ z ≤ 2. Define chosen positive H_ref = H(0), E = H/H_ref and d = H_ref(1 + z)D_A/c. Both synthetic pairs use d(z) = z and supplied derivative d′ = 1. Pair A has E = 1 and yields K_test = ([Ed′]² − 1)/d² = 0, shown by a solid blue square-marked horizontal line. Pair B has E = 1 + z/10 and yields 0.2/z + 0.01, shown by a dashed orange circle-marked curve. At z = 0.5, 1 and 2 the latter returns 0.41, 0.21 and 0.11. Both axes are linear, and no observational error bars are drawn. Because the B values are unequal, that supplied pair cannot satisfy one fixed-reference-curvature FLRW relation. K_test is a candidate for a fixed reference Ω_k, not the instantaneous Ω_k(z), which can vary in an FLRW history. The expression is excluded at z = 0, where it is 0/0. These inputs and samples are hypothetical, not observations or a significance estimate. Constancy is a necessary condition and does not prove every FLRW assumption; a failure with real inputs would require independent calibration, uncertainty, covariance and input-assumption checks and would not identify a unique physical cause.One reference-curvature test across redshiftSynthetic pairs share d(z) = z and supplied slope d′ = 1.A: E(z) = 1; B: E(z) = 1 + z/10.K_test = ([Ed′]² − 1)/d² · dimensionlesspair A: 0pair B: 0.2/z + 0.01K_test · candidate for one fixed reference Ω_k00.10.20.30.40.410.210.11A stays at 00.511.52Redshift z · dimensionless; 0.5 ≤ z ≤ 2E = H/H_ref; d = H_ref(1 + z)D_A/c; H_ref = H(0).Pair B returns 0.41, 0.21, 0.11: it is not constant.It fails this necessary FLRW consistency condition.This is a fixed-reference candidate, not Ω_k(z).The formula is not evaluated at z = 0 (there: 0/0).No observations, uncertainties or statistical significance.Passing this test alone would not prove all assumptions.No unique cause of a real-data failure is identified.
An exact analytic teaching comparison covers dimensionless redshift 0.5 ≤ z ≤ 2. Define chosen positive H_ref = H(0), E = H/H_ref and d = H_ref(1 + z)D_A/c. Both synthetic pairs use d(z) = z and supplied derivative d′ = 1. Pair A has E = 1 and yields K_test = ([Ed′]² − 1)/d² = 0, shown by a solid blue square-marked horizontal line. Pair B has E = 1 + z/10 and yields 0.2/z + 0.01, shown by a dashed orange circle-marked curve. At z = 0.5, 1 and 2 the latter returns 0.41, 0.21 and 0.11. Both axes are linear, and no observational error bars are drawn. Because the B values are unequal, that supplied pair cannot satisfy one fixed-reference-curvature FLRW relation. K_test is a candidate for a fixed reference Ω_k, not the instantaneous Ω_k(z), which can vary in an FLRW history. The expression is excluded at z = 0, where it is 0/0. These inputs and samples are hypothetical, not observations or a significance estimate. Constancy is a necessary condition and does not prove every FLRW assumption; a failure with real inputs would require independent calibration, uncertainty, covariance and input-assumption checks and would not identify a unique physical cause. Original Ark teaching model.
05

Avoid building the answer into the inputs

If H(z) is reconstructed by forcing the same distance relation that is then tested, agreement may be built in by construction. A useful test needs inputs whose inference does not silently assume the very condition under examination.

Distances and rates also carry calibration, selection, evolution and covariance assumptions. Numerical derivatives can amplify noise, and the same data may contribute to several inferred quantities. Their uncertainties and correlations must be propagated through the test.

Foregrounds, peculiar motions, inhomogeneous structure along sightlines and modeling choices can affect the connection between observations and an ideal smooth background. A discrepancy must be assessed against those alternatives before a failure of a fundamental geometric assumption is claimed.

A defensible report names the distance definition, reference epoch, rate estimator, derivative method, shared inputs and statistical comparison. The synthetic example shows what would be checked mathematically; it supplies neither a real significance level nor a unique diagnosis of an observed discrepancy.

Worked reasoning

Test constancy with two supplied redshifts

For pair B, compare the reference-curvature candidates at z = 1 and z = 2.

  1. At z = 1, insert E = 1.1, d = 1 and d′ = 1: K_test = (1.21 − 1)/1 = 0.21.
  2. At z = 2, insert E = 1.2, d = 2 and d′ = 1: K_test = (1.44 − 1)/4 = 0.11.
  3. The unequal exact candidates fail the necessary constancy condition for this supplied pair; no observed significance or unique physical cause has been established.

The values are 0.21 and 0.11, so pair B does not satisfy one fixed reference Ω_k.

Try the reasoning

  1. Does K_test = 0 at every tested point prove global homogeneity and topology?

    Show the answer and reasoning

    No.

    It is one necessary consistency condition, not a sufficient proof of every geometric and observational assumption.

  2. Would H(z) obtained by imposing this same distance relation provide an independent test of that relation?

    Show the answer and reasoning

    No.

    The tested condition would already be built into the rate inference.

  3. Is K_test intended to equal the evolving instantaneous Ω_k(z)?

    Show the answer and reasoning

    No. It returns a candidate for a fixed reference Ω_k,ref.

    Instantaneous Ω_k(z) can vary in an FLRW history even when this test gives the same reference value at every redshift.

What to carry forward

  • Geometric consistency tests compare jointly predicted relationships with carefully inferred inputs.
  • The supplied test must return one fixed reference curvature parameter under FLRW.
  • Exact synthetic failures are distinct from observational discrepancies, uncertainty assessments and physical explanations.

References

Sources supporting the explanations, physical distinctions and examples in this lesson.

  1. Inhomogeneity and the foundations of concordance cosmologyChris Clarkson; Roy MaartensResearch paperarxiv.orgRead source
  2. Distance measures in cosmologyDavid W. HoggResearch paper · PDFned.ipac.caltech.eduRead source
  3. A general test of the Copernican PrincipleChris Clarkson; Bruce A. Bassett; Teresa Hui-Ching LuResearch paperarxiv.orgRead source