---
name: reference-difficulty-typology-collatz-riemann-sg-2026-06-18
description: 未解決問題の難しさの 3 軸 typology (接続の貧困 / 接続の過剰 / 接続の過剰+proven天井) — 8-turn chat-Claude thread 2026-06-17 で確立、 Rei methodology の適用面 map 含む
metadata: 
  node_type: memory
  type: reference
  originSessionId: 5d28ae7c-687d-4389-8e5e-c7bd64100573
---

# 難しさの typology — 接続の貧困 / 接続の過剰 / 接続の過剰+proven天井

8-turn chat-Claude thread (2026-06-17) で確立された **「量でなく種類で分ける」 discipline** の operational typology 永続化。 4 case の application で stable に observable な structure。

## 3 軸 typology

| 軸 | 難しさの core | 既存機械 | Rei methodology 適用面 | 代表 case |
|----|--------------|----------|------------------------|----------|
| **接続の貧困** | 取っ手なし、 理論が立ち上がらない、 解析的/代数的構造を持たない初等写像 | 限定的 (Tao 2019 almost-all、 2-adic dynamics、 trailing-bit conveyor 等の局所的 fragment) | ✅ **「壁の輪郭を描く」 が直接適用可** = Phase B BF infeasibility で 9 feature space 全 INFEASIBLE 実装済 | Collatz |
| **接続の過剰** | 取っ手が多すぎ、 巨大理論結節点、 攻める足場無数 | 巨大 (Selberg / Hilbert-Pólya / RMT / L-functions / GUE 統計 等) | △ 「足場を増やす」 が筋、 Rei 直接適用は限定 | Riemann |
| **接続の過剰 + proven 天井** | 接続過剰 + 最良 tool に **証明された原理障壁** | 巨大 + parity barrier (Selberg) | △ 解く側 No、 **barrier 自体の別言語化** が【思弁】 接点 | 双子素数 / Sophie Germain / Polignac 族 |

## 各軸 detail

### 軸 1: 接続の貧困 (Collatz)

- **症状**: 3n+1 / n/2 という極めて初等的な写像が、 解析的にも代数的にも掴みどころを与えない。 Erdős 評 「数学はまだこの種の問題に向き合う準備ができていない」
- **既存最良**: Tao 2019 (arXiv:1909.03562) 「Almost all Collatz orbits attain almost bounded values」 = 「ほとんど全て」 を 「全て」 にする最後の一歩が未到達
- **Phase B (Rei 実装)**: bounded-periodicity feature family 全体で線形 Lyapunov INFEASIBLE 確証 (9/9 feature spaces)
- **方法論的特徴**: 取っ手が無い → 「破る」 のでなく **「壁の輪郭を描く」** = barrier mapping が正攻法
- **Phase B scope note** ([[reference-collatz-lyapunov-obstruction-generalized-2026-06-17]] 参照): 「V(n)=n·β(f(n)) 形 + bounded-periodicity feature + 線形 Lyapunov の family-specific impossibility」 vs 「Collatz に Lyapunov 不在」 (over-claim) を distinguish

### 軸 2: 接続の過剰 (Riemann)

- **症状**: 素数分布 / ζ-function / RMT / L-functions / Selberg trace formula / Hilbert-Pólya conjecture など、 あらゆる方向と繋がっている → 攻め手は無数だが完成しない
- **既存実装 (Rei)**: STEP 1162-1165 spectral lens で Riemann zeros の GUE 統計 (Montgomery-Odlyzko) を Jacobi 固有値解法 + ⟨r⟩ 統計 + number variance Σ²(L) で reproduce 確認済
- **方法論的特徴**: 「描く」 より 「登る足場を増やす」 が筋。 Rei methodology は直接 wall-mover でなく **既存 framework の honest verification + 8 値 reframe** 役

### 軸 3: 接続の過剰 + proven 天井 (Sophie Germain / 双子素数族)

- **症状**: 加法的整数論の巨大機械 (Hardy-Littlewood 1923 k-tuple / Brun 1919 sieve / Chen 1973 / Zhang 2013 + Maynard-Tao 2014 bounded gaps) **に加えて** parity problem (Selberg **1949**、 旧記述 「1960s」 は Pattern 5 訂正 per [[reference-friedlander-iwaniec-selberg-parity-audit-2026-06-18]]) という **proven structural barrier**
- **既知の式 vs 証明の缺如**: π_SG(x) ~ 2C₂·x/(ln x)² (C₂ ≈ 0.6601618 双子素数定数) が conjectured form として黒板に書かれているが parity barrier で証明到達不能
- **★ Collatz との構造的反転**:
  - Collatz: 取っ手なし、 **式が生まれない**
  - Sophie Germain: 式は美しく完成、 **手 (証明) が届かない**
