arxiv: 2605.02428 · v1 · submitted 2026-05-04 · 🌌 astro-ph.CO

Recognition: 3 theorem links

· Lean Theorem

Investigating cosmic distance duality and dark energy evolution through intermediate and high-z probes

Anna Chiara Alfano

Authors on Pith no claims yet

Pith reviewed 2026-05-08 18:47 UTC · model grok-4.3

classification 🌌 astro-ph.CO

keywords cosmic distance dualityHubble tensiondark energygamma-ray burstsDESIsupernovaecosmological curvature

0 comments

The pith

Current cosmological data show no significant violation of the cosmic distance duality relation and favor flat universe models.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper tests for deviations from the cosmic distance duality relation, which links luminosity and angular diameter distances, using five different mathematical parameterizations on combined datasets from Hubble observations, galaxy clusters, type Ia supernovae, DESI baryon acoustic oscillations, and gamma-ray bursts. Through statistical analyses, it concludes that there is no evidence for a violation of this relation. The results also indicate that model selection criteria prefer spatially flat cosmologies, though a small amount of curvature cannot be excluded. Additionally, the work examines the Hubble constant tension, finding dataset-dependent preferences for its value at the one-sigma level.

Core claim

Using multiple parameterizations for possible violations and fitting to observational data, the study finds no significant departure from the cosmic distance duality relation. Model selection favors flat scenarios even though slight curvature is not ruled out entirely. Supernovae data without DESI prefer a higher Hubble constant while Planck combined with DESI and gamma-ray bursts prefer a lower value.

What carries the argument

Five parameterizations (Taylor expansion, power-law, logarithmic, Padé polynomial, and Chebyshev) used to model potential deviations from the cosmic distance duality relation in a model-independent way.

If this is right

Distance measurements from different methods can be combined consistently if the duality holds.
Flat universe models receive more support from the data than curved alternatives.
The Hubble constant tension shows different preferences depending on whether DESI data are included.
Standard assumptions in combining luminosity and angular diameter distances remain viable across the probed redshift range.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Future surveys with tighter distance errors at high redshift could distinguish between zero deviation and very small effects.
Consistency of the duality supports using mixed probes like supernovae and clusters without additional correction terms for distance comparisons.
The dataset dependence in Hubble constant values suggests that adding independent high-redshift anchors might help resolve or clarify the tension.

Load-bearing premise

The selected mathematical forms for deviations are sufficiently general to reveal any actual breakdown of the duality if it exists in the data.

What would settle it

Detection of a statistically significant non-zero deviation parameter in any of the tested forms using independent high-precision distance measurements at intermediate or high redshifts.

read the original abstract

We investigate deviations from the cosmic distance duality relation adopting model-dependent and -independent approaches using i) a Taylor expansion, ii) a power-law parameterization, iii) a logarithmic correction, iv) a (2;1) Pad\'e polynomial and v) a second order Chebyshev parameterization. We derive constraints on all parameters using observational Hubble data, galaxy clusters, type Ia supernovae, DESI data and gamma-ray bursts. Through Monte-Carlo Markov chain analyses adopting the Metropolis Hastings algorithm, we find no significant violation of duality, then model selection criteria favor flat scenarios even though a slight curvature is not totally ruled out. For the $H_0$ tension we find a preference at $1$-$\sigma$ for $h^R_0=0.730\pm0.010$ from supernovae when dropping DESI data and for $h^P_0=0.674\pm 0.005$ from Planck when using DESI and gamma-ray bursts.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper updates duality tests with DESI and GRB data but its no-violation result depends on five smooth low-order forms catching any real deviation.

read the letter

The main thing to know is that the authors fit five standard parameterizations of possible deviations from the cosmic distance duality relation to a combination of Hubble data, galaxy clusters, supernovae, DESI, and gamma-ray bursts. They report the deviation coefficients consistent with zero and use model selection to favor flat scenarios, while also noting 1-sigma H0 preferences that shift depending on whether DESI is included or dropped. The H0 subset results give h^R_0 around 0.73 from supernovae without DESI and h^P_0 around 0.67 from Planck with DESI plus GRBs. What the paper does well is bring together a broad current dataset and run consistent MCMC analyses across the different forms, which lets them compare Taylor, power-law, logarithmic, Padé, and Chebyshev expansions directly. Adding the newer DESI and GRB points is a useful incremental step beyond earlier work. The soft spot is that all five forms are smooth and low-parametric, so a violation with a sharper redshift feature or different shape could remain hidden while still fitting the data. That assumption carries the central claim, and the H0 findings inherit the same modeling limits. The abstract is light on priors and cuts, but the overall MCMC setup with Metropolis-Hastings is appropriate for this kind of constraint exercise. This is the sort of paper that belongs in a data-focused cosmology journal. Readers who track duality tests or H0 tension updates will find the specific combined numbers and multi-probe comparison worth a look for reference, though it does not introduce new mechanisms or resolve open questions. It deserves peer review because the data handling is current and the question is well-posed, even if the conclusions stay modest. A referee could usefully press on whether additional forms or direct non-parametric checks would tighten the robustness.

