Axiomatizing Irreversibility in Inter-Universal Communication: A Structural-Semantic Reconstruction of IUT via Elementary Irreversible Morphisms
Author: Fumio Miyata
ORCID: https://orcid.org/0009-0008-8797-5578
Email: ai.kenkyu.001@gmail.com
Date: June 2026
DOI: https://doi.org/10.5281/zenodo.XXXXXXXX
概要
本稿は、望月（新一）による宇宙際タイヒミューラー理論（IUT）の宇宙際通信プロセスにおいて発生する不可逆的な構造変化をモデル化するための、フォーマルな意味論的フレームワークを開発する。$\Theta$-リンクおよびlog-リンクを介して実装されるこれらの構造変換は、3つのタイプの構造的非決定性（$\mathrm{Ind}$ I, II, III）を生み出す。我々は、Miyata (2026) で導入された変換モノイド、および「素的な不可逆射（elementary irreversible morphisms）」$\mathcal{I}(S)$ の公理的概念を用いて、これらの現象を再構成する。
本研究プログラムの目的は、IUTによるABC予想の証明の正当性を裁定することではない。むしろ、不可逆的な構造変化のための、数学的に厳密で哲学的に透明な意味論を明文化することにある。本フレームワークは、数学の哲学（Philosophia Mathematica）における複数の活発な潮流に位置づけられる。すなわち、ポテンシャリズム（可能主義）（Hamkins 2026; Hellman 2026）、構造主義（Assadian 2026）、計算の概念的基礎（Quinon 2026; Burgess 2026）、および数学的信頼の認識論（Mangraviti 2026）である。我々は、不可逆性が、様相的な数学的宇宙、構造を跨ぐ同一性、逸脱コード化、および計算的意味の安定性を分析するための新しい視座を提供すると主張する。
0. 本稿の位置づけ
数学の哲学における最近の議論では、主に以下の4つのテーマが強調されている：
- ポテンシャリズム（可能主義） — 数学的宇宙を様相的で、固定されず、動的に拡張可能なものとして捉える (Hamkins 2026; Hellman 2026)。
- 構造主義 — 異なる構造的文脈を跨ぐ同一性の脆弱性 (Assadian 2026)。
- 計算 — 計算的符号化（エンコーディング）の概念的安定性、あるいは不安定性 (Quinon 2026; Burgess 2026)。
- 数学的実践 — 数学的信頼および矛盾を管理する認識論的規範 (Mangraviti 2026)。
極めて高度に構造化されたオブジェクトが非同型な宇宙間を輸送されるIUTの宇宙際通信は、これら4つのテーマすべてが交差する具体的な数学的舞台を構成している。本稿は、ABC予想を取り巻く技術的な論争の解決を試みるものではない。代わりに、宇宙間を跨ぐ構造的退化を記述するためのフォーマルな意味論的文法を提供する。
哲学的な貢献
本稿の主要な哲学的貢献は、数学的存在論のための基礎的な意味論的原初概念（semantic primitive）として不可逆性（irreversibility）を導入することである。不可逆性は、構造の保存と構造の変換との間の境界を画定する。これは、同一性、意味、あるいは計算的表現が、数学的宇宙の間でいつ不変（インバリアント）でなくなるのかという基準を提供する。これは、様相存在論、構造的同一性、および計算における概念的な不動点（fixed points）に関する現在の議論に直接応えるものである。
1. 状態空間と変換モノイド
仮定 1.1（抽象状態空間）
$S$ を、IUTの内部で操作される幾何学的および代数的データ（例：楕円曲線、フロベニオイド、対数構造、テータ・カプセル）の抽象的表現とする。選択される抽象化のレベルに応じて、$S$ は以下のように定式化され得る：
- 非空集合または位相空間、
- 代数多様体またはスキーム、
- 適切に構成された圏における対象。
注意 1.2（抽象化の安全性）
我々はIUTの具体的なオブジェクトを直接操作するわけではない。その代わりに、それらが抽象状態空間 $S$ への構造的射影を許容すると仮定する。これはポテンシャリズム（可能主義）と合致している：数学的宇宙は固定された全体性ではなく、抽象化の階層（strata）を跨いで動的に再文脈化され得るのである (Hamkins 2026; Hellman 2026)。
定義 1.3（変換モノイド）
$\mathrm{End}(S)$ を $S$ の自己準同型（自己射）モノイドとする。
$S$ が圏としてモデル化される場合、$\mathrm{End}(S)$ は自己関手（エンドファンクター）モノイドとして解釈される。
注記 1.4（宇宙際通信の表現可能性）
我々は、$\Theta$-リンクおよびlog-リンクが $\mathrm{End}(S)$ 内の元として完全に埋め込み可能であるという仮説を立てる。これは、異なる構造的文脈の間で写像されたときに数学的オブジェクトがどのように適応するかを分析する構造主義的プロジェクトを反映している (Assadian 2026)。
2. 不可逆射のための公理的枠組み
定義 2.1（可逆射と不可逆射）
$\mathrm{Rev}(S) = \mathrm{Iso}(S)$ を、$S$ 上のすべての可逆で構造を保存する自己同型（または双射）からなる群とする。不可逆射の集合を、集合論的差集合として以下のように定義する：
$$\mathrm{Irr}(S) = \mathrm{End}(S) \setminus \mathrm{Rev}(S)$$
公理 2.2（素的な不可逆性）
与えられた任意の状態空間 $S$ に対して、以下のように指定された非空の素的な不可逆射の集合が存在する：
$$\mathcal{I}(S) \subseteq \mathrm{Irr}(S)$$
これは、構造的または情報的な損失の、極小かつ分解不可能な単位を表している。
公理 2.3（極小分解）
すべての非自明な不可逆射 $f \in \mathrm{Irr}(S)$ は、以下のような有限の合成として分解される：
$$f = R_k \circ I_n \circ \cdots \circ I_1 \circ R_1$$
ここで $R_i \in \mathrm{Rev}(S)$ かつ $I_j \in \mathcal{I}(S)$ である。
この分解は、逸脱コード化に関する Burgess (2026) の議論と平行している：複雑な構造的歪みは、極小で透過的なコード化の破壊へと系統的に分解可能である。
3. IUTの非決定性との構造的類似性
命題 3.1（非決定性と標準的不可逆形式との類似性）
素的な不可逆射の3つの標準形式 (Miyata 2026) は、IUTの3つの非決定性（$\mathrm{Ind}$ I, II, III）に構造的に対応している：
| 標準形式 (Miyata) | IUTの非決定性 | 中核的な構造メカニズム |
|---|---|---|
| 圧縮（Compression） | $\mathrm{Ind}$ I | 加法的な環構造の硬直的な退化。構造的な自由度を制限する。 |
| 忘却（Forgetting） | $\mathrm{Ind}$ II | 周辺データ（例：1のべき根の作用）の意図的な省略またはマスキング。 |
| 分岐（Branching） | $\mathrm{Ind}$ III | 非同型な並行グラフへのデータ構造の制御された複製および拡張（マルチバースの複製）。 |
これは Assadian (2026) と合致している：オブジェクトがドメインの境界を越えるときに構造をまたぐ同一性は破綻し、上記の形式はその破綻の正確な文法を分類している。
–>
図 1：不可逆基本射の 3 分類（圧縮・忘却・分岐）とIUT非決定性との対応
4. 不可逆度と歪みの測定
定義 4.1（不可逆度）
任意の射 $f \in \mathrm{End}(S)$ に対して、その構造的退化の尺度である不可逆度（irreversibility degree） $\mathrm{irr}(f)$ は以下のように定義される：
$$\mathrm{irr}(f) = \min \{ n \mid f = R_k \circ I_n \circ \cdots \circ I_1 \circ R_1 \}$$
–>
図 2：不可逆射の分解と不可逆度（irreversibility degree）の構造図
命題 4.2（IUTの歪み尺度との比較可能性）
宇宙際通過の間にバウンド（制限）される、IUTの連続的な「対数体積歪み（log-volume distortion）」は、抽象的なレベルにおいて、素的な不可逆ステップの累積ステップ数メトリックと比較することができる：
$$\sum_{j} \Delta_{I_j}$$
ここで $\Delta_{I_j}$ は、各不可逆ステップに割り当てられた歪みの単位である。
これは Quinon (2026) によって提起された問いに応えるものである：計算は概念的な不動点（conceptual fixed point）ではない。不可逆的なステップは、数学的情報の非固定的な変換を表しているのである。
5. 本プログラムの哲学的地位
本フレームワークは、以下の観点から現在の論争に貢献する：
- 宇宙を様相的かつ非固定的なものとして扱う（ポテンシャリズム）。
- 構造変化における同一性を分析する（構造主義）。
- 不可逆的な情報フローをモデル化する（計算論）。
- 数学的信頼の認識規範を明確にする（Mangraviti 2026）。
不可逆性は、数学的オブジェクトがその固有の構造（ネイティブな構造）を超越したときに何が起こるかを評価するための、基礎的な意味論的原初概念となる。
6. トイモデル（玩具モデル）による実証
本フレームワークを具体的に示すために、以下の基礎状態空間を考える：
$$S = M_2(\mathbb{R})$$
これは $2 \times 2$ 実行列の空間である。可逆射を可逆な線形写像 $R \in GL_2(\mathbb{R})$ と定義し、不可逆射を階数（ランク）を減少させる線形写像または構造的射影と定義する。
例：圧縮型
$I \in \mathrm{End}(S)$ が行列の乗算によって作用するとする：
$$I(x) = P x, \quad P = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}$$
このとき $\mathrm{rank}(I(x)) \le 1$ である。情報は硬直的に圧縮され（独立した次元の自由度の損失）、$\mathrm{irr}(I) = 1$ となる。
例：忘却型
$I \in \mathrm{End}(S)$ を座標崩壊射影とする：
$$I \begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} a & b \\ c & 0 \end{pmatrix}$$
この作用素は厳密に冪等（べきとう）であり（$I^2 = I$）、非可逆である。これは、$(2,2)$成分に関連するパラメータ空間のセマンティックな「忘却」をモデル化しており、アフィンシフト（affine shifts）を導入することなく、状態の情報次元を効果的に縮小している。
例：分岐型
自己準同型としての分岐を厳密にモデル化するために、トイ状態空間を有限のマルチバース・エンベロープ（包絡空間） $\mathcal{S} = \bigsqcup_{k=1}^N S^k$ へと拡張する。単一宇宙状態 $x \in S^1$ に作用する分岐射 $I_{\mathrm{branch}} \in \mathrm{End}(\mathcal{S})$ は以下のように定義される：
$$I_{\mathrm{branch}}(x) = (x, Bx) \in S^2$$
これは宇宙層（universe-stratum） $1$ の状態を、層 $2$ の相関する状態へと写像し、包絡空間 $\mathcal{S}$ 上の自己準同型性質を厳密に保持しながら、制御されたマルチバース分岐をモデル化している。
これらのトイモデルは、標準的な圏論的定義を破ることなく、不可逆度や構造的退化がすっきりと定式化・計算可能であることを示している。
7. 今後の研究課題
A. 表現可能性
$\Theta$-リンクおよびlog-リンクの実際の圏論的メカニズムを、致命的なセマンティックな残差を残すことなく、適切に構成された圏の自己準同型モノイド $\mathrm{End}(S)$ に厳密に埋め込むことができるか？
B. 圏論的定式化
$\mathrm{Ind}$ I–III と標準的不可逆形式との類似性を、厳密で検証可能な圏論的同値または随伴（adjunction）へと引き上げることができるか？
C. 具体的なトイモデル
幾何学的な対数体積の変化の挙動を反映しつつ、非自明な不可逆度を示す、より豊かな圏論的トイモデル（例：有限線形トポスを使用するものなど）を構築できるか？
8. 結論
素的な不可逆射は、宇宙際通信を記述するための数学的に厳密で、かつ哲学的に有意義な語彙を提供する。本フレームワークをポテンシャリズム、構造主義、計算理論、および数学的実践における現在の議論の中に埋め込むことにより、数学的世界の境界をまたぐ不可逆的な情報フローを理解するための、中立的で高度に構造化された道を提供するものである。
参考文献
- Assadian, Bahram. (2026). Cross-structural Identity Statements. Philosophia Mathematica.
- Burgess, John P. (2026). Is There a Problem about Deviant Encodings? Philosophia Mathematica.
- De Benedetto, Matteo & Rossi, Lorenzo. (2026). Cognitive Modelism. Philosophia Mathematica.
- Hamkins, Joel David. (2026). A Potentialist Conception of Ultrafinitism. Philosophia Mathematica.
- Hellman, Geoffrey. (2026). Introduction to Special Issue on Potentialism in the Philosophy of Mathematics. Philosophia Mathematica.
- Mangraviti, Franci. (2026). Inconsistency is in the Eye of the Mathematician. Philosophia Mathematica.
- Miyata, Fumio. (2026). A Minimal Axiomatic Framework for Elementary Irreversible Morphisms in Transformation Monoids. DOI: https://doi.org/10.5281/zenodo.20984264
- Mochizuki, Shinichi. (2021). Inter-universal Teichmüller Theory I–IV. Publications of the Research Institute for Mathematical Sciences.
- Quinon, Paula. (2026). Is the Concept of Computation a Conceptual Fixed Point? Philosophia Mathematica.
- Scholze, Peter & Stix, Jakob. (2018). Why ABC is still a conjecture.