Biased tracers, Hybrid Effective Field Theory and Modified Gravity

本論文は、ハイブリッド有効場理論（HEFT）の枠組みを修正重力宇宙論、具体的には$f(R)$重力へと拡張するものであり、ループ補正されたパワースペクトルを計算するために必要な摂動的なバイアス展開を詳述し、既存の$\Lambda$CDMエミュレータをこれらの標準モデルを超えたシナリオに適応させるための戦略を提案する。

要約

宇宙を、膨張していく巨大なレーズンパンとして想像してみてください。パンが膨らむにつれて、レーズン（銀河を表す）は互いに離れていきます。しかし、それらは単に均等に離れていくわけではありません。ある場所では固まり合い、別の場所では空隙を残します。この固まり具合のことを「構造形成」と呼びます。

何十年もの間、科学者たちは、これらのレーズンがどのように固まるかを正確に予測するための数学的なレシピを書こうと試みてきました。この論文は、まさにそのレシピを改良することに関するものです。具体的には、以下の2つの理由によります：

1. 「偏った」レーズン： すべてのレーズンが同じというわけではありません。大きいものもあれば小さいものもあります。また、それらは周囲の生地（ダークマター）と全く同じように分布するわけでもありません。私たちは、これら特定の「偏った」レーズンがどのように集まるかをモデル化する方法を必要としています。
2. 「修正された」生地： ほとんどのレシピは、生地が標準的なルール（一般相対性理論）に従うことを前提としています。しかし、もし生地が少し異なる、奇妙なルールに従っていたらどうでしょうか（修正重力理論）？ この論文は、もし重力のルールが変わった場合に、私たちのレシピが依然として機能するかどうかをテストしています。

以下は、簡単な比喩を用いた、この論文の歩みの内訳です：

1. 2つの焼き方（オイラー的 vs ラグランジュ的）

科学者には、レーズンを追跡する2つの主要な方法があります：

• 「固定グリッド」法（オイラー的）： キッチン内の特定の地点をカメラで撮影している様子を想像してください。あなたは、その地点をレーズンが通り過ぎていく様子を見守ります。これは流れを見るのには適していますが、生地が押しつぶされすぎた（非線形な）場合、処理が複雑になります。
• 「レーズンを追いかける」法（ラグランジュ的）： 最初に特定のレーズンに小さなGPSトラッカーを取り付けたと想像してください。そのレーズンが、出発点から最終地点へと移動していく様子を追跡します。この論文では、この方法を使用しています。なぜなら、この方法の方が生地の「押しつぶされ」をはるかにうまく扱うことができるからです。

2. ハイブリッドの技（HEFT）

著者らは、**ハイブリッド有効場理論（HEFT）**と呼ばれる巧妙なショートカットを導入しています。

• 問題点： 純粋な数学を用いて、すべてのレーズンの動きを正確に計算するのは非常に困難で時間がかかります。一方で、スーパーコンピュータによるシミュレーションを用いる方法は正確ですが、膨大な計算能力を必要とします。
• 解決策： HEFTは「ハイブリッド車」のようなものです。簡単な部分（生地が滑らかな部分）にはシンプルで高速な数学を用い、複雑で押しつぶされた部分については、強力なコンピュータシミュレーションからデータを借用します。これにより、数学のスピードとシミュレーションの正確さを両立させることができます。

3. 挑戦：修正重力

これらの「ハイブリッド車」の多くは、現在の宇宙（$\Lambda$CDMと呼ばれ、アインシュタインが記述した通りの重力が働く宇宙）に対してのみ構築され、テストされてきました。

• ひねり： 著者らは、もし重力が異なっていたら、このハイブリッド手法が機能するかどうかを知りたいと考えました。彼らは特に、スケールに応じて重力が強まったり弱まったりする理論である $f(R)$ 重力に焦点を当てました（まるでカメレオンのように色を変えるカメレオンのようなものです）。
• 困難さ： この修正重力においては、宇宙の「成長」は一様ではありません。それは、塊のサイズに依存します。これは、科学者が通常使用する単純な数学的ショートカットを壊してしまいます。

4. 彼らがしたこと

チームは、この「ハイブリッド車」がこれらの奇妙な重力ルールを扱えるよう、より柔軟な新しいエンジンを構築しました。

