[论文解读] Explicit tough Ramsey graphs

Lê Anh Vinh, Dang Phuong Dung|ArXiv.org|Jul 17, 2008

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

一句话总结

本文利用有限域上的有限欧几里得与非欧几里得平面，构造了显式的无三角形图，证明了对无穷多个形如 q = 12k+5 的素数幂，这些图是 t-韧性的但非泛圈图，从而为恰瓦托的韧度猜想提供了新的反例。这些图还给出了拉姆齐数 R(3,k) 的构造下界 R(3,k) ≥ Ω(k^{4/3})。

ABSTRACT

A graph G is t-tough if any induced subgraph of it with x > 1 connected components is obtained from G by deleting at least tx vertices. Chvatal conjectured that there exists an absolute constant t_0 so that every t_0-tough graph is pancyclic. This conjecture was disproved by Bauer, van den Heuvel and Schmeichel by constructing a t_0-tough triangle-free graph for every real t_0. For each finite field F_q with q odd, we consider graphs associated to the finite Euclidean plane and the finite upper half plane over F_q. These graphs have received serious attention as they have been shown to be Ramanujan (or asymptotically Ramanujan) for large q. We will show that for infinitely many q, these graphs provide further counterexamples to Chvatal's conjecture. They also provide a good constructive lower bound for the Ramsey number R(3,k).

研究动机与目标

• 通过构造显式反例，推翻恰瓦托猜想，即每个 t₀-韧性的图都是泛圈图。
• 利用有限域构造，提供显式、组合定义的无三角形且高度韧性的图。
• 利用基于有限几何的图的色数与独立数，建立拉姆齐数 R(3,k) 的构造下界。
• 分析有限域上四次距离与非欧几里得图的韧度、围长、直径与色数。
• 通过有限域代数簇，探索无三角形正则图的色数已知界之极限。

提出的方法

• 在 F_q² 上利用四次距离 Q(X,Y) = (y₁−x₁)² + (y₂−x₂)² 构造有限欧几里得图 D_q(a)，当四次距离等于固定值 a ∈ F_q 时存在边。
• 在有限庞加莱上半平面 H_q = {x + y√σ | x,y ∈ F_q, y ≠ 0} 上构造有限非欧几里得图 V_q(σ,a)，当庞加莱距离 d(z,w) = a 时存在边。
• 利用有限域上的代数几何，证明当 q = 12k+5 时，图 V_q(3,6) 为无三角形且具有高色数。
• 通过特征和估计与指数和技巧，对独立数施加界，从而导出色数的下界。
• 证明图 V_q(3,6) 的色数超过 (0.5 + o(1))n_q^{1/4}，其中 n_q = q² − q。
• 通过构造图的色数与独立数之间的关系，推导拉姆齐数 R(3,k) 的下界。

实验结果

研究问题

• RQ1 是否存在显式、无三角形、t-韧性的图，其 t 可任意大但非泛圈图，从而反驳恰瓦托的韧度猜想？
• RQ2 F_q 上的有限几何能否提供具有强下界 R(3,k) 的显式拉姆齐图构造？
• RQ3 当 q = 12k+5 时，有限非欧几里得图 V_q(σ,a) 在 F_q 上的色数是多少？
• RQ4 当 q → ∞ 时，四次距离与非欧几里得图的独立数与色数如何渐近变化？
• RQ5 高维有限域代数簇能否为无三角形正则图的色数提供更优界？

主要发现

• 对无穷多个 q = 12k+5，有限非欧几里得图 V_q(3,6) 为无三角形且对任意大的 t 均为 t-韧性，从而推翻恰瓦托猜想。
• 图 V_q(3,6) 的色数满足 χ(V_q(3,6)) ≥ (0.5 + o(1))n_q^{1/4}，其中 n_q = q² − q。
• 图 V_q(3,6) 的独立数至多为 (2 + o(1))n_q^{3/4}，从而导出色数的下界。
• 该构造给出了拉姆齐数 R(3,k) 的构造下界 R(3,k) ≥ Ω(k^{4/3})。
• 有限欧几里得图 D_q(a) 为 (q+1)-正则图，且无三角形，其色数有界于 O(q / log₂q)。
• 图 D_q(a) 与 V_q(σ,a) 在大 q 时为拉马努金图或渐近拉马努金图，确保强谱性质。