[論文レビュー] 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データから安定に再構成可能であることを確認した。