Time-delay distance scales as
ProvedHuWang2023.timeDelayDistance_H0_scalingcosmologygravitational-lensing
For all real , , , and all nonzero , , the time-delay distance of Eq. (1) satisfies
So does not depend on : the time-delay distance is inversely proportional to the Hubble constant, with the remaining cosmological dependence () entering only through the proportionality factor. This is the precise sense in which is "primarily sensitive to , with weak dependence on other cosmological parameters".
Preamble
import Mathlib import Definitions.Def_HuWang2023_HubbleTension_Defs
Formal statement
namespace HuWang2023
theorem timeDelayDistance_H0_scaling (c Ωm zl zs H0 H0' : ℝ)
(hH0 : H0 ≠ 0) (hH0' : H0' ≠ 0) :
H0 * timeDelayDistance c H0 Ωm zl zs = H0' * timeDelayDistance c H0' Ωm zl zs := by sorry
end HuWang2023
Source
Jian-Ping Hu and Fa-Yin Wang, *Hubble Tension: The Evidence of New Physics*, Universe 2023, 9(2), 94, https://doi.org/10.3390/universe9020094, Section 3.1, p. 4, Eq. (1) and the sentence following Eq. (3)
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.