- **方法論的特徴**: 「解く」 側 Rei 適用 No (向き = positive existence、 Rei = negative impossibility / 異向き)。 ただし **parity barrier 自体の別言語化** = LP-infeasibility toy model 候補 ([[scripts/empirical/parity-barrier-toy-spec-2026-06-18]] 参照)

## ★ 「式と道の区別」 軸 (本 typology の延長)

8-turn thread closing で chat-Claude が articulate した観察:

| | 式 (formula / invariant) | 道 (proof path) |
|--|---------------------------|-----------------|
| Collatz | ❌ なし | ❌ なし (両方欠如) |
| Riemann | ✅ (ζ-function、 functional equation 等) | △ 部分 (RMT 統計合致、 critical line 上 zeros 部分証明) |
| Sophie Germain | ✅ Hardy-Littlewood predict | ❌ なし (parity barrier) |

★ **「式はあるが道がない」 vs 「式すらない」 vs 「両方ある」** という 3 状態区別が、 difficulty typology の補助軸。

## ★ Rei methodology 適用 map (4 case 連続 confirm)

| Case | 直接適用 | 間接 (barrier methodology) | メタ資産 (discipline) |
|------|---------|----------------------------|------------------------|
| Collatz | ✅ Phase B 9 spaces INFEASIBLE 実装済 | ✅ 同 (Phase B 自体が barrier description) | ✅ axiom-free / no-rush / 種子 stance |
| Millennium 7 (general) | ❌ direct tool なし | △ P vs NP barrier (natural proofs / relativization / algebrization) に **精神的最近接** ([[項目 (iii) feedback file 参照]]) | ✅ 同 |
| Sophie Germain | ❌ 向き (positive vs negative) + 種類両方ミス | △ parity barrier toy model 【思弁】 (項目 (iv) 仕様参照) | ✅ 同 |
| 各 Millennium 個別 (Riemann / Hodge / YM 等) | ❌ D-FUMT₈/ZCSG/SNST → Riemann zeros = 連想段、 reject | ❌ 同上 (octonion↔D-FUMT₈ ゲート self-applied) | ✅ 同 |

★ **operational characterization**: Rei methodology = **「barrier 側 / 描く側」 discipline** (4 case 連続 confirmed)。 「forward 側 / 解く側」 ではない。 詳細永続原則は [[feedback-rei-methodology-barrier-side-discipline]] 参照。

## ★ siren-family 警戒 (chat-Claude self-flag 維持)

★ 本 typology 自体が「気持ちよく響く」 → reification risk:
- 「3 軸で全ての未解決問題を分類できた」 等の universal claim は **NOT 主張**
- 4 case (Collatz / Millennium-general / Sophie Germain / 個別 Millennium) は **観察された 4 example** であって 全 problem space cover ではない
- 「接続の貧困 vs 過剰」 は metaphor / labeling correspondence であって formal homomorphism でない
- 「Rei は barrier-side discipline」 も 4 case 累積観察、 5 case 目で逆になる可能性あり (5 case 目 trigger 確定後 audit)

★ honest 段 marker:
- 観察された pattern として 【観察】 段
- 「全ての未解決問題に汎化」 主張は禁止 (【思弁】 すら超えて連想段になる)
- 「種類で分ける」 は方法論的 discipline であって universal classification 主張ではない

## 関連 references

- 8-turn chat-Claude thread 2026-06-17 (Paper 159 review → 空 制作 → 空 OS → 永遠未完成 → 賞賛 risk → D-FUMT 空数式 → Phase B review + 難易度 thread 8 turns)
- [[reference-collatz-lyapunov-obstruction-generalized-2026-06-17]] (Phase B 起源 + scope note 詳細)
- [[project-collatz-aeb-sequence-2026-06-18]] (F8/F9 拡張で 9 spaces 化)
- [[feedback-rei-methodology-barrier-side-discipline]] (項目 (iii) で起稿される永続原則 8 軸目)
- STEP 1178 Collatz frontier map (本 typology の延長候補)
- Paper 159 §3.5 (同 discipline = scope note pattern の前例)
- Erdős 「数学はまだ準備できていない」 (Collatz character 標準引用)
- Tao 2019 arXiv:1909.03562 (Collatz almost-all bounded)
- Selberg parity problem (1949 — Wikipedia + Tao 2007 verified per Path 4 audit、 旧 「1960s」 誤り訂正) + 後年精密化
- Chen 1973 / Zhang 2013 / Maynard-Tao 2014 (sieve theory family 最良前進)
- Hardy-Littlewood 1923 prime k-tuple conjecture
- 双子素数定数 C₂ = ∏_{p≥3} p(p-2)/(p-1)² ≈ 0.6601618