Causal spinfoam vertex for 4d Lorentzian quantum gravity

技術的要約：4次元ローレンツ量子重力のための因果的スピンフォーム・バーテックス

問題提起
EPRL（Engle–Pereira–Rovelli–Livine）モデルは、4次元ローレンツ・ループ量子重力（LQG）の共変な経路積分定式化を提供しており、その基本要素である遷移はバーテックス振幅によって符号化されている。しかし、標準的なEPRLモデルは、基礎となる2-複体の組合せ論的な因果構造（エッジの向き）に依存しない。スピンフォームにおける因果構造の研究は広く行われてきたが、固定された因ial構造を持つ因果的EPRLモデルは依然として未解決のままである。Barrett-Crane極限におけるLivine-Otaiモデルのような過去の試みは、アドホックな修正や特定の極限に依存していた。課題は、因果データを自然に符号化し、異なる因果的幾何学のクラスを区別し、かつ恣意的な制約なしに正しい半古典極限（Regge作用）を再現するバーテックス振幅を構築することである。

手法
著者らは、EPRLモデルのウィグナー $D$-行列を**トラー $T$-行列（Toller $T$-matrices）**に置き換えることで定義される、新しいバーテックス振幅を導入している。

1. トラー行列と $i\epsilon$ 処方： 中心的な革新は、Feynmanの $i\epsilon$ 処方をウィグナー $D$-行列に適用することによる、トラー $T$-行列 $T^{(\pm)}$ の定義である。これらの行列は、$T^{(+)} + T^{(-)} = D$（ここで $D$ はローレンツ群 $SL(2, \mathbb{C})$ のユニタリなウィグナー $D$-行列）という関係によって定義される。$T^{(\pm)}$ 行列は、$SL(2, \mathbb{C})$ 上の多項式的に有界な関数であり、その極構造（トラー極）によって特徴付けられる。著者らは、これらの極を符号化し、超幾何関数を用いて簡約された $t$-行列を計算することを可能にする明示的な積分表示（式3）を提供している。
2. 因果的バーテックスの定義： 4-単体のエッジ $a=1,\dots,5$ に双対な頂点に対して、因果的向きは変数 $\sigma_a = \pm 1$ （入射/流出）によって与えられる。ウェッジ $(ab)$には、符号$\kappa_{ab} = \sigma_a \sigma_b$が割り当てられる。新しいバーテックス振幅$\langle A_v^{(\sigma_a \sigma_b)} |$ は、標準的なEPRLの定義における $D$-行列を置き換えるように、各ウェッジにトラー行列 $T^{(\sigma_a \sigma_b)}$ を関連付けることで構成される。
3. 半古典解析： 著者らは、非退化なローレンツ・レッジ幾何学（Lorentzian Regge geometries）にピークを持つ境界状態に対して、この新しい振幅のラージスピン漸近挙動（$j \to \infty$）を分析している。彼らは、EPRLモデルと同様の鞍点近似法を用い、コヒーレント状態基底におけるトラー行列の積分表示（式17）を利用している。この表示には、因果データに基づいて積分領域を制限するヘヴィサイドのステップ関数 $\theta(\sigma_a \sigma_b B)$ が含まれている。

主要な貢献と結果

1. EPRLおよびBarrett-Craneとの関係：

   • 著者らは、標準的なEPRLバーテックスが、因果的バーテックスのウェッジ符号に関する制約なしの和であることを示している：$\langle A_v^{\text{EPRL}} | = \sum_{\kappa_{ab}=\pm 1} \langle A_v^{(\kappa_{ab})} |$。
   • 決定的なことに、因果構造 $\sigma_a$ に関する和はEPRL振幅を再現しない。これは、因果的バーテックスが独自の情報を保持していることを示している。
   • 固定された面積における $\gamma \to \infty$ （Barrett-Crane極限）において、この新しいバーテックスはLivine-Otaiの因果的モデルを回復し、これまでの因果的構成（Barrett-Craneモデルに対するもの）との整合性を確認している。

2. 因果的剛性（Causal Rigidity）と半古典極限：

   • ラージスピン極限の分析により、「因果的剛性」と呼ばれる現象が明らかになった。
   • 境界状態が、因果データ $s_a = \pm 1$ （未来/過去方向の法線）によって特徴付けられるローレンツ・レッジ幾何学にピークを持つ場合、バーテックス振幅は、組合せ論的データと幾何学的因果符号が一致するかどうかに応じて異なる挙動を示す。
   • 組合せ論的ウェッジの符号が幾何学的因果符号と一致する場合（$\sigma_a \sigma_b = s_a s_b$）、振幅は単一の鞍点によって支配され、単一の振動指数関数を与える：
     $$\langle A_v | \Psi \rangle \sim e^{+i S_{\text{Regge}}/\hbar}$$
   • 符号が一致しない場合、鞍点はステップ関数によって定義された制限された積分領域の外側に落ちるため、振幅は指数関数的に抑制される（$O(\lambda^{-N})$）。
   • これにより、固定された組合せ論的因果構造と互換性のあるローレンツ・レッジ幾何学のみが選択される（例えば、バーテックスが $1 \leftrightarrow 4$ 用に設定されているときに $2 \leftrightarrow 3$ 遷移を抑制するなど）。

3. アドホックな修正との区別：

   • 因果構造を固定するためにコヒーレント状態表現の中に手動でステップ関数を挿入した従来の提案とは異なり、本構成は、トラー行列の解析的性質とFeynmanの $i\epsilon$ 処方から、因果的選択が自然に導かれる。

意義
本論文は、この構成が、数学的に正当であり、かつ自然に因果データを符号化する、固定された因果構造を持つ初の因果的EPRLモデルを提供すると主張している。主な意義は、因果的剛性の提示にある。すなわち、バーテックス振幅は、標準的なEPRLモデルに見られる作用の余弦（cosine）ではなく、単一の指数関数 $e^{+i S_{\text{Regge}}/\hbar}$ を再現するように、幾何学の因果セクターを自動的に選択する。これは、時空体積の向きに関する経路積分における曖昧さを解消するメカニズムを示唆している。

著者らは、単一のバーテックス解析は完了しているものの、モデルの有限性の調査（トラー極による発散のチェック）、退化またはユークリッド幾何学における挙動、および固定されたエッジの向きを持つ多数の頂点を含む完全なスピンフォーム経路積分への拡張について、さらなる研究が必要であると述べている。また、導出されたトラー $t$-行列の解析的表現を用いた数値的実装の可能性についても強調している。