The Distribution Postulate in Algorithmic Bohmian Mechanics

本論文は、標準的なボルンの統計を標準的な量子実験に対して保証し、かつ決定論的な枠組みにおける量子確率の性質を解明するために、アルゴリズム的ランダムネスを用いて、ボーム力学における分布公理を客観的な制約法則として定式化することを提案する。

要約

宇宙を、完璧に振り付けられた巨大なダンスとして想像してみてください。**ボーム力学（Bohmian Mechanics）**と呼ばれる理論では、すべての粒子は特定の場所を持ち、劇中のダンサーのように特定の経路を辿ります。ダンスそのものにランダム性は存在しません。もし、すべてのダンサーがどこからスタートし、音楽（「波動関数」）がどのように動くかを正確に知っていれば、彼らがこれから踏むであろうあらゆるステップを予測することができます。

しかし、ここに問題があります。私たちは、ダンサーたちがどこからスタートしたのかを知りません。この理論を、私たちが現実世界で目にする現象（例えば、コインが表になるか裏になるかの頻度など）と一致させるために、物理学者は、時間の最初期における特別なルールを想定しなければなりません。このルールは**分布公理（Distribution Postulate）**と呼ばれます。

伝統的に、このルールは少し曖昧です。それはまるで、「神様が魔法のサイコロを振ってダンサーたちの開始位置を決め、そのサイコロは量子力学の有名な『ボルンの規則』に合うように重みが付けられていた」と言っているようなものです。しかし、「神様がサイコロを振る」とは、本当は何を意味しているのでしょうか？ それは真の物理法則なのでしょうか、それとも単なる推測なのでしょうか？

本論文は、**アルゴリズム的ランダムネス（Algorithmic Randomness）**という数学の一分野を用いて、その開始ルールをより鮮明に理解するための新しい方法を提案しています。以下にそのアイデアの構成を示します。

1. 「ランダム性」の問題

私たちの日常生活において、ランダムな数列（コイン投げの連続など）とは、パターンが見当たらないものを指します。もし「表、表、表、表……」と100万回続けば、それはランダムではありません。逆に、無秩序で予測不能に見える混合状態であれば、それはランダムです。

しかし、数学において「ランダム」は扱いにくい概念です。ある数列は、一見ランダムに見えても、スーパーコンピュータなら最終的に見つけ出せてしまう隠れたパターンを持っている可能性があります。著者らは、客観的で、かつ破ることのできない定義としてのランダム性を求めています。そこで彼らは、**マルチン・レーフ・ランダムネス（Martin-Löf randomness）**という概念を使用します。

マルチン・レーフ・ランダムネスを「混沌のゴールドスタンダード（最高基準）」と考えてみてください。ある数列がマルチン・レーフ・ランダムであるとは、その数列が、コンピュータが実行可能なあらゆるパターンのテストをすべてパスすることを意味します。それは単に「無秩序に見える」のではなく、数学的に圧縮することも予測することも不可能な状態を指します。それは「パターンの不在」に関する究極の定義なのです。

2. 新しいルール：アルゴリズム的分布公理

著者らは、「神様がサイコロを振った」という曖昧な概念を、厳格な数学的法則に置き換えることを提案しています。

宇宙の初期状態は、マルチン・レーフ・ランダムである。

「粒子は50/50の確率で配置される」と言う代わりに、彼らはこう言います。「すべての粒子の初期位置は、量子波動関数に対して、いかなる計算アルゴリズムに対しても完全にランダムに見える点である。」

比喩：
街の巨大で霧に包まれた地図（「構成空間」）を想像してください。霧は場所によって濃淡があります（これは量子波動関数の $|\psi|^2$ を表します）。

• 旧来の視点： 「霧の中のどこかを選びなさい。ただし、霧の濃さに応じて選びなさい」と言います。
• 新しい視点 (aBM)： 「霧に対してアルゴリズム的にランダムな場所を選びなさい」と言います。これは、選ばれた地点が、隠れた計算可能なパターンに従っていないことを意味します。それは、霧の全体的な形状には適合しているものの、コンピュータが事前に予測したり記述したりすることが決してできない地点なのです。

3. なぜこれが重要なのか：確実性 vs 確率

標準的な量子力学では、通常「表が出る確率は50%である」と言います。これは推測です。

この新しい枠組み（アルゴリズム的ボーム力学、または aBM）では、結果はより強力なものになります。初期状態がマルチン・レーフ・ランダムであることが保証されているため、著者らは以下を証明しています。

