なぜ「分岐する世界」では通常のベイズ更新が機能しないのか
量子力学のEverett解釈や、Sleeping Beautyのような自己位置づけ問題では、「私はいま世界のどこにいるのか」という問いが本質的な不確実性を生む。通常のベイズ条件付けは「世界の状態について新しい情報を得る」ことを前提にするが、世界そのものが分岐し複数の観測者コピーが生じる状況では、その前提が崩れる。本記事では、こうした分岐環境において信念をどのように更新すべきかを、中心化された世界モデルと分岐版ベイズ更新の枠組みから整理する。
中心化された世界モデルとは何か
Lewis の de se 信念論から出発する
通常の命題論理では、「雨が降っている」という命題は誰にとっても、いつでも同じ真偽を持つ。しかし現実の認識者は常に「自分はいまどこにいるか」「自分はいまいつなのか」という自己位置づけ的（de se）な信念を持つ。David Lewis が提唱した「中心化された世界（centered worlds）」は、通常の可能世界に「中心」——個体と時点の組——を付加することで、この de se 的内容を表現する装置である。
具体的には、「私はいま午前9時にいる」という信念は、未中心化の命題（「どこかに午前9時が存在する」）では表せない。中心化された世界の枠組みを使えば、「この世界のこの個体のこの時点」という固有の立ち位置から信念を記述できる。
時間発展が問題を引き起こす
ところが、この装置を通常のベイズ条件付けと組み合わせると困難が生じる。Meacham（2008）が指摘した問題は明快だ。「いま午前9時だ」と確信していたエージェントが1分後も同じ信念を維持してしまうという不適切な帰結が導かれうる。自己位置づけ命題の真偽は時間とともに変化するため、通常の条件付けでは「世界自体が変わる」状況を正しく扱えない。Schwarz（2017）はこの点をさらに精緻化し、中心化命題に対する通時的規範としてシフト付き条件付けを提案している。
分岐イベントが信念更新に与える根本的影響
Everett解釈における自己位置不確実性
量子力学のEverett（多世界）解釈では、測定のたびに世界が分岐し、異なる測定結果を持つ複数の「枝」が並立して実在すると考える。ここでの不確実性は「どの結果が起きるか」ではなく、**「分岐後の自分はどの枝にいるのか」**という自己位置的な問いになる。
Wallace（2002）やSaunders＝Wallace（2008）は、分岐世界でも通常の未来不確実性の意味論を構成できると主張した。しかし信念更新の規則としては、単純に従来のベイズ条件付けを適用することはできない。なぜなら証拠を「どこかの枝で結果Uが起きた」という未中心化命題として捉えるか、「この枝の私が結果Uを観測した」という中心化命題として捉えるかで、信念更新の結果が根本的に変わるからだ。
Greaves による「自動確認問題」の指摘
Greaves（2007）は、**素朴な条件付け（Naive Conditionalization）**がもたらす深刻な問題を明示した。分岐理論（BW）では観測可能なすべての結果がどこかの枝で実現するため、任意の観測を「BW を支持する証拠」として解釈できてしまう。具体的には次のように起きる。
単一世界理論（ST）と分岐理論（BW）を比較するとき、証拠を「どこかの枝でUが起きる」という未中心化命題として扱えば：
- ST における P(U が起きる) = p（例：0.7）
- BW における P(どこかの枝でUが起きる) = 1（必ず実現）
この非対称性により、Uを観測するたびにBWへの信念が増大し続ける。これを Greaves は「自動確認（automatic confirmation）」と呼び、科学的確認理論として不合理だと批判した。
Bradley の「中心化証拠」による解決
Bradley（2011）はこの問題の診断として、学んだ証拠を正しく中心化命題として表現することを提案した。「この枝の私がUを観測した」という中心化証拠を用いれば：
- ST における中心化 P = p
- BW における中心化 P = p（自分がその枝にいる確率として計算）
こう扱えば、観測可能同値な二つの理論の事後オッズは観測によって変化しない。Wilson（2014）は、この自動確認回避の診断には同意しつつ、Sleeping BeatuyとEverett確認には「chance（客観的確率）の有無」という非対称性がある点を付け加えた。
分岐版条件付けの数学的定式化
中心化状態空間と信念の表現
有限分岐・離散時間の最小モデルを採用する。未中心化の世界集合を U とし、時刻 t における各世界 u の「中心」の集合を C_t(u) とする。全中心化状態空間は：
C_t = ∪ C_t(u) （u ∈ U の直和）エージェントの時刻 t の信念は、この C_t 上の確率分布 P_t で表される。
分岐核の導入
分岐イベントによる時間発展を、C_t から C_{t+1} への Markov 核 K_t で表す。K_t(c, c’) は「時刻 t の中心 c から、次の段階の中心 c’ へ信念質量がどれだけ流れるべきか」を表すパラメータだ。Everett文脈では Born 重みがその特殊例になる。これはSchwarzのシフト操作とMüller（2005）の遷移確率を統一的に一般化したものと理解できる。
二段階更新：予測と条件付け
分岐版条件付けは次の二段階から成る。
第1段階（予測段階）： 分岐核 K_t で信念を前進させる
P̃_{t+1}(c') = Σ_c P_t(c) · K_t(c, c')第2段階（観測段階）： 中心化証拠 E_{t+1} で条件付ける
P_{t+1}(A) = P̃_{t+1}(A ∩ E_{t+1}) / P̃_{t+1}(E_{t+1})この二段階の分離はBradleyも強調している。「分岐後だがまだどの枝か知らない」段階（t_1）と、「どの枝かを知った」段階（t_2）を区別することが、整合的な更新のために不可欠なのだ。通常のベイズ更新が「情報だけが増える」と仮定するのに対し、この枠組みは世界の分岐・時間推移を核 K_t で先に反映し、その後に自己位置を含む証拠で条件付けるという構造を持つ。
分岐版条件付けが満たす整合性条件
確認すべき5つの要件
信念更新規則が分岐環境で合理的であるためには、以下の整合性条件を満たす必要がある。
確率的一貫性 は最低限の要件であり、更新後も確率分布の公理（非負性・全体和1・加法性）が保たれることを指す。分岐版条件付けはMarkov核の行和1という性質から、これを自動的に満たす。
古典極限への還元性 とは、分岐が起きない（決定的な）場合に通常のベイズ条件付けへ還元されることを意味する。分岐核が各中心に対して一意の後継を与える場合、この規則はSchwarzのシフト付き条件付けと一致し、さらに中心化命題の真理値が変化しない場合には通常の条件付けそのものになる。
微細分岐不変性 は特に重要な条件だ。ある後継中心 c* を、同じ観測と同じ将来構造を持つ二つの微細中心 c_1, c_2 に分割し、核の質量を保存させても、粗視化された命題の事後確率は変わらない。つまり「枝の描き方の細分化」だけでは信念が変化しない。この性質は枝数カウントが破るものであり、Greaves が Everett 文脈で枝数がよく定義できないと指摘した問題に直結する。
経験的同値理論の自動確認の不在 は、Greaves が素朴な条件付けを批判した核心であり、先述した中心化証拠の採用によって保証される。
配慮重みとの時間整合性 とは、信念更新の核 K と決定理論的な「配慮（caring measure）」の核 M が一致するとき、事前の行為計画と事後の自己評価がBellman的に整合することを意味する。Greaves（2004）は、Everettianエージェントは将来のすべての分岐枝をその振幅の二乗に比例して care すべきだと主張しており、M = K の仮定がその要請を形式化する。
三規則の比較：数値シミュレーション
ST（単一世界理論）とBW（分岐理論）を比較し、観測確率を p = 0.7 として n 回連続でUを観測した場合の事後確率 P(BW) の変化を比較する。
| 試行数 n | 加重 branching P(BW) | 素朴な存在規則 P(BW) | 枝数カウント P(BW) |
|---|---|---|---|
| 1 | 0.500 | 0.588 | 0.417 |
| 2 | 0.500 | 0.671 | 0.338 |
| 5 | 0.500 | 0.856 | 0.157 |
| 10 | 0.500 | 0.973 | 0.033 |
加重 branching conditionalization では、ST と BW が同じ中心化尤度を持つため、事後確率は常に 0.5 に保たれる。素朴な存在規則は試行を重ねるほど BW を確実視し（自動確認）、枝数カウントは逆に BW を不当に不利にする。経験的同値性を維持し、微細分岐不変性を満たすのは加重 branching conditionalization だけであることが数値的にも確認できる。
更新規則と決定理論的配慮の整合性
Greaves の caring measure 解釈
Greaves（2004, 2007）は、Everettの確率を枝への「care の度合い」として読むことを提案した。エージェントが行為 a を評価するとき、将来のすべての分岐枝を重み付きで考慮するというのが caring measure の発想だ。信念側の分岐核 K と配慮側の核 M が一致するとき（M = K）、行為の事前期待効用は：
EU_t(a) = Σ_c P_t(c) · Σ_{c'} K_t(c, c') · u(a, c')となり、反復期待値法則によって事前計画と事後自己の評価が整合する。これはDeutsch（1999）→Wallace の量子意思決定論的骨格とも適合し、信念更新と実践的合理性を単一の枠組みで捉える可能性を示す。
自己位置確率をめぐる論争の現在地
Sebens＝Carroll（2018）は、観測登録前の自己位置不確実性からBorn則を導く路線を提示した。一方でKentや最近の批判者は、純粋に de se な信念には強い合理的制約が存在しない可能性を指摘している。Vaidman（2025）は、自己位置確率を操作的に限定すれば有意味だとし、主体的・手続き的概念として再構成する方向を提案している。
現在の論争の焦点は「自己位置的確率を完全に排除するか否か」ではなく、どの範囲で、どの更新規則の下で、それを科学的推論へ組み込むかに移っている。本記事の枠組みはこの問いへの一つの回答を与えるものだ。
Sleeping Beauty問題との接点
古典的自己位置づけ問題への応用
Sleeping Beauty問題とは、眠らされたエージェントが覚醒時に「今は月曜か火曜か」「コインは表か裏か」を問われる思考実験だ。コイン投げの結果と目覚め回数（裏のとき2回）が絡み合うため、信念更新の正しい規則が問われる。
この問題は、分岐版条件付けの文脈では次のように読み替えられる。エージェントの中心化状態空間には「月曜日の私」と「火曜日の私」という異なる中心が含まれ、分岐核はコイン投げの確率から決まる。覚醒という証拠を中心化命題として正しく扱えば、Halferの「1/2 説」とThirderの「1/3 説」が分岐核の設定（とりわけ配慮重みの解釈）の違いに還元されうることが示せる。Wilson が指摘するように、Sleeping BeautyとEverett確認の間には「chance の有無」という重要な違いがあるものの、自己位置的不確実性の更新という構造は共通だ。
残された課題と理論的限界
分岐単位の同定問題
本枠組みの最大の限界は、分岐核 K_t の物理的起源を未指定のままにしていることだ。Everett文脈では Wallace が枝の emergent 性を強調し、Greaves や Schwarz も枝数そのものが確定的に定義できないことを認めている。K_t は「所与の分岐核」として形式的に振る舞うが、量子的デコヒーレンスの具体的プロセスとどう対応するかは別途検討が必要だ。
Chance と分岐の非対称性
Wilson（2014）が強調するように、Sleeping Beauty のコイン投げは chance プロセスに支配されるが、Everett解釈対単一世界理論の真偽は通常 chance ではない。この違いは、どの自己位置情報が「許容可能（admissible）」な証拠として確認論に入れられるかに影響する可能性があり、本枠組みが扱う chance のメタ理論は未指定のままだ。
Belnap の分岐時空との接続
論理学・形而上学の側では、BelnapのBranching Space-Time（BST）が出来事の部分順序・歴史・choice point を基礎概念として与え、非決定論（indeterminism）を局所的に表現する。Müller（2005）はBST上で遷移確率を定式化し、枝数ではなく transition probabilities が分岐確率の基礎であることを示した。本記事の分岐核 K はこの発想に対応しており、BST の形而上学を取り込んだ拡張は今後の有望な方向性だ。
まとめ：分岐版ベイズ更新の核心
本記事の要点を整理する。
中心化された世界モデルを分岐環境で動学化するには、中心化状態空間上の確率分布と分岐核 K を導入し、更新を「分岐核による予測段階」→「中心化証拠による条件付け段階」の二段階で行うことが最も整合的だ。この分岐版条件付けは、非分岐では通常のベイズ条件付けに還元し、枝の微細分割に対して不変であり、経験的に同値な理論を自動的に差別しない。さらに配慮核を一致させれば、決定理論とも時間的に整合する。
対照的に、素朴な存在条件付けはEverett理論の自動確認を招き、枝数カウントは微細分岐不変性と経験的同値性を破る。合理的な分岐版ベイズ更新規則は「枝の存在」ではなく「中心化された観測の尤度」と「重み付き分岐核」によって定義されなければならない。
コメント