[論文レビュー] Why can states and measurement outcomes be represented as vectors?

Piero G. L. Mana|ArXiv.org|May 20, 2003

Quantum Mechanics and Applications被引用数 5

ひとこと要約

本稿では、実ベクトル空間内のベクトルとして、量子状態および古典的状態と測定結果を自然に表現できることを示している。実験的確率データを行列として扱い、そのランクがこのような表現に必要な最小次元を決定する。主な貢献は、密度行列とPOVMの正規直交基底分解を経て、標準的な量子トレース則がこの枠組みから導かれるということである。

ABSTRACT

It is shown how, given a "probability data table" for a quantum or classical system, the representation of states and measurement outcomes as vectors in a real vector space follows in a natural way. Some properties of the resulting sets of these vectors are discussed, as well as some connexions with the quantum-mechanical formalism.

研究の動機と目的

• 量子状態および古典的状態と測定結果を実ベクトル空間内のベクトルとして自然に表現するための、操作的根拠を提供すること。
• すべての可能な状態-結果確率を含む確率データ表—は、行列ランク因子分解によって最小次元の実ベクトル空間に分解可能であることを示すこと。
• このベクトル形式と、標準的な量子力学的形式、特にトレース則との関係を確立すること。
• 凸幾何学と線形代数の観点から、状態空間と測定結果の幾何学的および代数的構造を明確にすること。

提案手法

• 全状態-結果確率を $ L \times M $ 行列 $ \bm{p} $ として表現する。ここで $ L $ は全結果数、$ M $ は状態数である。
• 行列ランク分解を適用し、$ \bm{p} = \bm{t} \bm{u} $ と因数分解する。ここで $ \bm{t} $ は $ L \times K $、$ \bm{u} $ は $ K \times M $ であり、$ K = \operatorname{rank}(\bm{p}) $ である。
• 各状態 $ s_j $ を $ \bm{u} $ の $ j $ 番目の列を用いて $ \bm{s}_j \in \mathbb{R}^K $ に写像する。各結果 $ r_i $ を $ \bm{t} $ の $ i $ 番目の行を用いて $ \bm{r}_i \in \mathbb{R}^K $ に写像する。
• 状態 $ s_j $ における結果 $ r_i $ の確率を内積 $ p_{ij} = \bm{r}_i \cdot \bm{s}_j $ として定義する。これは基底演算子が正規直交化された場合、標準的な量子トレース則を回復する。
• 凸幾何学を用いて、一度の測定で区別可能な極端状態が状態空間の境界上にある単体の頂点を形成することを示す。
• 密度行列とPOVM要素の正規直交基底分解を経て、$ N^2 $ 次元の実空間におけるトレース則を導出する。

実験結果

リサーチクエスチョン

• RQ1 完全な状態-結果確率集合を、最小次元の実ベクトル表現に体系的に縮約する方法は何か？
• RQ2 このベクトル形式における状態と測定結果の集合の幾何学的および代数的構造は何か？
• RQ3 このベクトル表現は、標準的な量子力学的形式、特にトレース則とどのように関係しているか？
• RQ4 なぜ一度の測定で区別可能な極端状態は、この枠組みにおいて状態空間の境界上に位置するのか？
• RQ5 ヒルベルト空間の公理を仮定せずに、確率データ表の構造から量子トレース則を純粋に導出可能か？

主な発見

• すべての状態-結果確率を表現するための実ベクトル空間の最小次元 $ K $ は、確率行列 $ \bm{p} $ のランクに等しく、最小かつ冗長性のない表現を保証する。
• 結果 $ r_i $ が状態 $ s_j $ で発生する確率 $ p_{ij} $ は内積 $ \bm{r}_i \cdot \bm{s}_j $ で与えられ、量子確率の幾何的解釈を提供する。
• この枠組みは自然に量子トレース則を再現する：$ p_{ij} = \operatorname{tr}(\hat{\bm{A}}_i \hat{\bm{\rho}}_j) $、ここで密度行列とPOVMはヘルミート演算子の正規直交基底で表現される。
• 凸結合と双対性の議論により、一度の測定で区別可能な極端状態は、状態空間の境界上にある単体の頂点を形成することが示された。
• 極端状態の数は、一度の測定で区別可能な状態数 $ N $ を超えることができ、量子系では最小次元 $ K $ が $ N^2 $ となる。
• このベクトル形式は一般性を有し、量子系に限らず、古典的系および未知の物理系に対しても適用可能であり、状態と測定の表現の統一的かつ操作的基盤を提供する。