Logical Dependence of Physical Determinism on Set-theoretic Metatheory

宇宙の背後に隠されたコード

渦巻く銀河、跳ねるボール、あるいはコンピュータチップのような、複雑なシステムの未来を予測しようとしているところを想像してみてください。物理学において、私たちは通常、もしルールと初期位置を知っていれば、未来は固定されていると考えます。これは**決定論（determinism）**と呼ばれます。宇宙は巨大で完璧な時計仕掛けの機械のようなものであり、一度ゼンマイを巻けば、毎回全く同じように動くという考え方です。

しかし、これらの予測を行うために、物理学者は**集合論（set theory）**と呼ばれる隠れた基礎に依存しています。集合論を、数え方、グループ化、そして測定の仕方を規定する究次的なルールブックだと考えてください。それは「数学の背後にある数学」です。長い間、科学者たちはこのルールブックは単なる退屈で抽象的な道具であり、現実世界の物理学には影響を与えないと考えてきました。彼らは、どのバージョンのルールブックを使おうとも、ブラックホールの回転や磁石の冷却プロセスが変わることはないと考えていました。この信念は「孤立性仮説（insularity thesis）」と呼ばれます。つまり、数学の深く埃っぽい隅っこは、混沌とした刺激的な物理の世界からは隔離されているという考えです。

しかし、そこには落とし穴があります。数学における最も高度な問いのいくつかは、「無限」を非常にトリッキーな方法で扱います。無限に関するルールブックを書くには、主に2つの方法があります。一つはV=Lと呼ばれる、非常に厳格でミニマリストな方法です。これは、ステップごとに構築できるもの以外に「余分な」無限集合は存在しないとするものです。もう一つはLC/PDと呼ばれる、より寛容な方法です。これは、数学をよりスムーズかつ予測可能に機能させるための、巨大で神秘的な無限構造を許容します。数十年にわたり、数学者たちはどちらのルールブックが「真実」であるかを議論してきましたが、物理学者はそれが自分たちの仕事に影響を与えるとは考えず、ほとんど無視してきました。

この論文の大きな発見

ジャスティン・クラーク＝ドーン（Justin Clarke-Doane）によって書かれたこの論文は、その仮定に異を唱えています。著者は、「孤立性仮説」は間違っていると主張しています。これら2つの数学的ルールブック（V=L 対 LC/PD）のどちらを選択するかによって、宇宙が決定論的であるかどうかが実際に変わる可能性があると示唆しているのです。

これを理解するために、あなたはミステリーを解こうとしている探偵だと想像してください。あなたには一連の手がかり（物理法則）と、容疑者（宇宙の初期状態）があります。通常の探偵小説では、手がかりは一つの明確な解決策へと導くはずです。しかし、クラーク＝ドーンは、ある場合には「手がかり」そのものが、どのルールブックを使って読み解くかに依存してしまうことを示しています。

論文では、これを3つの異なる「探偵の階層」を通じて探求しています。

1. 「コヒーレンス（整合性）」の階層：その手がかりは実在するか？
時として、物理法則は特定の形状やパターンに基づいて何かを計算することを求めます。厳格なルールブック（V=L）では、そのパターンがあまりにも奇妙でギザギザしているため、定義されたサイズや「測度（measure）」を持たないことがあります。それは、見るたびに形を変え続ける雲の重さを量ろうとするようなものです。もしパターンが「測定可能」でなければ、数学は破綻し、法則は不整合（incoherent）になります。しかし、寛容なルールブック（LC/PD）では、同じパターンが滑らかで測定可能であり、法則は完璧に機能します。論文は、特定の数学的設定において、法則がある宇宙の数学では有効であるが、別の宇宙では壊れていることを示しています。

2. 「ユニークネス（一意性）」の階層：答えは一つか、それとも複数か？
決定論は通常、唯一の未来があることを意味します。しかし、この論文は、あるシステムにおいては、起こりうる未来の数がルールブックに依存することを示しています。厳格なルールブックでは、システムは2つの異なる安定した結果（例えば、左または右に転がるボール）を持つかもしれません。一方、寛容なルールブックでは、同じシステムが唯一の結果（ボールは左にしか転がらない）を持つかもしれません。数学は物理的な設定を変えるのではなく、その設定が許容する解の数を変えるのです。

