The $1/c$ expansion of general relativity in a $3+1$ formulation, revisited

この論文は、アインシュタインの「一般相対性理論」という、宇宙の重力を説明する非常に難しい理論を、私たちが普段感じているような「ゆっくりした動き（非相対論的）」の世界に近づけるための、新しい計算方法を紹介しています。

専門用語を避け、わかりやすい例え話を使って説明しましょう。

1. 背景：巨大な理論を小さくする「1/c 展開」

一般相対性理論は、光の速さ（ $c$ ）が無限大に近い極限で成り立つ理論です。しかし、私たちが住む地球や太陽系のような場所では、光の速さは「無限大」ではなく「非常に速いだけ」です。

この論文では、「光の速さを無限大とみなす」のではなく、「光の速さの逆数（ $1/c$ ）」を小さな値として、理論を少しずつ修正していく方法（1/c 展開）を使っています。

イメージ: 高解像度の写真（相対性理論）を、少しピントをぼかして、私たちの目に見える普通の写真（ニュートン力学に近いもの）に変換していく作業です。

2. 従来の方法 vs 新しい方法

これまで、この計算をするには「ADM 分解」と「KS 分解」という、2 つの異なる「切り方（視点）」のどちらかを選ぶ必要がありました。

従来の方法: 「今日は ADM 分解で計算しよう」と決めて、そのルールに従って一つ一つ計算していく。
- 問題点: ADM で計算した結果と、KS で計算した結果が、本当に同じことを言っているのか、確認するのが大変でした。まるで、左目と右目で別々に写真を撮り、後で「本当に同じ景色？」と比べるようなものです。
この論文の新しい方法（マトリョーシカ人形）:
著者のマフムト・エルビスタンさんは、**「どちらの切り方を選ぶかを決めずに、まずは共通の『親』となる理論を計算しよう」**と考えました。
- マトリョーシカ人形の例え:
  大きなマトリョーシカ人形（親の理論）の中に、中の人形（1 段階目の計算）、さらにその中に小さな人形（2 段階目の計算）が入っています。
  従来の方法では、外側の人形を剥がすたびに「左目用」か「右目用」か選んでいました。
  しかし、この論文では**「外側の人形を剥がす作業そのものを、共通のルールで行う」という新しい手順を開発しました。
  これにより、「左目用」と「右目用」の両方に使える、万能な計算式**が生まれました。

3. この研究のすごいところ

二重性（デュアリティ）の発見:
ADM と KS という 2 つの異なる切り方は、実は「鏡像」のように互いに関係していました（双対性）。この論文は、その関係性が「計算の過程」でも保たれていることを証明しました。つまり、**「どちらの視点で見ても、同じ物理法則が成り立っている」**ことを、新しい計算方法で鮮やかに示しました。
より高い精度:
過去の研究では、計算を $1/c^2$ $1/ c^{2}$ までしか進められませんでした。この新しい「マトリョーシカ方式」を使うことで、 $1/c^3$ （より高い精度）まで計算を進めることに成功しました。
- 例え: これまで「おおよその重さ」しか測れなかった秤が、この新しい方法を使うと「より細かいグラム単位」まで測れるようになった感じです。
応用範囲の広さ:
この方法は、特定の切り方に縛られないため、ブラックホールや中性子星のような「強い重力場」を持つ天体の研究や、将来は凝縮系物理学（物質の性質を研究する分野）への応用も期待されています。

4. まとめ

この論文は、複雑な宇宙の重力理論を、私たちが理解しやすい形に落とし込むための**「新しい計算の道具箱」**を作ったものです。

これまで: 2 つの異なる道具（ADM と KS）を別々に使わなければならず、手間がかかっていた。
これから: 1 つの「万能な道具（マトリョーシカ方式）」で、どちらの視点でも高精度に計算ができるようになった。

著者は、この新しい方法を使えば、ブラックホールの合体や、高密度の星の内部構造など、これまで計算が難しかった「激しい重力現象」を、より詳しく解き明かせるようになるだろうと期待しています。

この論文「The 1/c expansion of general relativity in a 3 + 1 formulation, revisited（3+1 形式における一般相対性理論の 1/c 展開の再考）」は、一般相対性理論（GR）を光速 $c$ の逆数（ $1/c$ ）で展開する非相対論的近似手法について、新しい統一的な枠組みを提案し、その適用性を示した研究です。

以下に、問題意識、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題意識と背景

既存の手法の限界: 一般相対性理論の非相対論的近似として、ポス・ニュートン（PN）展開や、以前に Kol-Smolkin（KS）分解を用いた $1/c$ 展開（大 $c$ 展開）が存在します。しかし、従来の展開手法では、特定の分解（ADM 分解または KS 分解）を最初に選択し、その分解に特有の項を個別に処理する必要がありました。
双対性（Duality）の活用: ADM 分解と KS 分解は互いに双対（メトリックとその逆の役割が入れ替わる）の関係にあり、同じアインシュタイン・ヒルベルト作用の共通形式を持つことが知られていました。しかし、展開のレベルでこの双対性がどのように維持されるか、あるいは統一的に扱えるかについては未解決でした。
既存研究の限界: 先行研究 [20] は KS 分解に焦点を当てて $c^{-2}$ 次までの展開を行いましたが、より高次（ $c^{-3}$ 次など）への展開や、ADM 分解への統一的な適用は行われていませんでした。

