[论文解读] How to calculate spectra of Rabi and related models

Andrzej J. Maciejewski, Maria Przybylska+1 more|arXiv (Cornell University)|Oct 3, 2012

Advanced Differential Equations and Dynamical Systems被引用 8

一句话总结

本文修正了Braak在2011a年使用Bargmann表示法计算Rabi模型及其相关体系能谱时存在的一个关键缺陷。通过采用合流Heun函数并基于正则奇点处局部解的Wronskian判据，作者提出了一种稳健且可推广的方法，用于确定Rabi模型及其$Σ_2$对称性破缺推广体系的能谱，确保仅识别出物理上有效的能级，避免出现虚假零点。

ABSTRACT

We show how to use properly the Bargmann space of entire functions in the analysis of the Rabi model. We are able to correct a serious error in recent papers on the topic and develop a corrected method of finding the spectrum applicable also to other, more general systems.

研究动机与目标

• 修正Braak在2011a年用于计算Rabi模型能谱的方法中存在的重要错误。
• 开发一种通用且可靠的方法，适用于Rabi模型及其$Σ_2$对称性破缺的推广体系。
• 通过消除谱函数中的虚假零点，确保仅识别出物理上有效的能级。
• 将谱方法的应用范围扩展至三阶递推关系之外，突破以往方法的限制。
• 为在Bargmann-Fock表示中使用整函数解计算能谱，提供系统化的框架。

提出的方法

• 通过变量$ z $、$ \rho $和$ \tau $，将Rabi模型转化为Bargmann表示下的首阶微分方程组。
• 引入新变量$ y = z + \lambda $和$ \varphi_i(y) = e^{-\lambda y} \psi_i(y - \lambda) $，以在正则奇点处局部化解。
• 利用幂级数展开，在$ y = 0 $和$ y = 2\lambda $处分别构造局部全纯解$ \varphi_1(y) $和$ \varphi_2(y) $。
• 在重叠区域应用Wronskian判据$ W_i(z_i) = \det\begin{bmatrix} \varphi_i(z_i) & \varphi_{i+1}(z_i) \\ \varphi_i'(z_i) & \varphi_{i+1}'(z_i) \end{bmatrix} = 0 $，以强制实现全局解析性。
• 将解表示为合流Heun函数$ \operatorname{HeunC}(a_0; y) $和$ \operatorname{HeunC}(a_1; 1-y) $的形式，其中参数由$ (x, \lambda, \mu, \epsilon) $导出。
• 利用在$ y = 1/2 $处定义的Wronskian $ W(p) = w(p; 1/2) $，即Heun函数在该点的Wronskian，通过其零点确定能谱。

实验结果

研究问题

• RQ1 如何修正Braak在计算Rabi模型能谱时存在缺陷的方法？
• RQ2 当存在奇点时，如何正确识别Bargmann表示中整函数解的判据？
• RQ3 谱方法能否推广至三阶递推关系和$ \mathbb{Z}_2 $对称体系之外？
• RQ4 如何利用局部解的Wronskian检测全局解析性，从而确定能谱？
• RQ5 合流Heun函数在构造广义Rabi模型精确解的过程中起什么作用？

主要发现

• 修正后的方法成功重现了Braak（2011a）发表的Rabi模型能谱，且未包含辅助函数的孤立虚假零点。
• 定义为在$ y = 1/2 $处的合流Heun函数Wronskian $ W(p) $，其零点恰好对应于能谱中的能级。
• 对于$ \epsilon \neq 0 $的广义Rabi模型，该方法正确识别了能谱，其有效性通过图3至图5中$ W(p) $的数值图得到验证。
• 该方法具有通用性，适用于具有多个正则奇点的体系，前提是满足重叠区域条件$ U_i \neq \emptyset $。
• 该方法避免依赖三阶递推关系，从而可推广至更复杂的量子模型。
• 能谱完全由$ W(p) $的零点表征，且这些零点被证明精确对应于物理能级。