[論文レビュー] On the separation principle of quantum control

Luc Bouten, Ramon van Handel|ArXiv.org|Nov 5, 2005

Quantum Mechanics and Applications参考文献 22被引用数 33

ひとこと要約

この論文は、確率的制御における分離原理の量子版を確立し、関連するベルマン方程式が十分に滑らかな解を持つ場合、量子系における最適フィードバック制御を非線形フィルタの無記憶関数として設計できることを証明している。この枠組みは、制御された量子ストキャスティック微分方程式を用い、量子フィルタリングとマコフ過程の半群を介して古典的動的計画法を量子設定に拡張する。

ABSTRACT

It is well known that quantum continuous observations and nonlinear filtering can be developed within the framework of the quantum stochastic calculus of Hudson-Parthasarathy. The addition of real-time feedback control has been discussed by many authors, but the foundations of the theory still appear to be relatively undeveloped. Here we introduce the notion of a controlled quantum flow, where feedback is taken into account by allowing the coefficients of the quantum stochastic differential equation to be adapted processes in the observation algebra. We then prove a separation theorem for quantum control: the admissible control that minimizes a given cost function is a memoryless function of the filter, provided that the associated Bellman equation has a sufficiently regular solution. Along the way we obtain results on existence and uniqueness of the solutions of controlled quantum filtering equations and on the innovations problem in the quantum setting.

研究の動機と目的

• 古典的分離定理を量子領域に拡張することで、量子フィードバック制御の厳密な基礎を確立すること。
• フィードバック制御が量子系においてフィルタリングから分離可能かどうかという根本的問いを解消すること。
• 適切な正則性条件のもとで、最適制御戦略が量子フィルタの無記憶関数であることを証明すること。
• 制御された量子ダイナミクスと関連するフィルタリング方程式の間の数学的整合性を保証すること。
• フィルタリングと制御理論を統合することで、精密技術分野における実用的量子制御の基盤を築くこと。

提案手法

• 観測代数内の適応過程としての制御係数を備えた制御された量子フローの概念を導入する。
• 連続時間測定を伴う制御された量子系をモデル化するための量子ストキャスティック微積分の枠組みを構築する。
• 制御された量子フィルタリング方程式を導出し、フィルタが観測履歴と制御入力にのみ依存することを示す。
• 価値関数に伊藤の変換公式を適用し、量子設定における動的計画法の原則を検証する。
• イノベーション問題の解を用いて、フィードバック制御下でのフィルタリングプロセスの有効性を保証する。
• ベルマン方程式の正則性のもとで、最適制御がフィルタそのものにのみ依存することを証明することで、分離定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的制御理論と同様に、量子系におけるフィードバック制御はフィルタリングプロセスから分離可能か？
• RQ2 最適制御がシステム全体の状態ではなく、量子フィルタにのみ依存する条件は何か？
• RQ3 解の存在と正則性を保証するために、ベルマン方程式をどのように量子設定に適応できるか？
• RQ4 フィードバックを適用した場合、制御された量子系のフィルタリング方程式はオープンループのフィルタと同等か？
• RQ5 動的計画法の原則を、量子ストキャスティック制御問題に厳密に拡張できるか？

主な発見

• ベルマン方程式が十分に滑らかな解を持つ場合、量子系の最適制御戦略は量子フィルタの無記憶関数である。
• 標準的な仮定のもとで、制御された量子フィルタリング方程式は数学的に整合的かつ一意に解ける。
• 量子系におけるイノベーション問題が解かれており、フィードバック制御下でのフィルタリングプロセスの有効性が保証されている。
• 最適制御問題の価値関数は、量子動的計画法方程式を満たし、価値関数の条件付き期待値が実際の値に等しい。
• 伊藤の公式における確率積分が期待値で消えるため、分離定理が成立し、フィルタが最適制御を完全に決定可能である。
• この枠組みは、無限時間ホライズン、平均コスト、停止時制御問題など、量子ドメインにおける拡張が可能である。