⚛️ quantum physics

Quantum theory based on real numbers cannot be experimentally falsified

この論文は、Renou らが提案した局所ネットワーク実験による実数量子論の反証可能性の主張が実験的に検証不可能な仮定に依存しており、ソースの独立性を操作的に定義し直せば標準的な量子論と実数量子論はすべての有限ネットワーク相関および逐次多部分プロトコルにおいて実験的に区別不可能であることを示しています。

原著者： Timothée Hoffreumon, Mischa P. Woods

公開日 2026-03-20

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Timothée Hoffreumon, Mischa P. Woods

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、量子力学の核心にある「複素数（虚数を含む数）」が、本当に実験で必要不可欠なものなのか、それとも単に「計算の都合の良い道具」に過ぎないのかという、長年続いた問いに決着をつける重要な研究です。

結論から言うと、**「複素数を使わない『実数だけの量子理論』でも、私たちが観測できるすべての実験結果を、複素数を使う標準的な量子理論と全く同じように説明できてしまう」**ことが証明されました。

つまり、**「複素数を使わない理論を、実験で否定（反証）することは不可能」**なのです。

これを一般の方にもわかりやすく、いくつかの比喩を使って解説します。

1. 二つの地図と「見えない山」

まず、私たちが世界を理解するのを「地図を描くこと」に例えてみましょう。

標準的な量子理論（QT）： 複素数という「魔法のコンパス」を持った地図。
実数量子理論（RQT）： 複素数を使わず、実数だけで描いた地図。

これまで、科学者たちは「複素数という魔法のコンパスがないと、この地図（量子力学）は完成しない」と信じていました。特に、2021 年のある研究（Renou ら）は、「複素数なしの地図では、ある特定の『ネットワーク実験』で、現実とは違う結果が出てしまうはずだ」と主張し、実数理論は実験で否定できるかもしれないと言いました。

しかし、今回の論文は**「待てよ、その実験の前提条件が間違っている」**と指摘します。

2. 「独立したソース」の誤解

この実験の鍵は、「独立したソース（2 つの独立した装置）」という概念です。

従来の考え方（製品としての独立）：
「2 つの装置は、箱を開けた瞬間に、中身が完全にバラバラで、何の関係もない『独立した製品』である」と考えます。これを数式では「積の状態（Product State）」と呼びます。
- 比喩： 2 つの箱から出たカードが、完全に無関係なランダムなカードであること。
新しい考え方（観測としての独立）：
「2 つの装置は、私たちが観測できる限りで、互いに影響を与えていないように見える」だけでいい、と考えます。
- 比喩： 箱の中身が実は複雑に絡み合っている（関係がある）かもしれないが、私たちが箱を開けてカードを見る限り、その関係性は見えないなら、それは「独立している」とみなしていい。

論文の核心は、**「実数だけの理論では、中身が絡み合っている（関係がある）のに、観測するとまるで無関係に見えるような状態が存在する」**という点です。

3. 「見えない糸」の比喩

実数理論の世界には、**「観測者には見えない糸」**で繋がれた状態が存在します。

複素数理論（QT）： 糸が見えます。「あ、この 2 つは繋がってる！」とわかります。
実数理論（RQT）： 糸が見えません。「見えないから、これらは独立している」と判断します。

Renou らの実験は、「見えない糸がある状態」を「独立した製品（糸なし）」だと誤って仮定していました。しかし、実数理論では、「見えない糸で繋がっている状態」こそが、実験的には「独立している」とみなされる正しい状態なのです。

もし、その「見えない糸」を考慮に入れた実数理論のモデルを使えば、複素数理論が予測するすべての実験結果を、実数理論でも完璧に再現できることが証明されました。

4. 結論：実験では区別できない

つまり、どんなに複雑な実験（ネットワーク実験や、時間をかけた連続した実験）を行っても、「複素数理論と一致する結果」が出ている限り、実数理論を否定することはできません。

