再発見と再導出が、どの順に、何を根拠に起きたか。
この系列に新しい数学は含まれていません（README）。 その結論は一日で出たものではなく、九段階を経ています。ここはその経路そのものの記録です。
論文は終点しか見せません。撤回通知も終点です。間は構造的に残りません。 残しておかなければ、あとから「最初から分かっていた」とも「最後まで気づかなかった」とも 書けてしまう。だから経路のほうを刻みます。
verification/check_route.py が、この表の形と筋を検査している（143 項目）。
| # | いつ | 何が起きたか | 種別 | 後から分かった名前 | 記録 | 証拠 |
|---|---|---|---|---|---|---|
| 1 | 2025-10 | 著者が持っていたのは Ⅲ∞ が指定する範囲まで —— 三つのものを果てまで反復する（Ⅲ が変数の個数、∞ が反復と極限）。写像も不動点も収束も定理も記号からは出ない。そこを当てはめたのは言語モデル（ChatGPT / OpenAI）で、その出力が初版になった。ゲーム理論・数理論理学・機械工学、人工知能のアライメント、気候政策まで適用範囲を主張している |
生成 | —— | 再構成 | 10.5281/zenodo.17173703（撤回された初版）／ERRATA E4 |
| 2 | 2026-08 | 作用素を x ← DQx + (I − D)p の形に書き下した。着想を式にした段階 |
再発見 | アフィン反復。x ← Mx + c の形は定常反復法（Varga 2000, Young 1971）。さらに近いのは合意形成動学のFriedkin–Johnsen モデル（1990）で、この作用素はその特殊例である（ERRATA E8、原典未読） |
再構成 | 10.5281/zenodo.22058624 |
| 3 | 2026-08 | ‖f(x) − f(y)‖ = α‖x − y‖ を示し、縮小写像だから唯一の不動点へ収束すると結論した |
利用 | バナッハの不動点定理（Banach 1922）。正しく引用しており、再発見ではない | 再構成 | 10.5281/zenodo.22058624 |
| 4 | 2026-08 | 混合率を座標ごとに変えても成り立つことを示し、縮小定数が maxᵢ aᵢ になることを自分で導いた |
再導出 | 対角行列と置換行列の積のノルム。初等的な計算 | 再構成 | 10.5281/zenodo.22058777 |
| 5 | 2026-08 | 要素数を n にしても同じ証明が通ると気づいた。n = 3 に数学的な意味が無いことを自分で否定した |
発見の否定 | 巡回置換が自己逆にならない最小の n が 3 であることは、置換群の初等的な事実（これは再発見） |
再構成 | 10.5281/zenodo.22058964 |
| 6 | 2026-08 | 三本が主張していたもののうち、証明できないもの・数値の裏付けが無いものを列挙して撤回した | 撤回 | —— | 再構成 | README の「撤回されたこと」 |
| 7 | 2026-09-06 | 論文の仮定の外まで実装した。収束を決めているのは作用素ノルムではなくスペクトル半径だと判明。反例 Q = [[1,40],[0,1]]、ρ = 0.5、‖A‖₂ = 20.01、誤差は第 2 段で初期値の 11.8 倍 |
既知との衝突 | x ← Ax + b の収束の必要十分条件が ρ(A) < 1 であることは教科書にある（Varga 2000） |
同時 | trinity-operator |
| 8 | 2026-09-07 | ρ < 1 のとき A が縮小になるノルムを、リアプノフ方程式 P − BᵀPB = W を解いて構成した。κ = γ√(1 − 1/λmax(P)) は上界ではなく ‖A‖_P そのもの |
再導出 | ρ(A) < 1 なら縮小になるノルムが存在することは古典的な結果（Ostrowski / Householder 1964; Horn & Johnson 2013 §5.6） |
同時 | trinity-operator の証書 |
| 9 | 2026-09-08 | 作用素が定常反復法であると同定し、この系列で起きたことを数学的再発見と規定した | 同定 | —— | 同時 | README |
Ⅲ∞ の適用範囲を、決めた分と決めなかった分に切って書きます。ここを曖昧にすると、
記号が定理を含んでいたようにも、何も含んでいなかったようにも読める。どちらも違います。
| 記号 | 決めていること |
|---|---|
Ⅲ |
変数の個数。n = 3 |
∞ |
反復を打ち切らず、極限をとること |
合わせて「三つのものを、果てまで反復する」。これは舞台の指定です。
| 記号から出るか | |
|---|---|
| 写像そのもの（何をどう混ぜるか） | 出ない |
| 空間と距離（どこで測るか） | 出ない |
| 極限が存在するか | 出ない |
| 極限が一つに定まるか | 出ない |
| 収束の速さ | 出ない |
| 基準点が固定か、状態自身か | 出ない |
最後の一行が効きます。Ⅲ∞ は、固定した基準点へ寄せる作用素と、状態自身の平均へ
寄せる作用素を、区別しません。どちらも「三つのものを果てまで反復する」を満たす。
2025年の初稿が実際に置いたのは、後者です。状態自身の平均へ寄せる形で、 不動点は一つに定まりません。全座標が等しい状態がすべて不動点になり、極限は 初期値に依存します。
その作用素も Ⅲ∞ の適用範囲の内側にあります。したがって記号は、正しい構成と
誤った構成のあいだで選べていません。選べていないものは、含んでいません。
適用範囲の外側にあるものも書いておく。aᵢ ≥ 1 を許せば反復は発散するが、
それも「三つのものを果てまで反復する」ではあります。極限が無いだけです。
ρ < 1 ≤ ‖DQ‖₂ の場合は収束するが誤差がいったん増える。これも範囲の内側です。
つまり Ⅲ∞ が切り出す集合は、定理が扱う集合より真に広い。広い側に、
発散も非一意も過渡的増幅も入っています。
Ⅲ は、段階 5 で意味が無いと証明されました。任意の n ≥ 2 で同じ証明が通ります。
∞ は残りました。そして残った側は、結果ではなく設定です。「反復して極限をとる」は、
不動点反復という問いの立て方そのものであり、答えではありません。
記号は舞台を決めており、定理を決めていません。これが Ⅲ∞ の適用範囲です。
この節の主張は、既にあるコードで当たれます。
verification/independent_check.py の Dρ < 1 ≤ ‖DQ‖₂ で誤差がいったん増えること ——
trinity-operatorn = 3 が効いていないこと —— independent_check.py の A（n = 2, 3, 4, 5, 8）新しい検査は足していません。この節は、既に走っているものの読み方を書いたものです。
気づいた順が、難しさの順ではありません。
n = 3 に意味が無いこと（段階 5）は、三本目で自分で見つけています。外から指摘される前に、
自力で最も痛い結論に到達しています。一方、作用素ノルムとスペクトル半径の区別（段階 7）は、
実装するまで見えませんでした。
理由は構造にあります。論文の設定では Q が置換行列 ＝ 直交、a が一様なので
A = DQ は正規行列になり、ρ(A) = ‖A‖₂ が成り立ちます。区別を落としても答えが合います。
紙の上では絶対に見えず、仮定を外して走らせて初めて壊れる種類の誤りでした。
再発見（段階 2 と、段階 5 に含まれる置換群の事実）は紙の上で起き、 再導出（段階 4・8）も紙の上で起き、 既知との衝突（段階 7）だけがコードの上で起きています。
そして段階 1 と 2 の中身は、著者が導いたものではありません。記号が決めていたのは
対象の型（三つ、反復、極限）までで、写像も定理も、渡して生成させた出力です
（ERRATA E4）。しかも記号の数学的な半分 —— Ⅲ —— は、段階 5 で
意味が無いと証明された側です。「独立して到達した」という意味での
再発見は、この系列には当てはまりません。当てはまるのは「言語モデルが標準的な構成を
出力し、それが新規の枠組みとして公開された」という形です。段階 5 以降 ——
自分で三を否定し、実装で反例を出し、標準物と同定したところ —— は著者の仕事です。
九段階のうち六段階は再構成です。2025年10月から2026年8月までの出来事は、 起きた時点では記録していません。同時記録なのは段階 7・8・9 の三つだけです。
証拠の性質も分かれます。
つまり「経路をあとから都合よく引き直す」ことはできません。ただし、 その時点で何を考えていたかは、書いてある結果からの推定です。頭の中の記録はありません。 そこは推定であって記録ではないと、はっきりさせておく。
ρ ≠ ‖A‖₂ になる例を出せば、経路の説明が覆るいずれも一件で覆ります。
出典は README の「出典」 にまとめてあります。 原典に到達して確認したものではありません。