pith. sign in

arxiv: 2510.07637 · v2 · pith:VG3TAAZ6new · submitted 2025-10-09 · 🌌 astro-ph.CO · astro-ph.GA

Testing Lens Models of PLCK G165.7+67.0 Using Lensed SN H0pe

Aadya Agrawal , J. D. R. Pierel , Gautham Narayan , B. L. Frye , Jose M. Diego , Nikhil Garuda , Matthew Grayling , Anton M. Koekemoer
show 4 more authors
Kaisey S. Mandel M. Pascale David Vizgan Rogier A. Windhorst
This is my paper

Pith reviewed 2026-05-22 13:00 UTC · model grok-4.3

classification 🌌 astro-ph.CO astro-ph.GA
keywords lensed supernovalens modelingmagnification biastime-delay cosmographyHubble constantType Ia supernovagalaxy clusterPLCK G165.7+67.0
0
0 comments X

The pith

Lens models for cluster PLCK G165.7+67.0 overestimate magnification of supernova H0pe by more than 1 magnitude.

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

This paper tests seven lens modeling approaches for the galaxy cluster by using each model's magnification predictions together with the observed time delays of the multiply-imaged Type Ia supernova H0pe to reconstruct the supernova's intrinsic luminosity and distance modulus. These reconstructed values are compared against expectations from standard Type Ia behavior and Lambda CDM cosmology, taking photometric magnification estimates as an independent reference. The comparison shows that lens model predictions consistently overestimate the magnification by an offset exceeding 1 magnitude, even for the most precise models. A sympathetic reader would care because accurate magnification is essential for time-delay cosmography measurements of the Hubble constant, and any systematic bias can propagate into cosmological parameter uncertainties.

Core claim

By combining lens model predicted magnifications with observed time delays, the intrinsic SN Ia luminosity and corresponding distance modulus are reconstructed for each of the seven models. Photometrically derived magnifications produce distance moduli in line with Lambda CDM expectations, whereas lens model predictions consistently overestimate the magnification with an offset greater than 1 mag. This independently confirms a known bias and highlights the value of lensed SNe as a tool to test model accuracy.

What carries the argument

Reconstruction of the supernova's intrinsic distance modulus by combining each lens model's magnification prediction with the measured time delays between images.

If this is right

  • Lens models can be tested observationally using lensed Type Ia supernovae as standard candles combined with time-delay data.
  • Unaccounted magnification overestimates can introduce uncertainties into derived cosmological parameters including the Hubble constant.
  • Lensed supernovae provide an independent check on model accuracy beyond simulation-based validations.
  • Photometric magnification estimates serve as a more reliable reference in this system than the tested lens models.

Where Pith is reading between the lines

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

  • Similar overestimation biases may exist in lens models for other clusters used in time-delay cosmography studies.
  • Systematic application of this test to future lensed supernovae could help calibrate or correct magnification predictions across different modeling methods.
  • This approach might be adapted to validate lens models in clusters lacking a known lensed supernova by using other transient sources.
  • Accounting for the identified bias could tighten error budgets on Hubble constant measurements from strongly lensed transients.

Load-bearing premise

The analysis assumes that photometric magnification estimates accurately reflect the true magnification and that the supernova follows standard Type Ia luminosity behavior without unaccounted systematics in the time-delay data.

What would settle it

An independent measurement of the true magnification, such as through detailed stellar population synthesis of the host galaxy or additional strong-lensing constraints from other sources, that matches the lens model predictions instead of the photometric estimates.

read the original abstract

Supernova H0pe is a multiply-imaged Type Ia supernova (SN~Ia) and the second lensed SN to yield a measurement of the Hubble constant by the time-delay cosmography method, finding $H_0 = 75.4^{+8.1}_{-5.5} \text{km s}^{-1} \text{Mpc}^{-1}$ (Pascale et. al 2025). We investigate the seven lens modeling approaches used to derive $H_0$, assessing their agreement with $\Lambda \text{CDM}$ constraints from SN~Ia surveys through a purely observational comparison. \textbf{We test each lens model by combining its predicted magnifications with the observed time delays to reconstruct the intrinsic SN~Ia luminosity and corresponding distance modulus.} While photometrically derived magnifications yield distance moduli in line with $\Lambda \text{CDM}$ expectations, our comparison reveals that lens model predictions, even the most precise ones, \textbf{consistently overestimate the magnification, with an offset $> 1$~mag}. This known bias, already appreciated by modeling teams, is independently confirmed through our analysis and highlights the value of lensed SNe as a tool to test model accuracy. If unaccounted for, such magnification biases can propagate into uncertainties in derived cosmological parameters, including $H_0$, a critical challenge for precision cosmology using strongly lensed transients.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript tests seven lens models for the galaxy cluster PLCK G165.7+67.0 by using the multiply-imaged Type Ia supernova H0pe. For each model, predicted magnifications are combined with observed time delays to reconstruct the intrinsic SN Ia luminosity and distance modulus, which is then compared to ΛCDM expectations from SN Ia surveys. The central result is that photometrically derived magnifications produce distance moduli consistent with ΛCDM, whereas all lens-model predictions overestimate the magnification by more than 1 mag.

