Unimodular quantum cosmology in the connection representation: A minimal… — やさしい解説

🎬 タイトル：「宇宙の映画」を撮るための新しいルール

〜「ユニモジュラー重力」という特殊なカメラ設定〜

通常、アインシュタインの一般相対性理論（今の宇宙論の基礎）では、宇宙の「時間」や「体積」は自由に伸び縮みできるものとして扱われます。しかし、この論文の著者（山下氏）は、**「宇宙の全体的な体積（4 次元の体積）は、カメラのフィルムのように固定されている」**という仮説（ユニモジュラー重力）に基づいて、宇宙を量子力学の視点から描き直しました。

これを**「宇宙という映画」**に例えると、以下のようになります。

通常の理論（一般相対性理論）： 撮影監督（時間）が自由に「早送り」や「スローモーション」をでき、フィルムの長さも変えられる。でも、そのせいで「いつから物語が始まったのか？」がわからなくなる（「時間の問題」）。
この論文の理論（ユニモジュラー重力）： フィルムの長さ（宇宙の全体的な体積）は固定されている。撮影監督は「どの瞬間を映すか」を決められるが、フィルムの総量は決まっている。これにより、「時間」が明確に定義され、物語（宇宙の進化）がスムーズに描けるようになる。

🔍 発見された 3 つの重要なポイント

著者は、この「体積固定ルール」を使って、宇宙がどうなるかを計算しました。そこで出てきた驚きの結果は以下の 3 点です。

1. 「マイナスの宇宙」は存在できない（ネガティブな宇宙論定数の排除）

宇宙には「宇宙論定数」という、宇宙を膨張させたり収縮させたりするエネルギーの値があります。

プラスの値： 宇宙を加速膨張させる（今の宇宙に近い）。
マイナスの値： 宇宙を収縮させ、最終的に崩壊させる。

この研究では、「マイナスの宇宙論定数を持つ宇宙」は、量子力学のルール（数学的な整合性）上、存在できないことが示されました。

比喩： 「マイナスの宇宙」は、「重さのバランスが崩れて、すぐに倒れてしまうおもり」のようなものです。この新しいルール（ユニモジュラー条件）を適用すると、そのおもりは安定して立つことができず、消えてしまいます。つまり、「収縮して終わる宇宙」は、この理論では許されないのです。

2. 「何もないところ（体積ゼロ）」では、波は消える

量子力学では、宇宙の状態を「波（波動関数）」で表します。

通常の考え方： 宇宙が生まれる瞬間（体積が 0 の瞬間）でも、波は存在し続けるかもしれない。
この論文の結果： 宇宙の体積が 0 になる瞬間、波動関数は「0」になります。つまり、「何もない状態」では、宇宙の波は完全に消えてしまうのです。
比喩： これは**「静寂の壁」のようなものです。宇宙が生まれる直前（体積 0）には、どんな波も届かない。これは、宇宙の「特異点（ビッグバン直前の無限に小さい点）」が、このルールによって自然に消去されることを意味します。ただし、これは「宇宙が跳ね返って再誕生する（量子バウンス）」という動的な現象ではなく、「ルール上、0 にはなれない」**という静的な制約の結果です。

3. 「小さな宇宙の値」が、宇宙の安定性を保つ

なぜ今の宇宙は、あんなに大きくて安定しているのでしょうか？

この理論では、宇宙論定数（Λ）は固定された値ではなく、**「量子の重ね合わせ（いろいろな値が混ざった状態）」**として扱われます。
しかし、計算すると、「宇宙論定数が非常に小さい値（今の観測値に近い）」である場合のみ、宇宙の波が乱れずに（コヒーレントに）保たれることがわかりました。
比喩： 想像してください。**「宇宙という巨大なオーケストラ」があるとします。もし指揮者のテンポ（宇宙論定数）がバラバラだと、音楽は雑音になります。しかし、「テンポが非常にゆっくりで一定」**である場合のみ、オーケストラは美しいハーモニー（安定した宇宙）を奏でられます。
- この論文は、「今の宇宙が安定して存在できているのは、宇宙論定数がたまたま非常に小さい値だからであり、それが量子レベルでの『波の乱れ』を抑えている」と説明しています。

🌟 結論：何がすごいのか？

この論文は、「宇宙の体積を固定する」という少し変わったルールを導入することで、以下のことがわかったと主張しています。

時間の問題が解決する： 宇宙の進化を「時間」の関数として自然に描ける。
負の宇宙は消える： 収縮して終わる宇宙は、このルールでは成立しない。
ビッグバンの特異点が消える： 体積 0 の瞬間に波が消えるため、無限大の値が出る問題が回避される。
安定性の理由： 今の宇宙が安定しているのは、宇宙論定数が小さいからであり、それが量子レベルの「波の広がり」を抑えている。

