[論文レビュー] Incoherent Quantum Control

Alexander Pechen, Herschel Rabitz|ArXiv.org|Jan 22, 2008

Laser-Matter Interactions and Applications参考文献 1被引用数 5

ひとこと要約

本稿では、周囲環境の設計による非整合な量子制御を提案し、周波数スペクトルの保存や状態固有の最適性といった従来の整合的制御の制限を克服する。非整合的進化が任意の初期状態を任意の目的状態に転送できることを示し、Kraus作用素形式と制御ランドスケープにおける局所的極小値の不在を証明することで実現可能である。

ABSTRACT

Conventional approaches for controlling open quantum systems use coherent control which affects the system's evolution through the Hamiltonian part of the dynamics. Such control, although being extremely efficient for a large variety of problems, has limited capabilities, e.g., if the initial and desired target states have density matrices with different spectra or if a control field needs to be designed to optimally transfer different initial states to the same target state. Recent research works suggest extending coherent control by including active manipulation of the non-unitary (i.e., incoherent) part of the evolution. This paper summarizes recent results specifically for incoherent control by the environment (e.g., incoherent radiation or a gaseous medium) with a kinematic description of controllability and landscape analysis.

研究の動機と目的

• 開放的量子系における整合的制御の制限、例えば周波数スペクトルの保存や状態固有の最適性を克服する。
• 非整合的放射、気体媒体などの環境相互作用を通じた非整合的制御を、補完的制御メカニズムとして探求する。
• Kraus作用素を用いて、開放的量子系における可制御性とランドスケープ構造を確立する。
• 非整合的ダイナミクスがユニタリ進化の制約を超えて普遍的な状態転送を達成できることを示す。
• 局所的極小値の不在を証明することで、勾配フリー最適化の理論的基盤を提供する。

提案手法

• 環境依存の Lindblad 演算子を用いた Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) 主方程式を用いて非整合的制御を形式化する。
• 時間依存の粒子分布（例えば運動量および内部状態）を用いて環境制御をモデル化し、GKSL生成子に影響を与える。
• トレース保存および完全正値性を満たす Kraus 演算子を用いて制御ダイナミクスを表現する。
• Kraus 演算子集合の Stiefel 多様体上での制御ランドスケープを分析し、最適化挙動を評価する。
• 運動論的図式を用いて、すべての Kraus 作用素を利用可能とみなすことで、グローバル最適化解析を可能にする。
• 一般条件下で、$ J_1 = \mathrm{Tr}[(\sum_i K_i \rho K_i^\dagger) O] $ の形をした目的関数が、局所的極小値や極大値を持たないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 環境相互作用による非整合的制御は、ユニタリ整合的制御の周波数スペクトル保存制限を克服できるか？
• RQ2 すべての初期状態を特定の目的状態に転送できる単一の非整合的進化を設計可能か？
• RQ3 非整合的量子制御の制御ランドスケープの構造は何か？また、局所的極小値を含むか？
• RQ4 開放的量子系の可制御性は、環境の状態および相互作用の詳細にどのように依存するか？
• RQ5 特に生成が困難な周波数に対して、非整合的制御は整合的手法と比較して制御コストを低減できるか？

主な発見

• Kraus作用素によって実装される単一の非整合的進化により、任意の初期状態（純粋状態または混合状態を含む）を任意の目的状態に転送可能である。
• 目的関数 $ J_1 = \mathrm{Tr}[(\sum_i K_i \rho K_i^\dagger) O] $ は、Stiefel 多様体上で局所的極小値や極大値を持たず、グローバル最適化が達成可能であることを保証する。
• qubit システム（$ n=2 $）では、初期状態 $ \rho $ と目的演算子 $ O $ の縮退性に依存して、グローバル極小値、極大値、およびサドル多様体の構造が現れる。
• 完全に混合された初期状態 $ \rho = \frac{1}{2}\mathbb{I} $ の場合、$ J_{\text{saddle}} = \frac{1}{2} $ である唯一のサドル多様体が存在する。
• 部分的に混合された状態では、$ J_{\text{saddle}}^{\pm} = \frac{1}{2}(1 \pm \|\mathbf{w}\|) $ という2つのサドル多様体が存在し、ここで $ \|\mathbf{w}\| \leq 1 $ はパウリ行列を用いた状態の特徴づけを表す。
• 制御ランドスケープにおける局所的極小値の不在により、勾配ベース最適化手法がグローバル最適解に信頼性を持って収束可能である。