用激光听见时空互动实验

发生了什么

图里的小球为什么会变成椭圆？

把小球想成彼此不相连、正在自由落体的测试质量。引力波从垂直于圆环的方向穿过时，小球并不是被某种风推着跑；改变的是它们之间的固有距离。+ 偏振让两个垂直方向一伸一缩，× 偏振是同一个形变旋转 45°。

因果链

1
波穿过横向的时空度规发生周期扰动
2
距离改变x 方向变长时，y 方向同时变短
3
圆环变形半个周期后长短轴交换

数学模型

\begin{aligned} L_x(t) &\approx L\left[1 + \frac{1}{2}h_{+}(t)\right] \\ L_y(t) &\approx L\left[1 - \frac{1}{2}h_{+}(t)\right] \end{aligned}

符号

$L$: 没有引力波时的基准距离
$h_{+}(t)$: + 偏振的无量纲应变
$L_x,\,L_y$: 两个垂直方向上的固有距离

模型边界这里采用长波极限和 TT gauge 的标准教学图像；动画把应变夸大了约 10²⁰ 倍。测试质量的坐标可以保持不变，但固有距离会改变。

发生了什么

为什么一定要用两条互相垂直的长臂？

LIGO 不尝试测量某一面镜子的绝对位移，而是比较两条臂。对准双臂的 + 偏振经过时，x 臂增加 δLₓ，y 臂同时减少 δLᵧ。两个反号变化相减后会相加，而激光频率漂移等共同变化会被大幅抵消。

因果链

1
端镜近似自由质量多级悬挂隔离地面振动
2
双臂反相响应+δL 与 −δL 同时出现
3
读取长度差差分测量保留引力波，抑制共模噪声

数学模型

\begin{aligned} \Delta L_{\mathrm{diff}} &\equiv \delta L_x - \delta L_y = h_{+}L \\ h_{+} &= \frac{\Delta L_{\mathrm{diff}}}{L} \end{aligned}

符号

$L$: 每条臂的基准长度，LIGO 为 4 km
$\Delta L_{\mathrm{diff}}$: 两条臂的差分长度变化
$h_{+}$: 与双臂方向对齐时的 + 偏振应变

模型边界公式对应“引力波垂直入射且 + 偏振与双臂对齐”的最清楚情形。一般天空方向与偏振需要乘上探测器响应 F₊、F×。

发生了什么

光为什么能把长度变化变成可测量的量？

激光具有稳定的波长和相位，因此可以当作光学尺。Beam splitter 从同一束相干光产生两条路径；光在端镜反射后回到分束镜。路径稍微变长，就会多积累一点相位，最终只需比较两束返回光的相对相位。

因果链

1
同源分束两束光拥有共同的初始相位
2
分别往返每束光记录对应臂的光程
3
重新合束返回光的相位差携带 ΔLdiff

数学模型

\begin{aligned} \phi_{\mathrm{rt}} &= \frac{4\pi L}{\lambda} \\ \Delta\phi &= \frac{4\pi(L_x - L_y)}{\lambda} \end{aligned}

符号

$\lambda$: 激光真空波长
$\phi_{\mathrm{rt}}$: 一次往返积累的光学相位
$\Delta\phi$: 两条返回光之间的相位差

模型边界这一幕先使用简单 Michelson interferometer。真实 LIGO 的 arm cavity 会让光重复采样同一臂，第五幕再加入这个增益。

发生了什么

探测器为什么要从“几乎没有光”开始工作？

两条返回光被调到近似反相：一个波峰遇到另一个波谷，输出端口接近黑暗。引力波造成 Δφ 后，相消不再完整，少量光抵达 photodetector。这样暗背景上的微小变化比强光上的同等变化更容易分辨。

因果链

1
接近相消无信号时，两束返回光几乎抵消
2
产生 Δφ差分臂长让一束超前、另一束落后
3
输出光变化photodetector 把光功率变成电信号

数学模型

\begin{aligned} E_{\mathrm{out}} &\propto E_0\sin\left(\frac{\Delta\phi}{2}\right) \\ I_{\mathrm{out}} &\propto \sin^2\left(\frac{\Delta\phi}{2}\right) \end{aligned}

符号

$E_{\mathrm{out}}$: 输出端的光场振幅
$I_{\mathrm{out}}$: photodetector 测得的光强
$\Delta\phi$: 两条返回光的相位差

模型边界图中先展示理想 dark fringe。Advanced LIGO 实际会引入很小的 DARM offset，让少量载波光充当 local oscillator，从而在线性区读取信号。

发生了什么

4 km 仍然太短时，LIGO 怎样继续放大效应？

靠近 beam splitter 的 input test mass 与四公里外的 end test mass 构成 Fabry–Pérot cavity。共振光不会只走一趟就离开，而是在两面镜子之间反射约 300 次。每一次穿越都再次采样臂长，让极小相位变化累积。

因果链

1
光进入共振腔只有满足共振条件的场持续叠加
2
反复穿越 4 km同一个长度变化被重复采样
3
相位信号增强再返回分束镜进行差分比较

数学模型

\begin{aligned} L_{\mathrm{effective}} &\approx N L_{\mathrm{arm}} \\ &\approx 300 \times 4\,\mathrm{km} \approx 1200\,\mathrm{km} \end{aligned}

符号

$N$: 教学近似中的有效穿越次数，约 300
$L_{\mathrm{arm}}$: 实体 arm cavity 长度，4 km
$L_{\mathrm{effective}}$: 用来理解灵敏度增益的有效光程

模型边界“1200 km”是直观的路径长度说法；真实 cavity 增益还取决于 finesse、储存时间和引力波频率，不能在所有频率上简单等同于固定 N。

发生了什么

最后看到的 chirp 怎样证明来自同一次黑洞并合？

双黑洞辐射能量后逐渐靠近，轨道越来越快；主导的四极引力波频率约为轨道频率的两倍，振幅也迅速上升。相同形状的 chirp 先后出现在 Livingston 与 Hanford，而两个地点的本地噪声通常不会复制出同一段相关波形。

因果链

1
轨道收缩能量与角动量由引力波带走
2
频率、振幅上升形成 inspiral 的 chirp
3
双站相关GW150914 在两站相差约 7 ms

数学模型

\begin{aligned} f_{\mathrm{GW}} &\approx 2f_{\mathrm{orb}} \\ \Delta t &= \frac{\hat{\mathbf n}\cdot(\mathbf r_{\mathrm H}-\mathbf r_{\mathrm L})}{c} \approx 7\,\mathrm{ms} \end{aligned}

符号

$f_{\mathrm{GW}}$: 主导四极引力波的频率
$f_{\mathrm{orb}}$: 双星轨道频率
$\Delta t$: 同一波前抵达两站的时间差

模型边界画面中的 chirp 是教学波形，不是原始探测器数据。真实分析会校准 strain、估计噪声，并用完整 waveform model 与探测器网络做统计推断。

LIGO · Listening to Spacetime

把画面读成物理过程

图里的小球为什么会变成椭圆？

为什么一定要用两条互相垂直的长臂？

光为什么能把长度变化变成可测量的量？

探测器为什么要从“几乎没有光”开始工作？

4 km 仍然太短时，LIGO 怎样继续放大效应？

最后看到的 chirp 怎样证明来自同一次黑洞并合？