注意点：
著者は、「これで宇宙論定数問題（なぜ宇宙論定数がこんなに小さいのか？）の答えが出た」とは言っていません。あくまで**「もし宇宙論定数が小さいなら、宇宙は安定して存在できるよ」**という、新しい視点での説明を提供したに過ぎません。

📝 まとめ

一言で言えば、**「宇宙という映画を、フィルムの長さを固定したカメラで撮り直したら、『収縮する宇宙』は撮れず、『何もない瞬間』には映像が消え、今の『安定した宇宙』だけが自然に描けるようになった」**という、新しい宇宙の描き方を提案した論文です。

これは、宇宙の根本的なルールを少し変えるだけで、私たちの理解がどう変わるかを示す、非常に興味深い「思考実験」のような研究です。

以下は、Shinji Yamashita 氏による論文「Unimodular quantum cosmology in the connection representation: A minimal model（接続表現における単一モジュール量子宇宙論：最小モデル）」の技術的な詳細な要約です。

1. 研究の背景と問題提起

一般相対性理論（GR）の正準定式化における最大の課題の一つは「時間の問題（Problem of Time）」である。GR においてハミルトニアンは物理状態を消滅させる第一級拘束条件として機能するため、量子レベルでの時間発展を記述するシュレーディンガー方程式が得られない。

単一モジュール重力（Unimodular Gravity） は、時空の 4 次元体積要素を固定する一方で古典的なアインシュタイン方程式は変更しない理論である。この定式化により、ハミルトニアンは拘束条件ではなくなり、物理状態は時間発展を記述するシュレーディンガー型の方程式に従うようになる。さらに、宇宙項（ $\Lambda$ ）は理論の固定パラメータではなく、積分定数（あるいはハミルトニアンの固有値）として現れるという特徴を持つ。

本研究は、この単一モジュール重力を**接続表現（Ashtekar-Barbero 接続と密度化されたトライアドを用いた表現）**の枠組みで、物質を含まない一様等方かつ空間的に平坦な最小の宇宙モデルに適用し、量子論的な性質を明らかにすることを目的としている。

2. 手法と定式化

本研究では以下の手順で解析を行っている。

変数の選択: 基本変数として Ashtekar-Barbero 接続 $A^i_a$ と密度化されたトライアド $E^a_i$ を用いる。
作用の定式化: Holst 作用に基づき、スカラー場 $\Lambda$ と固定されたスカラー密度 $\alpha$ を含む作用を導入する。変分原理から単一モジュール条件 $\det(e^I_\mu) + \alpha = 0$ が導かれる。
対称性の縮約: 一様等方・空間的に平坦な FLRW 宇宙モデルを仮定し、接続とトライアドをスケール因子 $a(\tau)$ に依存する変数 $c(\tau), p(\tau)$ に縮約する。
正準解析と相空間の縮約:
- 一次拘束条件（ $p_N \approx 0, p_\Lambda \approx 0$ ）と二次拘束条件（ハミルトニアン拘束 $\Phi \approx 0$ 、単一モジュール拘束 $\Theta \approx 0$ ）を導出する。
- これらの拘束条件はすべて第二級拘束条件であるため、Dirac 括弧を用いる代わりに、拘束条件を明示的に解いて従属変数（ $\Lambda, N$ ）を独立変数（ $c, p$ ）で表し、縮約された相空間を構成する。
- その結果、ハミルトニアンは拘束条件ではなく、独立変数の関数として定義される通常のハミルトニアン $H$ となる。

3. 主要な結果

3.1 古典解

縮約されたハミルトニアンを用いて運動方程式を解くと、スケール因子 $a(\tau)$ の時間発展は $a(\tau) \propto (\tau + \text{const})^{1/3}$ となる。共動時間 $t$ を導入すると、 $a^3(t)$ は指数関数的に増加する解（ド・ジッター空間に類似）が得られる。

3.2 量子論と厳密解

正準量子化を行い、 $c$ と $p$ の交換関係を導入する。ハミルトニアン演算子 $\hat{H}$ は非可換な演算子の積を含むため、順序付けの曖昧さを解消するため対称順序付けを採用する。

