Exact Equivalence of the Observed Redshift and the Pulsar Timing Modulation in the Infinitesimal-Pulse Limit

技術要約：観測される赤偏移とパルサー・タイミング変調の厳密な等価性

問題提起
パルサー・タイミング・アレイ（PTA）は、重力波を検出するために、ミリ秒パルサーからの電波パルスの到着時刻を測定する。理論上、到着時刻の変調（$z_\tau$）は、単一のヌル測地線に沿った光子周波数の分数的な変化を特徴付ける、観測される赤偏移（$z_\nu$）のためのサックス・ヴォルフェ公式を用いて慣習的に記述される。二つの連続するパルス（異なる経路を通るもの）を伴うタイミング変調 $z_\tau$ と、一つの経路に沿った周波数変化を伴う赤偏移 $z_\nu$ の間の等価性は、摂動の一次のオーダーにおいては確立されているが、その妥当性が高次の項において、あるいは時空幾何学の摂動展開に依存せずに、非線形領域においても保持されるかどうかについては、PTAの文献において体系的に検討されてこなかった。中心となる問いは、この等価性が、時空幾何学の摂動展開に依拠することなく、非線形領域および一般的な計量重力理論において成立するかどうかである。

手法
著者らは、計量重力理論に適用可能な純粋に運動学的な枠組みを用い、ヌル測地線に沿った電磁信号の伝搬をモデル化している。

1. 幾何学的構成: 彼らは、固有時間 $\tau_e$ および $\tau_e + \Delta\tau_e$ における放出イベントから、観測イベント $\tau_o$ および $\tau_o + \Delta\tau_o$ へと結ぶ、二つの隣接するヌル測地線を定義する。
2. 無限小極限: 解析は、放出イベント間の固有時間間隔が消失する極限（$\Delta\tau_e \to 0$）に焦点を当てている。この極限において、二つのパルスは滑らかな一パラメータの測地線族として扱われる。
3. ヤコビ場: リファレンスとなる光線と隣接する光線の間の離隔は、測地偏差方程式を満たす変位場 $X^\mu$ によって記述される。
4. 保存則: 測地族の表面上でベクトル場の可換性を利用することで、著者らは、スカラー縮約 $k_\mu X^\mu$ （ここで $k^\mu$ は接ベクトル）がリファレンス測地線に沿って保存されることを証明する。この保存は、隣接する信号間の位相差の不変性と関連している。

主要な貢献と結果

1. 厳密な非線形等価性: 本論文は、固有時間間隔が消失する極限（$\Delta\tau_e \to 0$）において、観測されるタイミング変調 $z_\tau$ が観測される赤偏移 $z_\nu$ と厳密に等しいことを証明している。この等価性は、時空幾何学の摂動展開を用いることなく導出されており、あらゆる計量重力理論において成立する。関係式は次のように与えられる：
   $$\lim_{\Delta\tau_e \to 0} (1 + z_\tau) = \frac{d\tau_o}{d\tau_e} = \frac{(k_\mu u^\mu)_e}{(k_\mu u^\mu)_o} = 1 + z_\nu$$
   ここで、$u^\mu$ は放出体および観測体の四元速度を表す。

2. 有限周期の補正: 有限の放出間隔 $\Delta\tau_e$ に対して、著者らは $z_\tau$ を、放出間隔と観測者を結ぶヌル測地線に沿った $z_\nu$ の平均として表す厳密な関係式（式16）を導出している。さらに、彼らは $z_\tau$ と $z_\nu$ の差が、赤偏移の特性的な時間スケール $T_z$ に対する放出間隔の比によって制御されることを示す展開式（式17）を提供している：
   $$z_\tau = z_\nu + \frac{\Delta\tau_e}{2} \frac{dz_\nu}{d\tau_e} + O\left(\frac{\Delta\tau_e^2}{T_z^2}\right)$$

3. 物理的解釈: この等価性は、無限小の極限において、第二のパルスが独立した経路ではなく、第一の軌道の無限小の変分を表していることから生じる。隣接する光線間の位相差の保存により、観測される周波数の分数的な変化は、放出周波数や時空のゆらぎの性質に関わらず、固有時間の区間の分数的な変化に反比例することが保証される。

意義と主張
本論文は、PTAの観測量を単一測地線のサックス・ヴォルフェ公式を用いて記述するという標準的な手法が、単なる一次の近似ではなく、消失するパルス間隔の極限において厳密に正確であることを確立している。

• 線形オーダーを超えて: $z_\nu$ を用いて $z_\tau$ を記述する妥当性は、一次の摂動論を超えて拡張される。$z_\nu$ は単一のリファレンス測地線に沿って計算されるが、放出間隔が十分に小さい限り、非線形領域においてもタイミング変調を正確に捉えることができる。
• 幾何学展開からの独立性: 導出は、時空計量の摂動展開に依存しない。有限周期における補正項の小ささは、$\Delta\tau_e / T_z$ という比のみによって決定される。
• 観測上の関連性: パルサーの回転周期はミリ秒のオーダーであるのに対し、赤偏移の変化（例：重力波によるもの）は数ヶ月または数年のオーダーで発生するため、パラメータ $\Delta\tau_e / T_z$ は極めて小さい。したがって、現在のPTA観測において、単一測地線の赤偏移を用いた一次の記述は非常に正確であり、有限周期の補正は無視できる。

著者らは、観測される赤偏移をPTA信号の主要な記述として用いることは、摂動論の次数に関わらず、あらゆる計量重力理論において堅牢であり、理論的に正当化されていると結論付けている。