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

技术摘要：观测红移与脉冲星计时调制的精确等效性

问题陈述
脉冲星计时阵列（PTA）通过测量毫秒脉冲星无线电脉冲的到达时间来探测引力波。理论上，到达时间的调制（$z_\tau$）通常使用用于描述单条零测地线上光子频率分数变化的萨克斯-沃尔夫（Sachs–Wolfe）公式（即观测红移 $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. 雅可比场（Jacobi Fields）： 参考射线与相邻射线之间的间距由位移场 $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$，作者推导出了一个精确关系（式 16），将 $z_\tau$ 表示为连接发射间隔与观测者的零测地线上红移 $z_\nu$ 的平均值。他们进一步提供了一个展开式（式 17），表明 $z_\tau$ 与 $z_\nu$ 之间的差异受控于发射间隔与红移变化特征时间尺度（$T_z$）的比值：
   $$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 信号的主要描述方式是稳健的，并且在任何度规引力理论中都是在理论上得到证实的，且独立于摄动理论的阶数。