Full-Covariance Bayesian Inference of Stochastic Gravitational Wave Background with Time-Domain Simulations for Taiji-like Missions

宇宙が巨大な、宇宙規模のコンサートホールであると想像してみてください。何十年もの間、私たちはソロ奏者の声を聞こうと試みてきました。それは、ブラックホールの衝突や中性子星の激突といった、劇的で轟音を上げる出来事です。これらはニュースの見出しになるような「イベント」です。しかし、その音楽の下には、絶えず続く低レベルのハム音——数十億の小さな未解決の音が混ざり合って作られた背景ノイズ——が隠れています。これが「確率的重力波背景（SGWB）」です。それはスタジアムの観客の怒号のようなものです。個々の声を聞き分けることはできませんが、その集団的な音によって、そこにどれだけの人がいて、何をしているのかを知ることができます。

この宇宙のハム音を聞き取ることは非常に困難です。なぜなら、私たちが使う「楽器」——宇宙空間のレーザー干渉計——は、あらゆるものに敏感だからです。それらは時空の微かなさざ波を捉えますが、同時に、自身のレーザーのジッター（揺らぎ）や、鏡の小刻みな動き、そして私たちの銀河系内に存在する何百万もの白色矮星の騒がしさも拾い上げてしまいます。それは、壁が振動し、照明がブーンと鳴り、近くで合唱団が歌っている部屋の中で、ささやき声を聴こうとするようなものです。そのささやきの中に隠された新しい物理学（例えば、宇宙の最初期における瞬間的な音など）を見つけ出すために、科学者たちは、ノイズ自体が変化し、装置自体が動いている状況であっても、信号とノイズを数学的に分離する方法を必要としています。

この論文は、将来の宇宙重力波検出器である「Taiji（太極）」ミッションのために、より優れた「イヤーマフ（耳栓）」と、よりスマートな「ラジオのチューニング方法」を構築することについて述べています。著者らは、Taijiが実際に宇宙でどのように機能するかを模した、高度なコンピュータ・シミュレーションを作成しました。彼らは、検出器の絶えず変化する形状や位置（「不等腕」や軌道）を考慮した手法を用いることで、宇宙の背景ノイズを正確に再構成できることを見出しました。彼らのシミュレーションは、現実世界の複雑な問題が山積みであっても、宇宙のハム音を、計器の静的なノイズや銀河系の合唱からうまく分離できることを示しており、計画されている解析戦略がこれらの捉えどころのない信号を見つけ出すために有効であることを証明しています。

宇宙の耳と動く標的

著者らが何を行ったかを理解するために、Taijiミッションを思い描いてみてください。3つの宇宙船が巨大な三角形を描いて飛び、太陽の周りで地球の後を追っている様子を想像してください。それらはレーザービームによって結ばれており、その距離を驚異的な精度で測定しています。もし重力波が通過すれば、空間を引き伸ばしたり押しつぶしたりして、その距離を極めてわずかに変化させます。

しかし、宇宙は完璧で静止したステージではありません。宇宙船は常に動いており、三角形は完璧な正三角形ではありません。各辺の長さはわずかに異なり、時間の経過とともに変化します。これが「不等腕（unequal-arm）」の問題です。過去には、三角形は完璧で動かないものと仮定する簡略化されたモデル（「静的等腕モデル」）がよく使われてきました。それは、動いている車を、まるで置物であるかのように仮定して写真を撮ろうとするようなものです。素早いスナップショットを撮るにはそれで十分かもしれませんが、動きの詳細を分析したいのであれば、その動きを考慮に入れる必要があります。

本論文の著者らは、車が置物であるふりをするのをやめることにしました。彼らは「シミュレーション・トゥ・インファレンス（シミュレーションから推論へ）」というフレームワークを構築しました。これは以下の2段階のプロセスです：

1. シミュレーション（「偽の現実」）： 彼らは「Triangle-Simulator」というツールを使用して、Taijiの宇宙船が実際に記録するデータストリームと全く同じに見える、偽のデータスト streams を生成しました。このデータには、「ノイズ」（レーザーのジッター、鏡の揺らぎ）と「信号」（重力波）が含まれています。決定的なのは、この偽のデータが、宇宙船が移動し、腕の長さが不等であるという事実を尊重している点です。
2. 推論（「探偵の仕事」）： 次に、彼らはこの偽のデータを取り、数学的モデルを用いてそれを「解こう」としました。目標は、混ぜ合わされた複雑なレシピの材料（計器ノース、白色矮星の背景、一般的な天体物理学的背景、そして特定の宇宙論的信号である「初期宇宙の相転移からの音波」）を、モデルが正しく識別できるかどうかを確認することでした。

全共分散の魔法

ここでの核心的な革新は、数学の扱い方にあります。より単純なモデルでは、科学者は3つのレーザー・チャネル（X、Y、Z）を個別に扱うか、あるいはそれらが独立していると仮定することがよくあります。しかし、宇宙船が移動し、腕の長さが不等であるため、これら3つのチャネルは実際には「絡み合って（エンタングルして）」おり、相関関係にあります。一つの変化が、複雑な形で他のチャネルに影響を与えるのです。

