[论文解读] Distance graphs with large chromatic number and arbitrary girth

Andrey Kupavskii|arXiv (Cornell University)|Jun 17, 2013

Limits and Structures in Graph Theory参考文献 7被引用 15

一句话总结

本文在 $\mathbb{R}^n$ 中构建了具有任意大围长和染色数以 $(1+\delta)^n$ 速度增长的图，其中 $\delta>0$ 为依赖于围长的常数。通过使用精心调整边概率的随机方法，并借助 Lovász 局部引理进行依赖性分析，作者证明了对于任意 $k\geq3$，在 $\mathbb{R}^n$ 中存在围长大于等于 $k$ 且染色数随 $n$ 指数增长的距离图，从而解决了长期存在的关于几何距离图中围长与染色数之间权衡关系的理解空白。

ABSTRACT

In this article we consider a problem related to two famous combinatorial topics. One of them concerns the chromatic number of the space. The other deals with graphs having big girth (the length of the shortest cycle) and large chromatic number. Namely, we prove that for any $l\in \mathbb{N}$ there exists a sequence of distance graphs in $\mathbb{R}^n$ with girth at least $l$ and the chromatic number equal to $(c+\bar{o}(1))^n$ with $c>1$.

研究动机与目标

• 为填补在围长约束下距离图最大可能染色数的理解空白。
• 确立对于任意 $k\geq3$，在 $\mathbb{R}^n$ 中存在围长大于等于 $k$ 且染色数随 $n$ 指数增长的距离图，即存在 $\delta>0$ 使得 $\xi_k \geq 1+\delta$。
• 将先前在团或奇圈约束下对染色数界限的研究扩展至更强的条件：排除所有长度不超过 $k$ 的圈，从而证明 $\xi_k$ 的非平凡指数下界。

提出的方法

• 通过在 $\mathbb{R}^n$ 中随机选取顶点与边，基于精心选择的边概率 $p = \gamma^{4n}$（其中 $\gamma < 1$）进行距离图的随机构造。
• 应用 Lovász 局部引理，通过控制小圈或稠密子图等坏事件之间的依赖关系，证明存在不含小圈（即围长大于等于 $k$）且染色数高的子图。
• 定义坏事件 $X_i$（存在一个 $k$-团）和 $Y^s_i$（存在长度为 $s \leq k$ 的圈），并使用对称版本的 Lovász 局部引理，通过精心选择参数 $\delta^x_i$ 和 $\delta^y_i(s)$，确保所有坏事件均被避免的概率为正。
• 通过限制共享边的子图数量，对每个 $X_i$ 和 $Y^s_i$ 的依赖事件数量进行估计，利用基于 $n$ 和 $k$ 的指数界，推导出满足引理不等式的 $\gamma$ 的条件。
• 通过涉及 $\gamma^{4n(s-1-f)}$ 与 $2^{4n(s-2)}$ 的不等式，推导出 $\gamma$ 的充分条件，确保依赖事件概率之和保持有界。
• 选择参数 $\epsilon, f, \delta, \gamma$，使得 $\frac{2-\delta}{4-\epsilon} < \gamma < 2^{-\frac{k-2}{k-1-f}}$，从而确保对所有 $k \geq 3$，Lovász 局部引理的条件均被满足。

实验结果

研究问题

• RQ1 是否可以在 $\mathbb{R}^n$ 中构造出具有任意大围长且染色数随 $n$ 指数增长的距离图？
• RQ2 当禁止所有长度不超过 $k$ 的圈时，$\mathbb{R}^n$ 中距离图的染色数最大可能的指数增长速率是多少？
• RQ3 对于任意固定的 $k \geq 3$，是否可能在排除所有长度 $\leq k$ 的圈的约束下，实现距离图染色数的正指数下界？

主要发现

• 对于任意固定的 $k \geq 3$，存在常数 $\delta = \delta(k) > 0$，使得围长大于等于 $k$ 的 $\mathbb{R}^n$ 中距离图的染色数至少以 $(1+\delta)^n$ 的速度增长。
• 本文建立了 $\xi_k = \liminf_{n\to\infty} \max_{G \in \mathcal{G}(n,k)} \chi(G)^{1/n}$ 的非平凡指数下界 $\xi_k \geq 1+\delta$，解决了以往研究中对 $k \geq 4$ 时此类下界未知的问题。
• 该构造采用随机方法，边概率为 $p = \gamma^{4n}$，并应用 Lovász 局部引理以避免小圈和稠密子图，从而保证高染色数。
• 证明表明，当 $n$ 足够大时，存在一个 $\mathbb{R}^n$ 中的图，其围长大于等于 $k$ 且染色数至少为 $(1+\delta)^n$，其中 $\delta > 0$ 仅依赖于 $k$。
• 该方法通过限制重叠子图的数量并利用边概率的指数衰减，成功处理了与圈和团相关的事件之间的依赖性。
• 结果证实，即使在强围长约束下，距离图的染色数仍可呈指数增长，将早期关于一般图中染色数与围长关系的研究成果，推广到了距离图的几何设定中。