数学世界と物理学世界の対象性をめぐる二十三問── 数学と物理の対応は、いつ「同じ」と言えるのか ──
数学世界と物理学世界の対象性をめぐる二十三問
── 数学と物理の対応は、いつ「同じ」と言えるのか ──
二〇二六年六月二十三日
目次
凡例──言明の強度
序章 対象性という主題
読み方ガイド──急ぐ読者のために
第I部 構造の必要性と規約
· 問1 数体・代数構造の物理的必要性の一般理論 〔未踏〕
· 問2 局所トモグラフィーと複素数の一意性 〔予想〕
· 問3 モノイダル完備化による物理理論の普遍性 〔未踏〕
· 問4 等価と規約を分かつ不変基準は存在するか 〔哲学／未踏〕
第II部 同一性と等価性
· 問5 「同型≠同一」の物理的対応物 〔未踏〕
· 問6 型理論・スタックによる同一視の権限の形式化 〔未踏〕
· 問7 観測可能量としての同一視不変量 〔予想〕
第III部 連続体・無限・計算
· 問8 連続体仮説と物理的連続体の対応 〔哲学／未踏〕
· 問9 無限計算と実在的過程の境界 〔未踏〕
· 問10 計算可能性と物理法則の離散化 〔予想〕
第IV部 確率・観測・採点者の外部性
· 問11 確率振る舞いと観測者の内部性／外部性 〔未踏〕
· 問12 予測者と採点者の分離の一般理論 〔未踏〕
· 問13 「裁定者は内か外か」の形式的モデル 〔哲学／未踏〕
第V部 流れ・変容・時間の矢
· 問14 対称性の破れと時間の矢 〔予想〕
· 問15 単調量とスケール間移送の一般枠組み 〔未踏〕
· 問16 固定点・ソリトンとしての対象性の核 〔予想〕
第VI部 証明・受容・数学的真理
· 問17 IUTの受容と数学的共同体の裁定規則 〔未踏〕
· 問18 証明と説明の二層構造 〔哲学〕
· 問19 公理選択と物理記述の共同進化 〔未踏〕
第VII部 対応の限界と自己記述
· 問20 四次元ヤン＝ミルズの質量ギャップと対象性 〔予想〕
· 問21 双対性・対称性・記述複雑性 〔未踏〕
· 問22 記述複雑性としての「自然さ」の測度 〔未踏〕
· 問23 対象性の自己記述と限界 〔哲学／未踏〕
終わりに──二十三問の地図と今後の第一歩
凡例 ── 言明の強度
本稿は四つの近作（実数のみで構成した量子力学の整合的記述、宇宙際タイヒミュラー理論を読むための「同じ数は同じ数か」という認知補助枠、ペレルマン三論文の物理的概念とIUT読解装置との構造対応、そして判断を事後採点するフォージ・レジャーの設計）を底流として、数学世界と物理学世界の対応＝対象性をめぐる未解決の論点を、ヒルベルトの二十三問に倣って章立てで列挙する。各問の冒頭に、ヒルベルトが講演で問いの熟度を語り分けたのに倣い、言明の強度を四段で付す。すなわち〔確立〕は証明済の定理または確認された事実、〔予想〕は「証明せよ、または反証せよ」と一意に書き下せるほど命題が精密でありながら未決のもの、〔未踏〕はその精密な命題を立てること自体がまだ課題である領域、〔哲学〕は原理的に証明の埒外にある概念上の問いである。〔予想〕と〔未踏〕の別は、問いをそのまま定理の主張文へ変換できるか否か——変換できれば予想、まず正しい定式化を発明する必要があれば未踏——で引く。なお各問の見出しに付す強度は、その問いの未解決な中核の性格を表す。一つの問いのなかに既に確立した部分結果が含まれる場合は、本文中に〔確立〕と注記して中核と区別する。確定と推測を分離するこの規律は、底流の四文書がいずれも採った編集原則であり、本稿もそれを継ぐ。
底流の四文書を一言で結ぶならこうなる。実数版量子力学は「構造は必然か規約か」を、IUT読解枠は「同型は同一か」を、ペレルマン‐IUT対応は「相同は定理か比喩か」を、フォージ・レジャーは「裁定者は内か外か」を、それぞれ別の沃野で問うていた。本稿はこの四つの問いを、対象性という一つの主題のもとに束ね直し、二十三の未踏地として配列する。
序章 対象性という主題
はじめに用語を一つ固定する。本稿で「対象性」とは、数学的対象と物理的実在とのあいだの対応（correspondence）、およびその対応がどこまで観測者非依存の存立——対象としての確かさ——を持つかという二重の問いを指す。これは物理学でいう対称性（symmetry、変換のもとでの不変性）とも、また写像どうしが一対一に貼り合うという狭義の対応性とも区別される。symmetry が問21・問14で副主題として現れる際は、その都度そう明示する。以下この語義のもとで論を進める。
物理学は数学で書かれる。だが「書かれる」とはいかなる関係か。地図が山に対応するように、数学的対象は物理的実在に対応する——この素朴な対応像（対象性）は、しかし二つの方向から揺さぶられてきた。第一の方向は、ある数学的構造が物理にとって必然なのか、それとも便宜にすぎないのか、という問いである。実数版量子力学の最近の結果は、複素数が「不可欠」とされた多体ベル実験の予測すら、テンソル積公準を局所性公準に置き換えれば実数で再現できることを示し、複素数の身分を必然から規約へと引き戻した。第二の方向は、見かけ上「同じ」対象を同じものとして扱ってよいか、という問いである。宇宙際タイヒミュラー理論の読解が突きつけるのは「同型≠同一」——構造として同型であることと、特定の変形プロセスで同一視してよいこととは違う、という一点であった。
この二方向は、突き詰めれば一つの神経に触れている。すなわち、数学的記述と物理的（あるいは数学的）実在のあいだの対応は、いつ・どこまで・誰の権限で「同じ」と言い切れるのか、という対象性の核心である。ヒルベルトは第六問題で「物理学の公理化」を掲げたが、それは対応の受け皿となる数学を整える要請であった。本稿が並べる二十三問は、その第六問題の末裔として、対応そのものの厳密な記述に残された未踏地を測量する試みである。地図の比喩でいえば、本稿は山でも地図でもなく、地図と山を結ぶ写像の側の未解明部分を主題とする。
底流の四文書は、扱う対象こそ量子基礎・数論幾何・微分幾何・予測認識論とばらばらだが、方法において驚くほど近い骨格を共有している。いずれも、構造そのものを発展させる「流れ・変容」を主役に据え、単調量によって一方向性（時間の矢）を確保し、尺度や宇宙を跨いで自由度を移し替え、自己相似な固定点（不変核・ソリトン）を要に置き、最後に終端の不等式や採点へ帰着させる。そして決定的に、いずれも確定事実と解釈と比喩を峻別し、対応の主張がそのまま定理の移送に化けないよう歯止めをかけている。本稿の二十三問は、この共有骨格の関節部に潜む未解決を取り出したものにほかならない。
配置は七部に分かれる。第I部は構造の必要性と規約（問1〜4）、第II部は同一性と等価性（問5〜7）、第III部は連続体・無限・計算（問8〜10）、第IV部は確率・観測・採点者の外部性（問11〜13）、第V部は流れ・変容・時間の矢（問14〜16）、第VI部は証明・受容・数学的真理（問17〜19）、第VII部は対応の限界と自己記述（問20〜23）である。前半三部はおおむね「数学的構造はどこまで物理に食い込むか」を、後半四部は「その対応を誰がいかに裁定するか」を扱い、最終の問23で両者が自己言及の一点へ畳まれる。読者はどの部から入ってもよいが、問13・問16・問23は互いを参照し合う背骨をなす。
ヒルベルトが一九〇〇年のパリ講演で問いを並べたとき、その価値は答えではなく問いの質にあった。良く立てられた問いは、解かれずとも一世紀の研究を方向づける。本稿もまた、解を提示しない。むしろ、漠然と「まだ分かっていない」と語られる対象性の領域を、二十三の精密な問いへ分節し、それぞれに言明の強度を付すことで、どこからが定理で、どこからが予想で、どこからが定式化すら未着手かを、見渡せるようにすることだけを目指す。
四つの底流文書を、もう少し具体的に結んでおく。実数版量子力学は、複素数という構造が物理に必然か規約かを、テンソル積公準と局所性公準の取り替えによって問うた——第I部の主題である。IUTを読むための「同じ数は同じ数か」という枠は、同型と同一の差、数の内部自由度、不変核としての観測量を立て——第II部の主題をなす。ペレルマン三論文とIUTの構造対応は、流れ・単調量・尺度間移送・固定点という骨格を露わにし——第V部の主題となる。そして判断を事後採点するフォージ・レジャーは、予測者と採点者の分離、解決者の外部性、帰属と校正を設計問題として立て——第IV部と第VI部の主題を先取りする。これら四つは別々の沃野で書かれたが、いずれも「対応はいつ・誰の権限で同じと言えるか」という一つの問いの変奏であった。本稿はその変奏を二十三の主題へ展開する。
一つ断っておきたい。本稿は解決の書ではなく、問いの書である。二十三のうち、明日にも証明が現れて決着しうるのは、事実確認を要したごく一部——四次元ヤン＝ミルズの質量ギャップ（問20）やIUTの受容（問17）——にすぎない。残りの多くは、定理が出れば解けるというより、まず正しい問いの立て方そのものを発明せねばならない未踏の段階にある。ゆえに各問の末尾には、可能なかぎり「最初の一歩」——その問いへ向けて今日踏み出せる具体的な定式化や検証——を添えた。漠然と「まだ分かっていない」と語られる領域を、踏み出せる足場のある地形図へ変えることが、本稿の実務的な狙いである。
方法上の約束も改めて述べておく。本稿は確定事実・予想・未踏・哲学という言明の強度を各問に付し、本文中でも〔確立〕と注記して既知の部分結果を中核の未解決から区別する。比喩や構造的相同は、それが比喩であることを明示し、定理の移送と取り違えないよう歯止めをかける。この規律は底流の四文書がいずれも守った編集原則の継承であり、同時に——後に問23で見るように——対応を語る記述が自らの確実性を内側からは保証できないことへの、せめてもの対処でもある。読者は、強度の標識を手掛かりに、どこまでが確かな地面で、どこからが未踏の沼かを、自ら見分けながら読み進めてほしい。
読み方ガイド ── 急ぐ読者のために
各問は専門的な細部に踏み込むが、急ぐ読者は次の三点だけを拾えばよい。第一に、本文中で〔確立〕と注記した部分——その問いについて何が既に分かっているか。第二に、各問の中核——何がまだ問えていない、あるいは正しく問うことすらできていないか。第三に、各問の末尾に置いた「最初の一歩」——今日その問いへ向けて踏み出せる具体的な定式化や検証は何か。冒頭の量子基礎パート（問1〜4）はやや専門的に始まるが、細部を追えなくとも、この三点を辿れば全体の地図は失われない。見出しと本文に付した言明強度の標識——〔確立〕〔予想〕〔未踏〕〔哲学〕——は、どこが定理でどこが問いかを見分けるための、最も簡便な道しるべである。
第I部 構造の必要性と規約
実数版量子力学を起点に、ある数学的構造が物理にとって必然か便宜かを判定する問題系を置く。これは対象性の第一方向——必然性と規約性の境界——に対応する。ここでの合言葉は「等価性は必然性を意味しない」である。二つの記述が同じ予測を与えても、片方が他方より自然でありうる以上、必然と規約を分かつには、等価性の証明を超えた不変な指標が要る。この部の四問——数体の選択、局所トモグラフィー、モノイダル完備化、規約判定——は、その不変な指標を異なる角度から探る。
問1 数体・代数構造の物理的必要性の一般理論 〔未踏〕
物理理論を構成しうる数体は実数体・複素数体・四元数体に限られる（フロベニウスの定理が許す結合的可除代数）が、いずれが物理的に必然かは長く論争されてきた。複素量子力学は標準だが、四元数版（アドラー）も実数版（リビット）も整合的に構成しうる。実数版が多体実験まで複素版と等価に再現できると示された今、問われるのは個別の存否ではなく一般理論である。すなわち、与えられた物理的公準の集合に対して、それを満たす数体・代数構造のクラスを完全に分類し、各構造が「必然（他では不可能）」か「規約（等価な別構造が存在）」かを判定する手続きは存在するか。p進量子力学や、数体の取り替えのもとでの物理法則の不変性という思弁まで含めた、構造選択の分類定理はまだない。
部分的な分類はすでに存在する。ソレールの定理は、ある正則条件を満たす無限次元の直交モジュラー空間の係数体を、実数体・複素数体・四元数体のいずれかへ絞り込む。〔確立〕しかしこれは格子論的公理からの帰結であって、操作的・物理的公準からの分類でも、必然か規約かの裁定でもない。四元数版が合成系でしばしば破綻するのは、非可換性ゆえにテンソル積が素直に定義できないからで、ここに「物理的に許される代数」を選ぶ隠れた規準が露出している。問われるのは、操作的公準の集合から許容代数のクラスへ向かう分類関手と、各枝に必然／規約の標識を付す手続きであり、これは問2・問4と一つの未踏地を共有する。
四元数版の難所は具体的である。ヒルベルト空間の係数を四元数に取ると、二系の合成を与えるテンソル積が一意に定まらない——非可換ゆえ左加群と右加群の区別が生じ、ℍ⊗ℍ を ℍ線形空間として自然に作る標準的方法がない。アドラーはこの障害を回避すべく工夫を凝らしたが、多粒子系・第二量子化の段階で複素版のような透明さは得られなかった。p進量子力学（ヴラディミロフ＝ヴォロヴィチ＝ゼレノフ）は波動関数を p進数体上に定義する整合的理論として存在し、プランクスケールの時空模型で用いられるが、決定的な経験的接点はまだない。ヴォロヴィチの仮説——基本物理法則は数体の取り替えのもとで不変であるべきだ——は美しい指導原理だが、定理ではなく綱領にとどまる。〔未踏〕したがって中核は、「物理的に許される代数」を選ぶ操作的公理（おそらく合成可能性に関する一条）を同定し、そこから許容代数のクラスへ向かう分類関手と、各枝への必然／規約の標識づけを与えることである。これは問6の「数とは何か」、問7の「不変量は対象を回復するか」と同じ地下水脈につながっている。
最初の一歩は、一般確率論（GPT）の枠で書ける。ここでは理論は系の圏として与えられ、各系は状態錐と効果錐を持ち、「数体」は錐の対称性として立ち現れる。決定的な部分結果がある——ケッヒャー＝フィンバーグの定理により、自己双対かつ斉次な錐は形式的に実なジョルダン代数と一対一に対応し、ジョルダン＝フォン・ノイマン＝ウィグナーの分類（一九三四）によってそれは ℝ・ℂ・ℍ 上のエルミート行列、例外的な八元数三次行列、スピン因子に尽きる〔確立〕。すなわち「量子論的な錐」を許す数系は、ジョルダン代数の言葉でほぼ完全に分類されている。残る未踏は、この代数的分類を操作的な必然／規約の裁定へ接続することである。具体的には、合成可能性と可逆連続力学を課したとき錐の自己同型構造が ℂ へ絞られることを操作的に証明し、かつ同じ予測を与える別数体上のGPTが存在するか否か（規約か必然か）を各枝で判定する——これがソレールの定理を操作論的に語り直す第一歩となる。
この問いの射程は量子論を超える。数体の選択は数論幾何のいたるところに現れ、局所と大域、アデールとイデールの往還として体系化されている。マナンやコンヌが思弁したアデール上の物理——すべての素点を同時に見る物理——は、数体の取り替えに対する不変性（ヴォロヴィチ仮説）の極限的な形である。〔哲学〕含意は重い。もし複素数が単なる規約なら、「基本的」という形容は意味を失い、物理法則は数系の選択に対してある種の共変性を持つことになる。逆に複素数が必然なら、それは自然界に刻まれた深い制約である。この必然か規約かの裁定は、問6の「数の内部自由度」と問22の「記述の最小性」に直結し、対象性の第一方向——必然性と規約性の境界——の出発点をなす。
問2 局所トモグラフィー公理の認識論的身分 〔予想〕
一連の再構成定理（ハーディ、マサネス–ミュラーら）は、いくつかの操作的公理に「局所トモグラフィー」——合成系の状態が部分系の局所測定だけで完全に決まる——を加えると、実数版や四元数版を排して複素量子力学を一意に選ぶことを示している。〔確立〕しかしここで問われるのは、局所トモグラフィーが物理原理なのか、それとも記述上の便宜なのか、である。実数版量子力学はまさに局所トモグラフィーを満たさず、その代償としてフラグの非局所性や商空間構造を抱える。局所トモグラフィーを操作的により原始的な前提から導く（あるいは反証する）こと、そしてそれが破れた世界が経験的に区別可能かを定式化することは未決である。これは「便利さ」を原理の地位へ昇格させてよいかという、対象性の核心的問いの具体形である。
再構成の系譜は厚い。ハーディの公理系、マサネス＝ミュラーの操作的再構成、キリベラ＝ダリアーノ＝ペリノッティの純化公理は、いずれも局所トモグラフィー（または等価な条件）を一枚噛ませて複素量子力学を一意に取り出す。〔確立〕逆に言えば、これらの体系では局所トモグラフィーこそが「複素数を呼び込む公理」として働いている。だとすれば中核の問いは、局所トモグラフィーがより原始的な操作的原理へ還元されるのか、それとも還元不能な「ℂの符牒」なのか、である。実数版がこれを破り、フラグの非局所性という形でツケを払う以上、局所トモグラフィーの成否を原理的に切り分ける操作的シナリオの設計が要る。それが見つからないなら、局所トモグラフィーは原理ではなく規約（問4）へ転落する。
局所トモグラフィーは、合成系の状態空間の次元という算術的指紋として精密に書ける。n 次元系の実状態自由度は、実数版（リビット）で n(n+1)/2、複素版で n²、四元数版で n(2n−1) である。二系を合成したとき、複素版だけが d_AB = d_A·d_B をちょうど満たし、実数版は積より大きく（部分系の局所測定では決まらない「余分な大域ビット」が残り、これがリビットの非局所性として現れる）、四元数版は積より小さい（情報が不足する）。〔確立〕すなわち複素数は「合成系の次元が部分系の積にぴったり一致する」唯一の体であり、これがウーターズらの指摘する複素数の指紋である。ところが実数版量子力学の最近の構成は、商空間とフラグによって全予測を複素版に一致させたまま、この局所トモグラフィーの破れをフラグの内部へ隠してしまう。〔未踏〕とすると局所トモグラフィーの成否は直接観測にかからない——それは原理というより、テンソル積公準と抱き合わせでのみ意味を持つ規約に近い。局所トモグラフィーが破れた世界の統計を、フラグへ隠さずに露出させる操作的シナリオが設計できるか否かが、原理と規約の分かれ目である。
では局所トモグラフィーは経験的に試せるのか。実数版論文が全予測を複素版に一致させてしまう以上、フラグの内側に隠れる限り試せない。そこで鋭い問いはこうなる——フラグの商構成で消せない操作的タスク、すなわち局所トモグラフィーの成否で最適性能が変わるタスクは存在するか。候補は、識別可能状態の最大数（ミュラー＝マサネスのビット対称性）や、抽出可能なもつれ量である。〔未踏〕最初の一歩は、フラグ商の操作のもとで不変なタスクのクラスを特徴づけることだ。局所トモグラフィーは、あるタスクがそのクラスの外に落ちるとき、かつそのときに限り試験可能になる。もし全タスクがクラス内に収まるなら、局所トモグラフィーは観測にかからない純粋な規約であり、外に出るタスクが一つでもあれば、それは物理的内容を持つ原理である。この一線を引くことが、フラグという余剰構造（問22）の経験的コストを測ることと同義になる。
実験の現況も正確に押さえておきたい。二〇二一〜二二年に行われた実数版量子力学の検証実験は、ベル型の設定で標準的な（テンソル積に基づく）実数版を排除した。だがこれは実数版量子力学一般の反証ではない——フラグと商による最近の構成は、まさにその実験的予測を複素版に一致させるよう設計されているからだ。〔確立／未踏〕したがって「実験が実数版を葬った」という要約は強すぎる。葬られたのは一つの定式化にすぎず、フラグ版は構成上すべての予測を再現するため、原理的に区別できるか自体が未決である。これは局所トモグラフィーが経験的内容を持つのか、それとも観測にかからない規約（問4）なのかという問いを、いっそう鋭くする。区別する操作的タスクの有無こそが、対象性の試金石である。
問3 モノイダル完備化の一意性 〔未踏〕
実数版量子力学の構成は、素朴な実テンソル積（次元が合わない）を、位相の分配自由度に対応する核で割った商空間として組み直し、複素テンソル積とのモノイダル同値を回復する操作であった。論文はSO(2)表現に関する自然な条件下で、局所性公準を満たす構成がヒルベルト空間同型を除いて一意だと示している。〔確立（限定的）〕これは精密な命題として証明済だが、適用範囲はその構成の枠内に限られる。中核の問いは別である。すなわち、量子力学の予測を再現する実ヒルベルト空間のモノイダル埋め込み全体を分類し、複素テンソル積を「最小の自然なモノイダル完備化」として圏論的普遍性で特徴づけよ——だが「最小の自然な完備化」を測る普遍性そのものを、どの圏のどの普遍構成として立てるかが、まだ確定していない。〔未踏〕対象レベルの同値（複素構造の外在化）は自明でも、モノイダル積のレベルの剛性を一般化する正しい主張文を発明することが、この問いの未踏たるゆえんである。
圏論の側には足場がある。アブラムスキー＝クックのダガー・コンパクト圏は量子過程の合成を抽象化し、セリンジャーのCPM構成は混合状態を関手的に生み出す。これらの枠で、複素ヒルベルト空間のダガー・コンパクト構造を、実構造に対する何らかの普遍性（自由構成や随伴）として特徴づけられれば、問いは決着へ近づく。〔未踏〕だが現状、実テンソル積を商で複素テンソル積へ「完備化」する操作を、普遍射として定式化した一般定理はない。商で潰す核（位相分配の冗長性）を、ある忘却関手の左随伴の単位として捉え直せるか——この再記述が、未踏の入口になる。
圏論的公理は、それだけでは複素数を選ばない。アブラムスキー＝クックのダガー・コンパクト圏は有限次元ヒルベルト空間の合成構造を抽象化するが、実ヒルベルト空間の圏も四元数版も等しくダガー・コンパクトであり、この公理系は ℝ・ℂ・ℍ を区別しない。複素数を選び出すには、ホイネンやヴィカリーらが試みるように、さらに踏み込んだ条件——たとえば二乗ノルムの存在、ある種の完備性、あるいは再び局所トモグラフィー——を足さねばならない。〔予想〕問いはこうだ。実テンソル積から複素テンソル積を生み出す商構成を、ある忘却関手（複素構造を忘れて実構造を見る関手）の左随伴の単位として書けるか。もしそうなら、ランベックの補題が始代数を関手の不動点として捉えるのと同じ意味で、複素テンソル積は「実構造に複素性を自由に付加する普遍構成」として特徴づけられ、実数版論文の商空間はその普遍射の像にほかならないことになる。この随伴を明示することが、問16の固定点・普遍性と直結した未踏の核心である。
具体的な圏論的目標として、次の随伴の存否を立てられる。実ダガー・コンパクト圏と複素ダガー・コンパクト圏のあいだに関手対 F ⊣ U があり、その単位 η_A: A → UF(A) がちょうどフラグ埋め込みに、余単位が商の核を潰す操作に一致するか。もしこの随伴が存在すれば、複素テンソル積は「実構造に複素性を自由に付加する」普遍構成として一意に特徴づけられ、実数版論文の商空間はその普遍射の像にほかならないことになる。〔未踏〕最初の一歩は、二量子ビットの場合に核 K = ker[(S⁻¹)^⊗2] が、ある自然変換の成分として自然（関手的）に振る舞うかを検証することである。自然であれば構成は標準的（基底や表示に依らない）であり、モノイダル一意性は関手的に決着へ近づく。これはランベックの補題が始代数を関手の不動点として捉える構図（問16）の、量子論への移植である。
この圏論的視点には、より大きな含意がある。もし複素テンソル積が普遍構成として特徴づけられるなら、量子論の合成規則は「選ばれた約束事」ではなく「ある自然な要請のもとで強制される唯一解」となり、問2の局所トモグラフィーや問1の数体選択と同じ必然性の身分を得る。〔未踏〕逆に、自然な普遍性がどうしても立たず、複数の非同型なモノイダル完備化が等しく適格であるなら、複素構造は規約の側へ傾く。すなわちこの随伴の存否は、抽象的な圏論の体操ではなく、問4の「等価だが規約的か」の判定に直接の答えを与える。モノイダル積のレベルの剛性——対象レベルの自明な複素化を超えた、合成の一意性——を普遍性として書けるか否かが、対象性の第一方向に圏論から切り込む鍵である。
問4 「等価だが規約的」を判定する不変基準 〔未踏〕
実数版が複素版と等価ゆえに複素数は規約だ、という推論の一般形は何か。二つの数学的記述が物理的予測において等価であるとき、その差異は「単なる書き換え（規約）」なのか「物理的内容を持つ別理論」なのか。この判定基準を、特定の理論に依らない不変な形で与えることは、対象性の中心問題でありながら未定式化である。等価性の証明だけでは足りない。同じ予測を出す二記述が、なお一方を「自然」とする物理的・構造的指標が要る。第VII部の記述複雑性（問22）と双対性（問21）は、この問4の二つの具体的射程である。
科学哲学はこの問いを「理論の等価性」として長く論じてきた。定義可能等価性、グライモアの示す経験的等価でも理論的に非等価な事例、そしてハルヴォーソンやウェザラルが推す圏論的等価（理論を圏として見て同値か）。〔予想／未踏〕しかしこれらはいずれも形式的等価の基準であって、「同じ物理」を判定する基準とは一致しない。実数‐複素のように形式的に等価でも片方が不自然な場合があり、逆に双対性（問21）のように形式的に大きく異なるのに同じ物理とされる場合がある。要るのは、形式的等価（圏同値）と物理的同一とを橋渡しし、その差を測る不変量（問22）であり、その橋そのものが、まだ架かっていない。
科学哲学の「理論の等価性」は、この問いの最も成熟した近傍である。クワインの定義可能等価、バレット＝ハルヴォーソンの一階理論に対するモリタ等価、ウェザラルの圏論的等価（理論を圏とみなしての同値）は、いずれも形式的等価の精密な基準を与える。だが、これらはしばしば物理学者の直観とずれる。ウェザラルはニュートン重力と幾何化ニュートン重力が圏論的に等価かを精査し、形式的等価と物理的同一の間に「余剰構造（surplus structure、ベロー）」という第三項を立てる必要を示した。〔予想／未踏〕実数‐複素の場合、両者は定義可能等価に近く、実数版がフラグと商という余剰構造を抱える分だけ複素版が簡素である——つまり「ℂが自然」とは「余剰構造が最小」と言い換えられる。だが余剰構造を理論に依らない不変量として測る尺度は、まだ定義されていない。これは記述複雑性（問22）と双対性（問21）へ枝分かれし、「等価だが規約的」と「等価で深い」を分かつ判定基準の本体をなす。
具体的な判定基準の候補が一つある——余剰構造を自己同型群の大きさで測る（ベロー、ブラッドリー）。冗長性の大きい（自己同型の多い）定式化ほど余剰構造を多く抱える。すると「二つの経験的に等価な理論が同じ物理である」とは、各々の冗長性群で割った後の構造が同型であること、と定義できる。〔未踏〕最初の一歩は、この基準を実数‐複素量子力学で試すことだ。実数版はフラグの余分なSO(2)冗長性を持つぶん余剰構造が多く、ゆえに複素版より不自然——基準は直観と一致する。残る課題は二つ。第一に、この基準が分野を跨いで物理学者の判定と一致するかを多数の事例で確かめること。第二に、辞書が自明でない双対性（問21）——そこでは単純な冗長性の商では同型に持ち込めない——をどう扱うか。後者こそ、規約と深い対応を分かつ問いの本丸である。
この判定基準の不在は、物理学の日常的な営みに静かに食い込んでいる。理論家が二つの定式化を「同じ理論の別の書き方」と呼ぶとき、その判断はほとんど常に直観に依拠しており、形式的な裏付けを欠く。〔哲学〕ゲージの取り方、座標の選択、場の再定義（field redefinition）はどれも「物理を変えない」とされるが、その線引きの根拠を不変な基準として述べることは、驚くほど難しい。問4が求めるのは、この日々下されている暗黙の判断を、明示的で理論非依存の手続きへ昇格させることである。それは単なる哲学的整理ではない——双対性（問21）のように「規約か深い対応か」が物理の解釈を左右する場面では、この基準の有無が理論の理解そのものを分ける。等価性の証明の先にある、自然さの不変量こそが本丸である。
【小結】 第I部の四問は、一つの問いの四つの顔である——ある数学的構造は物理に必然か、それとも規約か。問1はジョルダン代数とソレールの定理が許容数系を ℝ・ℂ・ℍ へ絞ることを示し、問2は局所トモグラフィーという次元の指紋が複素数を一意に呼び込むことを、問3はその呼び込みをモノイダル完備化の普遍性として捉え直す道を、問4は等価と規約を分かつ不変基準の不在を指摘した。底を貫くのは、等価性の証明だけでは必然性は決まらないという一点である。実数版が複素版と全予測を一致させてなお複素版が選ばれるのは、フラグと商という余剰構造のぶん実数版が「重い」からであった。だが「重さ」「自然さ」を理論に依らない不変量として測る尺度は、まだ無い。この欠落は第VII部の記述複雑性（問22）と双対性（問21）へ持ち越され、本稿全体を貫く未踏の伏流をなす。
第II部 同一性と等価性
IUT読解の「同型≠同一」を起点に、見かけ上同じ対象をいつ同一視してよいかという問題系を置く。これは対象性の第二方向——同一性の権限——に対応する。鍵となるのは、許される同一視の全体がなす群（あるいは亜群）と、その不変量として立ち現れる観測可能量である。同一視を緩めれば情報が落ち、締めれば記述が冗長になる——その均衡点を理論ごとに同定することが、この部を貫く。量子の大域位相、ゲージの冗長性、IUTの宇宙際性は、いずれも同一視の許容範囲をめぐる同じ問いの別形である。
問5 「同型≠同一」の物理的対応物 〔未踏〕
IUTは、構造として同型な対象を、特定の変形プロセスでは同一視してはならないと明示的に要請する。物理側にも同型のような関係はある。量子状態の大域位相のU(1)曖昧性、ゲージ変換、座標選択。これらは「同一視してよい冗長性」とされる。問いは、数学のどの同型は同一視を許し、どれは禁じるのか、そして物理のどの「冗長性」は本当に冗長なのかを、統一的に律する理論があるか、である。許される同一視のなす群（あるいは亜群）を理論ごとに同定し、その上で観測可能量を不変量として特徴づける枠組みは、ゲージ理論では部分的に整っているが、IUTの変形格子のような非可換な舞台間の同一視まで含む一般論は未踏である。
一般相対論の穴論法は、この問いの古典的核である。微分同相で移り合う二つの計量モデルは同型だが、それを同一視するか否か（ライプニッツ同値）で、決定論の成否すら変わる。グリーヴズ＝ウォレスらの「経験的に有意な対称性」の議論は、冗長なゲージと物理的対称性の境界を精密化しようとするが、決定的基準には至っていない。〔未踏〕IUTの種と変異（species／mutation）は、許される同一視をあらかじめ型として宣言する試みと読める。求められるのは、理論ごとの「許容される同一視」を、対象とその間の可逆射からなる亜群として書き下し、穴論法・ゲージ・IUTを同じ言語で扱う一般論であり、これは問6・問23と地続きである。
一般相対論の穴論法は、この問いの最も鋭い古典的形である。アインシュタインが一時は一般共変性を捨てかけたこの論法では、微分同相で移り合う二つの計量を別物とみなすと、同じ初期データから物理が一意に決まらず決定論が壊れる。標準的解決はライプニッツ同値——微分同相で結ばれた計量は同一の物理状態とみなす——だが、これを「洗練された実体論」「関係論」のいずれで正当化するかは決着していない。ゲージ理論では事態はさらに微妙で、局所ゲージ変換は冗長だが、アハロノフ＝ボーム効果や大域的（ラージ）ゲージ変換のように、大域的構造が物理的に効く場合がある——グリーヴズ＝ウォレスの「対称性の経験的有意性」はこの境界の精密化を試みる。〔未踏〕そしてIUTの宇宙際性は、同型だが別の「劇場」にある対象を決して同一視しないことを要求する——素朴な同一視こそ系3.12をめぐる論争の火種であった。求められるのは、穴論法・ゲージ冗長性・IUTの非同一視を、許される同一視のなす亜群とその不変量という一つの言語で統べる一般理論であり、それはまだ存在しない。
形式化の足場として、理論の「許される同一視」を亜群（あるいはスタック）として書く道がある。対象を模型、射を許される同型とする亜群を取れば、物理的内容はその同型類（スタック）に宿る。穴論法は微分同相で結ばれた計量の亜群、ゲージは作用亜群、IUTは一部の同型を意図的に排した亜群として表せる。〔未踏〕最初の一歩は、IUTの「劇場とリンク」を明示的な圏として書き下し、どの同型が禁じられているかを同定し、それを微分同相亜群と形式的に比較することである。すると問いは「この亜群で割ってよい（ゲージ）か、割ってはならない（本質的）か」を分かつ基準へと精錬される。穴論法・ゲージ・IUTを同一の亜群言語で扱えれば、同一性の権限という第二方向の対象性が、初めて統一的な土俵に乗る。これは問6の型理論、問23の自己記述と一つの構造を共有する。
この問いが抽象的でない証拠に、それはIUT論争そのものの火種である。ショルツェとシュティックスは、異なる劇場のあいだの同一視を素朴に行えば系3.12は自明化してしまうと論じ、モチヅキはそれらを断じて同一視してはならないと応じた——争点はまさに「いつ同型を同一視してよいか」であった。〔未踏〕つまり問5は、物理基礎論の抽象問題であると同時に、現代数学の最も名高い未決の証明論争（問17）の核心でもある。「許される同一視」を律する一般理論が無いことが、一方では物理の対象性を、他方では一つの数学的真理の確定を、同時に宙吊りにしている。同一性の権限という主題が、これほど具体的な係争として現れている例は稀であり、それは終章の自己記述（問23）が空論でないことの証左でもある。
問6 「数」の内部自由度の形式化 〔未踏〕
IUT読解枠は、古典数学が原子（分解不能の塊）として扱ってきた「数」に、レイヤー（どの層・座標か）、時制（変形のどの時間相か）、回数（どれだけの操作を経たか）という内部自由度を見立てた。物質の最小単位が原子からクォークへ分解され内部自由度（電荷・スピン・色荷）を露わにした歴史の数論的類比である。〔比喩〕この見立てを、比喩を超えて厳密な形式へ昇格できるか。文脈指標つきの「数」は、依存型理論やファイバー圏、種と変異の体系で部分的に表現できるが、「同じ表記の数が文脈ごとに別物でありうる」事態を、一般の数学的言語が一級市民として扱う基礎づけは確立していない。記法が同一性を僭称する誤りを構文レベルで遮断する体系の設計は、未踏の課題である。
道具立ては揃いつつある。ヴォエヴォドスキーの一価性基礎では「等しさ」自体が構造を持ち、同型に沿った輸送（transport）が原理化される。グロタンディーク構成やファイバー圏は、対象に文脈指標を貼る一般的方法を与える。〔未踏〕だが、これらはなお「同型に沿って同一視してよい」方向の整備であって、IUTが要求する逆方向——同型だが同一視を禁じ、記法の一致が同一性を僭称するのを構文で止める——を一級市民として支える基礎づけは存在しない。回数・時制・層という履歴指標を、消去すると証明が壊れる本質的データとして型に刻む体系。その設計は、問5の亜群と問23の自己記述に挟まれた、未踏の中央にある。
皮肉なことに、近年の基礎づけはIUTが要求する方向の逆を整備してきた。ヴォエヴォドスキーの一価性公理は「同型なものは等しい」を原理に格上げし、同型に沿った輸送を自由にする——これはまさにIUTが禁じたい操作である。つまり一価性基礎はIUTの道具にはならない。必要なのは反対に、出自（どの劇場の対象か、何回の対数操作を経たか）を消去不能な本質データとして保持し、記法の一致が同一性を僭称するのを構文段階で阻む体系である。モチヅキの「種（species）」と「変異（mutation）」は、まさにこの目的のために手作りされた形式語彙と読める。ファイバー圏や指標つき圏は「基底文脈の上の対象」を扱う一般的方法を与えるが、〔未踏〕「同型だが同一視を既定としない」型理論——同一視が常に明示的な選択を要し、決して暗黙のデフォルトにならない体系——の基礎づけは確立していない。これは問5の同一視亜群と問23の自己記述に挟まれた未踏の中央であり、「数の内部自由度」という比喩を形式へ昇格する鍵を握る。
具体的な設計目標は、出自指標つきの型理論である。各項が消去不能な来歴指標（どの劇場か、何回の対数操作を経たか）を帯び、定義上の等しさが来歴の一致を要求する体系。一価性基礎が「同型ならば等しい」を既定とするのに対し、これは「同型でも来歴が違えば等しくない」を既定とする——向きが正反対である。モチヅキの単遠アーベル輸送は、まさにこの非自明な同一視を制御する手作りの実例と読める。〔未踏〕最初の一歩は、玩具断片——対数回数の指標を帯びた「数」——を形式化し、普通の算術が許してしまうある特定の誤った同一視を、この体系が構文段階で阻止することを示すことだ。十分な計算の自由を残しつつ偽の同一視だけを止めるという綱渡りが成立すれば、「数の内部自由度」という比喩は初めて厳密な形式の身分を得る。これは問5の同一視亜群の、構文論的な裏面である。
「数の内部自由度」は、数学が文脈依存性を扱う一般的な作法とも響き合う。指標つき型・依存型、クリプキ意味論の可能世界、層（sheaf）の局所切断——いずれも「同じ記号が文脈ごとに別の値をとる」状況を形式化する装置である。文脈ごとに意味を変える数は、いわば層の切断のように振る舞う。〔未踏〕含意は物理にも及ぶ。くりこみにおける「裸の量」と「衣を着た量」は、同じ名前を持ちながら内容の異なる量の典型であり、有効場の理論ではスケールごとに結合定数が別の値をとる。出自を本質データとして保持する基礎づけは、IUTのみならず、こうした「同名異物」が潜むあらゆる場面——物理のくりこみから記法の濫用まで——を明晰にする可能性を持つ。問5の同一視亜群が同一性を意味論で律するのに対し、問6はそれを構文論で律する、同じ硬貨の裏表である。
問7 不変な観測量は同一視群の不変量に尽きるか 〔予想〕
クォークは単体では取り出せず（閉じ込め）、観測にかかるのは色荷が打ち消し合った無色の組合せだけである。IUT読解枠も、内部自由度（層・時制・回数）は単独では古典数学の地平に現れず、両軸で不変な単解析的対数殻（両軸無時数）としてのみ観測にかかると見立てた。物理のゲージ不変量も同型である。〔予想〕ここから一般原理「観測可能量とは、許される同一視の群のもとでの不変量にほかならない」が立つ。これは魅力的だが、数学（IUTの不変核）と物理（ゲージ不変量）を貫く定理として証明されてはいない。とりわけ、不変量だけで理論の内容を完全に回収できる（情報損失がない）かは、局所トモグラフィー問題（問2）と表裏で未決である。
「不変量が対象を回復する」精密な実例はある。タンナカ＝クライン双対は、群をその表現の圏とファイバー関手から復元する——不変量（表現）の全体が、もとの対象（群）を余すところなく回収する定理である。ネーターの定理は対称性から保存量を、幾何学的不変式論は群作用の商から不変式環を作る。〔確立〕問いは、これらの「回収できる」状況を一般化し、IUTの不変核やゲージ不変量についても情報損失ゼロを保証できるか、である。〔予想〕局所トモグラフィー（問2）が崩れる実数版では、不変量だけでは合成系の情報が落ちうる。ゆえに「観測量＝同一視群の不変量」が成り立つ条件と、成り立たず情報が漏れる条件との境界線こそが、この問いの未決の核である。
「不変量が対象を完全に回復する」精密な定理は実在する。中性タンナカ圏にファイバー関手を添えると、その自己同型からアフィン群スキームが復元される（ドリーニュ＝ミルンのタンナカ再構成）——表現という不変量の全体が、もとの群を余すところなく取り戻す。幾何学的不変式論の商 X//G は不変式環として対象を捉え、ネーターの定理は連続対称性から保存量を生む。物理では、ウィルソンループのようなゲージ不変量がゲージ理論をどこまで決めるかが対応する問いとなる。〔確立／予想〕しかし、不変量がいつ完全（タンナカ完全）で、いつ情報を落とすかの境界が核心である。局所トモグラフィー（問2）が破れる実数版では、部分系の不変量だけでは合成系の状態が決まらない——不変量が不完全になる典型例だ。ゆえに「観測可能量＝同一視群の不変量」という一般原理は、完全性が成り立つ条件のもとでのみ正しい。その条件——どんな同一視群と表現論的構造があれば不変量が対象を回復するか——を画定することが、この問いの未決の中身である。
完全性の条件は、タンナカ理論が精密に教えてくれる。ドリーニュの判定により、ある圏が群を再構成する（タンナカ的である）のは、それが剛的アーベル圏でファイバー関手を持つとき、かつそのときに限る。物理版の問いは——ゲージ不変量がいつ「タンナカ的」な圏をなしてゲージ理論を再構成し、いつ取りこぼすか、である。取りこぼしの実例は知られている。ウィルソンループのような局所ゲージ不変量は、ゲージ群の大域構造（SU(N) か SU(N)/Z_N か、θ角の値）を見落としうる——トフーフト線とウィルソン線の代数が、その大域データを担う。〔未踏〕最初の一歩は、局所不変量が完全に一致しながら大域データが異なる理論の対を明示することである。それは「不変量が不完全になる」最小の反例となり、局所トモグラフィーの破れ（問2）や同一視群の大域構造（問5）と同じ穴を、別の角度から照らす。
不変量の完全性という問いは、情報の保存という実務的主題にも直結する。量子誤り訂正符号は、論理情報を不変な（雑音の作用で動かない）部分空間として符号化する——これはまさに「同一視群（雑音）の不変量に観測可能量を載せる」工学的実装である。〔確立〕符号空間が論理情報を完全に保持できるのは、誤りが不変量を壊さない条件（クニル＝ラフラムの条件）を満たすとき、かつそのときに限る。これは問7の抽象的な完全性条件の、具体的で確立した一例にほかならない。タンナカ完全性が成り立つ数学的状況と、誤り訂正が成立する物理的状況とが同じ構造を共有するなら、「不変量はいつ対象を回復するか」という問いは、純粋数学と量子情報の双方で同時に答えを得る可能性がある。
【小結】 第II部の三問は、同一性の権限をめぐる。問5はIUTの「同型≠同一」に物理の冗長性（大域位相・ゲージ・座標）を重ね、問6はその根にある「数の内部自由度」を形式へ昇格する困難を、問7は不変量が対象をどこまで回復するか（タンナカ完全性）を問うた。三問を束ねるのは、許される同一視のなす群あるいは亜群と、その不変量として立ち現れる観測可能量という単一の構図である。同一視を緩めれば情報が落ち、締めれば記述が冗長になる——その均衡点を理論ごとに同定することが課題であった。とりわけ皮肉なのは、一価性基礎が「同型ならば等しい」を整備する一方、IUTはまさにその同一視を禁じたいという点で、現代の基礎づけが要請の逆を向いていることである。同一視を既定としない型理論という未踏の設計は、終章の自己記述（問23）へまっすぐ通じる。
第III部 連続体・無限・計算可能性
対応の受け皿である数学の側——実数連続体・無限・計算——が、物理にとってどこまで本質的かを問う。物理が要求する数学的強度の上限はどこか。連続体は必須か、無限は本質か、自然法則は計算可能か。これらは「対応先の数学」がどれだけ豊かでなければならないかを測る、基礎論的な検針である。連続体・無限・計算可能性の三問は、互いに支え合いながら、対応先の数学が持つべき最小の強度を定めようとする。
問8 物理は実数連続体を要するか 〔未踏〕
物理理論はほぼ例外なく実数の連続体を背景に書かれる。だが測定値は常に有限精度であり、連続体は理想化の疑いを免れない。構成的・計算可能解析や有限主義の立場からは、連続体を計算可能数や有限近似で置き換えた理論が考えられる。問いは、ある物理理論を、その計算可能近似・有限近似から経験的に区別する観測が原理的に存在するか、である。存在しないなら連続体は規約（問4の一例）であり、存在するなら連続体は物理的に必然となる。この二者を分ける定式化はまだ与えられていない。
物理の側には、連続体を捨てる候補が並ぶ。因果集合理論は時空を離散的な半順序とし、ループ量子重力は面積・体積に最小量子を与え、ベッケンスタイン限界やホログラフィー原理は有限領域の情報を有限と見積もる。数学の側では、ヴァイラオホらの計算可能解析が「計算可能な実数」の上に解析学を再建する。〔未踏〕しかし、連続体版とその計算可能近似・離散近似とを経験的に弁別する観測は、いまだ提案されていない。弁別不能なら連続体は理想化（規約）であり、弁別可能なら連続体は物理的内容を持つ。この決定実験の不在こそが、問9の集合論的絶対性と並ぶ、対応の受け皿をめぐる空白である。
連続体を捨てる物理側の候補は、具体的な予言まで持つことがある。因果集合理論はソーキンが離散性から宇宙定数の桁を予言した稀な例を生み、ループ量子重力は面積・体積に最小量子を課し、トフーフトのセルオートマトン解釈は量子論を決定論的離散ダイナミクスの粗視化と見る。数学側ではヴァイラオホの第二種チューリング機械による計算可能解析が、計算可能実数の上に解析学を組み直す。〔未踏〕だが本質的困難は弁別にある。有限個・有限精度の測定はすべて、連続体版とも十分細かい離散／計算可能版とも両立する。ゆえに両者を分けるには、ソーキンの宇宙定数予言のような構造的帰結か、原理的論証のいずれかが要る。連続体に固有の経験的徴候——その値が連続体の濃度に依存する観測量——が存在するのか否かは、未だ示されていない。これは問9の集合論的絶対性、問10の計算可能性と一つの三角形をなし、「対応先の数学はどれだけ豊かでなければならないか」を測る検針の中心にある。
具体的な弁別子の候補は乏しいが、皆無ではない。ソーキンの因果集合は、離散性から宇宙定数のゆらぎが √N の桁で現れると予言した——もし観測された Λ がこの予言と整合するなら、離散性が支持される稀な経験的手掛かりとなる。別の筋は、ベッケンスタイン＝ホーキングのエントロピーが面積則で有限であることから、有限領域のヒルベルト空間が有限次元である（バンクス、トフーフト）とすれば、連続体は創発的・近似的だという議論である。〔未踏〕最初の一歩は、連続体版と離散版で値が測定可能なスケールで食い違う観測量を一つでも同定することだ。それが見つかれば連続体は物理的内容を持ち、見つからなければ連続体は理想化（規約、問4の一例）に格下げされる。この弁別実験の構成は、問9の絶対性・問10の計算可能性とともに、対応先の数学の最小の豊かさを定める三角形の一辺をなす。
含意は実務にも及ぶ。もし連続体が理想化にすぎないなら、問9の集合論的強度も問20の場の理論の構成も問10の計算可能性も、すべて軽くなる方向へ動く。デジタル物理（ツーゼ、ウルフラム、トフーフト）はこの極限の立場で、世界を巨大な計算過程と見る。〔哲学〕とはいえ実務上は、物理は連続体のもとで見事に機能しており、その究極の身分は形而上学的でありながら——ソーキンの予言のように——わずかに経験的な歯を持ちうる、という微妙な位置にある。重要なのは、連続体を採るか否かが孤立した選択ではなく、対応先の数学の強度を決める一連の問い（問9・問10・問20）と連動している点だ。連続体の身分一つで、本稿後半の地盤の硬さが変わる。
問9 物理の集合論的公理に対する絶対性 〔未踏〕
連続体仮説や大型基数の存否はZFCから独立である。物理の予測がこれら集合論的選択に依存することはない、と広く信じられている。〔哲学〕しかしこれをメタ定理として——「いかなる物理的観測量の値も、ZFCを超える集合論的公理の選択に対して絶対（不変）である」——精密に述べ、確立することはなされていない。物理が解析学のどの断片（例えば二階算術や可述的解析）で十分に展開できるかという逆数学的問いとも絡む。対応の受け皿が、数学基礎論のどの高さまでを真に必要とするのかは未踏である。
逆数学は、解析学の各定理がどれだけの公理的強度を要するかを測ってきた。多くの基礎的解析はRCA₀・WKL₀・ACA₀といった弱い部分体系で展開でき、フェファーマンは「物理に要る数学は可述的体系で足りる」という綱領を立てた。〔予想〕もしこれが正しければ、物理は連続体仮説や大型基数を一切必要としないことになる。だが「いかなる物理的観測量も、ZFCを超える公理選択に対して絶対である」というメタ定理は、まだ精密に述べられても証明されてもいない。物理の予測が住む論理的強度の上限を確定することは、問8の連続体問題と一対をなす、基礎論側の未踏地である。
絶対性には強力な部分結果がある。シェーンフィールドの絶対性定理は、Σ¹₂ の算術的言明がZFの推移的モデル間で不変であることを保証する——連続体仮説や強制法で揺らがない。〔確立〕したがって「十分単純な」言明は集合論的選択に依存しない。問題は、物理的観測量がこの単純さの天井の下に収まるかである。逆数学はRCA₀・WKL₀・ACA₀という弱い体系で多くの解析が展開できることを示し、フェファーマンの可述主義は「物理に要る数学は可述的体系で足りる」と主張する。〔予想〕だが楽観は禁物で、フリードマンのブール関係理論は、ごく具体的に見える有限組合せ論的命題が大型基数を要する例を作っている——物理が必ず低複雑性に留まる保証はない。中核の未踏は、物理的観測量の論理的複雑性に上限を与え、その上限の言明すべてがある絶対性定理の傘下に入ることを証明する（あるいは反例を出す）ことである。これは問8の連続体問題と表裏一体をなす。
具体的な絶対性の目標はこう書ける——「あらゆる物理的観測量は Σ¹₂（または Δ¹₂）の言明として表現でき、ゆえにシェーンフィールドにより絶対である」。最初の一歩は、標準的な物理（散乱振幅、スペクトル、相関関数）の論理的複雑性を実地に査定することだ。多くは可算個の有理量への算術的言明に収まり、絶対性の傘下に入ると見込まれる。〔予想〕だが climb の危険がある箇所も指摘できる——宇宙全体の波動関数に関する言明、エルゴード性・カオスの長時間挙動、あるいは任意の実数集合に量化が及ぶ命題は、階層を上りうる。これらが本当に高い複雑性を要するのか、それとも低複雑性へ落とせるのかを一つずつ確かめることが、絶対性メタ定理の証明か反例かを分ける。物理の予測が住む論理的強度の天井を確定すること——これが問8の連続体問題と表裏で、対応の受け皿の高さを測る。
この問いの実務的な賭け金は、計算物理と数値解析にも及ぶ。物理量がもし高い集合論的強度を要するなら、その量は原理的に近似計算で捉えきれないことになりかねない。逆に、フェファーマンの可述主義が正しく物理が弱い体系で展開できるなら、あらゆる物理的予測は原理的に有限的・構成的な手続きで近似可能となる。〔予想〕これは問10の計算可能性と表裏をなす——絶対性（集合論的選択に依存しない）と計算可能性（有限手続きで近づける）は、対応先の数学の「低さ」を別の角度から測る二つの物差しである。物理が住む論理的強度の天井を確定することは、数値計算がどこまで原理的に物理を捉えうるかの上限を定めることでもあり、基礎論の問いが計算実務の限界と地続きであることを示す。
問10 物理的問いの決定不能性の分類 〔確立〕
キュビット、ペレス＝ガルシア、ウォルフは、ある格子模型のスペクトルギャップの有無が決定不能（チューリング機械の停止問題に帰着）であることを証明した。〔確立〕ポア＝エルとリチャーズは、計算可能な初期値をもつ波動方程式が計算不能な解を持ちうることを示した。〔確立〕これらは個別の決定不能性である。残された問題は分類である。すなわち、物理理論のどのクラスの問いが決定不能で、どのクラスが決定可能かを画定する一般定理はあるか。ヒルベルト第十問題の物理版にあたるこの分類、および「宇宙は計算可能か（物理的チャーチ＝チューリング論題）」の経験的・原理的判定基準は、いずれも未踏である。
決定不能性の事例はスペクトルギャップや波動方程式にとどまらない。ワンのタイル張り、到達可能性、多体系の基底状態判定など、物理に根ざした問いが次々と停止問題へ帰着する。逆に、マラメント＝ホガース時空のように、一般相対論の許す因果構造を使えば超チューリング計算（無限の計算を有限固有時間で完了する）が原理上可能だ、という提案もある。〔予想〕問いは二つに割れる。第一に、物理理論の問いを決定可能／不能へ分かつ一般的な境界線（ヒルベルト第十問題の物理版）。第二に、宇宙が実際にチューリングの壁を越えうるか（物理的チャーチ＝チューリング論題）。いずれも、確立した個別事例（〔確立〕）を束ねる分類と判定基準が、まだ無い。
決定不能性の事例は増え続けている。並進不変な格子系のスペクトルギャップ（キュビットら）、相転移の有無（バウシュ＝キュビット＝ワトソン）、多体基底状態の諸性質、ワンのタイル張り、群の語の問題。力学系の到達可能性に至っては、スコーレム問題——線形回帰列がいつ零を取るか——の決定可能性すら未解決である。〔確立／未踏〕計算理論にはライスの定理という「非自明な意味的性質はすべて決定不能」という鮮やかな境界があるが、物理的問いに対する同等の境界線はまだ引かれていない。第一の未踏は、物理理論の問いを決定可能／不能へ分かつ一般定理（ヒルベルト第十問題の物理版）。第二の未踏は、宇宙が実際にチューリングの壁を越えうるか——マラメント＝ホガース時空のように、一般相対論の許す因果構造が無限計算を有限固有時間で完了させる超チューリング計算を許すかという、物理的チャーチ＝チューリング論題である。確立した個別事例を束ねる分類も、この論題の経験的判定も、いずれも空白のままである。
分類への具体的な道は、「物理版ライスの定理」を狙うことである。すなわち——ある自然なクラスのハミルトニアン（あるいは力学系）の非自明な性質は、すべて決定不能である、という形の定理。部分的な観察として、決定不能性はおおむね無限系（熱力学極限）か無限精度（厳密な実数）を要するように見える。ゆえに候補となる境界線は、有限かつ有限精度の問いは決定可能、無限極限または厳密実数の問いは決定不能でありうる、というものだ。〔未踏〕最初の一歩は、特定のクラスに対してこの形の clean な定理を一つ証明することである。物理的チャーチ＝チューリング論題の側では、提案された超チューリング計算（マラメント＝ホガース時空）が量子重力の検閲を生き延びるか否かを問うのが具体的試金石となる。確立した個別事例を束ねる分類も、この論題の判定も、まだ手付かずである。
決定不能性の所在は、物理法則の「予測可能性」の意味そのものを問い直させる。ラプラスの魔は初期条件さえ与えれば未来を計算できると考えたが、決定論的であることと計算可能であることは別物である——スペクトルギャップの例が示すように、法則が完全に決定論的でも、ある性質が原理的に計算不能でありうる。〔哲学〕これは予測の限界がカオス（初期値鋭敏性）とは異なる、より深い層にあることを意味する。カオスは精度の問題だが、決定不能性は手続きの不在の問題である。物理的問いの決定可能／不能の境界を引くことは、自然界における「原理的に答えうる問い」の輪郭を描くことにほかならず、それはヒルベルトが決定問題（Entscheidungsproblem）で数学に問うたことの、物理版の問いかけである。
【小結】 第III部の三問は、対応の受け皿である数学そのものの強度を測る。問8は物理が実数連続体を要するか、問9は物理の予測が集合論的公理に対して絶対か、問10は物理的問いの決定不能性をいかに分類するかを問うた。三問は互いに支え合う三角形をなす——連続体を捨てれば計算可能性が前面に出（問8と問10）、絶対性が成り立てば高い集合論的強度は不要となり（問9）、決定不能性の所在は連続体の理想化と絡む（問8と問10）。シェーンフィールドの絶対性やソーキンの離散性予言といった確立した足場はあるが、いずれの問いも「対応先の数学が持つべき最小の強度」を確定するには至っていない。有限の測定が連続も離散も許すという弁別の困難が、三問すべての底に共通して横たわる。この最小強度の未決は、第VII部で場の理論の厳密な構成（問20）として再来する。
第IV部 確率・観測・採点者の外部性
フォージ・レジャーの設計原理——確信度を誰が付けるか、真値を確定する採点者は外部でなければ腐る——を、量子確率と測定問題に接続する。確率を付ける者、結果を確定する者、両者を比較する者を分離せよという台帳の鉄則は、量子測定における観測者と被観測系の分離問題と同じ骨格を持つ。ここから、裁定者はなぜ系の外に立たねばならないかという外部性の主題が立ち上がる。確率・測定・外部性の三問は、対応を裁定する主体がなぜ系の外に立たねばならないかを、量子論の側から照らす。
問11 確率測度の非循環的導出 〔予想〕
ボルン則（確率は振幅の二乗）は量子力学の要だが、その由来は論争的である。グリーソンの定理は次元三以上で測度の形を一意に定め、ドイチュ＝ウォレスの決定理論的導出やズーレックのエンバリアンス論証も提案されている。〔確立／予想〕だがいずれも、何らかの確率的・合理的前提を忍ばせている疑いがあり、完全に非循環な導出は未確立である。これはフォージ・レジャーが立てた「確信度を誰が付けるのか。校正されていない0.72は無意味な数だ」という問いの、物理学版である。確率という数を、それを前提しない物理的公準から導く——この非循環性の達成は、対応の最も繊細な未踏地の一つである。
導出の各系譜には、それぞれ循環の疑いが付きまとう。グリーソンの定理は次元三以上で射影上の非文脈的測度をボルン形 tr(ρ·) へ強制し、ブッシュとケイヴス＝フックス＝シャックがPOVM版で次元二へ拡張した——ここまでは強い〔確立〕である。だがその先が問題だ。ドイチュ＝ウォレスの決定理論的導出は、分岐の等価性や通時的整合性といった合理性公理にボルン測度を暗に織り込んでいるとケントやアルバートに批判される。ズーレックのエンバリアンス論証は、もつれ状態のある対称性を前提し、それが測度を先取りしているとされる。ハートルやファーリ＝ゴールドストン＝グットマンの頻度作用素アプローチは無限アンサンブルを要し、その収束がボルン測度のもとでの収束である点で循環する。〔予想〕求められるのは、確率も合理性も前提しない純粋に物理的な公準からボルン測度を導く非循環の経路である。これはフォージ・レジャーが「校正されていない0.72は無意味な数だ」と難じた問い——確信度という数はどこから正統性を得るのか——の、量子論における正確な鏡像である。
非循環の具体的な標的はこう絞れる——対称性（あるいは不変性）と、確率を前提しない識別可能性に関する単一の操作的公理だけからボルン測度を導く。候補は、一意に定まる情報量のユニタリ不変性や、識別可能状態の数え上げである。〔予想〕最初の一歩は、既存の各導出のどこに「忍ばせた確率」があるかを正確に剔抉し、それを操作的に試験可能な公理へ置き換えることだ。ドイチュ＝ウォレスなら合理性公理のどの一条が測度を先取りしているか、ズーレックならどの対称性前提がそれにあたるか。これを一つずつ無害な前提へ交換し、なお tr(ρ·) が出るなら、導出は非循環へ近づく。これはフォージ・レジャーが「確信度という数の正統性はどこから来るのか」と問うた点と同型である。確率という数を、それを前提しない物理的公準から導く——その非循環性をどう達成するかが、ここでの核心である。
この困難は確率論一般の根に触れている。古典確率でさえ、コックスの定理は合理性の要請からその形を導こうとするが、連続性などの隠れた前提を仮定しているとして批判され、デ・フィネッティの交換可能性に基づく主観確率もまた前提の選択に依存する。〔哲学〕つまり古典・量子いずれの確率も、完全に非循環な基礎づけに抵抗するという点で同じ病を抱える。ボルン則の導出問題は、その量子版の最も鋭い現れにすぎない。確率という数の正統性をどこに置くか——フォージ・レジャーが校正という形で外部に求めたものを、物理は測定の統計のうちに内在化できるのか。この問いは、確率の対象性（問19の真理の対象性の確率版）として、対応の最も繊細な層に位置する。
問12 測定と古典‐量子境界の数学的定義 〔未踏〕
量子力学は状態の決定論的発展を記述するが、「測定」がいつ起き何が「観測者」かを形式内部から定義しない。これが測定問題である。デコヒーレンスは見かけの古典性を説明するが、確定した単一結果の出現（いわゆる切断の位置）を導かない。問いは、古典‐量子の境界を形式の内部から導出する記述があるか、である。これはフォージ・レジャーの「解決者（真値を確定する主体）」を物理のどこに置くか、という問いに正確に対応する。観測の現在を理論の外から与えるのか、内に畳み込めるのかは、次の問13へ直結する。
切断を扱う三つの戦略が競合する。デコヒーレンス（ツェー、ズーレック）は環境との絡み合いで干渉を消すが、単一結果の出現は説明しない。GRWやCSLのような自発的収縮模型は切断を力学に書き込み、ゆえに実験で制約・反証されうる〔予想〕。多世界解釈は切断そのものを消去する。〔未踏〕いずれも、ユニタリな発展の内部から「いつ・何が観測者か」を導く完結した記述には至っていない。これはフォージ・レジャーの解決者を系の内に置けるかという問いと同型で、観測の現在を理論の外から与えるのか内に畳むのか——その分岐が、次の外部性定理（問13）へまっすぐ流れ込む。
切断をめぐる近年の最も鋭い結果は、自己言及から来る。フラウフィガー＝レナーの定理（二〇一八）は、観測者について推論する観測者を含む入れ子の思考実験において、量子論・単一結果・推論の整合性という一見穏当な前提が相互に矛盾しうることを示した。〔確立（条件付き）〕これは測定問題を自己言及（問13）へ直結させる——ウィグナーの友人が友人を観測する構図は、系が自らを含んでモデル化する構図にほかならない。一方、GRW・CSLのような自発的収縮模型は切断を力学方程式に書き込むため、実験でパラメータ空間が着実に狭められている〔予想〕。デコヒーレンスは見かけの古典性を説明するが単一結果の出現は導かず、多世界解釈は切断を消す代わりに確率の意味（問11）を背負い込む。〔未踏〕いずれの戦略も、ユニタリな発展の内部から「いつ・何が観測者か」を導く完結した記述には至っていない。観測の現在を理論の外から与えるしかないのか、内に畳めるのか——その分岐が、外部性定理（問13）へまっすぐ流れ込む。
具体的には、切断を導くか、導けないことを証明するか、の二択へ問いを精錬できる。フラウフィガー＝レナーは、量子論・単一結果・推論の整合性という前提が両立しないことを示したから、いずれかを手放さねばならない——その「手放し方」が、解決者をどこに置くかを決める。〔未踏〕最初の一歩は、各解釈がフラウフィガー＝レナーをどの前提の放棄で回避するかを分類し、それを「解決者の位置」へ対応づけることだ。多世界は単一結果を、収縮模型はユニタリ性を、関係論的解釈は観測者非依存の事実を手放す。とりわけGRW・CSLは切断を力学に書き込むため、CSLパラメータの実験的制約という具体的な経験的前線を持つ。観測の現在を理論の外から与えるしかないのか、内に畳めるのか——この分岐が、外部性定理（問13）へまっすぐ流れ込む。
切断の位置は、量子計算という実務とも直に接する。量子計算機はコヒーレンスを保つことで——すなわち切断を可能なかぎり先送りすることで——働き、デコヒーレンスはその最大の敵である。つまり「切断はどこか」という基礎論の問いは、量子技術の成否を左右する工学的な歯を持つ。〔予想〕さらに、巨視的重ね合わせを押し広げるオプトメカニクスの実験は、量子‐古典境界を実験室で少しずつ動かし、収縮模型（GRW・CSL）のパラメータ空間を狭めている。切断が純粋に認識論的な約束事なのか、それとも自然界のどこかに物理的な閾値があるのかは、もはや純粋な思弁ではなく測定の対象になりつつある。観測の現在を理論の外から与えるのか内に畳むのか——その分岐は、確率の非循環的導出（問11）と外部性定理（問13）の双方へ、実験という新たな入口から接続する。
問13 採点者（真値確定者）の外部性定理 〔未踏〕
フォージ・レジャーの最深の設計原則は、予測者と採点者を同じ主体にしてはならない——自分の宿題を自分で採点する系は退化する——であり、その根拠は「社会の現実は外から勝手にやって来る」、すなわち解決者は外部・機械的でなければ腐る、という観察であった。〔哲学／未踏〕この観察は、タルスキの真理定義不可能性、ゲーデルの第二不完全性、レープの定理という自己言及の限界群と同じ家系に属するように見える。問いは、これらを統合し、「自己をモデル化する任意の系（観測者を含む物理、あるいは自己採点する認識主体）は、真値を内部に矛盾なく内在化できず、外部の錨を要する」という外部性定理を、物理と認識論を貫く形で定式化・証明できるか、である。対応の裁定者は、なぜ常に対応の外に立たねばならないのか。これは終章の問23の核となる。
自己言及の限界群は、すでに精密な定理として揃っている。タルスキは十分強い無矛盾な体系が自らの真理述語を定義できないことを、ゲーデルは自らの無矛盾性を証明できないことを示した〔確立〕。物理側にもブロイアーの定理（一九九五）があり、自分自身を含む系の状態を観測者が完全に同定することは不可能だと証明している〔確立〕。〔未踏〕欠けているのは、これら数学・論理・物理に散在する不可能性を一本化し、「自己をモデル化する系は真値の確定を内在化できず外部の錨を要する」という単一の外部性定理として述べることである。フォージ・レジャーが経験則として掴んだ「採点者を外部化せねば腐る」を、定理の位へ引き上げられるか。問23の自己記述は、この定理が存在するか否かに懸かっている。
この外部性は、悲観の言葉にも楽観の言葉にも読める。悲観としては、いかなる系も自らの正しさを内側から保証しきれない。楽観としては、外部の錨さえ確保すれば系は安定して機能する——フォージ・レジャーが外部の解決者を用意することで自己採点の退化を免れるように。問われているのは不可能性そのものより、必要な外部性の最小量である。どれだけ外を借りれば内が回るのか。その最小の外部錨を測る尺度は、まだ与えられていない。
統一の標的を圏論の言葉で素描できる。ローヴェアの不動点定理（問16）は、点を持つ全射 e: A → (A → B) があれば任意の自己写像 B → B が不動点を持つ、という形をとり、カントールの対角線・ゲーデル・タルスキ・チューリングをただ一つの図式へ畳む。自己採点・自己測定・自己言及の不可能性は、いずれもこの「評価写像が対角線で自己に当たる」骨格の現れである。〔未踏〕外部の錨を置くとは、圏論的には、この対角線を回避できる文脈（評価を内在化しない圏）で作業することにあたる。すると外部性定理は次の形を取りうる——自己をモデル化する系が真値を内在化しようとすると、ローヴェア型の不動点が強制され、それが系の無矛盾な自己記述を阻む。ゆえに無矛盾な裁定には対角線の外に立つ錨が要る。この物理＋認識論版を精密に述べ証明することが、フォージ・レジャーの経験則「採点者を外部化せよ」を定理へ昇格させる道であり、終章の問23そのものへ接続する。
残る量的な問いは、外部性の最小量である。系が無矛盾に回るために、どれだけ外を借りればよいのか——外部乱数一ビットか、固定された外部真理オラクルか、それとも観測者の無限後退か。グプタ＝ベルナップの真理の改訂理論やクリプキの真理論は、部分的な真理述語を内在化しようとする試みであり、アウマンの共有知識は外部の調停なしにどこまで合意できるかを測る。〔未踏〕最初の一歩は、「外部依存度」の尺度を定義し、自己採点する台帳が収束するための最小の外部錨を測ることだ。フォージ・レジャーが要求した外部の解決者は、この最小量の具体的な実装にほかならない。どれだけ外を借りれば内が回るのか——その最小外部錨の量を測る理論は、まだ無く、終章の問23（対応に不動点はあるか）と一つの問いをなす。
【小結】 第IV部の三問は、対応を裁定する主体の位置をめぐる。問11は確率を非循環に導けるか、問12は測定の切断を形式の内から定義できるか、問13は採点者・真値確定者がなぜ外部でなければならないかを問うた。三問を貫くのは、フォージ・レジャーの鉄則——予測者と採点者を分離せよ、解決者は外部・機械的でなければ腐る——の、量子論的な反響である。グリーソンの定理やフラウフィガー＝レナーの定理という確立した部分結果は、確率と測定の核心に自己言及の影が差すことを示す。問13はそれを、タルスキ・ゲーデル・ブロイアー・ローヴェアの不動点という同じ家系へ位置づけ、「自己をモデル化する系は真値を内在化できず外部の錨を要する」という外部性定理の予感を立てた。この予感の証明は、第V部の固定点（問16）と終章の自己記述（問23）に懸かっている。
第V部 流れ・変容・時間の矢
ペレルマン三論文とIUT読解枠が共有する骨格——構造を発展させる流れ、単調量が定める一方向性、尺度間の自由度移送、自己相似な固定点——を、対応の問題として取り出す。この骨格は微分幾何にも数論幾何にも、そして統計力学にも現れる。だが分野を跨いで反復するこの形が、単なる発見法的相似なのか、それとも厳密な対応として定理化できるのかは、まだ決着していない。時間の矢・相同の昇格・固定点の普遍性という三問は、構造を変容させる流れの数学を、対応論の語彙で測り直す試みである。
問14 単調量が定める時間の矢の一般理論 〔予想〕
ペレルマンはリッチ流に、エントロピー汎関数の非減少（マイナス・エントロピー𝒲の単調性）と縮約体積の単調性という二つの単調量を与え、それらが流れに「時間の矢」を定めることを示した。〔確立〕熱力学第二法則のH定理、リャプノフ関数、IUT読解枠における対数体積の終端不等式も、同じ「単調量が方向を定める」構図を共有する。〔予想〕問いは、これらを統一する一般原理——「構造を発展させる流れに対し、それを生成する単調量（勾配・エントロピー・体積）が存在することと、流れが時間の矢を持つことは同値である」——を、幾何解析・統計力学・数論幾何を貫く定理として立てられるか、である。各分野での例は豊富だが、横断する一般定理はまだない。
単調量の事例は分野を貫いて累積している。ボルツマンのH定理、リャプノフ関数、デ・ジョルジの最小化運動としての勾配流、そしてペレルマンの𝒲エントロピーと縮約体積〔確立〕。非平衡統計力学のヤルジンスキ＝クルックスの揺らぎ定理は、不可逆性を等式の形で捉える。とりわけ示唆的なのは、場の理論のくりこみ群流に沿う単調量——二次元のc定理（ザモロドチコフ）、四次元のa定理（コマルゴツキ＝シュヴィマー）——で、これはくりこみ＝粗視化が不可逆であることの定理化にほかならず、ペレルマン‐IUT対応文書の「尺度間移送」と直に響き合う。〔予想〕これら一切を「単調量の存在と時間の矢は同値」という一般定理へ束ねられるかが、未決の核である。
ペレルマンの核心的洞察は、リッチ流が 𝒲 エントロピー汎関数の勾配流である、という一点にあった——単調性は勾配構造から自動的に従う。同じ図式は分野を貫く。リャプノフ関数とラサールの不変性原理は力学系に、ボルツマンのH定理は気体に、デ・ジョルジの最小化運動は勾配流一般に、方向を与える。とりわけ示唆的なのは場の理論のくりこみ群流で、二次元のc定理（ザモロドチコフ、証明済）、四次元のa定理（コマルゴツキ＝シュヴィマー、二〇一一、証明済）、三次元のF定理が、「自由度はくりこみ流に沿って減る」という単調性を確立している〔確立〕。これはくりこみ＝粗視化が不可逆であることの定理化にほかならず、ペレルマン‐IUT対応文書の「尺度間移送」とまっすぐ響き合う。〔予想〕未決の核は、これら一切を「構造を発展させる流れが単調量を持つことと、時間の矢を持つことは同値である」という一般定理へ束ねられるかである。可逆なハミルトン流はそうした単調量を持たないから、定理はむしろ「いつ単調量が存在するか」を特徴づけねばならない——その特徴づけこそ、まだ無い。
一般定理の具体的な形はこう書ける——構造の空間（モジュライ空間あるいは圏）上の流れが、リャプノフ／エントロピー型の単調量を持つことと、その流れが（一般化された）勾配流あるいは散逸系であることは同値であり、可逆な（ハミルトン／測度保存）流はそうした単調量を持たない。〔予想〕最初の一歩は、「構造を発展させる流れ」を精密化し（モジュライ空間上の流れ、あるいは圏上の自己関手の反復）、勾配構造から単調量が従う向きを一般に証明することだ。逆向き——単調量があれば勾配・散逸構造が復元される——は、デ・ジョルジの最小化運動の枠で部分的に知られる。c定理・a定理・F定理はくりこみ流に沿うこの図式の確立した実例であり、ペレルマンの 𝒲 はリッチ流に対するそれである。これらを一つの定理へ束ねることが、問15の相同・問16の固定点と地続きの、未決の核である。
時間の矢の問いは、宇宙論的・熱力学的な大問題とも一つに結ばれる。なぜ宇宙の過去は低エントロピーだったのか（過去仮説）、なぜ初期特異点でワイル曲率が小さかったのか（ペンローズのワイル曲率仮説）——これらは熱力学的な矢の起源を問う。〔予想〕単調量の一般理論が立てば、熱力学的な矢（エントロピー）、幾何学的な矢（リッチ流の 𝒲）、くりこみ的な矢（c・a・F定理）が、「構造発展流に付随する単調量」という一つの原理の三つの現れとして統一されるかもしれない。ペレルマン‐IUT対応文書が尺度間移送に見た骨格は、まさにこの統一の予感であった。時間の矢がなぜ分野を跨いで反復するのか——その問いに答えることは、対応の第V部全体に背骨を通すことにほかならない。
問15 尺度間自由度移送の構造的相同は定理化できるか 〔未踏〕
ペレルマン‐IUT対応文書は、くりこみ群流における尺度を跨いだ自由度の移送と、IUTの宇宙際性における宇宙を跨いだ移植可能性とのあいだに構造的相同を見た。だが同文書は、これが比喩・相同の指摘にとどまり、リッチ流とIUTのあいだに数学的同値や定理の移送を主張するものでは断じてない、と厳しく自戒している。〔未踏〕ここに対象性の最も鋭い未踏地がある。すなわち、二つの理論のあいだの構造的相同は、いつ単なる発見法的比喩を超えて、関手や随伴という厳密な対応（定理の移送を許す写像）へ昇格するのか。相同を比喩から定理へ格上げする判定条件——どの程度の構造保存があれば移送が正当化されるか——の一般論は存在しない。比喩が独自の哲学へ自走しないための歯止めを、形式的に与えることが課題である。
相同が定理へ昇格した前例は存在する。カリー＝ハワード対応（証明＝プログラム）、ストーン双対、ゲルファント双対、幾何学的ラングランズは、当初の比喩的並行性が厳密な圏同値・随伴へ結晶した例である。逆に、多くの物理的アナロジーは発見法のまま留まる。〔未踏〕だが「どれだけの構造保存があれば相同は定理の移送を許すのか」という昇格の判定条件は、一般には定式化されていない。ペレルマン‐IUT対応文書が自らに課した戒め——相同を指摘しても定理は移送しない——は、この判定条件が無いことの裏返しである。比喩・関手・随伴を連続体として測り、どの地点で移送が正当化されるかを画する尺度こそ、対応論の中央に空いた未踏地である。
相同が定理へ昇格した前例は、数学史の宝石である。カリー＝ハワード＝ランベック対応は「証明・プログラム・圏の射」を同一物の三つの顔として結び、ストーン双対はブール代数とストーン空間を、ゲルファント双対は可換C*環とコンパクトハウスドルフ空間を、厳密な圏同値で結ぶ。ラングランズ綱領やコンツェヴィチのホモロジー的ミラー対称性は、当初の比喩的並行性が部分的に定理化された例である。いずれも、当初は「似ている」という観察にすぎなかったものが、構造を保つ関手・随伴・同値として結晶した。〔未踏〕問題は昇格の判定条件である。ペレルマン‐IUT対応文書がくりこみ群とIUTの宇宙際性に見た相同は、文書自身が戒めるとおり、まだ定理の移送を許さない発見法にとどまる。どれだけの構造保存——どの極限・余極限・モノイダル構造の保存——があれば、相同は関手へ昇格し定理移送が正当化されるのか。比喩・関手・随伴を一つの連続体として測り、移送が許される閾値を画する尺度こそ、対応論の中央に空いた未踏地であり、問16の普遍性・問21の双対性と地続きである。
昇格の具体的な判定条件はこう立てられる——理論 A と B のあいだの相同が関手へ昇格するのは、両者の対象の圏のあいだに、関連する演算（合成、流れ、モノイダル積）と可換な構造保存写像が存在するとき、かつそのときに限る。〔未踏〕最初の一歩は、ペレルマン‐IUT対応の相同について、候補となる関手の定義域・余域の圏を特定し、「尺度ステップ」と「対数テータ・リンク」が実際に関手的かを検証することだ。おそらく関手性は破れる——だからこそ相同は発見法にとどまる。重要なのは、どこで関手性が破れるかを正確に文書化することである。それは「比喩から定理へ」の昇格が失敗する地点の最初の精密な記述となり、ペレルマン‐IUT対応文書が自らに課した戒め（相同を指摘しても定理は移送しない）に、形式的な裏付けを与える。これは問16の普遍性・問21の双対性と地続きである。
相同の昇格という問いは、数学的発見の方法論そのものに触れる。多くの偉大な数学は、まず異分野のあいだの「似ている」という感触から始まり、後に厳密な対応として定式化されてきた——ヴェイユ予想がエタール・コホモロジーへ、朗らかな類似が幾何学的ラングランズへ結晶したように。〔哲学〕だが感触のすべてが定理になるわけではなく、多くは発見法のまま朽ちる。昇格の判定条件を持つことは、どの類似に研究資源を賭けるべきかを見極める羅針盤を持つことに等しい。ペレルマン‐IUT対応の相同が定理へ昇格するか否かは未決だが、その判定の枠組みを作ること自体が、数学における「良いアナロジー」と「単なる語呂合わせ」を分ける一般理論への第一歩となる。これは問16の普遍性、問21の双対性と一つの未踏地を分かち合う。
問16 自己相似な固定点の普遍性 〔未踏〕
ペレルマンにおいてソリトン（微分同相と尺度を除いて不変な解）は力学系の固定点であり、ゆらぎσが零になる自己相似点であった。IUT読解枠における不変核（どの変異でも変わらない核）、くりこみ群の固定点、力学系の固定点は、いずれも「構造を発展させる流れの、自己相似で尺度不変な要石」という同じ役回りを担う。〔未踏〕問いは、この役回りを圏論的普遍性として捉えられるか——「構造発展流の固定点」を、ある関手の不動点・極限・終対象として一般に特徴づけられるか、である。各分野に固定点は遍在するが、それらを一つの普遍構成のインスタンスとして束ねる定式化は未踏であり、第VII部の自己記述（問23）と響き合う。
固定点の圏論には、すでに強力な核がある。ランベックの補題は始代数が関手の不動点（同型）を与えることを述べ、アダメクの定理は鎖 0→F0→F²0→… の余極限としてそれを構成する。アツェルの非整礎集合論と終余代数は、円環状・自己参照的な構造を矛盾なく扱う枠を与える——これはIUTの対数テータ格子のような閉じた円環構造に直に効く。そしてローヴェアの不動点定理は、ヤノフスキーが示したように、カントール・ゲーデル・タルスキ・ラッセル・チューリングの停止問題を「点を持つ全射があれば自己写像は不動点を持つ」という単一命題へ統一する。〔確立〕ここに問13・問23との合流点がある。〔未踏〕にもかかわらず、ペレルマンのソリトン（微分同相と尺度を除いた不動点）、IUTの不変核、くりこみ群の固定点（尺度不変なCFT）、力学系の固定点を、「構造を展開する自己写像の終余代数あるいは余極限」として一つの普遍構成のインスタンスに束ねる定式化は、まだ与えられていない。「構造発展流の要石としての固定点」を圏論的普遍性として書き切ることが、この問いの核である。
具体的な普遍性の標的はこう立つ——構造を展開する自己関手 F の要石たる固定点は、生成される構造に対しては始代数（ランベックの不動点）、継続する円環的構造に対しては終余代数である、という予想。ソリトン、CFTの固定点、IUTの不変核は、それぞれの「流れの関手」の終余代数として捉えられるのではないか。〔未踏〕最初の一歩は、微分同相と尺度を法としたリッチ流を一つの自己関手としてモデル化し、ソリトンがその終余代数になっているかを確かめることだ。もし然りなら、アツェルの非整礎集合論が円環構造に与える枠組みのもとで、ソリトン・CFT・不変核は単一の普遍構成のインスタンスとして統一される。ローヴェアの不動点定理（問13）が自己言及の限界を統べるのと同じ骨格が、構造発展流の要石にも宿る——この対応を書き切ることが、問23の自己記述へまっすぐ通じる。
固定点は、物理が尺度不変になる場所でもある。臨界現象における普遍性——異なる物質が臨界点で同じ臨界指数を示す事実——は、くりこみ群の固定点（問14）として説明される、確立した経験的・理論的成果である〔確立〕。すなわち物理的な普遍性（universality）は、流れの固定点という構造に根ざしている。もし「構造発展流の固定点」を圏論的普遍性（universal property、終余代数）として書き切れれば、物理の普遍性と圏論の普遍性という、同じ語を冠しながら別物とされてきた二つの概念が、一つの定式化のもとで握手することになる。ソリトン・CFT・不変核を貫くこの普遍性の探求は、問14の時間の矢、問13の自己言及、そして問23の自己記述と、ローヴェアの不動点を介して一つの構造を分かち合う。
【小結】 第V部の三問は、構造を発展させる流れの数学を、対応論の語彙で測り直す。問14は単調量が定める時間の矢の一般理論を、問15は分野を跨ぐ構造的相同がいつ定理化されるかを、問16は流れの固定点の普遍性を問うた。三問の底にはペレルマン三論文とIUT読解枠が共有する骨格——流れ・単調量・尺度間移送・自己相似な固定点——が横たわる。c定理・a定理やリッチ流の 𝒲 単調性という確立した実例は、くりこみ＝粗視化の不可逆性として、この骨格が実在することを示す。だが分野を横断する一般定理は、いずれの問いでもまだ欠けている。相同が比喩にとどまるのか関手へ昇格するのか（問15）、固定点が終余代数として統一されるのか（問16）——その判定は、ローヴェアの不動点を介して第IV部の外部性（問13）および終章（問23）と一つの構造を分かち合う。
第VI部 証明・受容・数学的真理
ペレルマン（受容された証明）とIUT（未決着の論争）の対比を起点に、対応の片翼である「数学的真理の確定」の認識論を問う。証明はいつ「受け入れられる」のか。検証されることと理解されること、形式化できることと合意されることは、どこまで同じでどこから別なのか。対応の数学側の地盤そのものが、社会的・認知的な過程に支えられているという事実が、ここで露わになる。受容の基準・検証と理解・真理の対象性という三問は、対応の数学側がどこまで観測者非依存でありうるかを問う。
問17 証明受容の機械化可能な基準 〔未踏〕
ペレルマンの三論文は、専門家集団による長期の検証を経て受容され、幾何化予想は確立された。一方、宇宙際タイヒミュラー理論については、二〇一八年のショルツェ＝シュティックスの指摘に始まる論争が、二〇二四〜二五年の新たな証明系列や反論、二〇二五年のIUT サミットおよび諸報告を経てもなお、数学界の合意には至っていない（二〇二六年時点）。両者の差は、誤りの発見の有無というより、鍵となる同一視（系3.12をめぐる対応）を集団が受け入れるか否かにあるように見える。〔未踏〕問いは、社会的合意とは独立に、「証明が受容されるべき」客観的・機械化可能な基準が存在するか、である。形式証明支援系（Lean等）による完全形式化は一つの候補だが、形式化されても人間が理解しない証明、理解されても形式化できない論証という二つの裂け目が残る。受容を合意から切り離す基準は、まだ与えられていない。
形式化という外部基準にも限界が見える。ヘイルズのフライスペック計画はケプラー予想を機械検証し、四色定理はゴンティエが完全形式化した。だがIUTの形式化は、まず争点の同一視（系3.12）を形式言語へ翻訳する段階で合意が要り、そこがまさに係争点である以上、形式化は争いを解かずに移すだけになりかねない。〔未踏〕二〇一八年の京都での対面討議でも溝を埋められなかったことは、受容が証明検証とは別の社会的・認知的過程であることを露わにした。社会的合意から独立した受容の基準——機械が「この証明は受け入れられるべきだ」と判定できる規準——は、フォージ・レジャーの解決者外部化と同じ難所、すなわち裁定者を内在化できるかという問23に行き着く。
IUTをめぐる経緯は、受容が検証とは別物であることを露わにする。二〇一八年春、ショルツェとシュティックスは京都でモチヅキと直接討議したが、系3.12をめぐる溝は埋まらなかった。論文は二〇二一年にPRIMS誌へ掲載されたが、モチヅキが同誌の主幹編集者である点をめぐるガバナンス上の疑義も提起された。二〇二四〜二五年にはジョシが独自の算術タイヒミュラー空間の系列でabc予想の証明を主張し、ショルツェと一部の力点で合意に達したものの、ショルツェがモチヅキの証明を是認したわけではない。〔未踏〕形式証明支援系（Lean／mathlib）による完全形式化は外部基準の有力候補だが、IUTの形式化はまず争点の同一視を形式言語へ翻訳する段階で合意を要し、そこがまさに係争点である以上、形式化は争いを解かずに移すだけになりかねない。対照的に、ヘイルズのフライスペック（ケプラー予想）やゴンティエの四色定理は形式化を経て受容された。社会的合意から独立した受容の機械化可能な基準——これはフォージ・レジャーの解決者外部化と同じ難所、すなわち裁定者を内在化できるかという問23に行き着く。
具体的な受容基準の候補を一つ立てられる——証明が「受容される」とは、それがある基礎体系で形式化され、かつ多様で独立な専門家がそれぞれ鍵となる補題を形式テキストから再構成できること、と定める。前半は機械化可能（Lean）、後半は社会的だが操作化可能である。〔未踏〕最初の一歩は、IUTの係争段階を部分的に形式化し、形式化が争点の同一視を白日のもとに引き出すかを見ることだ。形式化が合意を強制するなら受容は前進し、形式化してもなお解釈が割れるなら、受容は検証とは別の認知過程であることが確定する。フライスペックや四色定理が形式化を経て受容された前例は前者の希望を、IUTの京都討議の不調は後者の困難を示す。社会的合意から独立した受容の機械化可能な基準——これはフォージ・レジャーの解決者外部化と同じ難所、すなわち裁定者を内在化できるかという問23に行き着く。
IUT論争は、数学社会学の稀有な自然実験でもある。その帰趨は、数学に客観的な受容手続きがあるのか、それとも最終的には共同体の信頼に依存するのかを試す。〔哲学〕もし将来、形式証明支援系（Lean／mathlib）が争点を裁定するに至れば、それは数学という営み全体にとっての画期——いわゆる「形式化の転回」——となり、受容を合意から切り離す道が初めて開ける。逆に形式化が争点を解かず移すだけに終われば、受容は本質的に社会的・認知的過程であることが確定し、数学的真理の対象性（問19）に重い影を落とす。証明の受容という、一見すると数学内部の手続き問題が、実は対応の片翼たる数学的真理がどこまで観測者非依存かという問い（問18・問19）の試金石になっている。
問18 「検証」と「理解」は独立の軸か 〔哲学〕
前問の裂け目を主題化する。機械的に検証可能なこと（一行ずつ規則に従うか）と、人間が理解すること（なぜ成り立つかが腑に落ちること）は、同じ事柄の二側面なのか、それとも独立の軸なのか。〔哲学〕四色定理の計算機証明は検証されたが長く「理解」されないと言われ、IUTの論争はまさに鍵の同一視の理解と同意をめぐる。もし両者が独立なら、「正しいが誰も理解しない証明」と「理解されるが形式化されない論証」がともに正当な数学でありうることになり、数学的真理の対象性（次問）に直接跳ね返る。この二軸の独立性を概念的に画定することが課題である。
この裂け目には豊かな前例と理論的蓄積がある。サーストンは「証明と進歩」で、数学の前進は形式的導出ではなく人間の理解の増進だと論じた。ティモツコは四色定理を機に「証明は人間が見渡せる（surveyable）べきだ」という条件を提起し、コック／Leanの形式的証明はしばしば検証可能だが見渡せない。逆に、経路積分やくりこみのような物理由来の論証は「理解」を与えながら厳密な形式化を欠く。〔哲学〕説明的証明をめぐる議論（スタイナー、ランゲ）は、「なぜ成り立つかを示す証明」と「成り立つことを確かめる証明」の差を主題化してきたが、決定的な形式的定義には至っていない。もし検証と理解が独立の二軸なら、四象限——検証可能かつ理解可能、検証可能だが不可解、理解できるが未形式化、どちらも欠く——のすべてが数学に実在する。理解を検証から分離して概念的に画定すること、すなわち「腑に落ちる」を形式的に語る術は、まだ無い。これは問17の受容基準と問19の真理の対象性を結ぶ蝶番である。
「理解」に具体的な handle を与える一案は、理解を圧縮として捉えることである——ある論証が理解されている度合いは、それが短く転移可能なスキーマへどれだけ圧縮できるかで測る（問22の最小記述長と通底する）。見渡せる証明とは、人間が把持できる短い圧縮を持つ証明であり、検証はできるが見渡せない証明は圧縮に抵抗する。〔哲学〕最初の一歩は、証明に対する圧縮尺度を定義し、それが四色定理やフライスペックをめぐる「検証されたが理解されない」という直観と一致するかを試すことだ。逆方向に、物理由来の論証（経路積分、くりこみ）は高い圧縮率（理解）を持ちながら厳密な形式化を欠く——理解と検証が独立の二軸である証左である。理解を検証から分離して形式的に語るこの試みは、検証と理解が別の軸であることを定量的に示す最初の一歩となる。
検証と理解の分離は、人工知能による数学が現実になりつつある今、いっそう切実である。形式証明支援系や自動証明探索は、人間が見渡せない長大な証明を生成しうる——検証は可能だが理解を伴わない数学が、原理的にではなく実際に増えていく。〔哲学〕もし将来、機械が重要な定理を「検証可能だが誰も理解しない」形で証明したら、それは数学的知識と呼べるのか。サーストンの「数学の前進は人間の理解の増進だ」という規範は、この事態にどう応えるのか。理解を圧縮として測る試み（問22の最小記述長と通底する）は、機械が見つけた長大な証明を人間が把持できる短いスキーマへ凝縮できるかという、具体的で喫緊の問題に直結する。検証と理解の二軸の独立性は、もはや思弁ではなく、数学の実践が直面しつつある分岐である。
問19 数学的真理の対象性 〔哲学〕
物理的対象には、観測者から独立な存立——対象性——があると我々は考える。数学的対象にも同種の対象性があるのか。〔哲学〕プラトン主義・構造主義・形式主義はこの問いへの異なる態度だが、決着はつかない。ゲーデルの不完全性が示すのは、ZFCから独立な命題には「真偽の事実」が観測者非依存に存在するのか、という問いが原理的に証明では片づかないことである。連続体仮説は真か偽か、それとも真偽を持たないのか。本稿の文脈で重要なのは、数学的真理がもし観測者非依存の対象性を持つなら、それは物理的対象性と同じ種類のものか、という対応の問いである。これは証明の埒外にあるが、対象性という主題の根に触れている。
論争の地形は明瞭でありながら決着しない。集合論的多宇宙論（ハムキンス）は独立命題に唯一の真理値を認めず、対する宇宙観（ウッディンの究極のL、Ω論理、大型基数）はCHすら決定しうると説く。ベナセラフのジレンマは、数学的真理を観測者非依存とみるプラトン主義と、因果的に触れえない対象をいかに認識するかという知識論とを両立しがたくする。フィールドの唯名論（数なき科学）は数学的対象の実在を否定して不可欠性論法に抗い、シャピロやレズニックの構造主義は対象ではなく構造に実在を置く。〔哲学〕本稿の関心は決着より構造にある。数学的真理がもし観測者非依存の対象性を持つなら、それは物理的対象性と同種なのか別種なのか——「事実の有無」を問うこの問いの形そのものを精密化することが、証明の埒外にありながら、対象性という主題の根に触れる。これは問18の理解と、問23の自己記述へ流れ込む。
決着を求める代わりに、「事実の有無」という問いの構造そのものを精密化する道がある。独立命題のうち、数学者の直観が強く真理値を追跡するものはどれか——たとえば大型基数の無矛盾性や、ある種の組合せ論的制約については、多くの専門家が一定の確信を共有する。この「直観的決定性の度合い」を、独立命題に関する数学的信念の社会学的データとして扱い、「事実」の構造の手掛かりとする。〔哲学〕最初の一歩は、独立命題を直観的決定性の度合いによって分類する丁寧な taxonomy を作ることだ。連続体仮説のように直観が割れる命題と、大型基数の整合性のように直観が収束する命題の違いは、数学的真理の対象性が一様でないことを示すかもしれない。これは独立命題ごとに真理の対象性が一様でないことを示唆し、問18の理解の根拠とも響き合う。
数学的真理の対象性は、本稿全体の前提そのものに跳ね返る。もし数学に観測者非依存の対象性が無いなら、数学と物理の対応とは、物理的実在と、部分的に人間の規約に染まった構築物とのあいだの対応ということになり、本稿の二十三問すべての地平が変わる。逆に数学が客観的な対象性を持つなら、対応は二つの客観的領域のあいだの関係となり、ウィグナーのいう「数学の不合理なまでの有効性」——なぜ人間の頭で編んだ数学が自然をかくも精確に捉えるのか——が、いっそう深い謎として立ち上がる。〔哲学〕この問いに態度を決めずとも本稿は進められるが、決め方しだいで対応の意味は大きく変わる。数学的真理の身分は、対象性という主題の前提であり、ゆえに問23の自己記述——記述する者は対応の内に立てるか——の、さらに底に横たわる岩盤である。
【小結】 第VI部の三問は、対応の片翼である数学的真理の確定を、認識論の側から照らす。問17は証明受容の機械化可能な基準を、問18は検証と理解が独立の軸かを、問19は数学的真理が観測者非依存の対象性を持つかを問うた。ペレルマン（受容された証明）とIUT（未決着の論争、二〇二六年時点）の対比が、三問すべての入口に置かれる。形式化（Lean、フライスペック、四色定理）という外部基準はあるが、受容は検証とは別の社会的・認知的過程であり、理解は検証から独立し、真理の対象性は証明の埒外にある。三問を貫くのは、対応の数学側の地盤そのものが、どこまで観測者非依存でありうるかという問いである。理解を圧縮として測る試みや、独立命題の直観的決定性の分類は、その地盤を測量する最初の一歩にすぎない。これらはみな、終章の自己記述（問23）へ流れ込む。
第VII部 対応の限界と自己記述
対応そのものの厳密化に残された大問題を置き、最後に、対応を内側から記述しうるかという自己言及の問いへ畳み込む。対応先の数学（問20）、双対性の身分（問21）、記述の複雑性（問22）を経て、問いは最後に自らへ折り返す——数学と物理の対応それ自体を、対応の内側から記述しきれるのか。本書のすべての問が、この一点へ集まる。対応先の数学（問20）、双対性の身分（問21）、記述の複雑性（問22）を経て、最後の問23は、対応がおのれの裁定者を内在化できるかという本書全体の収束点となる。
問20 物理学の公理化（ヒルベルト第六問題の現況） 〔予想〕
ヒルベルトは第六問題で確率論を含む物理学の公理化を求めた。百年余を経て、量子力学の公理化は再構成定理として相当に進んだが、一般相対論と場の量子論を統合する整合的・完全な数学的枠組みはなお存在しない。具体的下位問題として、四次元ヤン＝ミルズ理論の存在と質量ギャップの証明（クレイ研究所のミレニアム問題）が残る。〔確立〕この問いが未解決であること自体は確定した事実で、二〇二六年時点で解決済のミレニアム問題はポアンカレ予想のみである。格子計算や実験はギャップの存在を強く支持するが、ワイトマン公理級の厳密な構成と証明は与えられていない。〔予想〕すなわち下位問題は「証明せよ」と精密に書き下せる予想だが、第六問題全体——対応の受け皿となる数学を整える要請——は、なお正しい定式化の幅を残す。対応を論じる以前に、対応先の数学的構造が厳密に構成されていないという、最も素朴で最も重い未踏地である。
部分的前進は確かにある。構成的場の理論はグリム＝ジャッフェ以来、二次元・三次元の φ⁴ 模型をワイトマン公理やオスターヴァルダー＝シュレーダー公理を満たす形で構成した。近年はハイラーの正則化構造やチャンドラ＝シェヴィレフ＝ハイラー＝シェンによる三次元ヤン＝ミルズのランジュヴァン動力学の厳密化が、確率量子化の側から地歩を進めている。格子QCDの数値計算は質量ギャップ Δ≳1.5 GeV を強く示唆する〔確立〕。だが四次元の非自明なゲージ理論を、これらの公理を満たす形で厳密に構成し、ギャップの正値性を証明する核心は、依然として空白のままである。〔予想〕物理は実験的に検証され尽くしているのに、その数学的受け皿だけが未完成という倒錯——対応を語る前に対応先が建っていないこの状況こそ、ヒルベルト第六問題が今なお現役である理由であり、本稿の他の二十二問すべてが立つ地盤の脆さを示す。連続体（問8）と無限（問9）の身分が未決のまま、その上に場の理論を厳密に載せねばならないという二重の困難が、ここに凝縮している。
中間的な具体目標も立てられる。完全な四次元ヤン＝ミルズの前に、トーラス上やUVカットオフ付きの四次元ゲージ理論を厳密に構成し、その連続極限を制御すること、あるいは連続極限の存在が証明された格子理論に対して質量ギャップを示すこと。ハイラー流の確率量子化はこの方向の生きた綱領であり、三次元ヤン＝ミルズ測度の構成（チャンドラ＝シェヴィレフ＝ハイラー＝シェン）を四次元へ押し上げる試みが続く。〔予想〕最初の一歩は、すでに進行中のこの三次元から四次元への移行を、ワイトマンないしオスターヴァルダー＝シュレーダー公理と接続できる形で完遂することだ。連続体（問8）の身分が未決のまま、その上に場の理論を厳密に載せ、無限（問9）の取り扱いを制御せねばならない——この二重の困難を抱えたまま、三次元から四次元への移行を完遂することが、第六問題へ向けた当面の最前線である。
質量ギャップは賞金問題以上のものを賭けている。それは標準模型の強い相互作用の部門が、厳密な数学的存在を持つか否かの問いであり、閉じ込め（自由なクォークが取り出せないこと）はギャップの物理的な顔である。さらに広く、四次元の相互作用する場の量子論が非摂動的に存在するのかという問いに連なる——実際、アイゼンマン＝デュミニル＝コパンは二〇二一年に四次元の φ⁴ 理論が自明（自由場に帰着）であることを証明しており〔確立〕、四次元では存在しない理論があることが分かっている。ゆえにヤン＝ミルズが非自明に存在しギャップを持つことの証明は、四次元場の理論のうち何が生き残るかを画する境界線そのものである。連続体（問8）の上に非自明な四次元理論を厳密に載せられるか——対応先の数学の存在そのものが、ここで問われている。
問21 数学的等価性と物理的等価性の判定 〔未踏〕
実数版と複素版の量子力学は予測において等価ゆえ、複素数は規約とされた（問4）。一方、双対性はより厄介である。AdS/CFT対応、T双対性、ミラー対称性では、数学的にまったく異なる二記述が同一の物理を与えるとされる。〔未踏〕問いは、二つの数学的記述が「同じ物理」を表すための判定基準を、不変な形で与えられるか、である。等価な書き換えにすぎないのか、それとも各々が独立の物理的内容を持ち、その一致自体が深い定理なのか。実数‐複素の等価（規約）と、双対性の等価（深い対応）を分かつものは何か。この線引きは、対象性の問いを双対性の沃野へ拡張した、未踏の中心問題である。
双対性は物理学に最も深い驚きを供給してきた。マルダセナのAdS/CFT対応は、反ドジッター空間の重力理論とその境界の共形場理論を同一視し、厖大な整合性検証を積みながら、なお数学的には予想である〔予想〕。T双対は半径 R と α′/R の弦理論を、ミラー対称性は位相の異なるカラビ＝ヤウ多様体を結び（SYZ予想、コンツェヴィチのホモロジー的ミラー対称性として部分的に定理化）、二次元のボゾン化はフェルミ粒子とボーズ粒子の記述を厳密に交換する。〔未踏〕ここで問4が先鋭化する。実数‐複素の等価は「つまらない書き換え（規約）」とされるのに、双対性の等価は「深い定理」と称えられる。両者を分ける不変な基準は何か。一つの見立ては辞書の複雑さである——実数‐複素の対応辞書は局所的で短く、AdS/CFTの辞書は非局所的で深い。深さを辞書の記述複雑性（問22）として測れるなら、規約と深い対応の境界が定量化できる。どちらが基本かを問うこと自体が無意味になる双対の民主制をも包む、この線引きこそ、対象性を双対性の沃野へ拡張する未踏の本丸である。
深さを測る具体的な提案がある——双対性の「深さ」を、一方の記述の観測量を他方へ写す辞書の記述複雑性（問22）として定義する。実数‐複素では辞書は局所的・線形で短く、ゆえに浅い（規約と見なせる）。AdS/CFTでは辞書は非局所的（バルクの一点が境界の塗り拡げに対応する）で長く、ゆえに深い。〔未踏〕最初の一歩は、いくつかの既知の双対性について「辞書の複雑性」を形式化し、それが物理学者の直観する深さの序列——実数‐複素は浅く、T双対は中程度、AdS/CFTは深い——と一致するかを確かめることだ。一致するなら、規約と深い対応を分かつ線が初めて定量化される。どちらが基本かを問うこと自体が無意味になる双対の民主制をも包むこの線引きを、辞書の複雑性として定量化することが、最初の具体的な一歩となる。
双対性は、対応の対象性に深い波紋を投げる。同じ物理が数学的にまったく異なる二つの記述を持つなら、「その物理の数学的構造」という言い方自体が一意性を失う——これは数学的対象に観測者非依存の対象性を認める素朴なプラトン主義（問19）を掘り崩す。〔哲学〕最も深い理論が双対の対をなして現れるとすれば、物理理論の数学的構造は本質的に複数的でありうる。この複数性をどう測り、どう飼い慣らすかは、記述複雑性（問22）と規約判定（問4）に跳ね返る。実数‐複素の浅い等価から、AdS/CFTの深い双対までを一つの尺度——辞書の複雑性——で並べることは、対象性の第一方向（必然と規約）を双対性の沃野へ拡張する作業であり、本稿の前半（必然と規約）と後半（双対と自己記述）を一本に縫い合わせる軸となる。
問22 記述複雑性の不変量 〔未踏〕
実数版量子力学は複素版と等価だが「重い」。二量子ビットの状態が複素では実八自由度で済むところ、素朴な実テンソル積では十六に膨らむ。実数版が反証されないにもかかわらず複素版に軍配が上がるのは、簡潔さゆえである。〔未踏〕この「簡潔さ」を美意識ではなく定理にできるか。理論記述に対する不変な複雑性尺度（最小記述長やコルモゴロフ複雑性の理論版）を定義し、「複素版は最小である」を証明できるか。これはフォージ・レジャーが暗黙に依拠したオッカム的経済——等価な予測者のうち校正が良く記述が短いものを選ぶ——の形式化でもある。等価な記述のうち一つを「自然」と呼ぶ根拠を、不変量として与えることは未踏である。
素朴な候補はすぐ壁に当たる。コルモゴロフ複雑性は普遍機械の選び方で定数ぶん揺れる不変性定理しか持たず、しかも計算不能で、有限の理論比較には使えない。最小記述長（リサネン）やソロモノフ帰納は実用的だが、何を記述原語に取るかに依存する。物理学の「自然さ」やファインチューニング論争は、この複雑性問題の物理的な従兄弟である。〔未踏〕「複素版は実数版より単純」を美意識ではなく定理にするには、文字列ではなく理論に対する、言語選択に依らない不変な複雑性尺度が要る。候補は、ある標準的な圏における最小の表示、あるいは問4の余剰構造の量である。自由度の数（八対十六）はその尺度の素朴な影にすぎない。興味深いのは、これがフォージ・レジャーの暗黙のオッカム——等価な予測者のうち校正がよく記述の短いものを選べ——とまったく同じ要請である点だ。等価な記述のなかから一つを「自然」と呼ぶ正統性を不変量として与えること。これは問4の判定基準・問21の双対性と、一つの未踏地で交わる。
不変な複雑性尺度の具体的な候補を一つ挙げられる——理論を対称モノイダル圏（あるいはPROP）として表したときの、生成元と関係式による最小表示の長さ。これは依然として言語相対的だが、その相対性が「標準的な圏の選択」一点に固定されるため、普遍機械の任意性というコルモゴロフ複雑性の難点を回避できる。〔未踏〕最初の一歩は、実数版と複素版の量子力学をPROPとして書き、複素版の最小表示が実際に短いことを計算で確かめることだ。これは問4の余剰構造の量とも、問21の辞書の複雑性とも同じ尺度に帰着しうる。自由度の数（八対十六）は、この圏論的最小表示長の素朴な影にすぎない。等価な記述のなかから一つを「自然」と呼ぶ正統性を、美意識ではなく不変量として与えること——フォージ・レジャーの暗黙のオッカムを定理にすること——が、ここでの具体的な目標である。
記述複雑性の不変量は、本稿全体の隠れた要石でもある。必然か規約か（問4）、深い双対か浅い書き換えか（問21）、複素版はなぜ自然か（問2・問3）——これらの問いはいずれも、最終的には「どちらの記述が単純か」という比較に帰着する。だが比較の物差しが不変でなければ、その判定はすべて宙に浮く。〔未踏〕フォージ・レジャーが等価な予測者のうち校正がよく記述の短いものを選んだのは、この物差しを実務的に仮設したからである。理論に対する言語非依存の複雑性尺度を確立することは、したがって単独の問いではなく、本稿の前半（必然と規約）と後半（双対と自己記述）を貫く一本の軸を据えることに等しい。自然さを美意識から定理へ——この昇格が成れば、対象性をめぐる多くの問いが一斉に手がかりを得る。
問23 対応の自己記述 ── 系はおのれの裁定者を内在化できるか 〔未踏〕
最後に、二十三問を一点へ畳み戻す。本稿が並べた未踏地には、同じ構造が反復して現れる。観測者を含む物理は、測定の解決者を内部に持てない（問12・問13）。自己採点する台帳は、採点者を外部化せねば腐る（問13）。IUTのレイヤースタックは最下段と最上段が呼応して閉じた輪をなすが、その円環を保証する不変核は基点フリーな仕様として円環の外側に据えられる。数学的真理の裁定は、証明体系の内部から真理述語を定義できない（タルスキ、問19）。〔未踏〕これらを統べる問いはこうである。数学世界と物理学世界の対応そのものを、数学の内側から完全に記述できるか。あるいは、記述する者は常に対応の外に立たねばならないのか。本稿が冒頭で採った言明強度の凡例——事実・予想・未踏・哲学を分ける身振り——すら、対応を語る記述が自らの確実性を内部から保証できないことの、ささやかな実演である。対応の不動点が存在するのか、それとも対応は本質的に外部の錨を要し続けるのか。これが、対象性という主題の最深部に残された、まだ証明も反証もされていない問いである。
統一の芽は、ローヴェアの不動点定理（問16）にある。対角線論法・ゲーデル・タルスキ・ブロイアーの自己測定限界（問13）は、いずれも「自己に適用される写像」の同じ骨格から生じる。ならば、数学世界と物理世界の対応それ自体を一つの自己写像として捉えたとき、それは不動点を持つのか——対応が自らを完全に記述する内的な像が存在するのか、それとも対応は本質的に外部の視点（外部の採点者・外部の真理・外部の観測者）を要し続けるのか。〔未踏〕本稿が冒頭で〔確立〕〔予想〕〔未踏〕〔哲学〕と強度を刻んだ身振りそのものが、対応を語る記述が自らの確実性を内側から保証できないことの、ささやかな実演だった。最深の問いはこうだ——対応に不動点はあるか。これだけが、二十三問すべてを一点に集める、まだ証明も反証もされていない問いである。
実践的な含意も、ここから素直に出る。観測者を含む系・自己採点する台帳・自らを参照する証明体系のいずれを設計するときも、真理を確定する役割（採点者・解決者・検証者）は、系の内部に畳み込もうとするほど退化し、外部へ置くほど安定する。フォージ・レジャーが予測者と採点者の分離を鉄則としたのも、IUTが基点フリーな不変核を円環の外に据えるのも、量子測定が観測者を被観測系から切り離すのも、同じ要請の三つの現れである。対応に不動点があるか否かは未決だが、当面の設計原則は明白だ——裁定者を外に置け。これは定理ではなく、二十三の未踏地の只中で、いま手に取れる唯一の羅針盤である。
最後に、この自己記述の問いがなぜ二十三問の収束点なのかを述べておく。観測者を含む物理は測定の解決者を内に持てず（問12・問13）、自己採点する台帳は採点者を外に置かねば腐り（問13）、証明体系は自らの真理述語を定義できず（問19・タルスキ）、構造発展流はその固定点を要石とする（問16）。これらはローヴェアの対角線という同じ根から枝分かれする。ならば、数学世界と物理世界の対応それ自体を一つの自己写像とみたとき、それは不動点を持つのか——対応が自らを完全に記述する内的な像が存在するのか、それとも対応は本質的に外部の視点を要し続けるのか。〔未踏〕アツェルの非整礎集合や終余代数が示すように、円環的・自己参照的な構造は矛盾なく存在しうる。だとすれば、対応の不動点（自己記述の閉包）が存在する可能性は原理的には残る。しかしそれが物理と数学を貫く形で実在するか、それとも記述する者は永久に対応の外に立たねばならないか——この問いだけが、二十三問すべてを一点に集める、まだ証明も反証もされていない核心である。本稿が冒頭で言明の強度を刻んだ身振りそのものが、対応を語る記述が自らの確実性を内側から保証できないことの、ささやかで誠実な実演であった。
最後に、この素描そのものが一つの実例であることを認めておきたい。本稿は対応を外から語りながら、自らの確実性を内側からは保証できない——だからこそ言明の強度という外部の標識を貼り、確定と推測を峻別する規律を、底流の四文書から受け継いだ。二十三の問いは、見方を変えれば、ただ一つの問い——記述する者は記述される対応の内に身を置けるのか——を二十三の角度から照らしたものにすぎないのかもしれない。〔哲学〕その答えがどちらであれ、確かなことが一つある。良く立てられた問いは、解かれずとも研究を方向づける。ヒルベルトの二十三問がそうであったように、ここに並べた未踏地もまた、誰かが一つずつ踏み分けてゆくための最初の地図であり、版を改めるたびに強度の標識を貼り替えてゆく、生きた測量図として扱われるべきものである。対応に不動点はあるか——この問いを、開かれたまま、次の測量者へ手渡す。
終章 測量を終えて
二十三の問いは、四つの主題系へ収斂する。第一に必然と規約の境界（問1〜4、21、22）。ある構造が物理に不可欠か便宜かは、等価性の証明だけでは決まらず、自然さを測る不変量を要する。第二に同一性の権限（問5〜7）。見かけ上同じ対象をいつ同一視してよいかは、許される同一視の群と、その不変量としての観測可能量の理論を要する。第三に裁定者の外部性（問11〜13、17〜19、23）。確率を付ける者、真値を確定する者、証明を受容する者——対応を裁定する主体は、なぜ対応の外に立つのか。第四に流れと固定点（問14〜16）。構造を発展させる流れと、その単調量・固定点の普遍性は、分野を跨いで反復しながら、いまだ一般定理を欠く。
これらはヒルベルトの問いがそうであったように、解かれることよりも、よく立てられることにまず価値がある。底流の四文書が共通して守った規律——確定事実と解釈と比喩を峻別し、対応の主張が定理の移送に化けるのを戒める——は、本稿の二十三問すべてに通底する方法論でもある。対象性をめぐる未踏地は、性急な統一によってではなく、各問の言明強度を正しく見定め、比喩が独自の哲学へ自走しないよう歯止めをかけながら、一つずつ測量されるべきものである。
四つの主題系の底には、さらに一本の背骨が通っている。自己言及である。採点者を外部化せねば腐る台帳（問13）、自らの真理を定義できぬ体系（問19）、自分を含む系を観測しきれぬ観測者（問12）、そして構造発展流の固定点（問16）は、ローヴェアの不動点定理という同じ根から枝分かれする。対象性の最深部（問23）が問うのは、数学と物理の対応がこの自己言及の輪を閉じられるか、それとも永久に外部の錨を要するか、であった。底流の四文書がいずれも「流れ・単調量・尺度間移送・固定点・終端の採点」という同型の骨格を持っていたのは、おそらく偶然ではない。それらはみな、自らを記述しようとする系が必ず行き当たる同じ関節を、別の語彙で触れていたのである。
本稿を貫く方法上の含意も、ここで一つにまとまる。対応を語る記述は、自らの確実性を内側から保証できない——だからこそ、確定事実・予想・未踏・哲学という言明の強度を外から貼り、比喩が定理の移送に化けるのを戒め、確定と推測を峻別する規律が要る。これは底流の四文書がそれぞれの沃野で守った編集原則であり、本稿の二十三問すべてに通底する。対象性の未踏地を測量するとは、性急に統一の像を描くことではなく、各問がいまどの強度に立つかを正確に見定め、その標識を研究の進展に応じて貼り替えてゆくことにほかならない。
第VII部については、終章のここで小結に代える。問20は対応先の数学（四次元場の理論）がそもそも厳密に構成されていないことを、問21は双対性という「深い等価」と規約的等価をいかに分かつかを、問22はその深さを測る不変な記述複雑性の不在を、そして問23は対応それ自体を内側から記述しうるかを問うた。前三問が「対応の限界」を外側から測るのに対し、問23はその測量者自身を測量の対象に組み込む——ここで本稿は自らへ折り返す。対応先がまだ建っておらず（問20）、深さの尺度もなく（問21・問22）、しかも記述する者は対応の外に立たねばならないかもしれない（問23）。この三重の未完こそ、対象性という主題が今日立つ地点である。
過渡期の関心は個別の定理にあるが、本命の原型は、これら二十三問が共有する一つの形——記述する者と記述される対応とのあいだの、埋めがたくも生産的な隙間——の側に先に現れるだろう。その隙間こそが、地図を山と取り違えないための、唯一にして最大の余白である。
二十三の問いはばらばらに見えて、一つの問いの二十三の相にすぎないのかもしれない——記述する者は、記述される対応の内に身を置けるのか、と。その答えがどちらであれ、問いを精密に立てたという事実だけは残る。ヒルベルトの二十三問がそうであったように、ここに並べた未踏地もまた、誰かが一つずつ踏み分けてゆくための、最初の地図である。
蛇足を一つ。これら二十三のうち、明日にも標識が動きうるのは、事実確認を要した二問——ヤン＝ミルズの質量ギャップ（問20）とIUTの受容（問17）——である。残りの多くは、定理が出れば解けるというより、正しい問いの立て方そのものを待っている。だからこの素描は、版を改めるたびに強度の標識を貼り替えてゆく、生きた地図として扱われるべきものである。
── 了 ──
補遺 ── カプレカ力学という較正点
本書を閉じたのち、二十三問のいくつかが有限・完全可解な設定で一斉に決着する実例に触れておきたい。チェン、オノ、シュワルツ、サクールによる四桁奇数基数のカプレカ力学（二〇二六年六月）である。カプレカ操作——四つの桁を降順に並べた数から昇順の数を引き、繰り返す——は、基数十では 6174 に吸い込まれる不透明な手品に見える。だが奇数基数 B>3 では、外差 d1 と内差 d2、その半和 r と半差 s をとり、非零剰余を ±1 で同一視した射影類に移すと、高々三歩の前周期ののち、桁の操作はちょうど {[r],[s]} を {[2r],[2s]} へ送る——符号を無視した二倍にほかならない〔確立〕。
これは問15（相同はいつ定理になるか）の最も透明な達成例である。論文の心臓 Φ∘K ＝（倍化）∘Φ は、「桁のソートは秘かに合同算術だ」という比喩を、明示的な全単射 Φ によって定理へ昇格させる。私が問15で昇格の条件として挙げた「力学と可換な構造保存写像の存在」が、ここでは Φ として現前し、しかも有限の舞台ゆえ関手性の破れる箇所が無く、相同は完全な定理になりきる。
さらにこれは問5と問16の実例でもある。論文がわざわざ有限力学系における共役を Φ(f(x))＝g(Φ(x)) と定義し直すのは、「同じとは状態の貼り替えを除いて同型ということだ」という問5の主題に正面から触れるからである。そして基数十の 6174 は、この枠では倍化作用の最も短い軌道——一周期——として吸収され、問16の「構造を展開する流れの要石としての固定点」が完全可解な形で実現する。ただし限定は正確に。6174 は偶数基数の現象であり、この透明な定理は奇数基数のものである〔確立〕。
そして本書の保存則がここにも働く。複雑性は消えず、二つの場所へ移送される——高々三歩の前周期という過渡と、λ(B)＝「群 (Z/BZ)^×/{±1} における 2 の位数」という数論的不変量である。終端周期の最大長は (B−1)/2 で抑えられ、等号は素数かつ λ(B)＝(B−1)/2 のときに限る〔確立〕。問22が問うた「記述複雑性は表現の取り替えに対して不変か」が、ここでは一個の整数論的不変量への凝縮として、可検証な事実になっている。
この論文は、問13・問17・問18・問23の現実の標本でもある。構造的予想はシュワルツとサクールが立て、AI形式数学系 AxiomProver には証明ではなく命題だけが渡され、Lean／mathlib の形式化が生成された。Lean の型検査器こそ、問13・問17・問23が要求した「合議から独立した、機械的に検証可能な裁定者」の実物である〔確立〕。さらに論文は、形式証明が人間の語りと似ないこと、Lean ファイルを人間可読な証明に変えるのが難しいことを自ら明言する——問18（検証と理解は独立の二軸）の野生の実例である。検証は機械へ外注され、理解は人間が差分・射影座標という物語として再構築した。どの座標が正準かを見抜く創造の核（問22）は、なお人間の場所にとどまっている。
ゆえにカプレカは、二十三問に対する較正点（control case）として使える。対応が真の同型であり、領域が有限であれば、二十三問の不安はすべて鮮明な答えを持つ——共役は定理化され、機械的に検証され、検証と理解の分離までその場で露呈する。逆に量子基礎やIUTで二十三問が手強いのは、領域が無限であるか、対応が真の同型でないか、裁定者を内在化せざるをえないか、のいずれかが効くからだ。カプレカはそのどれもが無い世界であり、難しさがどこから入るのかを測る基準線を与える。手品の正体が「×2」であったように、難問の正体もまた、適切な座標と適切な裁定者のもとでは、思いのほか簡素なのかもしれない。
