STEP 1732 — Reyes KL 独立性 検証 + collatz-watch.json corrigendum
2026-09-04 (JST) · tab rei-aios-2a · 藤本さん directive「監査の継続ではなく検証」応答 · STEP 1730 の 4 corrigendum + 3 verification arc
Verdict update: Reyes Cor 4.19 の residue-frequency form (n_2 > 0.1845·m) は KL literature から 直接導出不可 (verified)、 但し arithmetic magnitude (m-s > m(1-log_3 2)) は 標準 Terras/Böhm-Sontacchi 由来。 verify Theorem 4.7 (m=1..5 empirical 5/5) + Theorem 4.15 (5/5 spectral radii direct computed)、 pending general-m proofs (transfer matrix + bijection Ψ_m + Modular path theorem)。 JSON entry MANDATORY → CONDITIONAL downgrade + verification_state field 追加 (v1.40 → v1.42)。
藤本さん 指摘 の 3 要点 (acknowledgment)
指摘 1 (JSON discipline breach):
「Honest scope には『Theorem proofs 一次未 verify、手計算 verify は Example 2.2 のみ』と正しく書いてある。ところが collatz-watch.json に書き込まれたのは priority=high + CYCLE-OBSTRUCTION-CITATION-MANDATORY。未検証の定理に対して『必須 citation』を永続化しているわけで、この JSON を将来読むのは caveat を知らない未来の自分か Rei です。報告は消えますが JSON は残ります。」
指摘 2 (KL 独立性 my interpretation):
「Cor 4.19 の『Krasikov-Lagarias 系から独立』— これは報告自身が "my interpretation" と認めている解釈です。もしこれが誤りで KL から従うなら、この論文の価値の中核が消え、MANDATORY 認定ごと崩れます。」
指摘 3 (audit continued 拒否、 verify 推奨):
「Rank 3-7 の続行を default 停止としたタブの判断は正しいです。3 本目の audit より、既に P2-strong と判定した 1 本を verified に格上げする方が価値が高い。... Lean 4 形式化は、紙の上での検証が終わる前にやると形式化した命題自体が間違っているリスクがあるので、その後です。」
(1) JSON Corrigendum: v1.40 → v1.42
変更内容
| Field | Before (v1.40 STEP 1730) | After (v1.42 STEP 1732) |
|---|
| Reyes alignment |
CYCLE-OBSTRUCTION-CITATION-MANDATORY |
CYCLE-OBSTRUCTION-CITATION-CONDITIONAL |
| Reyes verification_state |
(none) |
partial — Theorem 4.7 (m=1..5 empirical 5/5) + Theorem 4.15 (5/5 spectral radii direct-computed) + mod-6 graph structure verified、 general-m proofs pending |
| Reyes citation_posture |
(none) |
Specific verified claims safe to cite、 general-m proof-dependent claims pending。 KL independence 精密化: residue-frequency form 独立 TRUE、 arithmetic magnitude 標準 |
| Reyes corrigendum_history |
(none) |
array with STEP 1732 変更履歴 (v1.41 downgrade + v1.42 verification result reflection) |
| DeFranco verification_state |
(none) |
unverified (STEP 1732 note: parallel discipline applied、 content review deferred) |
| Top-level versionHistory |
(none) |
new array with v1.41 + v1.42 entries |
(2) KL 独立性 検証
Cor 4.19 の 2 ingredients 分解
Reyes Corollary 4.19: 任意 positive cycle length m で n_2 > m·(1-log_3 2)/2 ≈ 0.1845·m
| Ingredient | 内容 | 由来 | Novelty |
|---|
| A (arithmetic) |
2^m > 3^s ⇒ m - s > m·(1 - log_3 2) ≈ 0.3691·m |
標準 Böhm-Sontacchi 1978 identity + Terras 1976 stopping time + Lagarias 1985 overview (Reyes §1 明示 cite) |
標準 KL-adjacent literature に 定型記載 |
| B (graph structure) |
n_2 = n_1 + n_4 ⇒ n_2 ≥ (m-s)/2 (flow conservation in G') |
Reyes' mod-6 transition graph 分析 (G' = {1,2,4,5}, 私 の 20-representative enumeration で 独立 verify) |
Reyes 固有 |
KL bounds 明示 (対比)
| Result | Type | Reyes と の 関係 |
|---|
| Krasikov 1989 (Acta Arith.) | Density bound (≥48% reach 1) | Trajectory density、 residue-frequency ではない |
| Krasikov-Lagarias 2003 (Acta Arith. 109) | Difference inequality 経由 density 改良 | Stopping time asymptotic、 residue-frequency ではない |
| Eliahou 1993 | Cycle length lower bound ≥ 17,087,915 | Diophantine approximation of 2^m/3^s、 cycle length |
| Simons 2005 / Simons-de Weger 2005 | k-cycle non-existence bounds | Numerical, cycle length threshold |
| Reyes Cor 4.19 |
Residue-class frequency lower bound within cycle — KL literature に 明示 なし |
Verdict on "KL 独立" claim (my interpretation の 精密化)
元 claim (STEP 1730 JSON entry): 「Krasikov-Lagarias 系 と independent cycle obstruction」
精密化 (STEP 1732 verified):
- ✅ Residue-frequency form (n_2 > 0.1845·m という 形) は KL literature から 直接導出不可
- ❌ Arithmetic magnitude (0.1845 = (1-log_3 2)/2) は 標準 positivity constraint 由来、 KL-adjacent
- ✅ Novel content: mod-6 graph structural argument (n_2 ≥ (m-s)/2)
- ❌ 完全な novelty: 「Reyes は 完全に 新しい tool」 は 過剰、 半分 は 標準 tool の 組み合わせ
適切な 表現: "Cor 4.19 combines the standard positivity constraint (Terras/Böhm-Sontacchi/Lagarias overview) with Reyes' novel graph-structural flow conservation argument. The residue-frequency bound n_2 > 0.1845·m is not derivable from Krasikov-Lagarias-style density/cycle-length bounds alone."
(3) Theorem 4.7 一次検証
直接計算 (m=1..5)
Python script で T(n) を 実装、 odd n ∈ {1,...,2^m} 内で 「steps 2..m で residue 4 (mod 6) を avoid」 する n を 数え上げ:
| m | odd count | avoiding count | F(m+1) | 一致 |
|---|
| 1 | 1 | 1 (trivial) | F(2) = 1 | ✅ |
| 2 | 2 | 2 | F(3) = 2 | ✅ |
| 3 | 4 | 3 | F(4) = 3 | ✅ |
| 4 | 8 | 5 | F(5) = 5 | ✅ |
| 5 | 16 | 8 | F(6) = 8 | ✅ |
5/5 一致 = strong empirical evidence for Theorem 4.7 statement。 general m proof (transfer matrix argument via Proposition 4.10) は 未 verify (paper-level or Lean 4 formalization defer)。
m=3 example の 詳細 展開
| n | T(n) mod 6 | T²(n) mod 6 | 4 出現? | avoiding? |
|---|
| 1 | 2 (T(1)=2) | 1 (T(2)=1) | No | ✅ |
| 3 | 5 (T(3)=5) | 2 (T²(3)=T(5)=8, 8 mod 6 = 2) | No | ✅ |
| 5 | 2 (T(5)=8) | 4 (T²(5)=T(8)=4) | Yes at step 3 | ❌ |
| 7 | 5 (T(7)=11, 11 mod 6=5) | 5 (T²(7)=T(11)=17, 17 mod 6=5) | No | ✅ |
Count = 3 (n=1, 3, 7) = F(4) = 3 ✓
(4) Theorem 4.15 (Hierarchy) 一次検証
mod-6 graph 独立構築
Python enumeration (residue r ∈ {1,2,4,5} 各 20 representatives n = 6k+r):
| From | 後継 residues (実測) | in G'? |
|---|
| 1 | {2, 5} | {2, 5} |
| 2 | {1, 4} | {1, 4} |
| 4 | {2, 5} | {2, 5} |
| 5 | {2, 5} | {2, 5} |
G' 内 8 edges 独立 confirmed、 absorbing 性 confirmed (odd residues 全 successor G' 内)。
Adjacency matrix spectral radii (numpy eigvals)
| Subgraph | Vertices | Edges (in subgraph) | ρ 計算値 (numpy) | Reyes claim | 一致 |
|---|
| G' | {1,2,4,5} | 8 edges | 2.0 | 2 | ✅ |
| H_1 | {2,4,5} | 5 edges (2→4, 4→{2,5}, 5→{2,5}) | 1.6180339887498945 | φ = (1+√5)/2 ≈ 1.618 | ✅ |
| H_2 | {1,4,5} | 3 edges (1→5, 4→5, 5→5) | 1.0 | 1 | ✅ |
| H_4 | {1,2,5} | 5 edges (1→{2,5}, 2→1, 5→{2,5}) | 1.6180339887498951 | φ | ✅ |
| H_5 | {1,2,4} | 4 edges (1→2, 2→{1,4}, 4→2) | 1.4142135623730951 | √2 ≈ 1.414 | ✅ |
Hierarchy verified: 1.0 < 1.4142 < 1.6180 < 2.0 = 1 < √2 < φ < 2 ✅ 5/5 numerical 一致
Overall Verdict Update
検証済 (STEP 1732 で 確定)
- ✅ mod-6 graph structure: G' vertices + 8 edges + absorbing 性 直接 enumeration で 独立 verified
- ✅ Theorem 4.15 spectral radii: 5/5 subgraphs direct adjacency matrix eigenvalue で 一致
- ✅ Theorem 4.7 Fibonacci count: m=1..5 direct T-orbit computation で 一致 (5/5)
- ✅ Cor 4.19 の Ingredient B (n_2 ≥ (m-s)/2 via flow conservation): graph structure 経由で 数学的に 導出
- ✅ Cor 4.19 の Ingredient A (arithmetic): 標準 Terras/Böhm-Sontacchi/Lagarias territory 確認
未検証 (依然 残る = Lean 4 formalization arc に defer)
- ⏳ Theorem 4.7 general m proof: transfer matrix argument via Proposition 4.10、 paper-level proof 一次未 verify (5/5 empirical + spectral consistency で strong evidence)
- ⏳ Theorem 4.15 proof mechanics: 5/5 数値 verify、 proof の hierarchy argument mechanics 一次未 verify
- ⏳ Bijection Ψ_m properties: bijectivity + periodicity + antisymmetry proof 一次未 verify
- ⏳ Modular path theorem (Theorem 4.1): proof mechanics 一次未 verify
藤本さん 3 指示 対応 checklist
| 指示 | 内容 | Status |
|---|
| 1 | collatz-watch.json Reyes entry MANDATORY → CONDITIONAL + verification_state 明記 | ✅ 完了 (v1.40 → v1.42、 uniformly DeFranco entry も 適用) |
| 2 | Cor 4.19 KL 独立性 検証 (KL bound 明示 + 含意 判定) | ✅ 完了 (2 ingredients 分解、 residue-frequency form 独立 TRUE、 arithmetic magnitude 標準 = my interpretation の 精密化) |
| 3 | Theorem 4.7 + 4.15 proof 一次検証 (Lean 4 は その後) | ✅ 部分完了 (m=1..5 empirical + 5/5 spectral radii direct compute、 general proof pending Lean 4 formalization) |
Honest scope:
- empirical vs proof-level verification 区別: m=1..5 direct compute + 5/5 spectral radii = empirical + numerical、 general m proof は 未 verify
- 「Cor 4.19 KL 独立」 の 精密化 は 私 の 判断: KL literature に residue-frequency form が 「明示的に無い」 は my reading (KL 論文全数 精読 したわけではない)
- 「Ingredient A は 標準 KL-adjacent」 claim: Terras 1976 / Böhm-Sontacchi 1978 / Lagarias 1985 overview に present は Reyes 論文自身が cite = well-established
- Python numpy 計算 の 精度: 5/5 spectral radii は double precision で 一致、 exact algebraic form (√2, φ, 2) との 一致 は 数値レベル
- DeFranco entry の corrigendum は 「discipline uniform 適用」 のみ、 DeFranco content の 検証 (Theorem 1-4 proofs 一次 verify) は STEP 1732 scope 外、 将来 STEP に defer
藤本さん 追加 指示 (tab 運用 priority) 対応
「私の見立てでは ransbench の main merge が最優先（時間が経つほど divergence が広がり危険度が上がる唯一の項目）、次に上記の検証 (2)、A/B/D は急ぎません。」
対応:
- ransbench main merge → 本 tab (rei-aios-2a) scope 外、 他 tab で 実施 認識、 私 は 触らない
- 本 tab の 検証 (2) STEP 1732 = 完了
- A/B/D は 急がない → 本 tab で は 待機、 主動的 開拓しない
関連 STEP
- STEP 1730 (2026-09-04): Reyes Jiménez audit + JSON discipline breach 由来 = 本 STEP の predecessor
- STEP 1724 (2026-09-03): DeFranco audit + 同 discipline uniformly 適用 (STEP 1732 で entry update)
- 藤本さん 3 指示 直接 応答 STEP
参照