M37
Zeckendorf 加法的进位链：从 Holte"神奇矩阵"到 Fibonacci 数系的进位 Markov 结构
来源说明：本则出自独立撰写的第二批方案。它与前 20 则同样遵循八块结构与硬门槛要求，但撰写时未做英文文献检索，新颖性边界依据的是历届获奖图谱与既有知识，而非当轮查新。因此其「需核实」条目更多，启动前须自行补一轮英文检索。
1 · 研究问题
在 Zeckendorf 数系（每个正整数唯一表示为不相邻 Fibonacci 数之和）中执行加法时，进位修正过程能否形式化为一个有限状态链，其转移矩阵（对随机均匀加数的极限分布）是否像十进制情形的 Holte"神奇矩阵"一样，拥有显式特征值谱与不依赖初值的平稳分布？谱结构中是否出现黄金比 φ 的负幂（类比十进制的 1/bʲ）？
2 · 研究背景与空白
Holte（1997，《Carries, Combinatorics, and an Amazing Matrix》，需核实卷期）发现：b 进制逐位加法的进位序列是一个 Markov 链，其转移矩阵特征值为 1, 1/b, 1/b², …，平稳分布与 Euler 数相关；Diaconis–Fulman 后续揭示了它与洗牌理论的深层联系（需核实具体论文）。这套"进位的谱理论"是概率组合学中公认漂亮的小理论。另一侧，Zeckendorf 数系的加法算法已有高效实现与进位（借位）修正规则的完整刻画（需核实：搜索关键词 efficient algorithms Zeckendorf arithmetic addition；相关作者含 Frougny 的数系自动机理论），且均匀随机整数的 Zeckendorf 数字序列本身服从黄金均值移位的 Markov 律——两块理论都成熟。
空白在：两者的交叉——Zeckendorf 加法进位过程的 Markov 化与谱分析——未见发表（第 3 周核实：搜索关键词 carries Zeckendorf Fibonacci base Markov chain amazing matrix）。这是"两个已知理论的合流点"型选题：定义工作（进位状态空间的正确形式化，处理不相邻性约束的传播窗口）本身就是数学贡献，转移矩阵可显式算出并做精确特征值分析；哪怕一般定理闭不上，有限窗口链的完整谱定理也自足。适合学生：所需工具是线性代数 + 基础 Markov 链，全部可机器验证。
3 · 可检验假设
- H1：存在有限状态形式化（状态 = 进位传播窗口的局部字），使随机均匀加数 n, m ≤ Fib(N)、N → ∞ 时进位过程收敛到一个显式链；其转移矩阵特征值含 φ⁻¹, φ⁻² …（数值验证到 10⁻¹⁰，再符号证明）。
- H2：平均进位密度（每位的期望修正次数）收敛到显式常数 c（φ 的有理函数），模拟收敛速率为 O(N⁻¹)。
4 · 量化验收标准
- 方法学校验（硬门槛）：管线先复现 Holte 经典结果——b = 2, 3, 10 的进位矩阵、特征值 1/bʲ 与平稳分布，模拟（10⁷ 次随机加法）与理论零系统偏差（χ² 检验 p > 0.01 且矩阵元素偏差 ≤ 10⁻³）。不过关则全线无效。
- 形式化交付：Zeckendorf 进位状态空间的严格定义 + 加法算法正确性证明（对 n, m ≤ 10⁶ 与直接加法机器验证 10⁶ 例零错误）。
- 谱交付：有限窗口转移矩阵的精确特征值（符号计算），φ 负幂结构的证明或反证；写明有限窗口定理（严格）与 N → ∞ 极限（严格或计算证据）的边界。
- 统计口径：模拟收敛用分块自助法置信区间；进位密度报均值 ± 95% CI。
- 代码开源，一键复跑（全套实验笔记本 < 2 小时）。
5 · 数据与工具
| 用途 | 来源 / 工具 |
|---|---|
| Zeckendorf 算术 | 自写（表示、加法、规范化）；OEIS A014417 对照表示（仅校验） |
| 符号特征值 | SymPy 精确特征多项式分解；数值对照 NumPy |
| Holte 理论对照 | 原论文（Amer. Math. Monthly，图书馆/馆际；仅校验，不计入贡献） |
| 数系自动机背景 | Frougny 数系文献 + Allouche–Shallit 教材相关章节 |
| 算力量级 | 10⁷ 次模拟加法分钟级；符号谱计算取决于状态数（目标 ≤ 64 态），纯 CPU 轻量 |
6 · 方法路径
- 实现 b 进制进位链模拟与理论矩阵，完成第 4 块第 1 条 Holte 复现。
- 实现 Zeckendorf 加法（含规范化规则），过 10⁶ 例正确性验证。
- 文献窗口：核实交叉问题未被发表（能力边界核实步）；同时钉死随机模型口径（均匀 n ≤ Fib(N) vs 数字级 Markov 源，两者都跑并比较）。
- 从模拟数据反推进位事件的局部依赖长度，据此定义状态空间与转移矩阵（核心建模步，须给出明确、可复现的状态判据）。
- 符号计算转移矩阵谱，猜想并证明 φ 负幂结构；推导平稳分布与进位密度常数。
- 独立交叉校验：理论平稳分布 vs 长程模拟频率（两种随机模型下各验一次）；写清定理/证据边界。
7 · 新颖性边界
- 本课题不声称 Holte 理论、Diaconis–Fulman 联系、Zeckendorf 加法算法为本项目结果（全部已发表，作为基座引用）；若交叉问题核实中发现已被研究，见第 8 块换位。
- 已有工作：b 进制进位链谱理论（Holte；Diaconis–Fulman）；Zeckendorf/Ostrowski 算术与数系自动机（Frougny 等）；黄金均值移位的数字统计（经典）。丘奖相邻获奖论文：2020 铜奖《O(1) Algorithm for Calculating Prefix Sum of Fibonacci Words》同属 Fibonacci 数系谱线但做前缀和算法——本题做加法进位的概率谱结构，对象与问题均不同；与 T06 亦无重叠（T06 是确定性求和算法，本题是随机进位过程）。
- 本项目贡献（主结论）：Zeckendorf 进位链的形式化 + 有限窗口谱定理 + 极限谱结构（证明或强计算证据，边界如实标注）。
- 价值："神奇矩阵"故事线清晰、英文答辩极好讲；两个成熟理论的合流点上做出的第一个显式矩阵即是可引用结果，正负结论（有/无 φ 幂结构）都有效。
8 · 决策门槛（go / no-go）
- 第 3 周末：交叉问题核实。若已被发表 → 换位路径：转 NegaFibonacci 或 Tribonacci 数系的同型问题（加法规则已有文献，管线复用），或转"减法借位链"，框架不变。
- 第 8 周末：Zeckendorf 加法正确性 10⁶ 例零错误 + 状态空间定义冻结。若进位依赖长度实测无界（窗口化失败）→ 降级路径 A：改研究"截断窗口链族"的谱随窗口长的演化规律（每个窗口链的谱定理都严格），极限性质降为计算证据。
- 第 20 周末：φ 幂结构证明未闭合 → 降级路径 B：主结论 = 有限窗口精确谱定理 + 极限猜想 + 高精度数值谱表。两条降级均保留"进位链谱分析"主框架。
- 预算裁剪顺序：第二种随机模型 → Tribonacci 扩展章节；Holte 复现与正确性验证不砍。