[論文レビュー] Near-perfect clique-factors in sparse pseudorandom graphs

Jie Han, Yoshiharu Kohayakawa+1 more|arXiv (Cornell University)|Jun 1, 2018

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

ひとこと要約

本稿は、固有値の有界性 λ ≤ c·d^{t−1}/n^{t−2} を満たすスパースな擬似ランダムグラフが、n^{1−1/(8t⁴)} 個の頂点を除き近似的に完全な K_t-ファクターを含むことを確立している。分数的クライクファクターとチェルノフの不等式による確率的埋め込みを用いて、t ≥ 3 に対して d-正則な (n,d,λ)-グラフに頂点を共有しない K_t クライクが存在することを証明し、擬似ランダムグラフにおける三角形ファクターに関する長年の予想を支持する。

ABSTRACT

We prove that, for any $t\ge 3$, there exists a constant $c=c(t)>0$ such that any $d$-regular $n$-vertex graph with the second largest eigenvalue in absolute value~$λ$ satisfying $λ\le c d^{t-1}/n^{t-2}$ contains vertex-disjoint copies of $K_t$ covering all but at most $n^{1-1/(8t^4)}$ vertices. This provides further support for the conjecture of Krivelevich, Sudakov and Szábo [\emph{Triangle factors in sparse pseudo-random graphs}, Combinatorica extbf{24} (2004), pp.~403--426] that $(n,d,λ)$-graphs with $n\in 3\mathbb{N}$ and $λ\leq cd^{2}/n$ for a suitably small absolute constant~$c>0$ contain triangle-factors.

研究の動機と目的

• λ ≤ cd²/n を満たす (n,d,λ)-グラフが 3|n のとき三角形ファクターを含むという予想に対して強い証拠を提供すること。
• スパースな擬似ランダムグラフにおけるクライクファクターの理解を、三角形ファクターにとどまらず t ≥ 3 に対する一般の K_t-ファクターへと拡張すること。
• 近似的に完全な K_t-ファクターデコンポジションを保証する λ の定量的閾値を d と n の関数として確立すること。
• スペクトル的および確率的ツールを用いて、擬似ランダムグラフ内に多数の重み付き非交差 K_t-ファクターを構築する手法を開発すること。
• 既知の結果と、擬似ランダムグラフにおけるクライクファクターの最適固有値閾値の間のギャップを埋めること。

提案手法

• エクスパンダーミキシング補題を用いて、(n,d,λ)-グラフにおける固有値 λ を通じたスペクトル的擬似ランダム性と辺の分布との関係を定式化する。
• 分数的 K_t-ファクターを用いた確率的構成法を適用：各頂点が期待値としてちょうど一度被覆されるように三角形に重みを割り当てる。
• チェルノフの不等式を用いて、分数的ファクターから導かれるランダムなハイパーグラフにおける頂点およびペアの次数の集中を示す。
• ハイパーグラフマッチング定理（定理 2.1）を適用し、ランダムハイパーグラフ内に大きなマッチングを抽出する。このマッチングは頂点を共有しない K_t クライクに対応する。
• 2つのアプローチを組み合わせる：大規模な d に対しては K_{t−1} 部分グラフの埋め込みに基づく方法、小規模な d に対してはターラン型の議論を用いる方法。前者の方がより強固である。
• 集中不等式およびハイパーグラフマッチング条件から得られるパラメータを用いて、得られたマッチングがすべての頂点を除き O(n^{1−1/(8t⁴)}) 個の頂点をカバーすることを確立する。

実験結果

リサーチクエスチョン

• RQ1 t ≥ 3 に対して、スペクトル的条件 λ ≤ c·d^{t−1}/n^{t−2} を満たすスパースな擬似ランダムグラフにおいて、近似的に完全な K_t-ファクターを保証できるか？
• RQ2 λ ≤ cd²/n という条件は、擬似ランダムグラフにおける三角形ファクターの最適閾値にどの程度近いか？
• RQ3 分数的 K_t-ファクターを、多数の重み付き非交差コピーに分解することで、K_t クライクの確率的埋め込みを可能にすることができるか？
• RQ4 スパースネス（d）と擬似ランダム性（λ）の間で、近似的にスパンするクライクファクターを保証する最良のトレードオフは何か？
• RQ5 分数的ファクターとランダムハイパーグラフサンプリングの手法を、三角形の場合を除き一般の t ≥ 3 へと拡張できる範囲はどの程度か？

主な発見

• 任意の t ≥ 3 に対して、定数 c(t) > 0 が存在し、λ ≤ (1/(50t·4^{t−2}))·d^{t−1}/n^{t−2} を満たすならば、グラフはすべての頂点を除き n^{1−1/(8t⁴)} 個の頂点を除き、頂点を共有しない K_t クライクでカバーされる。
• λ に対するこの境界は、対数要因を除き漸近的に最適であり、三角形ファクターの予想された閾値 λ ≤ cd²/n にほぼ一致する。
• この手法により、誤差項 n^{1−1/(8t⁴)} を伴う近似的に完全な K_t-ファクターが得られ、t が大きくなるにつれてこの誤差項は 0 に近づくため、より大きなクライクではカバー率が向上することが示される。
• この結果は、Krivelevich–Sudakov–Szabóの予想（擬似ランダムグラフにおける三角形ファクター）を支持しており、一般の K_t-ファクターについての最初の非自明な結果を提供する。
• 分数的ファクターを用いた確率的構成とチェルノフの集中を用いることで、ランダムハイパーグラフ内にマッチングが高確率で存在することが保証される。
• 結果はバイジュンブルドグラフへと拡張可能であり、正則グラフにとどまらず、より広い範囲にわたるロバストネスを示しており、Nenadov らの最近の進展とも整合する。