[论文解读] The Lie algebra Structure and Nonlinear Controllability of Spin Systems

Francesca Albertini, Domenico D’Alessandro|ArXiv.org|Jun 20, 2001

Magnetism in coordination complexes参考文献 17被引用 7

一句话总结

该论文通过将系统的李代数结构与表示自旋相互作用的图的连通性相联系，建立了电磁场中自旋-1/2粒子网络非线性可控制性的必要且充分条件。对于具有不同 gyromagnetic 比率的系统，状态可控制性与演化算符可控制性等价；然而，对于具有相等比率的系统，反例表明状态可控制性并不蕴含算符可控制性，揭示了在对称参数下控制概念的根本差异。

ABSTRACT

In this paper, we study the controllability properties and the Lie algebra structure of networks of particles with spin immersed in an electro-magnetic field. We relate the Lie algebra structure to the properties of a graph whose nodes represent the particles and an edge connects two nodes if and only if the interaction between the two corresponding particles is active. For networks with different gyromagnetic ratios, we provide a necessary and sufficient condition of controllability in terms of the properties of the above mentioned graph and describe the Lie algebra structure in every case. For these systems all the controllability notions, including the possibility of driving the evolution operator and/or the state, are equivalent. For general networks (with possibly equal gyromagnetic ratios), we give a sufficient condition of controllability. A general form of interaction among the particles is assumed which includes both Ising and Heisenberg models as special cases. Assuming Heisenberg interaction we provide an analysis of low dimensional cases (number of particles less then or equal to three) which include necessary and sufficient controllability conditions as well as a study of their Lie algebra structure. This also, provides an example of quantum mechanical systems where controllability of the state is verified while controllability of the evolution operator is not.

研究动机与目标

• 分析电磁场控制下自旋-1/2粒子网络的李代数结构。
• 根据相互作用图的拓扑结构，确定可控制性的必要且充分条件。
• 澄清在 gyromagnetic 比率相等时，状态可控制性与演化算符可控制性之间的关系。
• 对具有各向同性（海森堡）相互作用的低维系统（≤3个粒子）进行完整表征。
• 识别出状态可控制性成立但算符可控制性不成立的情形，挑战控制概念的等价性。

提出的方法

• 将系统建模为由薛定谔方程控制的双线性量子控制系统，其哈密顿量属于反对厄米矩阵的李代数。
• 定义一个图，其中节点代表粒子，边代表非零自旋-自旋耦合，从而将李代数结构与图的连通性联系起来。
• 利用控制子代数引理，根据相互作用类型将总李代数分解为具有物理可解释性的分量。
• 应用李群与李代数理论，判断生成的李代数是否等于 su(2^n) 或其真子代数。
• 通过对换对关系和 Cartan 分解，显式分析低维情形（n ≤ 3），识别同构关系（如 sp(4)）。
• 基于换位子闭包的测试，验证生成代数是否同构于 sp(4) 或 su(8)，具体取决于耦合参数。

实验结果

研究问题

• RQ1 在何种相互作用图条件下，具有不同 gyromagnetic 比率的自旋-1/2粒子网络是可控制的？
• RQ2 在自旋系统中，状态可控制性与演化算符可控制性在何时等价？
• RQ3 系统是否可能状态可控制但算符不可控？若可能，其参数条件为何？
• RQ4 具有海森堡型相互作用的小型自旋网络（n ≤ 3）的完整李代数结构是什么？
• RQ5 当 gyromagnetic 比率相等时，如何影响可控制性层次结构与李代数结构？

主要发现

• 对于所有 gyromagnetic 比率均不同的自旋系统，可控制性等价于相互作用图的连通性，且李代数同构于 su(2^n)。
• 当 gyromagnetic 比率不全不同时，状态可控制性与算符可控制性之间的等价性被打破，反例显示李代数同构于 sp(4) 但非 su(8)。
• 在具有各向同性（海森堡）相互作用且 J12 = 0 的三粒子情形下，系统为状态可控制（L ≅ sp(4)），但非算符可控制，显示出严格的层次结构。
• 李代数结构可分解为四个子空间（M, C̃, N, R），构成 Cartan 分解，支撑 sp(4) 同构关系。
• 基于相互作用图的连通性，推导出即使 gyromagnetic 比率相等时也成立的一般充分可控制性条件。
• 由局部控制与自旋相互作用生成的控制子代数在确定完整李代数中起核心作用，并用于验证闭包性与同构性。