実験室（ラボ）： ここでは、複素数理論も実数理論も、同じ結果を予測します。どちらが「正しい」か実験ではわかりません。
黒板（理論）： ここでは、2 つの理論は全く異なる世界観を持っています。
- 複素数理論：「独立したものは、本当に何の関係もない」
- 実数理論：「独立に見えるものでも、実は見えない深い関係（隠れた相関）で繋がっているかもしれない」

まとめ

この論文は、**「複素数という魔法のコンパスがなくても、私たちが目にする世界の『現象』を説明する地図は描ける」**と示しました。

もし、私たちが「複素数理論が正しい」と信じている実験結果しか見ていないなら、**「実は複素数なんて使わず、実数だけで、もっと複雑で隠れた関係性を持つ世界が描かれている」**という可能性を、実験では決して排除できないのです。

これは、科学の「実験で証明できること」の限界を示すとともに、私たちが世界をどう解釈するか（哲学）の問題を浮き彫りにする、非常に興味深い研究です。

この論文「Quantum theory based on real numbers cannot be experimentally falsified（実数に基づく量子理論は実験的に反証できない）」は、標準的な量子力学（複素数を用いる QT）と、それを実数に制限した実数量子理論（RQT）の間の実験的区別可能性について論じた重要な研究です。Renou ら（2021 年）が「双局所ネットワーク実験により RQT を反証できる」と主張したのに対し、著者たちはその結論が実験的に検証不可能な仮定に依存していることを示し、RQT は QT と実験的に区別できないことを証明しました。

以下に、論文の技術的な要約を問題、手法、主要な貢献、結果、意義の観点から詳述します。

1. 問題の背景と核心

背景: 標準的な量子力学（QT）は複素ヒルベルト空間で記述されますが、これを実数ヒルベルト空間に制限した「実数量子理論（RQT）」も数学的に一貫しています。RQT は単一パーティやベル実験（局所実在論の検証）においては QT と同じ予測をしますが、一般のネットワーク構造（複数の独立したソースを持つ実験）においては、RQT が「局所トモグラフィー（local tomography）」を持たないため、両者の予測が異なる可能性が指摘されてきました。
Renou らの主張: Renou et al. [1] は、2 つの独立したソースを持つ「双局所（bilocal）」ネットワーク実験において、RQT が QT よりも低い最大値しか達成できない不等式を導き出し、実験的に RQT を反証できると主張しました。
本研究の問い: Renou らの結論は、実験的に検証可能な「ソースの独立性」と、数学モデル内の「積状態（product state）」の独立性を同一視する仮定に基づいています。この仮定が実験的に正当化されるかどうか、そして RQT においてこれらが区別される場合、RQT は本当に反証可能なのかという点が問題です。

2. 手法と理論的枠組み

著者たちは、以下の概念の厳密な区別と、新しい数学的構成を用いて議論を展開しました。

2 つの「独立性」の概念の区別:
1. 積状態独立性（Product-state independence）: 数学モデルにおいて、独立なソースの状態がテンソル積（ $\rho_X \otimes \rho_Y$ ）として記述されること。これは理論依存の仮定です。
2. 操作的独立性（Operational independence）: 実験的に観測される統計において、異なるソースからの局所測定の結果間に相関が存在しないこと（ $p(a,b) = p(a)p(b)$ ）。これは実験的に検証可能な条件です。
- RQT における非一致: QT ではこれらは同値ですが、RQT では異なります。RQT には、積状態ではないが局所的な測定では積状態と区別できない（操作的に独立な）状態が存在します。Renou らの証明は「積状態独立性」を仮定していましたが、実験的には「操作的独立性」のみが要求されるべきです。
RNQT（Real-Number Quantum Theory）の導入:
- 著者らは以前に導入した「実数量子理論（RNQT）」という、複素構造を保持しつつ実行列で記述される理論を基盤としました。RNQT は QT と同型であり、QT の予測を完全に再現できます。
- 主要な技術的ステップ:
  1. QT のモデルを RNQT のモデルへ埋め込む（複素数を実行列へ写す標準的な写像 $\Gamma$ の $n$ 倍版を使用）。
  2. RNQT の合成則（ $\otimes_R$ 積）が、RQT の合成則（クロネッカー積 $\otimes_K$ ）と、局所測定の統計において同等であることを示す（「汚染（contamination）」性質の利用）。
  3. 操作的に独立なソースは、RQT 内では「積状態」ではなく「 $\otimes_R$ 積状態」で表現されるが、局所測定では積状態と区別できないことを証明。

