[论文解读] Note on the Analytical Solution of the Rabi Model

Daniel Braak|arXiv (Cornell University)|Oct 17, 2012

Nonlinear Waves and Solitons参考文献 19被引用 21

一句话总结

本文通过严格证明，捍卫了Rabi模型解析解的正确性：函数 $ G_{\pm}(x) $ 由Bargmann空间中的一组耦合微分方程导出，当强制其在 $ x = 0 $ 处为零时，可正确识别所有能级本征值。证明表明，条件 $ G_{\pm}(x;0) = 0 $ 对于物理本征值而言既是必要也是充分的，从而解决了关于非物理零点的疑虑——这些非物理零点被证明局限于测度为零的集合中，不会破坏原始解的有效性。

ABSTRACT

It is shown that a recent critique (arXiv:1210.1130 and arXiv:1211.4639) concerning the analytical solution of the Rabi model is unfounded.

研究动机与目标

• 反驳关于Rabi模型解析解因谱函数中存在虚假零点而包含非物理本征值的论断。
• 确立条件 $ G_{\pm}(x;0) = 0 $ 在正则谱中对物理能级本征值而言既必要又充分。
• 通过严谨证明复微分方程的解析延拓及对称性，弥补原始 $ G_{\pm}(x) $ 推导中的漏洞。
• 阐明复平面上两点边值问题的作用，并证明仅当 $ z_0 = 0 $ 时，才能得到一致且非简并的本征值条件。

提出的方法

• 基于Rabi哈密顿量，推导出Bargmann空间中波函数分量 $ \phi_1(z) $ 和 $ \phi_2(z) $ 的一阶线性微分方程组（4）。
• 利用对称性 $ z \to -z $，证明 $ \Phi(z) = (\phi_2(-z), \phi_1(-z))^T $ 满足与 $ \Psi(z) $ 相同的微分方程，从而实现解析延拓。
• 应用复分析中的定理：若线性齐次微分方程的解在连通区域内的某一点为零，则其在整个区域恒为零，确保解在全区域的一致性。
• 证明在 $ z_0 = 0 $ 处，条件 $ \phi_1(z_0) = \phi_2(-z_0) $ 与 $ \phi_2(z_0) = \phi_1(-z_0) $ 足够保证 $ \psi(z) $ 在整个复平面上解析。
• 证明函数 $ G_{\pm}(x) $（通过在 $ z = -g $ 处的幂级数展开定义）在 $ x $ 处为零，当且仅当 $ x = E^{\pm}_n + g^2 $ 对应物理本征值。
• 表明当 $ z_0 \in i\mathbb{R} $ 时，即使在收敛圆盘 $ D_0 $ 之外，由于真实本征值处的全纯性，$ G_{\pm}(x;z_0) $ 仍能正确给出本征值。

实验结果

研究问题

• RQ1 由Rabi模型波函数方程导出的谱函数 $ G_{\pm}(x) $ 是否能正确识别所有物理能级本征值？
• RQ2 Maciejewski等人所批评的 $ G_{\pm}(x) $ 中的所谓非物理零点，是否确为虚假零点，还是具有数学依据？
• RQ3 为何 $ G_{\pm}(x;0) = 0 $ 条件在本征值确定中具有唯一性，而其他 $ z_0 \neq 0 $ 处的条件可能失效？
• RQ4 通过对称性与微分方程结构实现的波函数解析延拓，是否能确保仅物理本征值满足边界条件？
• RQ5 即使级数不收敛，能否通过 $ G_{\pm}(x;z_0) $（$ z_0 \in i\mathbb{R} $）准确计算本征值？

主要发现

• 条件 $ G_{\pm}(x;0) = 0 $ 对于 $ x $ 对应该物理能级本征值 $ E^{\pm}_n + g^2 $ 而言，既是必要也是充分的，解决了此前关于虚假零点的疑虑。
• 潜在非物理零点的集合被限制在 $ \mathbb{R} \cap D_0 \setminus \{0\} $，其测度为零，不影响原始解的有效性。
• 当 $ z_0 \in i\mathbb{R} $ 时，即使在收敛圆盘 $ D_0 $ 之外，由于真实本征值处的全纯性，$ G_{\pm}(x;z_0) $ 仍能定位到正确的本征值。
• 数值证据表明，$ G_{+}(x;5i) $ 在 $ x \approx 71 $ 处存在联合零点，对应正确本征值 $ E^{+}_{71} = 70.00462935 $，尽管级数不收敛。
• 原始 $ G_{\pm}(x) $ 的推导通过证明：若 $ \bm{f}(z_0) = \Phi(z_0) - \Psi(z_0) $ 在单点 $ z_0 \in D_0 $ 处为零，则其在整个区域恒为零，从而实现闭合与验证，确保了一致性。
• Maciejewski等人基于两点边值问题的批评是无效的，因为正确的条件是 $ z_0 = 0 $ 处的单点消失条件，而非两个不同点的条件。