[論文レビュー] Multicolor Ramsey numbers and restricted Tur\'an numbers for the loose 3-uniform path of length three

Eliza Jackowska, Joanna Polcyn+1 more|arXiv (Cornell University)|Jul 15, 2015

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

ひとこと要約

本稿は、長さ3のローティング3-一様パスPのマルチカラー・ラマヌジャン数を決定し、高次トゥーラン型結果を精緻化することで、すべてのr ≤ 7に対してR(P; r) = r + 6を証明する。また、スターフリーなP-フリー3-グラフにおける最大辺数、すなわち高次トゥーラン数を導入し、極値超グラフの構造的解析を通じて、ラマヌジャン数のより鋭い上限を得る。

ABSTRACT

Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-colored Ramsey number for $P$ is $R(P;r)=r+6$ for $r=2,3$, and that $R(P;r)\le 3r$ for all $r\ge3$. The latter result follows by a standard application of the Tur\'an number $ex_3(n;P)$, which was determined to be $\binom{n-1}2$ in our previous work. We have also shown that the full star is the only extremal 3-graph for $P$. In this paper, we perform a subtle analysis of the Tur\'an numbers for $P$ under some additional restrictions. Most importantly, we determine the largest number of edges in an $n$-vertex $P$-free 3-graph which is not a star. These Tur\'an type results, in turn, allow us to confirm the formula $R(P;r)=r+6$ for $r\in\{4,5,6,7\}$.

研究の動機と目的

• 長さ3のローティング3-一様パスPの正確なマルチカラー・ラマヌジャン数R(P; r)を決定すること。
• Pに対する2次および3次トゥーラン数の概念を導入することで、古典的なトゥーラン数の境界を精緻化すること。
• スターフリーなP-フリー3-グラフの中で、辺数が最大であるのはコメット超グラフCo(n)であることを確立し、スターフリー制約下での最大辺数を達成する。
• r = 4から7のラマヌジャン数を解明し、これらのケースでR(P; r) = r + 6が成り立つことを確認すること。

提案手法

• Pに対するs次トゥーラン数の概念を導入し、特にスターフリーなP-フリー3-グラフにおける最大辺数を捉える。
• n ≥ 11における帰納法を用い、n = 8, 9, 10を初期ケースとして、構造的制約下でのP-およびC-フリー3-グラフの辺数を評価する。
• 固定された部分構造M（例：P₃² ∪ K₃³）を前提とした条件付きトゥーラン数ex(n; P|M)を適用し、極値構成が一意にコメットであることを証明する。
• コアに属さない頂点の集合W₀のサイズに基づくケース解析を実施し、以前の補題から得た不等式を用いて辺数を評価する。
• 既知の極値結果を活用：ex₃(n; P) = (n−1 choose 2)であり、唯一の極値超グラフは完全スターフリーS₃ⁿである。
• H − vがコメットCo(n−1)であり、deg(v) = n−5であるならば、Hは必ずコメットCo(n)であることを示し、辺数の上限がタイトであることを確立する。

実験結果

リサーチクエスチョン

• RQ1 スターフリーなP-フリー3-グラフとしてのn頂点P-フリー3-グラフの最大辺数は何か？
• RQ2 精緻化されたトゥーラン型結果を用いて、r > 3の場合のラマヌジャン数R(P; r)を正確に決定できるか？
• RQ3 コメット超グラフCo(n)は、スターフリーでP-フリーな3-グラフの中で唯一の極値構成か？
• RQ4 r = 4, 5, 6, 7の場合に、R(P; r) = r + 6の式が成り立つか。その場合、辺色分けの構造的条件下ではどのような条件が成立するか？

主な発見

• 2次トゥーラン数ex²(n; P)が4 + (n−5 choose 2)に等しく、これはコメット超グラフCo(n)によって一意に達成される。
• r = 4から7の間、ラマヌジャン数R(P; r)は正確にr + 6に等しく、辺色分けの構造的解析とトゥーラン型極値境界によって確認された。
• n頂点のP-フリー3-グラフで(n−1 choose 2)本を超える辺を持つものは、唯一完全スターフリーS₃ⁿであり、スターフリーでない他の極値P-フリー3-グラフはすべてCo(n)に同型である。
• 辺数の上限ex₃(n; P) = (n−1 choose 2)は鋭く、等号成立は完全スターフリーに限る。これはラマヌジャン数の導出において極めて重要である。
• n ≥ 11の場合、P-フリー3-グラフが4 + (n−5 choose 2)本を超える辺を持つならば、それは必ずコメットCo(n)である。この構造は、ラマヌジャン数の上限に到達するために不可欠である。
• 帰納的証明により、H − v = Co(n−1)かつdeg(v) = n−5ならば、H = Co(n)が成り立つ。これにより、辺数の上限がタイトであることが示された。