[論文レビュー] Quantum Causal Models

Jonathan Barrett|arXiv (Cornell University)|Jul 30, 2018

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

ひとこと要約

この論文は、ユニタリ量子回路に基づく量子因果モデルのフレームワークを提示し、因果関係を古典的変数ではなく、量子理論そのものに内在的に定義する。任意のユニタリ回路が有向非巡回グラフ（DAG）構造を誘導することを確立し、その結果得られる量子プロセスが、このグラフに関してマークフ・条件を満たすことを示す。さらに、d-分離が量子条件付き独立性に関して妥当かつ完全であることを証明し、ピアールのdo-計算を量子ドメインに一般化する。

ABSTRACT

It is known that the classical framework of causal models is not general enough to allow for causal reasoning about quantum systems. While the framework has been generalized in a variety of different ways to the quantum case, much of this work leaves open whether causal concepts are fundamental to quantum theory, or only find application at an emergent level of classical devices and measurement outcomes. Here, we present a framework of quantum causal models, with causal relations defined in terms intrinsic to quantum theory, and the central object of study being the quantum process itself. Following Allen et al., Phys. Rev. X 7, 031021 (2017), the approach defines quantum causal relations in terms of unitary evolution, in a way analogous to an approach to classical causal models that assumes underlying determinism and situates causal relations in functional dependences between variables. We show that any unitary quantum circuit has a causal structure corresponding to a directed acyclic graph, and that when marginalising over local noise sources, the resulting quantum process satisfies a Markov condition with respect to the graph. We also prove a converse to this statement. We introduce an intrinsically quantum notion that plays a role analogous to the conditional independence of classical variables, and (generalizing a central theorem of the classical framework) show that d-separation is sound and complete for it in the quantum case. We present generalizations of the three rules of the classical do-calculus, in each case relating a property of the causal structure to a formal property of the quantum process, and to an operational statement concerning the outcomes of interventions. In addition, we introduce and derive similar results for classical split-node causal models, which are more closely analogous to quantum causal models than the classical causal models that are usually studied.

研究の動機と目的

• 古典的因果的概念に依存せず、量子力学そのものに内在する因果フレームワークを量子理論に開発すること。
• 特にベル型の状況や複数のソースを持つ量子ネットワークにおいて、古典的因果モデルが説明できない量子相関を扱うための制限を克服すること。
• ユニタリダイナミクスとプロセス作用素を用いて、量子系における因果的影響、干渉、条件付き独立性を形式化すること。
• 古典的do-計算を量子ドメインに一般化し、因果構造と操作的干渉結果を結びつけること。
• 時間対称性と因果構造を量子プロセスにおいて探求し、将来の研究で不確定な因果順序の可能性を検討すること。

提案手法

• 入力と出力を有する量子系上で、ユニタリ回路を基本的な力学的進化として量子因果モデルを定義する。
• プロセス作用素を用いて量子プロセスを表現し、部分系に対するマージナル化を可能にする。
• ユニタリ回路から導かれる因果DAG構造に基づき、量子プロセスのマークフ条件を導入する。
• 古典的d-分離に類似した3重関係を用いて、量子条件付き独立性を定義し、条件付き独立性の概念を一般化する。
• d-分離が量子条件付き独立性に関して妥当かつ完全であることを証明し、古典的d-分離定理を量子ケースに拡張する。
• ピアールのdo-計算の3つの規則を量子干渉に一般化し、因果構造、形式的プロセスの性質、操作的干渉結果を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 量子理論における因果関係は、古典的変数や測定結果に還元せず、内在的に定義可能か？
• RQ2 d-分離はどのように量子プロセスに一般化可能か？また、量子条件付き独立性に関して妥当かつ完全か？
• RQ3 古典的do-計算の規則は、どの程度量子因果モデルに適応可能か？また、それらはどのような操作的意味を保持するか？
• RQ4 ユニタリダイナミクスは因果構造を定義する上で果たす役割は何か？また、量子プロセスにおけるマークフ条件とどのように関係するか？
• RQ5 時間対称性は量子因果モデルにどのように現れるか？また、干渉における観察される時間的非対称性の背後にある仮定は何か？

主な発見

• 任意のユニタリ量子回路は、関与する量子系の間の因果構造を表す有向非巡回グラフ（DAG）を誘導する。
• 局所的ノイズ源をマージナル化すると、その結果得られる量子プロセスは、因果DAGに関してマークフ条件を満たす。
• 逆に、DAGに関してマークフ条件を満たす任意のプロセスは、ユニタリ回路によって実現可能である。
• 3重関係を用いて量子的条件付き独立性が定義され、この概念に関してd-分離が妥当かつ完全であることが証明された。
• 古典的do-計算の3つの規則が量子ケースに一般化され、それぞれが因果構造、形式的プロセスの性質、操作的干渉結果を結びつける。
• このフレームワークは、ユニタリプロセスにおける因果構造を時間対称的に扱えるが、ノイズ源や子孫への干渉に関する仮定から、非対称性が生じる。