图族沙堆群的结构定理：广义 Petersen 型家族的 Smith 标准形计算与递推证明

来源说明：本则出自独立撰写的第二批方案。它与前 20 则同样遵循八块结构与硬门槛要求，但撰写时未做英文文献检索，新颖性边界依据的是历届获奖图谱与既有知识，而非当轮查新。因此其「需核实」条目更多，启动前须自行补一轮英文检索。

1 · 研究问题

对一个沙堆群（sandpile group / critical group，即约化 Laplacian 的余核）结构尚未发表的图族（首选广义 Petersen 图 P(n, 3) 或某循环图族 Cₙ(1, k)，第 3 周核实后锁定），其沙堆群的不变因子分解作为 n 的函数是什么？由 Smith 标准形（SNF）计算猜出的结构公式能否用 Chebyshev 型多项式递推完整证明？

2 · 研究背景与空白

沙堆群是图的一个精妙代数不变量：其阶等于生成树数（Kirchhoff 矩阵-树定理），其结构由约化 Laplacian 的 SNF 给出，与自组织临界性（chip-firing）和代数几何（图的 Jacobian）双向连通。"算出一族、猜出公式、递推证明"是该领域的成熟研究范式：完全图（(Z_n)ⁿ⁻²）、圈（Z_n）、轮图（与 Fibonacci/Lucas 数相关）、Möbius 梯、部分循环图等家族已被逐一解决，超立方体的完整结构则长期未决（2-部分尤难）——地形图清晰：家族级结果一个一个被摘，仍有大量自然家族空着。

已有工作：上述已解家族（需核实清单与出处：搜索关键词 critical group sandpile generalized Petersen graph；搜索关键词 sandpile group circulant graph）；广义 Petersen P(n, 2) 已有发表结果（需核实覆盖到哪个 k）。丘奖相邻获奖论文：2023 铜奖《The distribution of the cokernels of random symmetric and alternating matrices over the integers modulo a prime power》研究的是随机矩阵余核的分布律——同为"整矩阵余核"对象，但本题做确定性家族的精确结构，方向正交。

空白在：P(n, 3) 及多数三参数以上循环图族的沙堆群结构未发表（第 3 周逐条核实）；其 Laplacian 具有块循环结构，SNF 沿 n 的演化满足与 Chebyshev 多项式同型的三项递推——这条已在其他家族成功过的证明技术对学生是可学的（线性代数 + 多项式恒等式）。

3 · 可检验假设

• H1：目标家族的沙堆群形如 Z_a(n) ⊕ Z_b(n) ⊕ …，各不变因子 a(n), b(n) 满足常系数线性递推（阶 ≤ 8），由 n ≤ 200 的 SNF 数据可唯一确定并在 n ≤ 500 上验证零偏差。
• H2：不变因子的 p-部分（对小素数 p = 2, 3, 5）呈现按 n mod M 的周期规律，可先于全结构单独证明（作为主定理的引理或降级产物）。

4 · 量化验收标准

1. 方法学校验（硬门槛）：SNF 管线先复现三个已知家族——圈 Cₙ（群 = Z_n）、完全图 Kₙ（(Z_n)ⁿ⁻²）、轮图 Wₙ（与已发表的 Fibonacci/Lucas 型公式吻合，公式出处第 3 周核实写死），n ≤ 100 全部一致；同时用矩阵-树定理交叉验证群阶 = 生成树数。不过关则全线无效。
2. 数据交付：目标家族 n ≤ 500 的完整不变因子表（精确整数算术）。
3. 定理交付：结构公式 + 完整递推证明；证不完整时按第 8 块降级并如实标注已证/猜想边界。
4. 猜想检验协议：公式由 n ≤ 200 数据生成、在 201 ≤ n ≤ 500 上盲测（预先注册，防过拟合式凑公式）。
5. 代码与因子表开源，一键复跑（含 SNF 独立对照）。

5 · 数据与工具

用途	来源 / 工具
整数 SNF	SymPy smith_normal_form / SageMath elementary_divisors；大 n 用 python-flint 提速
对照 SNF	PARI/GP matsnf（免费；仅校验，不计入贡献）
生成树数对照	矩阵-树定理行列式计算（精确整数）
已解家族清单	领域论文（arXiv 免费；第 3 周核实：P(n,2) 结果、循环图已覆盖参数）
算力量级	P(n,3) 的约化 Laplacian 为 (2n−1) 阶整矩阵，n = 500 时 SNF 秒–分钟级，全表笔记本数小时，纯 CPU

6 · 方法路径

1. 搭 SNF 管线，完成第 4 块第 1 条三家族复现与群阶交叉验证。
2. 文献窗口：核实候选家族（P(n,3)、Cₙ(1,2,3)、棱柱变体）的已发表覆盖，锁定未发表目标（能力边界核实步）。
3. 计算目标家族 n ≤ 200 因子表，观察 p-部分周期性与递推阶。
4. 生成结构公式猜想，跑 201–500 盲测。
5. 证明：把 Laplacian 化为块循环/带状形式，用多项式矩阵的 SNF 理论与 Chebyshev 型恒等式沿 n 归纳；先闭合 H2 的 p-部分引理，再攻全结构。
6. 独立交叉校验：PARI/GP 复算全表 10% 抽样；两套群阶计算零偏差。

7 · 新颖性边界

• 本课题不声称解决超立方体沙堆群等已知难点，不把已解家族（圈、完全图、轮图、P(n,2) 等）计入贡献——它们只作校验集与技术模板。
• 已有工作：已解家族清单及其证明技术（第 3 周核实到家族级）；chip-firing 与临界群一般理论（经典教材级）。丘奖相邻获奖论文：2023 铜奖《The distribution of the cokernels of random symmetric and alternating matrices over the integers modulo a prime power》——本题差异：该文做随机矩阵余核的分布定律（概率极限），本题做确定图族余核的精确代数结构（逐 n 恒等式），对象同源、问题正交，论文中将引用该差异。
• 本项目贡献（主结论）：目标家族沙堆群结构定理（或已证引理 + 盲测通过的猜想）+ n ≤ 500 精确因子表。
• 价值：家族级结构定理是该领域标准的、被期刊接受的贡献单元；因子表可被任何人复算核对。

8 · 决策门槛（go / no-go）

• 第 3 周末：家族覆盖核实完成。P(n,3) 若已发表 → 顺位换 Cₙ(1,2,3)、P(n,4)、冠图变体（预排序清单），管线零改动。
• 第 6 周末：硬门槛三家族复现通过。
• 第 14 周末：递推猜想若在盲测段出现偏差 → 递推阶上调重拟合一次；再失败说明结构非线性递推型，降级路径 A：主结论转 H2（p-部分周期定理，独立可证可发表）+ 全结构猜想。
• 第 28 周末：全结构证明未闭合 → 降级路径 B：主结论 = p-部分定理 + 盲测通过的结构猜想 + 因子表，明确标注证明边界。两条降级都保留"计算–猜想–证明"主框架。
• 预算裁剪顺序：n 上限 500 → 300；第二家族探索 → 砍；p-部分引理与盲测协议不砍。

---