シュレーディンガー型方程式: 波動関数 $\Psi(\tau, p)$ はシュレーディンガー方程式 $i\hbar \partial_\tau \Psi = \hat{H}\Psi$ を満たす。
固有状態の解析: ハミルトニアンの固有値 $\hbar\omega$ $ℏ ω$ に対応する固有状態は、Airy 関数（Ai, Bi）で記述される微分方程式の解となる。ここで、定数 $A$ $A$ の符号は宇宙項 $\Lambda$ $Λ$ の符号に依存する（ $A \propto -\Lambda$ $A \propto - Λ$ ）。
- $\Lambda > 0$ の場合 ( $A < 0$ ): 解は振動的であり、物理的に許容される領域に対応する。
- $\Lambda < 0$ の場合 ( $A > 0$ ): 解は非振動的（指数関数的増加）となり、古典的に禁止された領域に対応する。

3.3 重要な発見と制約条件

本研究の最も重要な技術的貢献は、演算子の正則性と自己共役性の条件から導かれる以下の結論である。

負の宇宙項の排除:
- 波動関数の正則性（ $p=0$ における発散の回避）とハミルトニアンの自己共役性を同時に満たすためには、波動関数の係数比が特定の値に固定される必要がある。
- $\Lambda > 0$ の場合、この条件を満たす非自明な解が存在する。
- しかし、 $\Lambda < 0$ の場合、この条件を満たす解は自明な解（ $\Psi=0$ ）しか存在しない。
- したがって、この最小モデルの枠組み内では、負の宇宙項を持つ量子宇宙論は演算子の性質と矛盾し、一貫して実現不可能であることが示された。
ゼロ体積における波動関数の消滅:
- $\Lambda > 0$ の場合、波動関数は $p=0$ （空間体積ゼロ）で必ずゼロになる。
- これは追加の仮定（DeWitt 境界条件）を課した結果ではなく、単一モジュール条件を量子レベルで課すことによる力学的な帰結である。
- 具体的には、単一モジュール拘束により $N \propto |p|^{-3/2}$ となり、ハミルトニアンに特異因子 $|p|^{-1}$ が現れる。この特異性を扱うために波動関数が $|p|^{1/2}$ の因子を持ち、結果として $p=0$ で消滅する。

3.3 半古典的解析と宇宙項問題

$\Lambda > 0$ の振動領域に対して WKB 近似を適用し、波動パケットの干渉性を解析した。

波動パケットの干渉性: 異なる固有値（異なる $\Lambda$ の値）の重ね合わせとして物理状態を記述する。波動パケットがコヒーレントに保たれるためには、相対的な揺らぎが小さい必要がある。
揺らぎの比率: 空間体積 $|p|^{3/2}$ 、ラグ関数 $N$ 、および固有値 $\hbar\omega$ （ $\Lambda$ に比例）の相対揺らぎの間に、以下の関係が導かれる。
$r \sim \frac{\hbar k}{\Lambda V_4}$
ここで $V_4$ は時空の 4 次元体積である。
宇宙項問題への示唆:
- 現在の宇宙のハッブル体積を $V_4$ とみなし、観測された $\Lambda$ とプランクスケールからの理論値 $\Lambda_{\text{theo}}$ を代入すると、揺らぎの比率 $r$ は極めて小さい（ $\sim 10^{-120}$ ）となる。
- この結果は、観測された小さな宇宙項の値こそが、波動パケットの広がり（デコヒーレンス）を抑制し、半古典的な記述を正当化することを意味する。
- 注意すべき点として、本研究は $\Lambda$ の値を説明するメカニズムを提供するものではなく、観測値を仮定した上で、単一モジュール重力の枠組みが観測宇宙と矛盾しない（半古典的近似が有効である）ことを示している。

4. 結論と意義

本研究は、単一モジュール重力を接続表現で量子化し、以下の重要な知見を得た。

時間問題の解決: 単一モジュール条件によりハミルトニアンが拘束条件から解放され、シュレーディンガー型の時間発展が自然に導かれる。
負の宇宙項の非存在: 演算子の正則性と自己共役性の要請から、最小モデルにおいて負の宇宙項は量子論的に排除される。
特異点の回避: 空間体積ゼロにおける波動関数の消滅は、単一モジュール条件の直接的な帰結として現れ、特異点問題に対する新しい視点を提供する（ただし、これは動的なバウンスではなく、運動学的な境界条件である）。
宇宙項と半古典性の関係: 宇宙項がハミルトニアンの固有値として現れるという構造が、宇宙項の値と波動関数のコヒーレンス（半古典性の有効性）を結びつける新しい関係式を導出した。

この研究は、単一モジュール重力が標準的な一般相対性理論とは異なる量子論的構造を持つことを示しており、特に宇宙項の性質と量子重力の境界条件に関する理解を深める上で重要なステップである。ただし、物質場や空間曲率を含めた場合、あるいは完全理論においてこれらの結果が一般化されるかどうかは今後の課題である。

Unimodular quantum cosmology in the connection representation: A minimal model