[論文レビュー] Resonance of Minimizers for $n$-level Quantum Systems with an Arbitrary Cost

Ugo Boscain, G. Charlot|ArXiv.org|Aug 20, 2003

Mathematical Biology Tumor Growth参考文献 15被引用数 13

ひとこと要約

本稿は、レーザー強度にのみ依存する凸コスト関数を有するnレベル量子系について、最適制御軌道（最小化子）が常に共鳴状態に存在することを証明している。つまり、レーザー周波数が準位間のエネルギー差に一致している状態である。この共鳴性により、元の複素球 $S^{2n-1} \subset \mathbb{C}^n$ 上の制御問題が、はるかに単純な実球 $S^{n-1} \subset \mathbb{R}^n$ 上の問題に低減され、計算複雑性が著しく低下し、$n \geq 3$ の系に対して新たな解析的・数値的解法が可能になる。この結果は、一般的に用いられる実験的制御戦略を正当化するとともに、低次元化された問題において厳密に異常な最小化子が存在しないという予想を支持する。

ABSTRACT

We consider an optimal control problem describing a laser-induced population transfer on a $n$-level quantum system. For a convex cost depending only on the moduli of controls (i.e. the lasers intensities), we prove that there always exists a minimizer in resonance. This permits to justify some strategies used in experimental physics. It is also quite important because it permits to reduce remarkably the complexity of the problem (and extend some of our previous results for $n=2$ and $n=3$): instead of looking for minimizers on the sphere $S^{2n-1}\subset\C^n$ one is reduced to look just for minimizers on the sphere $S^{n-1}\subset \R^n$. Moreover, for the reduced problem, we investigate on the question of existence of strict abnormal minimizer.

研究の動機と目的

• nレベル量子系の最適制御の複雑性を、共鳴最小化子の存在を証明することで低減すること。
• 準位間エネルギー差に一致する周波数でレーザーを調整する共鳴に基づく実験的制御戦略を正当化すること。
• 元の複素球 $S^{2n-1}$ 上の複素振幅ではなく、実球 $S^{n-1}$ 上の実振幅に制限することで、最適制御問題を単純化すること。
• 低次元化された $n-1$ 次元問題における厳密に異常な最小化子の存在を調査すること。
• $n=2$ および $n=3$ の場合に得られた結果を、任意の凸コスト関数を有する一般の $n$ レベル系へ拡張すること。

提案手法

• Pontryaginの最大原理（PMP）を適用し、複素制御系 $S^{2n-1}$ 上での最適性の必要条件を導出する。
• 時間に依存するユニタリ変換（相互作用表示）を用いてドリフト項を消去し、分布的形に変換する。
• 対称性と共鳴条件を活用して、$S^{n-1} \subset \mathbb{R}^n$ 上の低次元化制御問題を導入する。
• 元の系における任意の最小化子に対して、適切な変数変換により、同等の共鳴最小化子が低次元空間に存在することを証明する。
• PMPハミルトニアンの構造と特定のコストエート成分の消滅を解析することで、低次元系における異常極値を分析する。
• PMPの最大化条件を用いて、コスト関数の厳密な単調増加性のもとで、最適制御が共鳴部分空間に存在しなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 制御モジュラスにのみ依存する凸コスト関数を有するnレベル量子系において、常に共鳴状態の最小化子が存在するか？
• RQ2 最適制御問題を、最適性を失うことなく $S^{2n-1}$ から $S^{n-1}$ に低減できるか？
• RQ3 コスト関数が制御モジュラスに関して厳密に増加する場合、すべての最小化子が弱く共鳴的であるか？
• RQ4 低次元化された $n-1$ 次元問題において、厳密に異常な最小化子が存在するか？
• RQ5 低次元化された系において、厳密に異常な最小化子の不在を確立できるか？

主な発見

• 制御モジュラスにのみ依存する凸コスト関数を有するnレベル量子系の最適制御問題における任意の最小化子に対して、レーザー周波数が準位間エネルギー差に一致する共鳴状態における同等の最小化子が存在する。
• 最適制御問題は、複素球 $S^{2n-1} \subset \mathbb{C}^n$ から実球 $S^{n-1} \subset \mathbb{R}^n$ に低減可能であり、複雑性が著しく低下する。
• コスト関数が制御モジュラスに関して厳密に増加する場合、すべての最小化子が弱く共鳴的であることが示され、非共鳴制御は最適でないことが示唆される。
• 低次元化された $n-1$ 次元問題において、任意の時刻 $t$ の近傍で最小化子は厳密に異常でないことが保証され、厳密に異常な最小化子が存在しないという予想を支持する。
• 低次元化問題のPMPの持ち上げはハミルトニアン方程式と最大化条件を満たしており、低次元化形式の有効性が確認される。
• この結果は、共鳴に基づく広く用いられる実験的レーザー制御戦略を正当化するとともに、$n \geq 3$ の系に対して新たな解析的・数値的解法を可能にする。