MathLabs

解法:多项式方法解决帽集问题(克罗特–列夫–帕赫,埃伦伯格–海斯维克,2016年)

第 7/7 步:闭合逻辑:帽集比预想中呈指数级更少
通俗地说

把第5步与第6步结合起来,解决了悬而未决数十年的指数增长率问题:F3n\mathbb{F}_3^n 中任何帽集的元素个数都不会超过大约 2.756n2.756^n 个,明显少于平凡的 3n3^n。同样的多项式方法思想,在几天之内被两个独立团队分别发现,也为每个素数幂 qq 情形下 Fqn\mathbb{F}_q^n 上的相关问题给出了远远更好的界。

∣A∣≤3⋅(2.756)n|A| \le 3 \cdot (2.756)^n
详细分析

把第5步的不等式 ∣A∣≤3 m(q−1)n/3|A| \le 3\, m_{(q-1)n/3} 与第6步在 q=3q=3 时对 m(q−1)n/3m_{(q-1)n/3} 的估计 3e−I(2/3)<2.7563e^{-I(2/3)} < 2.756 结合,就得到最终定理:F3n\mathbb{F}_3^n 中任意帽集 AA 都满足 ∣A∣≤3⋅(2.756)n|A| \le 3 \cdot (2.756)^n,从而以否定的方式解决了指数增长率问题(该增长率不是 33)。埃伦伯格与海斯维克的这篇短文(2017年)将克罗特、列夫与帕赫(2016年)几周前针对密切相关的群 (Z/4Z)n(\mathbb{Z}/4\mathbb{Z})^n 提出的突破性多项式方法加以形式化并推广到任意有限域 Fq\mathbb{F}_q;论文的注记1指出,两位作者是各自独立、几乎同时提出帽集论证的。