Recognition: 2 theorem links
· Lean TheoremObservational Tests for Distinguishing Classes of Cosmological Models
Pith reviewed 2026-05-10 17:54 UTC · model grok-4.3
The pith
Curvature-consistency tests distinguish cosmological models by showing whether violations arise from non-FLRW optical properties or from non-FLRW large-scale expansion.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We investigate observational tests that can be used to distinguish between broad classes of cosmological models. This is achieved using curvature-consistency tests of the Friedmann-Lemaître-Robertson-Walker (FLRW) models, which we investigate in two scenarios where they can be violated: (i) when the optical properties of the cosmology deviate from the expectations of FLRW, and also (ii) when the large-scale expansion of the cosmology is different from FLRW. We identify useful ways to determine the properties of these alternative scenarios in terms of the violation of the curvature-consistency tests, and propose a new null test that can be used to isolate cosmologies with non-FLRW relations.
What carries the argument
Curvature-consistency tests of FLRW models, which verify expected geometric relations in standard cosmologies, together with a new null test that isolates cosmologies whose observational relations do not match FLRW expectations.
If this is right
- Specific patterns of curvature-consistency violations can indicate whether a given model deviates in its optical properties or in its large-scale expansion.
- The new null test isolates models with non-FLRW observational relations without requiring assumptions about the form of the deviation.
- Characteristic signatures from these tests allow large classes of models proposed for cosmological tensions and the dark sector to be probed or ruled out together.
- Recent and upcoming precision observations can be combined with these tests to discriminate efficiently between different cosmological proposals.
Where Pith is reading between the lines
- The approach supplies a model-independent consistency check that could be applied to existing supernova and baryon-acoustic-oscillation catalogs to place preliminary limits on inhomogeneous cosmologies.
- Combining the null test with measurements of the Hubble tension offers one route to deciding whether that tension originates in altered optics or altered expansion.
- Large-scale surveys with improved sky coverage could turn the distinction between the two deviation classes into a decisive observational result.
Load-bearing premise
Future cosmological observations will have the precision, sky coverage, and systematic control needed to detect and interpret violations of curvature-consistency relations at a level that distinguishes the two classes of deviations.
What would settle it
A high-precision data set in which the pattern of curvature-consistency violations cannot be assigned to either optical-property deviations or large-scale-expansion deviations, or in which no violations appear despite sensitivity sufficient to have revealed them in either class of alternative model.
read the original abstract
We investigate observational tests that can be used to distinguish between broad classes of cosmological models. This is achieved using curvature-consistency tests of the Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) models, which we investigate in two scenarios where they can be violated; (i) when the optical properties of the cosmology deviate from the expectations of FLRW, and also (ii) when the large-scale expansion of the cosmology is different from FLRW. We identify useful ways to determine the properties of these alternative scenarios in terms of the violation of the curvature-consistency tests, and propose a new null test that can be used to isolate cosmologies with non-FLRW observational relations. The characteristic signatures we find can be used, together with the results of recent and upcoming cosmological observations, to probe and/or rule out large classes of cosmological models. This becomes an increasingly important task as the number of proposals in the literature increases, as cosmologists attempt to explain tensions, anomalies, and the dark sector of the Universe. Our approach provides a clear route for telling apart these different proposals, and offers a new opportunity for using precision cosmological data to efficiently discriminate between cosmological models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates observational tests based on curvature-consistency relations for FLRW models to distinguish two broad classes of deviations: (i) those arising from non-FLRW optical properties and (ii) those from non-FLRW large-scale expansion. It derives characteristic signatures of violations in each case, identifies ways to extract model properties from such violations, and proposes a new null test to isolate cosmologies with non-FLRW observational relations. The approach is positioned as a tool for discriminating among the growing number of alternative models proposed to address cosmological tensions using precision data.
Significance. If the derivations hold, the work offers a systematic, observationally grounded framework for ruling out large classes of models without relying on specific parameter fits. The provision of explicit relations showing distinct signatures for the two deviation classes, together with the new null test, constitutes a clear strength for falsifiability and model selection in cosmology.
major comments (1)
- The central derivations of the curvature-consistency violations and the new null test are presented conceptually in the abstract and early sections, but the manuscript would benefit from at least one worked numerical example (with mock data or error budgets) to demonstrate how the signatures separate the two classes at the precision of forthcoming surveys.
minor comments (3)
- The abstract is dense and would be clearer if the two deviation classes were labeled consistently (e.g., 'optical-deviation class' and 'expansion-deviation class') throughout.
- A short table summarizing the expected violation patterns for each class (sign of curvature inconsistency, dependence on redshift, etc.) would improve readability.
- The discussion of future observational requirements (precision, sky coverage, systematics) in the final section is qualitative; adding order-of-magnitude estimates for the required accuracy would strengthen the claim.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for the constructive suggestion. We address the major comment below and agree that the addition will improve clarity.
read point-by-point responses
-
Referee: The central derivations of the curvature-consistency violations and the new null test are presented conceptually in the abstract and early sections, but the manuscript would benefit from at least one worked numerical example (with mock data or error budgets) to demonstrate how the signatures separate the two classes at the precision of forthcoming surveys.
Authors: We agree that a concrete numerical illustration would help readers see how the distinct violation signatures separate the two classes in practice. In the revised version we will add a new subsection containing a worked example that uses mock distance and expansion-rate data generated from representative non-FLRW optical and non-FLRW expansion models. The example will incorporate realistic error budgets and covariance structures appropriate for Stage-IV surveys (e.g., Euclid, LSST, DESI) and will explicitly show how the curvature-consistency relations are violated differently in each case, thereby demonstrating the discriminatory power of the proposed null test at the precision levels expected in the near future. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper constructs curvature-consistency tests and a new null test by extending standard FLRW observational relations to two deviation classes (optical properties and large-scale expansion). These derivations rely on direct comparisons of distance-redshift and expansion relations against FLRW baselines, without any reduction to fitted parameters renamed as predictions, self-definitional loops, or load-bearing self-citations. The central claim of distinguishable signatures follows from the explicit relations supplied, remaining independent of the inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption FLRW models possess specific curvature-consistency relations that can be tested with observational data.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinctionreality_from_one_distinction unclearO ≡ H²(D')² − 1/D²; C ≡ 1 + H²D D'' − H²(D')² + H H' D D'; A ≡ C/D² + O = H² D''/D + H H' D'/D
Forward citations
Cited by 2 Pith papers
-
First observational constraints on cosmic backreaction over an extended redshift range
First direct constraints on total cosmic backreaction over a significant redshift range are consistent with vanishing backreaction within 1 sigma but are too weak to exclude meaningful backreaction.
-
Backreaction and the Role of Spatial Curvature in the Cosmic Neighborhood
Average spatial curvature contributes about 10% to the local cosmic energy budget on scales up to 300 Mpc/h while kinematical backreaction stays below 1% on the smallest scales, with no convergence to the global Lambd...
Reference graph
Works this paper leans on
-
[1]
Amendola and S
L. Amendola and S. Tsujikawa,Dark energy: theory and observations(Cambridge University Press, 2010)
2010
-
[2]
Di Valentino, arXiv preprint arXiv:2601.01525 (2026)
E. Di Valentino, arXiv preprint arXiv:2601.01525 (2026)
-
[3]
N. Sch¨ oneberg, G. Franco Abell´ an, A. P´ erez S´ anchez, S. J. Witte, V. Poulin, and J. Lesgourgues, Phys. Rept. 984, 1 (2022), arXiv:2107.10291 [astro-ph.CO]
- [4]
-
[5]
E. Di Valentinoet al.(CosmoVerse Network), Phys. Dark Univ.49, 101965 (2025), arXiv:2504.01669 [astro- ph.CO]
-
[6]
C. Clarkson, B. Bassett, and T. H.-C. Lu, Phys. Rev. Lett.101, 011301 (2008), arXiv:0712.3457 [astro-ph]
-
[7]
S. R¨ as¨ anen, K. Bolejko, and A. Finoguenov, Phys. Rev. Lett.115, 101301 (2015), arXiv:1412.4976 [astro-ph.CO]
-
[8]
A. Shafieloo and C. Clarkson, Physical Review D 81(2010), 10.1103/physrevd.81.083537, arXiv:0911.4858 [astro-ph.CO]
-
[9]
F. Montanari and S. Rasanen, JCAP11, 032 (2017), arXiv:1709.06022 [astro-ph.CO]
-
[10]
C. Bengaly, Phys. Dark Univ.35, 100966 (2022), arXiv:2111.06869 [gr-qc]
- [11]
- [12]
-
[13]
C. Millard, B. L’Huillier, and M. Douspis, (2026), arXiv:2601.20293 [astro-ph.CO]
-
[14]
S. M. Koksbang and A. Heinesen, (2026), arXiv:2604.05836 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[15]
S. M. Koksbang and A. Heinesen, (2026), arXiv:2604.05822 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[16]
D. Camarena, K. Greene, J. Houghteling, and F.- Y. Cyr-Racine, Phys. Rev. D112, 083526 (2025), arXiv:2507.17969 [astro-ph.CO]
-
[17]
E. Abdallaet al., JHEAp34, 49 (2022), arXiv:2203.06142 [astro-ph.CO]
work page internal anchor Pith review arXiv 2022
-
[18]
Y. B. Zel’dovich, Sov. Astron.8, 13 (1964)
1964
-
[19]
V. M. Dashevskii and V. I. Slysh, Sov. Astron.9, 671 (1966)
1966
-
[20]
C. C. Dyer and R. C. Roeder, Astrophys. J. Lett.174, L115 (1972)
1972
-
[21]
C. C. Dyer and R. C. Roeder, Astrophys. J. Lett.180, L31 (1973)
1973
-
[22]
G. F. R. Ellis and W. Stoeger, Class. Quant. Grav.4, 1697 (1987)
1987
-
[23]
T. Buchert and S. R¨ as¨ anen, Annu. Rev. Nucl. Part. Sci. 62, 57 (2012), [arXiv:1112.5335]
-
[24]
A. Heinesen and T. Buchert, Class. Quant. Grav.37, 164001 (2020), [Erratum: Class.Quant.Grav. 37, 229601 (2020)], arXiv:2002.10831 [gr-qc]
-
[25]
T. Clifton and N. Hyatt, JCAP08, 052 (2024), arXiv:2404.08586 [astro-ph.CO]
- [26]
-
[27]
Dyer and R
C. Dyer and R. Roeder, Astrophysical Journal, vol. 180, p. L31180, L31 (1973)
1973
-
[28]
Fleury, JCAP06, 054 (2014), arXiv:1402.3123 [astro- ph.CO]
P. Fleury, JCAP06, 054 (2014), arXiv:1402.3123 [astro- ph.CO]
- [29]
- [30]
-
[31]
T. Buchert, P. Mourier, and X. Roy, Gen. Rel. Grav.52, 27 (2020), arXiv:1912.04213 [gr-qc]
-
[32]
R¨ as¨ anen, JCAP02, 011 (2009), arXiv:0812.2872 [astro-ph]
S. R¨ as¨ anen, JCAP02, 011 (2009), arXiv:0812.2872 [astro-ph]
-
[33]
Koksbang, Journal of Cosmology and Astroparticle Physics2019, 036 (2019)
S. Koksbang, Journal of Cosmology and Astroparticle Physics2019, 036 (2019)
2019
- [34]
-
[35]
Qiu, Y.-F
T. Qiu, Y.-F. Cai, and X. Zhang, Modern Physics Letters A23, 2787 (2008)
2008
-
[36]
J. Larena, J.-M. Alimi, T. Buchert, M. Kunz, and C. P.- S., Phys. Rev. D.79, 083011 (2009), [arXiv:0808.1161]. Appendix: Bounds On Distances And Their Derivatives In The Dyer-Roeder Approach Consider the functionW c and its derivative Wc ≡ d dA|α=c dA dλ = ddA|α=c dλ dA − ddA dλ dA|α=c (29) dWc dλ = d2dA|α=c dλ2 dA − d2dA dλ2 dA|α=c ( ≥0 ifc= 0 ≤0 ifc= 1 ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.