[论文解读] Convergence and adiabatic elimination for a driven dissipative quantum harmonic oscillator

Rémi Azouit, Alain Sarlette+1 more|arXiv (Cornell University)|Mar 21, 2015

Quantum Information and Cryptography参考文献 15被引用 9

一句话总结

本文证明，具有双光子过程的受驱动耗散量子谐振子全局收敛至猫态（振幅相反的相干态的叠加态）保护子空间。当系统受微小单光子损耗率扰动时，通过绝热消去法推导出该子空间上的近似慢变动力学，获得一个简化的 Lindblad 主方程，可准确描述有效逻辑量子比特的演化。

ABSTRACT

We prove that a harmonic oscillator driven by Lindblad dynamics where the typical drive and loss channels are two-photon processes instead of single-photon ones, converges to a protected subspace spanned by two coherent states of opposite amplitude. We then characterize the slow dynamics induced by a perturbative single-photon loss on this protected subspace, by performing adiabatic elimination in the Lindbladian dynamics.

研究动机与目标

• 严格建立具有双光子过程的 Lindblad 驱动谐振子在无限维希尔伯特空间中全局收敛至由两个相反振幅相干态张成的保护子空间。
• 分析系统在微小但占主导地位的单光子损耗扰动下的行为。
• 通过 Lindbladian 量子动力学中的绝热消去法，推导保护子空间上的有效慢变动力学。
• 通过数值模拟验证简化模型，展示保真度与轨迹的一致性。

提出的方法

• 采用适用于无限维希尔伯特空间的李雅普诺夫-拉萨勒策略，证明理想情况（ϵ = 0）下的全局收敛性。
• 应用奇异摄动理论，将 Lindblad 主方程中的快变与慢变动力学分离。
• 对快速衰减模式进行绝热消去，推导出保护子空间上的简化 2×2 Lindblad 主方程。
• 将有效慢变动力学表示为 d/dt ρs = ϵα² LX(ρs)，其中 X 是猫态基下的比特翻转算符。
• 利用截断 Fock 空间进行数值模拟，比较完整系统与简化系统动力学。
• 采用保持正定性的数值格式模拟 Lindblad 方程并追踪保真度。

实验结果

研究问题

• RQ1 双光子驱动的 Lindbladian 动力学是否在全局收敛至由两个振幅相反的相干态张成的保护子空间？
• RQ2 微小的单光子损耗扰动如何影响保护子空间上的长期动力学？
• RQ3 能否在 Lindbladian 动力学中严格应用绝热消去法，以推导有效慢流形动力学？
• RQ4 简化动力学是否能准确近似完整系统的演化，特别是在保真度和可观测量轨迹方面？
• RQ5 保护子空间上的有效 Lindbladian 结构为何？其与逻辑量子比特操作有何关联？

主要发现

• 当 ϵ = 0 时，系统通过李雅普诺夫函数 Tr(LρL†) 证明全局收敛至双相干态子空间 Hα = span{|α⟩, |−α⟩}。
• 当 ϵ > 0 时，保护子空间上的慢变动力学由简化 Lindblad 方程 d/dt ρs = ϵα² LX(ρs) 描述，其中 X = (γ₊/γ₋)|c₊⟩⟨c₋| + (γ₋/γ₊)|c₋⟩⟨c₊|。
• 简化动力学同时捕捉了比特翻转与布居不平衡效应，Bloch 矢量的 z 分量收敛至 (γ₊⁴ − γ₋⁴)/(γ₊⁴ + γ₋⁴) ≈ 0（当 |α| 较大时）。
• 数值模拟显示，完整系统与简化系统之间的保真度收敛至 10⁻⁴ 以内，与 ϵ² 标度一致。
• 简化模型中 σz 与 σx 的期望值与完整系统一致，其偏差为 ϵ 阶量级，且退化率的匹配精度约为 4%。
• 慢变动力学保持 Lindbladian 形式，提示可将绝热消去法推广至其他工程化量子子空间。