4.2 Elkies 格约化步骤

Booker–Sutherland 使用 Elkies 的 LLL 约化方法，将 $x^3+y^3+z^3=k$ 转化为“寻找 Fermat 曲线附近的有理点”问题，用旗石覆盖和格约化加速搜索。这是 $10^{36}$ 倍减少的主要来源。

4.3 CRT 枚举步骤

Booker–Sutherland 的改进之一是CRT 枚举：他们不再预计算模 $M$ 的大算术进度表，而是在运行时用中国剩余定理动态计算 $z$ 的同余类，消除了时间-空间权衡，并允许 $z$ 超过 64 位。

4.4 减少来源分解

来源 量级贡献 归属
基线 $s,t$ 变换 $10^{17}$（$O(N^3)\to O(N^2)$） 我们的重构
模筛 $10^1$–$10^3$ 额外优化
CRT 枚举 $10^3$–$10^6$ 额外优化
Elkies 格约化 $10^{20}$–$10^{30}$ 结构性飞跃
立方互反律约束 $10^1$–$10^3$ 额外优化

步骤五：小规模验证方案

5.1 选取 $k=3$

$k=3$ 有已知的小解 $(1,1,1)$。验证流程：

1. 将 $k=3$ 代入基线方程：$t^2=(3-s^3-4z^3)/(3s)$；
2. 检查小范围 $s,z\in[-100,100]$ 是否能复现 $(1,1,1)$ 对应的 $s=2,t=0,z=1$；
3. 统计模 9 筛除比例是否约为 $8/9$。

5.2 选取 $k=30$

$k=30$ 有已知解。用同样流程验证，检查小范围 $s,z$ 是否能捕获该解。

5.3 格约化验证

对固定的 $s$ 值，构造 3 维格基，运行 LLL，检查约化后的基向量是否给出更小的 $|4z^3+3st^2-A|$ 值。注意：这只能验证格构造的局部正确性，不能验证全局搜索效率。

步骤六：Pareto 评估

维度 评估
(A) 计算效率 基线 $s,t$ 变换贡献 $O(N)$ 改进；完整的 Elkies 格约化可额外贡献 $O(N^{1/3})$–$O(N^{2/3})$，但我们的初等路径未达到这一水平，卡在旗石数量与 $z$ 范围成正比的瓶颈
(B) 理论可解释性 中高：连接到 Fermat 曲线有理点、格约化、旗石覆盖，但未展开 Elkies 的完整格构造
(C) 教学可追溯性 高：$s,t$ 变换和模 9 约束完全初等可验证

在 (A) 维度下，无唯一最优解。Pareto 前沿为：初等 $s,t$ 变换（$O(N^2)$，教学最优），Elkies 旗石方法（$O(N^{1+\varepsilon})$，理论更深），Booker–Sutherland 完整算法（约 $O(N^{1/3})$，计算最优但不可初等追溯）。

步骤七：反馈回路记录模板

维度 输出质量 高贡献信息 冗余信息 迭代版本
代数重构可验证性 高 $s,t$ 变换完整，$s$ 与 $d_{BS}$ 关系明确 无 v1 → v2 可补充 $s$ 奇偶性的分类讨论
格构造显式性 中 明确了卡点：三次项无法嵌入标准二次型格 旗石方法的描述可更简 v1 → v2 需给出显式格基矩阵
LLL 复杂度量化 中低 旗石方案 $O(N^{1+\varepsilon})$，Booker–Sutherland 约 $O(N^{1/3})$ $O(N^{1/3})$ 的推导为推测 v1 → v2 需获取论文完整技术细节
与 Booker–Sutherland 对接度 高 模筛/CRT/格约化分工明确 无 v1 → v2 可补充立方互反律约束的细节
小规模验证可行性 高 $k=3,30$ 的验证方案具体 无 v1 → v2 可增加 $k=33$ 的验证

结论：卡点声明

本方案无法在初等可追溯的框架内对标 $10^{36}$。 卡点在于：

1. 三次项的非线性：$4z^3+3st^2=A$ 无法直接嵌入标准二次型格。Elkies 方法通过旗石覆盖处理非线性，但旗石数量与 $z$ 范围成正比，导致复杂度仍为 $O(N^{1+\varepsilon})$ 量级。
2. $O(N^{1/3})$ 的结构性来源：Booker–Sutherland 的 $10^{36}$ 倍减少来自 CRT 枚举 + 立方互反律约束 + Elkies 格约化 的联合机制。其中，立方互反律约束（Cassels 的结果）将 $d_{BS}$ 的有效候选范围压缩到 $O(N^{1/3})$ 量级，这是初等重构中完全缺失的结构性步骤。
3. 所需额外假设：要完成从初等重构到 Elkies 型格约化的完整路径，需要显式构造旗石覆盖下的 3 维格基，并证明 LLL 约化后 $z$ 的枚举范围从 $O(N)$ 降至 $O(N^{1/3})$。这一证明需要深入 Elkies 论文的格构造细节和 Booker–Sutherland 的改进技术，超出初等代数变换的范围。