Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions

この論文は、フェルミオン情報理論（FIT）の枠組みにおいて、量子論の実数形式を排除し標準的な量子情報理論を支持するとして提案された物理的公理が成立しないことを示し、基礎原理の検証にフェルミオン系を考慮することの重要性を強調しています。

要約

この論文は、物理学の基礎にある「量子力学」のあり方について、非常に興味深く、かつ少し挑発的な議論を行っています。専門用語を排し、日常の例え話を使って、何が問題で、なぜそれが重要なのかを解説します。

1. 背景：「現実」は複雑な数でできているのか？

まず、この議論の舞台は**「量子力学」です。私たちが普段使っているコンピュータやスマホは「0」と「1」のデジタル信号で動いていますが、量子の世界はもっと複雑で、「複素数（実数＋虚数）」**という数学的な道具を使って記述されます。

しかし、最近の研究者たちは、「もし、この『虚数』という難しい要素を捨てて、もっと単純な**『実数（普通の数字）』**だけで量子力学を説明できるなら、もっとシンプルで美しい理論になるのではないか？」と考え始めました。

そこで登場するのが、この論文が批判している**「実数ベースの量子理論」**という新しい提案です。

2. 問題の核心：「独立した準備」と「操作の独立性」

新しい理論（論文 [1]）の提案者は、以下のような**「公理（ルール）」**を提案しました。

「もし、2 人の実験者が互いに連絡を取らずに独立して粒子を用意したなら、彼らが測定した結果も、互いに無関係（独立）であるはずだ。」

これを**「操作の独立性＝独立な準備」**というルールと呼びましょう。
このルールに従えば、「実数だけで量子力学を記述する」場合、従来の単純な理論（$T^R_1$）は破綻し、より複雑で標準的な量子力学と同じ予測をする理論（$T^R_2$）だけが正解だと結論づけられます。つまり、「実数だけで量子力学は成立する（実験で否定できない）」という主張です。

3. この論文の主張：「 fermion（フェルミオン）という例外」

しかし、この論文の著者たちは**「待てよ！そのルールは『フェルミオン』という粒子には当てはまらないぞ！」**と反論しています。

例え話：「双子の靴箱」と「魔法のルール」

想像してください。2 つの靴箱（A と B）があり、それぞれに靴が入っています。

• 通常の理論（QIT）： A の箱と B の箱は完全に独立しています。A に左靴を入れれば、B には右靴が入るかどうかは関係ありません。
• フェルミオンの世界（FIT）： ここには**「パリティ（偶奇）のルール」**という魔法があります。
  • このルールでは、「A に靴を入れる」と「B に靴を入れる」という行為が、実は**「全体で靴が偶数個か奇数個か」**という関係で強く結びついています。
  • 2 人の実験者が「独立して」靴を入れようとしても、この魔法のルール（超選択則）によって、**「独立して入れたはずなのに、結果として『非独立』に見える状態」**が作られてしまうのです。

論文の発見

著者たちは、フェルミオン（電子や陽子など、物質の基礎となる粒子）の理論（FIT）を使って、以下のような**「矛盾」**を突きつけました。

1. 操作の独立性： 2 人の実験者が、それぞれの靴箱で測定をしても、結果は完全にランダムで無関係に見えます（操作としては独立）。
2. 独立な準備の欠如： しかし、この状態は「2 人が独立に靴を入れた」状態からは絶対に作れません。なぜなら、フェルミオンのルール上、独立に靴を入れると、必ず「偶数個」か「奇数個」かの制約ができてしまい、この特定の「無関係に見える状態」には到達できないからです。

つまり、「操作が独立に見えるからといって、それが独立に準備された状態だとは限らない」ということが、フェルミオンの世界では証明されてしまいました。

4. 結論：なぜこれが重要なのか？

この論文のメッセージはシンプルです。

「物理学の『普遍的なルール』を提案するならば、それは『フェルミオン』という現実の粒子にも当てはまらなければなりません。しかし、先ほどの『実数ベースの量子理論』のルールは、フェルミオンには当てはまりません。したがって、そのルールは『普遍的な物理法則』としては不十分です。」

歴史的な教訓