3. 主要な貢献と定理

論文の核心は、以下の 2 つの主要定理の証明にあります。

定理 1（ネットワーク実験における同等性）:
- 内容: 有限のネットワーク（独立したソースと局所的に測定するパーティ）において、ソースが「操作的に独立」であることのみを仮定すれば、QT で予測されるすべての結果分布は、同等の RQT モデルでも再現可能です。
- 意味: Renou らが示した「双局所不等式」の違反は、RQT を反証するものではなく、単に「ソースの状態が RQT における積状態形式ではなかった」ことを示すに過ぎません。操作的独立性を正しく定義すれば、RQT は QT と区別できません。
定理 2（逐次多パーティプロトコルにおける同等性）:
- 内容: 初期状態、量子チャネル、POVM 測定からなる任意の有限の逐次多パーティプロトコル（LOCC や適応的測定を含む）において、QT で記述される任意のプロトコルは、局所構造を維持したまま、同じ結果統計を持つ RQT プロトコルとして記述可能です。
- 意味: 単発の測定だけでなく、時間的順序を持つ複雑な実験プロセスにおいても、RQT は QT と実験的に区別不可能です。

4. 結果と結論

実験的反証の不可能性: 標準的な量子力学（QT）と矛盾しない限り、RQT を実験的に反証することはできません。Renou らの実験結果（QT の予測と一致する値）は、RQT によっても説明可能です。
解釈の違い: 実験データは同じでも、理論的な描像は異なります。
- QT: 独立なシステムは局所的にトモグラフィー可能であり、観測可能な相関がない限り真に無相関であるとみなされます。
- RQT: 局所的には無相関に見えても、実数表現のレベルでは「表現のエンタングルメント（entanglement of representation）」として、より密な相関構造が隠れている可能性があります。RQT は QT よりも「隠れた相関」を許容するが、それらを局所測定で検出する能力（トモグラフィー能力）が低い世界観です。

5. 意義と影響

理論的意義: 量子力学の複素数の必要性に関する長年の議論に対し、「複素数なしでも実験的に区別できない」という結論を再確認しました。これは、量子理論の「フォイル理論（foil theory）」としての RQT の地位を再評価させます。
実験的指針: 今後、QT と代替理論を区別する実験を設計する際、理論依存の数学的仮定（積状態独立性など）を操作可能な仮定（操作的独立性）に置き換えて検証する必要性を強調しています。
セキュリティへの示唆: RQT が反証できない場合、QT 内で安全とされる暗号プロトコルが、RQT 的な「隠れた相関」によって破られる可能性が理論上残ります（ただし、これは RQT が正しい場合の話です）。
哲学的含意: 観測可能な世界は同じでも、その背後にある相関構造の解釈（オントロジー）は理論によって大きく異なる可能性があることを示しました。

総括:
この論文は、Renou らの「RQT 反証」の主張が、実験的に検証不可能な「積状態独立性」の仮定に依存していたことを鋭く指摘し、より自然な「操作的独立性」の仮定の下では、RQT と QT はあらゆるネットワークおよび逐次実験において実験的に区別不可能であることを数学的に証明しました。これにより、量子力学の複素数の必要性は実験的には確認できないという結論が再確立されました。