$\mathcal{H}$-EFTCAMB: A Cobaya-Integrated, Python-Wrapped Extension of EFTCAMB for Covariant Horndeski Gravity

本論文は、コバヤ（Cobaya）と統合された Python ラッパーを備え、共変ホーンデスキ重力の任意のラグランジアンに対応し、EFT 手法の限界を越えて直接運動方程式を解くことも可能にする、$\mathtt{EFTCAMB}$ の公式後継である $\mathcal{H}\mathtt{-EFTCAMB}$ を紹介するものである。

要約

この論文は、宇宙の謎を解き明かすための「新しい計算機（シミュレーションソフト）」の発表について書かれています。

タイトルにある**「H−EFTCAMB」**とは、宇宙の加速膨張や重力の正体を調べるために使われる、非常に高度な計算プログラムの名前です。

これをわかりやすく説明するために、いくつかの比喩（アナロジー）を使って解説します。

1. 宇宙の謎：「見えないエンジン」と「新しい道路」

私たちが住む宇宙は、加速しながら広がっています。これを説明するために、科学者たちは主に 2 つの考え方を試してきました。

• 考え方 A（ダークエネルギー）： 宇宙には「見えないエンジン（ダークエネルギー）」が搭載されていて、それが宇宙を押し広げている。
• 考え方 B（修正重力）： エンジンはそのままでも、「重力のルール（道路の設計図）」自体が、遠くに行くと少し変わっているのではないか？

これまでの研究では、この「新しい重力のルール」を調べるための計算ソフト（EFTCAMB）がありましたが、それは「特定のルール」しか計算できませんでした。まるで、**「特定の車（モデル）しか走れない専用道路」**のようなものです。

2. 新登場！「H−EFTCAMB」：万能な変形ロボット

今回発表された**「H−EFTCAMB」**は、その旧バージョンの「完全な進化系」です。

• どんな進化？
  これまでのソフトは「特定の重力モデル」しか扱えなかったのですが、新しいソフトは**「ホーンスキ（Horndeski）理論」という、重力のルールを記述する「究極の設計図」**をそのまま読み取れるようになりました。

  • 比喩：
    以前のソフトが「トヨタ車しか走れない道路」だったとすると、新しい H−EFTCAMB は**「どんな車（どんな重力理論）でも、その形状に合わせて道路を自動で作り変えて走らせることができる、魔法の道路」**です。
    科学者が「もし重力がこうだったら？」と想像するどんな複雑な理論でも、このソフトなら即座に計算して、宇宙がどうなるかをシミュレーションできます。

3. 2 つの計算モード：「地図」を使うか「実走」するか

このソフトには、計算方法が 2 つあります。

1. EFT 枠組み（地図を使う）：
   複雑な重力のルールを、あらかじめ決まった「簡略化された地図（EFT 関数）」に翻訳して計算する方法。これは計算が速く、安定しています。

2. 直接計算（実走する）：
   地図を使わずに、重力のルールそのもの（ラグランジアン）から直接、宇宙の動きを計算する方法。

   • なぜこれがすごい？
     宇宙の初期段階や、特殊な状況では、重力のルールが「折り返し」や「振動」を起こすことがあります。これまでの「地図（EFT）」を使う方法では、この振動で地図が破れて計算できなくなってしまうのです。
     しかし、H−EFTCAMB の新しい機能を使えば、「振動する車」でも、地図なしで直接走らせる（計算する）ことができるため、これまで解けなかった難問も解けるようになりました。

4. 使いやすさ：「スマホアプリ」のように簡単に

以前は、このソフトを使うには専門的なプログラミング知識が必要で、使いにくいものでした。
しかし、今回の H−EFTCAMB は**「Python（プログラミング言語）」と「Cobaya（データ解析ツール）」に完璧に接続**されるように作られました。

• 比喩：
  以前は「複雑なマニュアルを読みながら、手動でエンジンを組み立てる」必要がありましたが、今は**「スマホのアプリのように、ボタンを押すだけで、最新の重力理論をテストできる」**状態になりました。これにより、世界中の研究者が簡単にこのツールを使って、最新の観測データ（DESI やプランク衛星など）と照らし合わせ、重力の正体に迫れるようになります。

5. 検証：「テストドライブ」で完璧な性能を確認

