MathLabs

解法: 反復吸収法によるKang–Kelly–Kühn–Methuku–Osthusの漸近的証明(2021年)

ステップ 8/8: 論理を閉じる:エルデシュ・ファーバー・ロヴァース予想は大きい nn で成り立つ
ざっくり言うと

これでパズルのすべてのピースが揃った:線形超グラフ H\mathcal{H} が有限射影平面、ほぼ完全なグラフ KnK_n、ニアペンシルのいずれに似ていようと、あるいは3つの極値形状すべてから遠く離れていようと、層別化された彩色パイプラインはそのすべての超辺を高々 nn 個の色クラスに詰め込む。

1972年のパーティーでエルデシュ、ファーバー、ロヴァースが超グラフ理論の手頃なテスト問題として提示した予想は、こうして50年にわたる確率的組合せ論——レードルのニブル法、局所的に疎なグラフの彩色、頂点吸収、そして 11 因子分解——を結集することで、十分大きいすべての nn に対して解決された。

∀ n≥n0, ∀ linear H on n vertices:χ′(H)≤n\forall\, n \ge n_0,\ \forall\, \text{linear } \mathcal{H} \text{ on } n \text{ vertices}: \quad \chi'(\mathcal{H}) \le n
詳しい解説

Kang、Kelly、Kühn、Methuku、Osthus(2023年、第8節)は第5、6、7節の場合分けを組み合わせて定理1.1の証明を完成させる:ある n0n_0 が存在して、すべての n≥n0n \ge n_0 に対し、nn 頂点上のすべての線形超グラフ H\mathcal{H} は彩色指数 χ′(H)≤n\chi'(\mathcal{H}) \le n を持つ。双対性により、これは1.1節の3つの同値な定式化すべてを同時に証明する:線形超グラフの辺彩色、対ごとに高々1頂点を共有するサイズ高々 nn の nn 個のクリークの和集合の頂点彩色、および対ごとの交わりが高々 11 であるサイズ nn の nn 個の集合の彩色である。

著者らが1.2節で述べているように、証明のすべての確率的ステップは、大きい nn に対する乱択多項式時間彩色アルゴリズムへと構成的に変換することもできる。

このステップで使う知識