try ai
科普
编辑
分享
反馈
  • 拉东变换

拉东变换

SciencePedia玻尔百科
核心要点
  • 拉东变换在数学上将一个二维物体转换成其线积分的集合,这是CT扫描仪等断层成像设备采集的基础数据。
  • 傅里叶切片定理为重建建立了关键联系,证明了投影的一维傅里叶变换是物体二维傅里叶变换的一个中心切片。
  • 滤波反投影(FBP)是最常见且高效的重建算法,其工作原理是首先对投影应用一个锐化的斜坡滤波器,然后将其反投影。
  • 拉东变换探测线性特征的能力使其成为医学领域之外的一种多功能工具,在地球物理学、雷达处理和引力波分析等领域都有应用。
  • 实际重建是一个不适定问题,其中噪声和数据不一致(例如,由金属引起)会导致伪影,因此需要采用迭代重建和人工智能等先进方法。

引言

我们如何能在不切开物体的情况下看到其内部?这个基本问题推动了医学、科学和工程领域的无数创新。答案不在于某种新型透镜,而在于一个强大的数学思想:拉东变换。它像一台无形的引擎,驱动着计算机断层扫描(CT)等技术,彻底改变了我们可视化内部结构的能力。本文将揭开这一优雅变换的神秘面纱,探讨如何从一系列从多个角度拍摄的一维投影(或称“阴影”)中重建出精细的二维图像这一核心挑战。

本文将引导您完整了解拉东变换的故事。首先,在“原理与机制”一章中,我们将深入探讨该变换的数学核心,探索它如何将空间信息转换为正弦图,傅里叶切片定理在使重建成为可能方面所起的深远作用,以及滤波反投影算法的实践优雅性。我们还将直面噪声和伪影等现实世界中的挑战,这些挑战使得重建成为一种精妙的平衡艺术。随后,“应用与跨学科联系”一章将展示该变换的巨大影响,从其在医学成像中的核心作用,到其在地球物理学和信号处理等领域的惊人效用,最后到其在人工智能前沿的最新演进。

原理与机制

一种新的观察方式:从图像到投影

我们如何能在不切开物体的情况下看到其内部?这是医学CT(计算机断层扫描)扫描仪等技术背后的核心问题。我们无法简单地拍摄人体或机器内部切片的照片,因为光线无法到达那里。但像X射线这样的其他物质却可以穿透物体。在穿透的过程中,它们带走了一个秘密。

想象一下,用一束非常细的X射线穿过一个物体。当光束行进时,它会被衰减——部分强度被吸收或散射。它穿过的材料越致密,另一侧的光束就越弱。这种简单而优雅的关系由​​比尔-朗伯定律​​描述。如果我们知道光束的初始强度 I0I_0I0​,并测量最终强度 III,我们就可以计算出光束沿其直线路径所经历的总衰减。

在数学上,如果我们将物体的内部结构表示为一个二维衰减系数图,即函数 f(x,y)f(x,y)f(x,y),那么强度比的对数会给我们一个非常有用的量:f(x,y)f(x,y)f(x,y) 沿X射线束路径的​​线积分​​。

p=−ln⁡(II0)=∫linef(x,y) dsp = -\ln\left(\frac{I}{I_0}\right) = \int_{\text{line}} f(x,y) \, dsp=−ln(I0​I​)=∫line​f(x,y)ds

这个单一的数字 ppp 告诉我们光束遇到的“物质”总量,但没有告诉我们这些物质在线路上的具体位置。这就像知道一个又长又细的袋子里所有杂货的总重量,却不知道它们是如何分布在里面的。

为了构建一幅图像,我们需要更多信息。我们需要沿许多不同的线路,从许多不同的角度测量这些线积分。这正是CT扫描仪所做的事情。它向物体发射一束扇形射线,测量每条射线的透射强度,然后旋转到新的角度重复这个过程。

将这个过程形式化的数学工具是​​拉东变换​​,以数学家 Johann Radon 的名字命名。他在1917年研究了这一变换,远在CT扫描仪发明之前。拉东变换将一个代表物体的函数 f(x,y)f(x,y)f(x,y) 转换为一个代表其所有线积分集合的新函数。每个线积分由其方向(通常是一个角度 θ\thetaθ)和其到原点的垂直距离 sss 定义。拉东变换,我们可以写作 Rf\mathcal{R}fRf,产生一个新函数 p(θ,s)p(\theta, s)p(θ,s),它将每条线 (θ,s)(\theta, s)(θ,s) 映射到沿该线的积分值。因此,CT扫描仪收集的抽象数据,本质上就是它所扫描物体的拉东变换。

