[论文解读] Colourings, transversals and local sparsity

Ross J. Kang, Tom Kelly|arXiv (Cornell University)|Mar 11, 2020

Limits and Structures in Graph Theory参考文献 18被引用 5

一句话总结

该论文在局部稀疏条件下，通过半随机方法建立了顶点划分图中独立横截面存在性的新渐近界。结果表明，对于任意满足 μ(d) = o(d) 的函数，存在 λ(d) = d + o(d)，使得当每个顶点部分的大小至少为 λ，与其他部分的平均度数有界于 d，且最大颜色多重度有界于 μ 时，独立横截面必然存在。该结果统一并强化了此前关于稀疏约束下列表着色与独立横截面的研究。

ABSTRACT

Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi-random method to prove the following result. For any function $μ$ satisfying $μ(d)=o(d)$ as $d o\infty$, there is a function $λ$ satisfying $λ(d)=d+o(d)$ as $d o\infty$ such that the following holds. For any graph $H$ and any partition of its vertices into parts of size at least $λ$ such that (a) for each part the average over its vertices of degree to other parts is at most $d$, and (b) the maximum degree from a vertex to some other part is at most $μ$, there is guaranteed to be a transversal of the parts that forms an independent set of $H$. This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).

研究动机与目标

• 解决图论中长期存在的问题：在局部稀疏约束下，独立横截面的存在性。
• 通过引入基于局部平均度与颜色多重度的统一框架，统一并强化此前关于列表着色、对应着色与独立横截面的研究结果。
• 证明当与其他部分的平均度数有界于 d，且最大颜色多重度为 o(d) 时，保证存在独立横截面所需的顶点部分大小的增长量为 d + o(d)。
• 将半随机方法的应用范围扩展到更广泛的图着色与横截面问题，特别是在覆盖图与对应着色的背景下。

提出的方法

• 通过迭代选择顶点并移除冲突候选者，应用半随机方法构造独立横截面，利用概率界控制依赖关系。
• 分析中使用洛瓦兹局部引理（Lovász Local Lemma）证明存在一种‘浪费性’着色，可避免坏事件，从而确保剩余列表大小足够且平均度数有界。
• 推导关键不等式以限制顶点移除后的剩余平均度数，依赖于 μ(d) = o(d) 和 λ(d) = d + o(d) 的假设。
• 利用覆盖图与对应赋值的结构，建模列表着色与 DP-着色，将着色问题转化为横截面存在性问题。
• 使用概率估计控制‘坏事件’（如列表大小不足或剩余度数过高）的概率，确保成功概率为正。
• 证明过程分阶段进行：首先证明浪费性着色的存在性；其次分析剩余图，确认剩余着色满足所需的度数与大小条件。

实验结果

研究问题

• RQ1 当每个部分大小至少为 λ(d)，与其他部分的平均度数有界于 d，且最大颜色多重度为 μ(d) = o(d) 时，保证存在独立横截面的最小部分大小 λ(d) 是多少？
• RQ2 半随机方法能否用于在局部稀疏条件下建立独立横截面所需部分大小的更紧界？
• RQ3 该结果是否可推广至最大平均颜色多重度（而非最大颜色多重度），如 Loh 与 Sudakov 所猜想？
• RQ4 该结果如何统一或推广此前关于列表着色、对应着色与独立横截面的研究？
• RQ5 该方法能否进一步优化，使所需部分大小的渐近界优于 d + o(d)？

主要发现

• 论文证明：对于任意满足 μ(d) = o(d) 的函数，存在 λ(d) = d + o(d)，使得当每个部分大小至少为 λ(d)，与其他部分的平均度数不超过 d，且最大颜色多重度不超过 μ(d) 时，独立横截面必然存在。
• 该结果强化并统一了 Loh 与 Sudakov（2007）以及 Molloy 与 Thron（2012）的早期结果，二者均推广了 Reed 与 Sudakov（2002）的工作。
• 即使最大颜色多重度为 o(d) 而非仅为 1，渐近界 λ(d) = d + o(d) 仍足够，从而扩展了定理的适用范围。
• 该方法具有足够的鲁棒性，可进一步优化，如 Glock 与 Sudakov 的同期工作所示，他们以更优的界获得了类似结果。
• 该结果在渐近意义下解决了 Erdős、Gyárfás 与 Łuczak 的问题，表明 f(k) ≥ (1 + o(1))k²，与他们的上界一致。
• 论文猜想：若将最大颜色多重度替换为最大平均颜色多重度，该结果仍成立，暗示该框架具有更广泛的应用潜力。