[論文レビュー] About maximal number of edges in hypergraph-clique with chromatic number 3

Danila Cherkashin|arXiv (Cornell University)|Jul 10, 2011

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

ひとこと要約

この論文は、彩色数3の$n$-一様超グラフクライQUEにおける最大辺数の新しい上界を確立し、ある定数$c>0$に対して$M(n) \leqslant cn^{n-1/2}\ln n$を証明する。証明は次数に基づく頂点分類、辺の交差解析、および極値集合論を用いた反復的精錬を組み合わせ、より高い辺数が矛盾することを示し、長年の$n^n$の上界を改善する。

ABSTRACT

Let $ H = (V,E) $ be a hypergraph. By the chromatic number of a hypergraph $ H = (V,E) $ we mean the minimum number $χ(H)$ of colors needed to paint all the vertices in $ V $ so that any edge $ e \in E $ contains at least two vertices of some different colors. Finally, a hypergraph is said to form a clique, if its edges are pairwise intersecting. In 1973 Erdős and Lovász noticed that if an $n$-uniform hypergraph $ H = (V,E) $ forms a clique, then $ χ(H) \in \{2,3\} $. They untoduced following quantity. $$ M(n) = \max \{|E|: \exists { m an} n-{ m uniform} { m clique} H = (V,E) { m with} χ(H) = 3\}. $$ Obviously such definition has no sense in the case of $ χ(H) = 2 $. Theorem 1 (P. Erdos, L. Lovasz} The inequalities hold $$ n!(e-1) \le M(n) \le n^n. $$ Almost nothing better has been done during the last 35 years. At the same time, another quantity $ r(n) $ was introduced by Lovasz r(n) = \max \{|E|: ~ \exists { m an} ~ n-{ m uniform} ~ { m clique} ~ H = (V,E) ~ { m s.t.} ~ τ(H) = n\}, $$ where $ τ(H) $ is the {\it covering number} of $ H $, i.e., $$ τ(H) = \min \{|f|: ~ f \subset V, ~ \forall ~ e \in E ~ f \cap e eq \emptyset\}. $$ Clearly, for any $n$-uniform clique $ H $, we have $ τ(H) \le n $, and if $ χ(H) = 3 $, then $ τ(H) = n $. Thus, $ M(n) \le r(n) $. Lovász noticed that for $ r(n) $ the same estimates as in Theorem 1 apply and conjectured that the lower estimate is best possible. In 1996 P. Frankl, K. Ota, and N. Tokushige disproved this conjecture and showed that $ r(n) \ge (\frac{n}{2})^{n-1} $. We discovered a new upper bound for the r(n) (so for M(n) too). Theorem 2. $$ M(n) \leq r(n) \le c n^{n-1/2} \ln n. $$, where c is a constant.

研究の動機と目的

• 彩色数3の$n$-一様超グラフクライQUEにおける最大辺数の上界を改善すること。
• エドーシュとロヴァーシュによって提起された、極値超グラフ理論における長年の未解決問題を解消すること。
• 古典的な$n^n$の上界よりもタイトな漸近的推定値を、$M(n)$、つまりこのような3彩色クライQUEにおける最大辺数に対して確立すること。
• 辺数が$cn^{n-1/2}\ln n$を超過する場合、次数および交差制約によって矛盾が生じることを示すこと。

提案手法

• 次数が$|E|/n^2$を超過する頂点の集合$B(H)$を定義し、次数和の上限を用いて$|B(H)| < n^3$を証明する。
• 鳩の巣原理を用いて、3彩色クライQUEのすべての辺が$B(H)$と交差することを示し、高次度頂点が重要であることを保証する。
• 閾値$t = \lfloor \sqrt{n} \rfloor$を導入し、$|E| > tn^{n-1}$ならば、すべての辺が$B(H)$と少なくとも$t$個の頂点で交差することを証明する。
• 命題1を適用して、固定された頂点集合を含む辺集合をバインドし、次数制約を満たすことを保証する。
• 帰納的手続きを用いて、辺を含む能力が増加する頂点集合$I$を構築し、$|E(I)|$の減少する上限を導出する。
• 辺数が$10n^{n-1/2}\ln n$を超過する場合、ある頂点または頂点のペアの次数が$n^{n-1}$を超えることになり、命題1に反する、と矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 彩色数3の$n$-一様超グラフクライQUEにおける辺数の最良の可能な上界は何か？
• RQ2 $M(n)$の古典的上界$n^n$は著しく改善可能か？
• RQ3 3彩色超グラフクライQUEの構造は、辺数と頂点次数分布の間のトレードオフを強制するか？
• RQ4 反復的次数および交差制約を用いて、これまでに知られていたものよりもタイトな漸近的上界を導出可能か？

主な発見

• この論文は、ある定数$c>0$に対して$M(n) \leq cn^{n-1/2}\ln n$を証明し、古典的な$n^n$の上界を著しく改善する。
• $n$-一様3彩色クライQUEでは、$|E|/n^2$を超える次数を持つ頂点は最大$n^3$個であることが示される。
• このようなクライQUEのすべての辺は、高次度頂点の集合と交差しなければならず、辺分布に構造的制約が生じる。
• 辺数が$10n^{n-1/2}\ln n$を超過する場合、次数の上限と辺の交差性の性質によって矛盾が生じる。
• 証明は、辺を含む能力が減少する頂点集合の帰納的構築に依存し、命題1の次数上限に違反することを導く。
• この結果は、極値超グラフ理論における長年の空白を埋め、$M(n)$の$n^n$上界に対する初めての二次未満の改善を提供する。