[論文レビュー] Mathematical foundations of quantum information: Measurement and foundations

Masanao Ozawa|arXiv (Cornell University)|Jan 25, 2012

Quantum Mechanics and Applications参考文献 40被引用数 14

ひとこと要約

本稿は、量子測定理論、普遍的に成立する不確定性原理、および量子集合論的解釈に注目した、量子情報の数学的基盤を包括的に提示する。測定誤差とずれに基づく不確定性原理の新しい定式化を導入し、保存則下での量子計算の精度限界を示すWigner-Araki-Yanase定理を一般化するとともに、量子論理値を持つ宇宙における量子観測値と実数の対応関係を確立し、量子現実の一貫した解釈を可能にする。

ABSTRACT

The purpose of this paper is to survey some topics on mathematical foundations of quantum information developed mainly by the present author and co-workers for the last three decades. The topics include an axiomatic construction of quantum measurement theory based on completely positive map-valued measures, a universally valid new formulation of the uncertainty principle for error and disturbance in quantum measurements, the Wigner-Araki-Yanase limit of quantum measurements, the accuracy limit of quantum computing based on conservation laws, and a quantum interpretation based on quantum set theory.

研究の動機と目的

• 完全正値マップ値測度に基づく、量子測定理論の厳密な数学的枠組みの構築を目的とする。
• 測定誤差とずれに関する普遍的に成立する不確定性原理を定式化することで、長年の基礎的問題を解決する。
• 保存則下での量子計算の精度限界を導くために、Wigner-Araki-Yanase定理を一般化する。
• 量子集合論を用いた新しい量子力学の解釈を提供する。ここでは、観測値が量子論理値を持つ宇宙における実数に対応する。

提案手法

• 確率測度値を持つ演算子（POVM）、操作、および機器を用いて、量子測定を完全に数学的に特徴付ける。
• 測定誤差とずれに基づく、ヘイゼンベルクの元来の非普遍的定式化に代わる、不確定性原理の新しい定式化を導入する。
• 新しい不確定性原理を応用し、保存則下での量子計算の精度限界を導出し、Wigner-Araki-Yanase定理を一般化する。
• $V^{({\mathcal{Q}})}$ と表される量子論理値を持つ宇宙を構築し、ここでは量子観測値が実数 $\tilde{A}$ として表現され、命題の真偽値が $[\![\tilde{A} = \tilde{B}]\!]$ を通じて割り当てられる。
• スペクトル射影 $E_\lambda = [\![u \leq \check{\lambda}]\!]$ を用いて、$V^{({\mathcal{Q}})}$ 内の自己共役作用素と実数の間の一対一対応を確立する。これにより、量子観測値は量子宇宙内での有理数のデデキント切断に関連づけられる。
• 量子集合論における有界論理式の転送原理を用いる：$[\![\phi(u_1,\dots,u_n)]\!] \geq \underline{\vee}(u_1,\dots,u_n)$ であり、非ブール的量子論理においても論理的一致性が保証される。

実験結果

リサーチクエスチョン

• RQ1 von Neumannの枠組みを超えて、POVM や機器といった現代的ツールを用いた量子測定の数学的特徴付けはどのように可能か？
• RQ2 ヘイゼンベルクの元来の不確定性原理は普遍的に成立するのか、それとも誤差とずれの観点から再定式化する必要があるのか？
• RQ3 保存則が課す制約のもとで、量子計算における根本的な精度限界は何か？ そして、それらは定量的にどのように導出可能か？
• RQ4 非可換な観測値は、一貫した量子解釈において同時に測定可能であると見なせるのか？ また、これは新しい不確定性原理とどのように関係するか？
• RQ5 量子集合論は、観測命題を量子論理値を持つ宇宙に埋め込むことで、どのように量子力学の整合的解釈を提供できるか？

主な発見

• 新しい普遍的不確定性原理は、ヘイゼンベルクの元来の定式化に代わり、すべての量子測定に成立することが証明され、測定の逆作用に関する長年の議論を解決する。
• Wigner-Araki-Yanase定理は、保存則下での量子計算の精度限界を定量的に導くために一般化され、特定の観測値は任意の精度で測定できないことが示された。
• 量子集合論において、任意の自己共役作用素 $A$ は、$Σ$-値宇宙内での実数 $\tilde{A}$ に対応し、真偽値 $[\![\tilde{A} \in \tilde{\Delta}]\!] = E^A(\Delta)$ が成り立つ。これにより、観測値と実数の直接的な関係が確立される。
• 観測値 $A$ と $B$ 間の等価関係は $[\![\tilde{A} = \tilde{B}]\!]$ により定義され、これは $A$ と $B$ が量子的に同一である部分空間への射影に一致する。すなわち、$A \equiv_\rho B$ であるための必要十分条件は、$\mathrm{Tr}[[\![\tilde{A} = \tilde{B}]\!]\rho] = 1$ となることである。
• 量子集合論における転送原理により、ZFCで証明可能な任意の有界論理式の真偽値は $\underline{\vee}(u_1,\dots,u_n)$ 以上となる。これにより、非分配的量子論理においても論理的一致性が保たれる。
• $V^{({\mathcal{Q}})}$ 内の実数の集合は、$\check{\mathbb{Q}}$ のデデキント切断によって定義され、$[\![\check{\mathbb{R}} \subseteq \mathbb{R}_{\mathcal{Q}}]\!] = 1$ が成り立つ。これは、標準的な実数が量子宇宙に埋め込まれていることを確認する。