Referee Report

2 major / 3 minor

Summary. The manuscript tests for deviations from the cosmic distance duality relation η(z) = D_L(z)/[(1+z)^2 D_A(z)] by adopting five explicit functional forms for possible violations (Taylor expansion, power-law, logarithmic correction, (2;1) Padé, and second-order Chebyshev). Constraints are obtained via Metropolis-Hastings MCMC on a joint dataset comprising observational Hubble data, galaxy clusters, Type Ia supernovae, DESI BAO measurements, and gamma-ray bursts. The authors report that all deviation parameters are consistent with zero at high significance, that information criteria favor spatially flat models (while not fully excluding mild curvature), and that subset analyses yield 1σ preferences for h^R_0 ≈ 0.730 from supernovae (without DESI) versus h^P_0 ≈ 0.674 from Planck+DESI+GRBs.

Significance. If the chosen parameterizations are representative, the work adds a multi-probe, high-redshift test of a fundamental relation used in all distance-based cosmology and provides a concrete illustration of how duality tests interact with H0 inferences. The systematic comparison of five distinct functional forms and the use of standard MCMC sampling constitute a clear methodological strength; the results would be more impactful if accompanied by explicit checks that the adopted forms span the space of plausible physical deviations.

major comments (2)

[methods and results sections on parameterizations] The central claim of 'no significant violation' rests on the five low-order, smooth parameterizations (Taylor, power-law, logarithmic, Padé, Chebyshev) being sufficiently general. No test is presented showing that a violation with qualitatively different redshift dependence (e.g., a step or oscillation near z~1) would produce detectable shifts in the posteriors given the combined data; this assumption is load-bearing for the no-violation conclusion.
[H0 tension discussion and associated tables] The reported 1σ H0 preferences (h^R_0 = 0.730±0.010 without DESI; h^P_0 = 0.674±0.005 with DESI+GRBs) are obtained while simultaneously fitting the duality deviation parameters. The text does not quantify how marginalizing over the deviation coefficients propagates into the H0 posteriors or whether the preferences remain when the duality relation is fixed to η=1.

minor comments (3)

[abstract] The transition sentence in the abstract ('we find no significant violation of duality, then model selection criteria favor flat scenarios') is grammatically awkward and should be rephrased for clarity.
[results on H0] Notation for the two Hubble constants (h^R_0 versus h^P_0) is introduced without an explicit definition in the main text; a short parenthetical or footnote would remove ambiguity.
[MCMC analysis description] The manuscript does not list the specific priors adopted for the deviation coefficients or the exact form of the likelihood covariance matrices; these details are standard for reproducibility in MCMC cosmology papers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments. We address each major comment below and outline the revisions we will make to the manuscript.

read point-by-point responses

Referee: The central claim of 'no significant violation' rests on the five low-order, smooth parameterizations (Taylor, power-law, logarithmic, Padé, Chebyshev) being sufficiently general. No test is presented showing that a violation with qualitatively different redshift dependence (e.g., a step or oscillation near z~1) would produce detectable shifts in the posteriors given the combined data; this assumption is load-bearing for the no-violation conclusion.

Authors: We acknowledge that the selected parameterizations are smooth and low-order, and that the manuscript does not explicitly demonstrate detectability for qualitatively different forms such as steps or oscillations. These forms were chosen because they are standard in the literature and capture a range of monotonic and mildly non-monotonic behaviors. In the revised manuscript we will add a dedicated paragraph in the methods section discussing this limitation and will perform one additional MCMC run using a simple step-function parameterization (constant deviation below and above z=1) to test whether the combined dataset can detect such a feature. The outcome will be reported in the results section. revision: yes
Referee: The reported 1σ H0 preferences (h^R_0 = 0.730±0.010 without DESI; h^P_0 = 0.674±0.005 with DESI+GRBs) are obtained while simultaneously fitting the duality deviation parameters. The text does not quantify how marginalizing over the deviation coefficients propagates into the H0 posteriors or whether the preferences remain when the duality relation is fixed to η=1.

