[論文レビュー] A note on Ramsey numbers for Berge-G hyper graphs

Maria Axenovich, András Gyárfás|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Jul 26, 2018

Limits and Structures in Graph Theory参考文献 11被引用数 9

ひとこと要約

本稿は、三角形（$K_3$）および$K_4$に対して、超図形のラマヌジャン数と古典的グラフラマヌジャン数を結びつけることによって、Berge-$G$超図形のラマヌジャン数に対する新たな上界を確立する。$R_3(\text{Berge-}K_3,k) \leq 3k/4 + o(k)$ を証明し、$R_3(\text{Berge-}K_3,2) = 5$ などの正確な値を提示する。また、奇数$t \neq 3$に対して$R(\text{Berge-}K_3,2^t-1) = t+2$ を得て、小規模な場合の鋭い境界と正確な結果を提供する。

ABSTRACT

For a graph G=(V,E), a hypergraph H is called Berge-G if there is a bijection f from E(G) to E(H) such that for each e in E(G), e is a subset of f(e). The set of all Berge-G hypergraphs is denoted B(G). For integers k>1, r>1, and a graph G, let the Ramsey number R_r(B(G), k) be the smallest integer n such that no matter how the edges of a complete r-uniform n-vertex hypergraph are colored with k colors, there is a copy of a monochromatic Berge-G subhypergraph. Furthermore, let R(B(G),k) be the smallest integer n such that no matter how all subsets an n-element set are colored with k colors, there is a monochromatic copy of a Berge-G hypergraph. We give an upper bound for R_r(B(G),k) in terms of graph Ramsey numbers. In particular, we prove that when G becomes acyclic after removing some vertex, R_r(B(G),k)\le 4k|V(G)|+r-2, in contrast with classical multicolor Ramsey numbers. When G is a triangle or a K_4, we find sharper bounds and some exact results and determine some `small' Ramsey numbers: k/2 - o(k) < R_3(B(K_3)), k) < 3k/4+ o(k), For any odd integer t eq 3, R(B(K_3),2^t-1)=t+2, 2^{ck} < R_3(B(K_4),k) < e(1+o(1))(k-1)k!, R_3(B(K_3),2)=R_3(B(K_3),3)=5, R_3(B(K_3),4)=6, R_3(B(K_3),5)=7, R_3(B(K_3),6)=8, R_3(B(K_3,8)=9, R_3(B(K_4),2)=6.

研究の動機と目的

• 3-一様超図形におけるBerge-$K_3$およびBerge-$K_4$超図形のマルチカラー・ラマヌジャン数のタイトな上界および下界を確立すること。
• 小規模な$k$に対するラマヌジャン数の正確な値を特定すること。$k=2$から$8$までの$R_3(\text{Berge-}K_3,k)$および奇数$t \neq 3$に対する$R(\text{Berge-}K_3,2^t-1)$を含む。
• Berge-$G$超図形の$r$-一様ラマヌジャン数を、特に頂点削除および辺拡張構成を通じて、補助的グラフ族のマルチカラー・ラマヌジャン数に結びつけること。
• Berge超図形に対する既知のツーラン型結果を、特に三角形や$K_4$のような小規模で密なグラフに対して、ラマヌジャン的設定へと拡張すること。

提案手法

• 各$G$の辺が、その頂点を含むハイパーエッジに写像される一対一対応を介して、$E(G)$から$E(H)$への写像を通じて、Berge-$G$超図形を定義する。
• 2つのラマヌジャン関数を導入する：$r$-一様超図形のための$R_r(\mathcal{B}(G),k)$と、$n$-集合のすべての部分集合のための$R(\mathcal{B}(G),k)$。両者とも、任意の$k$色塗り分けがモノクローラルなBerge-$G$超図形を含む最小の$n$を測定する。
• 極値グラフ理論の境界を用いる：不等式$\binom{n}{r} \leq k \cdot \text{ex}_r(n,\mathcal{B}(G))$ を介して、$R_r(\mathcal{B}(G),k)$ をツーラン数$\text{ex}_r(n,\mathcal{B}(G))$ に関連させ、上界を導出する。
• 補助的グラフ族$\mathcal{G}^*(v)$を構成する。$G - v$にパドンエッジを追加することで、超図形における潜在的なBerge-$G$構成をモデル化する。
• 3-一様超図形の補完グラフに対するケース分析を用い、正則性およびエッジ被覆の議論を通じて、モノクローラルなBerge-$K_3$構成を除外する。
• 帰納法と極値数え上げを用いて、$R_3(\mathcal{B}(K_3),k) \leq 3k/4 + o(k)$ を証明し、網羅的列挙と背理法により正確な値を確立する。

実験結果

リサーチクエスチョン

• RQ1 小規模な$k$、例えば$k=2,3,4,5,6,8$に対して、$R_3(\mathcal{B}(K_3),k)$ の正確な値は何か？
• RQ2 Berge-$G$超図形のラマヌジャン数$R_r(\mathcal{B}(G),k)$ は、特に$G$が三角形または$K_4$の場合、古典的グラフラマヌジャン数とどのように比較できるか？
• RQ3 奇数$t \neq 3$に対して、$k=2^t-1$ のとき、$R(\mathcal{B}(K_3),k)$ は正確に特定できるか？
• RQ4 $R_3(\mathcal{B}(K_4),k)$ の漸近的成長は何か？また、古典的ラマヌジャン数の既知の境界と比較するとどうなるか？
• RQ5 補助的グラフ拡張$\mathcal{G}^*(v)$ を通じて、Berge-$G$超図形の構造をどのように分析し、ラマヌジャン的境界を導出できるか？

主な発見

• $R_3(\mathcal{B}(K_3),k)$ は $k/2 - o(k) \leq R_3(\mathcal{B}(K_3),k) \leq 3k/4 + o(k)$ を満たし、古典的ラマヌジャン数よりも著しく遅い成長を示す。
• 正確な値が特定された：$R_3(\mathcal{B}(K_3),2) = R_3(\mathcal{B}(K_3),3) = 5$、$R_3(\mathcal{B}(K_3),4) = 6$、$R_3(\mathcal{B}(K_3),5) = 7$、$R_3(\mathcal{B}(K_3),6) = 8$、および$R_3(\mathcal{B}(K_3),8) = 9$。
• 奇数$t \neq 3$に対して$R(\mathcal{B}(K_3),2^t - 1) = t + 2$ が成り立ち、非一様ラマヌジャン数のクラスに対して正確な公式を提供する。
• 3-一様超図形におけるBerge-$K_4$のラマヌジャン数は、$2^{ck} \leq R_3(\mathcal{B}(K_4),k) \leq e(1+o(1))(k-1)k!$ を満たし、超指数的成長を示す。
• $n$が奇数で$3$以上、$n \neq 5$のとき、$f(n,\mathcal{B}(K_3)) = 2^{n-2}$ が成り立ち、$n=5$では$f(5,\mathcal{B}(K_3)) = 2^{3} = 8$ となる。これは双対色分け関数に対するタイトな境界を確認する。
• 本稿は、$R_3(\mathcal{B}(K_4),2) = 6$ を証明し、3-一様超図形におけるBerge-$K_4$の最初の正確な値を確立した。