1979年，Walsh、Carswell和Weymann在《自然》报告Q0957+561A/B：两个相距约6角秒的类星体，光谱几乎相同，红移同为1.41。最省事的解释不是双胞胎，而是一个天体被前景星系分成两像。这是第一个被确认的强引力透镜，也把Zwicky 1937年的提议变成观测事实。
本文的论点是：引力透镜不是“暗物质的照片”，而是一种把不可见质量转成几何测量的方法；它最强的证据在“有质量集中”这一层，最弱的环节在“质量如何分布、宇宙学参数取多少”这一层。把两者混为一谈，会把间接推断说成直接观测。
它如何“称重”
广义相对论预言光线经过质量附近偏折，太阳边缘约1.75角秒，1919年日食观测支持了这一量级。强透镜形成多像、弧或环，几何由透镜方程决定：像的位置和到达时间同时依赖透镜质量分布与源、透镜、观测者之间的角直径距离。时间延迟尤其有用：同一源的光走不同路径，到达时间差从数小时到数百天不等；Q0957+561的延迟约417天。测得延迟和Fermat势差，就能反推距离组合，进而估H0。
证据等级要分开：多像和弧是直接观测；由像位拟合出质量分布是间接推断；把质量集中解释为暗物质晕，在GR成立前提下是稳健推断，但不是对粒子本质的直接探测；把H0差异解释为新物理，目前仍是存争议的假说。
真正的争论：H0与质量片简并
H0LiCOW合作2020年用强透镜时间延迟给出H0=73.3^{+1.7}_{-1.8} km/s/Mpc（统计误差），与普朗克2018的67.4±0.5形成约3–4σ的张力。支持者认为，透镜时间延迟是“一步几何测量”，路径独立于距离阶梯。批评者指出，结果依赖透镜星系密度轮廓和外部收敛；存在质量片简并：把透镜质量整体缩放并调整源位置，像位可以不变，距离却变。恒星运动学可破简并，但要假设各向异性。后续TDCOSMO分析放松先验后，误差扩大到约±6 km/s/Mpc，说明结论对模型选择敏感。
这不是说透镜H0无效，而是说它的“直接性”被高估。当前分歧不在“有没有透镜”，而在“系统误差是否已控到1–2 km/s/Mpc”。
关键数据
- 太阳边缘偏折：1.75角秒（GR预言，1919年日食观测支持）
- Q0957+561时间延迟：约417天（强透镜直接观测）
- H0LiCOW 2020：H0=73.3^{+1.7}_{-1.8} km/s/Mpc（强透镜+模型）
- Planck 2018：H0=67.4±0.5 km/s/Mpc（CMB+ΛCDM）
边界在哪里
引力透镜已经把“看不见的质量”变成可测量的几何，但它不能单独回答暗物质是什么。下一步需要两类观测：一是宽视场巡天（如Euclid、LSST/Rubin）提供大量透镜样本，压低统计误差；二是独立测外收敛和密度轮廓，比如用星系-星系透镜、X射线气体、恒星运动学交叉检验。若系统误差仍与统计误差同量级，H0分歧就不能被当作新物理证据。科学上最诚实的说法是：透镜给出了强约束，但约束的强度仍由模型决定。
参考文献
- Zwicky, F. 1937, Physical Review, “Nebulae as Gravitational Lenses”.
- Walsh, D., Carswell, R. F., & Weymann, R. J. 1979, Nature, “0957+561 A, B: twin quasistellar objects or gravitational lens?”
- Wong, K. C., et al. 2020, MNRAS, “H0LiCOW XIII: A 2.4 per cent measurement of H0 from lensed quasars”.
- Birrer, S., et al. 2020, A&A, “TDCOSMO IV: Hierarchical time-delay cosmography”.
- Planck Collaboration 2020, A&A, “Planck 2018 results. VI. Cosmological parameters”.