[论文解读] Generic injectivity of the X-ray transform

Mihajlo Cekić, Thibault Lefeuvre|arXiv (Cornell University)|Jul 11, 2021

Medical Imaging Techniques and Applications被引用 4

一句话总结

该论文在闭合 Anosov 流形以及在维度 ≥3 时具有严格凸边界和双曲束缚集的流形上，建立了任意次数对称张量的 X 射线变换的通用单射性。通过使用椭圆算子的 0-特征值的摄动微局部方法，将单射性的分析问题转化为表示论中的代数条件，证明了在 Anosov 度量的通用邻域内具有局部谱刚性与局部标记长度谱刚性——这一结果超越了负曲率和二维情形的限制。

ABSTRACT

In dimensions $\geq 3$, we prove that the X-ray transform of symmetric tensors of arbitrary degree is generically injective with respect to the metric on closed Anosov manifolds and on manifolds with spherical strictly convex boundary, no conjugate points and a hyperbolic trapped set. This has two immediate corollaries: local spectral rigidity, and local marked length spectrum rigidity (building on earlier work by Guillarmou, Knieper and the second author [arXiv:1806.04218], [arXiv:1909.08666]), in a neighbourhood of a generic Anosov metric. In both cases, this is the first work going beyond the negatively curved assumption or dimension $2$. Our method, initiated in [arXiv:2008.09191] and fully developed in the present paper, is based on a perturbative argument of the $0$-eigenvalue of elliptic operators via microlocal analysis which turn the analytic problem of injectivity into an algebraic problem of representation theory. When the manifold is equipped with a Hermitian vector bundle together with a unitary connection, we also show that the twisted X-ray transform of symmetric tensors (with values in that bundle) is generically injective with respect to the connection. This property turns out to be crucial when solving the $ extit{holonomy inverse problem}$, as studied in a subsequent article [arXiv:2105.06376].

研究动机与目标

• 在维度 ≥3 的 Anosov 流形上，建立任意次数对称张量的 X 射线变换的通用单射性。
• 将单射性结果扩展至具有严格凸边界、无共轭点且具有双曲束缚集的流形。
• 在 Anosov 度量的通用邻域内证明局部谱刚性与局部标记长度谱刚性，突破以往对负曲率或二维的假设。
• 发展一种摄动微局部方法，将分析性单射性问题与代数表示理论联系起来。
• 将结果推广至具有酉联络的全纯向量丛上的扭曲 X 射线变换，这对解决全息反问题至关重要。

提出的方法

• 通过微局部分析对椭圆算子的 0-特征值使用摄动论证，将 X 射线变换单射性的分析问题转化为表示论中的代数问题。
• 利用测地流的结构及其不变分解 $ T(SM) = \mathbb{R}X \oplus E_s \oplus E_u $，分析 Anosov 流形上的 X 射线变换。
• 采用 X 射线变换 $ I^g_m = I^g \circ \pi_m^* $，其中 $ \pi_m^* $ 将对称张量拉回到球丛 $ SM $，并通过余边界分解研究其核。
• 依赖于分解 $ f = Dp + h $，其中 $ D^*h = 0 $，将单射性问题约化为 $ I^g_m $ 的无源单射性（s-单射性）。
• 将分析扩展至取值于配备酉联络的全息向量丛上的扭曲 X 射线变换，证明了关于联络的通用单射性。
• 使用边界延拓技术：若 $ h $ 在边界处无限阶为零且 $ I^g_m h = 0 $ 在 $ M $ 上成立，则 $ h $ 为余边界，通过轨道的稠密性与对径映射下的对称性施加对 $ u $ 的边界条件。

实验结果

研究问题

• RQ1 在维度 ≥3 的 Anosov 流形上，对称张量的 X 射线变换是否对任意次数具有通用单射性？
• RQ2 能否在不假设负曲率或二维的前提下，在 Anosov 度量的通用邻域内建立局部谱刚性？
• RQ3 在更高维度中，Anosov 度量的局部标记长度谱刚性是否成立，超越此前已知的情形？
• RQ4 能否在通用意义下建立具有酉联络的扭曲 X 射线变换的单射性？这与全息反问题有何关联？
• RQ5 微局部分析与表示理论在将 X 射线变换单射性的分析问题约化为代数条件方面起到何种作用？

主要发现

• 在维度 ≥3 的闭合 Anosov 流形上，任意次数对称张量的 X 射线变换具有通用单射性。
• 在维度 ≥3 时，具有球面对严格凸边界、无共轭点且具有双曲束缚集的流形上，X 射线变换具有通用单射性。
• 在 Anosov 度量的通用邻域内，局部谱刚性成立，其结果超越了以往所需的负曲率或二维假设。
• 在 Anosov 度量的通用邻域内，局部标记长度谱刚性得以确立，无需假设负曲率或二维。
• 取值于配备酉联络的全息向量丛上的扭曲 X 射线变换，关于联络具有通用单射性，这是解决全息反问题的关键步骤。
• 该证明方法通过使用微局部分析摄动椭圆算子的 0-特征值，将单射性问题约化为代数表示论条件。