• もし長い一連の実験（電子のスピンを測定するなど）を行うならば、その結果は、単に「おそらく」50/50の規則に従うだけでなく、
• 長期的には、必ず50/50の規則に従うことになります。

これは、「表が半分くらい出ると思う」と賭けるのと、「コインを投げ続ければ、表と裏のパターンは完璧かつ客観的にランダムになることが数学的に保証されている」と言うことの違いです。

4. 「計算可能性」という制約

論文には、一つの重要な条件が付加されています。この保証は、**計算可能（computable）**な測定に対してのみ有効です。

• 比喩： ダンサーを測定する機械を想像してください。もしその機械の指示書が、コンピュータが書き出せるようなもの（「計算可能な」測定）であれば、その結果は完全にランダムであり、標準的な規則に従います。
• 著者らは、私たちが実際に構築できるあらゆる標準的な量子実験（それらはすべて計算可能である）において、このルールが完璧に機能することを示しています。

5. 「神」と「偶然」について

本論文は、神がサイコロを振る様子を想像する必要はないと主張しています。代わりに、私たちが目にする「偶然」は、初期状態の複雑性の反映なのです。

• 宇宙は、あまりにも複雑でパターンレスな（マルチン・レーフ・ランダムな）状態で始まりました。そのため、結果として偶然のように見えるのです。
• これにより、「分布公理」は曖昧な示唆から、硬固で客観的な自然の法則へと変わります。「宇宙は、あらゆるランダム性のテストに合格する状態から始まった」という法則です。

まとめ

著者らは、量子物理学における曖昧なルール（「粒子はランダムな場所からスタートする」）を、精密な数学的定義（「粒子はアルゴリズム的にランダムな場所からスタートする」）へと研ぎ澄ませました。

これを行うことで、もし宇宙がこのように始まったのであれば、私たちの実験結果は標準的な量子力学の規則に必ず従うことを示しています。これは「確率」（何が起こるかについての推測）を、「典型性（typicality）」（起こる事象が、ランダムな開始に対して数学的に最も正常な結果であるという保証）へと置き換えるものです。

要するに： 宇宙はサイコロを振っているのではありません。宇宙は、その結果が必ず公平なゲームに見えるほど、完璧に混沌としたスタートラインから始まったのです。

技術概要

技術的要約：アルゴリズム的ボーム力学における分布仮説

問題提起
ボーム力学（BM）は、粒子の位置に関する標準的な量子力学の実証的予測を再現する決定論的な理論である。しかし、前方への確率（ボルンの規則）を生成するためには、BMは分布仮説として知られる特別な統計的境界条件を必要とする。すなわち、初期時刻 $t_0$ において、粒子構成 $Q$ の確率密度は $\rho(Q, t_0) = |\psi(Q, t_0)|^2$ でなければならない。

Barrett、Chen、およびLopez-Wildが取り組んでいる中心的な問題は、この仮説の存在論的および認識論的なステータスである。標準的なBMにおいて、この分布はしばしば無知を反映した認識論的確率、あるいは「真に確率的な手続き」（例：神による乱数生成器）を規定する客観的な物理法則として扱われる。著者らは、この「客観的な偶然性」の性質が不明確であることを指摘している。具体的には、曖昧な「典型性（typicality）」の概念や説明のつかない確率過程に依存することなく、ボルンの統計を保証する精密かつ客観的な制約法として、いかにしてこの仮説を定式化するかという点が曖昧である。

方法論
著者らは、アルゴリズム的ランダムネスの理論、具体的にはマルチン・レーフ（ML）ランダムネスを利用して、分布仮説を再定式化する**アルゴリズム的ボーム力学（aBM）**を提案している。

