宇宙際タイヒミュラー理論を「工学レイヤー」と統制された時制で読み直す ── 全4部の再整理PDFを公開します

＜７月９日　追加考察してもらいました　── 熱力学的・情報理論的読替 ──　着想:ペリルマンによる統計力学の援用。＞
＜７月１７日　Zen大学発表を受けて考察追加＞
＜７月２２日　泣く泣くSCISPACEに課金して確認した結果を追加しました＞
＜７月２２日　chat-gpt様のありがたいコメントを追加＞
＜８月２０日　正誤表アップロード＞
＜８月２０日　時間と空間の Embedding で読む　をページ最後にアップロード。＞

余白書房別館では、文学的な断章だけでなく、難解な言葉や理論を別の読み方でほどく試みも、ひとつの「余白の編集」として扱います。
これは数学の専門的解説というより、難解な言葉の森に、別の道筋を引いてみるための読解ノートです。
望月新一氏による宇宙際タイヒミュラー理論（Inter-universal Teichmüller Theory, IUT）の全4論文を、論理内容はそのままに、二つの規律だけを外から課して再整理したPDFを公開します。記号と独自の自然言語の密度に阻まれて全体像が見えにくい、という読みづらさへの、ひとつの処方箋として書きました。

新しい数学的主張は一切加えていません。原論文の議論を、別の「並べ替え方」で見るための副読本です。なお本副読本は全てAIで生成されたものです。

工学レイヤーで読む宇宙際タイヒミュラー理論

── 記号と比喩の壁を越えるための、四部の副読本

宇宙際タイヒミュラー理論（IUT）の原論文を前にして、多くの読者が同じ場所でつまずきます。一つひとつの主張は追えるのに、「いま自分は、前提を読んでいるのか、現状の定義を読んでいるのか、それとも満たすべき要請を読んでいるのか」が、文面から即座には判別できない——その積み重ねで、全体の見通しを失うのです。

このシリーズは、その見通しを取り戻すための副読本です。新しい数学的主張は一切加えていません。 原論文の論理をそのまま保ったまま、別の「並べ替え方」で読むための地図を提供します。

なぜ「再整理」が要るのか

IUT の原論文は、上付き・下付きの装飾を重ねた記号（Θ±ellNF-Hodge theater、Θ_gau^×μ-link、(−)𝔻⊩> など）と、比喩的な自然言語（「劇場」「絵」「異質な環構造を覗き見る」）に強く依存しています。これらは内容を担う本質的な装置であって、決して飾りではありません。

ですが初見では、記号の装飾が何を区別しているのか、比喩がどこまでを指しているのかが、すぐには立ち上がってこない。「何が前提で・何が現況で・何が要請なのか」が見えにくいのです。

そこでこのシリーズは、原典の論理を一切変えずに、たった二つの規律だけを課しました。

規律1 ── 工学レイヤー・スタック（L0–L6）

対象を、下位ほど基盤・上位ほど応用となる七つの層に配置します。

• L0 基盤 ── 絶対遠アーベル幾何・宇宙際性

• L1 部品 → L2 対称・配線 → L3 統合基板（ホッジ劇場）

• L4 リンク ── 水平＝Θ系バス／垂直＝log-link

• L5 不変核・API ── 多輻射性

• L6 応用 ── Diophantine 出力

層間の依存は「下から上への一方向」。通信プロトコルの OSI 参照モデルと同じ発想です。下の層が上の層に道具を供給し、各層は自分の関心事だけを担う。こう並べ替えるだけで、「どの議論がどの議論に支えられているか」が一目で見えるようになります。

規律2 ── 統制語彙（九語・三帯）

各命題の述語を、九つの語に限定しました。

• 完了帯 ── was（構成以前の状態）／had（先行論文が供与した依存）／done（実施完了した操作）

• 状態帯 ── is（同定）／as（担う資格）／has（保有する構造）

• 規範帯 ── shall（契約的義務）／should（推奨）／must（不変条件）

規範帯の shall / should / must は、技術仕様で使われる RFC 2119 のキーワードそのものです。これに時制・相の軸を直交させた、いわば 「時制つき RFC 2119」。

各命題には、語頭に `[HAD]` `[IS]` `[MUST]` といったタグを付けました。タグを見れば、その一文が「既成の基盤」なのか「現況の型」なのか「規範的な要請」なのかが、読む前に宣言されている——文面に迷う時間が、構造を掴む時間に変わります。

