On the Uniqueness of Embeddings of Causal Sets

技術要約：因果集合の埋め込みの一意性について

問題提起
取り組まれている中心的な問題は、因果集合論における「主仮説（Hauptvermutung）」である。すなわち、単一の有限な因果集合が、マクロ的に異なる二つのローレンツ多様体へ忠実に埋め込まれることはあるか、という点である。マレットの定理は、連続的な時空の因果順序がその共形構造を決定することを確立しており、Bombelli–Lee–Meyer–Sorkinは体積情報がスケールを固定すると論じたが、有限の場合については依然として微妙な問題として残っている。近年のMüller [13] による研究は、有限集合に対しては、順序のみを保存することは一意性を保証するには不十分であることを示した。すなわち、同一の有限ポセット（poset）が、異なる時空への順序保存的な埋め込みを許容する場合がある。しかし、因果集合論において物理的に関連のある設定は、有限の密度でポアソン・スプリンクリング（Poisson sprinkling）によって得られる有限構造であり、そこでは順序と体積の両方の情報が利用可能である。本論文は、このようなポアソン・スプリンクリングされた因果集合に関する、一意性予想の定量的バージョンを証明することを目的とする。具体的には、ある因果集合が二つの時空への「良好に条件付けられた（well-conditioned）」埋め込みを許容する場合、それらの時空は高密度極限において近似的に等長（isometric）でなければならないことを示す。

手法
証明は、二つの明確な部分、すなわち決定論的な幾何学的解析（パートI）と、確率的な検証（パートII）に分かれている。

• パートI：決定論的幾何学（良好に条件付けられている $\implies$ 一意性）
  著者らは、標準的な「順序＋数」による忠実性に、第三の条件として「最長鎖の長さの固有時間としての保存」を加えた、良好に条件付けられた埋め込み（定義2.6）という概念を導入している。

1. アンカー・スカフォールド（Anchor Scaffolds）： 体積忠実性の条件（F2）を用いて、多様体の深部において、固定された良好に条件付けられたミンコフスキー配置を近似する $d+1$ 個の埋め込まれた点の「スカフォールド（足場）」が存在することを証明する（補題4.1）。
2. ローレンツ・トライラテレーション（Lorentzian Trilateration）： 主要な技術的革新は、ローレンツ・トライラテレーション恒等式（補題3.2）と、アレクサンドロフ・ズィーマンの定理の有限点版（補題3.4）の使用である。これにより、アンカー・スカフォールドへの因果距離の保存に基づき、二つの埋め込み間の局所的なローレンツ変換を再構成することが可能となる。
3. 移動するカルチャー平均（Moving Karcher Mean）： 二つのターゲット点間のグローバルな写像 $\Phi: M_1 \to M_2$ を構成するために、ソース点の中心にガウス核を置いた、ターゲット点の移動するリーマン的重心（カルチャー平均）を定義する（構成4.5）。
4. 剛性と等長性： （体積忠実性により保証される）局所的な点群の非退化性（補題4.3）と距離保存（F3）を組み合わせることで、$\Phi$ の微分が近似的なローレンツ変換であることを示す。その後、次数の議論（命題4.12）によって、この局所的な微分同相写像をグローバルな微分同相写像へと格上げし、引き戻された計量 $\Phi^* g_2$ が誤差 $\epsilon$ で $g_1$ を近似することを証明する。ここで $\epsilon$ は密度が増加するにつれて消失する。

• パートII：確率的検証（ポアソン・スプリンクリングは良好に条件付けられている）
  著者らは、高密度 $\rho$ におけるポアソン・スプリンクリングが高確率で「良好に条件付けられた」定義を満たすことを示す。

1. 順序と体積： 順序の保存（F1）は構成に内在している。体積忠実性（F2）は、因果ダイヤモンド内の点数に適用されたチェルノフ集中不等式から導かれ、これはメゾスコピックなネットへの和集合境界（union bound）へと拡張される（補題5.2）。
2. 最長鎖の対応： 最長因果鎖の長さと固有時間の対応（F3）は、部分順序における最長鎖に関するボラボス–ブリットウェル（Bollobás–Brightwell）の定理を適応することで確立される。著者らは、「コーン・サンドイッチ（cone-sandwiching）」論法を用いて、平坦な空間の推定値を曲がった時空へと転送する（命題5.3）。
3. スカフォールドの存在： アンカー・スカフォールドの存在は、体積条件（F2）から決定論的に従うことが示されており、別途の確率的推定を必要としない。

主要な貢献

1. 定量的一意性： 本論文は、ポアソン・スプリンクリングから生じる有限な因果集合に対する主仮説の、初の定量的証明を提供する。二つの時空がそのような埋め込みを許容する場合、それらは $\epsilon$-近似等長関係にあり、明示的な誤差項 $\epsilon(\rho, \lambda)$ を持つことを確立している。
2. 良好に条件付けられた埋め込み： 「良好に条件付けられた埋め込み」の定義は、仮説の幾何学的内容をその確率的な内容から分離し、決定論的な幾何学的剛性とスプリンクリングの統計的性質を切り離している。
3. 移動するカルチャー平均による構成： 本論文は、点間の対応関係のカルチャー平均に基づく滑らかなグローバル写像の構成を導入しており、これが多様体上のノイズを含む点集合に対する堅牢な補間手法として機能する。
4. 体積 vs 順序の役割： 解析は、順序と体積の構造的役割を明確にしている。従来の「順序は共形構造を固定し、体積はスケールを固定する」という二分法とは対照的に、本研究は、最長鎖の保存（F3）が存在する場合、順序（鎖／固有時間の対応を通じて）がスケールを固定し、体積条件（F2）は主に局所的な再構成の非退化性と等方性を保証する役割を担うことを示している。

結果

• 定理 4.18： 有限な因果集合 $C$ が、二つの全域双曲的時空 $(M_1, g_1)$ および $(M_2, g_2)$ への良好に条件付けられた埋め込みを許容する場合、それらの深部において、$\|\Phi^* g_2 - g_1\| = O(\rho^{-2/(5d)} \lambda^{-2/5} \log^{3/2}(\rho V))$ を満たす滑らかな微分同相写像 $\Phi$ が存在する。
• 系 5.6： 共通の密度 $\rho$ でポアソン・スプリンクリングされた単一の因果集合は、二つのマクロ的に異なる時空の忠実なスプリングリングであることはあり得ない。高密度極限（$\rho \to \infty$）において、二つの幾何学は明示的な誤差範囲内で一致することを強制される。その際、失敗する確率は密度の冪乗として減衰する。

意義と主張
本論文は、物理的に関連のあるポアソン・スプリンクリングの設定において、主仮説の「有限集合」形式の解決を主張している。Müller [13] による反例に対し、順序だけでは不十分であるが、順序、体積（ポアソン統計を介して）、および漸近的な高密度極限の組み合わせがあれば、幾何学を一意に回復できることを示すことで、それらへの回答を与えている。

著者らは、自らの結果が、離散データから連続幾何学への収束に関する定量的な記述であることを強調している。彼らは、任意の有限ポセットや、「良好に条件付けられた」基準を満たさない埋め込みについて問題を解決したと主張しているのではない。その意義は、決定論的な幾何学的枠組みを提供し、因果集合プログラムの核心的な仮定、すなわち「時空の幾何学は、離散構造の因果順序と体積の情報から一意に創発する」ということを検証した点にある。誤差範囲は明示的であり、密度が増加するにつれて近似が改善することを示しており、これにより離散的な因果集合と連続的なローレンツ多様体の間の溝を埋めている。