The trace-free Einstein tensor is not variational for the metric as field variable

この論文は、一般座標変換不変性を仮定しない一般的な局所作用汎関数に対しても、計量（またはその逆）を場の変数とする変分原理からトレース・フリーのアインシュタイン・テンソルが導出できないことを示している。

要約

この論文は、アインシュタインの一般相対性理論における「少し変わったバージョン」の方程式が、実は**「自然な法則（作用原理）から導き出せない」**という、驚くべき数学的な事実を証明したものです。

専門用語をすべて捨て、日常のたとえ話を使ってわかりやすく解説しましょう。

1. 物語の舞台：「完全なレシピ」と「欠けたレシピ」

まず、物理学の世界には**「アインシュタイン方程式」**という、宇宙の重力を記述する究極のレシピ（法則）があります。これは、宇宙のすべての現象を「ある一つの大きな料理（作用）」から作ることができる、非常に美しい形をしています。

しかし、物理学者の中には、「このレシピの**『味付け（跡）』**だけを取り除いたもの」を使いたい人がいます。

• 通常の方程式： 重力の全貌を記述する。
• 跡なし方程式（Trace-free）： 重力の全貌から「全体の重さ（跡）」という部分だけを抜いたもの。

この「跡なし方程式」は、宇宙の膨張（ダークエネルギーや宇宙定数）を説明する際におもしろい性質を持っています。通常の方程式では「宇宙定数」は最初から決まっている固定された値ですが、跡なし方程式では、**「解（答え）によって宇宙定数の値が勝手に決まる」**という、まるで魔法のような自由度があります。

2. 問題の核心：「なぜ作れないの？」

ここで、論文の著者たちが突きつけた「衝撃の事実」があります。

「この『跡なし方程式』は、どんなに工夫しても、自然な法則（作用原理）から導き出せない！」

これってどういうことでしょうか？

例え話：「料理のレシピと味」

• 通常の方程式は、ある「大きな鍋（作用）」で料理を作ると、自動的に完成する味（方程式）になります。
• しかし、**「跡なし方程式」**は、その鍋から出た料理の味を、無理やり「塩分（跡）」だけ取って薄めたようなものです。

著者たちは、**「どんなに素晴らしい鍋（ローカルな作用）を用意しても、そこから『塩分だけ取った味』を自然に導き出すことは不可能だ」**と証明しました。

3. どうやって証明したの？（「魔法の鏡」の話）

彼らは、数学の「逆変分法（Inverse Calculus of Variations）」という道具を使いました。これを**「魔法の鏡」**と呼んでみましょう。

1. 鏡に映す： 彼らは「跡なし方程式」という対象を、この「魔法の鏡（ヴァインベルク＝トンティ・ラグランジアン）」に映しました。
2. 鏡が映すもの： この鏡は、「もしこれが自然な法則から来ているなら、元の『鍋（作用）』はこうなるはずだ」という元祖レシピを映し出します。
3. 驚きの結果： 鏡に映し出された結果、**「元の鍋は『何もない（ゼロ）』」**という答えが出ました。

「ゼロの鍋から、複雑な『跡なし方程式』という料理が作れるはずがない」
つまり、この方程式は、自然な法則（作用原理）から生まれていないことが数学的に確定したのです。

4. なぜこれが重要なのか？

「じゃあ、この方程式は間違いなの？」というと、そうではありません。

• 方程式そのものは有効： 宇宙を記述する数式として、この「跡なし方程式」は非常に魅力的で、実際に使われています。
• ただの「レシピ」がないだけ： 問題は、それが「自然の根本法則（作用原理）から導かれるもの」ではないという点です。

例え話：

• 通常の重力： 「重力は、宇宙という巨大なオーケストラが奏でる『完全な交響曲』から自然に生まれる」
• 跡なし重力： 「重力は、その交響曲から『低音（低音の重み）』を無理やり消した『ハイライト版』だ」

著者たちは、「ハイライト版」は、オーケストラの楽譜（作用）から直接読み取れるものではない、と言っているのです。

5. まとめ：この論文が教えてくれること

この論文は、**「『跡なしアインシュタイン方程式』という面白いアイデアは、アインシュタインの重力理論の『自然な派生形』ではない」**と断言しています。

