Contextuality from Single-State Ontological Models: An Information-Theoretic No-Go Theorem

この論文は、複数の介入に対して単一のオントロジー状態空間を再利用する古典的モデルが、文脈依存性を完全に記述するために追加の文脈情報が必要となるという情報理論的な不可能定理を証明し、量子理論がこの制約を回避する仕組みを明らかにしています。

要約

🍳 物語：料理人と「固定された厨房」

この論文が扱っているのは、**「古典的なモデル（私たちの日常の論理）」と「量子力学（ミクロな世界の論理）」**の違いです。

1. 設定：固定された厨房（単一状態モデル）

想像してください。ある料理人（λ：オント状態）がいます。
この料理人は、**「1 つの厨房（Λ：状態空間）」**しか持っていません。

• 彼はこの厨房を、どんな料理（C：介入・測定）を作るときも使い回します。
• 厨房を拡張したり、料理ごとに新しい厨房を作ったりすることは禁止されています。
• 料理人は厨房にある材料（情報）だけで、すべての料理の味（O：結果）を決めなければなりません。

これが、この論文が定義する**「単一状態オントロジカルモデル」**です。つまり、「すべての出来事は、1 つの固定された現実（状態）から導き出されるはずだ」という古典的な考え方です。

2. 問題：文脈による味の変化（文脈性）

さて、この料理人に以下の注文をします。

• 注文 A： 「卵とトマトで料理して」
• 注文 B： 「卵とチーズで料理して」
• 注文 C： 「トマトとチーズで料理して」

古典的な世界では、料理人が厨房にある「卵」の情報を覚えていれば、どんな注文が来ても、その情報だけで結果を予測できるはずです。
しかし、量子力学のような世界では、こうなります。

• 「卵＋トマト」の組み合わせでは、料理人は**「甘く」**なる。
• 「卵＋チーズ」の組み合わせでは、料理人は**「しょっぱく」**なる。
• 「トマト＋チーズ」の組み合わせでは、料理人は**「酸っぱく」**なる。

ここで奇妙なことが起きます。
料理人は厨房（状態）に「卵」しか持っていません。なのに、「誰が注文に来たか（文脈）」によって、同じ「卵」から全く違う味が生まれてしまうのです。

3. 論文の発見：隠された「追加のメモ」が必要

この論文の著者（キム氏）は、以下のような**「情報理論的な不可能性定理」**を証明しました。

「1 つの厨房（状態）だけを固定して使い回す限り、注文（文脈）によって味が変化する現象を説明するには、料理人の頭（状態）には入っていない『追加のメモ』が必要になる」

つまり、

• 料理人の頭（λ）には「卵」の情報しかない。
• でも、結果（O）は注文（C）に依存する。
• ということは、「注文が何か」という情報が、料理人の頭には入っていないのに、結果に影響していることになります。

これを数式で言うと、**「条件付き相互情報量 $I(C; O | \lambda) > 0$」となります。
これは「料理人の頭（λ）を知っていても、注文（C）を知らないと結果（O）がわからない」**ことを意味します。

結論：
古典的なモデル（1 つの厨房）で、文脈に依存する結果を再現しようとすると、**「欠落した情報（追加のメモ）」を無理やり補うコストが発生します。このコストは、どんなに厨房を大きくしても（状態空間を大きくしても）消えません。これが「文脈性の情報コスト」**です。

---

🌌 量子力学はどうやってこれを回避しているか？

では、なぜ量子力学はこの「追加のメモ」のコストを払わずに済むのでしょうか？

量子力学は、「1 つの厨房だけで全てを説明する」というルール自体を破棄しています。

• 古典的な考え方： 「すべての結果は、1 つの隠れた状態（厨房）から生まれるはずだ」と仮定する。
• 量子力学の考え方： 「結果は、測定という行為そのものと、状態が相互作用した瞬間に生まれる」と考える。

量子力学では、「1 つの厨房（状態）」はあっても、「その厨房からすべての結果が同時に導き出される」とは考えません。
測定（注文）が行われるたびに、新しい確率のルール（ボーン則）が適用されます。つまり、「文脈（どの測定をするか）」が、結果を生み出すプロセスそのものに組み込まれているのです。

だから、量子力学は「追加のメモ」を必要とせず、自然にこの矛盾を回避できるのです。

---

💡 この研究が私たちに教えてくれること

この論文は、単に物理学者のための話ではありません。私たちが**「AI」や「人間の脳」**を考える上でも重要な示唆を与えています。

