2025-11-24T03:01:18.011918

Partial independence suffices to rule out Real Quantum Theory experimentally

Weilenmann, Gisin, Sekatski

The role of complex quantities in quantum theory has been puzzling physicists since the beginnings. It is thus natural to ask whether, in order to describe our experiments, the mathematical structure of complex Hilbert spaces it is built on is really necessary. Recently, it was shown that this structure is inevitable in network scenarios with independent sources. More precisely, Real Quantum Theory cannot explain the predictions of (Complex) Quantum Theory [Renou et al., Nature 600, 2021]. Here, we revisit the independence assumption underlying this work. We show that assuming partial independence is sufficient for showing the inadequacy of Real Quantum Theory. We derive a tradeoff between source independence and the Bell value achievable in Real Quantum Theory, which also lower bounds the source correlations required to explain previous experiments by means of real quantum systems. We further show that 1 bit of entanglement is necessary and sufficient for recovering the complex quantum correlations by means of Real Quantum Theory in the scenario from [Renou et al., Nature 600, 2021]. Finally, building on [McKague et al., PRL 102, 2009], we provide a construction to simulate any complex quantum setup with m independent sources by means of Real Quantum Theory, by allowing the sources to share a m real-qubit entangled state in the first round of the experiment.

academic

部分独立性は実量子理論を実験的に排除するのに十分である

基本情報

論文ID: 2502.20102
タイトル: Partial independence suffices to rule out Real Quantum Theory experimentally
著者: Mirjam Weilenmann (Inria、Télécom Paris)、Nicolas Gisin (ジュネーブ大学、Constructor University)、Pavel Sekatski (ジュネーブ大学)
分類: quant-ph (量子物理学)
発表時期: 2025年2月 (arXiv v2: 2025年11月21日)
論文リンク: https://arxiv.org/abs/2502.20102

要約

本論文は量子理論における複素数の必要性の問題を研究している。Renou等による2021年Nature論文が実量子理論(Real Quantum Theory)が複素量子理論の予測を説明できないことを示したことに基づき、本論文は源独立性の仮定を再検討する。著者らは部分独立性が実量子理論の不十分性を証明するのに十分であることを示し、源独立性と実量子理論で達成可能なBell値の間の権衡関係を導出し、1ビット纠缠が必要かつ十分な資源であることを証明して実量子理論で複素量子相関を回復する。最後に、McKague等の研究に基づき、m個の実量子ビット纠缠状態を用いてm個の独立源複素量子実験をシミュレートするスキームを構成する。

研究背景と動機

1. 中心的問題

量子理論は本当に複素数構造を必要とするのか？ これは量子力学の基礎における長年の謎である。古典物理学(力学、熱力学、電磁気学)がすべて実数に基づいているにもかかわらず、量子理論の第一公準は複素ヒルベルト空間 $\mathbb{C}^d$ を導入している。

2. 問題の重要性

数学構造の物理的必然性: 複素数は量子理論における単なる計算ツールではなく、量子状態そのものが複素値である
存在論的問題: 実ヒルベルト空間 $\mathbb{R}^d$ で十分であれば、なぜデカルトが「想像上の」、オイラーが「不可能な」と呼んだ「虚数」が必要なのか？
実験的検証可能性: この基礎的問題は実験によって判定できるのか？

3. 既存方法の限界

McKague等(2009): 実量子理論を用いて任意の複素量子実験をシミュレートできることを証明したが、各部分系に補助実量子ビット(rebit)を付加し、これらの補助ビットが纠缠状態を共有する必要がある
物理的解釈の困難: 部分系が空間的に分離している場合、それらがすべて同じ補助rebitsにアクセスできることをどう解釈するのか？この纠缠はどこから来るのか？
Renou等(2021): ネットワークシナリオにおいて、源が完全に独立であると仮定して、実量子理論が複素量子理論のBell値上界に達することができないことを証明した( $B_C^{sup}=6\sqrt{2}\approx 8.49$ vs $B_R^{ub}\leq 7.66$ )

