[论文解读] Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics

Anton Bernshteyn|arXiv (Cornell University)|Apr 10, 2020

Advanced Topology and Set Theory被引用 4

一句话总结

本文通过证明有限图上高效的分布式染色算法可导出有界度的无限Borel图上的良好行为Borel、可测或Baire可测染色，建立了分布式算法与描述性组合数学之间的桥梁。此外，在更强条件下证明了对称Lovász局部引理的可测与Baire可测版本，从而在无短环的图中得出了可测色数的新结果。

ABSTRACT

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or measure. To this end, we show that such well-behaved colorings can be produced using certain powerful techniques from finite combinatorics and computer science. First, we prove that efficient distributed coloring algorithms (on finite graphs) yield well-behaved colorings of Borel graphs of bounded degree; roughly speaking, deterministic algorithms produce Borel colorings, while randomized algorithms give measurable and Baire-measurable colorings. Second, we establish measurable and Baire-measurable versions of the Symmetric Lovász Local Lemma (under the assumption $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$, which is stronger than the standard LLL assumption $\mathsf{p}(\mathsf{d} + 1) \leq e^{-1}$ but still sufficient for many applications). From these general results, we derive a number of consequences in descriptive combinatorics and ergodic theory.

研究动机与目标

• 建立组合染色在Borel图上可具有良好拓扑或测度性质的充分条件。
• 将有限组合数学中的技术——特别是分布式算法与Lovász局部引理——转移到描述性组合数学框架中。
• 为有界度且限制围长的Borel图推导出可测色数的新的定量界。
• 在强于通常的条件下，证明对称Lovász局部引理的可测与Baire可测版本。
• 统一算法与描述集论方法，以解决无限组合数学中的染色问题。

提出的方法

• 将分布式计算的LOCAL模型适配于Borel图，证明确定性分布式算法产生Borel染色，而随机化算法则在Borel图上产生可测与Baire可测染色。
• 引入Borel约化框架，通过在有限部分解集合上的概率构造，模拟随机化分布式算法在可测与Baire可测设置下的行为。
• 通过施加更强条件对Lovász局部引理进行精细化分析：$\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$，确保可测与Baire可测解的存在性。
• 通过具有非空集或满测度定义域的部分解的递归构造，确保全局解继承正则性（可测性或Baire可测性）。
• 利用Borel约化与概率平均化论证，将有限组合结果（如CSP中的结果）提升至具有正则性的无限结构。
• 利用描述集论中的结果——如稠密集与Borel决定性——确保最终染色函数是可测或Baire可测的。

实验结果

研究问题

• RQ1 有限图上高效的分布式算法能否用于构造有界度无限Borel图上的良好行为染色（Borel、可测或Baire可测）？
• RQ2 在标准Borel空间背景下，可测或Baire可测版本的对称Lovász局部引理在何种条件下成立？
• RQ3 有界度且无短环的Borel图的可测色数的紧致界是什么？
• RQ4 在度数与围长约束下，可测色数与组合色数之间的差距能多接近？
• RQ5 对于围长较大的图，组合色数与可测色数之间的差距能否被消除？Lovász局部引理在此过程中扮演何种角色？

主要发现

• 对每个 $\Delta \geq \Delta_0$，若 $c \leq \sqrt{\Delta + 1/4} - 5/2$，则最大度 $\leq \Delta$ 的Borel图的可测色数等于其组合色数，只要后者不超过 $\Delta - c$。
• 由文中一个命题可知，界 $c \leq \sqrt{\Delta + 1/4} - 5/2$ 距最优值仅差2。
• 对于无3-圈的图，当 $\Delta$ 足够大时，$\mu$-可测色数至多为 $(4 + \varepsilon)\Delta / \log \Delta$。
• 对于无4-圈的图，当 $\Delta$ 足够大时，$\mu$-可测色数至多为 $(1 + \varepsilon)\Delta / \log \Delta$，与已知下界仅差常数因子。
• 无环Borel图的可测色数至少为 $(1/2 + o(1))\Delta / \log \Delta$，表明本文所得界在常数因子意义下是最优的。
• 在条件 $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$ 下，对称Lovász局部引理可被适配至可测与Baire可测设置，该条件强于经典条件 $\mathsf{p}(\mathsf{d}+1) \leq e^{-1}$，但仍足以支持许多应用。