[论文解读] Quantum Control Landscapes: A Closer Look

Pierre de Fouquieres, S. G. Schirmer|arXiv (Cornell University)|Apr 20, 2010

Quantum Information and Cryptography参考文献 2被引用 30

一句话总结

本文研究了量子控制景观，揭示了虽然在酉群优化中纯态转移不存在陷阱，但在实际的 $L^2(0,T)$ 控制空间中，临界点却包含次优陷阱——其中一些具有无限秩的负定海森矩阵——这挑战了景观无陷阱的假设。研究证明，非正则临界点可作为真正的陷阱，尽管在酉群上表现良好，仍会复杂化优化过程。

ABSTRACT

The control landscape for various canonical quantum control problems is considered. For the class of pure-state transfer problems, analysis of the fidelity as a functional over the unitary group reveals no suboptimal attractive critical points (traps). For the actual optimization problem over controls in $L^2(0,T)$, however, there are critical points for which the fidelity can assume any value in (0,1), critical points for which the second order analysis is inconclusive, and traps. For the class of unitary operator optimization problems analysis of the fidelity over the unitary group shows that while there are no traps over U(N), traps already emerge when the domain is restricted to the special unitary group. The traps on the group can be eliminated by modifying the performance index, corresponding to optimization over the projective unitary group. However, again, the set of critical points for the actual optimization problem for controls in $L^2(0,T)$ is larger and includes traps, some of which remain traps even when the target time is allowed to vary.

研究动机与目标

• 研究在常规临界点之外的次优临界点（陷阱）在量子控制景观中是否存在及其性质。
• 分析在酉群 $\mathbf{U}(N)$ 与实际 $L^2(0,T)$ 控制空间之间控制景观的差异。
• 确定 $L^2(0,T)$ 中的非正则临界点是否可作为具有零梯度和负定海森矩阵的真正陷阱。
• 评估当陷阱在可变目标时间下依然存在时，优化策略的鲁棒性。
• 探讨将控制限制在有限维子空间时，陷阱的存在性及其吸引域的变化。

提出的方法

• 分析保真度作为酉群 $\mathbf{U}(N)$ 和特殊酉群 $\mathbf{SU}(N)$ 上的泛函，以检测纯态转移和酉算子优化中的陷阱。
• 采用二阶分析评估临界点处的海森矩阵，识别海森矩阵为无限秩负定的情况。
• 构建非恒定 $L^2(0,T)$ 控制的显式例子，这些控制是梯度为零且海森矩阵为负定的临界点，证明其为真正的陷阱。
• 使用投影算子 $\Pi[f(\bullet)]$ 和傅里叶基展开来表征控制海森矩阵结构的算子 $S$ 和 $C$。
• 证明当目标时间 $T$ 允许可变时，陷阱依然存在，表明陷阱现象具有鲁棒性。
• 比较 $\mathbf{U}(N)$、$\mathbf{SU}(N)$ 和 $L^2(0,T)$ 上的景观，以分离控制空间结构在陷阱形成中的作用。

实验结果

研究问题

• RQ1 在 $L^2(0,T)$ 控制空间中，非正则临界点是否可作为具有零梯度和负定海森矩阵的真正陷阱？
• RQ2 为何在 $\mathbf{U}(N)$ 上纯态转移无陷阱，但在 $L^2(0,T)$ 优化中仍会出现陷阱？
• RQ3 是否存在非恒定 $L^2(0,T)$ 控制的显式例子，其为具有无限秩负定海森矩阵的陷阱？
• RQ4 陷阱的吸引域如何依赖于优化算法和控制空间子空间的选择？
• RQ5 当目标时间 $T$ 允许可变时，陷阱是否依然存在，表明陷阱结构具有鲁棒性？

主要发现

• 对于纯态转移，在 $\mathbf{U}(N)$ 上不存在次优吸引性临界点，但在 $L^2(0,T)$ 控制空间中，保真度值位于 $(0,1)$ 的陷阱却存在。
• 构建了非恒定 $L^2(0,T)$ 控制的显式例子，其为梯度为零且海森矩阵为无限秩负定的临界点，确认其为真正的陷阱。
• 即使在目标时间 $T$ 允许可变的情况下，$L^2(0,T)$ 空间中仍存在陷阱，表明此类陷阱并非固定 $T$ 的产物。
• 在 $\mathbf{SU}(N)$ 上，陷阱存在，尽管在 $\mathbf{U}(N)$ 上不存在，表明群结构的选择会影响陷阱的存在性。
• 通过将性能指标修改为在射影酉群上优化，可消除 $\mathbf{U}(N)$ 上的陷阱，但无法消除 $L^2(0,T)$ 控制空间中的陷阱。
• 控制景观对函数空间的依赖性至关重要：$L^2(0,T)$ 的有限维子空间包含零控制陷阱，且不同子空间间的景观可能显著不同。