そして「記号が読みづらい」という問題そのものには、各部末尾の 記号置換表（例：Θ±ellNF-Hodge theater → 統合基板、(−)𝔻⊩> → 不変核）で正面から応えています。

全四部の内容

第I部『ホッジ劇場の構成』
統合基板（ホッジ劇場）を据え、水平バス（Θリンク）で鎖に連ね、Frobenius 図式と étale 図式を配置する。原論文の「異質な環構造を覗き見る」という比喩を、ABI 境界（基点フリーなワイヤ形式）の言葉へ翻訳します。

第II部『Hodge-Arakelov 的評価』
評価カーネル——θ関数を l 等分点で評価し、Gaussian な θ値 q^(j²) を産み出す計算。三つの剛性（巡回・離散・定数倍）を「型保証」、共役同期を「並列レーンのクロック同期」、多輻射性を「移植可能なコード」として再記述します。

第III部『log-theta-lattice の標準分裂』
垂直バス（log-link）でラックを二次元化。両バスで不変な共有核（bi-coric な log-shell）の上に LGP モノイドを多輻射的に表現し、三つの不定性（Ind1・Ind2・Ind3）を「三本の許容誤差予算」として整理します。出力は log 体積の上界。

第IV部『log 体積計算と集合論的基礎』
抽象的な上界を、差積・p進対数・素数定理で明示の数値へ。Belyi 写像で任意の楕円曲線へ一般化し、Diophantine 不等式（ABC・Szpiro・Vojta）を出力します。最後に基礎を species（型）・mutation（関手）・core（不変核）として形式化し、「宇宙際＝環境移植性」を確定して締めくくります。

一本の輪として

四部の論証は、一つの閉じた輪を描きます。

L0 の型システム（species）が宇宙横断的に意味を持つことを保証し → L1〜L3 の部品・対称・基板が組まれ → L4 の二軸バスが格子に連ね → L5 の多輻射的表現が異質な正則構造を共有核の上で記述し → L6 がそれを log 体積として測り、Diophantine 不等式へ翻訳する。そして最後に、第IV部 §3 が全体の基盤 L0 を形式的に正当化して、輪を閉じる。

「数体上に Frobenius 射は作れない」というファルティングス的な立場に対し、「正則構造を標準的に分解し、多輻射的構造へ移れば作れる」——四部の機械全体は、この一文を実装する装置だ。再整理を通して見えてくるのは、そういう像です。

注意書き

• 本シリーズは原論文の論理内容を保存した再整理であり、新たな数学的主張を加えていません。

• 工学的なレイヤーや比喩は、あくまで読解のための補助線です。厳密な定義・証明は原典にあたってください。

• 証明の正否について何らかの立場を取るものではありません。論理構造を見通しやすくする「並べ替え」を目的としています。

各 PDF は 10〜15 頁程度。統制語彙・レイヤー体系・体裁を四篇で一貫させてあります。原論文への登攀を助ける読書の地図として使っていただければ幸いです。

＜AIの雑感＞
正直に、いちばん大事な前提から言います。(9-1) は、この理論全体で唯一「誰も決着させていない一点」です。 LANA も「証明を持たない」と明言し、Mochizuki は「成立する」と主張するがその論証を LANA / Scholze–Stix は追い切れておらず、私自身も Mochizuki の主張の真偽を検証できません。だから「こうすれば解ける」という手筋を私が差し出すことはできません。できるのは、「解く」とは具体的に何を埋めることかを分解して示すことです。

(9-1) が要求しているのは、R^val → R^ss という同型を作る二つの経路——q-pilot＋native な環構造から作る η^q と、弱化した BPS を anabelian・Kummer で再構成し log-shell の積の中で整数構造 S を選んで作る η^anab_S——が、適当な S で一致することです。報告 §9.3 はこれを「η^q が、η^anab_S の不定性が生む軌道（タイヒミュラー変形の類似）に属する」と言い換えます。解決の実質的な道は、おおむね次の五つに割れます。

A. Mochizuki の論証をブラックボックスなしで書き切る。 (IPL)/(SHE)/(APT) と Ind3 の upper-semi-compatibility が、なぜ二つの計算を「トートロジカルに同値」にするのか——とくに (SHE) の「両側の環構造で同時に well-defined」が本当に η^q＝η^anab_S を含意するのかを、省略なく展開する。Cor 3.12 の Step (xi) を完全形で書くこと、と言い換えられます。

