← 戻る 確率的方法 › ラムゼー数に対するエルデシュの指数下界 定理 証明済み
ラムゼー数に対するエルデシュの指数下界 内容
すべての整数 k k k ≥ 3 \ge 3 ≥ 3 について R ( k , k ) > 2 k / 2 R(k,k) > 2^{k/2} R ( k , k ) > 2 k /2 が成り立つ。
なぜ正しいのか?
k k k が大きくなるにつれ、n n n 頂点グラフの k k k 元部分集合の数は n n n の多項式でしか増えないが、特定の 部分集合が単色である確率は k k k に関して二重指数的に縮小する。この二つの速度のバランスにより、n n n が k k k に対して指数的に大きくても単色クリークの期待個数は 1 1 1 未満に保たれることが分かる。これは人手で構成されたどの例よりもはるかに良い。
証明の概略 n = ⌊ 2 k / 2 ⌋ n = \lfloor 2^{k/2} \rfloor n = ⌊ 2 k /2 ⌋ とおく。上の第一モーメント計算より E [ X ] = ( n k ) 2 1 − ( k 2 ) \mathbb{E}[X] = \binom{n}{k}\,2^{1-\binom{k}{2}} E [ X ] = ( k n ) 2 1 − ( 2 k ) 。( n k ) 2 1 − ( k 2 ) < 1 \binom{n}{k}\,2^{1-\binom{k}{2}} < 1 ( k n ) 2 1 − ( 2 k ) < 1 を示せば、X X X が非負整数値しか取らないことから、X = 0 X=0 X = 0 となる2彩色が存在する——さもなければ常に X ≥ 1 X \ge 1 X ≥ 1 となり E [ X ] ≥ 1 \mathbb{E}[X]\ge 1 E [ X ] ≥ 1 を強いるからである。X = 0 X=0 X = 0 となる彩色には単色な k k k 元クリークが一切存在しない。
二項係数を ( n k ) ≤ n k / k ! \binom{n}{k} \le n^k/k! ( k n ) ≤ n k / k ! で評価し、n ≤ 2 k / 2 n \le 2^{k/2} n ≤ 2 k /2 より n k ≤ 2 k 2 / 2 n^k \le 2^{k^2/2} n k ≤ 2 k 2 /2 。期待値の式に代入すると E [ X ] ≤ 2 k 2 / 2 ⋅ 2 1 − ( k 2 ) k ! \mathbb{E}[X] \le \dfrac{2^{k^2/2}\cdot 2^{1-\binom{k}{2}}}{k!} E [ X ] ≤ k ! 2 k 2 /2 ⋅ 2 1 − ( 2 k ) 。
指数を整理すると k 2 2 + 1 − k ( k − 1 ) 2 = 1 + k 2 − k 2 + k 2 = 1 + k 2 \dfrac{k^2}{2} + 1 - \dfrac{k(k-1)}{2} = 1 + \dfrac{k^2 - k^2 + k}{2} = 1 + \dfrac{k}{2} 2 k 2 + 1 − 2 k ( k − 1 ) = 1 + 2 k 2 − k 2 + k = 1 + 2 k 。よって E [ X ] ≤ 2 1 + k / 2 k ! \mathbb{E}[X] \le \dfrac{2^{1+k/2}}{k!} E [ X ] ≤ k ! 2 1 + k /2 であり、すべての k ≥ 3 k \ge 3 k ≥ 3 について k ! > 2 1 + k / 2 k! > 2^{1+k/2} k ! > 2 1 + k /2 を示せばよい。
これを k k k に関する帰納法で確かめる。基底 k = 3 k=3 k = 3 :3 ! = 6 3! = 6 3 ! = 6 かつ 2 1 + 3 / 2 = 2 2.5 ≈ 5.657 2^{1+3/2} = 2^{2.5} \approx 5.657 2 1 + 3/2 = 2 2.5 ≈ 5.657 であり、確かに 6 > 5.657 6 > 5.657 6 > 5.657 。帰納段階では、ある k ≥ 3 k \ge 3 k ≥ 3 で k ! > 2 1 + k / 2 k! > 2^{1+k/2} k ! > 2 1 + k /2 が成り立つと仮定する。このとき ( k + 1 ) ! = ( k + 1 ) ⋅ k ! > ( k + 1 ) ⋅ 2 1 + k / 2 (k+1)! = (k+1)\cdot k! > (k+1)\cdot 2^{1+k/2} ( k + 1 )! = ( k + 1 ) ⋅ k ! > ( k + 1 ) ⋅ 2 1 + k /2 であり、k + 1 ≥ 4 > 2 k+1 \ge 4 > \sqrt2 k + 1 ≥ 4 > 2 より、これは 2 ⋅ 2 1 + k / 2 = 2 1 + ( k + 1 ) / 2 \sqrt2 \cdot 2^{1+k/2} = 2^{1+(k+1)/2} 2 ⋅ 2 1 + k /2 = 2 1 + ( k + 1 ) /2 を超える。これはまさに k + 1 k+1 k + 1 における主張である。よって k ! > 2 1 + k / 2 k! > 2^{1+k/2} k ! > 2 1 + k /2 はすべての k ≥ 3 k \ge 3 k ≥ 3 で成り立ち、必要な ( n k ) 2 1 − ( k 2 ) < 1 \binom{n}{k}\,2^{1-\binom{k}{2}} < 1 ( k n ) 2 1 − ( 2 k ) < 1 が得られる。
したがって単色な k k k 元クリークを持たない K n K_n K n の2彩色が存在し、R ( k , k ) > n = ⌊ 2 k / 2 ⌋ R(k,k) > n = \lfloor 2^{k/2}\rfloor R ( k , k ) > n = ⌊ 2 k /2 ⌋ となる。任意の実数 x x x について ⌊ x ⌋ + 1 > x \lfloor x\rfloor + 1 > x ⌊ x ⌋ + 1 > x が成り立つので、R ( k , k ) ≥ ⌊ 2 k / 2 ⌋ + 1 > 2 k / 2 R(k,k) \ge \lfloor 2^{k/2}\rfloor + 1 > 2^{k/2} R ( k , k ) ≥ ⌊ 2 k /2 ⌋ + 1 > 2 k /2 、すなわち R ( k , k ) > 2 k / 2 R(k,k) > 2^{k/2} R ( k , k ) > 2 k /2 が得られる。
ステップごとの証明
この定理のステップごとの証明はまだありません。