[论文解读] Monochromatic cycle partitions in local edge colourings

David Conlon, Maya Stein|arXiv (Cornell University)|Mar 24, 2014

Limits and Structures in Graph Theory参考文献 11被引用 6

一句话总结

该论文证明，任意 $ r $-局部着色的完全图的顶点集可被划分为 $ O(r^2 \log r) $ 个不相交的单色圈，从而推广了关于单色圈划分的经典结果。对于 $ r=2 $，论文证明了一个更强的结果：顶点集可被划分为恰好两个不同颜色的单色圈，将 Bessy-Thomassé 定理推广至局部着色情形，采用概率和拉姆齐理论技术。

ABSTRACT

An edge colouring of a graph is said to be an $r$-local colouring if the edges incident to any vertex are coloured with at most $r$ colours. Generalising a result of Bessy and Thomassé, we prove that the vertex set of any $2$-locally coloured complete graph may be partitioned into two disjoint monochromatic cycles of different colours. Moreover, for any natural number $r$, we show that the vertex set of any $r$-locally coloured complete graph may be partitioned into $O(r^2 \log r)$ disjoint monochromatic cycles. This generalises a result of Erdős, Gyárfás and Pyber.

研究动机与目标

• 将 Erdős–Gyárfás–Pyber 关于单色圈划分的猜想推广至具有局部约束的边着色情形。
• 研究 $ r $-局部着色（即每个顶点的关联边最多涉及 $ r $ 种颜色）是否仍允许有界数量的单色圈覆盖。
• 将 $ r=2 $ 情形下的 Bessy–Thomassé 结果推广至局部着色，证明可将顶点集划分为两个不同颜色的单色圈。
• 探索局部着色、拉姆齐理论与圈划分之间的联系，包括对平均着色情形的推广。
• 改进此类划分中所需单色圈数量的界，力求获得更紧致的渐近估计。

提出的方法

• 基于 Pósa 引理的递归构造：若图的独立数为 $ \alpha $，则其可被划分为至多 $ \alpha $ 个不相交圈。
• 应用颜色迭代选择过程：在每一步中，从 $ B $ 中选取一个顶点，识别在 $ A $ 中具有大邻域的某一颜色，并通过精细调整公共邻域以保持其大小至少为 $ |A|/r^k $。
• 采用基于 Erdős–Lovász 的超图论证，表明要么少数颜色组合可覆盖所有顶点，要么全局仅出现有限多种颜色组合。
• 利用局部拉姆齐数的界以及 $ r $-局部着色的结构，控制划分中所需圈的数量。
• 改编 Erdős、Gyárfás 和 Pyber 的技术，将其修改以处理局部着色约束，而非全局 $ r $-着色。
• 对于 $ r=2 $，将 Bessy–Thomassé 结果作为黑箱使用，并通过组合颜色 1 中的圈与另一颜色中的圈，利用精心选择的内部边或顶点，构造出两圈覆盖。

实验结果

研究问题

• RQ1 任意 $ r $-局部着色的完全图的顶点集是否总能被划分为有界数量的单色圈？若可，该数量的最佳界在 $ r $ 上的表达式为何？
• RQ2 当 $ r=2 $ 时，在 $ 2 $-局部着色下，是否总能将顶点集划分为恰好两个不同颜色的单色圈？
• RQ3 与全局 $ r $-着色相比，局部着色约束如何影响单色圈覆盖的存在性与数量？
• RQ4 能否将界 $ O(r^2 \log r) $ 改进为 $ O(r) $ 或 $ O(r \log r) $，以匹配全局着色情形下的已知界？
• RQ5 平均着色（即每个顶点的关联边颜色数平均不超过 $ r $）的概念——即 $ r $-平均着色——是否也允许有界的单色圈划分？

主要发现

• 任意 $ r $-局部着色的完全图的顶点集可被划分为 $ O(r^2 \log r) $ 个不相交的单色圈。
• 当 $ r=2 $ 时，顶点集总能被划分为恰好两个不同颜色的单色圈，从而推广了 Bessy–Thomassé 定理。
• 证明依赖于对公共邻域的迭代细化，以及通过超图论证限制顶点间出现的不同颜色组合数量。
• 界 $ O(r^2 \log r) $ 通过结合 Pósa 引理、迭代颜色选择以及对局部着色结构的拉姆齐理论论证而得出。
• 当 $ r=2 $ 时，即使着色并非全局 2-着色，只要每个顶点的关联边颜色数不超过两种，该结果依然成立。
• 论文暗示 $ O(r) $ 个圈可能已足够，尽管该问题仍为开放问题，且当前界尚未达到紧致性。