[論文レビュー] Minimum Number of k-Cliques in Graphs with Bounded Independence Number

Oleg Pikhurko, Emil R. Vaughan|arXiv (Cornell University)|Mar 20, 2012

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

ひとこと要約

この論文は、1962年にエルデシュが提起した問題を解決し、独立数が $ l $ より小さい $ n $ 項のグラフにおける $ k $-クリークの漸近的最小数を決定する。$ k=3 $ および $ 4 \leq l \leq 7 $、また $ l=3 $ および $ 4 \leq k \leq 7 $ の場合に、フラグ代数と半正定値計画法（SDP）を用いて、正確な漸近的密度 $ c_{k,l} $ を特定し、これらのケースでツーラン型の構成が最適であることを示す。また、極値グラフが常にラマヌジャングラフの拡張であるとは限らないことを示し、以前の予想に反する結果を得た。

ABSTRACT

Erdos asked in 1962 about the value of f(n,k,l), the minimum number of k-cliques in a graph of order n and independence number less than l. The case (k,l)=(3,3) was solved by Lorden. Here we solve the problem (for all large n) when (k,l) is (3,4), (3,5), (3,6), (3,7), (4,3), (5,3), (6,3), and (7,3). Independently, Das, Huang, Ma, Naves, and Sudakov did the cases (k,l)=(3,4) and (4,3).

研究の動機と目的

• 1962年にエルデシュが提起した、独立数が $ l $ より小さい $ n $ 項のグラフにおける $ k $-クリークの漸近的最小数を決定すること。
• $ k=3 $、$ 4\leq l\leq 7 $、および $ l=3 $、$ 4\leq k\leq 7 $ の場合の極値関数 $ f(n,k,l) $ の未解決ケースを、十分大きなすべての $ n $ に対して解くこと。
• 極値関数 $ f(n,k,l) $ の極値グラフが常に極値ラマヌジャングラフの拡張であるかどうかを検証し、ダスらの予想に反する結果を得ること。

提案手法

• サブグラフ密度に関する不等式を導出し、検証するためにフラグ代数と半正定値計画法（SDP）を用いる。
• オープンソースのソフトウェア Flagmatic を介してフラグ代数フレームワークを活用し、数値的境界を計算し、それを厳密な証明に変換する。
• 候補となる極値グラフにおける合法的集合の勾配を分析し、安定性と最適性を証明する。
• 極値グラフを特定の基本グラフの均一な拡張として構成する：$ k=3 $ の場合は $ \overline{K}_{l-1} $、$ k=4,5 $ の場合は $ C_5 $、$ k=6,7 $ の場合はクレブシュグラフの補グラフ $ \overline{L} $。
• 安定性の議論と背理法を用いて、極値構成からの任意の逸脱が $ k $-クリークの数を増加させることを示す。
• すべての合法的集合が目標密度 $ c_{k,l} $ よりも厳密に大きい勾配を持つことから、構築されたグラフが厳密な極値構成であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 $ k=3 $ および $ 4\leq l\leq 7 $ の場合、独立数が $ l $ より小さい $ n $ 項のグラフにおける $ k $-クリークの漸近的最小数は何か？
• RQ2 $ k=3 $ および $ l\in\{4,5,6,7\} $ の場合、$ \overline{K}_{l-1} $ の均一な拡張が $ k $-クリークの最小化に最適であるか？
• RQ3 $ l=3 $ および $ k\in\{4,5,6,7\} $ の場合、$ k $-クリークの最小数は $ 5 $-サイクル $ C_5 $ あるいはクレブシュグラフの補グラフの拡張によって達成されるか？
• RQ4 $ f(n,k,l) $ の極値グラフは、ダスらの予想通り常に極値ラマヌジャングラフの拡張として得られるか？
• RQ5 $ 8 $ 項の $ (3,4) $-ラマヌジャングラフに基づく構成は、$ f(n,4,4) $ に対して漸近的に最適であるか？

主な発見

• $ 4 \leq l \leq 7 $ の場合、$ k $-クリークの漸近的密度は $ c_{3,l} = (l-1)^{-2} $ であり、これは $ \overline{K}_{l-1} $ の均一な拡張によって達成される。
• $ k=4 $ の場合、$ c_{4,3} = 3/25 $ であり、これは $ 5 $-サイクル $ C_5 $ の均一な拡張によって達成され、ニキフォロフの結果を確認する。
• $ k=5 $ の場合、$ c_{5,3} = 31/625 $ であり、これも $ C_5 $ の拡張によって達成され、フラグ代数を用いて厳密に証明された。
• $ k=6 $ の場合、$ c_{6,3} = 19211/1048576 $、$ k=7 $ の場合、$ c_{7,3} = 98491/16777216 $ であり、両者ともクレブシュグラフの補グラフ $ \overline{L} $ の拡張によって達成される。
• $ k=6,7 $ および $ l=3 $ の極値グラフは、いかなる極値ラマヌジャングラフの拡張でもないため、ダスらの予想を反証する。
• $ c_{4,4} $ の予想される上界は $ (-11 + 14 \cdot 2^{1/3})/192 $ であり、これは $ 8 $ 項の $ (3,4) $-ラマヌジャングラフから導かれる。Flagmatic からの数値的証拠は、これが最適である可能性を示唆している。