[논문 리뷰] Generic injectivity of the X-ray transform

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

Medical Imaging Techniques and Applications인용 수 4

한 줄 요약

이 논문은 차수에 관계없이 대칭 텐서의 X선 변환이 닫힌 Anosov 다양체 및 차수 ≥3에서 강한 볼록 경계와 초구형 잡힌 집합을 갖는 다양체에서 일반적으로 단사임을 확립한다. 타원형 연산자의 0-고유값에 대한 미소 해석적 접근을 통해 분석적 단사성 문제를 표현 이론적 대수적 조건으로 환원함으로써, 음의 곡률이나 차원 2를 초월하여 국소 스펙트럼 강성 및 국소 표시 길이 스펙트럼 강성을 일반적인 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].

연구 동기 및 목표

• Anosov 다양체에서 차수에 관계없이 대칭 텐서의 X선 변환이 차수 ≥3에서 일반적으로 단사임을 확립한다.
• 강한 볼록 경계, 공액점 없음, 초구형 잡힌 집합을 갖는 다양체로 단사성 결과를 확장한다.
• 이전의 음의 곡률 또는 차원 2의 가정 없이, Anosov 메트릭의 일반적인 근방에서 국소 스펙트럼 강성 및 국소 표시 길이 스펙트럼 강성을 증명한다.
• 분석적 단사성 문제와 표현 이론 간의 연결 고리를 제공하는 미소 해석적 방법을 개발한다.
• 헤르미트 벡터 번들의 단위 연결을 갖는 왜곡된 X선 변환으로 결과를 확장하여, 호로노미 역문제를 해결하는 데 핵심적인 단계를 확보한다.

제안 방법

• 타원형 연산자의 0-고유값에 대한 미소 해석적 접근을 통해 분석적 단사성 문제를 표현 이론의 대수적 문제로 전환한다.
• 지오데식 흐름의 구조와 그 불변 분해 $ 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-injectivity)으로 환원한다.
• 헤르미트 벡터 번들과 단위 연결을 갖는 왜곡된 X선 변환으로 분석을 확장하며, 연결에 대해 일반적인 단사성을 증명한다.
• 경계 연장 기법을 활용: $ h $ 가 경계에서 무한 차수로 0이 되고 $ I^g_m h = 0 $ 이면 $ h $ 는 코바운드리이며, 궤도의 조밀성과 반대칭 사상에 대한 대칭성에 의해 $ u $ 에 대한 경계 조건이 강제된다.

실험 결과

연구 질문

• RQ1 Anosov 다양체에서 차수에 관계없이 대칭 텐서의 X선 변환이 차수 ≥3에서 일반적으로 단사적인가?
• RQ2 음의 곡률이나 차원 2를 가정하지 않고, Anosov 메트릭의 일반적인 근방에서 국소 스펙트럼 강성을 확립할 수 있는가?
• RQ3 이전에 알려진 사례를 초월하여 고차원에서 Anosov 메트릭 근방에서 국소 표시 길이 스펙트럼 강성이 성립하는가?
• RQ4 단위 연결을 갖는 왜곡된 X선 변환의 단사성이 일반적으로 확립될 수 있으며, 이는 호로노미 역문제와 어떻게 관련되는가?
• RQ5 미소 해석학과 표현 이론은 X선 변환 단사성의 분석 문제를 어떻게 대수적 조건으로 환원하는가?

주요 결과

• 차수에 관계없이 대칭 텐서의 X선 변환은 차수 ≥3에서 닫힌 Anosov 다양체에서 일반적으로 단사적이다.
• 강한 볼록 경계, 공액점 없음, 초구형 잡힌 집합을 갖는 다양체에서 차수 ≥3에서 X선 변환은 일반적으로 단사적이다.
• 이전에 요구되었던 음의 곡률나 차원 2를 초월하여, Anosov 메트릭의 일반적인 근방에서 국소 스펙트럼 강성이 성립한다.
• 이전에 알려진 경우를 초월하여, Anosov 메트릭의 일반적인 근방에서 국소 표시 길이 스펙트럼 강성이 확립된다.
• 헤르미트 벡터 번들과 단위 연결을 갖는 왜곡된 X선 변환은 연결에 대해 일반적으로 단사적임을 증명하였으며, 이는 호로노미 역문제 해결의 핵심 단계이다.
• 증명 기법은 미소 해석학을 통해 타원형 연산자의 0-고유값을 변형함으로써 분석적 단사성 문제를 표현 이론적 대수적 조건으로 환원한다.