【δ_eff＝log(单位边数)／log(点数)－1】

埃尔德什猜想允许δ_eff缓慢趋向零。

江临要找的反例，必须让它在点数无限增长时仍停在零以上。

三次域的δ_eff从百分位滑到千分位，又从千分位滑进更小的数位，参数换了一批又一批，方向始终未变。

那份失败稿已经给出结果，却未回答一件更重要的事。

它究竟输在这一个三次域选得太差，还是所有三次域都会输？

江临把问题交给mpS-proof，要求它寻找能够击穿这条判断的反例。

证明工程随即拆出三条攻击路线：更换判别式、更换分母素因子、放弃对称窗口。

最初两年里，它一共打穿了江临的十七版障碍引理。

有一版把单位模代数数的数量估低了，被一组分裂素理想组合当场越过。

另一版把每一种理想组合都当成了可用差向量，实际还要先在类群里找到同类，再用它们的比值生成代数数，计数先被类数除去一层。

第十一版已经能处理固定数域，换到判别式不断增加的三次域族，估计式里的常数又跟着判别式一起失控。

江临曾经以为枚举得更广便能找到漏网者，机器给他的回报是一批越来越会拖延死刑的曲线。

本轮第四年，候选范围从三次域扩展到四次域和五次域。

白天的力控操作舱在隔壁反复启闭旧阀门，夜里，证明工程把一个又一个新数域送进全嵌入窗口。

有些数域能提供更多单位模元素，嵌入格却偏斜得厉害，同样大小的窗口里装不下足够多的点。

有些数域的格形规整，根判别式又高得惊人，点还未投进平面，协体积便先收走了大半收益。

还有一批候选在前两项上都很出色，轮到把理想比值变成实际代数数时，类数账把方向数量除掉了一层。

三个数字单独看都合格，放到同一个数域里就会互相追债。

江临把候选表从按次数排序改成三栏，每一栏都除以数域次数，计算每增加一个嵌入究竟带来多少收益，又带来多少代价。

分栏后的账目把三次域的亏损位置标了出来。

在一个固定数域里，扩大分母和窗口确实能制造更多点，也能得到更多单位模差向量，可后者只按约数数量那种慢吞吞的速度增加。

点集已经从一间库房扩成一座城，能反复使用的单位方向仍只多出几条街，δ_eff迟早要被点数规模压回零。

四次域和五次域可以换来更好的有限常数，固定次数却改变不了这笔增长账。

至于不断更换同次数数域，判别式与类数又会把所谓的新方向计入成本。

次数被锁住以后，根判别式若也受控，可供选择的数域本就只剩有限多个；放开判别式，嵌入格的密度随之下降，赢回来的候选会从窗口另一边漏出去。

第八年冬天，江临把这段判断写成第一版低次数障碍引理。

mpS-proof用一只极端偏斜的四次域击穿了其中的统一常数。

江临删掉四十六页证明，重新把格形参数写进估计。

本轮第九年春天，新版本又在类数上留下一个对次数不统一的缺口。

oUtER cAchE-07北侧支路开始长期供冷的那一周，他把理想类的损失重新压回差向量计数，证明页上的红色冲突从十三处减到两处。

h-01发生两足支撑失效时，最后两处仍挂在屏幕上。

无人作业班组完成同伴回收以后，江临在设备仓守了九个小时，顺手把其中一处改成了只需要固定次数的局部估计。

剩下一处牵涉窗口边界，跟着他回到前哨站，又在装配间墙上挂了两年多。

G-Explorer-c退出一线那天，江临从复检台旁回来，把全寿命样本接入过程护照，也把障碍引理的最后一项极端情形送进独立核验器。

核验器跑了十九天。
本章未完，请翻下一页继续阅读.........