[論文レビュー] The edge-statistics conjecture for $\ell \ll k^{6/5}$

Anders Martinsson, Frank Mousset+2 more|arXiv (Cornell University)|Sep 7, 2018

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

ひとこと要約

本稿は、$\pi \ll k^{6/5}$ の範囲でエッジ統計に関する予想を証明し、任意の大きなグラフにおいて、$k$ 頂点部分集合が正確に $\ell$ 条のエッジを誘導する割合は、$1/e + o_k(1)$ 未満であることを示している。証明は確率的頂点彩色プロセスと確率的不等式を用いて、レアなエッジ数の確率を抑え、この範囲における長年の予想を解決した。

ABSTRACT

Let $k$ and $\ell$ be positive integers. We prove that if $1 \leq \ell \leq o_k(k^{6/5})$, then in every large enough graph $G$, the fraction of $k$-vertex subsets that induce exactly $\ell$ edges is at most $1/e + o_k(1)$. Together with a recent result of Kwan, Sudakov, and Tran, this settles a conjecture of Alon, Hefetz, Krivelevich, and Tyomkyn.

研究の動機と目的

• Alオンたちのエッジ統計に関する予想に取り組む。この予想は、$0 < \ell < \binom{k}{2}$ のとき、$k$ 頂点部分集合が正確に $\ell$ 条のエッジを誘導する確率の最大値が $1/e + o_k(1)$ 未満であるというものである。
• $1 \leq \ell \leq o_k(k^{6/5})$ の範囲でこの予想を解決し、最近のクワン、スダコフ、トランの研究と組み合わせることで、完全に証明を完成させる。
• フォックスとゾアーマンのアプローチよりも短く、$\ell = 1$ や $\ell = k-1$ の重要なケースでタイトな結果を保つ、簡潔な証明を提供する。
• $\ell = 1$ および $\ell = k-1$ に対して、$1/e + o_k(1)$ の境界がタイトであることを示し、ランダムグラフおよび完全二部グラフの構成を根拠として挙げる。
• グラフの誘導性に関する広範な研究に貢献し、ランダム誘導部分グラフにおけるエッジ分布の漸近的挙動を明確にする。

提案手法

• グラフ $G$ の一様ランダムな $k$ 頂点部分集合におけるエッジ数を $X_{G,k}$ と定義し、$\operatorname{ind}(k,\ell) = \lim_{n \to \infty} \max_G \mathbb{P}[X_{G,k} = \ell]$ を極限最大確率として研究する。
• 確率的頂点彩色プロセスを導入する：頂点を順に黒または緑に色分けし、その頂点の先行黒頂点における近傍に少なくとも $\ell$ 条のエッジが存在する場合にのみ緑に色づける。
• 先に $k-1$ 個の黒頂点が選ばれるまでの緑頂点数を $Y_{G,k}$ と定義し、$\mathbb{P}[X_{G,k} = \ell] \leq \mathbb{P}[Y_{G,k} = 1] + o_k(1)$ を示し、問題を「ちょうど1つの緑頂点」の確率を制御する問題に還元する。
• マークフの不等式とチェビシェフの不等式を用いて、ランダム部分集合における中央値でない次数を持つ頂点の数に集中不等式を適用し、レアなエッジ構成の確率を抑え込む。
• 非中央値次数を持つ頂点の数に基づく2つのケースに分けて解析する：(1) そのような頂点が少ない場合（中央値次数の安定性を用いる）、(2) そのような頂点が多い場合（超幾何分布の尾部バウンドを用いる）。両ケースで、$X_{G,k} = \ell$ を含意する事象 $\mathcal{E}_2$ の確率が $o(1)$ であることを示す。
• 事象 $\mathcal{E}_4$（ランダム部分集合における次数均一性に関する構造的条件）が $\mathcal{D}_*$ に漸近的に同等であることを確立し、これにより $\mathbb{P}[\mathcal{E}_4 \setminus \mathcal{D}_*] = o(1)$ を示し、境界を完成させる。

実験結果

リサーチクエスチョン

• RQ1 $\ell \ll k^{6/5}$ の範囲で、ランダムな $k$ 頂点部分集合が正確に $\ell$ 条のエッジを誘導する確率の上界 $1/e + o_k(1)$ はタイトか？
• RQ2 $k \to \infty$ のとき、ランダムな $k$-頂点部分集合におけるエッジ数の分布は、$\ell$ が $k$ と共にゆっくりと増加する場合にどのように漸近的に振る舞うか？
• RQ3 $\ell = 1$ および $\ell = k-1$ を含む広範な $\ell$ の範囲で、統一的な確率的手法を用いてエッジ統計に関する予想を証明できるか？
• RQ4 $1 \leq \ell \leq o_k(k^{6/5})$ のすべての $\ell$ に対して、$1/e + o_k(1)$ の境界が一様に成り立ち、かつ既知のケース以外の $\ell$ に対してもタイトか？
• RQ5 スプライスなエッジ数に対して、既存の手法（特にフォックスとゾアーマンのアプローチ）よりも短く、より明確な証明を構築できるか？

主な発見

• 本稿は、すべての $\ell = \ell(k)$ について $1 \leq \ell \leq o_k(k^{6/5})$ を満たす範囲で、$\operatorname{ind}(k,\ell) \leq 1/e + o_k(1)$ を証明し、この範囲におけるエッジ統計に関する予想を確認した。
• $\ell = 1$ に対して、$1/e + o_k(1)$ の境界はタイトである。これは、$p = 1/\binom{k}{2}$ のランダムグラフ $G_{n,p}$ において、$k$-部分集合に正確に1本のエッジが存在する確率が $1/e$ に近づくことから示される。
• $\ell = k-1$ に対しても、境界はタイトである。完全二部グラフ（部のサイズが $n/k$ と $(k-1)n/k$）では、$\mathbb{P}[X_{G,k} = k-1] \to 1/e$ となることが漸近的に達成される。
• クワン、スダコフ、トランの最近の研究と組み合わせることで、エッジ統計に関する予想（$0 < \ell < \binom{k}{2}$ に対して $\operatorname{ind}(k,\ell) \leq 1/e + o_k(1)$）は、今や完全に解決された。
• フォックスとゾアーマンの代替的アプローチよりも著しく短く、$\ell = o_k(k)$ の範囲で、特に $\ell = \omega_k(1)$ から $\ell = o_k(k)$ のサブレンジで強力な結果を提供する、より簡潔で自己完結的な証明を提供している。