[論文レビュー] 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色に塗り分けられた完全多部グラフにおける単色連結マッチングの正確なラマージュ型の境界を確立し、部品集合のサイズに特定の条件が満たされると、サイズ $ 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.

研究の動機と目的

• 完全 $ s $-部グラフ $ K_{n_1, _2, _s} $ の任意の2辺彩色に対して、サイズ $ n $ の単色連結マッチングが存在するための正確な条件を同定すること。
• 密度の高い多部グラフにおける単色連結マッチングに関する従来の漸近的結果の一般化と鋭化。
• 大きな単色連結マッチングが存在するか、あるいは辺の彩色が非常に構造的であるかを特徴づける安定性定理の確立。
• 特に $ K_{n,n,n} $ に対して、長さの長いパスおよびサイクルの正確なラマージュ型閾値を、2辺彩色完全多部グラフにおいて導出すること。

提案手法

• クラスターグラフに関する Łuczak の研究にインspされた、正則性に基づく手法と連結マッチングの議論の使用。
• Szemerédi の正則性補題の適用と、クラスターグラフにおける連結マッチングの分析を通じて、正確な境界を導出。
• 安定性フレームワークの導入：大きな単色連結マッチングが存在しない場合、彩色は構造的に制約を受けるべきである。
• 極値ケースを分析し、サイズの仮定の下で矛盾を導くために、$(35\gamma, 1, 2)$-悪い分割の構成。
• マッチングの分解とエッジスイッチング技術の使用により、マッチングを変更し、構造的制約を満たすように調整。
• 極値グラフ理論とラマージュ的推論を組み合わせ、正確な閾値を証明。

実験結果

リサーチクエスチョン

• RQ1 完全 $ s $-部グラフの部品集合の正確な最小サイズは何か？ これにより、任意の2辺彩色に対してサイズ $ n $ の単色連結マッチングが保証される。
• RQ2 2辺彩色完全多部グラフの辺彩色がどのような構造的条件下に置かれると、大きな単色連結マッチングを回避できるか？
• RQ3 $ K_{n,n,n} $ における単色連結マッチングの正確な境界は、長さの長いパスおよびサイクルのラマージュ数とどのように関係するか？
• RQ4 大きな単色連結マッチングを回避する極値的な彩色を特徴づける安定性定理を確立できるか？

主な発見

• 本稿は、$ n_1 \geq n_2 \geq \cdots \geq n_s $ を満たす $ K_{n_1, _2, _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辺彩色完全多部グラフにおけるパスおよびサイクルのラマージュ理論における未解決問題を解決した。
• 大きな単色連結マッチングを回避する極値的な彩色の構造的特徴づけを、分割とマッチングの修正技術を用いて洗練された形で提供した。