[論文レビュー] Trees and $n$-Good Hypergraphs

Mark Budden, Andrew Penland|arXiv (Cornell University)|Oct 16, 2017

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

ひとこと要約

本稿は、$n$-良いグラフの概念を$r$-一様超グラフへ拡張し、特に$3$-一様木とサイクルに焦点を当てる。Ramsey数の境界を確立し、無限に多くの$3$-一様木が$n$-良いであることを証明する。特に$n$が奇数の場合、または特定の偶数の場合に該当するが、$C_4^{(3)}$のような一部のサイクルは、特定の$n$に対して$n$-良いでないことが示される。主な貢献は、BurrのRamsey下界を超グラフへ一般化し、$3$-一様木の$n$-良い性質を特徴づけることにある。

ABSTRACT

Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.

研究の動機と目的

• 単純グラフからの$n$-良いグラフの概念を$r$-一様超グラフへ一般化すること。
• BurrのRamsey下界を$r$-一様超グラフへ拡張し、それに応じて$n$-良い超グラフを定義すること。
• $r$-一様木が$n$-良いであるかどうかを調査すること、特に$3$-一様の場合に注目すること。
• $3$-一様木$H$について、Ramsey数$R(T, K_n^{(3)};3)$が最小の可能な値に達するような$n$を特定すること。

提案手法

• $n$-良いグラフの定義を、弱彩色数と最小色クラスサイズを用いて$r$-一様超グラフへ適応する。
• 包含除算原理を適用し、$3$-一様超グラフのRamsey数の下界を導出する。
• $\mathbb{Z}/p\mathbb{Z}$上の有限体構成を用いて、赤-青彩色を$K_p^{(3)}$に構成し、赤の$C_4^{(3)}$と青の$K_n^{(3)}$を回避する。
• Berge路とゆるいサイクルを構造的道具として用い、$3$-一様超グラフにおける連結性とRamsey性を分析する。
• $n$が偶数の場合、$R(H, K_n^{(3)};3) \leq (m-1)(n/2 - 1) + 2$ および$n$が奇数の場合、$R(H, K_n^{(3)};3) \leq (m-1)((n+1)/2 - 1) + 1$ が$n$-良い性質の基準として成立することを証明する。
• 群論的手法を用いて、素数を法とする立方根を分析し、極値彩色を構成する。

実験結果

リサーチクエスチョン

• RQ1 $r$-一様木が超グラフRamsey設定において$n$-良いであるか、特に$r=3$の場合に注目する。
• RQ2 $n$のどの値に対して$3$-一様木が$n$-良いであるか、特に$n$が奇数の場合や特定の偶数の場合に注目する。
• RQ3 $3$-一様超グラフ$H$について、$R(H, K_n^{(3)};3)$がグラフの場合と同様の公式によって下から抑えられるか。
• RQ4 すべての$3$-一様木が$n$-良いであるか、それとも特定の$n$に対して反例があるか。
• RQ5 $C_4^{(3)}$のような$3$-一様サイクルが、どのような条件下で$n$-良いであるか。

主な発見

• 無限に多くの$3$-一様木が$n$-良いであり、特に$n$が奇数の場合、または特定の偶数の場合に該当する。
• $n$が奇数の場合、$R(H, K_n^{(3)};3) \leq (m-1)((n+1)/2 - 1) + 1$ が$H$が$n$-良いであるための十分条件である。
• $n$が偶数の場合、$R(H, K_n^{(3)};3) \leq (m-1)(n/2 - 1) + 2$ が$H$が$n$-良いであるための十分条件である。
• $3$-一様サイクル$C_4^{(3)}$は、$\mathbb{Z}/13\mathbb{Z}$上での構成により$5$-良いでないことが示された。
• $3j+1$が素数であるような偶数$j$について、$R(C_4^{(3)}, K_{2j+1}^{(3)};3) > 3j+1$ が成り立ち、$C_4^{(3)}$が$(2j+1)$-良いでないことを示唆する。
• 本稿は、$K_{3j+1}^{(3)}$に対して赤の$C_4^{(3)}$と青の$K_{2j+1}^{(3)}$を回避する赤-青彩色を構成し、Ramsey数における厳密な不等号を証明した。