1. アルゴリズム的ランダムネスの枠組み: 論文では、ある数列（または点）が特定の測度に対してすべての有効な統計テスト（マルチン・レーフ・テスト）を通過する場合にランダムであると定義される、MLランダムネスの定義を採用している。ある数列がMLランダムであるとは、それが（計算可能な開集合の計算可能な列によって定義される）有効に記述可能な零集合に含まれないことを意味する。
2. 計算可能な確率空間: 著者らは、MLランダムネスをバイナリ数列から量子系の構成空間へと拡張している。彼らは計算可能なポーランド空間および計算可能な確率測度の枠組みを利用している。ボルン測度 $\mu_\psi$（波動関数 $|\psi|^2$ によって誘導される）は、構成空間 $X$ 上の計算可能な測度として扱われる。
3. 層状計算可能性（Layerwise Computability）: 測定のダイナミクスを扱うために、著者らは層状計算可能関数を導入している。関数が層状計算可能であるとは、各「層」（ランダムネス欠損によって定義されるMLランダムな点の集合）において計算可能であることを指す。これにより、著者らは測定の列を、ランダムネスの特性を保持する計算可能な写像として表現することができる。
4. アルゴリズム的分布仮説: 初期条件を確率過程として仮定する代わりに、著者らは初期条件を客観的な制約として定義する。すなわち、実際の初期構成 $x_0$ は、ボルン測度 $\mu_\psi$ に関するMLランダムな点の集合（$MLR_{\mu_\psi}$ と表記）の要素でなければならない。

主要な貢献と結果

• 分布仮説の定式化: 本論文は、分布仮説の精密かつ客観的な定義を提供している。すなわち、「実際の初期構成 $x_0$ は、ボルン測度 $\mu_\psi$ に関してマルチン・レーフ・ランダムである」というものである。これは、「典型性」という曖昧な概念を、「$x_0$ はあらゆる有効に記述可能な $\mu_\psi$-零集合の外側にある」という厳密な数学的条件へと置き換えるものである。
• ランダムネスの保存: 著者らは、初期構成が $\mu_\psi$ に関してMLランダムであれば、層状計算可能な測定の列によって生成される測定結果の列は、押し出し測度に関してMLランダムになることを証明している。
  • 定理2: $x$ が $\mu_\psi$-MLランダムであり、$\{f_n\}$ が一様計算可能な測定の列である場合、結果の列 $(f_1(x), f_2(x), \dots)$ は、誘導された結合測度 $\mu_\omega$ に関してMLランダムである。
• ボルン統計の保証: 確率1でボルン統計を予測する（零集合内の非典型的な軌跡を許容する）標準的なBMとは異なり、aBMはすべての層状計算可能な実験に対してボルン統計を保証する。
  • 系1および2: 同一の準備が行われた系、あるいは単一の系に対する繰り返し測定（例：xスピンとyスピンの交互測定）の場合、結果の相対頻度の極限は、高い確率ではなく「確実性」をもって、正確にボルンの確率（例：スピンアップ/ダウンに対して1/2）となる。結果の列はMLランダムであり、定義により大数の法則を満たす。
• 単一系問題の解決: 著者らは、単一のランダムな数列によって決定される初期条件が、同一の系に対する異なる観測量に対して正しい統計を生成できない可能性があるという、従来の「トイ・モデル」の構築における欠点を指摘している。測定を層状計算可能な関数に限定することで、aBMは初期構成のランダムネスが異なる種類の測定（例：スピン方向の交互変化）に対しても保持されることを保証し、任意の計算可能な部分列に対して正しい統計が得られるようにしている。

意義と主張
本論文は、aBMが、決定論的理論における量子確率の理解を、認識論的な無知や説明のつかない確率法則ではなく、客観的なアルゴリズム的制約に根ざすものとして明確化できると主張している。

• 客観的な偶然性: 分布仮説は、初期構成が量子的な測度に対して「有効に記述可能な規則性を持たない」ことを規定する、客観的な自然法則として再解釈される。
• より強い予測: 著者らは、aBMが単なる「確率的な予測」ではなく、「統計的予測（MLランダムネスの保証）」を行うことを指摘している。標準的なBMはボルン統計を確率1で予測するが、aBMは（初期構成がMLランダムであると仮定すれば）実際の世界に対してそれを保証する。
• 認識論的接続: 論文は、もしエージェントの信条が交換可能（測定の順序が重要ではない）であり、かつaBMを受け入れるならば、ド・フィネットの表現定理によって、エージェントは測定結果に対して標準的な単発のボルン信条を割り当てざるを得なくなることを論じている。したがって、aBMは、交換可能な信念を持つエージェントに対して標準的な量子確率的予測を回収する。

著者らは、このアプローチが、典型性への非公式な訴えを、数学的に精密な客観的制約へと置き換えることで、アルゴリズム的ランダムネスがいかに物理法則の内容を指定するのに役立つかを示す具体的な例を提供すると結論づけている。また、部分系の条件付き測度に関するMLランダムネスの保存を分析するにはさらなる研究が必要であることを認めつつも、検討された実験については、本フレームワークが標準的な量子統計的予測を正常に保証することを示している。