Degeneracies and modelling choices in double-plane time-delay cosmography

タイトル：二重平面タイムディレイ宇宙論における縮退とモデリングの選択

問題の所在
二重平面重力レンズ（遠方の光源が、異なる赤方偏移を持つ2つの前景天体によってレンズ効果を受ける現象）は、ハッブル定数（$H_0$）とダークエネルギーの状態方程式（$w(z)$）を同時に制約するためのユニークな機会を提供する。しかし、その制約の精度は本質的に質量シート縮退（MSD）によって制限される。単一平面のレンズでは、MSDにより、画像観測のみでは絶対的な質量プロファイルを決定できない。二重平面のシステムでは、この縮退は視線方向（LOS）の物質の存在によってさらに複雑化し、角直径距離を修正する収束項を導入する。本研究で特定された重要な課題は、外部の宇宙論的プライア（事前分布）を用いて「宇宙論的スケーリング因子」（$\eta$：角直径距離の比）を固定するという一般的な慣行である。著者らは、LOSの収束項が測定されたレンズ量に吸収されるため、これらの縮退による不確実性を考慮せずに、$\eta$を背景の宇宙論モデルによって単純に固定することはできないと主張している。

手法
本論文は、視線方向からの弱重力レンズ補正を明示的に組み込んだ二重平面レンズの定式化を展開している。

1. 定式化の開発： マルチプレーン・レンズ方程式（Schneider 2014; Fleury et al. 2021a）に基づき、著者らは、LOS収束項（$\kappa$）を含む3つの平面（2つのレンズ、1つの光源）を持つシステムのレンズ方程式を定義する。彼らは、これらの収束項が、測定されたレンズポテンシャル（$\psi$）、変位角（$\alpha$）、およびスケーリング因子（$\eta$）に暗黙的に吸収されることを証明している。
2. 一般化された質量シート変換（MSD）： 著者らは、スケーリング因子$\eta$を固定せず、レンズ観測量から導かれる自由パラメータとして扱う二重平面MSDを一般化する。彼らは、観測される像の位置と光源の形態を一様な再スケーリングを除いて保存する、レンズポテンシャルとスケーリング因子の変換則を導出する。
3. タイムディレイ解析： 著者らは、フェルマ・ポテンシャルとタイムディレイ関数をこれらの変換の下で解析する。決定的なことに、彼らは、弱重力レンズ補正が存在する場合でも成立する、タイムディレイ・スケール間の幾何学的関係である「アンフォールディング関係（unfolding relation）」（$\tau_{13}^{-1} = \tau_{12}^{-1} + \tau_{23}^{-1}$）を利用する。
4. 制約の導出： アンフォールディング関係を質量シート変換されたフレームワーク内で強制することにより、複雑なタイムディレイ関数が簡略化されることを著者らは示す。彼らは、タイムディレイ・スケールの幾何学的関係（$\tau_{12}$、$\tau_{23}$、および$\eta$）を課すことで、未知の光源位置の再スケーリングに依存する項がキャンセルされることを証明する。これにより、タイムディレイ関数を単一のタイムディレイ・スケールとして表現することが可能になる。

主な貢献と結果

• $\eta$に対する固定プライアの拒絶： 本論文は、LOS収束項が角直径距離を修正し、測定されたスケーリング因子$\eta$が背景の宇宙論的値とは異なることを明示的に示している。したがって、LOSの不確実性を考慮せずに標準的な宇宙論的プライアを用いて$\eta$を固定することは、理論的に矛盾している。
• アンフォールディング関係による簡略化： 著者らは、タイムディレイ・スケール（$\tau_{12}$、$\tau_{23}$、および$\eta$）の間の幾何学的関係を課すことで、タイムディレイ関数の項における未知の光源位置の再スケーリングへの依存性が消失することを証明した。これにより、タイムディレイ関数を単一のタイムディレイ・スケールを用いて記述できるようになる。
• $H_0$の不確実性のデカップリング： 二重平面レンズからの$H_0$測定における不確実性は、以下の項目にのみ限定されるという点が、本研究の中心的な結果である：
  1. 第1レンズ平面の質量シート変換パラメータ（$\lambda$）。
  2. 観測者と第1の光源／第2のレンズ平面の間のLOS収束寄与（$\kappa_{12}^{LOS}$）。
  3. タイムディレイおよび撮像の測定誤差。
     決定的なことに、著者らは、アンフォールディング関係が強制されている限り、$\eta$の真の値に関する不確実性、第1の光源平面と第2の光源平面の間のLOS寄与（$\kappa_{23}^{LOS}$）、または第2のレンズの質量プロファイルに関する不確実性は、$H_0$の制約に伝播しないことを示している。
• モデリングの処方箋： 本論文は、二重平面モデルの自由度を削減するための処方箋を提示している。具体的には、$H_0$は、第1レンズ平面をモデリングして（$\lambda$を決定するため）、かつ（銀河数カウントや弱重力レンズを通じて）第1の光源赤方偏移までのLOS収束を推定することによって制約できることを示唆している。これには、第2のレンズの複雑な質量プロファイルや遠方の光源を完全に解明する必要はない。

意義
本論文の主要な意義は、二重平面タイムディレイ宇宙論における縮退を扱うための堅牢なフレームワークを提供することにあると著者らは主張している。LOSの効果がスケーリング因子やタイムディレイ・スケールにどのように結合するかを明らかにすることで、二重平面システムを用いて「ハッブル・テンション」に対処できる際、二重平面のMSDの全容に阻まれることなく、これに取り組めることを示している。本研究は、$\eta$に関する系統的なバイアス（これは$H_0$とは独立である）は、幾何学的関係が尊重される限り、$H_0$の制約には伝播しないことを示している。この知見は、最近発見されたJ1721+8842のような二重平面システムが、モデリングの選択がスケーリング因子とLOS収束に関する導出された処方箋に従う限り、$H_0$とダークエネルギーに対して同時かつ独立した制約を提供できることを示唆している。著者らは、このアプローチが、MSD補正の完全性を維持しながら、モデルの自由度を安全に削減することを可能にすると強調している。