[論文レビュー] Markovian Entanglement Networks

Pierfrancesco La Mura, Lukasz Swiatczak|arXiv (Cornell University)|Feb 7, 2007

Quantum Information and Cryptography参考文献 3被引用数 7

ひとこと要約

本稿では、条件付き分離性を符号化する非有向グラフとして、量子力学的依存関係を表現するための新規なグラフィカルモデル、マコフ的エンタングルメントネットワーク（MEN）を導入する。これは古典的条件付き独立性の量子版である。主な貢献は、任意の量子波動関数が、その状態の条件付き分離性を完全に反映するMENの構造をもつことの証明であり、3キュービット状態の分類や、量子系のシミュレーションおよび設計における計算的利点の可能性を示している。

ABSTRACT

Graphical models of probabilistic dependencies have been extensively investigated in the context of classical uncertainty. However, in some domains (most notably, in computational physics and quantum computing) the nature of the relevant uncertainty is non-classical, and the laws of classical probability theory are superseded by those of quantum mechanics. In this paper we introduce Markovian Entanglement Networks (MEN), a novel class of graphical representations of quantum-mechanical dependencies in the context of such non-classical systems. MEN are the quantum-mechanical analogue of Markovian Networks, a family of undirected graphical representations which, in the classical domain, exploit a notion of conditional independence among subsystems. After defining a notion of conditional independence appropriate to our domain (conditional separability), we prove that the conditional separabilities induced by a quantum-mechanical wave function are effectively reflected in the graphical structure of MEN. Specifically, we show that for any wave function there exists a MEN which is a perfect map of its conditional separabilities. Next, we show how the graphical structure of MEN can be used to effectively classify the pure states of three-qubit systems. We also demonstrate that, in large systems, exploiting conditional independencies may dramatically reduce the computational burden of various inference tasks. In principle, the graph-theoretic representation of conditional independencies afforded by MEN may not only facilitate the classical simulation of quantum systems, but also provide a guide to the efficient design and complexity analysis of quantum algorithms and circuits.

研究の動機と目的

• 非古典的系における確率的依存関係を表現するための、古典的マコフ的ネットワークの量子力学的アナログを開発すること。
• エンタングルメント構造に基づいて、古典的条件付き独立性を量子系に一般化する新しい条件付き分離性の概念を定義すること。
• 任意の量子波動関数が誘導する条件付き分離性を、MENのグラフィカル構造が完全に符号化できることを示すこと。
• MENのネットワークトポロジーに基づいて、3キュービット系の純粋状態を分類すること。
• MENが、大規模な量子系における推論タスクの複雑さを低下させる計算的利点を探索すること。

提案手法

• 密度行列と部分トレースを用いて定義される、条件付き分離性を量子的古典的条件付き独立性の一般化として導入する。
• ノードがキュービットを、エッジが非自明な条件付き依存関係を表す非有向グラフィカルモデルとしてMENを構築する。
• 任意の波動関数に対して、その状態が誘導する条件付き分離性を正確に反映するMENのグラフィカル構造が存在することを証明する。
• グラフ理論的解析を用いて、MENトポロジーに基づき、3キュービット状態を4つの同値類（GHZ様、W様、双分離、完全分離）に分類する。
• キュービットの測定がMEN構造に与える影響を分析し、波動関数の収縮と測定キュービットに接続するすべてのエッジの削除が生じることを示す。
• MENのモジュラー構造を活用して、条件付き独立性を活用することで、推論タスクにおける計算複雑度を低減する。

実験結果

リサーチクエスチョン

• RQ1 古典的マコフ的ネットワークに類似した方法で、量子力学的条件付き依存関係を表現するグラフィカルモデルを構築できるか？
• RQ2 量子系における条件付き独立性は、エンタングルメント構造の観点からどのように形式的に定義され、特徴づけられるか？
• RQ3 局所ユニタリ変換の下で、MENトポロジーが3キュービット純粋状態を一意に分類できるか？
• RQ4 キュービットを測定するとMEN構造はどのように変化し、条件付き分離性にどのような影響を与えるか？
• RQ5 MENが条件付き独立性を活用することで、大規模な量子系における推論の計算コストをどの程度低減できるか？

主な発見

• 任意の量子波動関数に対して、その状態が誘導するすべての条件付き分離性を正確に符号化するマコフ的エンタングルメントネットワーク（MEN）が存在する。
• 3キュービット状態の4つの標準的クラス（GHZ様、W様、双分離、完全分離）は、それぞれ異なるMENトポロジーによって完全に特徴づけられる。
• W様、双分離、完全分離状態のMENトポロジーは局所基底変更に対して不変である一方、GHZ様状態は基底に応じて異なるトポロジー（鎖状または完全グラフ）を示す可能性がある。
• キュービットを測定すると、そのノードに接続するすべてのエッジが削除されるが、新しいエッジは追加されず、条件付き分離性が保持される。
• MENのモジュラー構造により、条件付き独立性を活用することで、古典的マコフネットワークと同様に、推論タスクにおける計算複雑度を顕著に低減できる。
• MENは、量子アルゴリズムおよび回路の設計と複雑度解析のフレームワークを提供し、量子化学や量子オプティクスにおける量子系の古典的シミュレーションの改善にも寄与する可能性がある。