[论文解读] On the inverse problem of finding cosmic strings and other topological defects

Matti Lassas, Lauri Oksanen+2 more|arXiv (Cornell University)|May 12, 2015

Numerical methods in inverse problems参考文献 39被引用 19

一句话总结

本文提出了一套微局部分析框架，通过线性化宇宙微波背景（CMB）测量来探测时空奇点——如宇宙弦和拓扑缺陷。利用弗里德曼-勒梅特-罗伯逊-沃尔克时空上的光子射线变换，证明了类空奇点（传播速度低于光速）可在CMB数据中被观测到，而超光速奇点则因规范不变性而不可见，从而为在不预先假设几何形态的前提下，严格解决未知缺陷的反问题提供了方法。

ABSTRACT

We consider how microlocal methods developed for tomographic problems can be used to detect singularities of the Lorentzian metric of the Universe using measurements of the Cosmic Microwave Background radiation. The physical model we study is mathematically rigorous but highly idealized.

研究动机与目标

• 解决从CMB测量中反演洛伦兹度量中时空奇点的反问题。
• 表征通过层析成像方法可探测的奇点类型（如宇宙弦、单极子或宇宙壁）。
• 开发一种数学上严格、与模型无关的框架，无需预先知晓缺陷的几何形态。
• 阐明规范不变性（微分同胚与共形变换）在使某些奇点对CMB测量不可见中的作用。
• 将医学层析成像中的微局部技术拓展至宇宙学反问题，尤其针对非光滑时空结构。

提出的方法

• 采用CMB测量的线性化模型表述反问题，将度量的波前集视为未知量。
• 在1+3维弗里德曼-勒梅特-罗伯逊-沃尔克时空中应用光子射线变换的微局部分析，限制于类光测地线。
• 将问题约化为在势场与度量的共形倍数的等价类下，微局部地反演光子射线变换。
• 利用光子射线变换的正规算子，并计算其主符号为在类空余切向量锥面上的傅里叶乘子。
• 通过共形不变性与规范不变性识别变换的核，表明仅亚光速奇点对可观测数据有贡献。
• 采用参数化技术与伪微分算子微积分，通过正规算子的符号表征可见性。

实验结果

研究问题

• RQ1 使用线性化层析成像方法时，哪些时空奇点可在CMB测量中被探测到？
• RQ2 奇点传播速度（相对于光速）如何影响其在CMB数据中的可见性？
• RQ3 微分同胚与共形不变性在使某些奇点对CMB测量不可见的过程中起什么作用？
• RQ4 微局部分析能否在不假设其几何形态的前提下，区分可见与不可见奇点？
• RQ5 在宇宙学时空中光子射线变换的背景下，奇点可见性的精确数学表征是什么？

主要发现

• 以低于光速运动的奇点（类空余切向量）在CMB测量中可见，因其波前集会出现在数据的波前集中。
• 超光速奇点不可见，因为它们位于线性化测量算子的核中，这是由规范不变性导致的。
• 光子射线变换正规算子的主符号是在类空余切向量锥面上的非退化傅里叶乘子，从而支持微局部反演。
• 可见性条件等价于存在一条光子射线与奇点截断函数的支集相交，从而确保可探测性。
• 线性化算子的核包含势场与度量的共形倍数，对应于物理上的规范对称性。
• 在可见的类空奇点附近，该算子存在一个参数解，证实其可从CMB数据中稳定重建。