玻尔百科引力可以弯曲光线，这是 Einstein 的广义相对论最深远的预言之一。这不仅仅是一种理论上的奇观，更是一种实在的现象，它将遥远的宇宙变成了一面宇宙哈哈镜。但我们该如何解读这面镜子中看到的奇异图像——那些明亮的弧和被轻微拉伸的星系？我们又该如何解码被引力扭曲的光的语言，以揭示塑造宇宙的无形结构，例如那难以捉摸的暗物质？本文旨在通过详细概述作为现代宇宙学基石的引力透镜畸变来回答这些问题。
在接下来的部分中，我们将深入探讨这一现象。第一部分“原理与机制”将奠定理论基础，介绍用于精确描述图像如何被扭曲的数学语言——会聚、剪切和挠曲。我们将揭示这些效应背后优雅的物理学，从其自旋为2的性质到诸如质量面简并等基本模糊性。随后，“应用与跨学科联系”部分将展示天文学家如何将这些知识作为实用工具。我们将看到引力透镜如何让我们能够测量星系质量、绘制不可见的宇宙网、发现遥远的系外行星，以及这项研究如何在宇宙学、几何学、光学和数据科学之间建立起非凡的联系。
在引言中，我们惊叹于引力能够弯曲光线这一事实。这不仅仅是理论上的奇闻；天文学家每天都能观测到这个现象。但是，这场宇宙光学游戏的规则是什么？一个巨大的星系团，沉浸在无形暗物质的海洋中，是如何重塑其后方宇宙传来的光线的？这不像透过一个简单的放大镜。这更像是凝视一面哈哈镜，一面由引力亲自设计的哈哈镜。我们在本章中的任务，就是理解那面镜子的设计原理。
想象一下，你正在观察一个美丽而遥远的旋涡星系。它有一个明亮的中央核球和优雅的旋臂。现在，让我们在你和那个旋涡星系之间的视线方向上放置一个大质量星系团。你会看到什么？你可能会期望看到一个被放大的星系版本，更亮但其他方面没有变化。但自然并非如此。
相反，星系的图像被涂抹和拉伸，形成围绕星系团中心弯曲的壮观明亮弧线。如果对准几乎完美，你不会看到一个完整的“爱因斯坦环”，而是会看到一个或多个这样的巨大切向弧。如果你仔细观察这些弧，你可能会看到星系旋涡结构的幽灵般、扭曲的残余，被扭曲和旋转成一种新的、奇异的模式。这种戏剧性的拉伸效应被称为强引力透镜。对于不那么完美的对准或质量较小的透镜，效应会更微妙——背景星系的形状被微小、几乎难以察觉地压扁。这就是弱引力透镜。
这些扭曲的图像，无论是戏剧性的弧还是微小的椭圆，都不仅仅是宇宙的奇观。它们是深刻的线索。这些图像被扭曲的精确方式告诉了我们有关进行扭曲的质量的信息——尤其是构成了星系团绝大部分质量的不可见的暗物质。为了破译这些线索，我们需要建立一种语言来描述这种畸变。
乍一看，时空的扭曲似乎复杂得无可救药。但物理学家发现，它可以用惊人的优雅来描述。关键是一个叫做透镜势的概念，我们可以用 来表示。你可以把 想象成天空中一种引力等高线图。这张图的“地形”由前景透镜中的质量分布决定，它决定了穿过它的光线的路径。
对畸变真正重要的是这个景观的曲率——它弯曲得有多陡。在数学中，曲率由二阶导数描述。通过对透镜势 关于天空角坐标 求二阶导数，我们可以将复杂的畸变在每一点上提炼为三个基本量：
会聚 ()：这是畸变中像简单放大镜一样在所有方向上均匀放大图像的部分。它与透镜的投射表面质量密度 () 直接成正比；质量越大，会聚越大。数学上，它由二阶偏导数的和定义：，其中逗号表示法意为偏微分。
剪切 ()：这是拉伸和压扁图像的部分。它将一个圆形的星系变成椭圆形。剪切是一种各向异性畸变，有两个分量， 和 。你可以认为 描述沿水平和垂直轴的拉伸，而 描述沿45度对角线的拉伸。它们由势的二阶偏导数的差和混合偏导数定义：
一个简单但有启发性的例子展示了它们是如何自然产生的。想象一个透镜，其势由一个圆形部分、一个椭圆部分和一个扭转坐标轴的部分组合而成，如 。直接计算表明，会聚就是 ，而剪切分量是 和 。一个简单的势包含了放大和剪切的所有要素。
那么，我们有这三个数：、 和 。它们实际上对图像做了什么？让我们以一个内禀圆形的源为例。会聚 使其看起来更大或更小。剪切 则将其拉伸成一个椭圆。拉伸的程度由总剪切大小 决定。一个优美而直接的公式将这些抽象量与一个可测量的几何属性联系起来：观测到的椭圆的轴比 （短轴/长轴）由下式给出： 这个方程 告诉我们，剪切 相对于背景放大状态 越大，图像被压扁得越厉害。
那么，这个“剪切”是哪种数学对象呢？它有两个分量，像一个矢量，但它的行为却不像矢量。如果你旋转坐标系（比如，通过倾斜你的望远镜相机）一个角度 ，分量 和 会根据以下规则混合： 注意变换中的 。这是一个自旋为2的场的标志。如果你旋转180度（），该场会回到其原始状态（）。这与矢量（自旋为1的场）不同，矢量会指向相反方向。无论你如何旋转坐标系，保持不变的是剪切的大小，。这令人非常满意：物理上的拉伸是真实的，并且与我们任意选择的坐标轴无关。这种自旋为2的性质并非偶然；它与引力波具有相同的数学特性。两者都是时空几何的基本表现。
我们有了一个优美的理论框架。但有一个问题。要使用轴比公式，我们需要知道源本来是圆形的。我们怎么可能知道数百万光年外一个星系的内禀、未经透镜作用的形状呢？
对于任何单个星系，我们都无法知道。解决方案是统计学的巧妙应用。宇宙中充满了各种形状和方向的星系。平均而言，它们的内禀形状是随机取向的。如果我们在天空的某个小区域中观察到数千个背景星系的形状有微小而相干的排列，那么这种排列必然是由前景透镜引起的。
为了使之形式化，天文学家使用一个称为椭率的复数 来量化星系的形状。观测到的椭率 与内禀椭率 和透镜场通过一个优美的方程联系在一起，其形式为莫比乌斯变换： 这里， 是约化剪切，一个关键的可观测量，定义为 ，其中 是复剪切。这个方程是弱引力透镜的罗塞塔石碑。虽然我们不知道任何一个星系的 ，但通过对许多星系进行平均，我们可以得到 的一个稳健估计。这个约化剪切的测量是弱引力透镜巡天中的主要“信号”，然后我们可以用它来推断透镜的性质。对于一个特定的前景质量，比如一个暗物质晕，我们可以预测其剪切模式并与观测结果进行比较。
所以，我们测量了约化剪切，。我们似乎即将确定剪切和会聚，从而确定天空的质量图。但自然还有一个微妙的伎俩。
考虑以下变换。让我们将整个质量图乘以一个常数因子 ，同时在各处添加一个均匀、无限的质量面。这对应于像这样改变透镜场： 现在，让我们计算新的约化剪切 。 约化剪切完全没有改变！这种深刻的模糊性被称为质量面简并。这意味着，仅从星系形状的测量中，我们无法区分通过这种变换相关的不同质量图。如果没有额外的信息，我们无法知道一个透镜的绝对质量，只能知道其相对变化。这种简并是透镜方程中隐藏对称性的直接结果，它优美地证明了我们能测量什么受限于理论的基本数学结构。
透镜的故事仅仅是把圆形变成椭圆吗？不完全是。就像一个简单的相机镜头除了简单的聚焦和散光之外还有高阶像差一样，引力透镜也有高阶畸变。这些被称为挠曲。
剪切由透镜势的二阶导数（）描述，而挠曲则由三阶导数（）描述。如果说剪切是关于偏转的局部梯度，那么挠曲就是关于偏转的曲率。这会产生更复杂的畸变。一阶挠曲（）导致图像质心的位移，而二阶挠曲（）则引起一种特征性的三叶形或三角形畸变。这些“香蕉形”畸变非常微小，但可以在大质量透镜中心附近的小图像中测量到，为我们提供了关于质量分布精细结构的更详细信息。与剪切一样，这些高阶效应可以根据它们在坐标旋转下的“自旋”进行优雅的组织：一阶挠曲是一个自旋为1的场，二阶挠曲是一个自旋为3的场。
最终，弱引力透镜的目标是绘制宇宙中最大的结构：暗物质的宇宙网。由于质量面简并和内禀星系形状的随机性，我们无法确定性地绘制它。相反，我们是统计性地绘制它。
最强大的统计工具之一是两点相关函数。对于天空中相隔角度 的一对星系，我们可以测量它们的切向剪切分量是如何相关的。这给了我们函数 。这个函数告诉我们，在该角尺度上，质量分布是多么“成团”。
在现代宇宙学中，在傅里叶空间（或球面的谐空间）中工作通常更方便。相关函数 通过一种称为汉克尔变换的数学运算与会聚功率谱 直接相关。功率谱是我们的目标：它告诉我们在每个物理尺度上的结构量或“透镜功率”。它是对宇宙密度场、结构增长和我们宇宙基本参数的直接探测。
最后，还有一个优雅之处。剪切场作为一个自旋为2的场，可以分解为两个不混合的分量：一个“梯度”部分，称为E模式，和一个“旋度”部分，称为B模式。由标量密度涨落（如暗物质晕）引起的引力透镜只会产生E模式。原则上，B模式应该为零。这为整个分析提供了一个极其强大的内部检验。如果天文学家测得显著的B模式信号，这是一个警示，表明他们的测量中存在系统误差，或者，更令人兴奋的是，存在超出标准宇宙学模型的新物理。寻找消失的B模式是对我们理解的严格考验，也是一种询问宇宙我们是否讲对了故事的方式。
我们花了一些时间学习引力透镜的语法——会聚、剪切甚至更微妙的畸变如挠曲的词汇。我们已经看到，质量的宏伟存在如何弯曲时空结构，进而弯曲穿越宇宙的光线路径。这本身就是 Einstein 理论的一个美丽推论。但物理学的真正乐趣不仅在于欣赏游戏规则，还在于利用它们来玩游戏。现在我们问：我们能用这种现象做什么？这个宇宙哈哈镜能揭示什么秘密？事实证明，引力透镜不仅仅是天体物理学的好奇之物；它是我们探测宇宙最强大、最通用的工具之一。大自然赐予了我们一套宇宙透镜，我们的任务是学会解读它们产生的奇妙扭曲的图像。
透镜效应最直接、最深刻的应用是，它使我们能够称量我们根本无法放在秤上的东西。由于透镜效应的强度与透镜的质量成正比，我们可以反过来解决问题：通过测量畸变，我们可以推断出质量。这就是我们称量一个星系的方法。天文学家观察一个更近、更大质量星系背后那些微弱、遥远的星系，并仔细测量它们的形状是如何被系统性地拉伸的。这种拉伸就是剪切 。然后他们可以将这些测量结果与前景星系质量分布的理论模型的预测进行比较。
当然，我们并不知道先验地质量在星系中是如何精确分布的。是集中在中心吗？是缓慢衰减还是快速衰减？它有清晰的边界吗？物理学家和天文学家建立简化但有物理动机的模型来检验这些想法。人们可能将一个星系建模为所谓的“截断奇异等温球”，这是一个密度随半径减小的物质球，直到在某一点被截断。另一个人可能提出一个在中心有更平滑“核心”的模型，以避免无限密集的点。每个模型都预测了剪切作为离星系中心距离的函数的独特模式。通过找到最适合观测到的畸变的模型，我们可以确定星系的总质量以及该质量的分布方式——这是传统望远镜无法完成的壮举，因为它只能看到光。
当我们考虑到宇宙最大的谜团：暗物质时，这种方法的真正威力就显现出来了。我们最好的宇宙学理论，由大规模计算机模拟支持，预测星系和星系团应该嵌入在巨大的、不可见的暗物质晕中。这些模拟甚至预测了这些晕的形状，产生了像著名的 Navarro-Frenk-White (NFW) 剖面那样的分布。虽然我们看不见这些晕，但它们有质量，因此它们必须充当透镜。引力透镜为这一图景提供了直接的检验。通过测量星系和星系团周围的畸变，我们可以绘制引力场，并观察它是否与NFW晕的预测相符，即使考虑到诸如晕是椭圆而非完美球形等现实复杂性。观测到的透镜信号如此频繁地与这些暗物质模型的预测相符，是证明这种神秘物质存在的最有说服力的证据之一。为了获得更多细节，我们可以超越剪切，研究像“挠曲”这样的高阶畸变，它描述了透镜图像的香蕉状扭曲，从而可以更精细地绘制质量分布及其子结构。
星系和星系团并非空旷虚空中的孤岛。在最大尺度上，宇宙的结构就像一张巨大的三维蜘蛛网——“宇宙网”——巨大的物质丝拉伸在星系团所在的密集节点之间。这张网的大部分质量是暗物质，使其完全不可见。或者说，它曾经是不可见的，直到我们学会用透镜效应来看它。
就像单个星系使其背后的光线发生透镜效应一样，这些巨大的物质丝也在天空的广阔区域上产生微小而相干的剪切。想象一个简化的宇宙，其中宇宙网是垂直丝线的网格。通过观察背景星系的排列，我们可以追踪这些不可见结构的方位和密度。这正是现代“宇宙剪切”巡天的目标，它们分析数亿个星系的形状，以创建宇宙暗物质支架的全景图。
在这里，必须欣赏一个奇妙而微妙的观点。宇宙的整体几何形状，其全局曲率，也影响光的传播。人们可能会问，我们看到的畸变是否仅仅是宇宙弯曲的结果。答案在于考虑一个完全均匀、弯曲且没有任何物质团块的宇宙中透镜效应会是什么样子。在这样一个由 Friedmann-Robertson-Walker (FRW) 度规描述的宇宙中，我们发现畸变是纯各向同性的——全是“会聚”，它改变了物体的表观大小。剪切 恒等于零。剪切，即各向异性的拉伸，是不均匀性——即像星系、星系团和物质丝这样的团块打破完美对称性的明确指纹。因此，透镜效应提供了一个将局部物质团块与全局几何背景分离开来的工具。
引力透镜的研究是科学统一性的一个美丽范例，是一个看似迥异的领域的思想汇聚成一曲非凡交响乐的地方。
从核心上讲，透镜效应是几何学的一种表现。描述剪切和会聚的复杂方程背后隐藏着深刻而优雅的数学结构。例如，考虑一个区域内的总质量与其边界周围剪切之间的关系。事实证明，人们不需要测量一个区域内各处的会聚 （质量）来找出它包含的总质量。相反，人们可以使用著名的散度定理的一个二维版本来表明，总质量与该区域边界上切向剪切分量的线积分有关。这是一个“质量的高斯定律”，与人们如何通过测量穿过闭合曲面的电通量来找到其内部总电荷的方式完全类似。要找到一个星系团的质量，你可以沿着它的周界“走一圈”，在每一步测量背景星系的拉伸，然后将它们全部加起来。这种边界上的局部属性与内部的全局属性之间的深刻联系是物理学中一个反复出现的主题，它在天空中找到了一个令人惊叹的新表达。
透镜效应的语言本身就是从经典光学中借来的，这是有充分理由的。一个简单的放大镜会引起“会聚”，将光线聚焦使物体显得更大。如果镜片打磨得不完美——如果它有散光——它也会引起“剪切”，在特定方向上拉伸图像。引力透镜做着完全相同的事情。这种类比不仅仅是定性的。非圆形的质量分布，例如一个具有四极质量变化的假想环，会产生一个在数学上类似于畸形光学透镜散光的剪切场。虽然物理机制完全不同——是时空本身的弯曲而不是光在介质中的折射——但对图像的几何效应是相同的。看起来，宇宙使用了与我们相同光学设计原理。
有时，引力不仅仅充当一个扭曲的透镜，而是一个强大的放大镜。当一个致密天体，如一颗恒星，几乎直接从一颗远得多的恒星前经过时，就会出现一个特别迷人的应用。前景恒星的引力会聚焦来自背景恒星的光，使其暂时看起来更亮。这被称为“微引力透镜”。当提供透镜效应的恒星并非孤身一物时，事情变得真正令人兴奋。如果它有一颗行星绕其运行，那个小伴侣会对其透镜效应做出自己微小的贡献，在观测到的亮度中产生一个短暂而尖锐的峰值。通过仔细监测数百万颗恒星并寻找这些特征信号，天文学家可以探测到那些因距离太远或太小而无法用其他方法发现的系外行星。微引力透镜已成为寻找太阳系外世界的关键工具，这一切都归功于那个在宇宙尺度上绘制暗物质的相同原理。
所有这些听起来都很美妙，但有一个艰巨的实际挑战。由一个典型星系或宇宙网丝线引起的剪切非常微小，通常只有百分之几的水平。同时，星系本身具有内禀形状——有些是圆的，有些是椭圆的，它们在天空中的朝向是随机的。我们怎么可能从这个大得多的“形状噪声”中解开一个微小、相干的引力剪切呢？答案在于统计学的力量。通过测量天空中一个区域内成千上万，甚至数百万个背景星系的形状，我们可以平均掉它们随机的内禀椭率。剩下的是由前景质量的引力场印上的微弱、系统的排列模式。这是一项巨大的数据分析任务。要正确地完成它，必须根据每个星系测量的质量对其进行加权，同时考虑到星系群体的内禀形状方差和来自望远镜的测量噪声。从噪声的咆哮中提取宇宙剪切信号的低语是统计学和数据科学的一个前沿问题，它将宇宙学的最高追求与算法、高性能计算和“大数据”的现实世界联系起来。
从宇宙的宏伟结构到行星围绕其恒星的亲密舞蹈，引力透镜为我们提供了一个独特而强大的窗口来观察宇宙。它证明了一个单一、优雅的物理原理——质量告诉时空如何弯曲，时空告诉光如何行进——可以产生如此丰富而深远的影响，以至于触及现代物理科学的几乎所有领域。通过学习解读这些来自宇宙深处微弱、扭曲的信息，我们正在拼凑出一幅比我们想象中更完整、更奇妙的宇宙图景。