{"id":"be61fd98-94f1-49bf-ac88-71cb6bb2b38c","arxiv_id":"2501.15086","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"Using strong lensing and Pantheon+ supernovae, the CDDR violation parameter eta0 is consistent with zero in both flat and non-flat FLRW universes.","lead":"Using 102 strong gravitational lenses and 1701 Pantheon+ Type Ia supernovae, this paper tests whether the cosmic distance duality relation (CDDR) holds without assuming a specific cosmology. It finds the data are consistent with CDDR in both flat and non-flat universes, with the deviation parameter eta0 within about 1 sigma of zero.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The CDDR null result is not model-independent: the distance function d(z) is jointly fitted with η0 to the same SNe data, so a true violation can be absorbed into the free polynomial coefficients unless the SGL data alone break the degeneracy.","rationale":"The paper is a careful single-author measurement with genuine strengths: it uses the full Pantheon+ covariance matrix, applies physically motivated SGL selection cuts, and marginalizes over the fE systematic. The central null result is plausible and consistent with earlier work. However, the 'model-independent' framing is the weakest point, and the reader correctly identified the cubic ansatz and joint fitting as the source of risk. My stress-test sharpens this: the problem is not only truncation error in the cubic, but a degeneracy between η0 and the polynomial coefficients that operates even if the cubic were exact. The SNe data constrain the product (1+η0 z)d(z), so without an external, SGL-only determination of d(z), the fitted polynomial can partially mimic or hide a CDDR violation. The reported uncertainties on a1 and η0 are comparable, which suggests the degeneracy is not fully broken by the SGL data alone. A mock-injection test would settle whether the pipeline is biased; until that is done, the claim of a model-independent null result should be regarded as conditional on the assumed parametric form. I therefore keep the reader's CONDITIONAL verdict unchanged rather than hardening it, because the concern is addressable and the data do support a null result under the stated assumptions.","tokens_in":10492,"tokens_out":12871,"duration_ms":127964,"concrete_test":"Generate ~1000 mock realizations of the 102 SGL systems and the Pantheon+ distance moduli from a fiducial flat ΛCDM d(z) with an injected η0=0.10 and the same noise model (θE 5%, σ0 from the catalog, Pantheon+ covariance). Run the paper's joint MCMC pipeline on each realization. If the median recovered η0 is biased toward zero by more than ~0.02 (≈1/3 of the quoted 1σ error), the joint fit cannot distinguish a real violation from a change in d(z), and the CDDR null result is not model-independent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is that the coefficients a1,a2 in the cubic comoving-distance ansatz d(z)=z+a1 z^2+a2 z^3 (Eq. 10) are pinned down by the SGL data independently of the CDDR test. In practice, the joint likelihood (Eq. 18) fits a1,a2, η0, ΩK, fE, and M simultaneously to both the SGL distance ratios (Eq. 15) and the Pantheon+ magnitudes (Eq. 17). Because the SNe likelihood only constrains the product (1+η0 z)d(z), a nonzero η0 is partially degenerate with a1,a2: to leading order, the SNe see (a1+η0) and (a2+a1η0). The SGL sample (102 systems) must therefore independently nail a1,a2 tightly enough to separate η0. The paper reports no SGL-only fit, no truncation-error estimate for the cubic, and no non-parametric cross-check, so it is unknown whether a genuine CDDR violation would be absorbed into d(z). This is not an attack on the null result, but on the claimed model-independence: the test may be biased toward η0=0.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper tests the cosmic distance duality relation (CDDR) by combining 102 strong gravitational lensing (SGL) systems from Chen et al. (2019) with the Pantheon+ type Ia supernova sample. The lensing data are used, through the distance sum rule in FLRW geometry, to build a dimensionless comoving distance function d(z) modeled as a cubic polynomial d(z)=z+a1 z^2+a2 z^3, and the supernova data are used to constrain the CDDR violation parameter η(z) for two parametrizations, in both flat and non-flat universes. The main results are η0=−0.0051+0.0677/−0.0621 (flat, linear), η0=−0.0330+0.0749/−0.0702 (non-flat, linear, as listed in Table 1), and consistent-with-zero values for the non-linear parametrization. The author concludes that CDDR holds to very high confidence out to z∼2.3.","tokens_in":10818,"tokens_out":4694,"duration_ms":42481,"significance":"If the claimed model-independence were fully established, this would be a valuable addition to the CDDR literature: it uses the largest current SGL and SNe samples, avoids redshift-coincidence binning by constructing a continuous d(z), and extends the test to non-flat geometries with the distance sum rule. The central null result is plausible because the posterior intervals on η0 are broad. However, the 'model-independent' and 'very high level of confidence' claims are not supported by the analysis as presented, because the polynomial coefficients are fitted jointly with η0 to the same SNe data and no truncation-error or SGL-only analysis is provided. The paper openly mentions the lens-mass-model limitation but does not address the more serious parametric degeneracy, which is the main barrier to the advertised conclusions.","major_comments":[{"comment":"The SNe likelihood (Eq. 17) constrains the distance modulus through the product (1+η0 z)d(z) (Eq. 12). With d(z)=z+a1 z^2+a2 z^3, a nonzero η0 is partially degenerate with the polynomial coefficients: at leading order the SNe data constrain combinations such as a1+η0 and a2+a1 η0. Because a1 and a2 are free parameters in the same joint likelihood (Eq. 18), the separation of η0 from d(z) relies entirely on the SGL data via Eq. (15). The paper does not report SGL-only constraints on a1 and a2, nor any demonstration that 102 lensing systems alone pin these coefficients tightly enough to prevent a genuine CDDR violation from being absorbed into d(z). This is a load-bearing gap for the claim that the test is model-independent and that the result is at 'very high level of confidence'.","section":"Section 3, Eqs. (15), (17), (18)"},{"comment":"The cubic ansatz d(z)=z+a1 z^2+a2 z^3 is an ad hoc functional form, and the paper provides no estimate of its truncation error nor any comparison with non-parametric reconstructions (e.g., Gaussian processes) or higher-order polynomials. If the true d(z) bends differently in the redshift range z∼0.1–2.3, the inferred η0 and ΩK could be biased. The authors should either justify the cubic form quantitatively or show that the conclusions are robust to the choice of parametrization; without this, the 'model-independent' claim is not fully supported.","section":"Section 2.2, Eq. (10)"},{"comment":"There is an inconsistency between the text and Table 1 for the non-flat linear case: Section 4 states η0=0.033+0.0749−0.0702, while Table 1 lists η0=−0.0330+0.0749−0.0702 for the same row. The authors should correct the sign typo and ensure that all quoted values match the table entries.","section":"Section 4, Table 1"}],"minor_comments":[{"comment":"The theoretical distance ratio Dth in Eq. (15) depends on ΩK through the distance sum rule (Eq. 9), but the parameter list in Eq. (15) is written as (a1,a2) only; ΩK should be included explicitly in that expression for the non-flat fits.","section":"Section 3, Eq. (15)"},{"comment":"The MCMC analysis is described only as using emcee; the priors, number of walkers, chain length, and convergence checks are not reported. These details are needed for reproducibility and to judge the robustness of the marginalized uncertainties.","section":"Section 3, Sec. 3"},{"comment":"The abstract says 'the only a priori assumption is that the Universe is described by the FLRW metric,' but the cubic polynomial form for d(z) is also an a priori assumption. The wording should distinguish between a dynamical background model (which is indeed avoided) and the kinematic parametrization of d(z).","section":"Abstract and Section 2"},{"comment":"There are several typos and formatting issues, e.g., 'Friedmann-Lemaˆitre-Robertson-Walker' missing a closing parenthesis in the abstract and 'catlog' instead of 'catalog' in Section 3. These should be cleaned up.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's central empirical result (η0 consistent with zero) is likely robust simply because the uncertainties are broad, but the advertised 'model-independent' and 'very high confidence' conclusions are not yet justified. The degeneracy between η0 and the polynomial coefficients a1,a2 is the key issue; it can be addressed with an SGL-only fit and a robustness check of the cubic ansatz. This is fixable within the scope of the manuscript, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Savita Gahlaut's paper is a workmanlike test of the cosmic distance duality relation using the Chen et al. (2019) SGL catalog and the Pantheon+ SNe sample. The new bit is combining the non-flat distance sum rule with the updated Pantheon+ covariance matrix; the specific eta0 constraints for z<2.3 are new numbers, though the method is an incremental extension of Rasanen et al. (2015), Liao et al. (2016), and Lyu et al. (2020).\n\nThe paper does several things right. The selection of 102 SIS-compatible lenses is defensible, the use of the full Pantheon+ covariance matrix is an improvement over older SNe analyses, and the non-flat extension via eq. (9) is correctly set up. The MCMC analysis is standard and the reported posteriors look plausible. The central result, eta0 consistent with zero, is in line with the existing literature, so I trust the qualitative conclusion that current data show no CDDR violation.\n\nThe soft spots are real, and they concern the title as much as the content. The distance function d(z) is not fixed by SGL alone. While chi^2_1 in eq. (15) fits a1,a2 only to the lensing distance ratios, the combined likelihood in eq. (18) fits a1,a2, eta0, Omega_K, fE, and M simultaneously to both datasets. Since the SNe terms depend on (1+eta0 z)d(z), a nonzero eta0 can be partially absorbed into a1 and a2. The paper does not report an SGL-only fit, nor a truncation-error estimate for the cubic ansatz, nor a comparison with a non-parametric reconstruction. Without those, the claim that the test is 'model-independent' is overstrong, and I cannot rule out that a true violation would be partly degenerated with the polynomial coefficients. The uncertainty on eta0 is also not 'very high confidence' territory: ±0.06 on a parameter consistent with zero is a modest constraint, not a sharp test.\n\nThe non-linear parametrization result has the same issue. The paper also has a few typos and the abstract sentence is missing a period, but that is cosmetic.\n\nOverall, this is a solid measurement paper with an overclaimed framing. It belongs in the literature as a consistency test, but the referee should ask for an SGL-only fit and a sensitivity analysis on the polynomial order. The null result is probably robust, but the precision is not as good as the prose suggests.\n\nI would send it to peer review, with a request for those diagnostics.","headline":"A competent CDDR test with Pantheon+ and SGL, but the 'model-independent' framing is weakened by the joint fit; the null result is believable but not as precise as claimed.","tokens_in":11327,"tokens_out":3233,"would_cite":false,"duration_ms":30284,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper tests the cosmic distance duality relation without fixing the expansion history, and finds its violation parameter consistent with zero out to redshift about 2.3.","keywords":["cosmic distance duality relation","Etherington reciprocity relation","strong gravitational lensing","Pantheon+ supernovae","dimensionless comoving distance","distance sum rule","FLRW metric","model-independent cosmology"],"falsifier":"Add a quartic term $a_3 z^4$ to the distance function in equation (10), rerun the same MCMC on the same 102 lens systems and Pantheon+ sample, and compare the recovered $\\eta_0$; if the best fit shifts by more than its 68 percent uncertainty, the cubic ansatz, not the data, is carrying the CDDR result.","tokens_in":10301,"feed_emoji":"🔭","tokens_out":11150,"duration_ms":96975,"temperature":0.7,"pith_summary":"This paper tests the cosmic distance duality relation (CDDR), the theorem $\\eta(z)=D_L(z)/[D_A(z)(1+z)^2]=1$ that any Riemannian, photon-number-conserving spacetime must satisfy, using 102 strong gravitational lens systems and the Pantheon+ Type Ia supernova sample. It does this without fixing a background cosmological model: the FLRW metric is assumed, and a dimensionless comoving distance function $d(z)$ is reconstructed from lensing via the distance sum rule, with SNe supplying luminosity distances at the same redshifts. The central result is that the violation parameter is consistent with zero: $\\eta_0=-0.0051^{+0.0677}_{-0.0621}$ in flat space and $\\eta_0=-0.0330^{+0.0749}_{-0.0702}$ in non-flat space for the linear parametrization, with the nonlinear parametrization also showing no significant deviation. The paper concludes that CDDR is valid out to $z\\approx2.3$, a regime where many cosmological analyses silently assume it. This matters because an established model-independent confirmation protects distance measurements from hidden new-physics or systematic-error contamination.","feed_headline":"Cosmic distance-duality law holds to redshift 2.3","feed_subtitle":"A lensing-and-supernova fit finds the CDDR violation parameter consistent with zero, without assuming an expansion history.","key_machinery":"The carrying identity is the distance sum rule for FLRW null geodesics, $d_{ls}=d_s\\sqrt{1+\\Omega_K d_l^2}-d_l\\sqrt{1+\\Omega_K d_s^2}$, which converts the observed strong-lensing ratio $D(z_l,z_s)=d_{ls}/d_s$ into constraints on a continuous dimensionless comoving distance $d(z)$. The paper parametrizes $d(z)=z+a_1z^2+a_2z^3$ (the cubic polynomial ansatz), fits its coefficients together with $\\eta_0$, $\\Omega_K$, the SIS velocity-dispersion factor $f_E$, and the supernova absolute-magnitude nuisance parameter $M$, and then reads off whether $\\eta(z)$ deviates from 1. The distance sum rule is what allows the two distance measures to be compared at the same redshift without ever choosing $H(z)$.","core_discovery":"The paper's central claim is that the CDDR violation function $\\eta(z)$ stays consistent with 1 when the dimensionless comoving distance $d(z)$ is built from strong-lensing data rather than from any cosmological model. With $d(z)=z+a_1z^2+a_2z^3$ fitted to the SGL distance ratios through the distance sum rule, and with the Pantheon+ covariance matrix used for SNe, the joint MCMC gives $\\eta_0=-0.0051^{+0.0677}_{-0.0621}$ (flat, linear), $\\eta_0=-0.0330^{+0.0749}_{-0.0702}$ (non-flat, linear), and correspondingly non-significant deviations for $\\eta(z)=1+\\eta_0 z/(1+z)$. The paper argues this establishes CDDR at high confidence in flat space and within $1\\sigma$ in curved space, with $\\eta_0$ only mildly dependent on $\\Omega_K$, and extends the validity of the duality relation out to $z\\approx2.3$.","pith_inferences":["An external reader would predict that replacing the cubic ansatz with a non-parametric $d(z)$ reconstruction, using the same distance sum rule and the same two catalogs, would be the decisive robustness test; a stable $\\eta_0\\approx0$ there would make the zero result geometric rather than functional.","The distance-sum-rule pipeline could be inverted to forecast how many additional SGL systems with $z_s\\gtrsim1.5$ would be needed to detect a violation at the $|\\eta_0|\\approx0.02$ level, a sensitivity useful for photon-nonconservation and modified-propagation scenarios.","High-redshift quasars and gravitational-wave standard sirens are future probes the paper itself names; applying the same model-independent estimator to those data would extend the CDDR test beyond $z\\approx2.3$ toward the last scattering surface."],"forward_implications":["The flat-space bound on $\\eta_0$ is tighter than earlier SGL plus SNe combinations, so future distance measurements can safely adopt CDDR as a prior out to $z\\approx2.3$.","The non-flat fit returns a curvature parameter consistent with zero as well, showing the CDDR result is not an artifact of assuming flatness.","The agreement persists for both linear and nonlinear $\\eta(z)$ parametrizations, so the conclusion is not tied to one functional form for the violation.","A weak residual correlation between $\\eta_0$ and $\\Omega_K$ remains, so future CDDR tests should continue to fit curvature and duality violation jointly."],"supporting_citations":[{"why":"Defines the reciprocity relation whose validity the paper tests.","marker":"Etherington 1933"},{"why":"Derives the distance sum rule used to build the continuous distance function from lensing data.","marker":"Räsänen et al. 2015"},{"why":"Provides the compiled catalog of 161 SGL systems from which the 102-system sample is selected.","marker":"Chen et al. 2019"},{"why":"Releases the Pantheon+ SNe data and covariance matrix used for the luminosity-distance side.","marker":"Scolnic et al. 2022"},{"why":"Exemplifies an earlier SGL plus SNe CDDR test with looser constraints, providing a comparison in Table 2.","marker":"Liao et al. 2016"},{"why":"Reports a prior SGL plus SNe result in moderate tension with CDDR; the present analysis attributes that to data and lens-selection choices.","marker":"Lyu et al. 2020"},{"why":"Supports treating $f_E$ as a free parameter in the SIS velocity-dispersion relation.","marker":"Gahlaut 2024"},{"why":"Supplies the emcee MCMC sampler used to compute all quoted posteriors.","marker":"Foreman-Mackey et al. 2013"}],"fun_headline_variants":["Model-free test confirms cosmic distance duality","No cosmology needed: distance duality survives","Lensing + SNe: distance duality holds to z=2.3","CDDR passes model-independent probe at high confidence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the true dimensionless comoving distance out to $z\\approx2.3$ is exactly the cubic formula $d(z)=z+a_1z^2+a_2z^3$ with only two free coefficients; if the real distance-redshift curve bends differently, the fitted $\\eta_0$ and curvature parameter will absorb that shape error and the zero result would not be a genuine test of the duality relation.","fun_headline_variants_meta":{"raw":{"variants":["Model-free test confirms cosmic distance duality","No cosmology needed: distance duality survives","Lensing + SNe: distance duality holds to z=2.3","CDDR passes model-independent probe at high confidence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000123,"raw_usage":{"total_tokens":1117,"prompt_tokens":981,"completion_tokens":136,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":597,"completion_tokens_details":{"reasoning_tokens":75}},"tokens_in":597,"tokens_out":136,"duration_ms":2235,"temperature":1.0,"reasoning_tokens":75,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T14:38:33.486355+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Add a quartic term $a_3 z^4$ to the distance function in equation (10), rerun the same MCMC on the same 102 lens systems and Pantheon+ sample, and compare the recovered $\\eta_0$; if the best fit shifts by more than its 68 percent uncertainty, the cubic ansatz, not the data, is carrying the CDDR result.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the compiled catalog of 161 SGL systems from which the 102-system sample is selected."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Releases the Pantheon+ SNe data and covariance matrix used for the luminosity-distance side."},{"cited_title":"Z., Li Z","cited_arxiv_id":null,"evidence_quote":"Reports a prior SGL plus SNe result in moderate tension with CDDR; the present analysis attributes that to data and lens-selection choices."},{"cited_title":"W., Lang D","cited_arxiv_id":null,"evidence_quote":"Supplies the emcee MCMC sampler used to compute all quoted posteriors."}],"review_version":1}