---
name: Paper 58 Published (Alphabet Reduction + F-Entropy)
description: 第58論文投稿完了 — Zenodo/IA/Qiita/Harvard 4サイト、DOI 10.5281/zenodo.19504642
type: project
originSessionId: cd413b52-217d-49a2-ae30-92af7ffedf9b
---
Paper 58 published 2026-04-11 successfully to 4 sites.

**Title**: Alphabet Reduction and Path-Dependent F-Entropy for the Collatz Conjecture: A Finite-Behind-Infinite Approach

**Why:** STEP 673-676 の成果 (Alphabet Reduction Theorem + Path-Dependent F-Entropy + 14 emptiness class compression + 10-engine Finitization Toolbox) を藤本伸樹さんの Finite-Behind-Infinite Hypothesis のもとで論文化。Perelman-Thurston-龍樹の統一的枠組みを初めて Collatz に適用。

**How to apply:** 以降の論文で Paper 58 を引用する際は DOI `10.5281/zenodo.19504642` を使用。本論文は path-dependent F-entropy の初の明示的 Perelman analog for Collatz として位置づけられる。

## 投稿結果 (4/5 成功)

| サイト | URL / DOI | ステータス |
|---|---|---|
| **Zenodo** | [10.5281/zenodo.19504642](https://zenodo.org/records/19504642) | ✅ success |
| **Internet Archive** | [archive.org/details/rei-aios-paper-58-...](https://archive.org/details/rei-aios-paper-58-alphabet-reduction-1775876189560) | ✅ success |
| **Qiita** | [qiita.com/fc0web/items/207c084db57acadf3704](https://qiita.com/fc0web/items/207c084db57acadf3704) | ✅ success |
| **Harvard Dataverse** | [doi.org/10.7910/DVN/KC56RY](https://doi.org/10.7910/DVN/KC56RY) | ✅ success |
| Figshare | Inactive account (403) | ❌ skipped |

## 論文の4つの主要貢献
1. **Alphabet Reduction Theorem** (Lean4 zero sorry): 16→6 via (t₁=1) XOR (v=1)
2. **Path-Dependent F-Entropy**: F(orbit_k) = log₂(n_k) − U_k, strict descent ≥ 0.415/step
3. **Emptiness Class Compression**: 499 数 → 14 クラス (97.2%)
4. **Finitization Toolbox**: 10-engine unified framework with D-FUMT₈ classification

## 累計統計 (Paper 58 時点)
- **Lean4 定理**: 1562 (zero sorry)
- **新規 TypeScript エンジン**: 5 (FBI, Class Attack, Finitization, Walnut, F-Entropy)
- **SEED_KERNEL 新理論**: 23 (STEP 673-676 合計)

## 依存するファイル
- `papers/paper-058-alphabet-reduction-f-entropy.md`
- `data/lean4-transfer/step676_alphabet_reduction.lean` (12 定理, ZERO SORRY)
- `data/lean4-transfer/step676c_f_entropy_descent.lean` (13 定理, ZERO SORRY)
- `src/axiom-os/finite-behind-infinite-engine.ts`
- `src/axiom-os/emptiness-class-attack.ts`
- `src/axiom-os/finitization-toolbox.ts`
- `src/axiom-os/walnut-bridge.ts`
- `src/axiom-os/collatz-f-entropy-search.ts`

## 投稿スクリプト
- `scripts/publish-paper58.sh` → Zenodo
- `scripts/publish-paper58-multi.ts` → IA + Figshare + Qiita
- `scripts/publish-paper58-harvard.ts` → Harvard Dataverse (Figshare fallback)

## Honest Gap (論文で明記)
F-entropy は strict monotone だが well-founded ではない。pointwise U_k bound の独立証明は Collatz 予想そのものと等価。本論文は Collatz をこの単一の残課題に**還元**した。