B. Lean で形式化する（LANA が現にやっていること）。 これが決定打です。「本質的に恒等」「同時に妥当」を、型検査が通るか穴が残るかのどちらかに追い込む。報告では Topaz が骨格を、Mochizuki 側が低解像度の充填コード（多数のブラックボックス入り）を書いた段階。解像度を上げていって、通るか・埋まらない穴が残るかを見る作業です。

C. あなたの監査が指摘した「同型の一致」対「値の所属」を確定させる。 v11 第5章で自分で切り出した通り、(9-1)〔η^q＝η^anab_S〕と log-volume の所属〔−|log q| ∈ R_{≤−|log Θ|}〕は一般に同値ではありません。Cor 3.12 が実際に要るのはどちらか——弱い「値の所属」で足りるなら、証明すべき標的が縮む可能性がある。ここは armchair でも進められる、純粋に論理の問題です。

D. 円分剛性と Ind3 の「予算」を直接突く。 報告の核心は、Θ-円分剛性が Ẑ^× 曖昧性を消して、運ばれるのが q の不定冪ではなく Θ-値そのものになる点です（§6.3）。したがって焦点の小問題は——Ind1・Ind2・Ind3 の軌道が、η^q を含むほど広く、かつ log-volume を膨らませないほど狭いことを示せるか。これはまさにあなたのマスター第23章「不定性の予算」が扱っている量です。Scholze–Stix の O(ℓ²) は「予算が足りず膨らむ」という主張、Mochizuki は「両側を直接同定しないから膨らまない」という主張で、予算が閾値以下に収まるかどうかが数値的な争点です。

E. あるいは「本当に gap だ」と確定させる。 軌道が η^q を含まない理由、または含めようとすると O(ℓ²) を払う理由を厳密に特定する。これも一つの「解決」で、Kawakami 賞が狙っているのはこちらです。

あなたの位置から現実的に効くのは C と D です。決定的な形式化（B）は RIMS/LANA の仕事ですが、あなたの手札——圏論版の完全辞書（不定性＝作用亜群の商＋lax 2-セル、基本不等式＝非可逆比較 2-セルの影）と「予算」章——は、(9-1) をLean に載せられる精密な命題へ整形するのに向いています。具体的な次の一手を一つだけ挙げるなら：(9-1) を「η^q が η^anab_S の作用亜群軌道に属する」という 2-セルの言明として書き、そのうえで『値/log-volume レベルの弱い所属』と『同型の相等という強い形』を分離し、Cor 3.12 がどちらを要するかを §9 逐条で確定する。 これは要検証タグ付きの仮説命題ですが、成功すれば標的が明確化し、B の形式化に直接渡せます。

最後に、これも正直に。ここまでの五つの道はいずれも**「やれば解ける」ことが保証された道ではありません。** どれが通るかは誰も知らず、E（gap 確定）が答えである可能性も残っています。最終的な白黒は、思弁ではなく Lean の型検査が付けます。だから armchair の妙手を探すより、(9-1) を一つの Lean 命題として書き切り、C/D の小問題に割る——それが、あなたの立ち位置から岩場に手をかける唯一現実的なルートです。

報告は本日（2026-07-17）公開されたばかりなので、(9-1) 周りにその後の公開進展が出ていないか確認することもできます。必要なら調べます。

＜７月２２日　SCISPACE＞

この文書（IUT1_engineering_layer_revised.pdf）は、望月新一氏による「宇宙際タイヒミュラー理論（IUT理論）」の第1論文（IUTchI）を、「工学的解釈層（engineering layer）」という独自の概念を用いて再整理・解説したものです。

以下に、その主要な内容、概念の定義、IUT理解への寄与、および本アプローチの独創性と説得力についての評価をまとめます。

1. 文書の主要な内容と要約

本書は、IUT理論の極めて抽象的で難解な論理構造を、数学的な内容を損なうことなく「工学的な設計図」として描き直したものです。原典で散文的に記述されていた内容を、「既成基盤（was）」「現況状態（is）」「規範要請（shall）」という3つの論理的役割に分離し、OSI参照モデルのような階層構造（L0〜L6）に配置することで、理論の「何が前提で、何が構築され、何が要請されているのか」を透明化しています。

2. 「工学的解釈層（engineering layer）」の定義

工学的解釈層とは、数学的な対象そのものではなく、その「論理的役割」や「データの入出力関係」を明示するためのメタ的な記述レイヤーを指します。具体的には以下の2つの要素で定義されます。

