[論文レビュー] A Popov Stability Condition for Uncertain Linear Quantum Systems

M. R. James, Ian R. Petersen+1 more|arXiv (Cornell University)|Mar 7, 2013

Quantum chaos and dynamical systems参考文献 10被引用数 8

ひとこと要約

本稿は、二次ハミルトニアン摂動を伴う不確実な線形量子系に対して、古典的ポポフ基準を量子ドメインに拡張した量子ポポフ安定性基準を開発する。これは古典的ポポフ基準と形式的に同一の周波数領域におけるロバスト安定性条件を確立し、従来の小さなゲインに基づく手法よりも保守的でない代替手法を提供する。

ABSTRACT

This paper considers a Popov type approach to the problem of robust stability for a class of uncertain linear quantum systems subject to unknown perturbations in the system Hamiltonian. A general stability result is given for a general class of perturbations to the system Hamiltonian. Then, the special case of a nominal linear quantum system is considered with quadratic perturbations to the system Hamiltonian. In this case, a robust stability condition is given in terms of a frequency domain condition which is of the same form as the standard Popov stability condition.

研究の動機と目的

• 古典的ポポフ基準による絶対安定性を、不確実な二次ハミルトニアン摂動を伴うオープン量子系に拡張すること。
• 従来の小さなゲインに基づくアプローチよりも保守的でない、線形量子系のロバスト安定性条件を開発すること。
• 古典的ポポフ基準に類似した周波数領域条件を、二次摂動を伴う量子系に適用可能にするよう提供すること。
• リャプノフ型作用素を含む作用素不等式を用いて、一般のポポフ型安定性結果を確立すること。
• 物理的例（光パラメトリック増幅器）を用いて手法を検証し、従来の手法に比べて安定性マージンが向上することを示すこと。

提案手法

• リャプノフ型作用素が作用素不等式を満たす存在を要件として、不確実な量子系に対する一般のポポフ型安定性条件を導出する。
• 名目ハミルトニアンが消滅・生成作用素の二次形式であり、結合が線形である線形量子系にこのフレームワークを特化する。
• 伝達関数行列を含む周波数領域不等式として安定性条件を表現し、古典的ポポフ基準を模倣する。
• 周波数領域における入出力行動を定義するために、伝達関数 $ G_1(s) = iE_1(sI - A_1)^{-1}E_1^ op $ を用いる。
• すべての $ \omega \in [-\infty, \infty] $ に対して、条件 $ \frac{\gamma}{4} + \mathrm{Re}[G_1(i\omega)] - \theta\omega\,\mathrm{Im}[G_1(i\omega)] > 0 $ 及びその対称形を適用し、ポポフプロット領域を定義する。
• 実部対 $ \omega \cdot \mathrm{Im}[G_1(i\omega)] $ のグラフ的解析を用いて、プロットが指定されたセクター内にあるかを確認することで安定性を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的ポポフ基準による絶対安定性を、不確実な二次ハミルトニアン摂動を伴うオープン量子系に拡張できるか？
• RQ2 提案された量子ポポフ条件は、量子小さなゲイン定理に比べて保守的であるか？
• RQ3 線形量子系において、二次ハミルトニアンの不確実性下で平均二乗安定性を保証する周波数領域条件は何か？
• RQ4 古典的制御理論と同様に、ポポフプロットを用いて量子系のロバスト安定性をグラフィカルに検証できるか？
• RQ5 実用的な量子系の例において、新しい基準は従来の手法に比べて改善された安定性マージンをもたらすか？

主な発見

• 本稿は、量子小さなゲイン定理よりも保守的でない量子ポポフ安定性基準を確立し、より大きな不確実性バッファの下での安定性検証を可能にする。
• 光パラメトリック増幅器の例では、本手法により $ \kappa = 2.1 $ で安定性が保証されるが、従来の小さなゲイン定理に基づく手法では $ \kappa > 4 $ の場合にのみ安定性が保証されていた。
• 安定性条件は、伝達関数 $ G_1(i\omega) $ の実部および虚部を含む周波数領域不等式の形をとり、パrameter $ \gamma $ および $ \theta $ を含む。
• システムの伝達関数のポポフプロットは、傾き $ 1/\theta $ の二本の直線および $ \pm \gamma/4 $ のx軸切片の間にある必要があり、これによりグラフィカルな検証手法が得られる。
• 条件は、$ A_1 = -iM_1 - \frac{1}{2}N_1^\dagger N_1 $ のHurwitz安定性の確認に帰着され、名目系の安定性を保証する。
• 本手法は、名目ハミルトニアンが二次的であり、摂動が半正定値二次形式である系に適用可能で、$ \Delta \leq 2I $ を満たすため $ \gamma = 2 $ を許容する。