• 地図の再計算： 彼らは、スケールに基づいて重力がどのように変化するかを考慮した、新しい数学的な地図（「成長関数」と呼ばれます）を導き出しました。
• エンジンのテスト： 彼らは、自分たちの新しい数学をスーパーコンピュータによるシミュレーション（「ゴールドスタンダード」）に対して実行しました。
  • 結果1（標準的な宇宙）： 通常の宇宙でテストした際、数学は完璧に機能し、シミュレーションとほぼ正確に一致しました。
  • 結果2（修正重力）： $f(R)$ 重力モデルでテストした際、従来の単純な数学的ショートカット（「アインシュタイン・ド・ジッター近似」と呼ばれます）が失敗することを発見しました。それは、平坦な地図を使って山岳地帯をナビゲートしようとするようなものでした。古い地図では、丘や谷を正しく示すことができなかったのです。彼らの新しい、より複雑な数学が必要とされました。

5. 結論

この論文は、次のように結論付けています：

• HEFTフレームワーク（ハイブリッド手法）は堅牢であり、これらの奇妙な修正重力理論に合わせて拡張することが可能です。
• しかし、修正重力を扱う際には、従来の簡略化された数学的ショートカットを使用することはできません。変化する重力のルールを考慮した、彼らの新しい、より複雑な計算を使用する必要があります。
• 彼らは、他の科学者たちが、私たちの宇宙が標準的な重力に従っているのか、あるいはこれらの修正されたルールに従っているのかをテストするために、銀河サーベイモデル（DESIやEuclidミッションなどのもの）を更新するための必要なツールと「材料」を提供しました。

要約すると： 著者らは、宇宙をマッピングするための強力なツールを取り、それを「奇妙な重力」にも対応できるようにエンジンをアップグレードし、通常の宇宙では古いショートカットが機能するものの、これらの新しいシナリオでは破綻することを証明しました。彼らは今、この新しい乗り物を運転して宇宙を探検するために、鍵を科学界全体に手渡したのです。

技術概要

技術要約：バイアスされたトレーサー、ハイブリッド有効場理論、および修正重力

問題提起
Stage-IVの銀河サーベイ（例：DESI、LSST、Euclid、Roman）の解析には、宇宙論パラメータを制約するために、銀河のようなバイアスされたトレーサーのパワースペクトルの精密な理論モデル化が必要である。摂動論的手法と宇宙論的シミュレーションは標準的なツールであるが、これらはトレードオフの関係にある。摂動論は計算効率に優れる一方で非線形スケールでの扱いに苦慮し、シミュレーションは物理的な完全性を備えているものの、高価なキャリブレーションや観測量へのマッピングを必要とする。ハイブリッド有効場理論（HEFT）フレームワークは、ラグランジュ摂動論（LPT）展開とダークマターのみのシミュレーション出力を組み合わせることで、非線形領域を効率的にモデル化する解決策として登場した。しかし、既存のHEFTの実装およびエミュレータ（例：bacco、Aemulus）は、主に$\Lambda$CDMパラダイムまたは緩やかな拡張（例：$w_0w_a$CDM）の範囲内で開発されてきた。$f(R)$重力のような修正重力（MG）理論にHEFTを適用することには、大きなギャップが存在する。MGでは構造の成長がスケール依存的であり、チャメレオン機構などのスクリーニング効果がLPT成長関数やループ積分の計算を複雑にするためである。

手法
著者らは、修正重力宇宙論（特に$f(R)$重力）におけるHEFT形式式内での、ループ補正されたバイアスされたパワースペクトルを計算するためのフレームワークを開発している。その手法は以下の段階を経て進行する：

