1979年，Walsh、Carswell和Weymann在双类星体Q0957+561的光谱中看到两条几乎相同的吸收线。这不是重复观测，而是同一个类星体被前方星系团分成两个像。强透镜从预言变成观测事实，也把一个方法论问题留在桌面上：我们看到的“像”由几何决定，但推断出的“质量”由模型决定。
这篇文章的论点是：强透镜的精密性被它的几何骨架放大了，也被质量模型的不确定性限制了；用该方法测哈勃常数时，误差棒不能只算统计误差，系统误差可能才是当前哈勃张力争论中的主项。
几何给出直接观测，质量给出间接推断
强透镜现象本身是直接观测：多个像、爱因斯坦环、巨弧在射电和光学波段都有确证（直接观测）。光线偏折由广义相对论给出，1919年日食观测验证了太阳造成的偏折，1936年爱因斯坦短文讨论了星系透镜，但当时他认为观测希望渺茫。1979年的Q0957+561改变了局面。
但“透镜质量是多少”不是直接读数。它来自模型：把观测到的像位置、光度、时间延迟拟合成一个透镜势。质量剖面斜率、外部收敛、视线上的次级晕，都会改变拟合结果。这里的证据等级是间接推断，不是直接观测。
时间延迟测H0：一条漂亮的几何公式，一堆模型依赖
强透镜的时间延迟来自几何：光沿不同路径传播，路径长度与引力势不同，到达时间差正比于所谓时间延迟距离DΔt，而DΔt与H0成反比。测量原理很干净，误差来源却不干净。时间延迟测量本身可到小时量级，但质量模型中的斜率与外部收敛会与H0简并。
- 关键数据（据Wong et al. 2020，H0LiCOW XIII）：7个强透镜系统给出H0=73.3+1.7−1.8 km/s/Mpc（间接推断，统计误差约2%）。
- 对照：Planck 2018宇宙微波背景给出H0=67.4±0.5 km/s/Mpc（间接推断，依赖ΛCDM）。
- 差异：约6 km/s/Mpc，约9%；但强透镜的系统误差若为1–2 km/s/Mpc，张力会被显著改变（模型依赖）。
所以问题不是“强透镜能不能测H0”，而是“在多大程度上，H0被质量模型先验固定”。
争议焦点：放宽先验后，H0还那么确定吗
真实分歧在这里。TDCOSMO/H0LiCOW团队用层次贝叶斯方法联合多个透镜系统，认为质量剖面斜率可以被数据约束，系统误差可控在约2%量级（理论自洽要求加间接推断）。批评者则指出，外部收敛和质量斜率仍受先验影响；若允许更自由的剖面，H0的不确定度可扩大到数个百分点至约10%量级（模型依赖）。这不是谁“造假”，而是同一组时间延迟在不同模型假设下的合法区间不同。
这个分歧的裁判不是更多口号，而是独立数据：星系巡天的外部收敛测量、恒星运动学给出的中心质量、宇宙微波背景的独立约束。没有这些，强透镜的H0误差棒就仍是半统计、半模型的。
历史纵深：从“爱因斯坦环”到“精密宇宙学”
强透镜的概念史有一次典型修正。早期研究常把透镜星系当成单一椭圆质量分布；后来观测发现，环境密度和视线结构会引入额外收敛，质量剖面斜率也不是普适常数。于是，强透镜从“几何测距”变成“几何加质量建模”的联合推断。这个转变没有让方法失效，但让它更诚实：误差必须写进模型，而不是藏在先验里。
边界在哪里
已知的是：强透镜存在（直接观测）；时间延迟可测（直接观测）；H0可由时间延迟距离间接推断（间接推断）；但质量模型的系统误差尚未被独立数据完全钉死（主流但存争议）。下一步需要两类观测：一是大样本强透镜的时间延迟与外部环境测绘，二是与恒星运动学、X射线气体、宇宙微波背景lensing的交叉校准。若这些数据收敛，强透镜会成为哈勃张力的关键裁判；若不收敛，它只是另一个被系统误差支配的测量。
科学进程的尴尬在于：最漂亮的几何，往往要经过最不漂亮的误差预算，才能变成证据。
参考文献
- Walsh, D., Carswell, R. F., & Weymann, R. J. 1979, Nature, 279, 381.
- Wong, K. C., et al. 2020, MNRAS, 498, 1420 (H0LiCOW XIII).
- Planck Collaboration 2020, A&A, 641, A6 (Planck 2018 results VI).
- Treu, T., & Marshall, P. J. 2016, A&A Review, 24, 11.
- Birrer, S., et al. 2020, A&A, 643, A165 (TDCOSMO IV).