• もしあなたが「自然法則からすべてが導かれるはずだ」と信じているなら： この方程式は、何らかの「追加のルール」や「別の視点（補助的な場）」が必要になることを意味します。
• しかし、方程式自体は使える： 物理学者たちは、この方程式を「作用原理なし」で使うこともできますし、別の方法（ユニモジュラー重力など）で「無理やり」作用原理を作ろうとする試みもなされています。

一言で言うと：
「宇宙の重力を記述する『跡なしバージョン』は、『自然な法則（作用）』という土台から直接は生まれてこない、特別な『加工品』である」というのが、この論文が示した結論です。それは、物理学の美しさと複雑さの新しい側面を浮き彫りにした、重要な発見なのです。

技術概要

以下は、提示された論文「The trace-free Einstein tensor is not variational for the metric as field variable」の技術的な要約です。

論文要約：計量場変数としてのトレースなしアインシュタインテンソルの非変分性

1. 問題の背景と定義

一般相対性理論におけるトレースなしアインシュタイン方程式（Trace-free Einstein equations）は、以下の形をとる。
$$R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa \left( T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu} \right)$$
ここで、$n \ge 3$ は時空の次元、$R_{\mu\nu}$ はリッチテンソル、$R$ はリッチスカラー、$T_{\mu\nu}$ は物質のエネルギー・運動量テンソルである。
この方程式は、物質のエネルギー・運動量保存則 $\nabla_\mu T^{\mu\nu} = 0$ を仮定すると、積分定数として宇宙項 $\Lambda$ が現れる標準的なアインシュタイン方程式と等価であることが知られている。しかし、$\Lambda$ の扱いにおいて、標準方程式（固定パラメータ）とトレースなし方程式（積分定数）の間には概念的な違いがある。

本研究の核心となる問いは、**「トレースなしアインシュタインテンソル（左辺）が、計量（またはその逆計量）を場変数とする局所的な作用汎関数からの変分として導出されるか？」**という点である。

既知の事実として、**微分同相写像不変性（diffeomorphism invariance）**を仮定する場合、このテンソルは変分原理から導出できないことが知られていた。その理由は、微分同相不変な作用の変分は恒等的に共変発散がゼロになるが、トレースなしアインシュタインテンソル（$n \ge 3$ の場合）は恒等的に発散ゼロではないためである。

しかし、本研究は微分同相不変性の仮定を一切置かない一般の局所作用汎関数に対しても、この非変分性が成り立つことを示すことを目的としている。

2. 手法：変分補完法（Variational Completion）と Vainberg-Tonti 作用素

著者らは、**逆変分法（Inverse Calculus of Variations）の手法、特に変分補完（Variational Completion）**と呼ばれる方法を用いた。具体的には、Vainberg-Tonti 作用素（または Vainberg-Tonti ラグランジアン）の構成を用いる。

• Vainberg-Tonti 作用素の定義:
  場 $y^A$ とその微分に関するテンソル密度値の式 $E_A[y^B]$ が与えられたとき、対応するスカラー密度（ラグランジアン）$L[y^A]$ は以下のように定義される。
  $$L[y^A] := y^B \int_a^1 E_B[u y^A] du$$
  ここで、$a$ は $\lim_{u \to a} u E_A[u y^B] = 0$ を満たす値である。

• 定理の論理構造:

  1. もし $E_A$ が何らかの局所作用から変分して得られる（局所変分的である）ならば、その Vainberg-Tonti 作用素 $L$ から得られるオイラー・ラグランジュ方程式は元の $E_A$ と一致する。
  2. 逆に、Vainberg-Tonti 作用素 $L$ が存在し、それを変分して得られる式が $E_A$ と異なる場合、$E_A$ は局所変分的ではない。

本研究では、この論理の対偶を用いて、トレースなしアインシュタインテンソルが変分原理から導出不可能であることを証明する。

3. 主要な結果と証明の概要

定理 1: $n \ge 3$ において、逆計量 $g^{\mu\nu}$ を場変数とする任意の局所作用汎関数から、密度化されたトレースなしアインシュタインテンソル
$$\tilde{G}^{tf}_{\mu\nu} := \sqrt{|\det(g_{\kappa\lambda})|} \left( R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} \right)$$
は変分として導出できない。

証明のステップ:

