[论文解读] Essentially tight bounds for rainbow cycles in proper edge-colourings

Noga Alon, Matija Bucić+3 more|arXiv (Cornell University)|Sep 8, 2023

Limits and Structures in Graph TheoryMathematics被引用 3

一句话总结

该论文为不含彩虹圈的 $n$ 个顶点的正常边染色图的最大平均度建立了几乎紧致的界限，证明了 $O(\log n \cdot \log \log n)$ 的平均度足以保证存在此类圈。该结果通过将上界紧缩至已知下界的 $\log\log n$ 因子内，解决了长期存在的极值问题，并将该问题与非交换群中的加法组合学联系起来。

ABSTRACT

An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstraëte from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.

研究动机与目标

• 确定在正常边染色图中，保证存在彩虹圈的平均度的精确渐近阈值。
• 弥合已知最佳下界 $\Omega(\log n)$ 与此前最佳上界 $O(\log^2 n)$ 之间的差距。
• 证明上界中 $\log\log n$ 因子本质上是必要的，从而在低阶项范围内解决该极值问题。
• 揭示并利用彩虹圈问题与非交换群中加法组合学之间的联系，特别是对称群中的戴文波特常数与对换集合。

提出的方法

• 作者对不含彩虹圈的正常边染色图进行了新颖的结构分析，重点关注子图的颜色分布与连通性特性。
• 他们应用了概率与极值技术，包括子采样论证和稳健的次线性膨胀器性质，以控制颜色丰富子结构的增长。
• 关键技巧在于将颜色调色板划分为两部分，并分析由此诱导的子图的连通性，从而获得对平均度的精细界。
• 该方法利用了加法组合学中的已知结果，并通过从图论问题的约化，将其推广至非交换群。
• 证明结合了图论极值论证与加法数论工具，特别是对无关集与正负戴文波特常数的研究。
• 他们将彩虹圈问题约化为对称群 $\mathcal{S}_k$ 上的问题，分析了能以某种顺序相乘得到单位元的对换集合的最小大小。

实验结果

研究问题

• RQ1 在避免彩虹圈的前提下，$n$ 个顶点的正常边染色图的最大平均度是多少？
• RQ2 上界 $O(\log^2 n)$ 中的 $\log\log n$ 因子能否被移除，还是其渐近必要？
• RQ3 彩虹圈的极值界与非交换群中加法戴文波特常数有何关联？
• RQ4 在 $\mathcal{S}_k$ 中，能相乘得到单位元的对换集合的最小大小是多少？
• RQ5 一个稳健的次线性膨胀器的颜色调色板能否被划分为两部分，使得两部分均诱导出连通子图？

主要发现

• 该论文证明，对于任意绝对常数 $C > 0$，任何 $n$ 个顶点的正常边染色图，若其平均度至少为 $C \cdot \log n \cdot \log \log n$，则必然包含一个彩虹圈。
• 该界本质上是紧致的，因为已知的最佳下界为 $\Omega(\log n)$，且 $\log\log n$ 因子已被证明在常数因子范围内是必要的。
• 该结果通过将最佳已知下界与上界之间的差距缩小至 $\log\log n$ 因子内，解决了 Keevash、Mubayi、Sudakov 与 Verstra€«te 提出的极值问题。
• 作者建立了彩虹圈问题与非交换群中正负戴文波特常数之间的联系，表明对任意大小为 $n$ 的群，其加法维数满足 $d(n) \leq O(\log n \cdot \log \log n)$。
• 对于对称群 $\mathcal{S}_k$，能相乘得到单位元的对换集合的最小大小 $t(k)$ 满足 $k(\log k)^{1-o(1)} \leq t(k) \leq O(k(\log k)^2)$。
• 该论文表明，先前界中的 $\log\log n$ 项并非方法的副产品，而很可能是必要的，并提供了证据表明该界在低阶项范围内是紧致的。