[論文レビュー] Algebraic approach to quantum theory: a finite-dimensional guide

Cédric Bény, Florian Richter|arXiv (Cornell University)|May 12, 2015

Quantum Mechanics and Applications参考文献 2被引用数 11

ひとこと要約

この論文は、正の作用素とC*-代数的構造を用いて、状態、効果、チャネルを通じて量子力学と確率論を統一する有限次元代数的枠組みを提示する。中心的な道具としてスティンブリッジ拡大定理を確立し、すべての量子チャネルが補助環境を介してユニタリ拡大をもつことを示し、部分等長写像を除いて一意的であることを示す。

ABSTRACT

This document is meant as a pedagogical introduction to the modern language used to talk about quantum theory, especially in the field of quantum information. It assumes that the reader has taken a first traditional course on quantum mechanics, and is familiar with the concept of Hilbert space and elementary linear algebra. As in the popular textbook on quantum information by Nielsen and Chuang, we introduce the generalised concept of states (density matrices), observables (POVMs) and transformations (channels), but we also characterise these structures from an algebraic standpoint, which provides many useful technical tools, and clarity as to their generality. This approach also makes it manifest that quantum theory is a direct generalisation of probability theory, and provides a unifying formalism for both fields. The focus on finite-dimensional systems allows for a self-contained presentation which avoids many of the technicalities inherent to the more general $C^*$-algebraic approach, while being appropriate for the quantum information literature.

研究の動機と目的

• 明確さと一般性を重視し、代数的アプローチへの入門的で教育的な有限次元的導入を提供すること。
• 正の作用素と効果を用いて、量子力学と古典的確率論を共通の代数的形式で統一すること。
• 有限次元におけるC*-代数的技法を用いて、量子チャネル、観測可能量、状態変換の数学的基盤を確立すること。
• スティンブリッジ拡大定理が、拡張された系におけるユニタリ時間発展として量子チャネルを普遍的に表現できることを示すこと。
• ボーン則と測定の公理が、正の作用素とトレース汎関数の代数的構造から自然に導かれることが示されること。

提案手法

• 無限次元的な技術的複雑さを避けるために、有限次元ヒルベルト空間を用いて$C^*$-代数的形式を簡略化する。
• 量子状態を密度作用素（トレースが1の正の作用素）として定義し、効果を単位作用素で有界な正の作用素として定義する。
• 量子チャネルのシュレーディンガー図とハイゼンベルク図を導入し、状態の時間発展と観測可能量の時間発展を結びつける。
• 任意の完全正則写像を、環境を含むより大きな系におけるユニタリ発展として表現するためにスティンブリッジ拡大定理を適用する。
• 等長写像$V: \mathcal{H}_A \to \mathcal{H}_B \otimes \mathcal{H}_E$を用いて、チャネル$\mathcal{E}(\rho) = \operatorname{Tr}_E(V\rho V^\dagger)$を実現し、トレース保存写像では$V^\dagger V = \mathbf{1}$が成り立つ。
• 環境ヒルベルト空間上の部分等長写像を除いて、スティンブリッジ拡大の一意性を証明し、構造の堅牢性を保証する。

実験結果

リサーチクエスチョン

• RQ1 量子理論を有限次元で代数的にどのように定式化できるか。これにより古典的確率論と統合できるか。
• RQ2 標準的な密度行列やPOVM形式を超えて、量子状態、効果、観測可能量の代数的特徴づけは何か。
• RQ3 量子チャネルはどのように拡張された系におけるユニタリ発展から生じるのか。環境のこの構成における役割は何か。
• RQ4 スティンブリッジ拡大の正確な数学的構造は何か。また、ユニタリ同値性を除いて一意的であるとはどういう意味か。
• RQ5 ボーン則と測定の公理は、正の作用素とトレース汎関数の代数的構造から導けるか。

主な発見

• 代数的形式では、量子理論が古典的確率論の直接的な一般化であることが示され、状態と効果が正の作用素の下で凸集合をなす。
• 任意の量子チャネル$\mathcal{E}$は、ある等長写像$V$を用いて$\mathcal{E}(\rho) = \operatorname{Tr}_E(V\rho V^\dagger)$と表現可能であり、これは有限次元におけるスティンブリッジ拡大定理の証明である。
• スティンブリッジ拡大は、環境空間上の部分等長写像を除いて一意的であり、$V_2 = (\mathbf{1}_B \otimes W)V_1$（ある部分等長写像$W$を用いて）と表せる。
• トレース保存チャネルはハイゼンベルク図において単位元写像に対応し、$\mathcal{E}^\dagger(\mathbf{1}) = \mathbf{1}$が成り立ち、確率保存を保証する。
• ボーン則は、正の作用素（効果）が状態に作用する確率として自然に生じ、POVM要素$E_i$に対して$p_i = \operatorname{Tr}(E_i \rho)$が成り立つ。
• 観測可能量は、出力が古典的なものであるチャネルとして表現され、測定過程は正の作用素値測度（POVM）で記述され、粗粒度化は結果の後処理に対応する。