正弦图中的世界

我们现在已经将我们熟悉的、由坐标 (x,y)(x,y)(x,y) 描述的空间世界,转换到了一个由坐标 (θ,s)(\theta,s)(θ,s) 描述的新的、更抽象的空间。我们的物体在这个“拉东空间”里是什么样子的呢?函数 p(θ,s)p(\theta,s)p(θ,s) 可以被可视化为一幅图像,其中一个轴是角度 θ\thetaθ,另一个轴是距离 sss。这幅图像被称为​​正弦图​​,它的模式掌握着物体内部结构的关键。

为了建立直观理解,让我们考虑最简单的物体:一个位于坐标 (x0,y0)(x_0, y_0)(x0​,y0​) 的微小、致密的单点。它的正弦图是什么样的?只有当线穿过这个点时,线积分才不为零。由 (θ,s)(\theta, s)(θ,s) 定义的线的方程是 xcos⁡θ+ysin⁡θ=sx\cos\theta + y\sin\theta = sxcosθ+ysinθ=s。要使这条线穿过我们的点 (x0,y0)(x_0, y_0)(x0​,y0​),坐标必须满足这个方程。这给了我们一个 sss 和 θ\thetaθ 之间的关系:

s=x0cos⁡θ+y0sin⁡θs = x_0\cos\theta + y_0\sin\thetas=x0​cosθ+y0​sinθ

这是一个纯正弦波的方程!物体空间中的一个单点在正弦图中被涂抹成一条优美的正弦曲线。正弦波的振幅告诉你该点离旋转中心的距离,而相位则告诉你其角度位置。物体中的每个点都会在正弦图中产生自己的正弦波。完整的正弦图就是构成物体的所有点产生的全部正弦波的总和。拉东变换将我们的图像分解为单个的点,并将每个点“展开”成一个正弦曲线。重建的挑战就在于如何将所有这些正弦曲线重新折叠起来,以恢复原始图像。

重建的奥秘:傅里叶切片定理

我们怎么可能逆转这个过程呢?这个任务似乎复杂得令人绝望,就像试图把烤好的蛋糕还原回去。秘密在于与数学另一个角落的深刻联系,这个联系由​​傅里叶变换​​揭示。傅里叶变换是一个数学棱镜,它将一个函数分解为其组成频率——其基本振动。对于一个二维图像,傅里叶变换 f^(ξ)\widehat{f}(\xi)f​(ξ) 告诉我们图像中每种空间频率(从宽泛、缓慢的变化到精细、锐利的细节)的含量。

连接拉东变换和傅里叶变换的魔力钥匙是一段优美的数学,被称为​​傅里叶切片定理​​(或中心切片定理)。它陈述如下:

如果你从正弦图中取一个单一投影——即某个固定角度 θ\thetaθ 的所有线积分——并计算其一维傅里叶变换,你得到的结果正是原始物体二维傅里叶变换沿着一条以相同角度 θ\thetaθ 穿过傅里叶域原点的线(或“切片”)上的值。

用数学术语来说,对于一个投影 p(θ,s)p(\theta, s)p(θ,s),其关于 sss 的一维傅里叶变换(我们称频率变量为 ω\omegaω)等于原始函数 f(x,y)f(x,y)f(x,y) 的二维傅里叶变换在频率域中角度为 θ\thetaθ 的一条线上的取值:

Fs[p(θ,⋅)](ω)=f^(ωcos⁡θ,ωsin⁡θ)\mathcal{F}_s[ p(\theta, \cdot) ](\omega) = \widehat{f}(\omega \cos\theta, \omega \sin\theta)Fs​[p(θ,⋅)](ω)=f​(ωcosθ,ωsinθ)

这是一个惊人的结果。它意味着通过收集所有角度的投影,我们系统地沿着一组径向线(就像车轮的辐条)对物体的二维傅里官变换进行采样。一旦我们填充了物体的傅里叶表示,原则上,我们就可以进行二维傅里叶逆变换以取回原始图像。这个看似不可能的对线积分进行反求和的问题,通过绕道傅里叶空间得到了解决。

从理论到实践:滤波反投影

虽然傅里叶切片定理为重建的可能性提供了理论保证,但最常见的实用算法——​​滤波反投影(FBP)​​——遵循了一条略有不同、更直接的路径,既优雅又高效。