Significance. If the central claim holds after addressing the supporting details, the work would be significant for time-delay cosmography. It supplies an independent, purely observational check on magnification accuracy in lens models that were used to derive H0 = 75.4^{+8.1}_{-5.5} km s^{-1} Mpc^{-1}. Confirming a systematic overestimate could guide improvements in modeling and reduce propagation of magnification bias into cosmological parameters. The approach of treating observed time delays and photometric magnifications as external inputs (rather than quantities fitted inside the lens models) is a methodological strength.

major comments (2)
  1. Abstract and §3 (Methods): the claim that lens models 'consistently overestimate the magnification, with an offset >1 mag' is load-bearing for the paper's conclusion, yet no quantitative details are supplied on how the offset is computed, the per-model values, error bars, or the precise data-selection criteria used to reconstruct the distance moduli. Full numerical results and uncertainty propagation are required to evaluate whether the offset is statistically significant and robust.
  2. §4 (Results) and §5 (Discussion): the reconstruction treats photometrically derived magnifications as an accurate, independent reference for intrinsic luminosity. Potential systematics (differential dust extinction across images, microlensing not captured by macro models, or biases in light-curve standardization) could shift the photometric baseline and thereby produce the reported >1 mag offset without any error in the lens models themselves. A quantitative assessment of these systematics and their effect on the offset is needed before the discrepancy can be attributed to the lens models.
minor comments (2)
  1. Introduction: explicitly list the seven lens modeling approaches with their original references so readers can trace which models correspond to which magnification predictions.
  2. Figures: ensure all panels comparing distance moduli include error bars on both the photometric and lens-model reconstructions and clearly label each of the seven models.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed report. The comments identify areas where the manuscript would benefit from greater quantitative transparency and explicit treatment of systematics. We have revised the paper to address both major comments directly while preserving the core observational approach of using time delays and photometric magnifications as external inputs.

read point-by-point responses

  1. Referee: Abstract and §3 (Methods): the claim that lens models 'consistently overestimate the magnification, with an offset >1 mag' is load-bearing for the paper's conclusion, yet no quantitative details are supplied on how the offset is computed, the per-model values, error bars, or the precise data-selection criteria used to reconstruct the distance moduli. Full numerical results and uncertainty propagation are required to evaluate whether the offset is statistically significant and robust.

    Authors: We agree that the original presentation lacked sufficient numerical detail. In the revised manuscript we have expanded §3 to include a new table that reports, for each of the seven lens models: the model-predicted magnification for the selected images, the offset relative to the photometric magnification, the 1σ uncertainties on both quantities, and the explicit image-selection and time-delay criteria applied. We have also added a dedicated paragraph describing the uncertainty propagation, in which the distance-modulus variance is obtained by adding in quadrature the photometric-magnitude uncertainty, the time-delay measurement error, and the lens-model magnification uncertainty. These additions show that the >1 mag offset remains significant at >3σ for every model. revision: yes

  2. Referee: §4 (Results) and §5 (Discussion): the reconstruction treats photometrically derived magnifications as an accurate, independent reference for intrinsic luminosity. Potential systematics (differential dust extinction across images, microlensing not captured by macro models, or biases in light-curve standardization) could shift the photometric baseline and thereby produce the reported >1 mag offset without any error in the lens models themselves. A quantitative assessment of these systematics and their effect on the offset is needed before the discrepancy can be attributed to the lens models.

    Authors: We acknowledge that a quantitative evaluation of these systematics is necessary. In the revised §5 we have inserted a new subsection that bounds each effect using the available data: differential dust is limited to ≲0.2 mag from the observed color differences between images; microlensing is estimated at <0.3 mag on the basis of variability amplitudes reported for other lensed SNe; and light-curve standardization scatter contributes ≲0.15 mag. The combined upper limit from these systematics is ~0.5 mag, which cannot account for the full observed offset. We have therefore retained the conclusion that the lens models overestimate magnification, while adding explicit language that residual unaccounted systematics could contribute at the ~0.3–0.5 mag level. revision: partial

Circularity Check

0 steps flagged

No significant circularity: external photometric and time-delay data serve as independent benchmarks

full rationale

The paper reconstructs intrinsic SN Ia luminosity by applying each lens model's predicted magnifications to observed fluxes and scaling via measured time delays to derive distance moduli for comparison against ΛCDM expectations from independent SN Ia surveys. Photometric magnifications are treated as a separate observational reference that aligns with those expectations, while lens-model values show an offset. This structure uses the lens-model outputs as the quantities under test rather than re-deriving or fitting them from the same data. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the derivation; the central comparison remains externally anchored.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The analysis rests on the domain assumption that Type Ia supernovae serve as standard candles whose intrinsic luminosity can be recovered from observed quantities once magnification and time delays are known; lens models themselves contain many fitted parameters but these are treated as inputs to be tested rather than derived here.

axioms (1)
  • domain assumption Type Ia supernovae have consistent intrinsic luminosities allowing reconstruction of distance modulus from observed flux adjusted by magnification and time delay
    Invoked when combining model magnifications with time delays to obtain intrinsic luminosity and compare to Lambda CDM expectations

pith-pipeline@v0.9.0 · 5849 in / 1300 out tokens · 64106 ms · 2026-05-22T13:00:50.483701+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.