[论文解读] Analysis of Lyapunov Control for Hamiltonian Quantum Systems

Xiaoting Wang, Sonia G. Schirmer|ArXiv.org|May 19, 2008

Quantum Information and Cryptography参考文献 18被引用 10

一句话总结

本文利用LaSalle不变性原理，对双线性哈密顿量子系统的李雅普诺夫控制进行了严格的分析，揭示该方法仅在严格条件下有效——具体而言，当自由哈密顿量 $ H_0 $ 为强正则且控制哈密顿量 $ H_1 $ 完全连通时。对于现实物理系统中这些条件被放宽的情况，由于中心流形的出现，该方法因无法实现向目标态的收敛而失效。

ABSTRACT

We present detailed analysis of the convergence properties and effectiveness of Lyapunov control design for bilinear Hamiltonian quantum systems based on the application of LaSalle's invariance principle and stability analysis from dynamical systems and control theory. For a certain class of Hamiltonians, strong convergence results can be obtained for both pure and mixed state systems. The control Hamiltonians for realistic physical systems, however, generally do not fall in this class. It is shown that the effectiveness of Lyapunov control design in this case is significantly diminished.

研究动机与目标

• 利用动力系统理论，严格分析双线性量子系统中李雅普诺夫控制的收敛特性。
• 确定李雅普诺夫控制保证收敛至目标量子态的必要与充分条件。
• 解决先前文献中关于LaSalle不变性原理在时变目标态下应用的不一致问题。
• 研究系统哈密顿量（$ H_0 $ 与 $ H_1 $）在决定李雅普诺夫控制的稳定性与有效性方面的作用。
• 评估李雅普诺夫控制在现实量子系统中的实际局限性，其中理想条件无法满足。

提出的方法

• 使用密度算符 $ \rho(t) $ 的Liouville-von Neumann方程表述量子控制问题，形式为 $ \dot{\rho} = -i[H_0 + f(t)H_1, \rho] $。
• 定义李雅普诺夫函数 $ V(\rho, \rho_d) = \frac{1}{2}\operatorname{Tr}((\rho - \rho_d)^2) $，其非负且仅在 $ \rho = \rho_d $ 时为零。
• 将LaSalle不变性原理应用于由 $ \rho(t) $ 和时变目标 $ \rho_d(t) $ 构成的扩展自治系统，其中 $ \dot{\rho}_d = -i[H_0, \rho_d] $。
• 分析动力系统的不变集 $ E $，以判断轨迹是否收敛至 $ \rho_d(t) $，特别关注临界点与中心流形的结构。
• 利用中心流形理论表明，当 $ H_0 $ 不是强正则或 $ H_1 $ 不完全连通时，不变集在 $ \rho_d(t) $ 附近包含一个中心流形，从而阻止收敛。
• 通过显式矩阵示例，比较理想条件（强正则 $ H_0 $，完全连通 $ H_1 $）与现实偏差下的系统行为。

实验结果

研究问题

• RQ1 在何种 $ H_0 $ 与 $ H_1 $ 条件下，李雅普诺夫控制能保证收敛至时变目标态 $ \rho_d(t) $？
• RQ2 LaSalle不变性原理在时变目标态下的应用是否有效？其必要假设是什么？
• RQ3 当理想条件（$ H_0 $ 的强正则性与 $ H_1 $ 的完全连通性）被放宽时，不变集 $ E $ 发生了什么变化？
• RQ4 为何李雅普诺夫控制在现实量子系统中虽在理想假设下有效，却仍会失效？
• RQ5 中心流形理论能否解释李雅普诺夫控制在非理想情况下的失效？这对实际控制设计有何启示？

主要发现

• 李雅普诺夫控制仅在 $ H_0 $ 为强正则且 $ H_1 $ 完全连通时有效，因为这些条件确保目标态 $ \rho_d(t) $ 是不变集中唯一的双曲吸引子。
• 当 $ H_0 $ 不是强正则或 $ H_1 $ 不完全连通时，不变集 $ E $ 扩展为围绕 $ \rho_d(t) $ 的中心流形，导致大多数轨迹收敛至流形上的周期轨道而非 $ \rho_d(t) $。
• 中心流形的出现意味着李雅普诺夫控制在大多数现实物理系统中实际无效，因为无法保证收敛至目标态。
• 即使对于典型的静止目标态，李雅普诺夫函数的不稳定临界点也具有正维数的吸引流形，使收敛动力学更加复杂。
• 在理想情况下，使不变集包含非临界点的目标态集合测度为零，但当哈密顿量条件被放宽时，该结论不再成立。
• 李雅普诺夫控制在非理想情况下的失效并非源于目标态的不稳定性，而是由于不变集的拓扑结构中包含非平凡的中心流形。