[論文レビュー] Bipartite Ramsey numbers of large cycles

Shaoqiang Liu, Yuejian Peng|arXiv (Cornell University)|Aug 30, 2018

Limits and Structures in Graph Theory参考文献 18被引用数 3

ひとこと要約

本稿は、さまざまな彩色条件の下で、大きな偶数サイクルの二部グラフラムゼー数について、漸近的にタイトな境界を確立する。$ r \geq 2 $ に対して、二部グラフラムゼー数 $ br(C_{2\lfloor \alpha_1 n \rfloor}, \dots, C_{2\lfloor \alpha_r n \rfloor}) $ は漸近的に $ (\sum \alpha_i + o(1))n $ であることを証明する。彩色の条件下で単色サイクルが存在することを保証する明示的な次数条件を、極値グラフ理論と正則性に基づく議論を用いて得る。

ABSTRACT

For an integer $r\geq 2$ and bipartite graphs $H_i$, where $1\leq i\leq r$, the bipartite Ramsey number $br(H_1,H_2,\ldots,H_r)$ is the minimum integer $N$ such that any $r$-edge coloring of the complete bipartite graph $K_{N,N}$ contains a monochromatic subgraph isomorphic to $H_i$ in color $i$ for some $i$, $1\leq i\leq r$. We show that for $α_1,α_2>0$, $br(C_{2\lfloor α_1 n floor},C_{2\lfloor α_2 n floor})=(α_1+α_2+o(1))n$. We also show that if $r\geq 3, α_1,α_2>0, α_{j+2}\geq [(j+2)!-1]\sum^{j+1}_{i=1} α_i$ for $j=1,2,\ldots,r-2$, then $br(C_{2\lfloor α_1 n floor},C_{2\lfloor α_2 n floor},\ldots,C_{2\lfloor α_r n floor})=(\sum^r_{j=1} α_j+o(1))n.$ For $ξ>0$ and sufficiently large $n$, let $G$ be a bipartite graph with bipartition $\{V_1,V_2\}$, $|V_1|=|V_2|=N$, where $N=(2+8ξ)n$. We prove that if $δ(G)>(\frac{7}{8}+9ξ)N$, then any $2$-edge coloring of $G$ contains a monochromatic copy of $C_{2n}$.

研究の動機と目的

• 複数の大きな偶数サイクルの二部グラフラムゼー数の漸近的挙動を、多色辺彩色の下で特定すること。
• $ n \to \infty $ の下で、$ br(C_{2\lfloor \alpha_1 n \rfloor}, \dots, C_{2\lfloor \alpha_r n \rfloor}) $ のタイトな上界および下界を確立すること。
• 2色辺彩色の下で単色偶数サイクルを保証する、バランスの取れた二部グラフにおける最小次数閾値を同定すること。
• 偶数サイクルに関するラムゼー＝トゥーラン型問題の文脈で、$ c = \frac{7}{8} $ の境界の鋭さを調査すること。
• 構造的および正則性に基づく議論を用いて、密度の高い二部グラフにおける単色サイクルの包含の極値閾値を解明すること。

提案手法

• 最小次数が高く、辺彩色された二部グラフを分析するため、正則性補題およびスパース正則性技術を用いる。
• 頂点集合を構造的部品（例：$ C, S, T, U $）に分割する分解議論を適用し、近傍拡張を制御する。
• 選択された頂点集合に誘導される部分グラフにおける連結マッチング構成を用いて、大きなサイクルを埋め込む。
• サイクルの包含を保証するため、次数条件 $ \delta(G) > (\frac{7}{8} + 9\xi)N $ を用いる。
• 下界を示すために極値構成（例：$ \widetilde{H} $）を用い、必要な最小次数 $ c $ に対して $ c \geq \frac{3}{4} $ を示す。
• 多色ラムゼー閾値が成立するように保証するための、サイクルサイズに関する再帰的不等式 $ \alpha_{j+2} \geq [(j+2)! - 1] \sum_{i=1}^{j+1} \alpha_i $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ の下で、二部グラフラムゼー数 $ br(C_{2\lfloor \alpha_1 n \rfloor}, C_{2\lfloor \alpha_2 n \rfloor}) $ の漸近的値は何か？
• RQ2 $ r \geq 3 $ の場合、サイクルサイズが $ n $ に対して線形に増加するとき、大きな偶数サイクルの二部グラフラムゼー数はどのようにスケーリングするか？
• RQ3 任意の $ 2 $-辺彩色二部グラフ $ G $ が $ \delta(G) \geq cN $ を満たすとき、単色 $ C_{2n} $ を含む最小の次数閾値 $ c $ は何か？
• RQ4 $ c = \frac{7}{8} $ の境界を改善できるか、それとも $ c = \frac{3}{4} $ が単色サイクル包含の真の閾値か？
• RQ5 辺彩色および次数分布に関するどのような構造的条件下で、二部グラフに大きな単色サイクルが出現するか？

主な発見

• $ \alpha_1, \alpha_2 > 0 $ に対して、$ br(C_{2\lfloor \alpha_1 n \rfloor}, C_{2\lfloor \alpha_2 n \rfloor}) = (\alpha_1 + \alpha_2 + o(1))n $ であり、漸近的成長がタイトであることが確立された。
• $ r \geq 3 $ に対して、条件 $ \alpha_{j+2} \geq [(j+2)! - 1] \sum_{i=1}^{j+1} \alpha_i $ の下で、$ br(C_{2\lfloor \alpha_1 n \rfloor}, \dots, C_{2\lfloor \alpha_r n \rfloor}) = (\sum_{j=1}^r \alpha_j + o(1))n $ が成り立つ。
• $ |V_1| = |V_2| = N = (2 + 8\xi)n $ で、$ \delta(G) > (\frac{7}{8} + 9\xi)N $ を満たすバランスの取れた二部グラフ $ G $ に対して、$ G $ の任意の $ 2 $-辺彩色は単色 $ C_{2n} $ を含む。
• $ \delta(\widetilde{H}) = \frac{3}{4}N $ かつ単色 $ C_{4n} $ を含まない例 $ \widetilde{H} $ を用いることで、$ c \geq \frac{3}{4} $ が必要であることが示され、$ c = \frac{7}{8} $ の境界がこの閾値までタイトであることが判明した。
• 構造的サブグラフ（例：$ G_B[H_1, H_2] $）における連結マッチングを用いて大きなサイクルを埋め込み、次数条件が接続性および拡張性を保証する。
• 証明は、十分な接続性を有する部分グラフを同定するため、正則性および次数分布の議論を繰り返し適用することに依存している。