• 人間の脳や AI： 記憶容量や処理能力には限りがあります（＝厨房は 1 つだけ）。
• 現実の課題： 私たちは、限られた記憶（状態）の中で、状況（文脈）によって判断を変えなければなりません。

この論文は、**「限られたリソース（1 つの厨房）だけで、文脈に依存する複雑な判断を古典的な論理だけで行おうとすると、必ず『情報の不足』や『矛盾』が生じる」**と警告しています。

• 私たちが「状況によって判断が変わる」とき、それは単なる「優柔不断」や「バグ」ではなく、**「リソースの限界による必然的な情報コスト」**なのかもしれません。
• 量子力学のような「非古典的な確率の仕組み」を取り入れることで、限られたリソースでも、より効率的に文脈に柔軟に対応できるシステム（AI など）が作れる可能性がある、という新しい視点を提供しています。

まとめ

• 問題： 「1 つの固定された状態（厨房）」だけで、状況（注文）によって結果（味）が変わる現象を説明しようとする。
• 発見： 古典的な論理では、それを説明するために**「状態に含まれていない追加の情報（メモ）」**が必ず必要になる（これが「文脈性」の正体）。
• 解決策： 量子力学は「1 つの状態ですべてが決まる」という前提を捨てて、状況そのものを結果の一部として扱うことで、このコストを回避している。
• 教訓： 限られたリソースを持つシステム（脳や AI）が、文脈に敏感に反応する能力を持つためには、古典的な「状態の使い回し」の限界を超える新しい情報処理の仕組みが必要かもしれない。

この論文は、「量子の不思議」を「情報の制約」という、私たちがより身近に理解できる言葉で解き明かした画期的な研究なのです。

技術概要

論文サマリー：単一状態オントロジカルモデルにおける文脈性の情報理論的ノー・ゴ定理

1. 研究の背景と問題設定

量子力学の中心的な特徴である「文脈性（Contextuality）」は、非文脈的オントロジカルモデルを用いて量子測定統計を再現することが不可能であることを示す概念として知られています。既存のノー・ゴ定理（例：Kochen-Specker 定理）は、観測量の代数的構造やヒルベルト空間の性質に基づいてこの不可能性を証明してきました。

しかし、**「情報理論的観点から、なぜ古典的なオントロジカルモデルが文脈性を再現できないのか」**という根本的な理由、特に「情報再利用（Information Reuse）」の制約に起因する限界については、未解明な部分がありました。

本研究は、以下の制約条件下にある古典的オントロジカルモデルに焦点を当てます。

• 単一状態制約（Single-State Constraint）： 複数の介入（測定文脈）において、1 つの固定されたオント状態空間（$\Lambda$）を再利用すること。
• この空間は、介入に応じてインデックス付け、複製、または精緻化（refinement）されてはならない。
• 文脈への依存性は、状態空間の拡張ではなく、共通のオント状態に対する応答関数（response functions）を通じてのみ媒介されなければならない。

核心的な問い：
「オント状態そのものを超えて追加的な文脈情報を導入することなく、固定された単一のオント状態空間を再利用する古典的モデルで、文脈的依存性を完全に表現できるか？」

2. 手法と理論的枠組み

著者は、オントロジカルモデルの枠組みを情報理論的に再定式化し、以下の要素を定義しました。

• オントロジカルモデルの定義：

  • オント状態空間 $\Lambda$（要素 $\lambda$）。
  • 準備分布 $\mu(\lambda | P)$。
  • 応答関数 $\xi(o | C, \lambda)$（介入 $C$ とオント状態 $\lambda$ が与えられたときの観測結果 $o$ の条件付き確率）。
  • 観測統計：$p(o | P, M) = \int \mu(\lambda | P) \xi(o | M, \lambda) d\lambda$。

• 単一状態オントロジカルモデル：

  • 全ての介入 $C$ に対して $\Lambda$ が固定され、再利用される。
  • $\Lambda$ は介入 $C$ に応じてインデックス付けされない。
  • 全ての統計は $\Lambda$ 上の単一の古典的確率空間から生成される。

• 文脈情報の定義：

  • オント状態 $\lambda$ に符号化できない、観測統計における文脈的依存性を説明するために必要な追加情報の量。

3. 主要な結果：情報理論的ノー・ゴ定理

本研究の中心的な成果は、以下の定理 1として定式化された情報理論的ノー・ゴ定理です。

定理 1（単一状態オントロジカルモデルのための情報理論的ノー・ゴ定理）：
ある古典的オントロジカルモデルが以下の条件を満たす場合、

