An Effective Theory for Biased Tracers via the Boltzmann-Equation Approach

技術的要約：ボルツマン方程式アプローチによるバイアス・トレーサーの有効理論

問題提起
大規模構造（LSS）の観測は、ダークマター（DM）の分布を推論するために「バイアスを持つトレーサー」（例：銀河、ハロー）に依存している。しかし、これらのトレーサーは形成、合体、および破壊のプロセスを経るため、ダークマターの分布を完全にトレースしているわけではない。これらのプロセスは数保存則を破り、衝突のないダークマターとは異なるダイナミクスを導入する。既存のアプローチ（EFTofLSSや、局所的、非局所的、ラグランジュ的な現象論的バイアスモデルなど）は、通常、密度場と速度場のレベルでバイアスをモデル化している。これらの手法は成功しているものの、多くの場合、密度バイアスと速度バイアスを個別に扱ったり、等価原理により大規模スケールでは速度バイアスが存在しないと仮定したりしている。密度バイアスと速度バイアスの両方を、トレーサーの基礎となる微視的なダイナミクスから自己整合的に導出できる統一された枠組みが必要とされている。

手法
著者らは、バイアスを持つトレーサーの有効理論を、流体レベルでの現象論的な記述ではなく、ボルツマン方程式のレベルで直接定式化する**ボルツマン方程式アプローチ（BEA）**を提案している。

1. ボルツマン方程式の拡張: 著者らは、トレーサーの分布関数 $f_g$ に対するボルツマン方程式に、有効衝突項 $C[f]$ を導入している。この項は、衝突のないダークマターの方程式には存在しない、トレーサー特有のダイナミクス（形成、合体、潮汐剥離など）を符号化している。
2. 微分展開: 衝突項は、長波長および小運動量転移の極限における、ダークマター分布の一般的な有効汎関数としてモデル化されている。この展開には以下が含まれる：
   • 線形応答項 ($C_1$)
   • メモリ効果／非局所的な時間応答 ($C_2$)
   • 拡散と非局所性を表す空間微分項 ($C_3 \Delta$)
   • 運動量微分項 ($\nabla \cdot \nabla_p$) および運動量ラプラシアン項 ($C_5 \Delta_p$)
3. 流体方程式の導出: 修飾されたボルツマン方程式の0次および1次のモーメントを取ることで、著者らはバイアスを持つトレーサーに対する修飾された連続の式およびオイラー方程式を導出している。これらの方程式には、衝突項の係数によって決定されるソース項が含まれている。
4. 線形領域の解析: 著者らは、フーリエ空間における線形化された流体方程式を解くことで、時間およびスケールに依存するバイアスパラメータ $b(a, k)$（密度用）および $b_v(a, k)$（速度用）を導出している。
5. 観測量: 導出されたバイアスモデルは、赤方偏移空間歪み（RSD）に適用され、バイアスを持つトレーサーのパワースペクトル $P^s_g(k)$ を計算するために用いられる。

主要な貢献と結果

• 統一された密度および速度バイアス: BEAは、単一のダイナミカルな枠組みの中で、密度バイアスと速度バイアスの両方が自己整合的に出現する仕組みを提供している。結果として、$b(a, k)$ と $b_v(a, k)$ は一般に時間（スケール因子 $a$）と波数（$k$）の両方に依存することが示されている。
• ピーク・バイアスの再現: 特定の係数が選ばれた場合（具体的には、一般化されたガリレイ不変性を満たすために $2C_1 + 3C_2 = 0$ とする場合）、導出されたバイアスパラメータは「ピーク・バイアス」モデル（$b = b_0 + b_1 k^2$, $b_v = 1 - R_v^2 k^2$）を再現する。これにより、速度バイアスと高次微分効果の起源が明確になる。
• 速度バイアス修正のメカニズム: 解析により、運動量微分演算子（$C_4$ に関連する $\nabla \cdot \nabla_p$）が、連続の式を変更することなくオイラー方程式を修正（速度バイアスに影響）できる唯一の項であることが明らかになった。対照的に、他の項（$C_1, C_2, C_3$）は両方の式を修正する。
• スケール依存性と進化: バイアスパラメータは、衝突項における空間および運動量の微分から生じる特徴的な $k^2$ 依存性を示す。論文では、初期の $k$ 依存性（積分定数に由来するもの）は時間の経過とともに減衰する一方で、拡散（$C_3, C_4$）に由来する項は持続し、後期においてもスケール依存のバイアスをもたらすことが示されている。
• EFTofLSSとの比較: 著者らは、BEAから導出されたパワースペクトルをEFTofLSSの予測と比較している。
  • BEAのパワースペクトルは、$k^2$ 項までEFTの構造と一致する。
  • 重要な知見は、BEAの定式化における独立パラメータの減少である。BEAにおいては、一度大きなスケールのバイアスが固定されると、$k^2$, $F\mu^2 k^2$, $F^2\mu^4 k^2$ の項の係数は、わずか2つの独立したパラメータ（$C_{gk}$ と $C_{vk}$）によって制約される。
  • 著者らは、この制約を、彼らの衝突項が実空間で構成され、その後レッドシフト空間へと写像されていることに帰せている。衝突項を直接レッドシフト空間で構成すれば（$(\hat{z}\cdot\nabla)^2$ のような演算子を許容することで）、EFTで見られる係数の完全な独立性が回復すると彼らは示唆している。

意義と主張
本論文は、バイアスを持つトレーサーの「統一的な記述」を提供し、現象論的な仮定に頼ることなく、微視的なトレーサーのダイナミクス（衝突項を介して）とマクロな観測量（密度および速度バイアス）を結びつけるものであると主張している。

• 自己整合性: 強調されている主な利点は、単一の基礎となるダイナミカルな枠組みから、密度バイアスと速度バイアスの両方を自己整合的に導出できることであり、速度バイアスが「不在である」と仮定するのではなく、いかに自然に発生するかという問題を解決している点である。
• 理論的基礎: 本研究は、他のアプローチ（ピーク理論やEFTなど）で見られるバイアスパラメータの構造に対して理論的な正当性を与えており、それらがボルツマン・レベルの展開から導出可能であることを示している。
• 限定的な範囲: 著者らは、現在の結果の完全性について謙虚な姿勢をとっている。彼らは以下の点を認めている：
  • 解析は線形領域に限定されている。
  • 使用されている衝突項は、単純で解析的に扱いやすい近似である（より複雑な関数も可能だが、ここでは探索していない）。
  • 分布関数の質量依存性は無視されているが、これは将来の研究で組み込むことが可能である。
  • パワースペクトルにおける独立パラメータの減少は、彼らの特定の「実空間での定式化」に起因する特徴であり、必ずしもBEAフレームワーク自体の本質的な限界ではない。

結論として、本論文は、バイアスの進化とスケール依存性を第一原理から導き出す厳密な経路を提示しつつ、BEAを既存のバイアスモデルに代わる実行可能な選択肢として確立しており、同時に（高次項、質量依存性、レッドシフト空間での定式化といった）将来の改良に向けた具体的な方向性を示している。