trinity-infinity

Trinity-Infinity

[!IMPORTANT] 改訂版 Series I を引用するときの DOI は 10.5281/zenodo.22058624 である。 Series II と Series III の参考文献欄は、改訂版を指すつもりで 10.5281/zenodo.17173703 と書いている。これはこの系列が訂正の対象としている 2025年の初版の DOI である。そのまま辿ると、II と III が「これを一般化する」と述べている定理の、撤回された方の版に着く。詳細は ERRATA.md の E1。

In English — what to cite, what is claimed, who wrote what

**What this is.** Three preprints (English, on Zenodo) and an independent audit of them. The 2025 first edition claimed a novel framework. The 2026 revision imposed two conditions — every theorem provable as written, every number produced by code that ships — and this repository records what survived. **What to cite.** Revised Series I is `10.5281/zenodo.22058624`, Series II `10.5281/zenodo.22058777`, Series III `10.5281/zenodo.22058964`. The number `10.5281/zenodo.17173703` is the **superseded 2025 first edition** — do not cite it as current. Series II and III print that number in their bibliographies where they mean the revision; that is a defect of the frozen PDFs, recorded as E1 in [ERRATA.md](/trinity-infinity/ERRATA.html). Series II is also deposited on SSRN as `10.2139/ssrn.7446961`; the text is identical and the Zenodo DOI remains canonical. SSRN screening checks scope and format, not correctness. **Status.** Preprints, not peer-reviewed. A DOI does not imply peer review. Claims listed under "撤回されたこと" were **withdrawn in revision**; this is not a formal retraction, and no retraction notice exists. The 2025 record remains live and is deliberately not deleted. **Mathematical content.** Nothing here is new mathematics. The operator `x ← DQx + (I − D)p` is an affine stationary iteration; convergence follows from the Banach fixed-point theorem (Banach 1922). The series independently arrived at standard results — a **rediscovery**, classified line by line in the table below. The revision also corrects an operator-norm / spectral-radius conflation, and that correction is itself textbook material (Varga 2000; Householder 1964; Horn & Johnson 2013 §5.6). **Authorship and language models.** The author is Takuya Nemoto (ORCID [0009-0000-1406-0547](https://orcid.org/0009-0000-1406-0547)) and bears full responsibility. **No language model is an author.** The 2025 first draft was **generated by a language model (ChatGPT / OpenAI)**: the author supplied the symbol `Ⅲ∞` — three things iterated without end — and the mapping, fixed point, convergence and theorem were fitted by the model. The frozen PDFs do not say this; see `E4` in [ERRATA.md](/trinity-infinity/ERRATA.html). The 2026 revision and this repository were written with Claude Code (Anthropic). **The papers were not independently derived by a human.** **Verification.** `python3 verification/independent_check.py` (15 checks), `claims_audit.py` (32), `check_errata.py` (108, needs pypdf), `check_route.py` (143). Dependencies are in `requirements.txt`. All four run in CI on every push. **Closed.** On 2026-09-29 the series was closed as a theory. There will be no Series IV. The three papers stay as a learning record. What follows them is a teaching module in [trinity-operator](https://github.com/cpsbvbng26-dotcom/trinity-operator), written in the notation of the Friedkin–Johnsen literature. The errata and the route record stay open for corrections. **Where the record lives.** Route of the rediscovery: [ROUTE.md](/trinity-infinity/ROUTE.html). Errata: [ERRATA.md](/trinity-infinity/ERRATA.html). Cross-repository correction register: [self-correction](https://github.com/cpsbvbng26-dotcom/self-correction). Which source is canonical when several exist: [canonical-sources](https://github.com/cpsbvbng26-dotcom/cpsbvbng26-dotcom/blob/main/docs/canonical-sources.md).

結論

枠組みは残りませんでした。

残ったのは、一つの作用素についての一つの事実です。Q が n 巡回置換で D が対角のとき、(DQ)ⁿ = (∏ᵢ aᵢ)·I がちょうど成り立ちます。だから収束を決めているのは係数の相乗平均であって、最大値でも作用素ノルムでもありません。

この事実は正しく、機械で確かめられ、そして学部 2〜3 年の演習問題の水準です。取り違えたのは、その講義がちょうど試験で問う一点です。だから、同じ取り違えを二度と通さない検査に落とせました。直しに使った道具は、大学院の線形システム論と行列解析に属します。いちばん近い学科は、数値解析ではなく線形システム論・現代制御です。

道具が大学院の側にあっても、直された中身は演習問題のままです（どの水準の数学か）。

記号 Ⅲ∞ のうち、数学的な内容がある側は Ⅲ（＝三）でした。その側が、意味を持たないと証明されました。残ったのは ∞（反復して極限をとる）で、これは対象の型を言っているだけで、定理を含みません。

この作用素が何かは、一行で書ける。

Friedkin–Johnsen 意見動学の、影響行列を巡回置換に限った特殊例（先入見ベクトルは外生）。属でいえば、重み付き巡回シフトを線形部に持つ定常アフィン反復である。

英文の定義と、そこに入れる四つの条項は ERRATA.md の E8 にあります。 Trinity-Infinity は、記録と論文列の題名としてだけ残します。模型の名としては使いません。

論文としての価値は、真であることに尽きる。ただし、いまは条件つきです。

三篇は新しい数学理論を主張していません（Series I の要旨 —— not as a new mathematical theory, but as a conceptual lens）。だが、貢献は主張しています。紙面に四文あります。

This paper's one substantive claim is Theorem 1（Series I 第6節） This paper's contribution is Theorem 1（Series II 第9節・Series III 第5節） established one non-trivial, general mathematical fact（Series III 第4節）

ERRATA.md の E8 が重大度・高で立っているあいだ、この四文は帰属の側で立ちません。既知のモデル（Friedkin–Johnsen）の特殊例を、自分の貢献として述べていることになります。枠組みについては何も偽にしていません。貢献については、空白ではありません。

だから「真であることに尽きる」は、帰属の修正が入ったあとに、その用途を全部果たす。修正が入るまで、下限と上限が一致しているとは、現在形では書けません。

真であることは、論文の下限であって上限ではありません。どの論文もそこは満たしているはずのものです。

題名も、同じ割れ方をしています。撤回した一般向けの本の題は『グランドセオリーというロマン —— トリニティインフィニティフレームワーク』だった（登録簿の BK-001）。

題名の半分	残ったか
ロマン	当たっていた。理論としては残らなかった
フレームワーク	当たっていなかった。枠組みは残らなかった

ただし、「ロマン」を事前の自己診断として読むのは、回顧的な解釈です。題名に置かれたその語は、普通は賛辞として読まれます。着地を知ってから題名を読み直しています。等級は 紙面 ではなく、回顧的解釈・検証不能です。

そして、題名の一語が当たっていたことは、本を救いません。本そのものは撤回されており、何を主張していたかは確かめられない（BK-001）。

この系列の価値は、枠組みにではなく、枠組みが縮んでいく過程が消さずに残っていることのほうにあります。そこも自分では測れない（登録簿の ST-002）。

経緯はどの水準の数学かと結局、何をしてどう終わったかに、順序は ROUTE.md にあります。

この判定を保ったまま、arXiv へ出すことを著者が決めた（2026年9月9日）。出す形と、却下される見込みを先に書いたものを ARXIV.md に置いてあります。新しい結果が無いという上の一行は、その決定によって変わりません。 2026年9月24日、この決定を取り消しました。著者が数学の側をここで終えることにしたためです。 Series I は出していません。取り消しても、上の一行は変わりません。

三本の系列です。枠組みを提示した系列ではありません。枠組みが自分を検証にかけて縮んでいく系列です。

2025年に発表した最初のプレプリントは、三つの要素が再帰的に統合されて収束するという着想を軸に、ゲーム理論・数理論理学・機械工学、そして人工知能のアライメントや気候政策への応用まで主張していました。 2026年8月の改訂で、二つの条件を課して書き直しています。

定理は、書かれたとおりに証明できること。「趣旨としては証明できる」「直せば証明できる」ではなく、読者が読むとおりに
数値は、同梱するコードが出したものであること。記憶している実行結果でも、もっともらしい見積もりでもなく

どちらも厳しい条件ではありません。本来すでに満たされているべきものです。この系列が記録として意味を持つのは、それを満たさなかった部分がどれだけあったかのほうです。

三本

	内容	版	DOI
Series I	巡回置換つきアフィン反復と、その収束定理。ゲーム理論・論理学・工学への例示	改訂版 — 2026年8月	10.5281/zenodo.22058624 ← II・III の参考文献欄はここを誤っている
Series II	座標ごとに異なる混合率への一般化。均衡利得集合と、ばね系の完全な計算例	改訂版 — 2026年8月	10.5281/zenodo.22058777
Series III	「三である必要はあるのか」への回答と、系列全体の回顧	2026年8月	10.5281/zenodo.22058964

Series II は SSRN にも登録されている —— 10.2139/ssrn.7446961。同一の本文です。正は Zenodo の 10.5281/zenodo.22058777 です。 SSRN の選別は主題と体裁を見るものであり、査読ではありません。

本文は PDF のままです。Markdown への書き起こしはしていません。数式の下付き文字が抽出時に別行へ分解されるため、起こすには数式を組み直す必要があり、それは論文を変えることになります。

確立されたこと

三本を通して残った数学的事実は、ひとつです。

座標の置換と、固定した基準点への統合とを合成した作用素は縮小写像であり、したがってバナッハの不動点定理により、唯一の不動点へ幾何的に収束する。

Series I がこれを三要素・一様な混合率について証明し、Series II が混合率を座標ごとに変えても成り立つことを示し、Series III が、そもそも三要素である必要がなかったこと（任意の n ≥ 2 で同じ証明が通る）を示しました。

n = 3 が区別されるのは一点です。巡回置換がそれ自身の逆写像にならない最小の n であること。 Series III はこの事実を特定したうえで、それが「三」の文化的・哲学的な含意を正当化しないことを明示的に否定しています。

これ以外の内容は、すべて (a) 他分野の既知の結果を正しく計算した実例か、 (b) 類推または未証明の推測として明示的に印をつけたもの、のいずれかです。

数学的再発見として

この系列で起きたことには名前があります。数学的再発見です。そこへ至る九段階は ROUTE.md に刻んです。

ただし、一つ先に断る。初稿は著者が導いたものではない。著者が持っていたのは Ⅲ∞ が指定する範囲 —— 三つのものを果てまで反復する —— までで、 写像も不動点も収束も定理も、当てはめたのは言語モデルである （ERRATA E4）。「独立して到達した」という意味での再発見は、この系列には当てはまらない。当てはまるのは「言語モデルが標準的な構成を出力し、それが新規の枠組みとして公開された」という形である。以下の分類は、 何が既知だったかについてのものであって、誰が到達したかではない。

再発見 —— 既に文献にある結果に、それを知らずに独立して到達すること。

似た三つを区別しておく。混同すると評価が狂います。

	定義	この系列
再発見	既知であることを知らずに独立到達した	該当する
多重発見	複数人がほぼ同時に独立到達した（Merton 1961）	該当しない。数十年から百年遅れている
再導出	既知だと知った上で自分で導き直す	一部が該当（下表）

再発見そのものは失敗ではありません。どう置いたかで意味が決まる。

ラマヌジャンは孤立した環境で既知の解析の相当部分に独立到達しており、Hardy はそれを重複と認めた上で評価を変えていません（Hardy 1937, 1940）
逆の例が Tai (1994) です。台形公式を新しい「モデル」として発表し、同じ雑誌に「これは台形公式である」という指摘が載った（Monaco & Anderson 1994）。問題は中身ではなく、既知だと書かなかったことです

この系列は、最初 Tai (1994) の側にいて、2026年8月の改訂で自分をもう一方の棚に移しました。移したのが第三者ではなく著者自身である点が、この記録の性質を決めています。

五行の種別

「すべて再発見」とまとめるのは雑です。種類が違います。

内容	種別	すでにある名前
作用素 `x ← DQx + (I − D)p`	再発見	アフィン反復。`x ← Mx + c` の形は定常反復法と呼ばれ、Jacobi 法・Gauss–Seidel 法と同じ枠に入る（Varga 2000, Young 1971）。さらに近い名前がある —— 合意形成動学のFriedkin–Johnsen モデル（Friedkin & Johnsen 1990）で、この作用素はその `W` を巡回置換に限った特殊例である（`ERRATA.md` の `E8`、原典未読）
巡回置換が自己逆にならない最小の `n` が 3	再発見	置換群の初等的な事実
縮小定数は `maxᵢ aᵢ`	再導出	対角行列と置換行列の積のノルム。その場の計算
縮小写像なので唯一の不動点へ幾何収束する	利用	バナッハの不動点定理（Banach 1922）。系列は正しく引用しており、再発見ではない
任意の `n ≥ 2` で同じ証明が通る（III）	発見の否定	新事実ではなく、`n = 3` という区別が最初から無かったことの確認

再発見 2、再導出 1、利用 1、発見の否定 1。

独学という条件が説明すること、しないこと

説明すること。指導教員がいれば「その形は定常反復法である」で初回に終わっています。文献調査の反射が身についていなければ、既知かどうかを確かめる工程が構造的に抜け落ちます。これは能力の問題ではなく、置かれた条件の問題です。

説明しないこと。発表した時点で、確かめる責任は等しく発生します。独学は原因の説明であって、免責ではありません。だから撤回が必要であり、実際に撤回しています。

直観が当たった部分と、外れた部分

当たっていた部分。「固定した基準点へ寄せる」と「座標を回す」を合成すれば収束する、という構造の見立ては正しい。選んだ対象は、筋の良い標準的な対象です。独立に標準形へ着地したこと自体は、直観が実在する構造を捉えていたことの証拠になります。

外れていた部分。証明が書かれたとおりには通らず（不動点が一意にならない）、作用素ノルムとスペクトル半径の区別を落としました。

外れ方に構造があります。論文の設定では Q が置換行列＝直交、a が一様なので A = DQ は正規行列になり、ρ(A) = ‖A‖₂ が成り立ちます。区別しなくても答えが合ってしまう。直観が届く範囲の内側では正しく、外側で初めて壊れる種類の誤りです。

正規でない場合に何が起きるかは trinity-operator で実装しました。 ρ < 1 ≤ ‖A‖₂ のとき収束はするが、誤差はいったん増える（非正規行列の過渡的増幅。Trefethen & Embree 2005）。

歴史的な位置づけ

数学という分野に対しては、寄与ゼロです。新しい定理はありません。ここは動きません。

記録としては、ゼロではありません。再発見の大半は、誰にも知られず消えるか、発見として発表されたあと第三者に指摘されるかのどちらかです。科学社会学が扱える材料はたいてい外から出た記録（訂正通知・撤回通知）で、内から出た記録は構造的に集まりません。

この系列にあるのは、著者自身が、日付つきで、機械検証可能な形で、自分の再発見を再発見だと書いた記録です。価値は数学の中身ではなく、材料としての形の側にあります。

どの水準の数学か

残ったものは、学部 2〜3 年の演習問題です。犯した誤りは、その講義が試験で問う取り違えです。直しに使った道具は、大学院の線形システム論と行列解析に属します。いちばん近い学科は、数値解析ではなく線形システム論・現代制御です。順位は書きません。確かめようも覆しようもないからです。

以下、その根拠を順に置きます。

	水準
残った事実（`(DQ)ⁿ = (∏ᵢ aᵢ)·I`、`ρ` が相乗平均）	学部 2〜3 年の演習問題
犯した誤り（ノルムと `ρ` の取り違え）	同じ講義が試験で問うところ
直しに使った道具（リアプノフ方程式で縮小になるノルムを構成）	大学院の線形システム論・行列解析

三つめだけが上にはみ出しています。それで全体の水準が上がるわけではありません。直した道具が上でも、直された中身は演習問題のままです。壊れたものを直すのに、それより上の道具が要ったというだけです。

大学院に入る部分

二つあります。どちらも、学部の講義が扱う範囲の外にあります。

一つめは、非正規行列の過渡的な増大です。反例 Q = [[1,40],[0,1]] は ρ = 0.5 なのに ‖A‖₂ = 20.01 で、誤差は第 2 段で初期値の 11.8 倍に膨らんでから減っていく。学部の講義は ρ < 1 なら収束すると述べるところまでで、この山の高さは扱いません。山を出すには行列が正規でない場合を見る必要があり、それは擬スペクトルの主題です（Trefethen & Embree 2005）。

二つめは、縮小になるノルムの構成です。ρ < 1 から離散リアプノフ方程式 P − AᵀPA = W を解いて重み付きノルムを作り、κ = γ√(1 − 1/λmax(P)) が上界ではなく ‖A‖_P そのものであることを示しました。Horn & Johnson §5.6 と、下に挙げた制御の講義の水準です。

ただし、これで全体が大学院の水準になるわけではありません。大学院の道具を使ったのは、学部の演習問題を取り違えたのを直すためです。道具の水準と、直された中身の水準は別です。

使った道具と、それが普通どこで出てくるかを並べる。

使ったもの	普通どこで出てくるか
`x ← Ax + b` が任意の初期値から収束する必要十分条件は `ρ(A) < 1`	線形代数の後半、または数値解析の最初のほう
どんな誘導ノルムでも `ρ(A) ≤ ‖A‖`	同上。証明は数行
バナッハの不動点定理	微積分・位相の入門
`Q` が n 巡回置換、`D` が対角なら `(DQ)ⁿ = (∏ᵢ aᵢ)·I`	行列の演習問題
そこから `ρ(DQ)` は係数の相乗平均になる	同上
`ρ(A) < 1` なら `A` が縮小になるノルムが存在する（リアプノフ方程式で構成）	数値解析・制御の標準的な結果
繰り返し囚人のジレンマのグリム・トリガーは `δ ≥ 1/2`	ゲーム理論の入門

犯した誤りも、その授業が教えようとしている落とし穴そのものです。ノルムが 1 未満なら収束します。これは正しい。逆は言えません。ρ(A) ≤ ‖A‖ の不等号がどちら向きかを取り違えると、十分条件を必要十分条件だと思い込みます。教科書がこの不等式を先に置くのは、その取り違えを防ぐためです。そこで転んだ。

どの学科で扱うか

一つの学科に収まりません。同じ対象が、四つの場所で別の名前で扱われています。

学部・学科	科目	何として出るか
理学部数学科	数値解析・応用数学	`ρ(A) ≤ ‖A‖`、`ρ(A) < 1 ⟺ Aᵏ → 0`
情報工学科	数値計算法	定常反復法
電気電子・機械・システム制御	線形システム論・現代制御	離散時間系のシュール安定
経済学部	ゲーム理論入門	グリム・トリガーの `δ ≥ 1/2`

いちばん近いのは三つめです。この作用素が扱っているのは、三つの要素が反復して一つに収束する系であり、離散時間の線形システムの漸近安定性そのものです。壊れた証明を直すのに使った離散リアプノフ方程式 X − AᵀXA = Q も、そこの標準道具です。論文は数値解析の言葉で書かれていたが、対象は制御の対象でした。

世界大学ランキングは、この件の軸になりません。上の内容は、数値解析や線形システム論を開講している大学なら順位に関係なく出てくる。順位で変わるのは進度と周囲の科目であって、 ρ(A) ≤ ‖A‖ が出るかどうかではありません。「順位 N 位の大学の演習に相当する」は、確かめようも覆しようもありません。だから書きません。

参照した講義（未確認）

この一覧は検索結果から取ったものである。作業環境から開いて読んではいない（外に出られるのは GitHub だけ）。科目番号も同じである。確かめずに「確認済み」とは書かない。

MIT 18.086, Mathematical Methods for Engineers II, §6.2 Iterative Methods
University of Waterloo CS475, Lecture 21: Convergence of Iterative Methods
North Carolina State University (Tsynkov), Ch.6 Iterative Methods for Solving Linear Systems
University of Minnesota (Olver), Numerical Analysis Lecture Notes
Worcester Polytechnic Institute ECE504, Lecture 8
University of California San Diego MAE280B, Lecture 7: Stability
Arizona State University MAE598, Lecture 4: LMI Methods in Optimal and Robust Control

結局、何をしてどう終わったか

始まり。記号 Ⅲ∞ がありました。三つのものを、果てまで反復します。それだけです。写像も、空間も、距離も、収束も、記号からは出ない（経路）。

やったこと。その記号を言語モデルに渡し、出てきた構成を論文として公開しました。中身は x ← DQx + (I − D)p という一次の反復で、収束は縮小写像から従うと書きました。そこにゲーム理論・機械工学・人工知能のアライメント・気候政策への応用まで載せました。

壊れた順。

三人ゲームの利得表が 4 セルしかありません。三人・二戦略なら 8 通りある
「98.7% の試行で確認」に、再現できるコードも乱数種も無い
離散の反復に、連続時間のリアプノフ微分と LaSalle の原理を当てていた
応用の主張に根拠が無い
n = 3 に数学的な意味がありません。外から言われる前に、三本目で著者が自分で否定した
収束を決めているのはノルムではなくスペクトル半径でした。反例は Q = [[1,40],[0,1]] で ρ = 0.5、‖A‖₂ = 20.01、誤差は第 2 段で初期値の 11.8 倍に膨らむ

残ったもの。Q が n 巡回置換で D が対角のとき、(DQ)ⁿ = (∏ᵢ aᵢ)·I がちょうど成り立ちます。だから収束を決めているのは係数の相乗平均であって、最大値でも作用素ノルムでもありません。これは正しく、機械で確かめられ、そして教科書の演習問題です。

記号の行方。Ⅲ（＝三）は、記号のうち数学的な内容がある側でした。その側が、意味を持たないと証明されました。残ったのは ∞（反復して極限をとる）のほうで、これは対象の型を言っているだけで、定理を含みません。

枠組みは残りませんでした。残ったのは、一つの作用素についての一つの事実と、それが壊れていく過程の記録です。消していない理由はなぜ消さずに置いてあるのかにあります。

新しい数学は含まれていない

以上から結論が出ます。残った事実に、既存の文献に無いものは一つもありません。訂正の側も同じです。x ← Ax + b が任意の初期値から収束する必要十分条件が ρ(A) < 1 ですことも（Varga 2000）、ρ(A) < 1 なら A が縮小になるノルムが存在することも（Ostrowski / Householder 1964; Horn & Johnson 2013 §5.6）、教科書に載っています。

誤りを見つけたことに独自性があるのではありません。教科書と突き合わせたら合わなかった、というだけです。

この結論は、上の五行のどれか一つについて「これは既存の文献に無い」と示せば覆ります。一件で覆ります。

出典

この一覧は、著者の作業環境から原典に到達して確認したものではない。外部への通信が塞がれた環境で書いている。書誌事項の誤りが見つかった場合は ERRATA.md に記録する。確かめずに「確認済み」とは書かない。

Banach, S. (1922). Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae, 3, 133–181.
Hardy, G. H. (1937). The Indian Mathematician Ramanujan. The American Mathematical Monthly, 44(3), 137–155.
Hardy, G. H. (1940). Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work. Cambridge University Press.
Horn, R. A., & Johnson, C. R. (2013). Matrix Analysis (2nd ed.). Cambridge University Press. §5.6.
Householder, A. S. (1964). The Theory of Matrices in Numerical Analysis. Blaisdell.
Merton, R. K. (1961). Singletons and Multiples in Scientific Discovery: A Chapter in the Sociology of Science. Proceedings of the American Philosophical Society, 105(5), 470–486.
Monaco, J. H., & Anderson, R. L. (1994). Tai’s Formula Is the Trapezoidal Rule. Diabetes Care, 17(10), 1224–1225.
Tai, M. M. (1994). A Mathematical Model for the Determination of Total Area Under Glucose Tolerance and Other Metabolic Curves. Diabetes Care, 17(2), 152–154.
Trefethen, L. N., & Embree, M. (2005). Spectra and Pseudospectra: The Behavior of Nonnormal Matrices and Operators. Princeton University Press.
Varga, R. S. (2000). Matrix Iterative Analysis (2nd ed.). Springer.
Young, D. M. (1971). Iterative Solution of Large Linear Systems. Academic Press.

内容を引き写してはいません。「既知である」ことの出典として挙げています。

この系列は閉じた

2026-09-29 に、この系列を理論として伸ばすことをやめました。Series IV は出しません。三篇は、既知の模型の特殊例に独学で行き着いた学習の記録として、このまま残します。

続きは理論の形を取りません。trinity-operator の教材が引き継ぎます。題は The Friedkin–Johnsen model with a cyclic influence matrix です。新しい枠組みとしてではなく、文献の模型の記号で、三篇がどこを取り違えたかを一回ずつ扱います。

閉じたのは、新しいものを足すことです。正誤表と経路の記録は、見つかった誤りを書き足す場として続けます。凍結された三篇の PDF は、これまでどおり直しません。

撤回されたこと

改訂前の草稿が主張していて、改訂版に残らなかったものです。各論文が自ら列挙しています。

ここでいう「撤回」は、改訂で落とした主張を指します。出版上の retraction ではありません。初版のレコードは生きており、この記録の範囲に撤回通知はありません。

主張	なぜ残らなかったか
収束定理（原型）	原文の自然な読みでは不動点が一意にならない。全座標が等しい状態がすべて不動点になり、極限は初期値に依存する
「98.7% の試行で確認」	再現できるコード・乱数種・停止条件がない。作用素を記述どおり実行すると値も一致しない
三人ゲームの利得表	3人2戦略のゲームは 2³ = 8 通り。4セルの表はこのゲームを表現できない
リアプノフ微分と LaSalle の原理	離散反復に連続時間の道具を当てていた。縮小定数が既知なので、必要な議論は一行で済む
人工知能のアライメント・気候政策・ガバナンスへの応用	実際の政策過程が固定基準点へ縮小することも、制度を距離空間の点として扱えることも、到達する不動点が望ましいことも、何も示されていない

Series II は最後の項目について、主張を成立させるために最低限必要なものを挙げています。実在の過程から距離空間への明示的な写像、その写像が正確だという経験的証拠、そして到達する不動点が 望ましいという規範的議論（到達可能であることとは別の話）。この三つが揃っていませんでした。

論文の外で撤回したもの —— 一般向けの電子書籍

『グランドセオリーというロマン —— トリニティインフィニティフレームワーク』（Kindle）を、著者が販売停止にしました。著者はこの書き物の正式な種別を「マニフェスト」と述べています。

上の表と、この一件は性質が違います。上は改訂で落とした主張であり、初版のレコードは Zenodo に生きたまま残っています。だから何を撤回したかを第三者が確かめられます。書籍については、それができません。残っているのは著者の言葉だけで、ISBN も ASIN も記録していません。この記録で唯一「消した」ものです。

確かめられないことが三つあります。何を主張していたか。プレプリント側で撤回した応用（人工知能のアライメント・気候政策・ガバナンス）が世界観として残っていたか。そして、出したのが 2026年8月の改訂の前か後か。前なら初版と一貫し、後なら食い違います。どちらかは分かりません。

販売停止は著者の申告です。作業環境から Amazon に届かないので、こちらでは確かめていません。登録簿の BK-001 に記録してあります。外部の評価がこの本を挙げたことで、記録に無い公開物があると分かりました。

なぜ消さずに置いてあるのか

元の DOI は生きたままです。改訂版は、誤りを静かに上書きするのではなく、何が落ちたかを項目ごとに書いています。

普通は逆になります。静かに v2 を出すか、他人に指摘されるまで放置されるか。残った定理は初等的なもので、それは論文自身が認めています。この系列の価値は定理の大きさではなく、野心的な枠組みを証明とコードの実行に通したとき何が残るか、という測定のほうにあります。

検証

四本のスクリプトが入っています。問いが違います。

	問い	項目
`verification/independent_check.py`	定理は正しいか。証明の記述から独立に実装して、同じ結論に達するか	15
`verification/claims_audit.py`	紙面に印字されている数字は、その通りに出るか。論文から数値を書き写し、隣に計算し直した値を並べる	32
`verification/check_errata.py`	正誤表が紙面について述べていることは、紙面と合うか。 PDF から文字を取り出して突き合わせる	108
`verification/check_route.py`	ROUTE.md の九段階は、他の文書と食い違わないか。	143

python3 verification/independent_check.py
python3 verification/claims_audit.py
python3 verification/check_errata.py    # pypdf が要る
python3 verification/check_route.py

上の二本は NumPy のみを必要とし、乱数種を固定しています。47 項目すべてが通ります。 GitHub Actions が push ごとに四本すべてを実行している —— 上のバッジが、いま通っているかどうかです。詳細は verification/README.md を参照すること。

claims_audit.py が確かめるのは、たとえば次のようなものである —— Series I の不動点 (0.510204, 0.306122, 0.183673)、Series II の異方的な不動点と 8つの利得の凸包の体積 4.00、ばね系の K∞、Series III の表1の P² = I の列。論文の数値を一つも信用しないで読み直せます。

なお、各論文は検証スクリプトを同梱していると謳っているが、そのスクリプトは存在しません。配布物にも著者の手元にも残っていません（ERRATA.md の E3）。謳っているのは謝辞だけではなく、三本で合計 6 箇所です。ここにある四本は、その代用ではなく別に書いたものです。元のスクリプトが何を計算していたかは、もう分かりません。

その 6 箇所が本当に紙面に印字されているかは、check_errata.py が PDF から文字を取り出して突き合わせる（108 項目）。E1・E2 の引用も、名乗る件数も、未解決の項目が「解決済み」に書き換わっていないかも、同じように当たります。

条件は verification/audit.toml に宣言してあり、当たるのは errata-check（MIT、単一ファイル、v0.1.0、10.5281/zenodo.22649054）がやる。判定に推論を使いません。あるか、無いか、一致するか、しないか。 PDF そのものの SHA-256 も宣言してあるので、一次資料が差し替わればそこで落ちます。

ライセンス

対象	ライセンス
散文・論文・構造化データ —— `README.md`、`ERRATA.md`、`ROUTE.md`、`pdf/` の三篇	CC BY 4.0
実装 —— `verification/` の検査スクリプト	MIT

実装が MIT であることは、これまでどこにも書いていませんでした。 LICENSE は CC BY 4.0 しか置いておらず、検査スクリプトを CC BY 4.0 だと読む余地がありました。ライセンスを変えたのではありません。書いていなかったものを書きました。

注記: 三本の PDF 自体にはライセンスの記載がありません。著者の他のプレプリントに合わせて CC BY 4.0 としています。掲載先（Zenodo）の設定と異なる場合は、掲載先を正とすること。

引用

三本とも Zenodo に登録され、DOI が付与されています。上の一覧の DOI 欄から辿れます。

Nemoto, T. (2026). The Trinity-Infinity Framework: A Conceptual Model with Illustrative
Applications in Game Theory, Mathematical Logic, and Mechanical Engineering
(Revised Edition). Zenodo. https://doi.org/10.5281/zenodo.22058624

Nemoto, T. (2026). The Trinity-Infinity Framework, Series II: Extended Formalization
and Further Illustrative Applications (Revised Edition). Zenodo.
https://doi.org/10.5281/zenodo.22058777

Nemoto, T. (2026). The Trinity-Infinity Framework, Series III: Beyond Three —
A Generalization and Retrospective. Zenodo. https://doi.org/10.5281/zenodo.22058964

改訂前の版（2025年、この系列が訂正の対象としているもの）は別の DOI をもつ: 10.5281/zenodo.17173703。どちらを参照したのかが読者に分かる形で引用すること。

正誤

見つかった不備は ERRATA.md にまとめています。PDF に手を入れない方針のため、本文を書き換える代わりにここに記録しています。

いちばん影響が大きいのは E1 です。Series II と Series III の参考文献欄は、改訂版 Series I を 10.5281/zenodo.17173703 で引用しています。これは訂正の対象です 2025年の初版の DOI で、改訂版は 10.5281/zenodo.22058624 です。そのまま辿った読者は、 II と III が「これを一般化する」と述べている定理の、撤回された方の版を読むことになります。

改訂版 Series I を参照する場合は 10.5281/zenodo.22058624 を用いること。

言語モデルの利用

論文について。三本とも、起草・数学的定式化・計算による検証にあたって Claude（Anthropic）の助力を得ています。各論文の末尾に、どの作業に用いたかの開示文があります。

初稿について。 2025年10月の初版は、記号 Ⅲ∞（三つのものを果てまで反復する）に写像と定理を当てはめる形で、言語モデル（ChatGPT / OpenAI）が生成したものです。三本の PDF にはこの記載がありません。紙面は改訂への Claude の関与しか述べておらず、初稿の出所に触れていません。凍結された PDF は直せないため、ERRATA.md の E4 に記録しています。当時、自己登録のプレプリントに開示義務は無く、規則違反ではありません。

このリポジトリについて。 README の構成と本文、ERRATA.md、CITATION.cff、および verification/ のスクリプトは、Claude Code（Anthropic）を用いて作成し、実行しました。論文の PDF には手を入れていない —— pdf/ にあるのは配布されたファイルそのものです。README に書いた「確立されたこと」「撤回されたこと」は、各論文自身の改訂註と回顧の章にもとづく要約であり、こちらで新たに評価を加えたものではありません。

検証スクリプトが報告する数値は、すべて実行して得たものです。いずれの主張についても、責任は著者（根本卓哉）にあります。言語モデルは著作者ではありません。

記録から確認できること。このリポジトリのコミットは Claude 名義で、末尾に作業セッションを示す Claude-Session: トレーラが付いています。 git log --author=Claude で辿れます。

この記録の外側

同じ内容が複数の場所にあるとき、どれを正とするかは canonical-sources に固定してあります。訂正の記録そのものは self-correction の登録簿にあります。

著者

根本卓哉（Takuya Nemoto）プロフィール｜ ORCID

This site is open source. Improve this page.