1. 一般相対性理論におけるラグランジュ摂動論（LPT）： 著者らは、オイラー的およびラグランジュ的な摂動論の定式化を復習する。ラグランジュ的な描像において、ダークマターの進化は、初期のラグランジュ座標 $q$ を最終的なオイラー座標 $x$ へと写像する変位場 $\Psi(q, \tau)$ によって記述される。物質パワースペクトルは、この写像のヤコビアンから導かれ、赤外（IR）変位を非摂動的に再総和するために、累積量定理を利用する。
2. 修正重力への拡張： 著者らは、スカラー・テンソル理論（具体的にはHu-Sawichiの$f(R)$モデル）における運動方程式を再検討する。修正されたポアソン方程式とスカラー場の存在により、成長因子は今やスケール依存的となるため、第3次までの成長因子 $D^{(1)}(k)$、$D^{(2)}(k_1, k_2)$、および $D^{(3),\text{symm.}}(k_1, k_2, k_3)$ を導出する。これには、結合された連続の式、オイラー方程式、およびクライン・ゴルドン方程式を反復的に解くプロセスが含まれる。
3. 一般化されたカーネルの数値実装： 著者らは、モーメンタのグリッド上で成長関数を解くための数値コードを実装する。彼らは、ラグランジュ・カーネル $L^{(n)}$ および、1ループ物質パワースペクトルに必要な関連するループ積分（$Q_n, R_n$ 関数）を計算する。また、スケール独立な成長を仮定するアインシュタイン・ド・ジッター（EdS）近似の妥当性を、これらの完全なスケール依存解と比較して明示的に検証する。
4. バイアスされたトレーサー展開： 本フレームワークは、局所的ラグランジュ・バイアス・スキームを用いて、バイアスされたトレーサーへと拡張される。トレーサー密度は、初期密度場 $\delta_L$、潮汐シア $s^2$、および高次の演算子の項を用いて展開される。著者らは、変位場と初期密度場の両方を含むラグランジュ的な相関関数を計算し、スケール依存的なMGの文脈に合わせてスカラー関数（$Q_I, R_I$）を適応させる。
5. 検証： 実装は、既存のコード（EdS比較のための velocileptors、および完全なMG比較のための mgpt）に対して検証され、ループ積分とパワースペクトルの計算における一貫性が確認された。

主な貢献

• MGのための一般化されたLPTフレームワーク： 本論文は、$f(R)$ 重力におけるスケール依存の成長とチャメレオン・スクリーニング効果を考慮した、第3次までのLPT成長関数およびカーネルの詳細な導出と数値実装を提供する。
• EdS近似の失敗の定量化： 著者らは、$\Lambda$CDMでは非常に正確（誤差1%未満）である一方、修正重力シナリオでは大きく失敗するという、アインシュタイン・ド・ジッター近似の性質を実証する。$f(R)$ モデルにおいて、EdS近似は、特に弱非線形領域（$k \sim 0.1\text{--}0.4 \, h\text{Mpc}^{-1}$）およびモード結合が最も強いスクイーズド・トライアングル構成において、厳密解から逸脱する。
• HEFT拡張戦略： 本研究は、既存のHEFTベースのエミュレータ（bacco や Aemulus など）を、$\Lambda$CDMを超えた宇宙論へと拡張するために必要な要素を概説している。これには、標準的なEdSカーネルを、本研究で導出された一般化されたスケール依存カーネルに置き換えることが含まれる。
• ループ積分の検証： 著者らは、一般化されたループ積分（$Q_n, R_n$）の数値積分を mgpt コードと比較検証し、$\Lambda$CDMおよび$f(R)$ モデルの両方において優れた一致を示すことを確認した。

結果

• スケール依存の成長： 計算された第2次および第3次のラグランジュ成長因子は、$f(R)$ 重力において強いスケール依存性を示し、最も顕著な偏差はスクイーズド構成において発生する。
• ループ積分の偏差： $Q_n$ および $R_n$ 関数の比較により、EdS近似は$\Lambda$CDMの結果を高精度に再現する一方で、$f(R)$ 重力においては目に見える誤差を生じさせることが示された。これらの誤差はループ補正がピークに達する場所で最も顕著であり、MG解析においてEdSカーネルを使用すると、理論的予測にバイアスが生じることを示唆している。
• 物質パワースペクトル： LPTにおける完全なカーネルによるループ補正の導入は、$f(R)$ モデルにおいてEdSの予測とは異なる物質パワースペクトルをもたらす。変位の分散（$\sigma_L^2$）がより大きいため、$f(R)$ では指数関数的な抑制（ゼルドビッチの寄与）がより強調される。
• バイアスされたトレーサーの一貫性： 一般化された定式化は、バイアスされたトレーサーのパワースペクトルを正常に計算し、基礎となる成長関数とループ積分が正しいスケール依存性を持って扱われる限り、標準的な局所ラグランジュ・バイアス展開が適用可能であることを確認した。

意義
本論文は、ハイブリッド有効場理論の枠組みを修正重力宇宙論に適用するために必要な、理論的および数値的な基礎を確立するものである。スケール依存の成長を伴うシナリオにおけるアインシュタイン・ド・ジッター近似の限界を明示的に定量化することにより、著者らは、将来のStage-IVサーベイデータの高精度な解析には、一般化されたスケール依存LPTカーネルの使用が必要であると主張している。本研究は、高精度なエミュレータを一般相対性理論を超えた重力理論のテストへと拡張することを可能にし、摂動論的な効率性と修正重力の複雑な非線形物理との間のギャップを埋めるものである。