[论文解读] A new type of Ramsey-Turan problems

Hao Li, Vladimir Nikiforov+1 more|arXiv (Cornell University)|Jan 13, 2010

Limits and Structures in Graph Theory被引用 5

一句话总结

本文引入了一类新的拉姆齐-图兰问题，聚焦于在最小度较高的2-边染色图中单色圈的存在性。证明了对于任意 ε > 0，当足够大阶数 n 的图 G 满足 δ(G) > 3n/4 且其边被任意2-染色时，所有 k ∈ [4, ⌊(1/8 − ε)n⌋] 的长度下均存在单色圈，从而在最小度条件下单色圈长度的最优界猜想上迈出了重要一步。

ABSTRACT

We introduce and study a new type of Ramsey-Turan problems, a typical example of which is the following one: let c>0 and G be a graph of sufficiently large order n with minimum degree >3n/4. If the edges of G are colored in blue or red, then for every 3

研究动机与目标

• 引入并研究一种新型拉姆齐-图兰问题，将经典极值图论扩展至在最小度约束下单色圈的存在性。
• 探究2-边染色图中是否存在高最小度会强制出现所有长度至某一阈值的单色圈。
• 证明了对猜想1的部分解，该猜想指出在 δ(G) > 3n/4 条件下，所有 k ∈ [4, ⌈n/2⌉] 的单色圈均存在。
• 分析避免单色奇圈的极值染色结构，揭示了大量非同构的构造。

提出的方法

• 基于假设：对某个 k ∈ [4, ⌊(1/8−ε)n⌋]，不存在单色 k-圈，推导出红色与蓝色子图的结构性质。
• 应用定理A（Bondy）与定理B（Bollobás），证明具有高最小度或边数的子图必包含长度至某一界限的所有圈。
• 运用定理C（Häggkvist）保证非二分图中在高最小度与高度连通性下存在奇圈。
• 应用定理D（Gould, Haxell, Scott）推导出：当图足够大时，具有高最小度的稠密图必包含所有长度超过某一值的偶圈与奇圈。
• 利用2-连通性与通过点不相交路径的圈拼接技巧，从较短圈构造更长圈，证明红色图中最长偶圈与奇圈长度均超过 n/8 − O(1)。
• 结合圈存在性定理与极值界，导出在主假设下产生矛盾，从而证明单色圈的存在性。

实验结果

研究问题

• RQ1 是否每个最小度超过 3n/4 且边被2-染色的图，必然包含所有长度 k ∈ [4, (1/8−ε)n] 的单色圈？
• RQ2 在最小度条件下，2-边染色图中能保证的单色圈最大长度是多少？
• RQ3 在 δ(G) > 3n/4 条件下，能否实现单色圈长度的猜想界 ⌈n/2⌉，还是存在结构障碍？
• RQ4 有多少个非同构的2-边染色方式，使得图满足 δ(G) = 3n/4 且不出现单色奇圈？这又对证明完整猜想的难度有何启示？

主要发现

• 对任意 ε > 0 及足够大的 n，任意满足 δ(G) > 3n/4 的图 G 的任意2-边染色中，均存在长度为 k 的单色圈，其中 k ∈ [4, ⌊(1/8−ε)n⌋]。
• 红色与蓝色子图均为非二分图，且边数均超过 n²/8，确保了丰富的圈结构。
• 红色子图中，最长偶圈与奇圈长度均超过 n/8 − O(1)，足以触发圈覆盖定理。
• 红色子图中存在长奇圈，结合高最小度，可确保所有足够长的偶圈与奇圈均存在。
• 证明依赖于最小度、圈存在性定理与通过点不相交路径的圈拼接技术之间的相互作用。
• 构造出一个完全4-部图（每部分大小为 p，n=4p）的2^{n²/8−O(n log n)} 个非同构染色方式，可避免出现单色奇圈，表明此类染色具有极强的极值丰富性。