[論文レビュー] Quantum Domain Theory - Definitions and Applications

Elham Kashefi|ArXiv.org|Jun 11, 2003

Computability, Logic, AI Algorithms参考文献 34被引用数 10

ひとこと要約

この論文は、ドメイン理論を用いて量子計算、意味論、情報のモデル化を厳密に記述するための数学的枠組みである量子ドメイン理論（QDT）を導入する。量子状態（密度行列）がスペクトル順序に関してドメインをなすことが確立され、古典的確率的計算に類似した量子計算の意味論的記述が可能になる。このとき、フォン・ノイマンエントロピーは情報含量のスコット連続的測度として機能する。

ABSTRACT

Classically domain theory is a rigourous mathematical structure to describe denotational semantics for programming languages and to study the computability of partial functions. Recently, the application of domain theory has also been extended to the quantum setting. In this note we review these results and we present some new thoughts in this field.

研究の動機と目的

• 量子計算の厳密な基礎を提供するため、古典的ドメイン理論を量子設定に拡張すること。
• 密度行列のドメインと完全正定値写像を用いて、量子計算の意味論的記述を構築すること。
• 特に情報含量の測定を目的として、量子情報処理のための位相的および順序論的構造を提供すること。
• 量子ドメイン理論と量子もつれ操作との関係を調査すること。
• ドメイン理論の枠組み内で、量子計算可能性と情報測度（例えばフォン・ノイマンエントロピー）を確立すること。

提案手法

• 非退化な観測可能量によって誘導されるスペクトル順序を用いて、密度行列に部分順序を定義することにより、古典的ドメイン理論を量子系に適応する。
• ある観測可能量 $O$ に対して $[\rho,O] = [\sigma,O] = 0$ が成り立ち、$ \mathrm{Spec}(\rho|O) \sqsubseteq_B \mathrm{Spec}(\sigma|O)$ であるとき、$\rho \sqsubseteq_S \sigma$ と定義する。
• $(\Omega^n, \sqsubseteq_S)$ がドメインをなし、純粋状態が最大元であり、$\bot = I/n$ が最小元であることを確立する。
• スコット連続性を用いて、フォン・ノイマンエントロピー $\sigma(\rho) = -\mathrm{Tr}(\rho \lg \rho)$ といった情報含量の測度を $[0,\infty)^*$ への写像として定義する。
• 量子意味論への応用として、完全正定値写像を用いた密度行列上の量子計算が、確率変数上の確率的計算の構造と同型であることを示す。
• ドメイン構造を活用して、量子計算可能性ともつれ操作の分析を行い、古典的情報理論と類似性を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 ドメイン理論をどのように拡張すれば、量子計算の厳密な数学的基盤を提供できるか？
• RQ2 密度行列上のドメイン的構造を用いて、量子計算の意味論的記述を構築できるか？
• RQ3 量子状態上のスペクトル順序は、情報含量および測定とどのように関係するか？
• RQ4 フォン・ノイマンエントロピーは、量子状態のドメインにおけるスコット連続的測度として果たす役割は何か？
• RQ5 量子ドメイン理論は、量子もつれと情報処理を統合的に研究するためのフレームワークを提供できるか？

主な発見

• スペクトル順序 $\sqsubseteq_S$ を備えた密度行列の集合 $\Omega^n$ は、純粋状態が最大元であり、$\bot = I/n$ が最小元であるドメインをなす。
• フォン・ノイマンエントロピー $\sigma(\rho) = -\mathrm{Tr}(\rho \lg \rho)$ は、ドメイン $(\Omega^n, \sqsubseteq_S)$ 上での情報含量のスコット連続的測度である。
• シャノンエントロピー $\mu(x) = -\sum_{i=1}^n x_i \log x_i$ は、古典的単体 $\Delta^n$ 上でスコット連続的測度であり、量子情報測度の古典的類似物である。
• 完全正定値写像を用いた密度行列上の量子計算は、確率変数上の確率的計算と同型な意味論的構造を示し、関数型プログラミングの意味論を可能にする。
• ドメイン的枠組みは、量子計算可能性ともつれ操作の分析に適した位相的および順序論的構造を提供する。
• スペクトル順序により、観測可能量による測定を介して、情報含量に基づいた量子状態の比較が可能となり、ベイジアン順序を量子設定に一般化する。