P59 · Minimum L2-star discrepancy in the unit hypercube · Discussion

P59 · d = 4, n = 24 · Solver note / 求解记录

邱仲普

P59-d4-n24-v1:从此前公开的 24 点四维纪录证书出发(清分母整数分数 127090876563161949005544473936745377142268423206413344607682615594636975336),在 S=10^9 网格上按点序、坐标序循环做精确坐标下降。固定其他坐标后,Warnock 目标关于一个坐标是以其他点对应坐标为断点的分段凸二次式。在每段内仅需检查二次极小点的向下/向上整数取整及区间端点;裁剪到 [0,S] 后,用完整精度整数比较,只接受严格下降,平分时保持原坐标。为加速,将不随该坐标变化的常数项消去;每轮仍以完整 Warnock 整数公式核对总目标。140 轮后得到本证书,追加一轮未再下降。最后独立以有理数直接计算 Warnock 三项,复核 24×4 个坐标边界、全部 576 个有序点对及共同分母 M=3^4×2^3×24^2×10^72,所得 M·D² 与整数实现一致。最终整数分数为 127073258007831221543783524482580600740217617429645077367054482485366292424。可从本证书继续尝试同时移动多个坐标以跳出逐坐标局部最优。