[论文解读] Entropy Compression Method and Legitimate Colorings in Projective Planes

Rodrigo Bissacot, Luís Doin|arXiv (Cornell University)|Oct 19, 2017

Limits and Structures in Graph Theory参考文献 12被引用 4

一句话总结

该论文将熵压缩方法推广至洛瓦兹局部引理的变量版本中的所有问题，消除了此前对配置可扩展性的约束。将其应用于射影平面，证明了任意有限射影平面均可用42种颜色实现合法着色，并确立了对阶数大于 $10^{54}$ 的射影平面存在8种颜色的合法着色，改进了先前的界限。

ABSTRACT

We prove that the entropy compression method systematized by L. Esperet and A. Parreau [11] can be applied to any problem formulated in the variable version of the Lovász Local Lemma. As an application, we prove the existence of legitimate colorings for projective planes with small orders, which extends results of N. Alon and Z. Füredi [2]. In fact, we allow different numbers of colors, proving that projective planes of any order can be legitimate colored with 42 colors.

研究动机与目标

• 将熵压缩方法推广至洛瓦兹局部引理的变量版本中的所有问题，突破其原始约束。
• 消除对固定顶点唯一确定禁止着色配置扩展的需求。
• 将改进的方法应用于有限射影平面上的合法着色问题。
• 改进现有结果中关于可实现固定颜色数合法着色的射影平面对阶数的界限。
• 证明42种颜色足以对任意有限射影平面实现合法着色，无论其阶数如何。

提出的方法

• 通过移除要求固定顶点集唯一确定禁止着色配置的条件，改进熵压缩算法。
• 将问题重新表述为图着色任务，其中某些配置被禁止，使用洛瓦兹局部引理的变量版本。
• 引入一种修改后的依赖结构，使得部分着色的扩展方式数受 $m_i = \underline{m}!$ 限制，其中 $\underline{m}$ 选择为使关键表达式最小化。
• 使用生成函数 $\phi_E(\tau) = 1 + \tau^{\underline{m}}$，并求解 $\phi_E(\tau) - \tau \phi_E'(\tau) = 0$ 以推导算法收敛条件。
• 通过将直线和点建模为超边和顶点，将方法应用于射影平面，定义了“危险对”及其概率。
• 使用涉及 $\mathsf{d}(n,a,b)$、$K$ 和二项式系数的组合估计，对涉及危险对的危险对和点的数量进行概率界限估计。

实验结果

研究问题

• RQ1 熵压缩方法能否推广至洛瓦兹局部引理的变量版本中的所有问题，而无需要求存在固定顶点以唯一确定着色扩展？
• RQ2 保证任意有限射影平面实现合法着色所需的最少颜色数是多少？
• RQ3 对于哪些阶数的射影平面存在8种颜色的合法着色？与先前界限相比如何？
• RQ4 熵压缩方法能否弥合小阶数与大阶数射影平面在合法着色存在性结果之间的差距？
• RQ5 关于射影平面阶数的8种颜色合法着色存在性界限的改进，是方法本身的产物，还是问题本身的内在特征？

主要发现

• 熵压缩方法可应用于洛瓦兹局部引理变量版本中的任意问题，无需存在能唯一确定着色扩展的固定顶点。
• 任意有限射影平面均可实现42种颜色的合法着色，无论其阶数如何。
• 所有阶数大于 $10^{54}$ 的射影平面均存在8种颜色的合法着色，优于Alon和Füredi此前得到的 $10^{250}$ 的界限。
• 该方法通过熵压缩提供了构造性存在性证明，将莫泽-塔罗斯算法的适用范围扩展至更广泛的组合问题类别。
• 关于射影平面阶数的8种颜色着色存在性界限，源自对 $\min_m \frac{m}{m-1}(m! \cdot a \cdot b(m-1))^{1/m}$ 的优化，其中 $a$ 和 $b$ 控制危险对的数量。
• 分析表明，当 $n$ 足够大时，为避免过多危险对，部分着色所需最少颜色数 $\mathsf{d}$ 可通过涉及 $K$、二项式系数和对数项的组合估计进行界定。