著者たちは、アインシュタインが「神はサイコロを振らない」と言って量子力学の確率性を否定しようとした時代を思い出させます。当時の「直感的な常識」は、ベルの定理によって量子力学の予測と矛盾することが証明されました。

同じように、今回提案された「実数ベースの理論」のルールも、**「直感的には正しそうだが、フェルミオンという現実の粒子の性質（超選択則）を無視している」**ため、通用しないのではないか？と警告しています。

まとめ

• 対立点： 「実数だけで量子力学を説明できるか？」という議論。
• 相手の主張： 「独立な準備＝独立な測定結果」というルールを使えば、実数理論は成立する。
• この論文の反論： 「フェルミオン（電子など）の世界では、そのルールが崩壊する。独立に見えても、実は独立に作れない状態がある！」
• 教訓： 新しい物理理論を提案するときは、**「すべての粒子（特にフェルミオン）の性質を考慮しているか？」**を厳しくチェックする必要がある。

この論文は、物理学の基礎を揺さぶる「新しい理論」に対して、**「現実の粒子の性質（フェルミオン）というフィルターを通してみれば、その理論は不完全だ」**と指摘する、非常に重要な警鐘となっています。

技術概要

論文要約：フェルミオン情報理論における実数基底量子論の公理の妥当性に関する考察

1. 背景と問題提起

近年、量子力学が複素ヒルベルト空間を本質的に必要とするのか、それとも実数ヒルベルト空間上で定式化可能かという問いが再燃しています。実数基底の量子理論を構築する際、複合系や独立な準備（independent preparation）をどのように表現するかという根本的な曖昧さが生じます。これには主に 2 つの理論候補が存在します。

1. 理論 $T^R_1$ (Real Quantum Theory, RQT): 標準的な量子情報理論（QIT）を実数ヒルベルト空間に制限したもの。独立に準備可能な状態の集合を「クロネッカー積状態（$\rho_A \otimes \rho_B$）」と定義する。この理論は実験的に反証可能であり、標準 QIT の予測をすべて再現しないことが知られている。
2. 理論 $T^R_2$: 操作論的に独立な状態（operational independent states）の集合を独立に準備可能な状態と同一視する理論。これは標準 QIT と同じ予測を再現し、実験的に反証不可能である。

Hoffreumon と Woods (arXiv:2603.19208) は、「公理 1」（操作論的独立＝独立な準備）を採用することで、$T^R_1$ を排除し、$T^R_2$（すなわち標準 QIT と同等の理論）が実数基底の正しい定式化であると主張しました。

本研究の核心的な問題:
Hoffreumon と Woods が提案した「公理 1」は、**フェルミオン情報理論（Fermionic Information Theory: FIT）**という、同一のフェルミオンが運ぶ情報を記述する確立された物理的枠組みにおいて成立しないことが示されました。もし「一般的な物理公理」が存在するならば、それはフェルミオンを含むすべての物理系で成立しなければならないはずです。

2. 手法とアプローチ

著者らは、以下の論理構成で反証を行いました。

1. 主張の提示: 「フェルミオンは実在する以上、いかなる『一般的な物理公理』もフェルミオン情報理論（FIT）内で妥当であることを示さなければならない」という主張を立てる。
2. 反例の構築: FIT の枠組み内で、**「操作論的に独立であるが、局所的に独立に準備された状態ではない」**という状態（$\rho_{AB}$）を具体的に構成する。
3. 矛盾の導出: 構成した状態が「公理 1」の条件（操作論的独立 $\iff$ 独立準備）を満たさないことを示し、公理 1 が普遍的な物理原理として成立しないことを証明する。
4. 一般化: この結果が、超選択則（superselection rule）を持つ他の理論（電荷保存、粒子数保存、任意粒子など）にも同様に適用されることを示唆する。

3. 主要な結果と技術的詳細

3.1 フェルミオン情報理論（FIT）の特性

FIT において、情報は粒子の内部自由度ではなく、**フェルミオンモードの占有（存在/不在）**に符号化されます。FIT の重要な特徴は以下の通りです。

• パリティ超選択則: 偶数個と奇数個のフェルミオン数の状態間のコヒーレントな重ね合わせは禁止されます。
• 局所操作の制限: 許容される局所測定は、局所パリティ演算子と可換でなければなりません。
• 局所トモグラフィの欠如: 複合系の状態を、部分系に対する局所測定の統計のみで完全に決定することはできません（FIT は局所トモグラフィ的ではありません）。

