Analysing causal structures in generalised probabilistic theories

技術要約：一般化確率論における因果構造の解析

問題提起
因果構造は、観測された相関の起源を理解するための枠組みを提供する。古典的なシナリオにおいては十分に発展しているが、ベル不等式の破れやその他の量子現象は、非古典的なリソースを収容するためのこれら構造の一般化を必要とする。既存の解析では、特定の因果構造における古典的相関と量子相関を広範に比較し、古典的な制約を導出し、その量子的な破れを示すことが多く行われてきた。しかし、量子系自体が課す制約や、より広く、量子力学を超えた理論である「一般化確率論（GPT）」の振る舞いに関する理解は限られている。課題は、これらの理論（古典、量子、および任意のGPT）の違いを体系的に解析し、因果的な説明のための最小限の要件を特定し、潜在的に物理的原理を通じて量子力学を単独で抽出できるかどうかにある。

手法
著者らは、測定エントロピー（$H^+$）に基づく、様々な因果構造における観測可能な相関に対する制約を導出する手法を提案している。このアプローチは、古典的および量子的な因果構造に対して用いられてきた従来のエントロピー的手法を、広範なクラスであるGPTへと拡張するものである。

主要な手法構成要素は以下の通りである：

1. 測定エントロピー： 著者らは、細粒度測定後の出力分布の最小シャノンエントロピーを利用する。著者らは条件付き測定エントロピー（$H^+(A|B)$）を定義し、GPT内で成立する一連の性質（正値性、シャノンエントロピーへの還元、データ処理、独立性、古典的部分系の不等式、劣加法性、および連鎖律の緩和）を確立する。
2. エントロピーベクトル法： 与えられた因果構造に対して、著者らは共存する全ての系のエントロピーおよび条件付きエントロピーからなるエントロピーベクトルを構築する。そして、測定エントロピーの性質および因果的独立性（例：共通の祖先を持たないノードは独立である）から導かれる線形不等式の系を課す。
3. 凸性と射影： 達成可能なエントロピーベクトルの集合を、フーリエ・モッツキン消去法を用いて観測変数へと射影し、周辺不等式を導出する。中心的な技術的洞察は、任意の因果構造および任意のGPTにおいて、達成可能なエントロピーベクトルの閉包が**凸錐（convex cone）**を形成するという証明である。
4. 事後選択（Post-selection）： この手法は、「事後選択された」因果構造に適用される。ここでは、親を持たない観測ノードが代替案（例：$Y|X=1, \dots, Y|X=n$）へと分割され、これにより異なる理論間を区別するより強い不等式の導出が可能となる。

主要な貢献

• GPTへの一般化： 論文は、GPTにおける単一のエントロピー尺度がいずれもフォン・ノイマン・エントロピーの全ての性質（特に合成下での加法性）を保持していないという問題を克服し、エントロピー的因果解析を任意のGPTへと成功裏に一般化した。著者らは、分析の中に条件付きエントロピーを明示的に含めることでこの問題を解決している。
• 凸錐の証明： 著者らは、GPTのリソースを含む任意の因果構造において、観測変数における達成可能なエントロピーベクトルの集合が凸錐であることを証明した。これは以前、古典的なリソースに対してのみ確立されていたものである。この構造的な洞察は、異なる理論間でのエントロピー集合の比較を容易にし、極値点の検証による完全性の証明を可能にする。
• 量子解析の洗練： 本論文は、既存の量子因果構造に対するエントロピー的手法を洗練できることを示している。条件付きエントロピーの正値性を課すことにより（単なる弱単調性制約のみに依存することなく）、観測変数に対する結果となる不等式が有効であることを示し、量子的な手法を簡略化している。
• 命題1： 著者らは、2つ以上の観測されない親を持つノードが存在しない因果構造において、任意のGPTで達成可能な相関は、すべて「ボックス・ワールド（box-world）」（非シグナリング条件を満たす最大の態様空間を持つGPT）においても達成可能であることを証明した。これは、そのような構造において、ボックス・ワールドが全てのGPTにわたる相関の普遍的な上限として機能することを意味する。

結果
著者らはこの手法をいくつかの因果構造に適用し、以下の結果を得た：

• インストゥルメンタル（Instrumental）シナリオ： 達成可能なエントロピーベクトルの集合は、古典的、量子的、および任意のGPTリソースにおいて同一である。導出された不等式（シャノン不等式および $I(X:YZ) \leq H(Z)$）は、これら全ての理論に対してこのシナリオを完全に特徴付けている。
• 近似が一致する構造： 特定の構造（例：論文中の図2）では、エントロピー錐の外側近似は、古典的、量子的、およびボックス・ワールドのリソース間で同一である。
• 近似が分岐する構造： 他の構造（例：図3aおよび3b）では、古典的/量子的リソースとボックス・ワールドのリソースの間で外側近似が異なる。しかし、著者らは、これらのケースにおいて古典的/量子的な不等式を破る特定のGPT相関はまだ特定されていないことを指摘している。この差は、真のエントロピー錐の違いではなく、外側近似手法の限界を反映している可能性がある。
• バイローカリティ（事後選択あり）： 手法は、古典的、量子的、および局所的トモグラフィーが可能なGPTを区別することに成功した。
  • 古典的なソースは、シャノン不等式と53の他のクラスの線形不等式によって制約された錐を生成する。
  • 量子的なソースは、よりタイトな制約（例：$I(X_0Y_0:Z_0) \leq H(Y_0|X_1)$）を満たす。
  • ボックス・ワールドのリソース（具体的にはPRボックス）は、量子的な不等式を破り、このシナリオにおける量子相関とGPT相関の間の認定された分離を提供する。
• 情報因果律（Information Causality）： 著者らは、任意のGPTにおける情報因果律シナリオに対する不等式を導出した。標準的な情報因果律（古典的および量子的な理論で成立する）はボックス・ワールドにおいて破れるが、著者らは全てのGPTに対して成立する最小限の因果概念（不等式(23)および(24)）を特定し、従来の解析を改善した。

意義
本論文は、異なる物理理論間で因果構造を比較するための体系的な手法を提供することで、その意義を主張している。任意のGPTにおける因果的説明の最小要件となる制約を導出することで、本研究は量子力学を単独で抽出するための物理的原理の探索を支援する。著者らは、自身の手法が（特に情報因果律のシナリオに関して）従来のエントロピー的アプローチを改善していることを強調しており、また、ある理論（例：ボックス・ワールド）で達成可能な相関が別の理論（例：古典または量子）では不可能であることを特定するための厳密な枠組みを提供している。GPTに関する凸錐の性質の証明は、エントロピー集合のより堅牢な比較を可能にする基本的な構造的洞察として強調されている。著者らは、外側近似に見られる「ギャップ」については、それが真のエントロピー錐の特徴ではなく手法のアーティファクトである可能性を認めつつ、謙虚な姿勢を保っており、現在の技術では事後選択なしには三角形因果構造のような構造において理論を区別できないことも述べている。