让我们首先考虑最朴素的重建方法:简单地逆转投影过程。对于我们输出图像中的每一个点,我们可以将所有穿过它的射线的值相加。这个直观的操作被称为​​反投影​​。如果我们对一个正弦图进行反投影,会得到什么?一个点状物体,在正弦图中产生了一条正弦轨迹,经过反投影后会变成一个星形或辐条状的图案。结果是原始图像的一个严重模糊的版本,而不是我们想要的清晰图片。这种模糊是系统性的;原始图像中的每个点都被一个函数模糊了,该函数的衰减方式为 1/r1/r1/r,其中 rrr 是与该点的距离。

因此,为了得到清晰的图像,我们需要应用一个“去模糊”或锐化滤波器。什么才是正确的滤波器呢?答案再次来自傅里叶切片定理。当我们通过将二维傅里叶逆积分转换为极坐标来仔细推导重建公式时,一个关键项从坐标变换的几何结构(雅可比因子)中出现。这个项就是 ∣ω∣|\omega|∣ω∣,其中 ω\omegaω 是投影中的空间频率。这就是著名的​​斜坡滤波器​​。

这就给了我们完整的FBP算法。它是一个两步舞:

  1. ​​滤波​​:在反投影之前,我们对每个投影 p(θ,s)p(\theta, s)p(θ,s) 进行滤波。在傅里叶域,这意味着将投影的一维傅里叶变换 Pθ(ω)P_\theta(\omega)Pθ​(ω) 乘以斜坡滤波器 ∣ω∣|\omega|∣ω∣。这个操作选择性地放大了每个投影的高频分量,以一种非常精确的方式有效地锐化它们。
  2. ​​反投影​​:然后我们将这些经过滤波、锐化后的新投影反投影到图像平面上。

结果是原始切片的近乎完美的重建。简单反投影的模糊效应被斜坡滤波器的预先锐化完美地抵消了。这种滤波与反投影之间的优美对偶性,是当今几乎所有商用CT扫描仪的核心技术。

完美的陷阱:不适定性与伪影

这个故事似乎完整而完美。但在现实世界中,这个优雅的数学机器遇到了一些严重的麻烦。问题出在斜坡滤波器 ∣ω∣|\omega|∣ω∣ 上。它是一个放大器,其增益随着频率的增高而无限增加。

现实世界的测量永远不是完美的;它们总是被一定量的随机​​噪声​​所污染。这种噪声,特别是如果是“白噪声”,包含所有频率的成分。当我们应用斜坡滤波器时,我们不仅锐化了真实的信号,还极大地放大了高频噪声。数据中一个微小、不可见的抖动可能会在最终图像中被放大成一个刺眼、颗粒状的伪影。这种对噪声的极端敏感性是数学家所称的​​不适定问题​​的典型标志。

为了使反演实用化,我们必须“驯服”斜坡滤波器。我们通过将其与一个​​窗函数​​(如 Shepp-Logan 窗或汉明窗)相乘来实现,该窗函数在高频处平滑地衰减至零。这种修正后的滤波器仍然可以锐化图像,但避免了放大噪声占主导地位的最高频率。这是一个被称为​​偏差-方差权衡​​的基本妥协:我们引入少量的模糊(偏差)以实现噪声(方差)的大幅减少,从而得到一个有用、稳定的图像。

当我们的测量数据不仅仅是充满噪声,而是从根本上与拉东变换模型不一致时,一个更深层次的问题出现了。例如,在扫描含有金属植入物的物体时就会发生这种情况。简单的比尔-朗伯定律假设X射线束是单能的,但真实的扫描仪产生的是多色谱。对于穿过金属的射线,低能X射线被吸收得更强,这种现象称为​​束流硬化​​。在极端情况下,几乎没有光子能够穿透,导致​​光子饥饿​​。

这些效应导致测量的投影数据违反了真正的拉东变换必须遵守的严格数学规则,即​​Helgason-Ludwig 一致性条件​​。例如,其中一个条件表明,一个投影中所有衰减值的总和对于每个角度都必须相同;如果某些视图穿过致密的金属物体而其他视图没有,这个条件显然被违反了。当我们将这种不一致的、“非拉东式”的数据输入FBP算法时,斜坡滤波器将这些不一致性当作是物体的尖锐特征并将其放大。然后,反投影步骤将这些被放大的误差涂抹到整个图像上,产生了从金属辐射出的特有的明暗​​条纹伪影​​,严重降低了图像质量。这有力地提醒我们,我们优美的数学工具的好坏,取决于它们所建立的物理模型。

