[論文レビュー] Generalization of the Hughston-Jozsa-Wootters theorem to hyperfinite von Neumann algebras

Hans Halvorson|arXiv (Cornell University)|Oct 1, 2003

Quantum Mechanics and Applications被引用数 7

ひとこと要約

この論文は、超有限なフォンノイマン代数へのHughston-Jozsa-Wootters定理の一般化を、時空的に分離された操作による状態準備の概念を、超有限な可換部分代数を持つ状態空間上の任意の測度へと拡張することで行っている。主な貢献は、超有限なフォンノイマン代数に値をとる任意の正の作用素値測度が、局所的かつ完全正値の道具（instrument）を誘導することを証明することであり、これは無限次元および非可換な設定への基礎的な量子測定理論の拡張を実現する。

ABSTRACT

The Hughston-Jozsa-Wootters (HJW) theorem entails that any finite ensemble compatible with a given density operator can be prepared from a fixed initial state by operations on a spacelike separated system. In this paper, we generalize the HJW theorem to the case of arbitrary measures on the state space of a von Neumann algebra with hyperfinite commutant. In doing so, we also show that every POV measure with range in a hyperfinite von Neumann algebra induces a local, completely positive instrument.

研究の動機と目的

• 有限次元系にとどまらない、超有限なフォンノイマン代数の設定へHughston-Jozsa-Wootters定理を拡張すること。
• 超有限な可換部分代数を持つ無限次元量子系における、時空的に分離された操作による状態準備のフレームワークを確立すること。
• 超有限なフォンノイマン代数に値をとる任意のPOV測度が、局所的かつ完全正値の道具を生成することを示すこと。
• 作用素代数および量子情報の道具を用いて、非可換かつ無限次元な設定への量子測定理論を一般化すること。

提案手法

• 超有限なフォンノイマン代数およびその可換部分代数の構造を用いて、測度論的状態準備を一般化する。
• 非可換積分法および作用素代数の技術を適用して、状態空間上の任意の測度を扱う。
• 与えられた超有限なフォンノイマン代数に値をとるPOV測度から、局所的かつ完全正値の道具を構成する。
• フォンノイマン代数における状態と効果の双対性を用いて、道具の物理的実現可能性を保証する。
• 時空的に分離された系における局所的操作の概念を用いて、因果関係および量子相関を保存する。
• 超有限代数における正規条件付き期待値の存在に依存して、道具の完全正値性を保証する。

実験結果

リサーチクエスチョン

• RQ1 超有限な可換部分代数を持つ無限次元量子系において、HJW定理を拡張することは可能か？
• RQ2 超有限なフォンノイマン代数に値をとるPOV測度が、物理的に実現可能な道具を生じる条件は何か？
• RQ3 有限次元系を超えた、時空的に分離された操作による状態準備はどのように一般化できるか？
• RQ4 超有限構造は、局所的かつ完全正値の道具の存在を保証するために果たす役割は何か？
• RQ5 非可換かつ無限次元な代数に適用可能な測度論的量子準備の定式化は存在するか？

主な発見

• 超有限な可換部分代数を持つフォンノイマン代数の状態空間上の任意の測度へHJW定理が一般化され、状態準備定理の適用範囲が無限次元設定へ拡張された。
• 超有限なフォンノイマン代数に値をとるPOV測度は、すべて局所的かつ完全正値の道具を誘導し、測定プロセスの物理的実現可能性が保証された。
• 構成された道具は、時空的に分離された系における操作によって実装可能であり、因果関係が保持される。
• この構成は、超有限代数における正規条件付き期待値の存在に依存しており、道具の完全正値性を保証する。
• この結果により、非可換かつ無限次元な文脈における量子測定理論と作用素代数理論の橋渡しがなされた。
• このフレームワークは、連続的または無限次元の自由度をもつ系における量子情報プロトコルの厳密な基礎を提供する。