[论文解读] A Popov Stability Condition for Uncertain Linear Quantum Systems

M. R. James, Ian R. Petersen+1 more|arXiv (Cornell University)|Mar 7, 2013

Quantum chaos and dynamical systems参考文献 10被引用 8

一句话总结

该论文为具有二次哈密顿量扰动的不确定线性量子系统提出了一个量子Popov稳定性准则，将经典Popov准则扩展至量子领域。它建立了一个形式上等价于经典Popov准则的频域鲁棒稳定性条件，为量子系统提供了一种比以往基于小增益的方法更不保守的替代方案。

ABSTRACT

This paper considers a Popov type approach to the problem of robust stability for a class of uncertain linear quantum systems subject to unknown perturbations in the system Hamiltonian. A general stability result is given for a general class of perturbations to the system Hamiltonian. Then, the special case of a nominal linear quantum system is considered with quadratic perturbations to the system Hamiltonian. In this case, a robust stability condition is given in terms of a frequency domain condition which is of the same form as the standard Popov stability condition.

研究动机与目标

• 将经典Popov绝对稳定性准则扩展至具有不确定二次哈密顿量扰动的开放量子系统。
• 为线性量子系统开发一种比现有基于小增益的方法更不保守的鲁棒稳定性条件。
• 提供一种类似于经典Popov准则的频域条件，适用于具有二次扰动的量子系统。
• 通过涉及一个李雅普诺夫型算子的算子不等式，建立一个通用的Popov型稳定性结果。
• 通过一个物理实例（光学参量放大器）演示该方法，表明其相比先前方法具有更优的稳定性裕度。

提出的方法

• 通过要求存在一个满足算子不等式的李雅普诺夫型算子，推导出不确定量子系统的一般Popov型稳定性条件。
• 将该框架特化至线性量子系统，其中名义哈密顿量为湮灭与产生算符的二次型，且耦合为线性。
• 将稳定性条件表示为涉及传递函数矩阵的频域不等式，其形式与经典Popov准则相匹配。
• 使用传递函数 $ G_1(s) = iE_1(sI - A_1)^{-1}E_1^ op $ 来定义系统在频域中的输入-输出行为。
• 应用条件 $ \frac{\gamma}{4} + \mathrm{Re}[G_1(i\omega)] - \theta\omega\,\mathrm{Im}[G_1(i\omega)] > 0 $ 及其对称形式，对所有 $ \omega \in [-\infty, \infty] $ 成立，定义一个Popov图区域。
• 通过Popov图（实部与 $ \omega \cdot \mathrm{Im}[G_1(i\omega)] $ 的关系）进行图形分析，通过检查该图是否位于指定扇区内部来验证稳定性。

实验结果

研究问题

• RQ1 经典Popov准则能否被扩展至具有不确定二次哈密顿量扰动的开放量子系统？
• RQ2 所提出的量子Popov条件在保守性方面与量子小增益定理相比如何？
• RQ3 何种频域条件可确保线性量子系统在二次哈密顿量不确定性下的均方稳定性？
• RQ4 Popov图能否用于图形化验证量子系统的鲁棒稳定性，类似于经典控制理论中的方法？
• RQ5 在实际量子系统实例中，新准则是否相比先前方法获得了更优的稳定性裕度？

主要发现

• 该论文建立的量子Popov稳定性准则比量子小增益定理更不保守，能够验证更大不确定性范围下的稳定性。
• 在光学参量放大器的实例中，该方法证明在 $ \kappa = 2.1 $ 时仍保持稳定，而基于小增益定理的先前方法仅能保证 $ \kappa > 4 $ 时的稳定性。
• 稳定性条件以涉及传递函数 $ G_1(i\omega) $ 的实部与虚部的频域不等式形式呈现，参数为 $ \gamma $ 和 $ \theta $。
• 系统传递函数的Popov图必须位于斜率为 $ 1/\theta $ 且与横轴交点为 $ \pm \gamma/4 $ 的两条直线之间，从而提供一种图形化验证方法。
• 该条件可简化为检查 $ A_1 = -iM_1 - \frac{1}{2}N_1^\dagger N_1 $ 的Hurwitz稳定性，以确保名义系统稳定。
• 该方法适用于名义哈密顿量为二次型且扰动为半正定二次型的系统，其中 $ \Delta \leq 2I $，允许取 $ \gamma = 2 $。