1. 単一のオント状態空間 $\Lambda$ を全ての介入で再利用する。
2. $\Lambda$ を介入 $C$ に応じてインデックス付けまたは精緻化しない。
3. 観測統計が $\Lambda$ 上の単一の古典的確率空間から生成される。

もし観測統計が文脈的依存性を示すならば、そのモデルは $\lambda$ に含まれない追加的な文脈変数 $M$ を導入する必要があり、以下の不等式が成り立ちます。

$$H(M) \geq I(C; O | \lambda) > 0$$

ここで、

• $C$：介入（測定文脈）
• $O$：観測可能な結果
• $\lambda$：オント状態
• $I(C; O | \lambda)$：条件付き相互情報量（オント状態 $\lambda$ を与えたとき、介入 $C$ が結果 $O$ に与える情報の量）
• $H(M)$：文脈変数 $M$ のエントロピー

解釈：
この不等式は、文脈的依存性がオント状態 $\lambda$ だけでは完全に媒介できず、$\lambda$ には含まれていない追加的な文脈情報が必要であることを示しています。つまり、「単一状態の再利用」という制約下では、文脈性を再現するために不可避な情報コスト（$I(C; O | \lambda)$）が発生するという結論です。

4. 具体的な構成例と量子理論との対比

• 構成例（Constructive Example）：
  3 つの介入 $c \in \{1, 2, 3\}$ と二値の結果 $o \in \{0, 1\}$ を持つ系を考察しました。任意の 2 つの介入の組み合わせには整合的な周辺分布が存在しますが、3 つ全ての結果に対する同時分布は存在しない（グロブール・コンシステンシーが破れている）ような設定です。
  単一状態制約下では、どの非整合的な周辺構造が実現しているかを特定するために、追加の文脈情報が必要となり、これが定理の obstruction（障害）を具体的に示しています。
  例として、決定論的オント状態 $\lambda$ と介入依存ビット $f(C)$ を用いたモデル $O = \lambda \oplus f(C)$ を提示し、$\lambda$ が既知であっても $C$ が不明なら $O$ が予測できない（$I(C; O | \lambda) > 0$）ことを示しました。

• 量子理論がなぜこの障害を回避するか：
  量子理論は、この定理の前提である「全ての測定結果が単一の古典的オント変数から生成される」という仮定を満たしません。

  • 量子力学では、ボルン則 $p(o|C) = \text{Tr}(\rho E(C)_o)$ に従い、測定結果は単一の古典的確率空間に埋め込まれているとは仮定されません。
  • 量子状態 $\rho$ は文脈を超えて再利用されますが、測定結果は「単一の古典的オント変数」によって決定されるわけではありません。
  • したがって、量子理論は「単一古典確率空間」という表現的制約を緩和することで、追加的な文脈変数を必要とせずに文脈性を自然に表現しています。

5. 意義と波及効果

1. 文脈性の新たな解釈：
   文脈性は、観測量の代数的構造に起因するものではなく、**「古典的表現における情報再利用の限界」**に起因する根本的な情報理論的制約として再定義されました。これは、Kochen-Specker 定理などの既存の結果を補完する新しい視点です。

2. 適応的知能システムへの示唆：
   メモリや表現能力が制限された適応的システム（認知科学、AI、生物学的システムなど）において、固定された内部状態空間を再利用しながら複数の文脈に対処する場合、古典的な確率論的アプローチでは不可避な情報コストが発生します。

   • 文脈感受性や順序効果などは、実装の欠陥ではなく、「単一状態の再利用」という表現的制約に起因する必然的な結果として理解できます。
   • 非古典的な確率フレームワークは、表現リソースを増やすことなく内部整合性を保つための原理的な手段となり得ます。

3. 表現論的アプローチ：
   この結果は、物理的ダイナミクスや学習則に依存せず、純粋に「表現（Representation）」の構造から導かれたものです。古典的オントロジカルモデルの限界を、情報理論的な観点から明確に定式化しました。

結論

Song-Ju Kim 氏は、単一のオント状態空間を再利用する古典的モデルが、文脈的依存性を再現するために不可避な情報コスト（条件付き相互情報量）を負うことを証明しました。これは、文脈性が古典的表現の根本的な限界であることを示す情報理論的ノー・ゴ定理であり、量子理論がなぜこの制約を回避できるのか、そして適応的システムにおける表現の限界をどのように理解すべきかについての新たな基礎を提供しています。