应用与跨学科联系

在穿越了拉东变换的数学腹地之后,我们现在来到了这个优美思想帮助建立的繁华都市与广阔景观。欣赏一个定理的优雅是一回事,而看到它在实践中解决实际问题、揭示隐藏世界、甚至启发新的思维方式,则是另一回事。拉东变换不仅仅是数学家的一个奇思妙想;它是一种基本的感知工具,一个我们学会用来看见无形世界的透镜。

生命与物质的蓝图

最著名的应用,当然是能在不切开物体的情况下看到其内部。想象一下,你有一个内部结构未知的物体,你只能通过向它发射射线来探测。这就是断层成像的挑战,而拉东变换是它的母语。

在医院的计算机断层扫描(CT)仪中,一个旋转的X射线源向病人体内发射光束。X射线能量被吸收的量取决于路径上组织的密度。根据比尔-朗伯定律,这种衰减是指数级的。但一个巧妙的技巧——对强度测量值取对数——使问题线性化了。你最终得到的是一组数字,每个数字代表沿身体某条特定线路的总衰减。这个由成百上千条线路在数百个不同角度下的线积分集合,正是病人内部组织密度图的拉东变换。扫描仪实际上已经从每个可能的方向测量了物体的“阴影”。正弦图就是这些阴影的完整记录。

但是,你如何从它的阴影中重建物体呢?这就是傅里叶切片定理的魔力所在。这个深奥的定理告诉我们,单个投影(单个阴影)的一维傅里叶变换,完全等同于物体本身二维傅里叶变换中心的一个切片。通过收集所有角度的投影,我们可以将所有径向切片组装起来,建立起物体频率内容的完整图像。然后,进行傅里叶逆变换就能得到原始图像。

在实践中,这是通过一种称为​​滤波反投影(FBP)​​的算法来实现的。你可能会问,为什么是“滤波”?为什么不直接把每个阴影从它被拍摄的方向“涂抹”回图像上呢?这个直观的想法,称为简单反投影,是个不错的开始,但效果并不理想。如果你尝试这样做,你会得到一个令人沮丧的模糊版本的真实物体。在数学上,简单反投影是将真实图像与一个模糊函数进行卷积,该函数的行为类似于 1/r1/r1/r,其中 rrr 是与一个点的距离。为了消除这种模糊,我们必须在涂抹回投影之前先对其进行“锐化”。这种锐化就是“滤波”步骤。这个滤波器,被称为斜坡滤波器,是一种高通滤波器,它能提升高频,精确地抵消反投影过程的模糊效应。从滤波和反投影这两步舞中浮现出来的,是一幅清晰的横截面图像。

同样的原理,同样的舞蹈,其应用远不止X射线。在正电子发射断层扫描(PET)中,病人被给予一种放射性示踪剂,它会积聚在特定组织中,例如,在大脑中代谢活动高的区域或神经炎症区域。示踪剂发射正电子,正电子与电子湮灭产生一对沿相反方向行进的光子。扫描仪探测到这些光子对,每次探测都定义了一条线——一条响应线——湮灭就发生在这条线上。沿每条线的探测次数,再次是示踪剂浓度的线积分。得到的正弦图是示踪剂分布的拉东变换,而FBP被用来重建图像,揭示身体内部的功能过程,例如痴呆症中突触密度的损失。无论我们是测量从外到内的衰减(CT),还是从内到外的发射(PET),同样的数学都适用,这优美地展示了其基本原理的统一性。

而且这个原理甚至不局限于医学。在材料科学中,CT是无损检测的重要工具,让工程师能够检查涡轮叶片或复合材料的内部结构,寻找微小的裂纹,而无需动用钻头。物理原理是相同的,只是对象变了。

驾驭不完美与拥抱复杂性

然而,现实世界很少像我们理想模型那样纯净。当简单的线性关系被打破时会发生什么?在CT中,将金属物体如牙科填充物或外科植入物置于X射线束中会造成混乱。金属密度如此之高,以至于它吸收了几乎所有的光子(一种称为光子饥饿的效应),并且通过比高能X射线更多地吸收低能X射线来硬化光束。沿着这些线路的测量结果不再是简单的积分,正弦图也因此被破坏,导致重建图像中出现严重的条纹伪影。