1. スケーリング解析: 逆計量 $g^{\mu\nu}$ を $u$ 倍（$g^{\mu\nu} \to u g^{\mu\nu}$）したとき、$\tilde{G}^{tf}_{\mu\nu}$ がどのように振る舞うかを調べる。

   • 計量 $g_{\mu\nu}$ は $u^{-1}$ 倍される。
   • クリストッフェル記号とリッチテンソル $R_{\mu\nu}$ はスケーリング不変。
   • リッチスカラー $R = g^{\mu\nu}R_{\mu\nu}$ は $u$ 倍される。
   • 密度因子 $\sqrt{|\det g|}$ は $|u|^{-n/2}$ 倍される。
   • 結果として、$\tilde{G}^{tf}_{\mu\nu}[u g] = |u|^{-n/2} \tilde{G}^{tf}_{\mu\nu}[g]$ となる。

2. Vainberg-Tonti 積分の実行:
   上記のスケーリング挙動を用いて、Vainberg-Tonti 積分を計算する。
   $$L[g] = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[u g] du$$
   （$n \ge 3$ の場合、$u \to \infty$ で被積分関数が 0 になるため、積分下限 $a=\infty$ となる）。
   積分を実行すると、係数は $u^{-n/2}$ の積分となり、$n \ge 3$ で収束する。

3. 結果の導出:
   計算の結果、得られるラグランジアンは以下のようになる。
   $$L[g] = -\frac{2}{n-2} g^{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}[g]$$
   ここで、$\tilde{G}^{tf}_{\mu\nu}$ の定義により、そのトレース $g^{\rho\sigma}\tilde{G}^{tf}_{\rho\sigma}$ は恒等的に 0 である。
   したがって、$L[g] \equiv 0$ となる。

4. 結論:
   Vainberg-Tonti 作用素が恒等的にゼロとなるため、これに対応する作用の変分もゼロとなる。しかし、元の式 $\tilde{G}^{tf}_{\mu\nu}$ はゼロではない。定理 3（対偶）より、$\tilde{G}^{tf}_{\mu\nu}$ は局所変分的ではないことが示される。

同様の議論は、計量 $g_{\mu\nu}$ を場変数とする場合（反変テンソルとして扱う場合）にも適用可能であり、同様に Vainberg-Tonti 作用素がゼロになることが示される。

4. 意義と考察

• 微分同相不変性の非依存性: 従来の「微分同相不変な作用の変分は発散ゼロになる」という議論は、微分同相不変性を前提としていた。本研究は、微分同相不変性を仮定しない一般的な局所作用に対しても、トレースなしアインシュタインテンソルが変分原理から導出不可能であることを示した。これは、この非変分性が作用の対称性ではなく、テンソル構造そのもの（スケーリング挙動とトレースゼロの性質）に起因することを意味する。
• ユニモジュラー重力（Unimetric Gravity）との関係: ユニモジュラー重力では、トレースなしアインシュタイン方程式が現れるが、それは通常、体積要素を固定するラグランジュ乗数法を通じて「完全な」アインシュタイン方程式から導出される。本研究の結果は、ユニモジュラー重力の作用から直接、計量 $g_{\mu\nu}$ に対して変分をとることでトレースなし方程式が得られるわけではないことを裏付けている（得られるのはラグランジュ乗数を含む完全な方程式であり、そこからトレースなし部分を抽出する必要がある）。
• 代替場変数の可能性: この結果は、トレースなしアインシュタイン方程式が「変分原理で記述できない」という意味ではなく、「逆計量（または計量）を唯一の場変数とする局所作用からは導出できない」ということを意味する。実際、異なる場変数（例：共形因子や補助場）を導入することで、変分原理を構成する試み（文献 [5-7]）は存在する。本研究は、そのような構成において「なぜ標準的な計量変分では失敗するのか」を厳密に解明した点に意義がある。

5. まとめ

本論文は、逆変分法の Vainberg-Tonti 構成を用いることで、$n \ge 3$ 次元時空において、逆計量（または計量）を場変数とする任意の局所作用汎関数から、トレースなしアインシュタインテンソルを導出することは不可能であることを厳密に証明した。この非変分性は、作用の微分同相不変性とは無関係に、テンソルのスケーリング特性とトレースゼロの性質に起因する本質的な制限である。