[論文レビュー] Physical Realizability of Multi-Level Quantum Systems

Luis A. Duffaut Espinosa, Zibo Miao+3 more|arXiv (Cornell University)|Aug 17, 2012

Quantum Information and Cryptography参考文献 10被引用数 6

ひとこと要約

本稿では、多レベル量子系に多項式ハミルトニアンと複数のボソン場への乗法的結合を組み合わせた系について、SU(n)リー代数構造を用いて物理的実現可能性の条件を確立する。主な貢献は、SU(n)の対称および反対称構造定数を用いて表現される条件であり、この条件により系のダイナミクスが量子力学的整合性とユニタリな進化を満たすことが保証される。

ABSTRACT

This paper considers the physical realizability condition for multi-level quantum systems having polynomial Hamiltonian and multiplicative coupling with respect to several interacting boson fields. Specifically, it generalizes a recent result the authors developed for two-level quantum systems. For this purpose, the algebra of SU(n) was incorporated. As a consequence, the obtained condition is given in terms of the structure constants of SU(n).

研究の動機と目的

• 2レベル系に限らない多レベル量子系に、多項式ハミルトニアンを適用した物理的実現可能性条件を拡張すること。
• 四重形式での相互作用する複数のボソン場を、量子確率的制御フレームワークに統合すること。
• 開系としての多レベル量子系の物理的実現可能性条件を、SU(n)の代数的構造に基づいて導出すること。
• 得られた量子確率的微分方程式（QSDE）がユニタリな進化を通じて正当な量子ダイナミクスを記述することを保証すること。
• 与えられた双線形QSDEが物理的実現可能な量子系に対応するかどうかを体系的に検証する方法を提供すること。

提案手法

• 多レベル量子系の系変数の交換関係を記述するために、SU(n)リー代数を用いる。
• 物理的実現可能性条件を、SU(n)の対称および反対称構造定数の観点から表現する。
• 量子イト微積分を用いて、消滅演算子および生成演算子を通じて複数のボソン場との相互作用をモデル化する。
• ユニタリな進化と物理的整合性を保証するため、系行列（ハミルトニアンおよび結合演算子）に課される条件を導出する。
• 積み上げ演算子およびベクトル化技術を用いて、系の動的パラメータからハミルトニアン演算子を解く。
• 導出された条件が、系のQSDEが物理的実現可能な量子系の標準形に書き換え可能であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 多項式ハミルトニアンと複数の量子場への乗法的結合を持つ多レベル量子系が物理的実現可能であるための条件は何か？
• RQ2 SU(n)リー代数構造は、多レベル量子系の交換関係をどのように特徴づけられるか？
• RQ3 SU(n)の対称および反対称構造定数は、物理的実現可能性を決定づける上で果たす役割は何か？
• RQ4 複数の相互作用する量子場を、多レベル系の物理的実現可能性枠組みにどのように統合できるか？
• RQ5 ハミルトニアン演算子を明示的に計算することなく、物理的実現可能性条件を導出できるか？

主な発見

• 多レベル量子系の物理的実現可能性について、必要十分条件が導出され、その条件はSU(n)の対称および反対称構造定数の観点から表現される。
• この条件により、系の双線形量子確率的微分方程式（QSDE）がユニタリな進化として実現可能となり、量子力学的整合性が保証される。
• 形式的枠組みにより、四重形式での複数の量子場との相互作用が可能となり、従来の単一場への制限を一般化する。
• 構造定数dおよびfの明示的知識が不要な状態で、ハミルトニアン演算子を系の動的パラメータから再構成可能である。
• 導出された条件はハミルトニアンの具体的な形に依存せず、SU(n)の代数的性質と系の結合行列にのみ依存する。
• 本手法により、与えられたQSDEが物理的実現可能な量子系に対応するかどうかを体系的に検証する方法が提供され、一貫した量子コントローラーの設計が可能になる。