[論文レビュー] Synthesis of stabilizing switched controllers for N-dimensional quantum angular momentum systems

Kyosuke Matsumoto, Koji Tsumura+1 more|ArXiv.org|May 1, 2006

Quantum Information and Cryptography参考文献 12被引用数 3

ひとこと要約

本稿では、スイッチドフィードバック制御を用いて、N次元量子角運動量系を所望の固有状態に安定化する構成的技法を提示する。Mirrahimi-van Handelの制御則を分析することで、任意のスイッチングパラメータ γ ∈ (0, 1/N) が、全空間的ほぼ確実安定性を保証することを証明し、高次元量子系における制御則の明確な設計ルールを提供する。

ABSTRACT

This paper provides a class of feedback controllers that guarantee global stability of quantum angular momentum systems. The systems are in general finite dimensions and the stability is around an assigned eigenstate of observables with a specific form. It is realized by employing the control law which was proposed by Mirrahimi & van Handel. The class of stabilizing controllers is parameterized by a switching parameter and we show that the parameter between 0 and 1/N assures the stability, where N is the dimension of the quantum systems.

研究の動機と目的

• フィードバック制御を用いた高次元量子角運動量系の安定化に向けた明確な設計ガイドラインの欠如に対処すること。
• Mirrahimi-van Handelの制御則におけるスイッチングパラメータ γ の範囲を明確化し、全空間的安定性を保証すること。
• 有限次元量子系における安定化制御則の明確なパラメータ化されたクラスを提供すること。

提案手法

• 制御則は、Mirrahimi と van Handel が提案したスイッチドフィードバック戦略に基づき、スイッチングパラメータ γ を用いて制御入力を調整する。
• 系のダイナミクスは、連続的測定の反作用とフィードバック制御を記述するストキャスティック Itô 方程式でモデル化される。
• 収束性の分析には、目的の固有状態 ρe への収束を評価するためのリャプノフ型関数 V(ρt) = 1 - Tr(ρt ρe) が用いられる。
• LaSalle の不変集合の原理と確率的安定性理論を適用することで、目的状態へのほぼ確実収束を示す。
• 解析により、γ = 1/N が臨界閾値であることが特定され、これより小さい γ では安定性が保証される。
• J=10（N=21）における数値シミュレーションにより、異なる γ 値における V(ρt) のサンプルパスを用いて理論的結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 N次元量子角運動量系において、スイッチングパラメータ γ のどの範囲が全空間的ほぼ確実安定性を保証するか？
• RQ2 Mirrahimi と van Handel の抽象的な存在結果を、制御則設計に実用的かつ実装可能なものにどのように変換できるか？
• RQ3 初期条件に依存せず、所望の固有状態への収束を保証する明確な、具体的な γ の区間は存在するか？
• RQ4 連続的測定フィードバックにおけるスイッチングパラメータは、測定の反作用と制御入力のバランスをどのように果たすか？
• RQ5 存在証明に依存するのではなく、安定性条件を解析的に導出できるか？

主な発見

• 任意のスイッチングパラメータ γ ∈ (0, 1/N) が、目的固有状態の周囲における量子角運動量系の全空間的ほぼ確実安定性を保証する。
• γ = 1/N は臨界閾値であり、γ ≥ 1/N の値では安定性が保証されない可能性があることが数値的に示された。
• 制御則において u_t = 1 を用いる場合、t → ∞ のとき、リャプノフ関数 V(ρt) の期待値は 1 - 1/N に収束する。
• γ_a ∈ (0, 1/N) に対して、有限時間 T1 が存在し、すべての t ≥ T1 に対して E[V(ρt)] < 1 - γ_a が成り立つ。
• N = 21（J = 10）における数値シミュレーションにより、γ = 0.04 < 1/21 の場合、すべてのサンプルパスが目的状態に収束するのに対し、γ = 0.4 ≥ 1/21 の場合、収束しないパスが観測された。
• 制御が存在しない状態では、最大混合状態が唯一の不変状態であるが、スイッチド制御則は系をこの状態から離れ、目的固有状態へと駆り込む。