解法: 反復吸収法によるKang–Kelly–Kühn–Methuku–Osthusの漸近的証明(2021年)
ざっくり言うと
実際に 色すべてを強制するのは、3つの非常に硬直な形状だけである:奇数完全グラフ (すべての辺がサイズ で最大頂点次数が )、有限射影平面(サイズ 付近の辺がおよそ 本)、および退化したニアペンシル(次数 の頂点が1つかサイズ の辺が1つ)。
カーンは、最大次数 と射影平面の辺サイズ分布の両方から離れている任意の線形超グラフ は、真に より少ない色数しか必要としないはずだと予測した——そして著者らの証明はその過程でこの安定性定理を確立する。
詳しい解説
Kang、Kelly、Kühn、Methuku、Osthus(2023年、1.2節、定理1.2および1.3)は、カーンの予測を確認する定量的な安定性結果を証明する。定理1.2は、すべての に対しある が存在して、 のとき、最大次数 かつサイズ の辺が高々 本である任意の 頂点線形超グラフ は を満たすと述べる。
実際、安定性は単なるおまけの系ではない:主証明の内部で、 が有限射影平面から離れており(第5節で処理)、次数が に近い頂点を持たない(第4節と第7節で吸収と 因子分解により処理)ときにはいつでも、余裕 こそがニブル法と局所的に疎な彩色のステップに色を使い果たすことなく完了するための十分な余地を与えるのである。
- 有限射影平面 (FPP)
- 個の頂点とサイズ の 本の辺(直線)を持つ線形超グラフで、任意の2頂点が一意な直線上にあり、任意の2直線が一意な頂点で交わるため、 が強制される。