[論文レビュー] The typical structure of graphs with no large cliques

József Balogh, Neal Bushaw+4 more|arXiv (Cornell University)|Jun 26, 2014

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

ひとこと要約

本稿では、$ r = r(n) $ が $ r \leq (\log n)^{1/4} $ を満たすすべての関数に対して、$ n $ 頂点のほとんどすべての $ K_{r+1} $-自由グラフが $ r $-部グラフであることを確立する。証明は、Erdős–Simonovitsの安定性定理に対する新しい超飽和結果、超グラフコンテナ法、および数え上げ技術を組み合わせており、$ r $-部グラフから遠いグラフは指数的にまれであることを示し、$ r $ が $ n $ と共に増加する場合でも、典型的な構造が $ r $-部グラフのままであることを証明する。

ABSTRACT

In 1987, Kolaitis, Prömel and Rothschild proved that, for every fixed $r \in \mathbb{N}$, almost every $n$-vertex $K_{r+1}$-free graph is $r$-partite. In this paper we extend this result to all functions $r = r(n)$ with $r \leqslant (\log n)^{1/4}$. The proof combines a new (close to sharp) supersaturation version of the Erdős-Simonovits stability theorem, the hypergraph container method, and a counting technique developed by Balogh, Bollobás and Simonovits.

研究の動機と目的

• 固定された $ r $ に対して成立する古典的結果「ほとんどすべての $ K_{r+1} $-自由グラフは $ r $-部グラフである」を、$ r $ が $ n $ と共に増加する関数 $ r = r(n) $ にまで拡張すること。
• 禁止クライQUEサイズが $ n $ と共に増加する場合、特に $ r \leq (\log n)^{1/4} $ の範囲で、$ K_{r+1} $-自由グラフの典型的な構造を特定することの課題に取り組むこと。
• Erdős–Simonovitsの安定性定理に対する鋭い超飽和結果を確立し、$ r $-部グラフから遠い $ K_{r+1} $-自由グラフの数を制御すること。
• 超グラフコンテナ法と洗練された数え上げ技術を組み合わせ、このような非 $ r $-部グラフの $ K_{r+1} $-自由グラフが $ r $-部グラフのそれらと比べて指数的にまれであることを示すこと。
• スパarsな、増加するクライQUEサイズの設定における極値的および典型的なグラフ性質の理解を強化する、定量的構造定理を提供すること。

提案手法

• $ r $-部グラフから $ t $-遠いグラフにおける $ K_{r+1} $ の個数に対するほぼ最適な下界を与える新しい超飽和結果（定理1.2）を導入。この下界は $ e^r $ の因子を除いて鋭い。
• コンテナ法を応用し、$ r $-部グラフでないが $ K_{r+1} $-自由なグラフの数を制御。これは、大きなクライQUEを避けるコンテナによる符号化によって実現される。
• Balogh, Bollobás, および Simonovitsの洗練された数え上げ技術を用い、$ r $-部グラフに近いが $ r $-部グラフでない $ K_{r+1} $-自由グラフの数を比較する。
• $ r $-部グラフでないが $ n^{2-1/r^2} $-近い $ K_{r+1} $-自由グラフからなる集合 $ \mathcal{Q}(n,r) $ を定義・分析し、例外的な場合を特定する。
• エントロピーと二項係数の推定を用いて、$ \mathcal{Q}(n,r) $ に属するグラフの最適な分割の集合のサイズを評価。そのサイズが $ n $ に対して指数的でないことを示す。
• コンテナグラフ $ F_m $ における二重数え上げを用いて、すべての評価を組み合わせ、$ |\mathcal{Q}(n,r)| $ が $ r $-部グラフの $ K_{r+1} $-自由グラフの数 $ |\mathcal{K}(n,r)| $ よりも指数的に小さいことを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的結果「ほとんどすべての $ K_{r+1} $-自由グラフは $ r $-部グラフである」を、$ r $ が $ n $ と共に増加する場合にまで拡張できるか。
• RQ2 ほとんどすべての $ K_{r+1} $-自由グラフが $ r $-部グラフのままである最大の $ r(n) $ の増加率は何か。
• RQ3 $ r $ が $ n $ と共に増加する場合、$ r $-部グラフから遠い $ K_{r+1} $-自由グラフの数をどのように定量的に評価できるか。
• RQ4 Erdős–Simonovitsの安定性定理に対する十分強い超飽和結果は存在するか。特に、$ r $ が増加する設定で、非 $ r $-部グラフの $ K_{r+1} $-自由グラフの数を制御できるか。
• RQ5 超グラフコンテナ法と洗練された数え上げを組み合わせることで、非 $ r $-部グラフだが $ K_{r+1} $-自由な例外的グラフが $ r $-部グラフのそれらと比べて無視できるほど少ないことを示せるか。

主な発見

• 定理1.1は、すべての $ r = r(n) \leq (\log n)^{1/4} $ に対して、$ n $ 頂点のほとんどすべての $ K_{r+1} $-自由グラフが $ r $-部グラフであることを確立。古典的結果を増加する $ r $ にまで拡張。
• 新しい超飽和結果（定理1.2）により、$ r $-部グラフから $ t $-遠い任意のグラフは、少なくとも $ \frac{n^{r-1}}{e^{2r} r!} \left( e(G) + t - \left(1 - \frac{1}{r}\right)\frac{n^2}{2} \right) $ 個の $ K_{r+1} $ を含むことが示され、これは $ e^r $ の因子を除いて鋭い。
• $ r $-部グラフでないが $ n^{2-1/r^2} $-近い $ K_{r+1} $-自由グラフの数は、$ 2^{-2^{-6r}n} \cdot |\mathcal{K}(n,r)| $ 未満であることが示され、指数的にまれであることがわかる。
• コンテナ法と新しい超飽和結果、数え上げ技術を組み合わせることで、このような例外的グラフの集合 $ \mathcal{Q}(n,r) $ が $ r $-部グラフの $ K_{r+1} $-自由グラフの集合と比べて無視できるほど小さいことが証明された。
• $ r \leq (\log n)^{1/4} $ の制約はほぼ最適であり、典型的な構造が変化する閾値は $ r \sim \log n $ の周辺に予想される。本結果は、この値から定数倍の範囲内にある。