[論文レビュー] 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)$上でのフィデリティを関数的として分析すること。
• 2次分析を用いて臨界点におけるヘッシアンを評価し、ヘッシアンが無限次元の負定値を有する場合を同定すること。
• 勾配がゼロで負定値ヘッシアン（無限次元）を有する非定数の$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)$の有限次元部分空間にはゼロ制御の局所最適解が存在し、部分空間間でランドスケープの形状が顕著に異なることがある。