[論文レビュー] A new type of Ramsey-Turan problems

Hao Li, Vladimir Nikiforov+1 more|arXiv (Cornell University)|Jan 13, 2010

Limits and Structures in Graph Theory被引用数 5

ひとこと要約

本稿は、最小次数が高く、2色に塗り分けられた辺を持つグラフにおける単色サイクルの存在を焦点とした、新しいラムゼー・トゥーラン問題のクラスを導入する。任意の ε > 0 に対して、十分に大きな位数 n のグラフ G が δ(G) > 3n/4 を満たすとき、任意の2色塗り分けにおいて、すべての k ∈ [4, ⌊(1/8 − ε)n⌋] に対して単色サイクルが存在することを証明し、最小次数の条件下での単色サイクル長の最適な境界への大きな一歩を示している。

ABSTRACT

We introduce and study a new type of Ramsey-Turan problems, a typical example of which is the following one: let c>0 and G be a graph of sufficiently large order n with minimum degree >3n/4. If the edges of G are colored in blue or red, then for every 3

研究の動機と目的

• 古典的な極値グラフ論を単色サイクルの存在に拡張する、最小次数制約下での新しいタイプのラムゼー・トゥーラン問題を導入・研究すること。
• 2辺色グラフにおける高い最小次数が、あるしきい値まですべての長さの単色サイクルを強制するかどうかを調査すること。
• Conjecture 1 の部分的解決を証明すること。この予想は、δ(G) > 3n/4 の下で、k ∈ [4, ⌈n/2⌉] のすべての長さの単色サイクルが存在することを示唆している。
• 単色奇サイクルを避ける極値色分けの構造を分析し、非同型な構成が多数存在することを明らかにすること。

提案手法

• ある k ∈ [4, ⌊(1/8−ε)n⌋] に対して単色 k サイクルが存在しないという主仮定を用いて、赤と青の部分グラフの構造的性質を導出する。
• Theorem A (Bondy) および Theorem B (Bollobás) を適用し、高い最小次数または辺数を持つ部分グラフは、あるしきい値まですべての長さのサイクルを含むことを示す。
• Theorem C (Häggkvist) を用いて、非二部グラフで高次元接続性と高い最小次数を持つグラフに奇サイクルが存在することを保証する。
• Theorem D (Gould, Haxell, Scott) を適用し、十分に大きなグラフであれば、高次元最小次数を持つ稠密なグラフは、ある長さを超えるすべての偶数および奇数サイクルを含むことを導く。
• 頂点に交わらないパスを介した2連結性とサイクル結合の議論を用い、短いサイクルから長いサイクルを構成する。赤グラフにおける最長の偶数サイクルおよび奇数サイクルが n/8 − O(1) を超えることを証明する。
• サイクル存在定理と極値境界を組み合わせ、主仮定の下で矛盾を導出し、単色サイクルの存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 最小次数が 3n/4 を超えるグラフ G とその2辺色塗り分けが与えられたとき、任意の k ∈ [4, (1/8−ε)n] に対して単色サイクルが存在するか？
• RQ2 最小次数の条件下で保証される単色サイクルの最大長は何か？
• RQ3 δ(G) > 3n/4 の下で、単色サイクル長の予想される境界 ⌈n/2⌉ が達成可能か、あるいは構造的障害があるか？
• RQ4 δ(G) = 3n/4 を満たすグラフの非同型な2辺色塗り分けはどれだけ存在するか？特に単色奇サイクルを避ける色分けは、完全な予想の証明の難易度に何を示唆するか？

主な発見

• 任意の ε > 0 および十分に大きな n に対して、δ(G) > 3n/4 を満たすグラフ G の任意の2辺色塗り分けにおいて、すべての k ∈ [4, ⌊(1/8−ε)n⌋] に対して単色サイクルが存在する。
• 赤および青の部分グラフはともに非二部グラフであり、n²/8 本を超える辺を持つため、豊富なサイクル構造を持つ。
• 赤部分グラフにおける最長の偶数サイクルおよび奇数サイクルは、両方とも n/8 − O(1) を超えており、これはサイクルカバレッジ定理を発動させるのに十分である。
• 赤グラフに長い奇サイクルが存在することと、高い最小次数の両方が、すべての十分に長い偶数および奇数サイクルの存在を保証する。
• 証明は、最小次数、サイクル存在定理、および頂点に交わらないパスによるサイクル結合技法の相互作用に依存している。
• 完全4部グラフ（各部のサイズが p で n=4p）の2^{n²/8−O(n log n)} 通りの非同型な色分けが、単色奇サイクルを避けることを示し、このような色分けの極値的豊かさを示している。