解法: 反復吸収法によるKang–Kelly–Kühn–Methuku–Osthusの漸近的証明(2021年)
ざっくり言うと
誰かが正確な評価 色を証明するずっと前から、数学者たちはより弱いバージョンを少しずつ削り取っていった:まずおよそ 色で常に十分であることを示し、次に強力なランダムな「ニブル」技法によって、 が大きくなるにつれ消えていく誤差の範囲内で 色で十分であることを示した。「ほぼ 」から「ちょうど 」へ移るには、まったく新しいアイデアが必要であることが判明した。なぜなら、その小さな誤差項こそが、まさに(タイトな例のような)すべての色が余裕なく使われなければならない場合を隠しているからである。
詳しい解説
Kang、Kelly、Kuhn、Methuku、Osthus(2023年、1.1節)はそれまでの進展を概観する。シーモア(予想の帰結を証明)は、すべての 頂点線形超グラフが少なくとも のサイズのマッチングを持つことを示した。チャンとローラー(1988年)は評価 を直接証明した。真の突破口はカーン(1992年)であり、彼はレードルのニブル法——組合せデザインに関するエルデシュ・ハナニ予想を証明するためにレードルが元々開発した反復ランダムマッチング構成——を用いて漸近的評価 を証明した。これは密接に関連するピッペンジャー・スペンサーの定理(最大次数 で共次数の小さい任意の超グラフが彩色指数 を持つことを示す)に基づいている。ファーバーとハリス(2020年)は別途、辺の大きさがすべて から の間にある超グラフ(小さな定数 )について正確な評価を証明した。
- レードルのニブル法
- 辺の小さなランダムな「一口」を繰り返し取っては除去し、残ったものに対して繰り返すことで大きなマッチング(または彩色)を構築する反復的な確率的手法で、構造が制御下に置かれたまま徐々に蓄積されていく。
- 共次数
- 2つの頂点 に対し、両方を含む超辺の個数のこと。「共次数が小さい」とは、どの2頂点も多くの辺を共有しないことを意味し、ニブル型の議論に必要な技術的条件である。