[論文レビュー] Triangles in H-free graphs

Noga Alon, Clara Shikhelman|arXiv (Cornell University)|Sep 15, 2014

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

ひとこと要約

この論文は、n 頂点の H-自由グラフにおける三角形（K₃）の最大数を調査し、関数 ex(n, K₃, H) を導入する。組合せ論的・確率的・スペクトル的技法を用いて主要な結果を確立し、H の 2-コアがフレンドシップ図である場合に ex(n, K₃, H) ≤ c(H)n が成り立ち、完全二部グラフ Kₛ,ₜ で t ≥ (s−1)!+1 の場合に Θ(n³⁻³ᐟˢ) が成り立ち、C₅-自由グラフでは (1+o(1))√3/2 n² が成り立つことを示し、既存の境界を改善する。

ABSTRACT

For two graphs T and H and for an integer n, let ex(n, T,H) denote the maximum possible number of copies of T in an H-free graph on n vertices. The study of this function when T = K2 is a single edge is the main subject of extremal graph theory. In the present paper we investigate the general function, focusing on the case T = K3, which reveals several interesting phenomena. Three representative results are: (i) ex(n,K3, H) ≤ c(H)n iff the 2-core of H is a friendship graph, (ii) For any fixed s ≥ 2 and t ≥ (s− 1)! + 1, ex(n,K3,Ks,t) = Θ(n3−3/s), and (iii) ex(n,K3, C5) ≤ (1 + o(1)) √ 3 2 n . The last statement improves (slightly) an estimate of Bollobas and Győri. The proofs combine combinatorial and probabilistic arguments with simple spectral techniques.

研究の動機と目的

• 極値グラフ論の古典的問題（辺の最大化、T=K₂）を越えて、H-自由グラフにおける三角形（T=K₃）の最大化に拡張すること。
• n 頂点の H-自由グラフにおける三角形の最大数 ex(n, K₃, H) の漸近的挙動を特定すること。
• ex(n, K₃, H) の成長率を決定づける H の構造的条件、特に H の 2-コアの役割を特定すること。
• スペクトル的および確率的技法を用いて、既存の境界（例：ex(n, K₃, C₅) の推定値）を改善すること。

提案手法

• 極値組合せ論と確率的構成を組み合わせ、ex(n, K₃, H) の上界および下界を導出する。
• スぺクトルグラフ理論の技法を適用し、H-自由グラフの構造を分析し、三角形の密度を制約する。
• H の 2-コアの概念を用いて、ex(n, K₃, H) が n に対して線形に成長する場合を分類する。
• 二重数え上げとツーラン型の議論を用いて、Kₛ,ₜ や C₅ などの特定の部分グラフを避けるグラフにおける三角形数を分析する。
• 既知の極値結果を確率的およびスペクトル的ツールで精緻化し、よりタイトな漸近的推定値を得る。
• H の 2-コアにおけるフレンドシップ図構造を分析し、三角形数の線形境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 H にどのような構造的条件が満たされると、ex(n, K₃, H) が n に対して線形に成長するか？
• RQ2 固定された s ≥ 2 および t ≥ (s−1)!+1 に対して、ex(n, K₃, Kₛ,ₜ) の正確な漸近的成長率は何か？
• RQ3 C₅-自由グラフにおける三角形数の漸近的挙動はどのように振る舞い、既存の境界は改善可能か？
• RQ4 H のスペクトル的性質は、H-自由グラフにおける三角形の最大数にどの程度影響を与えるか？
• RQ5 組合せ論的およびスペクトル的技法を統合することで、さまざまな H に対して ex(n, K₃, H) のタイトな境界を導出可能か？

主な発見

• ex(n, K₃, H) ≤ c(H)n が成り立つための必要十分条件は、H の 2-コアがフレンドシップ図であることである。これは線形成長の構造的閾値を確立する。
• 任意の固定された s ≥ 2 および t ≥ (s−1)!+1 に対して、ex(n, K₃, Kₛ,ₜ) = Θ(n³⁻³ᐟˢ) が成り立ち、s に依存する明確な多項式的依存関係が明らかになる。
• ex(n, K₃, C₅) ≤ (1 + o(1)) √3/2 n² が成り立ち、ボロバシュとギョーリーによる既存の推定値を改善する。
• スペクトル法は境界のタイトニングに顕著な貢献をし、特に C₅-自由の場合に顕著である。
• 組合せ論的構造と確率的構成の相互作用により、多様な H に対してタイトな漸近的推定値が導出可能である。
• 結果は、ex(n, K₃, H) の成長率が、特にその 2-コアおよび二部グラフ部分に依存するローカル構造によって支配されることを示している。