論文では、この新しいソフトが正しいことを証明するために、以下のテストを行いました。

• 内部テスト： 以前のソフトで計算できた古いモデルを、新しいソフトでも計算し、結果が完全に一致することを確認。
• 外部テスト： 別の有名なソフト（hi class）と計算結果を比較し、同じ答えが出ることを確認。
• 実戦テスト： 「解凍重力（Thawing Gravity）」という新しい理論を試し、太陽系の重力法則を破らずに宇宙の加速を説明できることを確認。

まとめ

この論文は、**「宇宙の重力の正体を調べるための、史上最も柔軟で強力な計算機（H−EFTCAMB）が完成した」**と宣言するものです。

これにより、科学者たちは「もし重力がこうだったら？」というあらゆる仮説を、現実の観測データと照らし合わせて検証できるようになり、「なぜ宇宙は加速しているのか？」という最大の謎に、より一歩近づけることになります。

まるで、宇宙という巨大なパズルを解くために、**「どんなピース（理論）でもハマる、魔法の枠組み」**を手に入れたようなものです。

技術概要

以下は、提出予定の JCAP 論文「H−EFTCAMB: A Cobaya-Integrated, Python-Wrapped Extension of EFTCAMB for Covariant Horndeski Gravity」の技術的サマリーです。

1. 研究の背景と課題 (Problem)

現代の宇宙論は、CMB（宇宙マイクロ波背景放射）や大規模構造（LSS）などの高精度観測データによって支えられています。一般相対性理論（GR）の枠組み内では、宇宙の加速膨張は「ダークエネルギー」によって説明されますが、これは宇宙定数（$\Lambda$）という最も単純なモデルに限らず、重力そのものの修正（Modified Gravity: MG）や動的なダークエネルギーの存在も示唆されています。

これらの理論を検証するためには、背景宇宙の進化と線形摂動の両方を正確に計算できる数値コードが必要です。既存のコード「EFTCAMB」は、ダークエネルギーの有効場理論（EFTofDE）の枠組みにおいて、GRからの逸脱をモデル非依存かつ数値的に安定して計算できる重要なツールとして発展してきました。しかし、EFTCAMB には以下の限界がありました：

1. 任意の共変理論の直接処理の欠如: 既存の EFTCAMB は、特定のモデルを EFT 演算子にマッピングすることに依存しており、ホーンデスキー（Horndeski）理論のような最も一般的なスカラー - テンソル理論の共変ラグランジアンから直接、任意のモデルを扱う汎用的なモジュールが不足していました。
2. 特異点への対応不足: EFT 枠組み（ユニタリーゲージ）では、スカラー場が極値（$\dot{\phi}=0$）を通過する場合（振動など）、座標特異点が発生し、数値計算が破綻します。これに対応できるコードは存在しませんでした。
3. 現代の解析パイプラインとの統合不足: 以前のバージョンは主に CosmoMC とネイティブ CAMB インターフェースに依存しており、現在広く利用されているベイズ推論サンプラー「Cobaya」とのシームレスな統合が不十分でした。
4. 非パラメトリックな再構成の制限: 観測データから重力理論を直接再構成する際、関数の形を柔軟に指定する非パラメトリックな手法のサポートが限定的でした。

2. 手法と新機能 (Methodology & Key Features)

本論文では、EFTCAMB の公式な後継コードとしてH−EFTCAMBを提案します。これは、共変ホーンデスキー重力を直接扱えるように拡張され、Cobaya と統合された Python ラッパーを備えたコードです。

主な技術的革新点は以下の通りです：

• ホーンデスキーモジュールの導入:
  • 共変ラグランジアン $S_H = \int d^4x\sqrt{-g} (L_2 + L_3 + L_4 + L_5)$ を直接入力として受け付け、背景および線形摂動を自動的に進化させるモジュールを実装しました。
  • 2 つの計算モード:
    1. EFT マッピングモード: 共変理論を EFT 演算子に変換し、従来の EFTCAMB の枠組みで計算する。
    2. 直接積分モード（$\delta\phi$ 方程式）: 共変ラグランジアンから導出されたスカラー場摂動 $\delta\phi$ の運動方程式を直接数値積分する。これにより、$\dot{\phi}=0$ を横切る振動場などの「ターンオーバー」現象を、EFT 枠組みでは扱えない場合でも安定して計算可能になります。