4. 本論文の動機

独立性仮定の緩和: 源が部分的にのみ独立している(partially independent)場合はどうなるのか？実量子理論で実験結果を説明するのに必要な量子相関の量を定量的に特徴付けることができるのか？

中心的貢献

独立性仮定の緩和: 部分的な源独立性が実量子理論を排除するのに十分であることを証明し、完全な独立性仮定を不要にする
定量的権衡関係: 源独立性の程度と実量子理論で達成可能なBell値の間の正確な権衡関係を導出する(半定値計画階層を通じて)
必要かつ十分な資源: Renou等のシナリオにおいて、1 ebit纠缠(2つのrebitsの最大纠缠に対応)が必要かつ十分であることを証明する:
- 必要性: 自己テスト(self-testing)を通じて、最大Bell値 $6\sqrt{2}$ に達するには状態 $\bar{\varrho}_{S_1S_2}=\frac{1}{2}(\Phi^-+\Psi^+)$ が必要であり、その纠缠形成 $E_F=1$ 、可分離集合からの距離 $D_{Sep}=\frac{1}{2}$ であることを示す
- 十分性: この纠缠はこのネットワークにおける任意の量子実験をシミュレートするのに十分である
一般的シミュレーション定理: McKague構成を拡張し、m個のrebit纠缠状態 $\bar{\varrho}_S^{(m)}$ がm個の独立源の任意の複素量子実験をシミュレートするのに十分であることを証明する
実験的意義の定量化: 既存の実験結果に定量的意義を付与する(例えば、Bell値8.09は $D_{Sep}\geq 0.2$ を必要とする)

方法の詳細

タスク定義

3者ネットワークシナリオ(図1)において:

設定: Alice(A)、Bob(B)、Charlie(C)の3者、2つの源 $S_1$ (ABに分配)と $S_2$ (BCに分配)
測定: Aliceは入力 $x\in\{1,2,3\}$ 、出力 $a\in\{1,-1\}$ 、Bobは出力 $b\in\{00,01,10,11\}$ 、Charlieは入力 $z\in\{1,...,6\}$ 、出力 $c\in\{1,-1\}$
目標: 源が部分的な量子相関 $\varrho_{S_1S_2}$ を共有することを許可する場合、実量子理論が達成できるBell値上界を分析する

Bell測定表現

Renou等のBell汎関数を使用: $B(P) = \sum_{b\in\{0,1\}^2} B_b(P)$ ここで各 $B_b(P)$ はAliceとCharlieの間の3つのCHSH測定の組み合わせである(式2)。重要な値:

複素量子理論の最大値: $B_C^{sup}=6\sqrt{2}\approx 8.49$
独立源実量子理論上界: $B_R^{ub}\leq 7.66$

中心的技術方法

1. 纠缠度量(付録A)

2つの幾何学的度量を定義:

可分離集合からの距離: $D_{Sep}(\varrho)=\inf_{\sigma\in Sep}\frac{1}{2}\|\varrho-\sigma\|$
独立集合からの距離: $D_{Ind}(\varrho)=\inf_{\sigma\in Ind}\frac{1}{2}\|\varrho-\sigma\|$
纠缠形成: $E_F(\varrho)$

重要な性質:

実量子理論では局所操作の下で単調に非増加
2つのrebit状態 $\bar{\varrho}_{S_1S_2}$ に対して: $D_{Ind}=D_{Sep}=\frac{1}{2}$ 、 $E_F=1$ (すべて最大値に達する)

2. 半定値計画階層(SDP Hierarchy、式6)

制約付き最適化問題を構成: $\max B(P) \quad \text{s.t.} \quad D_{Sep}(\tau_{AC})\leq \epsilon$

革新性: トレース距離制約をモーメント問題に組み込む:

n次階層のモーメント行列 $\Gamma^n(\tau)$ を使用
正半定性制約と可分離性条件 $\sigma^{T_A}=\sigma$ を利用
トレース距離条件を以下に変換: $\begin{pmatrix} \Gamma^n(M) & \Gamma^n(\tau-\sigma) \\ \Gamma^n(\tau-\sigma)^T & \Gamma^n(N) \end{pmatrix}\geq 0, \quad \Gamma^n(M)_{(1,1)}+\Gamma^n(N)_{(1,1)}\leq 4\epsilon$

計算: 2次階層、YALMIP+Mosekを使用、500GBメモリが必要、実行時間5-6日

3. 線形界(式7、付録C)

作用素ノルムを通じて単純な界を導出: $D_{Sep}(\tau_{AC}) \geq \frac{B(P)-B_R^{ub}}{B_C^{sup}-B_C^{inf}} = \frac{B(P)-7.66}{12\sqrt{2}}$

証明の概要:

Bell作用素は $\text{tr}(B\rho)=B(P)$ を満たす
$\text{tr}(B(\rho-\sigma))\leq D(\rho,\sigma)(B_C^{sup}-B_C^{inf})$ を利用
任意の可分離状態 $\sigma$ に対して、 $\text{tr}(B\sigma)\leq B_R^{ub}$

4. 実シミュレーション構成(付録D)

参照フレーム符号化:

各d次元複素系 $C_i$ は2d次元実系 $\bar{R}_i=R_iL_i$ に対応
$L=L_1...L_n$ は「複素性参照フレーム」として機能し、論理部分空間に符号化: $|R\rangle_L = \frac{1}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}+\bigotimes_i|y^-\rangle_{L_i})$ $|I\rangle_L = \frac{i}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}-\bigotimes_i|y^-\rangle_{L_i})$ ここで $|y^\pm\rangle=(|0\rangle\pm i|1\rangle)/\sqrt{2}$

重要な性質: 実ユニタリ作用素 $J=i\sigma_Y$ が任意の $L_j$ に作用して虚数単位をシミュレート: $J_{L_j}|R\rangle_L=|I\rangle_L, \quad J_{L_j}|I\rangle_L=-|R\rangle_L$

状態表現(位相不変): $\varrho_C \sim \varrho_{RL} = \varrho_R^{Re}\otimes\frac{|R\rangle\langle R|+|I\rangle\langle I|}{2} + \varrho_R^{Im}\otimes\frac{|I\rangle\langle R|-|R\rangle\langle I|}{2}$

局所広報可能性(Local Broadcastability):

