[论文解读] The Lie Algebra Rank Condition for Non-Bilinear Quantum System

Domenico D’Alessandro|arXiv (Cornell University)|Jan 27, 2003

Advanced Algebra and Geometry参考文献 9被引用 4

一句话总结

本文证明了李代数秩条件（LARC）可确保在 SU(n) 上由酉演化描述的非双线性量子系统的完全可控制性，即使不假设双线性性，可达态也与由控制哈密顿量生成的李代数的指数一致。该结果通过紧致李群中的拓扑与代数论证，将先前工作推广至一般依赖控制的哈密顿量。

ABSTRACT

The controllability condition for finite dimensional quantum systems, the Lie Algebra Rank Condition, has been stated assuming that the right invariant differential system under consideration is bilinear. We remark that this assumption is not necessary and discuss the extension to the general case.

研究动机与目标

• 将李代数秩条件（LARC）的应用范围从双线性量子系统扩展至一般非双线性依赖控制的哈密顿量。
• 解决系统哈密顿量在控制上非线性时，LARC 是否仍成立的开放问题。
• 证明即使在非双线性形式下，酉演化可达集仍等于由控制哈密顿量生成的连通李群 eᴸ。
• 通过 U(n) 的紧致性与隐函数定理论证，提供一个自包含的证明，用于可达集中邻域的生成。

提出的方法

• 将系统定义为由酉控制依赖哈密顿量 H(u₁,…,uₘ) 驱动的右不变酉演化。
• 构造李代数 L 为所有控制值在 U 中时，iH(u₁,…,uₘ) 的实线性张成。
• 证明可达集 R 是包含于连通李群 eᴸ 中的半群。
• 通过将任意群元素表示为生成元指数的有限乘积，并利用紧致性近似负时间指数，证明 R 在 eᴸ 中稠密。
• 通过构造一个参数化映射 Φ，利用隐函数定理在 (1,…,1) 处证明其雅可比行列式非零，从而证明 R 包含单位元的邻域。
• 由于 R 是连通群 eᴸ 中包含单位元邻域的半群，因此必有 R = eᴸ。

实验结果

研究问题

• RQ1 李代数秩条件是否保证非双线性控制哈密顿量的量子系统可控制性？
• RQ2 非双线性量子系统的可达集是否仍等于由控制哈密顿量生成的完整连通李群 eᴸ？
• RQ3 标准 LARC 证明中双线性假设是否为必要条件？
• RQ4 当系统为非双线性时，如何构造分段常数控制以到达 eᴸ 中任意元素？
• RQ5 能否利用紧致李群与隐函数定理的拓扑论证，在无双线性假设下证明完全可控制性？

主要发现

• 即使哈密顿量在控制上非双线性，量子系统（1）的可达集 R 仍等于由李代数 L 生成的连通李群 eᴸ。
• 该证明依赖于 R 在 eᴸ 中稠密且包含单位元邻域，结合半群性质，可推出 R = eᴸ。
• 通过有限个生成元指数的乘积表示任意群元素，并利用紧致性模拟负时间演化，证明 R 在 eᴸ 中稠密。
• 通过在参数化映射 Φ 上应用隐函数定理，且在 (1,…,1) 处雅可比行列式非零，证明 R 包含单位元的邻域。
• 映射 Φ 的构造及 V₁,…,Vₙ 的选取确保偏导数张成李代数，从而确认雅可比行列式非退化。
• 由于使用了通用紧致性与拓扑论证，该结果适用于任意紧致李群的连通李子群，而不仅限于 U(n)。