4. 一阶关联函数与干涉测量

一阶关联函数描述的是光场在两个时空点之间的振幅相关性，它是所有经典干涉现象的理论核心。理解一阶相干度，是进入量子光学关联测量体系的第一步——因为二阶关联函数所揭示的量子特性，往往需要以一阶相干性的行为作为参照基准。

一阶相干度的定义与物理含义

对于标量光场复振幅 E(r, t)，一阶关联函数定义为：

G⁽¹⁾(r₁, t₁; r₂, t₂) = ⟨E*(r₁, t₁) E(r₂, t₂)⟩

其中 ⟨·⟩ 表示系综平均或时间平均。归一化后得到一阶相干度：

g⁽¹⁾(r₁, t₁; r₂, t₂) = G⁽¹⁾(r₁, t₁; r₂, t₂) / √[G⁽¹⁾(r₁, t₁; r₁, t₁) · G⁽¹⁾(r₂, t₂; r₂, t₂)]

其模值满足 0 ≤ |g⁽¹⁾| ≤ 1。|g⁽¹⁾| = 1 表示完全一阶相干，两点的光场振幅完全相关；|g⁽¹⁾| = 0 表示完全不相干；介于两者之间为部分相干。需要特别强调的是，g⁽¹⁾ 描述的是振幅层面的相关性，它无法区分热光、相干光与单光子态——这些光场都可以具有 |g⁽¹⁾| = 1，但它们的二阶相干度 g⁽²⁾ 截然不同。这正是后续引入二阶关联测量的根本动机。

杨氏双缝干涉：空间相干性的直接测量

杨氏双缝实验是一阶空间相干性最直观的测量手段。准直光束照射间距为 d 的双缝，在距离 L 的屏幕上观察干涉条纹。屏幕上位置 x 处的光强为：

I(x) = I₁ + I₂ + 2√(I₁I₂) · Re[g⁽¹⁾(d, 0)] · cos(2πxd / λL)

条纹可见度（对比度）定义为：

V = (I_max − I_min) / (I_max + I_min) = |g⁽¹⁾(d, 0)|

因此，通过测量条纹可见度，可以直接提取双缝位置处的一阶空间相干度。若光源为有限大小的热光源，其空间相干宽度由范西特-泽尼克定理给出：相干面积与光源面积成反比。例如，一个直径 1 mm、中心波长 633 nm 的圆形热光源，在距离 1 m 处的横向相干宽度约为 0.77 mm。当双缝间距 d 远小于该相干宽度时，条纹可见度接近 1；当 d 增大到相干宽度量级时，可见度显著下降。

迈克尔逊干涉：时间相干性的测量

迈克尔逊干涉仪通过分束器将光分为两路，经不同长度的臂反射后重新合束。两臂光程差 ΔL = 2(L₂ − L₁) 对应时间延迟 τ = ΔL/c。探测器处的光强为：

I(τ) = I₀ [1 + Re(g⁽¹⁾(τ)) · cos(ω₀τ)]

其中 ω₀ 为光场中心频率。当光程差从零逐渐增大时，干涉条纹可见度 V(τ) = |g⁽¹⁾(τ)| 随 τ 衰减。对于洛伦兹型光谱（如气体放电灯），|g⁽¹⁾(τ)| = exp(−πΔντ)，其中 Δν 为光谱线宽。可见度降至 1/e 对应的光程差即为相干长度 L_c = c/(πΔν)。例如，一个线宽 Δν = 1 GHz 的激光源，其相干长度约为 9.5 cm；而白光光源线宽约 3×10¹⁴ Hz，相干长度仅约 1 μm，因此只有在两臂光程差极小时才能观察到干涉条纹。

空间与时间相干性的统一描述

空间相干性和时间相干性并非独立概念，它们统一在互相干函数 Γ(r₁, t₁; r₂, t₂) 的框架下。对于平稳光场，Γ 只依赖于时间差 τ = t₂ − t₁。若光场在空间上完全相干但时间上部分相干，则 Γ 可分离为空间部分与时间部分的乘积。实际光源往往同时具有有限的空间相干宽度和时间相干长度，二者共同决定了干涉条纹的可见度。

在实验设计中，需要根据光源特性匹配干涉仪参数。例如，使用多模激光二极管进行迈克尔逊干涉测量时，其空间相干性较好但时间相干长度可能仅几毫米，因此必须将两臂光程差控制在相干长度以内，否则条纹可见度将急剧下降。

傅里叶光谱学：从干涉图到光谱

傅里叶变换光谱仪（FTS）本质上是一台扫描式迈克尔逊干涉仪。其核心思想是：干涉图 I(τ) 与光源光谱密度 S(ν) 构成傅里叶变换对：

I(τ) = ∫ S(ν) cos(2πντ) dν
S(ν) = ∫ I(τ) cos(2πντ) dτ

实际测量中，干涉图在有限光程差范围内采集，相当于对理想干涉图乘以一个窗口函数。窗口函数的选择（矩形、三角、Happ-Genzel 等）会影响光谱分辨率与旁瓣特性。光谱分辨率 δν ≈ 1/(2ΔL_max)，其中 ΔL_max 为最大光程差。例如，若最大光程差为 10 cm，则分辨率约为 0.05 cm⁻¹（约 1.5 GHz）。

FTS 的优势在于其高通量（Jacquinot 优势）和多通道（Fellgett 优势），使其在红外光谱领域具有不可替代的地位。在量子光学实验中，FTS 常用于表征单光子源或纠缠光子对的联合光谱特性，此时需要将一阶干涉测量与符合计数测量相结合。

从一阶到二阶：为什么需要关联测量

一阶相干度 |g⁽¹⁾| 只能反映光场振幅的关联程度，无法区分不同光子统计性质的光源。例如，理想单光子源、相干态和热光都可以具有 |g⁽¹⁾| = 1，但它们的二阶相干度分别为 g⁽²⁾(0) = 0、1 和 2。因此，一阶干涉测量是表征光场相干性的必要但不充分手段。在实际量子光学实验中，通常先通过杨氏双缝或迈克尔逊干涉确认光场的空间和时间相干性，再引入 Hanbury Brown-Twiss 符合测量来获取 g⁽²⁾(τ)，从而完整刻画光场的量子统计特性。

关键参数与典型数值参考

表中数值为典型量级参考，实际值因具体器件和工作条件而异。在搭建干涉仪时，应确保光程差调节范围覆盖相干长度，以便完整观测可见度衰减曲线。对于傅里叶光谱测量，最大光程差需根据目标分辨率确定，同时考虑机械扫描精度和振动隔离要求。