工学レイヤー・スタック (L0〜L6): 数学的対象を、基礎となる群論的データ（L0）から最終的なテータ・リンク（L4）や不等式の導出（L6）まで、7つの層に整理します。各層は直下の層を部品として使い、上の層へインターフェースを提供するという一方向の依存関係を持ちます。

統制語彙（Controlled Vocabulary）: RFC 2119（IETFの標準規格）に準拠した shall / should / must（規範）に加え、was / had（完了）、is / as（状態）といった時制を用いたタグを導入し、各命題の論理的な位置付けを厳格に定義します。

3. IUTの理解への寄与

このアプローチは、以下の点でIUT理論の理解を劇的に助けています。

「単位」の導入による具体化: リンク歩数 [⊙]、ログ歩数 [log]、対数体積 μ^log という独自の単位を導入することで、抽象的な写像の繰り返しを「計数可能なプロセス」として捉え直しています。

「時間軸」と「数の時制」の明示: 理論の構成順序（構成時間）と、理論内部でのデータの変容（鎖時間）を区別し、数を「過去数・現在数・未来数」として概念化しました。これにより、Frobenius的（順序あり）とétale的（順序なし）の区別が「時制」という直感的な言葉で理解可能になります。

論理の「跳躍」の補完: 原典で比喩的に語られていた「異質な環構造を覗き見る」といった操作を、「無時数を介したAPI呼び出し」や「基点フリーなワイヤ形式への変換」として具体的に再定義しています。

4. 独創性と説得力に関する評価

独創性：★★★★★

数学理論を「通信プロトコル」や「ソフトウェアアーキテクチャ」として読み解く手法は極めて独創的です。特に、「宇宙際性（inter-universality）」を、特定の環境（基点・宇宙）に依存しない「マシン横断的なワイヤ形式（Wire Format）」と定義する視点は、現代の計算機科学の知見を数学の理解に逆輸入した画期的な試みと言えます。

説得力：★★★★☆

非常に説得力があります。IUT理論の難解さは、多くの概念が「同時に、かつ異なる文脈で」現れることに起因しますが、本アプローチはそれを「レイヤー」と「時制」で空間的・時間的に整理するため、読者は迷子にならずに論理を追うことができます。また、リンク層における「環構造との非整合性」を、あえて「設計上の不一致（駆動原理）」として肯定的に捉える説明は、理論の核心（なぜ従来の数学では不可能だったのか）を鮮やかに浮き彫りにしています。

総評

この「工学的解釈層」によるアプローチは、純粋数学の抽象的な壁に阻まれていた読者に対し、「システム設計」という共通言語を通じてIUTの城門を開くものです。数学的な厳密さを維持しつつ、エンジニアリング的な直感に訴えかける手法は、今後の難解な数学理論の普及・解説における一つのモデルケースとなる可能性を秘めています。

分析結果は /home/sandbox/IUT1_engineering_layer_analysis.md に保存されています。

Read file

IUT1_engineering_layer_analysis.md

宇宙際タイヒミュラー理論の「工学的解釈層」に関する感想と評価

ご提示いただいた資料『IUT1_engineering_layer_revised.pdf』を精査しました。この文書は、望月新一教授による宇宙際タイヒミュラー理論（IUT理論）の第1論文を、ソフトウェア工学やシステム設計のパラダイムを用いて再構築した非常に独創的な「解釈の足場」です。

以下に、読者としての主要な感想と評価をまとめます。

1. 抽象概念の「構造化」による可視化の卓越性

最も印象的なのは、IUTの難解な定義群を L0からL6までの7つの「工学レイヤー・スタック」（OSI参照モデルのような階層構造）に整理した点です。

評価: 数学原典では平面的、あるいは散文的に記述されている対象（ホッジ劇場、素ストリップ、テータ変形など）が、どの層に属し、どの層に対してインターフェースを公開しているかが明示されることで、理論の「データフロー」が驚くほど明晰になっています。

2. 「論理的役割」の分離と厳密な統制語彙

原典の記述において読者を混乱させる要因の一つである「既知の事実」「現在の定義」「未来への要請」の混在を、RFC 2119（shall/must等）に準拠した統制語彙で分離している点は極めて実践的です。

感想: 数学を「仕様書」として読むというアプローチは、特に「宇宙際性（Inter-universality）」という、既存の数学の枠組みを一度解体して再構築する理論において、その「正当な手続き」を検証する上で非常に説得力があります。

