[论文解读] Quantum Control Landscapes Are Almost Always Trap Free

Benjamin Russell, Herschel Rabitz+1 more|arXiv (Cornell University)|Aug 22, 2016

Laser-Matter Interactions and Applications参考文献 21被引用 11

一句话总结

本文利用微分几何，特别是参数横截性定理，证明了几乎所有有限维量子控制景观都是无陷阱的——即不包含局部极小值。研究显示，常被怀疑会导致优化陷阱的奇异控制几乎从不构成问题，且一种经过改进的横截性条件（弱于完全满射性）已足够确保无陷阱景观，从而解释了基于梯度的量子控制方法在实践中取得成功的原因。

ABSTRACT

A proof that almost all quantum systems have trap free (that is, free from local optima) landscapes is presented for a large and physically general class of quantum system. This result offers an explanation for why gradient methods succeed so frequently in quantum control in both theory and practice. The role of singular controls is analyzed using geometric tools in the case of the control of the propagator of closed finite dimension systems. This type of control field has been implicated as a source of landscape traps. The conditions under which singular controls can introduce traps, and thus interrupt the progress of a control optimization, are discussed and a geometrical characterization of the issue is presented. It is shown that a control being singular is not sufficient to cause a control optimization progress to halt and sufficient conditions for a trap free landscape are presented. It is further shown that the local surjectivity axiom of landscape analysis can be refined to the condition that the end-point map is transverse to each of the level sets of the fidelity function. This novel condition is shown to be sufficient for a quantum system's landscape to be trap free. The control landscape for a quantum system is shown to be trap free for all but a null set of Hamiltonians using a novel geometric technique based on the parametric transversality theorem. Numerical evidence confirming this is also presented. This result is the analogue of the work of Altifini, wherein it is shown that controllability holds for all but a null set of quantum systems in the dipole approximation. The presented results indicate that by-and-large limited control resources are the most physically relevant source of landscape traps.

研究动机与目标

• 为了阐明基于梯度的量子控制方法在实践中广泛取得成功的根本原因，这些方法尽管存在理论上的局部极小值担忧，却常常能避开局部极小值。
• 为了探究由奇异控制引起的景观陷阱在量子系统中是否普遍存在或极为罕见。
• 为了细化量子控制景观无陷阱的数学条件，超越严格的满射性假设。
• 为了证明具有导致陷阱的奇异控制的哈密顿量集合是一个零测集，意味着在实际中几乎必然出现无陷阱行为。
• 为了形式化一个几何准则——终点映射与保真度水平集的横截性——以确保无陷阱景观。

提出的方法

• 作者应用微分几何中的参数横截性定理，分析量子控制景观的结构。
• 他们将景观理论中标准的满射性假设重新表述为终点映射与保真度函数水平集之间的横截性条件。
• 利用Sard定理和测度论论证，证明具有奇异临界点（潜在陷阱）的哈密顿量集合的勒贝格测度为零。
• 该方法表明，对于几乎所有哈密顿量，即使存在奇异控制，景观也都是无陷阱的。
• 提供了数值证据以支持理论分析，确认在实际系统中陷阱极为罕见。
• 该方法推广了先前关于可控制性的结果，并将其扩展至景观拓扑，表明控制资源是决定优化成功与否的主要因素。

实验结果

研究问题

• RQ1 在所有有限维量子系统空间中，具有局部极小值（陷阱）的量子控制景观是常见还是罕见？
• RQ2 是否可以证明奇异控制的存在——常被认为会导致优化陷阱——在整体上并非问题？
• RQ3 量子控制景观理论中标准的局部满射性假设是否过于严格？能否用一个更弱、更自然的条件替代？
• RQ4 终点映射与保真度水平集的横截性是否能确保无陷阱景观？该条件是否对几乎所有系统都成立？
• RQ5 在拓扑障碍几乎总是不存在的前提下，控制资源在决定景观是否无陷阱方面起什么作用？

主要发现

• 具有导致陷阱的奇异控制的量子系统集合在所有哈密顿量空间中是一个零测集，意味着在实践中几乎不可能遇到此类系统。
• 本文证明，若终点映射与保真度函数的所有水平集横截，则控制景观是无陷阱的，该条件严格弱于完全的局部满射性。
• 研究显示，该横截性条件足以确保动力学与运动学景观具有相同的临界点结构，从而杜绝虚假的局部极小值。
• 该结果意味着，基于梯度的优化方法几乎对所有量子系统都能实现全局收敛，从而解释了其在实践中表现出的鲁棒性。
• 数值模拟证实了理论预测：即使在存在奇异控制的系统中，陷阱也极为罕见。
• 控制资源的充分性仍是决定优化是否成功的首要物理因素，因为拓扑障碍几乎总是不存在。