• Cobaya 統合と Python ラッパー:
  • Fortran バックエンドを Python から呼び出せるようにラップし、Cobaya サンプラーとシームレスに連携できるようにしました。これにより、現代のベイズ解析パイプラインでの利用が容易になりました。
• 関数の柔軟な指定:
  • 従来の解析的関数に加え、**スプライン補間（3 次・5 次）**による非パラメトリックな関数定義をサポートしました。これにより、外部モジュールから生成された任意の関数値グリッドを直接入力し、データ駆動型の宇宙加速の再構成が可能になりました。
  • 共変ラグランジアン内の関数 $G_i(\phi, X)$ についても、同様に任意の関数形を指定可能にしました。
• 初期条件と正の制約（Positivity Bounds）:
  • 初期宇宙における非ゼロの EFT 関数に整合的な新しい初期条件を実装しました。
  • 理論的な正の制約（Positivity Bounds）をチェックする機能も追加され、物理的に viable なモデル空間を事前に制限できます。

3. 検証結果 (Results)

H−EFTCAMB の正しさと精度は、以下の 3 つの段階で厳密に検証されました：

1. 内部検証（EFT フレームワークとの比較）:
   • スケーリング・キュービック・ガリレオン（SCG）モデルについて、従来の EFTCAMB の専用実装と H−EFTCAMB のホーンデスキーモジュールによる計算結果を比較しました。CMB 温度・偏光スペクトルおよび物質パワースペクトルにおいて、両者は完全に一致することを確認しました。
2. 外部検証（hi class との比較）:
   • Jordan-Brans-Dicke (JBD) 理論: 定数ポテンシャルを持つ JBD 理論について、H−EFTCAMB（$\delta\phi$ モードおよび EFT モード）と「hi class」コードを比較しました。異なる $\omega_{BD}$ パラメータにおいて、サブパーセントレベルの精度で一致することを示しました。
   • $\alpha_i = c_i \Omega_{DE}$ パラメータ化: 従来の EFTCAMB ではサポートされていなかった、$\alpha$ 基底をダークエネルギー密度 $\Omega_{DE}$ の関数として指定するパラメータ化を H−EFTCAMB で実装し、hi class との比較で一致を確認しました。
3. 応用例（Thawing Gravity with Screening）:
   • 遮蔽機構（screening mechanism）を持つ「Thawing Gravity (TGs)」モデルを例に、Cobaya と Polychord を用いたマルコフ連鎖モンテカルロ（MCMC）解析を行いました。
   • Planck CMB、Pantheon+ 超新星、DESI BAO などの最新データを用いた解析により、新しい演算子 $X\Box\phi$ が観測データを説明する能力を損なわず、かつ太陽系制約を破らないことを確認しました。特に、$\xi > 3/16$ の領域でスカラー場が再結合期付近で振動する場合、hi class などの既存コードでは計算不能ですが、H−EFTCAMB の $\delta\phi$ モードでは安定して計算可能であることを実証しました。

4. 意義と結論 (Significance)

H−EFTCAMB は、ダークエネルギーと修正重力理論の検証において以下の点で画期的なツールとなります：

• 理論と観測の架け橋: 任意の共変ホーンデスキー理論を直接扱えるため、高エネルギー理論から直接宇宙論的予測を導出することが可能になり、理論と観測のギャップを埋めます。
• 数値的安定性の向上: 振動場や特異点を含むモデルを、EFT 枠組みの限界を超えて計算可能にしました。
• 柔軟性と拡張性: Python ラッパーと Cobaya 統合により、大規模なデータ解析や非パラメトリックな理論再構成が容易になりました。
• 将来の展望: 本コードは、Euclid や DESI などの次世代観測プロジェクトから得られる高精度データを用いて、重力理論を厳密にテストするための標準的なツールとして位置づけられます。将来的には、非線形領域への拡張や、準静的近似（QSA）の完全な実装も予定されています。

要約すると、H−EFTCAMB は、EFTCAMB の機能を引き継ぎつつ、共変ホーンデスキー重力の直接計算、振動場への対応、そして現代のベイズ解析ツールとの統合を実現した、次世代の宇宙論数値コードです。