[论文解读] On the Anti-Ramsey Threshold for Non-Balanced Graphs

Pedro Araújo, Táısa Martins+4 more|arXiv (Cornell University)|Jan 13, 2022

Limits and Structures in Graph Theory被引用 1

一句话总结

本文提出了一种新框架，通过将2-标记图进行黏合构造非平衡图类，实现了对反拉姆齐阈值严格低于经典 $ n^{-1/m_2(H)} $ 边界的图的识别。研究表明，对于满足 $ 1 < m_2(H) < 2 $ 的图 $ H $，$ G(n,p) \to F \oplus H $ 的阈值为 $ o(n^{-1/m_2(F\oplus H)}) $，证明了反拉姆齐阈值并非普遍受 $ m_2 $-稠密度支配，尤其在书图等非平衡图构造中更为显著。

ABSTRACT

For graphs G,H, we write Grb⟶H if for every proper edge-coloring of G there is a rainbow copy of H, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for G(n,p)rb⟶H is at most n−1/m2(H). Previous results have matched the lower bound for this anti-Ramsey threshold for cycles and complete graphs with at least 5 vertices. Kohayakawa, Konstadinidis and the last author also presented an infinite family of graphs H for which the anti-Ramsey threshold is asymptotically smaller than n−1/m2(H). In this paper, we devise a framework that provides a richer family of such graphs.

研究动机与目标

• 填补对非团图、非环图的反拉姆齐阈值理解的空白，超越 $ m_2 $-稠密度界限。
• 识别出更广泛的图类，其反拉姆齐阈值渐近小于 $ n^{-1/m_2(H)} $，挑战 $ m_2 $-稠密度猜想的普适性。
• 通过图黏合与2-标记图，建立一个系统性构造此类图的一般框架。
• 证明书图 $ B_t $ 及其与满足 $ m_2(H) \in (1,2) $ 的 $ H $ 的黏合图表现出亚-$ m_2 $-阈值行为。
• 通过结构与概率方法，将先前关于 $ m_2 $-稠密度阈值的结果扩展至非平衡、非对称图。

提出的方法

• 定义2-标记图的图黏合运算 $ \oplus $，其中标记为1和2的顶点被识别，形成 $ F \oplus H $。
• 引入参数 $ \beta(H,S) = \frac{1}{e(S)} \left( v(S) - 2 + \frac{1}{m_2(H)} \right) $，该参数控制反拉姆齐性质的阈值密度。
• 利用正规化方法与嵌入引理（如定理4.1）确保图的伪随机性及随机图中存在横截复制。
• 应用概率计数与集中度论证，界定随机图 $ G(n,p) $ 避免出现 $ F \oplus H $ 的彩虹复制的概率。
• 构造一族图 $ S $，使得 $ S \to F $ 在反拉姆齐意义下成立，并利用多个 $ S $ 的副本以彩虹方式嵌入 $ F $。
• 采用颜色划分策略，为 $ F \oplus H $ 的每条边分配一个独立的颜色类，并利用极值图论确保扩展为完整彩虹复制。

实验结果

研究问题

• RQ1 当 $ m_2(H) < m_2(F) $ 且 $ F $ 为2-平衡图时，2-标记图 $ F $ 与另一图 $ H $ 黏合形成的图的反拉姆齐阈值是多少？
• RQ2 即使 $ m_2(H) \in (1,2) $，$ F \oplus H $ 的反拉姆齐阈值是否可能严格低于 $ n^{-1/m_2(F\oplus H)} $？
• RQ3 书图 $ B_t $ 及其与 $ H $ 的黏合图的反拉姆齐阈值是否低于 $ m_2 $-稠密度界限？
• RQ4 与平衡图相比，$ F \oplus H $ 的不平衡性如何影响其阈值行为？
• RQ5 能否构建一个通用框架，以生成无限多组图，使得其反拉姆齐阈值渐近小于基于 $ m_2 $ 的上界？

主要发现

• 本文证明，对于任意2-标记图 $ F $ 和 $ H $，满足 $ 1 < m_2(H) < m_2(F) $，且对任意2-平衡图 $ S $ 满足 $ S \to F $，$ G(n,p) \to F \oplus H $ 的阈值为 $ o(n^{-\beta(H,S)}) $，其中 $ \beta(H,S) = \frac{1}{e(S)} \left( v(S) - 2 + \frac{1}{m_2(H)} \right) $。
• 构造了一个无限图族 $ B_t \oplus H $，其中 $ m_2(H) \in (1,2) $，并证明 $ \text{prb}_{B_t \oplus H} = o(n^{-1/m_2(B_t \oplus H)}) $，从而证明了严格亚-$ m_2 $-阈值行为。
• 对于书图 $ B_t $，本文证明 $ B_{3t-2} \to B_t $ 在反拉姆齐意义下成立，这对满足定理1.1的假设至关重要。
• 对于 $ B_t \oplus H $，阈值 $ \beta(H, B_{3t-2}) $ 满足 $ \beta(H, B_{3t-2}) > 1/2 $，而 $ 1/m_2(B_t \oplus H) \leq 1/2 $，从而证明实际阈值渐近小于基于 $ m_2 $ 的上界。
• 通过概率与极值技术，作者表明当 $ p \geq C n^{-\beta(H,S)} $ 时，$ G(n,p) \to F \oplus H $ 的概率趋于1，其中 $ C $ 仅依赖于 $ \gamma $，从而确认了阈值行为。
• 该框架成功推广了先前关于环与团的结果，表明反拉姆齐阈值并非普遍由 $ m_2 $-稠密度决定，尤其在非平衡图构造中更为显著。