[論文レビュー] A General Framework for Nonlinear Quantum Dynamics

S. Gheorghiu-Svirschevski|ArXiv.org|Jul 8, 2002

Quantum Mechanics and Applications被引用数 5

ひとこと要約

本稿では、密度行列の平方根表現を用いた非線形量子力学的ダイナミクスの一般枠組みを提案する。これにより、トレース保存性、正定値性、および相対論的に整合性のある進化が可能になる。非線形ダイナミクスが純状態のユニタリティを保存し、エンタングルド系への完全正定値かつ分離可能な拡張を可能にすることを示し、信号伝達と測定の整合性に関する長年の懸念を解消する。

ABSTRACT

We outline an approach that streamlines considerably the construction and analysis of well-behaved nonlinear quantum dynamics, with completely positive extensions to entangled systems. A few notes are added on the issue of quantum measurements under a nonlinear dynamics.

研究の動機と目的

• 混合状態を確率的混合ではなく、基本的混合として再解釈することで、非線形量子力学的ダイナミクスとノーサイニング原理との長年の矛盾を解消すること。
• トレース、正定値性、局所性を保つ、数学的に洗練された一般枠組みを構築し、整合性のある非線形量子力学的ダイナミクスを実現すること。
• 非局所的または非因果的な構成を必要としない、エンタングルド系への一貫性のある完全正定値拡張を提供すること。
• 非線形ダイナミクスが、相関確率やスイッチオフ則を含む標準的量子測定理論と両立できることを示すこと。
• 純状態の進化が非線形ダイナミクス下でもユニタリに保たれることを示すこと、すなわち混合状態が非線形に進化する場合でも成立すること。

提案手法

• 密度行列を $\hat{\gamma}$ により表し、$\hat{\rho} = \hat{\gamma} \hat{\gamma}^\dagger$ と定義する。ここで $\hat{\gamma}$ はノルム保存写像に従って進化する。
• 非線形ダイナミクスを $i\hbar \dot{\hat{\gamma}} = G(\hat{\rho}) \hat{\gamma}$ という進化方程式で定義する。ここで $G$ は $\hat{\rho}$ に非線形に依存する非エルミート生成子である。
• 対応する密度行列方程式を導出する：$i\hbar \dot{\hat{\rho}} = [T(\hat{\rho}), \hat{\rho}] + i\{\Gamma(\hat{\rho}), \hat{\rho}\}$。ここで $T$ と $\Gamma$ はエルミート演算子である。
• トレースと正定値性の保存を、$\hat{\gamma}$ のノルム保存と $G$ の適切な構造の要請によって保証する。
• ポルチンスキー型形式主義を用いてエンタングルド系への完全正定値拡張を構築し、局所的かつ分離可能なダイナミクスを保証する。
• 標準的量子測定則（トレースに基づく結合確率、2測定系におけるスイッチオフ行動など）との整合性を示すことにより、フレームワークの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 因果性や信号伝達に反しないように、純状態がユニタリに進化し、混合状態が非線形に進化する非線形量子力学的ダイナミクスを構築できるか？
• RQ2 エンタングルド系に対して、完全正定値的かつ相対論的に整合性のある非線形ダイナミクスの拡張をどのように定義できるか？
• RQ3 非線形ダイナミクスにおいて、明示的に分離可能な完全正定値拡張が可能となる条件は何か？また、いつそれらが不可能となるか？
• RQ4 非線形ダイナミクスが、2測定系実験を含む標準的量子相関確率と測定結果を再現できるか？
• RQ5 密度行列の平方根表現が、非線形量子力学的ダイナミクスの構築と解析を簡略化する役割を果たすか？

主な発見

• 平方根演算子形式主義を用いることで、純状態のユニタリティ、トレース、正定値性、局所性を保つ非線形量子力学的ダイナミクスを一貫して構築可能である。
• このフレームワークは、既知の非線形フォン・ノイマン方程式を一般化し、もつれの進化を明示的に制御可能な広いクラスの非線形ダイナミクスを可能にする。
• エンタングルド系への完全正定値拡張は可能であり、一意的ではない。異なる拡張は異なるもつれダイナミクスを生成するため、選択には追加の物理的または関数的基準が必要となる。
• 局所的ダイナミクスが本質的に散逸的でない、すなわち非線形フォン・ノイマン形式に書き換え可能な場合に限り、明示的に分離可能なポルチンスキー型拡張が存在する。
• トレース則と完全正定値性の下で、非線形ダイナミクスは標準的量子測定結果（ユニタリ相関確率、2測定系におけるスイッチオフ則など）を再現可能である。
• 測定が完全正定値演算であり、測定後のダイナミクスがテストされた部分空間を不変に保つ一貫性のある測定理論をフレームワークが支持する。