[論文レビュー] Quantum Causal Structure and Quantum Thermodynamics

Mirjam Weilenmann|arXiv (Cornell University)|Jul 17, 2018

Quantum Mechanics and Applications参考文献 172被引用数 5

ひとこと要約

本稿は、一般化確率理論における量子因果構造の枠組みを構築し、d-分離と凸幾何学を通じて、量子的および古典的因果モデルを統合する。量子的適合性の観点から、ボーン則から導かれる半定値計画法の制約によって、観測された分布の適合性が特徴づけられ、主な結果として、追加の制約がない場合、古典的、量子的、一般化された因果モデルがd-分離の下で等価であることが示されている。

ABSTRACT

This thesis reports progress in two domains, causal structures and microscopic thermodynamics, both of which are pertinent in the development of quantum technologies. The first part is dedicated to the analysis of causal structure, which encodes the relationship between observed variables, in general restricting the set of possible correlations between them. Our considerations rely on a recent entropy vector method. Based on this, we develop techniques for deriving entropic constraints to differentiate between causal structures. We provide sufficient conditions for entropy vectors to be realisable within a causal structure and derive new, improved necessary conditions in terms of so-called non-Shannon inequalities. We also report that for a family of causal structures, including the bipartite Bell scenario and the bilocal causal structure, entropy vectors are unable to distinguish between classical and quantum causes, in spite of the existence of quantum correlations that are not classically reproducible. Hence, further development is needed in order to understand cause from a quantum perspective. In the second part we explore an axiomatic framework for modelling error-tolerant processes in microscopic thermodynamics. Our axiomatisation allows for the accommodation of finite precision levels, crucial for describing experiments in the microscopic regime. It leads to the emergence of manageable quantities that give insights into the feasibility and expenditure of processes, which for adiabatic processes are shown to be smooth entropy measures. Our framework also leads to thermodynamic behaviour at the macroscopic scale, meaning that for thermodynamic equilibrium states a unique function provides necessary and sufficient conditions for state transformations, like in the traditional second law.

研究の動機と目的

• 操作的確率理論の枠組み内で、古典的因果モデルの一般化として量子因果構造を形式化すること。
• 量子因果ネットワークにおける観測変数上の確率分布の集合を同定すること。
• 量子的および古典的因果モデルが観測された分布に与える制約が等価となる条件を確立すること。
• 凸幾何学と多面体計算に基づく計算ツールを開発し、量子因果適合性を分析すること。
• d-分離が量子的および一般化された確率理論における条件付き独立関係を導出する役割を調査すること。

提案手法

• 適合する量子分布の集合を凸多面体として表現するために、凸幾何学と多面体計算を用いる。
• 線形計画法および半定値計画法を用いて、与えられた量子因果構造と適合する分布の集合を特徴づける。
• ボーン則を用いて、量子状態、CPTP写像、POVMを観測された古典的結果に結びつける。
• ヒルベルト空間上の密度演算子とCPTP写像を用いて、量子状態と変換を表現する。部分正規化された状態も含む。
• 多面体の半空間（H表現）および頂点（V表現）の形式を用いて、適合性制約を分析する。
• 古典的因果推論におけるd-分離基準を量子的および一般化された確率理論に適用し、特定の条件下で条件付き独立とd-分離が等価であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 量子因果構造が古典的因果構造と同一の適合分布の集合を再現する条件は何か？
• RQ2 半定値計画法などの凸最適化技術を用いて、量子因果適合性をどのように特徴づけられるか？
• RQ3 d-分離は、量子的および一般化された確率理論における条件付き独立関係を導出する際に果たす役割は何か？
• RQ4 追加の非d-分離制約が存在する場合、量子因果構造における観測分布の制約はどのように異なるか？
• RQ5 一般化された因果構造の枠組みは、古典的、量子的、および後量子理論を共通の因果推論形式で統一できるか？

主な発見

• 量子因果構造における適合分布の集合 $\mathcal{P}_{\mathcal{M}}(C^{\mathrm{Q}})$ は、量子状態、CPTP写像、POVMにボーン則を適用することで特徴づけられる。
• 6ノード以下の因果構造においては、量子的および古典的モデルが異なる10,000以上の構成が存在し、d-分離を超える追加の制約が必要となる。
• d-分離条件が満たされている場合、古典的（$C^{\mathrm{C}}$）、量子的（$C^{\mathrm{Q}}$）、一般化された（$C^{\mathrm{G}}$）因果モデルの両方で、適合分布の集合は同一である。
• 観測された分布が量子因果構造と適合するかどうかは、半定値計画法を用いて決定可能であり、インストゥルメンタルな状況は $\mathcal{P}_{\mathcal{M}}(\mathrm{Q}) = \{P_{XYZ} \mid P_{XYZ} = \operatorname{tr}((E_X^Z \otimes F_Z^Y)\rho_A)P_X\}$ で与えられる。
• 多面体錐のH表現とV表現の間の変換は計算的に困難であり、多項式時間アルゴリズムは知られていないため、PORTAなどのツールの使用が促進される。
• 量子因果ネットワークでは、一般に共有情報へのアクセスがノークーリング定理によって制限されるため、古典的因果モデルとは異なり、情報の複製が可能でない。