解法:康–凯利–库恩–梅苏库–奥斯图斯基于迭代吸收法的渐近证明(2021年)
通俗地说
真正迫使使用全部 种颜色的只有三种非常刚性的结构:奇数阶完全图 (所有边大小为 且最大顶点度数为 )、有限射影平面(约 条大小接近 的边)以及退化的近铅笔结构(有一个度数为 的顶点或一条大小为 的边)。
卡恩曾预测,任何既远离最大度数 又远离射影平面边大小分布的线性超图 ,所需颜色数都应严格少于 ——作者的证明在推进过程中一并确立了这一稳定性定理。
详细分析
Kang、Kelly、Kühn、Methuku 与 Osthus(2023年,1.2节,定理1.2与1.3)证明了一个定量的稳定性结果,证实了卡恩的预测。定理1.2指出:对任意 ,存在 ,使得当 时,任意满足最大度数 且大小为 的边数至多为 的 顶点线性超图 ,都满足 。
事实上,稳定性绝非仅仅是一个附带的推论:在主证明内部,每当 远离有限射影平面(第5节处理)且没有度数接近 的顶点(第4节与第7节用吸收和 -因子化处理)时, 的富余量恰好为蚕食法与局部稀疏染色步骤提供了充足的回旋余地,使其不会在完成前耗尽颜色。
- 有限射影平面 (FPP)
- 在 个顶点上具有 条大小为 的边(直线)的线性超图,其中任意两点恰在一条直线上,任意两条直线恰交于一点,从而迫使 。