参照フレーム状態 $\bar{\varrho}_L^{(n)}$ は局所操作を通じて拡張可能: $\bar{\varrho}_L^{(n)}\xrightarrow{LO}\bar{\varrho}_{LL'}^{(2n)}$
周辺状態は不変: $\text{tr}_{L'}\bar{\varrho}_{LL'}^{(2n)}=\bar{\varrho}_L^{(n)}$
これは複素量子理論では不可能(局所広報禁止定理)であり、2つの理論の操作的差異を示す

技術的革新点

部分独立性の形式化: 源相関の程度( $D_{Sep}$ 、 $E_F$ を通じて)とBell違反の関係を初めて定量的に特徴付ける
SDP制約の革新: 連続トレース距離制約を離散モーメント問題に埋め込む、技術的難度が高い
緊密性の証明: 理想的な場合、界は緊密( $\epsilon=0.5$ のとき正確に $6\sqrt{2}$ に達する)
資源理論の視点: 問題を量子資源理論の枠組みに置き、自由状態(Sep/Ind)と自由操作(LOCC/LO)を明確にする
束縛纠缠の応用: 実量子理論で局所広報可能な束縛纠缠を利用、これは複素理論には存在しない

実験設定

実験シナリオ

ネットワークトポロジー: 双局所性(bilocality)シナリオ、2つの源と2つの受信者
測定構成: Alice 3つの入力、Charlie 6つの入力、Bob固定測定(4つの出力)
量子状態: 複素理論では最大纠缠状態と特定の測定を使用して $6\sqrt{2}$ に達する

既存の実験データ

本論文は3つの発表済み実験を分析:

Chen等(2022, PRL 128:040403): Bell値8.09(1) → $D_{Sep}\geq 0.2$ が必要
Li等(2022, PRL 128:040402): 異なるBell表現を使用
Wu等(2022, PRL 129:140401): Bell値7.83(3) → $D_{Sep}\geq 0.05$ が必要

計算資源

ソフトウェア: MATLAB + YALMIP + Mosekソルバー
ハードウェア: 高性能計算クラスタ、500GB RAM
実行時間: 各 $\epsilon$ 値につき5-6日
代替案: SCSソルバーはデスクトップで実行可能(1-2時間)だが精度が低い

実験結果

主要結果(表I)

Bell値 $B(P)$	7.66	7.72	7.78	7.88	8.06	8.22	8.37	8.50
$\epsilon_1$ (SDP)	0%	2.5%	5%	10%	20%	30%	40%	50%
$\epsilon_2$ (線形界)	0%	0.4%	0.7%	1.3%	2.4%	3.3%	4.2%	4.9%

重要な発見:

SDP界は線形界を大幅に上回る: 例えば $B=8.06$ のとき、SDPは $\epsilon_1=20\%$ vs 線形界 $\epsilon_2=2.4\%$ を与える
緊密性の検証: $\epsilon_1=50\%$ のとき $B=8.4953\approx 6\sqrt{2}$ (数値精度内で等しい)
実験的含意:
- Chen実験(8.09): 実量子理論は $D_{Sep}\geq 0.2$ の源相関を必要とする
- Wu実験(7.83): $D_{Sep}\geq 0.05$ が必要

理想的な場合の分析

自己テスト結果: $B=6\sqrt{2}$ に達するとき、Alice-Charlie約化状態は以下に自己テストされる: $\bar{\varrho}_{AC} = \frac{1}{2}(\Phi^-+\Psi^+) = \frac{1}{4}\begin{pmatrix}1&0&0&-1\\0&1&1&0\\0&1&1&0\\-1&0&0&1\end{pmatrix}$

纠缠度量(付録A):

$D_{Sep}(\bar{\varrho})=D_{Ind}(\bar{\varrho})=\frac{1}{2}$ (最大値)
$E_F(\bar{\varrho})=1$ ebit(2つのrebitの最大纠缠)
自己テストにより、源状態 $\varrho_{S_1S_2}$ は同じ界を満たす必要がある

十分性(命題): この状態はネットワークにおける任意の複素量子実験をシミュレートするのに十分である

一般的シミュレーション定理

定理: m個の独立源の任意の複素量子実験は実量子理論を使用してシミュレートできる。源が初期に以下を共有する場合: $\bar{\varrho}_S^{(m)} = \frac{1}{2}\left(\bigotimes_{i=1}^m|y^+\rangle\langle y^+|_{S_i} + \bigotimes_{i=1}^m|y^-\rangle\langle y^-|_{S_i}\right)$

証明の要点:

この状態は1 ebitの纠缠形成を含む(任意の二分割を横切って)
同時に局所広報可能: $\bar{\varrho}_S^{(m)}\xrightarrow{LO}\bar{\varrho}_{SL}^{(m+n)}$
測定は参照フレーム纠缠を消費しない
$m=2$ の場合、正確に自己テスト状態である

結論と議論

主要な結論

部分独立性で十分: 完全な源独立性は不要で、部分独立性だけで実量子理論を排除できる
定量的権衡: Bell値と必要な源相関の間の正確な関係を確立(表I)
最小資源: 1 ebit纠缠が必要かつ十分(双源シナリオの場合)
普遍的構成: m-rebit纠缠状態がm源の任意の実験をシミュレートできる
実験的意義: 既存の実験結果は源相関の下界を暗示する

限界

計算複雑性: SDP階層は巨大な計算資源を必要とし、より高い精度の分析を制限
特定シナリオ: 結果は特定のネットワークトポロジー(双源3者)に対応し、他のネットワークは個別に分析が必要
理想化仮定:
- 完全な測定(ノイズなし)
- 有限次元ヒルベルト空間
- 非相対論的量子理論
実験的課題:
- 既存実験は無漏洞(loophole-free)に達していない
- チップ実装では源独立性の保証が困難
- Bell値は理論最大値からまだ離れている

今後の方向

他のネットワークトポロジー: 星型、鎖型などのネットワークへの一般化
ノイズ堅牢性: 実際のノイズが結論に与える影響の分析
より効率的なアルゴリズム: SDP求解の複雑性低減
実験的改善:
- Bell値の向上(現在8.09 vs 理論8.49)
- 無漏洞実験の実現
- 源独立性のより良い制御
哲学的含意: 「纠缠空間」本体論解釈の深掘り

深い評価

利点

理論的厳密性:
- 完全な数学的枠組み(資源理論、SDP、自己テスト)
- 必要性と十分性の双方向証明
- 緊密界の数値検証
革新性:
- 部分独立性を初めて定量的に特徴付け
- トレース距離制約をモーメント問題に埋め込む(技術難度が高い)
- 実理論の独特な性質を明らかにする(局所広報可能な束縛纠缠)
実験的関連性:
- 既存実験に新しい意義を付与
- 将来の実験設計を指導
- 操作可能な判定基準
明確な記述:
- 詳細な歴史的背景
- 完全な技術的詳細(付録)
- 関連研究との明確な比較

不足

計算ボトルネック:
- 500GBメモリ要件がアクセス可能性を制限
- 2次階層までの計算のみ(緊密でない可能性)
- 線形界とSDP界の大きな差(線形界の不十分性を示唆)
シナリオ特異性:
- 結果は特定のBell表現に依存
- ネットワークトポロジーが固定
- 一般化可能性は要検証
実験的ギャップ:
- 既存実験のBell値と理論最大値の大きな差
- 源独立性の実験的検証の困難さ
- 無漏洞実験がまだ実現していない
哲学的論争:
- 「纠缠空間」解釈の本体論的地位が十分に議論されていない
- Barrios、Hoffreumon研究との根本的な相違(定義問題 vs 実験問題)

影響力

理論的貢献:
- 複素数が量子理論で果たす役割の理解を深める
- 部分独立性の定量的枠組みを確立
- ネットワークシナリオと資源理論を結合
実験的指導:
- 実験設計に定量的目標を提供
- 源独立性要件の定量化
- 実験結果解釈の新しい視点
方法論:
- SDP+トレース距離制約技術は他の問題に応用可能
- 自己テスト+資源理論結合のパラダイム
再現可能性:
- コードはオープンソース(GitHub)
- 方法記述は詳細
- ただし計算資源要件が高い

適用シナリオ

量子基礎研究:
- 量子理論の数学構造の実験的検証
- ネットワークシナリオにおける量子相関研究
- 複素数必要性の他のシナリオ
量子情報:
- 量子ネットワーク設計
- 纠缠資源分析
- デバイス非依存プロトコル
実験物理:
- 光量子ネットワーク実験
- 超伝導量子チップネットワーク
- イオントラップネットワーク
理論的拡張:
- 他の数体上の量子理論(四元数など)
- 一般化確率理論
- 量子重力におけるネットワーク構造

参考文献

重要な引用

Renou et al., Nature 600, 625 (2021): 元のネットワークシナリオ実験提案
McKague et al., PRL 102, 020505 (2009): 実シミュレーション構成の基礎
Chen et al., PRL 128, 040403 (2022): 初の実験実現
Caves et al., Found. Phys. Lett. 14, 199 (2001): 実纠缠度量
Bancal et al., Quantum 5, 401 (2021): 有限統計自己テスト