在这里,拉东变换显示了其多功能性。在一个巧妙的角色转换中,我们可以利用变换不仅进行重建,还可以诊断问题。首先,我们进行初步重建,包括所有的伪影。然后我们分割这个图像,创建一个识别金属位置的二值掩模。现在,我们对这个掩模应用拉东变换——这个过程称为​​正向投影​​。结果是一个新的正弦图,它精确地显示了原始测量中哪些射线穿过了金属。这些就是被破坏的测量值。一旦被识别出来,它们就可以被校正或替换,从而得到一个更清晰的最终图像。变换成为一个在图像域和阴影域之间映射的工具,帮助我们清理数据。

这种提纯图像的想法指向了现代的​​迭代重建​​范式。与直接、一次性的FBP算法不同,我们可以将重建视为一个优化问题。我们从一个图像的初始猜测开始(一个简单的反投影是一个很好的起点),然后迭代地完善它。在每一步中,我们使用正向拉东变换(由系统矩阵 AAA 表示)来模拟我们当前图像猜测下的正弦图会是什么样子。我们将这个模拟的正弦图与真实测量值 bbb 进行比较,并更新我们的图像以减少误差。为了引导解向一个合理的结果发展,我们添加一个正则化项 R(x)R(x)R(x),它惩罚不切实际的图像(例如,过于嘈杂的图像)。问题就变成了找到图像 xxx,使得目标函数 ∥Ax−b∥W2+λR(x)\|A x - b\|_{W}^{2} + \lambda R(x)∥Ax−b∥W2​+λR(x) 最小化,其中 WWW 是一个考虑噪声统计特性的加权矩阵。在这里,拉东变换是正向模型的核心,是我们猜测与证据之间的桥梁。

一种通用的线性语言

拉东变换真正的天才之处在于,它从根本上是关于检测二维函数中的线性结构。“函数”不一定是一个物理对象。考虑一下声音的频谱图,一个频率随时间变化的图。想象一个包含“线性调频”的信号,其中频率随时间线性增加,就像鸟鸣声或雷达脉冲的声音。在频谱图上,这个调频信号表现为一条直线。

如果你有一个包含多个重叠调频信号的复杂信号,可能很难将它们分离开。但是,如果我们将频谱图视为一幅图像并应用拉东变换,奇妙的事情发生了。频谱图中的每条直线在拉东域中都变成了一个单一的亮点。在一个嘈杂图像中寻找直线的问题,被转化为了在拉东域中寻找峰值的更简单问题。从这些峰值的坐标,我们可以立即恢复原始调频信号的参数。这种优雅的技术在雷达和声纳处理、用于分析地震数据的地球物理学,甚至分析来自碰撞黑洞的引力波等多种领域都有应用。它提醒我们,一个强大的数学思想超越了其最初的应用。

下一前沿:人工智能时代的拉东变换

拉东变换的故事仍在书写中,其最新的篇章涉及人工智能。通常,用于医学诊断的人工智能模型,如卷积神经网络(CNN),是在CT或PET扫描的最终重建图像上进行训练的。重建算法的特性——例如,FBP的斜坡滤波器放大高频噪声的方式——直接影响输入图像的纹理和质量,从而影响人工智能模型的性能和鲁棒性。

但一个更深层次的联系正在出现。作为一个线性算子,拉东变换可以由一个稀疏矩阵 RRR 表示,这与MRI中使用的傅里叶编码的密集酉矩阵形成对比。这个矩阵可以被看作是深度神经网络中的一个“层”。研究人员现在正在创建“展开式”重建算法,其中迭代方法的步骤被转化为一系列网络层。在这个框架中,拉东变换算子 RRR 及其伴随算子(反投影器)R⊤R^\topR⊤ 成为网络中固定的、基于物理的组件。网络然后可以学习滤波数据或对图像进行正则化的最佳方式。在训练期间,使用反向传播算法,误差信号(梯度)向后流经网络——这意味着流经*反投影和拉东变换算子*。这种经典数学变换与现代深度学习的融合代表了一个激动人心的前沿,预示着重建将比以往任何时候都更快、更准确、更鲁棒。

从1917年的一篇数学论文到现代医学的核心和人工智能的前沿,拉东变换已证明是一个具有非凡力量和影响力的思想。它证明了抽象数学的持久价值,这个工具不仅让我们能够看到人体内部,还为我们提供了一种理解信息结构本身的新方式。