3. 「アイデンティティ（同一性）」の階層：それは同じ出発点か？
これが最もトリッキーな部分です。ケーキのレシピがあると想像してください。あるルールブックでは、そのレシピはある特定のケーキを記述しています。しかし、もう一方のルールブックでは、全く同じ言葉が、完全に異なるケーキ（あるいは、ケーキそのものが存在しないこと）を記述しています。論文は、物理システムの「初期データ」が、両方のルールブックにおいて同じものであるとは限らないと主張しています。したがって、たとえ同じ条件から始まっていると思っていても、実際には異なる条件から始まっており、それが異なる未来をもたらす可能性があるのです。

「ロバストネス（頑健性）」テスト：それは成立するか？

論文は、こうした思考実験を超えてさらに深く踏み込みます。物理学者が実際に世界でどのように決定論を用いているかを探ります。物理学者は単なる完璧な理論的シナリオには関心がありません。彼らが求めているのは**ロバストネス（頑健性）**です。彼らは、「もし測定方法を変えたり、計算のために少し異なるグリッドを使用したりしても、結果は変わらないだろうか？」を知りたいのです。

著者は、これらの「ロバストネス」に関する問いを投げかけると、その答えがしばしば$\Sigma^1_2$と呼ばれる数学的領域に辿り着くことを証明しています。これは、質問が十分に複雑であるため、標準的な数学のルールブック（ZFC）では答えを決定できないことを意味する、高度な言い回しです。それはまるで、「私にはこのケースを裁くための法律が足りません」と言う裁判官のようなものです。

論文は、この点を証明するために2つの主要な「コーディング定理」を提示しています。

• イジング磁石のケース： 著者は、固定されたルールを持つ、スピンの格子を用いた特定の磁石モデルを構築しました。彼らは、この磁石が予測可能なパターンに落ち着くかどうかを問うことが、標準的な数学のルールブックでは答えを出せない問いであることを示しました。厳格なルールブックを使用する場合、磁石の振る舞いを記述するパターンは**非可測（non-measurable）です（つまり、標準的な確率に必要な規則性が欠如しています）。一方で、寛容なルールブックを使用する場合、同じパターンは普遍的に可測（universally measurable）**となります（つまり、適切に整っており規則的です）。磁石自体は変わっていません。変わったのは、その記述の数学的な「滑らかさ」だけです。
• ブラックホールのケース： 論文は、回転するブラックホール（カー・ブラックホール）の内部に注目しています。物理学者は、物理法則が「コーシー地平線（Cauchy horizon）」（ブラックホール内部の境界）で崩壊するかどうかを解明しようとします。論文は、そこでの空間を記述するための「標準的な」方法を選ぶ問題が、ルールブックを選ばずには解決できない数学的パズルであることを示しています。厳格なルールブック（V=L）では、標準的な記述（セレクター）を選択することが可能ですが、それは乱雑で不規則なものです。寛容なルールブック（LC/PD）では、合理的な方法で定義可能な標準的な記述は存在しません。ルールがそのようなセレクターの存在を禁じているのです。

これが意味すること（および意味しないこと）

この論文は、自らの主張について非常に慎重です。論文は、宇宙がどの数学的ルールブックを選ぶかによって確実に異なる動きをすると述べているわけではありません。また、新しい物理法則を発見したとも言っていません。

むしろ、論理的な可能性を証明しているのです。物理学者が決定論について実際に語る方法（そのすべての要件であるロバストネス、典型性、および測定を含む）を、特定の数学的モデルに適用した場合、その結果は背景となる数学に依存することを示しています。

著者は、この分野を「リバース・フィジックス（逆物理学）」と呼んでいます。これは「リバース・マセマティクス（逆数学）」に似ています。逆数学が「この定理を証明するために、どのような数学的公理が必要か？」と問うのに対し、逆物理学は「この物理理論を成立させるために、どのような数学的公理が必要か？」と問うのです。

論文は、「孤立性仮説」は疑わしいと結論づけています。無限に関する深く抽象的な議論は、単なる数学者のためのものではありません。それらは、私たちが物理的世界を理解するための基礎そのものと絡み合っている可能性があるのです。もし物理理論が、標準的な数学では決定不可能な概念に依存しているならば、私たちはその決着をつけるために、新しい物理法則や新しい数学的公理を探さなければならないのかもしれません。論文は、魅力的な問いを残しています。宇宙の決定論とは自然の事実なのでしょうか、それとも、私たちがそれを読み解くために使う目に見えないルールブックに依存しているのでしょうか。