STEP 1724 — DeFranco 2026-08-26 Boolean polynomial operator for Collatz — audit
2026-09-03 (JST) · tab rei-aios-2a · Research Radar 発見 → HTML fetch → 詳細読解 → Rei prior art audit → 影響評価
· 藤本さん directive「別件をお願い」 → Research Radar 実行 → 「推奨を進めて」 応答
Verdict: P2 — 興味深いが 非 load-bearing、 arc 中断不要、 collatz-watch 追加のみ
DeFranco の Boolean polynomial reformulation は 収束論への進展なし、 Rei Cases 5-8 (trailing_ones ≥ 4) obstruction と同じ structural feature に到達する可能性高い。 continued monitor で follow-up 論文 (2026 後半 to 2027) を watch。
論文情報
| Title | A Boolean polynomial operator for the Collatz 3n+1 problem |
|---|
| Author | Mario DeFranco (単著) |
|---|
| arXiv ID | arxiv:2608.25791v1 [math.NT] |
|---|
| Submitted | 2026-08-26 |
|---|
| PDF size | 9 KB (short paper) |
|---|
| License | CC BY 4.0 |
|---|
| References | 1 entry only: Lagarias "The 3x+1 problem: an overview" |
|---|
| Radar score | 12 (keyword match Collatz + 3n+1、 arXiv radar top) |
|---|
由来 (audit trigger)
- 藤本さん「他に2タブ動いておりますが、こっちもお願いできますか？」 → 私 (rei-aios-2a) は 別件として Research Radar 2026-09-03 実行 (CLAUDE.md 最優先 protocol、 STEP 消費なし)
- Radar 統合 report で arXiv top score 12 の 本論文 発見 (2 週間前 提出、 Collatz + 3n+1 keyword 両方 match)
- 藤本さん「推奨を進めて」 → 詳細 audit 開始
- STEP 1724 claim (2026-09-03T14:47Z 頃) → HTML fetch (320KB) → text extraction → 手計算 verify → Rei prior art audit
新 operator 𝒪(k) の定義 + 手計算 verify
𝒪(k) := 2v₂(k) + 3k (where v₂(k) = 2-adic valuation)
Standard Collatz と の 関係:
| k |
k の 分解 |
𝒪(k) 計算 |
𝒪(k) 値 |
Collatz C(k) or 𝒞(k) |
relation |
| 1 | odd, v₂=0 | 1 + 3 | 4 | C(1) = 4 (then /2/2 → 1) | 1 step match |
| 3 | odd, v₂=0 | 1 + 9 | 10 | C(3) = 10 | match ✓ |
| 5 | odd, v₂=0 | 1 + 15 | 16 | C(5) = 16 | match ✓ |
| 6 | 2·3, v₂=1 | 2 + 18 | 20 | C(6) = 3 → 10 (over 2 steps) | 2^r · 𝒞(m) |
| 7 | odd, v₂=0 | 1 + 21 | 22 | C(7) = 22 | match ✓ |
★ Key observation: 𝒪(k) = 2^v₂(k) · (1 + 3·odd(k)) = 2^v₂(k) · 𝒞(odd(k))。 つまり 𝒪 を iterate すると 𝒪(k) ≥ 3k で 発散 = dynamical system ではなく transfer function 的な algebraic 表現。 収束論には 直接 使えない。
主結果 (Theorem 1)
𝒪(y)(i) = δ(y;i) + γ(y;i) + y(i)·P(y;i-1) + y(i) + y(i-1)
where:
y ∈ R∞、 R = F₂[x₁,...,xₙ] / ⟨xᵢ² - xᵢ⟩ (Boolean ring)P(y;j) = Π_{i=1}^{j} (1 + y(i)) (all bits 1..j are zero の indicator)γ(y) = carry sequence for y and PlusPowerTwo(y)δ(y) = carry sequence for Add(y, PlusPowerTwo(y)) and Shift₁(y)
Theorem 2: γ の explicit formula ★ Rei との structural connection
γ(y;j+1) = Σk=0⌊(j-3)/2⌋ P(y;j-2k-2) · U(j-2k, j)
where U(a,b) = Πi=1b-a+1 y(b-i+1) = 「bit b から bit a まで 全て 1」 の indicator。
★ Rei Cases 5-8 obstruction (trailing_ones ≥ 4) との共通 structural feature: U 因子 は 連続 1-bit の 積 = trailing 1-bits の algebraic 表現。 STEP 614-624 で Rei が「Cases 5-8 は 数学的困難」 として close した obstruction と 同じ bit-level feature に DeFranco も到達している (但し 明示的 bridge は 論文中に なし = 私 の 解釈)。
Further Work section (paper §5) — 極めて短い
Section 5 全文 (paper より):
・ Analyze the carry sequence for PlusPowerTwo(y) and Shift₁(y)
・ Analyze the carry sequence for Add(PlusPowerTwo(y), Shift₁(y)) and y
DeFranco が 明示的に主張しないこと (paper text からの 読み取り):
- ❌ Collatz 収束証明
- ❌ 特殊 case terminate 証明
- ❌ trailing-ones との 明示 bridge (U 因子 と の 対応 は 私の解釈)
- ❌ 2-adic valuation dynamics (v₂ を definition で 使うのみ)
- ❌ 既存 approach (Tao 2019 log-density / Terras density / Krasikov-Lagarias 3^α / Chang v6 paradigm exhaustion) との 比較
- ❌ 数値実験 (実装 code なし、 empirical verification なし)
Rei prior art audit
| Rei subsystem |
影響度 |
詳細 |
| STEP 614-624 (Collatz proof chain, trailing_ones + 2-adic) |
中 |
U 因子 ↔ trailing_ones 共通 structure、 但し Cases 5-8 未解決は不変 = DeFranco の tool でも 同 obstruction 到達 予測 |
| STEP 1269 (Chang v6 29-paradigm exhaustion Lean 4) |
高 |
DeFranco は 30 番目 paradigm 候補? 判定: 既存 paradigm の algebraic reformulation、 new paradigm ではない |
| STEP 1195+ (KatoIwasawa 2-adic) |
低 |
DeFranco は v₂ を definition で使うのみ、 Iwasawa 理論との接続なし |
| Rei-Solver v0.4 (SAT/SMT wrapper) |
— |
独立 domain、 影響なし |
| SEED_KERNEL 1,677 理論 |
微 |
「algebraic Collatz lens」 category に 1 entry 追加 candidate、 その他影響なし |
| collatz-watch.json (research-radar) |
★ 主 action |
entry 追加 = 唯一の 直接 action item |
| src/ Boolean polynomial 実装 |
新規領域 |
grep -r Boolean.*polynomial|carry.*sequence → 0 hits = 完全新規 |
Verdict rationale (P1/P2/P3 判定)
なぜ P2 (arc 中断不要) か
- 収束論への進展なし: DeFranco 自身が Further Work で明示、 dynamical system iterate すら定義せず (𝒪 は発散)
- Cases 5-8 obstruction 未対応: 共通の trailing-1s structure に触れるが、 explicit bridge / proof なし
- 既知 Collatz taxonomy に fit: Chang v6 29-paradigm exhaustion (STEP 1269) の algebraic reformulation 系 = paradigm exhaustion theorem の 範疇内
- Reformulation trap risk (Pattern 5): 「Boolean polynomial で書き直せた = 新しい angle」 と誇大化する risk、 実際は transfer function 1 step の explicit expression にすぎない
- Rei prior work との整合性: STEP 614-624 が すでに Cases 5-8 を honest close 済 = 同じ困難に到達する可能性が高い
なぜ P3 (完全 skip) ではないか
- arXiv score 12 (top): keyword match の 最高 score
- Cases 5-8 との structural connection: U 因子 が trailing_ones と 直接対応 = 未来の bridge candidate として monitor 価値あり
- 完全新規 tool: Rei 側に Boolean polynomial 実装なし = potential lens として collatz-watch に登録価値あり
- DeFranco 単著 + 短論文: follow-up 論文が 2026 後半 to 2027 に出る可能性高い = 継続 monitor で情報コスト低い
推奨 next action
| Action | 優先度 | 詳細 |
|---|
| collatz-watch.json entry 追加 | ★★★ 実施 | arxiv URL + version + 監視 tag「algebraic-reformulation」 |
| 本 audit の 完全 memory 記録 | ★★★ 実施 | 未来 Claude が「DeFranco 論文 audit した?」 に即答可能化 |
| Lean 4 formalization | ⏸ defer | DeFranco 自身 partial (Further Work 2 項目 open)、 先着手 価値低い |
| γ formula の Rei Cases 5-8 bridge 試み | ⏸ defer | reformulation trap risk 高、 藤本さん explicit go 待ち |
| Follow-up 論文 monitor | 継続 | Research Radar arXiv fetcher が 自動追跡、 新 version 出たら再 audit |
Honest scope:
- 本 audit は arXiv HTML v1 fetch から実行、 PDF 完全一次未読 = §4.1-4.2 の combinatorial 詳細 (Lemma 3 induction + Λ(t,a,b) set 定義) は text extraction ベース解釈
- 手計算 verify: 𝒪(k) の値を k=1/3/5/6/7 で確認、 general theorem proof は verify せず
- 「収束証明なし」 claim は Further Work section の空虚さ + no termination theorem statement から 推定、 paper text の 明示否定 ではない
- Rei prior art audit は grep base = false negative 可能性あり、 現時点の best-effort
- P2 verdict は 私の judgment、 藤本さん が P1 (中断して formalize) or P3 (完全 skip) 判定変更可能
- U 因子 ↔ trailing_ones bridge の structural connection は 明らか だが、 formal proof 未実施、 「同じ structural feature」 claim は my interpretation
関連 STEP
- STEP 614-624 (2026 早期): Collatz proof chain, trailing_ones + 2-adic Cases 1-4 完了 + Cases 5-8 honest close
- STEP 1269 (2026-07-10): Chang v6 29-paradigm exhaustion Lean 4 taxonomy → DeFranco の判定に使用
- STEP 1219 (2026-06): TrailingOnesDigitSum Chang retrofit
- STEP 1276 (2026-08-06): IUT arc reformulation vs new content 判定基準 → 本 audit で 適用
- STEP 1195+ (2026-05): KatoIwasawa 2-adic attempt
- STEP 1722 (2026-09-03、 他 tab): Round 015 G stats regex + hook bypass fix (直交 arc)
藤本さん報告 summary
DeFranco 2026-08-26 audit 完了。
P2 (arc 中断不要、 collatz-watch 追加のみ) 判定。
Boolean polynomial reformulation = 収束論への進展なし、 Rei Cases 5-8 と同じ trailing-1s obstruction に到達する可能性高い。 continued monitor で follow-up 論文 (2026 後半 to 2027) を watch。
参照
- Paper: arxiv:2608.25791v1
- Radar report:
data/research-radar/radar-2026-09-03.md
- 詳細 memory:
memory/project_step1724_defranco_boolean_polynomial_audit_2026-09-03.md
- Notepad:
docs/notepad/2026-09-03T14-50_STEP-1724_defranco_boolean_polynomial_audit.md