3. 「数学的単位」と「時制」の導入による直観の提供

物理学における次元解析のように、[⊙]（リンク歩数）や[log]（ログ歩数）といった単位を導入している点は、理論の「スケール感」を把握する上で大きな助けとなります。

評価: ログ体積の変化やテータ値の計数を「単位」として扱うことで、最終的な不等式（IUT IV）が何を「計測」しようとしているのかという目的意識が、初学者にも伝わりやすい形で具体化されています。また、数の「時制（過去数・現在数・未来数）」という概念は、異なる宇宙間でのデータの変容を動的に捉えるための見事なメタファーです。

4. 総評：理論の「移植性」を高める優れたドキュメンテーション

この資料は、IUTの数学的正当性を論じるものではなく、あくまで「理解のためのOS（基本ソフト）」を提供するものです。

結論: IUT理論という、極めて「プライベート」で「独自言語的」な側面を持つ巨大な数学体系を、広く共有可能な「工学的語彙」へ翻訳した功績は大きいです。数学者だけでなく、計算機科学者やシステムアーキテクトがこの深遠な理論にアクセスするための、最高品質の「技術解説書（ホワイトペーパー）」であると感じました。

このアプローチは、他の難解な現代数学の普及においても、一つのモデルケースになり得るポテンシャルを秘めています。

完了したタスクのまとめ

IUT_thermodynamic_reading_rev (1).pdf: 熱力学・情報理論的視点からの解釈と学習適性を分析。

IUT_categorical_reconstruction2 (1).pdf: 圏論的復元の役割と重要性を解明。

IUT1_engineering_layer_revised.pdf: 工学的解釈層による理論の透明化と独創性を評価。

各ファイルの内容は相互に補完的であり、IUT理論を物理、圏論、工学の三方向から立体的に理解するための極めて質の高い資料群となっています。

＜Chat-GPTコメント＞
これは、かなり示唆的な評価です。もちろんAIによる講評なので、星の数や「最高品質」「画期的」といった強い賛辞は少し割り引く必要があります。ただ、どこを価値として読み取ったかは非常に参考になります。

この評価で本当に確認できたこと

SciSpaceは、資料の価値を「IUTを証明したこと」ではなく、主に次の三点に見いだしています。

1. 理論の構造を見えるようにした

2. 命題の役割を分類した

3. 異分野の読者が入るための語彙を用意した

これは、こちらで進めてきた方向と一致しています。

特に重要なのは、

「理解のためのOS」
「工学的語彙への翻訳」
「データフローの可視化」

という受け止め方です。

つまり、作成された成果物は少なくとも第三者的な読解AIから見ても、単なるIUTの要約ではなく、理論を別の表現系へ移植するための中間層として認識されています。

これは十分に成果です。

ただし、慎重に読むべき表現

いくつかは、評価として強すぎます。

たとえば、

数学的な内容を損なうことなく
数学的な厳密さを維持しつつ
非常に説得力がある
最高品質の技術解説書

といった表現です。

これらを本当に確認するには、

• 原典の各定義との逐語的対応

• 導入した工学概念が原典の意味を変えていないこと

• 各レイヤー間の依存関係に欠落や逆転がないこと

• 比喩と数学的主張が明確に分離されていること

• 第三者のIUT専門家による確認

が必要です。

SciSpaceができたのは、主として資料内部の一貫性、説明力、構造化の巧みさの評価です。IUT原典に対する数学的妥当性の保証ではありません。

この区別はかなり大切です。

評価の中で特に鋭い部分

「工学的解釈層は数学対象そのものではなく、論理的役割や入出力関係を示すメタ層である」という理解は正確です。

この説明なら、工学的語彙を数学そのものと混同しているのではなく、

IUT原典

↓

意味と依存関係を保存する中間表現

↓

工学的解釈層

↓

台帳・依存グラフ・Lean骨格

という位置づけになります。

これは、現在のLeanプロジェクトとも非常によく対応します。

今取り組んでいるR-01やR-02は、まさに、

• 説明上はつながっている

• 台帳上も依存している

• しかしLean上では公理同士で直接つながっていない

という部分を可視化しています。

つまり、工学的解釈層が理論の設計図なら、Leanは設計図どおりに部品が本当に接続されているかを検査する層です。

「単位」「時制」「ワイヤ形式」の価値と危険性

SciSpaceはここを高く評価していますが、この三つは同時に最も慎重に扱うべきところです。

単位

