[論文レビュー] A Proof of the Gan-Loh-Sudakov Conjecture

Zachary Chase|arXiv (Cornell University)|Dec 3, 2019

Graph theory and applications参考文献 9被引用数 11

ひとこと要約

この論文は、最大次数 $d$ のグラフにおける三角形の数に対する上界を確立することで、Gan-Loh-Sudakov予想を証明している。$n = q(d+1) + r$ かつ $0 \leq r \leq d$ のもとで、三角形の数は高々 $q\binom{d+1}{3} + \binom{r}{3}$ である。この結果は、組合せ最適化と構造的分解を用いて、有界次数グラフにおける三角形数のタイトな極値境界を提供する。

ABSTRACT

We prove that any max-degree $d$ graph on $n$ vertices has at most $q{d+1 \choose 3}+{r \choose 3}$ triangles, where $n = q(d+1)+r$, $0 \le r \le d$. This resolves a conjecture of Gan, Loh, and Sudakov.

研究の動機と目的

• 最大次数 $d$ のグラフにおける三角形数の最大値について、長年の未解決予想である Gan, Loh, および Sudakov の予想を解消すること。
• 最大次数の制約を受けるグラフにおける三角形数の正確な極値関数を特定すること。
• 最大次数 $d+1$ の互いに素なクリークと残りのクリーク（サイズ $r$）から構成される極値グラフの構造と一致するタイトな上界を提供すること。

提案手法

• 頂点集合を $q$ 個のサイズ $d+1$ のグループと残りのグループ（サイズ $r$）に分割し、$n = q(d+1) + r$ となるようにして、極値構成をモデル化する。
• 二重数え上げと次数に基づく構造的解析を用いて、各グループ内およびグループ間の三角形数を制限する。
• 凸性と最適化の議論を用いて、各グループが完全グラフである場合に三角形数が最大になることを示す。
• 次数制約の下でグループ間の三角形数が最小化されることを示し、境界の加法的構造を正当化する。
• クリークに基づく構造から逸脱すると、次数制限のため総三角形数が減少することを証明する。
• 極値グラフ論の技法を活用し、提案された境界がタイトで達成可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $n$ 頂点と最大次数 $d$ を持つグラフにおいて、三角形が最大でいくつ存在できるか？
• RQ2 すべての $n$ と $d$ に対して、予想される上界 $q\binom{d+1}{3} + \binom{r}{3}$ が証明可能か？
• RQ3 極値グラフの構造は、サイズ $d+1$ の互いに素なクリークと最後のサイズ $r$ のクリークから成るか？
• RQ4 グラフが $q$ 個のサイズ $d+1$ のクリークと一つのサイズ $r$ のクリークの和集合である場合、境界が等号で成り立つか？
• RQ5 最大次数 $d$ を持つが、提案された境界を超える三角形数を持つグラフは存在するか？

主な発見

• 最大次数 $d$ の任意のグラフにおける三角形数の最大値は、$n = q(d+1) + r$ かつ $0 \leq r \leq d$ のもとで、ちょうど $q\binom{d+1}{3} + \binom{r}{3}$ に等しい。
• この境界に到達する極値グラフは、$q$ 個のサイズ $d+1$ のクリークと一つのサイズ $r$ のクリークの互いに素な和集合であり、成分間には辺が存在しない。
• 境界はタイトであり、改善できない。極値構成における等号成立によってそれが示された。
• この境界を超過するグラフが存在するならば、ある頂点の次数が $d$ を超える必要があり、次数制約に反する。
• この結果により、Gan-Loh-Sudakov予想は完全に確認され、極値グラフ論における重要な問題が解決された。
• 極値グラフの構造は、次数と頂点数の制約によって一意に決定される。