[论文解读] Exact phase shifts for atom interferometry

Charles Antoine, Ch. J. Bordé|arXiv (Cornell University)|Oct 21, 2002

Cold Atom Physics and Bose-Einstein Condensates参考文献 9被引用 27

一句话总结

本文提出了一种针对任意光束分束器配置的原子干涉仪相位移的精确解析表达式，采用 ABCDξ 形式化方法处理在位置和动量上最多为二次的哈密顿量。该方法推导出一个简洁的相位移公式，仅依赖于相互作用顶点处波包中心的坐标和动量，从而能够精确计算在重力、旋转和梯度场作用下的干涉相位——这对高精度传感器和空间任务至关重要。

ABSTRACT

In the case of an external Hamiltonian at most quadratic in position and momentum operators, we use the ABCD formulation of atom optics to establish an exact analytical phase shift expression for atom interferometers with arbitrary spatial or temporal beam splitter configurations. This result is expressed in terms of coordinates and momenta of the wave packet centers at the interaction vertices only.

研究动机与目标

• 推导在任意空间或时间光束分束器配置下，原子干涉仪中相位移的精确解析表达式。
• 仅使用相互作用顶点处波包中心的坐标和动量来表达相位移，消除对波包宽度参数的依赖。
• 为计算具有时间依赖性、二次外部势（如重力、旋转、梯度）的干涉仪中的相位移提供统一框架。
• 实现原子钟、重力仪和陀螺仪等应用中的精确相位移计算，并可扩展至高阶项的微扰分析。
• 通过引入质量差异和非均匀势场，推广现有模型，同时保持解析可解性。

提出的方法

• 利用 ABCDξ 形式化方法描述在位置和动量算符上为二次的哈密顿量下，高斯波包的传播。
• 应用 ttt 定理将分束器建模为相位和振幅调制，无需假设薄层或经典轨迹。
• 提出四端点定理，仅使用初始和最终位置与动量来表达同构路径之间的经典作用量差。
• 通过结合作用量差与分束器贡献，推导出相位移定理，得到仅依赖于顶点数据的全局相位表达式。
• 通过对探测区域进行空间积分，消除依赖于波包宽度的项，从而得到仅依赖于初始和最终动量与位置的简化中点相位表达式。
• 考虑对称配置和布喇格条件，进一步简化相位表达式，使其可直接用于传感器设计。

实验结果

研究问题

• RQ1 如何仅使用相互作用点处波包中心的坐标和动量，精确表达原子干涉仪中的相位移？
• RQ2 在时间依赖的二次哈密顿量下，具有任意光束分束器配置的干涉仪的相位移的解析形式是什么？
• RQ3 质量差异和非均匀势场（如重力梯度、旋转）如何影响此类干涉仪中的全局相位移？
• RQ4 波包宽度和复杂相位参数在最终相位移中的作用是什么？在何种条件下可忽略它们？
• RQ5 在对称干涉仪几何结构中，特别是满足布喇格条件时，相位移如何简化？

主要发现

• 本文推导出适用于任意光束分束器配置的原子干涉仪的精确解析相位移表达式，适用于任意时间依赖的在位置和动量上为二次的哈密顿量。
• 主要相位移仅依赖于相互作用顶点处波包中心的初始和最终位置与动量，无需依赖波包宽度参数。
• 在质量相同且配置对称的情况下，相位移简化为由激光波矢和时间加权的动量与位置差之和，在布喇格条件下具有清晰的形式。
• 对探测区域的空间积分消除了依赖于波包宽度的项，得到仅依赖于初始和最终动量与位置的中点相位表达式。
• 推导出的相位移表达式可精确计算重力、重力梯度和旋转效应，支持对空间任务（如 HYPER）中相关三阶项的微扰分析。
• 该形式化方法从精确表达式中恢复了先前工作中的知名微扰结果（例如 [5], [9], [11], [12]），验证了其一致性和普适性。