[論文レビュー] 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

ひとこと要約

この論文は、微分幾何学、特にパラメトリック横断定理を用いて、有限次元量子制御のランドスケープのほとんどが局所最適解を有さない（つまり、最適化の落とし穴が存在しない）ことを証明している。特異制御が最適化の落とし穴を引き起こすと広く懸念されているが、実際にはほとんど常に問題にならない。また、完全な全射性よりも弱いが十分な、洗練された横断性条件が、ランドスケープのTrap-free性を保証することを示しており、勾配ベースの量子制御手法の経験的成功を説明している。

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.

研究の動機と目的

• 勾配ベースの量子制御手法が、理論的には懸念されるにもかかわらずしばしば局所最適解を避けるという広範な経験的成果を説明すること。
• 特異制御が原因となるランドスケープの落とし穴が、量子系において一般的なものなのか、それともまれなものなのかを調査すること。
• 量子制御ランドスケープがTrap-freeであるための数学的条件を、厳密な全射性の仮定を超えて精緻化すること。
• 落とし穴を引き起こす特異制御を有するハミルトニアンの集合が、零集合であることを確立し、実際にはほぼ確実にTrap-freeな振る舞いを示すこと。
• 終点写像が忠実度の等高線集合と横断的であるという幾何的基準を形式化し、これによりTrap-freeなランドスケープが保証されること。

提案手法

• 著者らは、微分幾何学におけるパラメトリック横断定理を適用し、量子制御ランドスケープの構造を分析している。
• ランドスケープ理論における標準的な全射性仮定を、終点写像と忠実度関数の等高線集合との間の横断性条件に再定式化している。
• サードの定理と測度論的議論を用いて、特異臨界点（潜在的落とし穴）を有するハミルトニアンの集合が、Lebesgue測度ゼロであることを示している。
• この手法により、ほとんどすべてのハミルトニアンに対して、特異制御の存在に関係なくランドスケープがTrap-freeであることが示されている。
• 理論的分析を裏付けるために数値的証拠が提供されており、現実の系においても落とし穴の希少性が確認されている。
• このアプローチは、従来の可制御性に関する結果を一般化し、制御資源が最適化成功の主な決定要因であることを示している。

実験結果

リサーチクエスチョン

• RQ1 すべての有限次元量子系の空間において、局所最適解（落とし穴）を有する量子制御ランドスケープは一般的なものか、それともまれなものか？
• RQ2 しばしば最適化の落とし穴を引き起こすと懸念されている特異制御の存在が、一般に問題にならないことを示せるか？
• RQ3 量子制御ランドスケープ理論における標準的な局所全射性仮定は、あまりに制限的であり、より弱く自然な条件に置き換えられるか？
• RQ4 終点写像が忠実度の等高線集合と横断的であることは、Trap-freeなランドスケープを保証するか？ そして、この条件はほとんどすべての系で満たされるか？
• RQ5 トポロジカル障害がほとんど常に存在しないという事実を踏まえると、制御リソースの役割は、ランドスケープがTrap-freeであるかどうかを決定づける主な要因となるか？

主な発見

• 落とし穴を引き起こす特異制御を有する量子系の集合は、すべてのハミルトニアンの空間において零集合であるため、実際にはほとんど絶対に遭遇しない。
• 本論文は、終点写像が忠実度関数のすべての等高線集合と横断的である場合、制御ランドスケープがTrap-freeであることを確立している。この条件は、完全な局所全射性よりも厳密に弱い。
• 横断性条件が、動的および運動的ランドスケープの臨界点構造が同一であることを示しており、偽の局所最適解が存在しないことを保証している。
• この結果は、勾配ベースの最適化手法が、ほとんどすべての量子系に対してグローバルに成功することを示しており、その経験的頑健性を説明している。
• 数値シミュレーションにより、特異制御を有する系でさえも落とし穴が極めてまれであるという理論的予測が確認されている。
• 十分な制御リソースの可用性が、成功した最適化の主な物理的決定要因のままであり、トポロジカル障害はほとんど常に存在しない。