Degeneracies and modelling choices in double-plane time-delay cosmography

Title: Degeneracies and modelling choices in double-plane time-delay cosmography

Problem Statement
Double-plane gravitational lensing, where light from a distant source is lensed by two foreground objects at different redshifts, offers a unique opportunity to simultaneously constrain the Hubble constant ($H_0$) and the dark-energy equation of state ($w(z)$). However, the precision of these constraints is fundamentally limited by the mass-sheet degeneracy (MSD). In single-plane lensing, the MSD prevents the determination of absolute mass profiles from imaging alone. In double-plane systems, this degeneracy is compounded by the presence of line-of-sight (LOS) matter, which introduces convergence terms that modify angular diameter distances. A critical challenge identified in this work is the common practice of fixing the "cosmological scaling factor" ($\eta$)—a ratio of angular diameter distances—using external cosmological priors. The authors argue that because LOS convergence terms are absorbed into the measured lensing quantities, $\eta$ cannot be simply fixed by a background cosmological model without accounting for the uncertainty introduced by these degeneracies.

Methodology
The paper develops a formalism for double-plane lensing that explicitly incorporates weak-lensing corrections from the line of sight.

1. Formalism Development: Building on the multi-plane lensing equations (Schneider 2014; Fleury et al. 2021a), the authors define the lens equations for a system with three planes (two lenses, one source) including LOS convergence terms ($\kappa$). They demonstrate that these convergence terms are implicitly absorbed into the measured lensing potentials ($\psi$), displacement angles ($\alpha$), and the scaling factor ($\eta$).
2. Generalized Mass-Sheet Transformation (MSD): The authors generalize the double-plane MSD to cases where the scaling factor $\eta$ is not fixed but is a free parameter derived from lensing observables. They derive the transformation rules for the lensing potentials and the scaling factor that preserve the observed image positions and source morphology up to a uniform rescaling.
3. Time-Delay Analysis: The authors analyze the Fermat potentials and time-delay functions under these transformations. Crucially, they utilize the "unfolding relation" ($\tau_{13}^{-1} = \tau_{12}^{-1} + \tau_{23}^{-1}$), a geometric relationship between time-delay scales that holds even in the presence of weak-lensing corrections.
4. Derivation of Constraints: By enforcing the unfolding relation within the mass-sheet transformed framework, the authors show that the complex time-delay function simplifies. They demonstrate that the uncertainty in the Hubble constant reduces to specific, manageable terms rather than a broad degeneracy involving the entire system.

Key Contributions and Results

• Rejection of Fixed Priors for $\eta$: The paper explicitly shows that LOS convergence terms modify the angular diameter distances such that the measured scaling factor $\eta$ differs from the background cosmological value. Consequently, fixing $\eta$ using standard cosmological priors without accounting for LOS uncertainty is theoretically inconsistent.
• Simplification via the Unfolding Relation: The authors prove that by enforcing the geometric relationship between time-delay scales ($\tau_{12}$, $\tau_{23}$, and $\eta$), the terms in the time-delay function that depend on the unknown source position rescaling cancel out. This allows the time-delay function to be expressed in terms of a single time-delay scale.
• Decoupling of $H_0$ Uncertainty: The central result is that the uncertainty in $H_0$ measurements from double-plane lenses is limited only by:
  1. The mass-sheet transformation parameter ($\lambda$) of the first lens plane.
  2. The LOS convergence contribution between the observer and the first source/second lens plane ($\kappa_{12}^{LOS}$).
  3. Measurement errors in time delays and imaging.
     Crucially, the authors show that uncertainties regarding the true value of $\eta$, the LOS contribution between the first and second source planes ($\kappa_{23}^{LOS}$), or the mass profile of the second lens plane do not propagate into the constraints on $H_0$, provided the unfolding relation is enforced.
• Prescription for Modelling: The paper provides a prescription for reducing the degrees of freedom in double-plane models. It suggests that $H_0$ can be constrained by modeling the first lens plane (to determine $\lambda$) and estimating the LOS convergence up to the first source redshift (via galaxy counts or weak lensing), without needing to fully resolve the complex mass profile of the second lens or the distant source.

Significance
The paper claims that its primary significance lies in providing a robust framework for handling degeneracies in double-plane time-delay cosmography. By clarifying how LOS effects couple to the scaling factor and time-delay scales, the authors argue that the "Hubble tension" can be addressed using double-plane systems without being hindered by the full complexity of the double-plane MSD. The work demonstrates that the systematic biases in $\eta$ (which are independent of $H_0$) do not propagate into $H_0$ constraints if the geometric relationships between time-delay scales are respected. This finding suggests that double-plane systems, such as the recently discovered J1721+8842, can provide simultaneous and independent constraints on $H_0$ and dark energy, provided the modelling choices adhere to the derived prescriptions regarding the scaling factor and LOS convergence. The authors emphasize that this approach allows for the safe reduction of model freedom while maintaining the integrity of the MSD correction.