三本の PDF には手を入れない方針です。本文を書き換える代わりに、見つかった不備をここに記録します。 どれも定理・証明・数値には影響しません。影響するのは、読者が正しい版に辿り着けるかどうかです。
最終更新: 2026年9月8日
重大度: 高（読者が誤った版に辿り着く）
| 該当 | Series II 参考文献 [1]、Series III 参考文献 [1] |
| 印字 | Nemoto, T. (2026). ... (Revised Edition). Zenodo. DOI: 10.5281/zenodo.17173703. |
| 正 | DOI: 10.5281/zenodo.22058624 |
10.5281/zenodo.17173703 は 2025年の初版、つまりこの系列が訂正の対象としているものの DOI です。
書誌情報は (Revised Edition) かつ (2026) と、改訂版を指しています。年・版と DOI が食い違っています。
Series I 自身の冒頭は「原型（Nemoto, 2025; DOI: 10.5281/zenodo.17173703）を改訂する」と書いており、 こちらは正しい用法です。誤っているのは、II と III が改訂版を指すつもりで初版の番号を書いている点です。
この誤りをそのまま辿った読者は、II と III が「これを一般化する」と述べている定理の、 撤回された方の版を読むことになります。
重大度: 中
| 該当 | Series III 参考文献 [2] |
| 印字 | Nemoto, T. (2026). The Trinity-Infinity Framework, Series II: Extended Formalization and Further Illustrative Applications (Revised Edition). Zenodo. |
| 正 | 末尾に DOI: 10.5281/zenodo.22058777 を補う |
Zenodo. で終わっており、識別子がありません。同じ参考文献欄の [1] には DOI が付いているので、
書式の不統一でもあります。
重大度: 中（再現性の主張が、そのままでは果たされていない）
三本とも、検証スクリプトが PDF と一緒に配布されていると述べています。謝辞だけではありません。 紙面を数え直したところ、合計 6 箇所ありました。
| 論文 | 箇所 | 印字されている記述（原文のまま） |
|---|---|---|
| Series I | 第2節 | We verified both cases computationally (script series1_verification.py, included with this submission) |
| Series I | 謝辞 | the verification script (series1_verification.py) is distributed together with this PDF so the two results can be reproduced independently |
| Series II | 要旨 | All numerical claims are computed and included as a companion script |
| Series II | 第7節 | the companion script series2_verification.py, distributed with this PDF, reproduces every number reported |
| Series II | 謝辞 | the verification script (series2_verification.py) is distributed together with this PDF |
| Series III | 謝辞 | the verification script (series3_verification.py) is distributed together with this PDF |
六箇所とも、指しているファイルは存在しません。 配布物は PDF のみで、著者の手元にも残っていません （2026年9月6日、著者に確認）。
以前この表には謝辞の三箇所しか載せていませんでした。約束は三度ではなく六度しています。
Series I 第2節の「included with this submission」と Series II 要旨の「included as a companion script」は、
謝辞よりも本文に近い場所にあり、読者がそこで再現を期待する記述です。数え落としていた
（2026年9月7日、verification/check_errata.py を書いて紙面から数え直したときに判明）。
以前この項目は「配布物に含まれていない」と書いていました。それだと「どこかにはあるかもしれない」と 読める。そうではありません。読者が入手できる場所は、どこにもありません。
つまり、謝辞の記述は事実ではありません。 三本の論文の数値を、記述どおりの手段で確かめることは できません。
このリポジトリでの扱い。 書き直したものを「これがそれである」と称して置くことはしません。 代わりに四本を別に書きました。
| 何を当たるか | |
|---|---|
independent_check.py |
証明の記述から独立に実装して、同じ結論に達するか |
claims_audit.py |
紙面に印字されている数値を一つずつ計算し直し、印字された値と並べる |
check_errata.py |
この正誤表が紙面について述べていることが、紙面と合うか |
check_route.py |
ROUTE.md の九段階が、他の文書と食い違わないか |
四本とも実在し、push ごとに GitHub Actions が全部走らせています。件数は verification/README.md にあります。
二つの半分を、離して読まないこと。
この二つは別の話です。前者だけを読むと「検証の手段が無い」になり、後者だけを読むと 「約束は果たされた」になります。どちらも違います。約束は果たされておらず、別の手段が用意されています。
元のスクリプトが何を計算していたかは、もう誰にも分かりません。分かるのは、紙面の数値が 計算し直しても出る、ということだけです。
この項目は解決しません。果たされなかった約束として残します。
重大度: 高
三本の開示文は、改訂について Claude の関与を述べています。
This revision was prepared with drafting and mathematical-formalization assistance from Claude (Anthropic)
「revision（改訂）」と書いてあります。
初稿がどう作られたかは、三本のどこにも書かれていません。
著者が持っていたのは、Ⅲ∞ が指定する範囲までである —— 三つのものを、
果てまで反復します。Ⅲ は変数の個数（n = 3）を、∞ は反復して極限をとることを
決めています。対象の型は、記号がほぼ決めていました。
決めていないもののほうが多い。写像そのもの（巡回置換と、固定した基準点への
凸結合）も、不動点が存在することも、収束することも、定理も、Ⅲ∞ からは何も
出ません。そこを当てはめたのは言語モデル（ChatGPT / OpenAI）で、その出力が
2025年10月の初版になりました。
型は記号が、中身は言語モデルが。これが線です。
Ⅲ∞ のうち、数学的に中身があるのは Ⅲ（＝ 3）です。それが、あとで意味が
無いと証明された側である —— Series III が「任意の n ≥ 2 で同じ証明が通る」と
示しました。
一方 ∞ の側 —— 反復の極限 —— は残りました。この系列で生き残った唯一の
数学的事実は、まさに反復した先に一意の不動点があるという主張です。
Ⅲ は撤回され、∞ は残りました。
記号 Ⅲ∞
→ 言語モデルに「これで数式を作れないか」と問う
→ 出力が初稿
→ 新規の枠組みとして公開（2025-10）
三本の開示文は Claude しか挙げておらず、OpenAI も ChatGPT も一度も現れません。
この系列の中心にあるのは作用素 x ← DQx + (I − D)p です。それが言語モデルの
出力であるという事実は、開示文が述べている「改訂の起草を手伝った」とは
まったく別の重さを持ちます。
書かれていることは本当です。書かれていないことがあるというだけです。 不実記載ではなく、欠落です。
これは撤回された内容の説明にもなります。再現できるコードのない「98.7%」、 ゲーム理論から気候政策まで広がる適用範囲、読むとおりには通らない証明 —— いずれも生成された文章に特徴的な形で、人が捏造したのではなく、生成された ものが検証されずに残ったものです。
三本はいずれも自己登録のプレプリントです。出版社も、投稿規程も、審査も、 契約もありません。当時、開示義務は存在しませんでした。
規範そのものは 2023 年前半から存在していたが、それらは投稿する論文に 掛かるものです。この項目は違反の記録ではなく、記載の欠落の記録です。
段階ごとの記録は ROUTE.md にあります。
この項目は解決しません。PDF は凍結されており、直せるのはこの正誤表のほうです。
重大度: 中（借りた先が違う）
| 該当 | Series I 第3節、および参考文献 |
| 印字 | This is a direct, closed-form application of the folk theorem for repeated games [Fudenberg & Maskin, 1986]. |
| 正 | Friedman, J. (1971). A Non-cooperative Equilibrium for Supergames. Review of Economic Studies, 38(1), 1–12 |
第3節がやっているのは、grim trigger を固定して一回逸脱の誘因制約が binding になる
δ を閉形式で出すことです。ナッシュ復帰型スーパーゲームの標準論法であり、
Friedman (1971) が出所です。
Fudenberg & Maskin (1986) が示したのは別のことです。割引つきで、次元条件のもとに
実現可能かつ個人合理的な利得集合の全体が δ → 1 で支持される、という
特徴づけです。特定の戦略に対する閾値を定義していません。
したがって、印字されている「computing its threshold」の its が指すものが、
Fudenberg & Maskin には存在しません。
Series II 第4節での引用は正しい。そちらは利得集合の特徴づけそのものを使っており、 Fudenberg & Maskin が出所です。同じ文献が、一方では正しく、一方では誤って 引かれています。
重大度: 中（いちばん重く借りたものが、いちばん引かれていない）
| 該当 | Series I・II・III の参考文献欄 |
| 印字 | 本文: the Banach fixed-point theorem gives existence, uniqueness, and the stated convergence rate（Series I 定理1の証明）ほか |
| 正 | Banach, S. (1922). Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae, 3, 133–181 |
三本すべてが、定理の証明の中でバナッハの不動点定理を名指しで使っています。 三本すべての参考文献欄に、その項目がありません。
| 論文 | 参考文献の件数 | 本文が名指しする定理・成果 | バナッハ |
|---|---|---|---|
| Series I | 2 | Banach、Löwenheim–Skolem、Henkin、Basel（Euler 1735）、Neumann 級数 | 無い |
| Series II | 6 | Banach、folk theorem、Neumann 級数、グラフラプラシアン | 無い |
| Series III | 2 | Banach | 無い |
Series I は Euler 1735 も本文にのみ年号を置き、参考文献欄に項目がありません。
この系列の方法は「証明したものと借りたものを区別する」です。その借りたほうの 主軸が、三本とも欄に現れていません。README の出典 11 件はこの穴を後から埋めているが、 紙面は埋まっていません。
重大度: 低（同じ節の中で条件と例が食い違う）
| 該当 | Series II 第4節 |
| 印字（条件） | every payoff profile in this hull with all three coordinates strictly above 2 is sustainable |
| 印字（例） | profiles such as (2,4,2) and their convex combinations with other individually-rational points are also eventually sustainable |
(2,4,2) は第1座標と第3座標が 2 に等しい。「strictly above 2」を満たしていません。
自分が二文前に置いた条件の外にある点を、その条件が保証する例として挙げています。
ミニマックス利得が 2 であることは同じ節が正しく導いている（πD(0) = 2）。
条件のほうも、例のほうも、単独では正しい。組み合わせが成り立っていません。
主張の中身は動きません。八点の凸包・体積 4.00・すべてが端点であることは
claims_audit.py で確認済みです。
重大度: 高（名指しした分野の、名前のついたモデルの特殊例である）
| 該当 | Series I 第1節、および三本の参考文献欄 |
| 印字 | recurs across several fields: consensus dynamics in distributed systems, iterated play among multiple parties in game theory, and self-similar structure in modular engineering design |
| 実際 | 三本のどの参考文献欄にも、合意形成動学（consensus / opinion dynamics）の項目が無い |
Series I は、着想が繰り返し現れる分野として、合意形成動学を最初に挙げています。 そのうえで、三本のどの欄にも、その分野の文献がありません。
| 論文 | 参考文献に並んでいるもの | 合意形成動学から |
|---|---|---|
| Series I | Fudenberg & Maskin、自著（初版） | 無い |
| Series II | 自著（初版）、Fudenberg & Maskin、Peirce、Mandelbrot、Holland、Arthur | 無い |
| Series III | 自著（初版）、自著（Series II） | 無い |
E6 と同じ型です。あちらは借りた定理が欄に無く、こちらは名指しした分野が欄に無い。
Series II 第1.1節の題は Position in the Literature です。
節の仕事はまさにこの問いに答えることで、そこに並んでいるのは四つです。
The framework draws on established work in infinitely repeated games [2], triadic relations in semiotics [3], fractal geometry and self-similar structures [4], and complex adaptive systems [5, 6].
合意形成動学はありません。作用素がその特殊例である分野が、文献上の位置を述べる節そのものから 抜けています。参考文献欄の抜けより重い —— 欄は並べ忘れが起こりうるが、 この節は「どの文献の上にいるか」に答えるために置かれています。
この作用素は、合意形成動学の Friedkin–Johnsen モデルの特殊例です。 ただし一枚ではなく二枚で、どちらに当たるかは系列ごとに違います。
| この系列 | 当たる先 | 形 |
|---|---|---|
Series I（等方、α が一つ） |
Friedkin & Johnsen (1990) | 重みはスカラー α |
Series II（異方、座標ごとに aᵢ） |
Friedkin & Johnsen (1999) | 感受性が対角行列 Λ |
FJ 1990: Y_t = α W Y_{t−1} + β X B α はスカラー、β = 1 − α
FJ 1999: x(t+1) = Λ W x(t) + (I − Λ) u Λ = diag(λᵢ) は主体ごと
この作用素: x ← D Q x + (I − D) p D = diag(aᵢ)、Q は巡回置換
| FJ | この作用素 | |
|---|---|---|
W は影響行列（行確率的、定数） |
Q は巡回置換行列 |
置換行列は二重確率的。W の特殊例である |
α（1990）／Λ（1999） |
α（Series I）／D（Series II） |
スカラーと対角が、そのまま対応している |
錨（1990 は XB、1999 は先入見 u） |
p |
同じ位置 |
Series III の Theorem 1 は、W を巡回置換に限った既知の収束結果です。
Series I 第2節の Remark 1 が置く閉形式 T* = (1−α)(I−αP)⁻¹p は、
FJ 1990 が導く Y∞ = (I − αW)⁻¹ βY₁ と同じ形です。
収束の述べ方は、同じではありません。FJ 1990 はスペクトル半径の条件として置かず、
|α| < 1・W の冪の有界性・α⁻¹ が W の固有値でないこと、の下で
幾何級数を直接足し上げて閉形式に到ります。ノイマン級数です。
Series I はそのノイマン級数を、自分で引いている。第5節が
the Neumann series K∞ = K(I−αK)−1, valid when the spectral radius ρ(αK) < 1をstandard, well-established tools, not new resultsとして挙げている。 同じ道具を標準的だと断ったうえで、その道具が動かしているモデルに気づいていない。 しかも輪が閉じている —— FJ 1990 の式 (6) の導出そのものが、この幾何級数の足し上げである （他者の証言）。標準的で新しくないと自分で断った道具は、先行者の証明技法でもあった。
矢印の向きも、二枚で逆です。
FJ 1990 は French (1956)・Harary (1959)・DeGroot (1974) を自分の極限として回収する側で
（α → 1⁻ で (1−α)(I−αW)⁻¹ → W^∞）、
「DeGroot に先入見を足した」という言い方は 1999 以降の側の整理です。
この作用素が持つ (I − D)p の項は、その追加分に当たります。
Friedkin, N. E., & Johnsen, E. C. (1990). Social influence and opinions. The Journal of Mathematical Sociology, 15(3–4). DOI: 10.1080/0022250X.1990.9990069 頁の割れは、一次文献の内部にある。扉の書誌行は
pp. 193–205と自己申告し、 References の末尾は走りヘッダ 206 の頁まで続く（他者の証言）。 下流の書誌は、どちらを転記したかで割れているだけである。 どちらかに寄せない。自己申告 193–205、実延長 193–206 として並べておく。Friedkin, N. E., & Johnsen, E. C. (1999). Social influence networks and opinion change. Advances in Group Processes, 16, 1–29. JAI Press.
周縁の骨董ではありません。意見動学の文献は、この領域で最も影響力のある模型として DeGroot と Friedkin–Johnsen の二つを並べて挙げるのが通例です。 再発見の相手は、自分で名指しした分野の二本柱の一本でした。
| 1990 / 1999 | 専門誌 The Journal of Mathematical Sociology の一論文と、章編の一つ |
| 2011 | Cambridge University Press から単著の理論書 Social Influence Network Theory: A Sociological Examination of Small Group Dynamics（Structural Analysis in the Social Sciences 叢書） |
| 2016 | Science 354(6310), 321–326（Friedkin, Proskurnikov, Tempo, Parsegov） |
| 現在 | 制御理論と計算機科学で使われている。平衡解の推定が標準的な対象になっている |
格の理由は知名度ではなく設計にあります。DeGroot に一項 —— (I − Λ)u —— を足すだけで、
必ず合意に至るという帰結が、合意が壊れて不一致が持続するという帰結へ反転します。
最小の追加で最大の差分です。そしてその要の一項が、この作用素の (I − D)p に当たります。
再発見は、模型の装飾ではなく耐力壁に当たっていました。
目盛りの正直な側も書きます。社会学全体で見れば数理社会学は小さく、
FJ はその中の地標であって社会学全域の地標ではありません。いまの最大の支持層は
社会学の外、制御と計算機科学にあります。ここは未照合である（他者の証言）。
「特殊例である」とだけ書いていました。どれだけの特殊例かは書いていませんでした。
trinity-operator の段 6 で測った（roadmap/stage6_general_influence.py）。
同じ (Q,a) があらゆる p について FJ の均衡を再現できるかを問うと、
比較は行列どうしになります。像の次元をヤコビ行列の階数で測ります。
| n | 巡回置換の像 | 一般の W の像 |
周囲 | 比 |
|---|---|---|---|---|
| 3 | 3 | 6 | 9 | 1/2 |
| 4 | 4 | 12 | 16 | 1/3 |
| 5 | 5 | 20 | 25 | 1/4 |
| 6 | 6 | 30 | 36 | 1/5 |
巡回置換は n 次元、一般は n(n−1) 次元です。σ を変えても
(n−1)! 枚の n 次元の面が並ぶだけで、次元は上がりません。
n ≥ 3 では、巡回の像は一般の像のなかで測度零です。
落ちている n(n−2) 次元が、誰が誰にどれだけ影響するかです。
W を巡回置換に限るとは、各主体がちょうど一人の隣人だけを、重み 1 で聴く輪に
限ることです。FJ を社会学たらしめている当のものが、そこで落ちます。
そして、これが誤りの続いた理由の一部です。
Q が置換なら DQ の各行は非零要素を一つしか持ちません。よって不動点は
x*ᵢ = aᵢ x*_{σ(i)} + (1 − aᵢ) pᵢ を満たす。必要条件になります。
一般の W から作った均衡 8000 件（n = 3…6 で各 2000 件）に当てたところ、
一件も落ちませんでした。
FJ の均衡は凸結合なので、x*ᵢ は自分の pᵢ と他のどれかの x*ⱼ の間に必ず
落ちます。巡回の選び方は (n−1)! 通りあり、どれかが当たってしまう。
一本の軌道だけを見ているかぎり、特殊例と一般とは区別がつきません。
ただし、これは弁明ではありません。Series I は第1節で合意形成動学を名指ししています。 文献を引いていれば、軌道を見るまでもありませんでした。区別がつかなかったのは 軌道の側であって、文献の側では最初から見えていました。
数値は
trinity-operatorのroadmap/stage6_general_influence.pyが出したものである。NumPy のみ、乱数種は固定。 PDF は直していない（決めごと 2）。直したのはこの正誤表のほうである。
| 種名 | Friedkin–Johnsen 意見動学の、影響行列を巡回置換に限った特殊例（先入見ベクトルは外生） |
| 属名 | 重み付き巡回シフトを線形部に持つ、定常アフィン反復 |
英文で置くならこうなります。
We consider the Friedkin–Johnsen opinion dynamics
x(k+1) = ΛWx(k) + (I−Λ)u(Friedkin & Johnsen 1990, 1999), specialized to the case whereWis the cyclic permutation matrixPₙ(a directed n-cycle with unit weights and no self-influence),Λ = diag(a₁,…,aₙ),aᵢ ∈ (0,1), and the prejudice vectoruis an exogenous anchor rather than the initial condition; forΛ = αIthis coincides with the basic model of Friedkin & Johnsen (1990) under the proportionality constraintβ = 1−α.
定義に入れる条項は四つで、どれもこの項目の中で確定しています。
Λ = D、W = P、u = p。wᵢᵢ = 0、入次数 1 の輪。
これを書かないと一般の FJ と誤読され、書けば「社会学を抜いた躯体」であることが定義から読める。u = x(0)。切り離しは解釈の差です。Λ = αI は FJ 1990 の基本模型（β = 1−α 制約下）、異方は FJ 1999。錨の項は、合意を壊すための装置です。この特殊例でも、
x* が合意（全座標が同じ値）になるのは p が定数ベクトルのときだけです。
x* = c·1と置くとc·1 = Dc·1 + (I − D)p、すなわち(I − D)c·1 = (I − D)p。aᵢ ∈ (0,1)だからI − Dは正則で、p = c·1が出ます。逆も同じ計算で立つ。
一般の p では「定着した不一致」に落ちます。
Series I が第1節で名指しした consensus dynamics は、半分だけ正しい住所です。
作った機械は、その分野のうち合意が壊れる側の支流に属します。
Trinity-Infinity は、記録と論文列の題名としてだけ残します。模型の名としては使いません。
名前はモデルの帳簿に何も足していない側が取るものではありません。
札が一枚残ります。輪位相上の FJ を個別に扱った後続研究が既にあるかは未照合です。 あれば「この特殊例を最初に書き下した」という最後の残余まで先に取られています。 どちらに転んでも一般定理が覆っているので、定義文は変わりません。変わるのは脚注が一つ増えるかだけです。
W を巡回置換に限るとは、各主体がちょうど一人の隣人だけを聴く輪のことです。
社会というより円陣です。誰が誰にどれだけ影響するかという一般の W ——
FJ を社会学たらしめている当のもの、実証計画が測定するその対象 —— を全部落としています。
だから寸法はこうなります。
再発見したのは、一級の社会学モデルの、社会学を抜いた数学的な躯体と、要の一項である。
同じではありません。だが、違いの向きが悪い。
| Friedkin–Johnsen | この作用素 | 向き | |
|---|---|---|---|
| 影響行列 | W は一般の行確率的な行列 |
Q は巡回置換行列だけ |
狭い（特殊例） |
| 対角 | λᵢ ∈ [0,1] |
aᵢ ∈ (0,1) |
狭い。代わりに無条件性を買っている（下記） |
| 錨 | u は各主体の先入見 |
p は任意の固定点 |
広い。ただし証明が変わらない |
開区間の狭さは、代金と引き換えに何かを買っています。端点 λᵢ = 1 を許す一般形では
ρ(ΛW) < 1 が自動では立たず、別の条件の世話になります。開区間ならノルム一発で自動になり、
収束が無条件になります。狭さは、無条件性の購入です。
二つは狭いほうへ違っています。残る一つは広いほうへ違っているが、そこは定理にならない
—— 不動点の式 x = ΛWx + (I − Λ)u は u について線型で、収束の議論は u が何であるかを
どこでも使っていません。置き換えても平衡解は同じ形のままです。
一般化ではなく、名前の付け替えです。
一般論がすでにある場所で、その特殊例を証明し直したことになります。 「違いがあるから新規である」は、ここでは成り立ちません。
どこまで確かめたか。三つに分かれます。
| 何を | 等級 |
|---|---|
Series I が consensus dynamics を名指しし、三本の欄にその分野が無いこと。第1.1節が別の四つを挙げていること。第5節がノイマン級数を標準の道具として引いていること |
紙面（凍結された PDF から機械で取れる） |
モデルの式・1999 の対角 Λ・1990 が French／Harary／DeGroot を極限として回収すること・ノイマン級数で閉形式に到ること・書誌 |
検索で確認。原典には当たっていない |
1990 の本文が α をスカラーと明示していること、β = 1 − α の位置づけ、式番号 (5)–(7) との対応 |
他者の証言（原典を読んだと述べる者から受け取った。こちらは読んでいない） |
原典未読の札は外れていません。外れるのは、本文をこちらで読んだときです。 ただし札の中身は「未知」ではなく、「何が出てくるはずか」まで書いてあります。
この項目は、一つで覆ります。
凍結された三枚の中に、真で、非初等で、Friedkin–Johnsen・バナッハの不動点定理・ フォーク定理・ノイマン級数のいずれにも包摂されない主張が一つでも示されること。
三部作にあって FJ の紙面に無いものは、いま三つあります。三つとも真です。 そして三つとも、この条件を満たしません。
| 残余 | 満たさない理由 |
|---|---|
| 置換の等長性が与える厳密な等号 | FJ 自身の量（縮小定数）を、この特殊例で計算しただけ |
n = 3 が対合でない最小の巡回であること |
巡回置換の位数。学部の事実 |
| 漸近レートが係数の相乗平均になること | FJ 自身の量（スペクトル半径）を、この特殊例で計算しただけ |
真であることは満たしています。非初等であることと、包摂されないことを、同時には満たしていません。
候補の集合が有限なのは、改訂が三部作を主張単位まで分解したからです。 Series III の回顧の節が、自分で全項目を列挙している —— FJ に包摂されるもの、 古典の計算例、申告済みの類推。曖昧な論文は、端まで歩けません。曖昧さが退避壕になります。 この三部作は、その壕を自分で埋めました。記録を救った性質と、 この項目を書けるようにした性質は、同じものです。
この「覆らない」は、主張が小さいことの裏返しでもあります。小さく真な主張は、 攻める面が少ないです。そこは自慢にしません。
この項目が重いのは、名前が一つ増えたからではありません。紙面が
consensus dynamics と書き、その分野に 1990 年からあるモデルの特殊例を、
新しい枠組みとして提示していたからです。
Series I の定理1は ‖Tₙ − T*‖ ≤ αⁿ‖T₀ − T*‖ と書いています。証明は正しく、不等号は成り立つ。
ただし作用素の線形部分は α × 等長写像なので、実際には等号が成り立つ
（verification/independent_check.py と
claims_audit.py の両方で確認、24反復まで差 10⁻¹⁵ 以内）。
主張が弱く書かれているだけで、誤りではありません。定理の言い方として、より強い形が無償で手に入ります。
Series II は縮小定数 maxᵢ aᵢ を「the bound tight」と述べ、証明は最大値を達成する座標に沿ってタイトだと
説明しています。これも正しいのであるが、より簡潔に言える。スペクトルノルムはユニタリ不変なので
‖DQ‖₂ = ‖D‖₂ = maxᵢ aᵢ。上界ではなく、作用素ノルムそのものです。
一歩の話です。漸近率は別で、そちらは maxᵢ aᵢ より真に小さい。N9 を見ること。
Series I 第2節 Remark 1 は、この数字を「the original Series II numerical-validation section」に 帰しています。Series III 第4節は、同じ数字を初期草稿群の主張として一般的に挙げています。 どちらも撤回された同じ主張を指しているが、出所の書き方が二本のあいだで揃っていません。
Series III 第3.2節は、n = 3 が構造的に区別される点を一つだけ挙げる。
巡回置換が自己逆にならない最小の n です。これは正しい。
続けてこう書いています。
n=3 is the smallest n at which repeatedly permuting the roles is not simply an oscillation between two states
これは置換 σ についての事実であって、反復 f についての事実ではありません。
n = 2 でも f は振動しません。同じ論文の定理1が、n = 2 を含む任意の n ≥ 2 で
一意不動点へ幾何収束すると証明しています。力学系としては n = 2 に退化はありません。
したがって「the minimal interesting case for this specific recursive structure」は、 言い過ぎです。最小なのは置換にとってであり、反復はそこに無関心です。
誤りではありません。読み方によっては通ります。ただしこの論文の唯一の構造的主張であり、 この系列は他の箇所ではこの種の区別に厳密です。ここだけ緩んでいます。
Series III 第3.2節を PDF から取り出すと Pn ≠ Pn−1 と出ます。文脈からは
Pₙ ≠ Pₙ⁻¹（自己逆でない）を意味しているはずで、Pₙ ≠ Pₙ₋₁（n 次と n−1 次の
比較）では意味を成しません。
これが紙面の誤植なのか、抽出の崩れなのかは確かめていません。この作業環境には PDF を画像に起こす道具が無く、組版された頁を見ていません。上付き・下付きが 抽出時に落ちることは、この系列で既に起きている（README に記載）。
確かめてから、どちらかに振り分ける。それまでは、ここに置いておく。
独立の観察があります。外部の査読（Stanford Agentic Reviewer、2026年9月）が、
この文書を渡されずに同じ箇所を挙げた —— Pⁿ is a permutation matrix が P_n の
意味に見えること、P_n' に不要なプライムがあること、10-16 が 10⁻¹⁶ の
崩れであること。ただしその査読も PDF から文字を取り出して読んでいるので、
同じ崩れを共有している可能性があります。紙面の誤植であることの証拠にはなりません。
Series III 第3.1節は、閉形式の不動点への最大偏差について
maximum deviation 1.1×10−16, machine precision, for every n ≥ 4; **exact for n=2,3**
と書いています。
偽ではありません。claims_audit.py の固定した乱数種では、
n = 2 も n = 3 もちょうど 0.000e+00 になり、紙面どおりに再現します。
だが算術の性質ではありません。基準点を別に引くと 0 でなくなります。
同じ検査の中で、上の種は動かさずに別の種で引き直すと n = 2 で 5.551e-17 が出ます。
有理数演算をしているわけではなく、丸めがそう落ちただけです。
同じ表の中で、二つの 0 の意味が違います。
| 列 | 0 の意味 |
|---|---|
isometry error |
厳密。置換行列の成分は 0 と 1 だけなので PPᵀ − I に誤差が入らない（n = 2 から 8 まで ‖PPᵀ − I‖_F = 0.0） |
max deviation from T* |
丸め。基準点の引き方に依る |
紙面は両方を同じ 0 と exact で書いており、書き分けられていません。
within machine precision と書けば足りました。
外部の査読（Stanford Agentic Reviewer、2026年9月）が、この文書を渡されずに
exact の書き方を問いました。指摘は当たっている —— ただし理由は査読が述べた
「浮動小数点だから 0 にならないはず」ではありません。このリポジトリの種では 0 になります。
問題は 0 かどうかではなく、0 が算術から出ているのか丸めから出ているのかが
書き分けられていないことです。
Series III 定理1の証明は、最後にこう書きます。
The anisotropic version of Series II generalizes identically: for a=(a1,…,an), each ai ∈ (0,1), the same argument gives contraction constant maxi(ai).
作用素そのものを書いていません。f(T) = D σₙ(T) + (I − D)p（D = diag(a₁,…,aₙ)）を
明示せずに、縮小定数だけを述べています。Series II は n = 3 について座標ごとの形で
書いているが、一般の n についての式は三本のどこにもありません。
等号と不等号の別も、そこで曖昧になります。定理1の等式 ‖f(x)−f(y)‖ = α‖x−y‖ は
一様な α の場合です。異方性の場合は ‖D z‖ ≤ maxᵢ(aᵢ)‖z‖ で、等号は
最大値を達成する座標に台が乗るときだけ成り立ちます。Series II 定理1は正しく
≤ で書いています。Series III の「generalizes identically」は、そこを飛ばしています。
ノルムも特定していません。Series I は「under the Euclidean norm」と明記しているが、
Series III の定理1は ‖·‖ としか書きません。置換はどの ℓᵖ でも等長なので結論は
変わらないが、紙面には書かれていません。
外部の査読（Stanford Agentic Reviewer、2026年9月）による。
① grim trigger が subgame perfect であることを述べていません。
第3節は、経路上の一回逸脱の誘因制約だけを確認している（VC ≥ VD ⟺ δ ≥ 1/2）。
罰則の側の信憑性を述べていません。ここでは全員裏切りが段階ゲームのナッシュ均衡
（πD(0) = 2 が三人とも最良応答）なので、ナッシュ復帰は信憑性を持ち、実際に
subgame perfect です。紙面はそう言っていません。
独立に二度指摘されています。こちらの読み直し（2026年9月8日）と、外部の査読
（Stanford Agentic Reviewer、同日）が、互いを知らずに同じ箇所を挙げました。
査読は does not verify subgame perfection conditions in detail (e.g., one-shot
deviation principle under the specified trigger) と述べています。
② I − αP が可逆であることを述べていません。
第2節 Remark 1 は閉形式 T* = (1−α)(I−αP)⁻¹p を使うが、逆行列が存在する理由を
書いていません。成り立つ —— P の固有値は絶対値 1 なので ρ(αP) = α < 1 であり、
I − αP は可逆です。定理1の証明はバナッハだけで閉じているので、閉形式のほうに
一行足りません。
どちらも定理・数値には影響しません。書かれていない、というだけです。
この系列でいちばん重い見落としです。
Series II 定理1は、不動点が maxᵢ(aᵢ)ⁿ の幾何率で到達されると述べる。
一歩の縮小定数としては正しい（N2 —— 作用素ノルムそのものである）。
漸近率としては、ゆるい。
n 巡回では次が厳密に成り立ちます。
(DQ)ⁿ = (∏ᵢ aᵢ) · I
Q が n 巡回で D = diag(a) なので、n 歩で各座標が全部の aᵢ を一度ずつ
掛けて元の位置に戻ります。したがって n 歩ごとの誤差はちょうど ∏ᵢ aᵢ 倍になり、
漸近率はスペクトル半径 ρ(DQ) = (∏ᵢ aᵢ)^{1/n}、すなわち幾何平均です。
aᵢ が全部等しいときを除いて、maxᵢ aᵢ より真に小さい。
論文の a = (0.5, 0.7, 0.3) で測りました。
(DQ)³ |
0.105 · I（誤差 0.0e+00） |
ρ(DQ) |
0.471769398032 = (0.105)^{1/3} |
‖DQ‖₂ = maxᵢ aᵢ |
0.700000000000 |
| 比 | 1.4838 |
| 30 反復での実際の誤差比 | 1.63e-10 |
紙面が名乗る max(aᵢ)³⁰ |
2.25e-05 |
5 桁ゆるい。
Series I にこの問題はありません。a が一様なら D = αI で DQ = αQ は正規行列に
なり、ρ = ‖·‖₂ = α が一致します。異方性にしたときに初めて開きます。
この系列が訂正したと謳っているのと、同じ種類の混同です。初版は 作用素ノルムで収束を語り、改訂版はそれを直しました。だが改訂版の Series II は、 収束の速さを作用素ノルムで語り続けています。誤りではありません —— 上界は成り立ちます。 訂正が一段浅い。
正しい向きの事実は trinity-operator が 実装しており、作用素のページ がその場で計算します。紙面に無いのは、そこと繋がっていません。
外部の査読（Stanford Agentic Reviewer、2026年9月）が、この文書もリポジトリも
渡されずに (DP)³ = (a₁a₂a₃)I を導出しました。機械で当たっている
（independent_check.py、15 項目）。
Series II 第4節は The feasible set is the convex hull of the eight stage payoffs
と述べる。成り立つが、条件が要る —— 段階利得の凸結合を実現するには、
公開ランダム化装置か、時間平均を許す定式化のどちらかが必要です。
紙面はどちらも述べていません。監視構造（完全監視か否か）も明示していません。
外部の査読（Stanford Agentic Reviewer、2026年9月）による。
E1・E2 は三本の参考文献欄を突き合わせて見つけました。E3 は配布ファイルの一覧と、著者への確認です。 E5・E6・E7 と N4・N5 は、三本を通しで読み直して見つけた（2026年9月8日）。 N8 は、こちらの読み直しと外部の査読が、互いを知らずに同じ箇所を挙げたものです。 N9・N10 は外部の査読が出しました。N9 は、この系列でいちばん重い見落としです。 E6 は数え上げるだけなので、機械が当たっている —— 本文がバナッハを名指ししていること、 そして三本の参考文献欄にその項目が無いことを、PDF から取り出して確かめる。
この文書が「印字されている」と述べていることは、verification/check_errata.py
が PDF から文字を取り出して突き合わせています。 紙面には手を入れないので、動くとすれば正誤表の側です。
引用が一字でも合わなくなれば、そこで落ちます。E3 の六箇所を数え落としていたことも、これを書いて分かりました。
N1・N2 は verification/independent_check.py が、
証明を独立に実装した副産物として示したものです。
この文書自体は査読ではありません。 見つかったものを記録しただけで、 「これ以外に不備がない」という主張ではありません。