2. 量子陀螺仪工作物理基础

要建立量子陀螺仪误差分析的物理图像，必须先回答一个根本问题：转动究竟是怎样被"测量"出来的。经典陀螺仪依赖角动量守恒或科里奥利力，而量子陀螺仪的核心思路完全不同——它把原子本身当作物质波，让同一束原子沿两条不同路径传播后再重新汇合，通过干涉条纹的相位移动来反推转动。理解这条链路，是后续所有误差建模的出发点。

物质波与相位：干涉的"标尺"

根据德布罗意关系，动量为 p 的原子对应波长为 λ = h/p 的物质波。以铷-87 原子为例，在典型的三维磁光阱冷却后，原子温度约为几微开尔文，对应热速度约几毫米每秒；若再经拉曼脉冲选态，其有效波长可远小于光学波长。物质波相位 φ 与作用量相关，可写成 φ = S/ħ，其中 S 为沿路径积累的经典作用量。当原子沿两条路径传播时，两条路径的相位差 Δφ 决定了最终干涉信号的强弱：

P(Δφ) = (1 + C·cos Δφ) / 2

其中 C 为干涉条纹对比度（0～1），P 为原子处于某一内态的布居概率。这个式子说明：转动信息最终被编码进相位差 Δφ，而相位差通过布居概率被读出。误差分析中关心的对比度下降、相位噪声、偏置漂移，本质上都是对 C 和 Δφ 的扰动。

拉曼跃迁：给原子"分束"与"合束"

原子干涉仪需要完成分束、反射、合束三个动作，量子陀螺仪通常用受激拉曼跃迁实现。两束频率差为 ω₁−ω₂ 的激光同时作用于原子，当频率差与两个内态能级差共振时，原子在两个态之间发生相干跃迁，同时获得一个有效动量 ħk_eff，其中 k_eff = k₁ + k₂ 为有效波矢。一个 π/2 脉冲使原子进入两态的叠加，相当于"分束"；一个 π 脉冲改变两态布居并反转动量，相当于"反射镜"；再一个 π/2 脉冲完成"合束"。三次脉冲构成经典的马赫-曾德尔型原子干涉仪，脉冲间隔记为 T，总干涉时间约 2T。

这里有一个对误差分析极其重要的量：有效波矢 k_eff 与脉冲时序 T 共同决定了干涉仪的标度因数。拉曼光频率漂移、波矢方向失配、脉冲宽度抖动，都会直接进入标度因数误差项。

萨格纳克效应：转动如何变成相位

当干涉仪所在平台以角速度 Ω 转动时，两条路径围成的闭合面积 A 内会产生相位差，这就是萨格纳克效应。对物质波干涉仪，相位差可写为：

Δφ_Sagnac = (4π m / h) · Ω · A

其中 m 为原子质量，h 为普朗克常数，A 为两条路径围成的有效面积。与光学萨格纳克效应相比，物质波版本因 m 远大于光子等效质量而灵敏度极高——这正是量子陀螺仪的理论优势来源。以 T = 100 ms、k_eff 对应原子速度约 1 m/s 估算，单次干涉的有效面积可达 10⁻² m² 量级，对应灵敏度在 10⁻⁹ rad/s/√Hz 量级（此为教学估算，实际取决于装置参数）。

从误差建模角度看，这个公式给出了三条主线：面积 A 的稳定性、角速度 Ω 的耦合方向、以及相位读出精度。A 会因拉曼光对准漂移、原子云温度变化而改变；Ω 的耦合方向由干涉仪敏感轴决定，安装失准会引入交叉耦合误差。

布洛赫球：把内态演化画出来

原子在两个内态之间的相干演化，可以用布洛赫球直观表示。球的北极和南极分别对应两个内态 |0⟩ 和 |1⟩，赤道上的点表示等权叠加态，球面上的经度对应两态的相对相位。一个 π/2 脉冲把态矢量从北极转到赤道，π 脉冲使其绕赤道轴翻转 180°，再一个 π/2 脉冲后，态矢量落到赤道附近，其纬度（即布居差）就反映了累积相位 Δφ。

布洛赫球的价值在于：它把"相位误差"和"对比度损失"统一到同一个几何图像里。退相干使态矢量长度缩短（球内收缩），对应对比度 C 下降；拉曼光相位噪声使态矢量绕轴抖动，对应相位噪声；而脉冲面积误差则表现为旋转角偏离 π/2 或 π，造成系统性偏置。后续章节讨论的对比度衰减、相位噪声谱、脉冲误差补偿，都可以在这个球面上找到对应的几何解释。

把物理图像翻译成误差语言

上述四个概念并非孤立知识点，而是构成一条完整的"误差传导链"。以一次典型测量为例：拉曼光功率抖动使 π/2 脉冲面积偏离理想值，布洛赫球上的态矢量没有准确落到赤道，导致相位读出出现系统性偏置；同时原子云温度升高使部分原子速度偏离选态中心，两条路径的有效面积 A 出现分布展宽，萨格纳克相位被平均掉一部分，表现为对比度 C 下降；而平台转动 Ω 本身通过 Δφ = (4πm/h)·Ω·A 进入信号，若 k_eff 方向与敏感轴存在夹角，则会产生交叉轴耦合。

因此，在后续建立误差模型时，可以按"输入扰动 → 物理量变化 → 相位/对比度响应 → 输出误差"的层次逐项拆解：拉曼光频率与相位噪声对应相位噪声项；波矢失配与对准漂移对应标度因数误差与交叉耦合；原子温度与脉冲时序抖动对应对比度衰减与随机游走；而萨格纳克公式中的面积 A 与有效波矢 k_eff 则是所有标度因数类误差的共同锚点。掌握这条链路，才能在补偿阶段判断某一误差项究竟应通过光路稳频、时序闭环还是算法建模来抑制。