[论文解读] Monochromatic connected matchings in 2-edge-colored multipartite graphs

József Balogh, Alexandr Kostochka+2 more|arXiv (Cornell University)|May 12, 2019

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

一句话总结

本文為2-邊染色的完全多部圖中的單色連通匹配確立了精確的Ramsey型界，證明在某些部分集大小條件下，必然存在大小為 $ n $ 的單色連通匹配。此外，本文還提出了穩定性定理，顯示若不存在如此大的匹配，則邊染色必具有高度結構化，將先前的漸近結果推廣至精確閾值。

ABSTRACT

A matching $M$ in a graph $G$ is connected if all the edges of $M$ are in the same component of $G$. Following Łuczak,there have been many results using the existence of large connected matchings in cluster graphs with respect to regular partitions of large graphs to show the existence of long paths and other structures in these graphs. We prove exact Ramsey-type bounds on the sizes of monochromatic connected matchings in $2$-edge-colored multipartite graphs. In addition, we prove a stability theorem for such matchings.

研究动机与目标

• 確定在任意2-邊染色下，完全 $ s $-部圖 $ K_{n_1, _2, _s} $ 中存在大小為 $ n $ 的單色連通匹配的精確條件。
• 推廣並強化先前針對稠密多部圖中單色連通匹配的漸近結果。
• 建立穩定性定理，以描述大單色連通匹配必然存在，或邊染色必須高度結構化的條件。
• 為2-邊染色的完全多部圖中長路徑與環的精確Ramsey閾值提供結果，特別是針對 $ K_{n,n,n} $。

提出的方法

• 使用基於正則性方法與受 Łuczak 對聚類圖研究啟發的連通匹配論證。
• 應用Szemerédi正則性引理，並分析聚類圖中的連通匹配，以推導精確界。
• 引入穩定性框架：若不存在大單色連通匹配，則染色必須具有結構約束。
• 構造一個 $(35\gamma, 1, 2)$-壞分區以分析極端情況，並在大小假設下導出矛盾。
• 使用匹配分解與邊交換技術，修改匹配以滿足結構約束。
• 結合極端圖論與Ramsey理論推理，證明精確閾值。

实验结果

研究问题

• RQ1 在完全 $ s $-部圖中，部分集的最小大小為何時，可保證在任何2-邊染色下均存在大小為 $ n $ 的單色連通匹配？
• RQ2 在2-邊染色的完全多部圖中，邊染色的哪些結構條件可避免出現大單色連通匹配？
• RQ3 在 $ K_{n,n,n} $ 中，單色連通匹配的精確界如何與長路徑與環的Ramsey數相關？
• RQ4 能否建立穩定性定理，以描述避免大單色連通匹配的極端染色？

主要发现

• 本文確立：對於 $ K_{n_1, _2, _s} $ 且滿足 $ n_1 \geq n_2 \geq \cdots \geq n_s $ 條件，若 $ N = \sum n_i \geq 3n - 1 $ 且 $ N - n_1 \geq 2n - 1 $，則必然存在大小為 $ n $ 的單色連通匹配，且這些界為緊確。
• 證明穩定性定理：若不存在大小為 $ (1+\gamma)n $ 的單色連通匹配，則染色必高度結構化，且存在一個 $ (35\gamma, 1, 2) $-壞分區。
• 作為推論，確立了精確界 $ K_{n,n,n} \mapsto (P_{2n+1}, P_{2n+1}) $，從而驗證了Gyárfás、Ruszinkó、Sárközy與Szemerédi的猜想。
• 結果將先前的漸近界推廣至精確閾值，解決了2-邊染色完全多部圖中路徑與環的Ramsey理論中的開放問題。
• 本文透過分區與匹配修改技術，對避免大單色連通匹配的極端染色提供了更細緻的結構特徵描述。