2. 手法：「マトリョーシカ」ステップ展開法

著者は、特定の分解を事前に選択することなく、親作用（Parent Action）から直接展開を行う新しい手法を開発しました。

親作用の共通化: ADM 分解と KS 分解の両方に共通するアインシュタイン・ヒルベルト作用 $S_{EH} = \int (\hat{R} + K_{ij}K^{ij} - K^2) n_t \sqrt{h} \, d^{d+1}x$ を出発点とします。
ステップ展開（Matryoshka Dolls）:
- 従来の手法では、項を $1/c$ の次数ごとに分類してから展開を行っていましたが、著者はこれを逆転させ、「ステップ」と呼ばれる階層的な構造を導入しました。
- ステップ 0: 展開前のラグラジアンのまま（ $c^0, c^{-1}, c^{-2}$ の項を含む）。
- ステップ 1: ステップ 0 の各項を次の次数へシフトさせたもの（ $c^{-1}, c^{-2}, c^{-3}$ の項を含む）。
- ステップ $n$ : $c^{-n}, c^{-(n+1)}, c^{-(n+2)}$ の項を含み、すべての前のステップの要素を内包する「入れ子構造（マトリョーシカ）」を形成します。
恒等式の活用: 計量の共変微分に関する恒等式 $\hat{D}_i h_{jk} = 0$ を各ステップで拡張し、逆計量やクリストッフェル記号の展開を系統的に導出する恒等式を構築しました。これにより、分解に依存しない一般的な計算が可能になります。

3. 主要な貢献と結果

この手法を用いて、以下の具体的な成果を挙げました。

統一的な展開スキームの確立:
- 特定の分解（ADM または KS）を指定せずに、親作用に対して $c^{-3}$ 次までの展開を系統的に行うアルゴリズムを構築しました。
- この結果は、分解を選択した後に代入するだけで、両方の形式に適用可能です。
ADM 分解における $c^{-3}$ 次展開の初導出:
- 従来の研究では $c^{-2}$ 次までしか扱われていなかった KS 分解に対し、この手法を ADM 分解に適用し、 $c^{-3}$ 次までのラグラジアンを明示的に導出しました（第 7 節）。
- これにより、1PN（1 次ポス・ニュートン）オーダーを超えた高次の項を捉えることが可能になりました。
KS 分解における $c^{-1}$ 次展開の確認:
- 双対性を検証するために、KS 分解においても $c^{-1}$ 次までの展開を行い、ADM 結果との対応関係（双対性）を確認しました（第 8 節）。
すべての次数に関する一般的な観察:
- 任意の次数 $n$ において、 $n$ 次の場に関する線形項がラグラジアンの特定の部分に現れるという一般的な性質を指摘しました（第 8.2 節）。

4. 技術的な詳細と特徴

時間微分の扱い: 展開の各ステップにおいて、時間微分を含む項と含まない項がどのように次数に寄与するかを明確に区別しました。ADM 分解では時間微分を含む項が特定の次数に現れやすいという特徴（ $e^\mu_i = \delta^\mu_i$ となるため）が、計算の簡略化に寄与することが示されました。
ゲージ選択の柔軟性: 展開式は一般的なゲージ選択（例： $h_{ij} a^{ij} = 0$ などの条件）に依存せず、任意のゲージで適用可能な形式で提示されています。
ニュートン極限との整合性: 付録 C では、場の再定義（ $n_t \to e^{\psi/2}$ など）を通じて、この展開がニュートン極限においてポアソン方程式を再現することを確認しています。

5. 意義と将来展望

理論的意義:
- ADM と KS の双対性が、展開の過程においても維持されることを示し、一般相対性理論の非相対論的展開における統一的な理解を深めました。
- 「マトリョーシカ」アプローチは、複雑な高次項の計算を簡素化し、透明性の高いアルゴリズムを提供します。
応用可能性:
- 強重力場（中性子星の合体、ブラックホール合体など）における高精度な重力波波形の生成や、非相対論的重力理論（Newton-Cartan 理論や Carroll 理論）との関係性の解明に貢献します。
- 凝縮系物理学（グラフェンなどのメトリックとの対応）への応用も期待されます。
今後の課題:
- 導出された $c^{-3}$ 次の ADM ラグラジアンの運動方程式の導出や、対称性の詳細な解析が今後の課題として挙げられています。また、偶数次のみを含む「偶数展開（even expansion）」への適用により、 $c^{-6}$ 次までの有効ラグラジアンの構築も可能であるとしています。

総じて、この論文は一般相対性理論の非相対論的展開において、特定の座標系に依存しない強力な計算枠組みを確立し、高次近似への道を開いた重要な研究です。

The 1/c1/c1/c expansion of general relativity in a 3+13+13+1 formulation, revisited