Authors: We agree that the effect of marginalization over the duality parameters on the H0 posteriors should be quantified. In the revised version we will add a new table (or extended version of the existing H0 table) that directly compares the H0 constraints obtained when fixing η(z)=1 versus when allowing the deviation parameters to vary, for the same dataset combinations used in the original analysis. This comparison will be inserted into the H0-tension discussion. revision: yes

Circularity Check

0 steps flagged

No circularity: results follow from external data fits to chosen parameterizations

full rationale

The paper adopts five explicit functional forms for possible deviations from the distance duality relation and constrains their parameters via MCMC on independent observational datasets (Hubble, clusters, SNIa, DESI, GRBs). The conclusion of no significant violation is the direct output of those posteriors being consistent with zero; no step reduces a claimed prediction to a fitted input by construction, invokes self-citations as load-bearing uniqueness theorems, or renames known results. The analysis is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The analysis rests on standard cosmological assumptions plus several free parameters in each deviation model that are fitted to data.

free parameters (2)

deviation coefficients in Taylor, power-law, logarithmic, Padé, and Chebyshev forms
Fitted parameters that quantify possible departures from exact duality.
h^R_0 and h^P_0
Hubble constant values extracted from different data combinations.

axioms (2)

domain assumption The cosmic distance duality relation holds exactly in the absence of new physics or violations.
Starting point for testing deviations.
domain assumption The selected datasets (Hubble, clusters, SNe Ia, DESI, GRBs) are free of unaccounted systematics that could bias duality tests.
Required for interpreting the MCMC results as evidence against violation.

pith-pipeline@v0.9.0 · 5464 in / 1292 out tokens · 82906 ms · 2026-05-08T18:47:10.857248+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Foundation/AlphaCoordinateFixation.lean; Cost/FunctionalEquation.lean J_uniquely_calibrated_via_higher_derivative (RS forces a single cost J, not a family of phenomenological η(z) expansions) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We consider five parameterizations of η(z) to assess possible deviations from the CDD relation, specifically: i) a Taylor expansion ... ii) a power-law ... iii) a logarithmic ... iv) a Padé series of order (2;1) and v) a second order Chebyshev polynomial.
Foundation/RealityFromDistinction.lean (RealityCertificate bundles c, ℏ, G) reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

h_0 ... agrees with h^R_0 = 0.730±0.010 when DESI data are dropped ... agrees with h^P_0 = 0.674±0.005 when DR2-DESI and GRBs are considered.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 3 canonical work pages

[1]

Ellis, G.F.,Gen. Relativ. Gravit.,39, (2007)

2007
[2]

Poulin, V., Smith, T., Calder´ on, R., Simon, T.,arXiv e-prints, arXiv:2407.18292, (2024); Teixeira E., Giar` e W., Hogg N., Montandon T., Poudou A., Poulin V.,arXiv e-prints, arXiv:2504.10464, (2024)

work page arXiv 2024
[3]

Belfiglio A., Giamb` o R., Luongo O.,Class. Quant. Grav.,40, (2023)

2023
[4]

and Reverberi L.,PRD,94, (2016)

Dunsby P., Luongo O. and Reverberi L.,PRD,94, (2016)

2016
[5]

Luongo O., Quevedo H.,PRD,90, (2014)

2014
[6]

Luongo O.,Class. Quant. Grav.,42, (2025)

2025
[7]

DESI Collaboration,JCAP,2025, (2025); DESI Collaboration,Phys. Rev. D.,112, (2026)

2025
[8]

Dark Univ.,51, (2026)

Alfano A.C., Luongo O.,Phys. Dark Univ.,51, (2026)

2026
[9]

Alfano A.C., Cafaro C., Capozziello S., Luongo O., Muccino M.,JHEAp,46, (2026)

2026
[10]

Riess, A. G. et al.,ApJ,934, (2022)

2022
[11]

Planck Collaboration VI.,A& A,641, (2020)

2020
[12]

Avgoustidis A., Verde L., Jimenez R.,JCAP,6, (2009)

2009
[13]

Luongo O., Battista Pisani G., Troisi A.,arXiv e-prints, arXiv:1512.07076, (2015)

work page arXiv 2015
[14]

Luongo O.,Mod. Phys. Lett. A,28, (2013)

2013
[15]

Luongo O., Muccino M.,A&A,641, (2020)

2020
[16]

Luongo O., Quevedo H.,arXiv e-prints, arXiv:1211.0626, (2012)

work page arXiv 2012
[17]

Alfano A.C., Luongo O., Muccino M.,A&A,686, (2024)

2024
[18]

Uzan J.-P., Aghanim N., Mellier Y.,Phys. Rev. D., 70, (2004)

2004
[19]

Holanda R. F. L.,Int. J. Mod. Phys. D, 21, (2012)

2012