[論文レビュー] On the densities of cliques and independent sets in graphs

Hao Huang, Nati Linial+3 more|arXiv (Cornell University)|Nov 19, 2012

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

ひとこと要約

この論文は、独立集合のサイズ $r$ の密度が固定されたとき、$s$-clique の最大密度を特定することで、極値グラフ理論における長年の問題を解決している。極値集合論からのシフト技法と解析的手法を用いて、極値グラフがクライクまたはその補グラフであることを証明し、$p$、$r$、$s$ を含む臨界方程式から厳密な境界が得られる。この結果は、クルスカル＝カトーナの定理をクライクではなく独立集合のケースに一般化し、近似極値グラフに対する安定性結果を提供する。

ABSTRACT

Let r, s >= 2 be integers. Suppose that the number of blue r-cliques in a red/blue coloring of the edges of the complete graph K_n is known and fixed. What is the largest possible number of red s-cliques under this assumption? The well known Kruskal-Katona theorem answers this question for r=2 or s=2. Using the shifting technique from extremal set theory together with some analytical arguments, we resolve this problem in general and prove that in the extremal coloring either the blue edges or the red edges form a clique.

研究の動機と目的

• 固定されたサイズ $r$ の独立集合の密度が与えられたとき、$s$-clique の最大密度を特定すること。
• クルスカル＝カトーナの定理をクライクではなく独立集合のケースに拡張すること。
• この最大密度に達する極値グラフを同定し、それがクライクまたはその補グラフであることを示すこと。
• 近似極値グラフがエッジ編集距離の意味で極値グラフに近いことを示す安定性結果を確立すること。

提案手法

• 極値集合論からのシフト技法を応用し、$s$-clique の数を保存または増加させるようにグラフを変換すること。
• $p$、$r$、$s$ を含む臨界方程式を解く解析的手法を用いて、極値密度 $M_{r,s,p}$ を特定すること。
• 極値グラフを $Q_{n,t}$（$t$ 頂点のクライク）および $\overline{Q}_{n,t'}$（$t'$ 頂点のクライクの補グラフ）として定義すること。
• $M_{r,s,p}$ を、$p^{1/r}$ に基づく式と、$q^r + rq^{r-1}(1-q) = p$ の根 $q$ に基づく式の最大値として導出すること。
• 任意のグラフが極値密度に $δ$ 以内に達する場合、それが $ε$-近傍に $\mathcal{Q}_n$ のグラフに近いことを示す安定性定理を証明すること。
• 主な極値的議論を支援するため、ハイパーグラフおよび集合系のラベル付きコピーへのシフト法の拡張を行うこと。

実験結果

リサーチクエスチョン

• RQ1 サイズ $r$ の独立集合の密度が $p$ に固定された $n$ 頂点グラフにおいて、$s$-clique の最大密度は何か？
• RQ2 サイズ $r$ の独立集合の密度が固定された条件下で、$s$-clique の数を最大化するグラフは何か？
• RQ3 独立集合の密度 $p$ が 0 から 1 に変化するにつれて、極値グラフの構造はどのように変化するか？
• RQ4 近似極値グラフが家族 $\mathcal{Q}_n$ の極値グラフに近いかどうかを示す安定性結果を確立できるか？
• RQ5 特に $r=s$ の場合に、$d(K_s;G)$ を最小化するときの極値関数の挙動は何か？ ただし、$d(\overline{K}_r;G)$ が固定されている。

主な発見

• 固定された $d(\overline{K}_r;G) \geq p$ のもとで、$s$-clique の最大密度 $d(K_s;G)$ は漸近的に $M_{r,s,p} + o(1)$ に達する。ここで $M_{r,s,p}$ は、$p^{1/r}$ と方程式 $q^r + rq^{r-1}(1-q) = p$ の根 $q$ を含む二つの式の最大値である。
• この最大密度に達する極値グラフは、$t$ 頂点のクライク $Q_{n,t}$ または $t'$ 頂点のクライクの補グラフ $\overline{Q}_{n,t'}$ である。$t$ および $t'$ は $p$ によって決定される。
• $r=2$ または $s=2$ の場合、この結果は古典的なクルスカル＝カトーナの定理に帰着し、既知の結果と整合性を確認する。
• 安定性定理により、$d(K_s;G)$ が最大値から $\delta$ 以内に達する任意のグラフは、$\mathcal{Q}_n$ に属するグラフに $\epsilon$-近傍にあることが示され、極値構造の構造的レジリエンスが裏付けられる。
• 極値関数は、二つの曲線の点ごとの最大値として与えられる。一つは $Q_{n,\theta n}$ から、もう一つは $\overline{Q}_{n,\theta n}$ から来る。$r=s=3$ の場合、図1に図示されている。
• この論文は、エドーシュが50年以上にわたり未解決としていた問題を解決した。すなわち、$\alpha = 0$（独立数が $r-1$）のとき、$d(K_s;G)$ を最小化する問題であり、特定の $r$ および $s$ に対して解決された。さらに、$\alpha$ が増加する際のさらなる解析のための枠組みを提供する。