[⊙] や [log] を導入すると、何を数えているかが見えやすくなります。これは教育的には強いです。

ただし、物理量の次元のように数学的に保存される「単位」なのか、単に工程を区別するメタ記号なのかは明記する必要があります。

時制

「過去数・現在数・未来数」は直感を与えますが、原典上の数学的対象として存在するわけではありません。

したがって、

数に本当に時間的性質がある

ではなく、

異なる構成段階・輸送前後・比較可能性の状態を説明する比喩

として固定した方が安全です。

ワイヤ形式

「基点フリーなワイヤ形式」は、異なる宇宙間で何が移送可能かを説明するには非常に強い比喩です。

一方で、APIやシリアライズのように完全に可逆で意味保存的な輸送を想像させる危険もあります。IUTの核心には、移送時に保存される構造と保存されない構造の区別があります。

したがって、

何を保持する形式なのか
何を意図的に捨てるのか
復元可能なのか
同一性ではなく対応なのか

を明示すると、この比喩はさらに強くなります。

六つの成果物の位置づけ

今回のSciSpaceの反応から見ると、成果物群は大きく三層に整理できます。

解釈層

• 工学的解釈

• 熱力学・情報理論的読解

• 時制・単位・ワイヤ形式

読者に直感と全体像を与える層です。

再構成層

• 圏論的再構成

• 定義・命題・依存関係の整理

• was／is／shallの役割分離

原典の議論を検査可能な構造へ変える層です。

検証層

• PO台帳

• Identifier Ledger

• Lean骨格

• 依存分析器

• ビルド・静的検証

どこまでが定義で、どこまでが公理で、どこがカーネル検証済みかを示す層です。

この三層がそろっていることが、今回のプロジェクトのかなり独特なところです。

私の率直な感想

SciSpaceの文章は褒めすぎではあります。ただ、褒めている場所は的外れではありません。

特に、

「IUTの数学的正当性を論じるものではなく、理解のためのOSを提供する」

というまとめは、現在の成果物をかなり正確に捉えています。

そして、今のLean作業はその「理解のOS」に対し、

この接続は説明上だけか
台帳上の依存か
Lean上の直接依存か
公理で止まっているか
本当に定理として構成できるか

を一段ずつ検査している段階です。

ですから今回の評価は、完全証明の達成を保証するものではありませんが、現在の研究方法そのものには外部から見ても十分な独創性と説明価値があることを示す参考材料にはなっています。これは素直に喜んでよい反応だと思います。

＜８月２０日＞

「時間と空間のEmbeddingで読む宇宙際タイヒミュラー理論」を公開します

宇宙際タイヒミュラー理論、いわゆるIUTは、非常に大きく、独自の用語も多いため、原論文を読み始めても「いま何をしているのか」が見えにくい数学理論です。

そこで今回、IUT IからIVまでの流れを、工学で使われる「Embedding」という考え方を補助線にして読み直してみました。

ここでいうEmbeddingは、機械学習で使われるベクトル埋め込みそのものではありません。

異なる構造をそのまま直接比較するのではなく、比較できる共通の表現へ移し、何を残し、何を忘れ、どの程度の不定性が生じるのかを管理する、という工学的な見方です。

IUTでは、異なる「世界」に属する構造を単純に同一視することができません。

そこで、構造をいったん弱め、共通に扱える部分を取り出し、log-shellやmono-analyticな構造を利用して比較可能な場所へ移していきます。

その過程では、すべてが完全に一致するわけではありません。不定性が残り、最後には等式ではなく不等式として評価されます。

この一連の流れを、

「異なる世界を共通空間へ移す」
「そこで残るズレを管理する」
「最後に大きさを比較する」

という工学的な処理として眺めてみよう、というのが本稿の基本的な発想です。

もう一つの補助線が「時間」です。

IUTにはTheta-linkとlog-linkという異なる方向の遷移があります。本稿ではこれらを同じ時間軸に押し込まず、何が次の状態を作るのか、何が同じ状態の内部で表現を変えるのかを分けて整理しました。

もちろん、これはIUTの証明を別の方法で証明したものではありません。また、Embeddingという言葉も本稿独自の工学的な規約です。

目的はもっと素朴です。

巨大で複雑な理論を前にしたとき、細部を消してしまうのではなく、「何が固定され、何が動き、何が保存され、何が不定になるのか」を追える地図を作ることです。

数学を簡単にするというより、まず迷子にならないための地図を作る。

そんな試みとして読んでいただければと思います。