3.2 反例の構成（ベル状態の混合）

2 つのフェルミオンモード $A$ と $B$ を考え、以下のパリティが異なるベル状態を定義します。
$$|\phi^+\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle), \quad |\psi^+\rangle = \frac{1}{\sqrt{2}}(|01\rangle + |10\rangle)$$
これらを等確率で混合した状態 $\rho_{AB}$ を考えます。
$$\rho_{AB} = \frac{1}{2} (|\phi^+\rangle\langle\phi^+| + |\psi^+\rangle\langle\psi^+|)$$

(A) $\rho_{AB}$ は独立に準備されていない

FIT において、独立に準備された状態は、パリティ超選択則を満たす局所状態のテンソル積 $\rho_A \otimes \rho_B$ でなければなりません。

• $\rho_{AB}$ は分離可能（separable）ですが、その分離分解を行うと、局所状態がパリティ超選択則を破ることになります。
• したがって、$\rho_{AB}$ は局所的に独立に準備された状態のテンソル積として表現できず、「独立に準備された状態」ではありません。

(B) $\rho_{AB}$ は操作論的に独立である

FIT において許される任意の局所測定 $M_A, M_B$ はパリティ演算子 $\Pi$ と可換です。

• 状態 $\rho_{AB}$ に対して、局所パリティ演算子による「ツイリング（平均化）」操作を施すと、結果は最大混合状態 $\tilde{\rho}_{AB} = I_{AB}/4$ になります。
• 許される測定はパリティと可換であるため、$\rho_{AB}$ に対する測定確率は、$\tilde{\rho}_{AB}$ に対する測定確率と一致します。
• 計算により、$p(ab) = \text{Tr}[(M_A \otimes M_B)\rho_{AB}] = p(a)p(b)$ が成り立つことが示されます。
• したがって、$\rho_{AB}$ は「操作論的に独立」です。

(C) 結論

FIT 内において、「操作論的独立」である状態（$\rho_{AB}$）が存在しますが、それは「独立に準備された状態」ではありません。これは、Hoffreumon と Woods が提唱した**「公理 1（独立準備 $\iff$ 操作論的独立）」が FIT では成立しない**ことを意味します。

4. 議論と一般化

• 超選択則の役割: この矛盾は、物理的に許される局所操作の集合が制限されている（超選択則がある）ために生じます。制限された観測量では、局所的に準備された状態と非局所的に準備された状態を区別できないため、「操作論的独立」が「独立準備」を意味しなくなります。
• 他の理論への適用: この議論は、電荷保存則や粒子数保存則を持つ系、あるいは任意粒子（anyons）の情報理論など、超選択則が存在する広範な物理系に適用可能です。
• 関連研究への言及: 付録 A では、別の公理（公理 2）に基づいて $T^R_2$ を再構成しようとする最近の研究 [3, 4] についても言及しています。これらも同様に、同一粒子の文脈（特に FIT）での妥当性を検証する必要があると指摘しています。

5. 意義と結論

• 物理原理の検証の重要性: 古典的な直感や標準的な量子情報理論（QIT）の性質（局所トモグラフィ性など）に基づいて提案された物理公理は、フェルミオン情報理論（FIT）のような、同一粒子や超選択則を含む物理的枠組みでは成立しない可能性があります。
• 実数基底量子論への示唆: 実数基底の量子理論を正当化する物理原理を導き出す際、単に標準 QIT の構造を模倣するだけでなく、フェルミオンなどの具体的な物理系との整合性を厳密に検証する必要があります。
• 歴史的教訓: 過去の EPR 論争やベルの定理が示したように、一見自然な古典的仮定が量子現象と矛盾することがあります。同様に、今回の「公理 1」も、FIT という確立された枠組みと矛盾することが示されました。

結論として、 実数基底の量子理論を「実験的に反証不可能」なものとして選別するための公理として、Hoffreumon と Woods が提案した「公理 1」は、フェルミオン情報理論において破綻しており、普遍的な物理原理とはみなせません。今後の基礎研究においては、提案された原理がフェルミオン情報理論を含む多様な物理的枠組みとどのように整合するかを慎重に検討することが不可欠です。