著者らは「全共分散（Full-Covariance）」アプローチを採用しました。複雑なシチューのレシピを理解しようとしている場面を想像してください。もし、スープ、肉、野菜を別々に味わおうとすれば、それらがどのように混ざり合っているかを見逃してしまうかもしれません。しかし、全体の味を試し、それらが互いにどのように作用し合っているか（「共分散」）を理解していれば、レシピをより正確に導き出すことができます。著者らは、X、Y、Zの各チャネルが毎瞬どのように相互作用しているかを追跡する、$3 \times 3$ の数学的行列を構築しました。これにより、単純なモデルが切り捨ててしまう相関関係を保持することができるのです。

結果：レシピは機能するか？

チームは、彼らの「全共分散」による探偵の仕事が、実際に信号を見つけ出せるかどうかを確認するために、一連のテストを実施しました。

1. 基本的なチェック：
まず、計器ノイズと基本的な天体物理学的背景のみを用いたシンプルなセットアップでテストを行いました。彼らは10種類の「偽の現実」データセットを生成し、元々設定した数値を復元しようと試みました。結果はどうだったでしょうか？ システムは完璧に機能しました。ほとんどのパラメータにおいて、非常に高い精度（不確かさは1%未満）で値を復元できました。これは、彼らの数学に欠陥がなく、「全共分散」法が偏りのないものであることを証明しています。

2. 混み合った部屋：
次に、難易度を上げました。彼らは、私たちの銀河系内の白色矮星による膨大なノイズである「銀河前景（Galactic foreground）」を追加しました。これは、合唱団が歌っている最中にささやき声を聴こうとするようなものです。彼らは、システムが天体物理学的背景の信号を依然として見つけられるかどうかを検証しました。

• 発見： はい、可能でした。合唱団が歌っていても、システムは「ささやき」を特定することに成功しました。著者らは、合唱の正確な形を推測しなければならない状況においても、信号が「識別可能」であることを突き止めました。
• 比較： 彼らは、数学的な手法を3つ比較しました：
  • 静的等腕モデル： 簡略化された「置物」モデル。
  • 等腕タイムドメインモデル： リアルタイムのデータを使用するが、腕の長さは等しいと仮定するモデル。
  • 不等腕タイムドメインモデル： 移動と不等腕を考慮した「現実的」なモデル。
  • 結論： 3つの手法すべてが、信号強度に関して非常に似た結果を示しました。これは科学者にとって大きな安心材料です。なぜなら、単純な「静的」モデルでも迅速な推定には十分であることを意味するからです。しかし、現実のミッションの物理的実態に真に一致するのは、この現実的な「不等腕」モデルです。

3. 「ミスマッチ」の警告：
ある一点を証明するために、著者らはあえてリスクのある行動を取りました。「現実的な」移動モデルで生成されたデータを、あえて「簡略化された」静的モデルで分析してみたのです。

• 結果： 惨憺たるものでした。分析は失敗しました。復元された値は大きく外れ、信頼区間（「エラーバー」）も全く不適切でした。これは極めて重要な発見です。もし、動いている現実のデータに対して簡略化されたモデルを使用すれば、誤った答えを得ることになります。分析モデルは、検出器の現実に一致させなければならないのです。

4. 聖杯：相転移：
最後に、最もエキサイティングな要素を追加しました。それは、「一次相転移からの音波スペクトル」です。これは、宇宙の最初期における、まるで水が氷に凍る時の音のような、宇宙規模の理論的な信号です。

• 発見： すべてのノイズ、前景、そして天体物理学的背景が存在する中でさえ、システムはこの宇宙論的信号を見つけ出すことができました。著者らは、この信号のピーク振幅と周波数を良好な精度で復元しました。「ベイズ証拠（Bayesian Evidence）」（その信号がどれほど本物であるかを示す統計的なスコア）は非常に高く、もしこの信号が存在するならば、Taijiはそれを発見できることを示唆しています。

なぜこれが重要なのか

この論文は、新しい重力波を発見したわけでも、新しいブラックホールを見つけたわけでもありません。代わりに、彼らは**「探索のための設計図」**を構築したのです。複雑で混沌とした、動いている宇宙検出器の現実が、適切な数学を用いれば制御可能であることを証明しました。

著者らは、「全共分散」アプローチを用いることで、宇宙船の動きを尊重しながら、宇宙の背景ノイズを計器のノイズや銀河前景から分離できることを示しました。彼らは、簡略化されたモデルが迅速なチェックには有用である一方で、現実のデータから正しい答えを得るための唯一の方法は、検出器の変化する形状と位置を考慮したモデルを使用することであることを実証しました。

要するに、彼らは「イヤーマフ」の準備が整ったことを示したのです。数学は機能しており、シミュレーションは成立しており、道筋は明確です。検出器自身が宇宙空間を舞い踊っている間も、宇宙の初期のハム音を聴き取るための、Taijiミッションへの道が開かれました。次のステップは、実際のデータが届くのを待つことですが、この研究のおかげで、私たちはデータが到着したときにどのように聴き取ればよいのかを正確に知っているのです。