MathLabs
定理証明済み

ラムゼー数に対するエルデシュの指数下界

内容

すべての整数 kk ≥3\ge 3 について R(k,k)>2k/2R(k,k) > 2^{k/2} が成り立つ。

なぜ正しいのか?

kk が大きくなるにつれ、nn 頂点グラフの kk 元部分集合の数は nn の多項式でしか増えないが、特定の部分集合が単色である確率は kk に関して二重指数的に縮小する。この二つの速度のバランスにより、nn が kk に対して指数的に大きくても単色クリークの期待個数は 11 未満に保たれることが分かる。これは人手で構成されたどの例よりもはるかに良い。

証明の概略

n=⌊2k/2⌋n = \lfloor 2^{k/2} \rfloor とおく。上の第一モーメント計算より E[X]=(nk) 21−(k2)\mathbb{E}[X] = \binom{n}{k}\,2^{1-\binom{k}{2}}。(nk) 21−(k2)<1\binom{n}{k}\,2^{1-\binom{k}{2}} < 1 を示せば、XX が非負整数値しか取らないことから、X=0X=0 となる2彩色が存在する——さもなければ常に X≥1X \ge 1 となり E[X]≥1\mathbb{E}[X]\ge 1 を強いるからである。X=0X=0 となる彩色には単色な kk 元クリークが一切存在しない。

二項係数を (nk)≤nk/k!\binom{n}{k} \le n^k/k! で評価し、n≤2k/2n \le 2^{k/2} より nk≤2k2/2n^k \le 2^{k^2/2}。期待値の式に代入すると E[X]≤2k2/2⋅21−(k2)k!\mathbb{E}[X] \le \dfrac{2^{k^2/2}\cdot 2^{1-\binom{k}{2}}}{k!}。

指数を整理すると k22+1−k(k−1)2=1+k2−k2+k2=1+k2\dfrac{k^2}{2} + 1 - \dfrac{k(k-1)}{2} = 1 + \dfrac{k^2 - k^2 + k}{2} = 1 + \dfrac{k}{2}。よって E[X]≤21+k/2k!\mathbb{E}[X] \le \dfrac{2^{1+k/2}}{k!} であり、すべての k≥3k \ge 3 について k!>21+k/2k! > 2^{1+k/2} を示せばよい。

これを kk に関する帰納法で確かめる。基底 k=3k=3:3!=63! = 6 かつ 21+3/2=22.5≈5.6572^{1+3/2} = 2^{2.5} \approx 5.657 であり、確かに 6>5.6576 > 5.657。帰納段階では、ある k≥3k \ge 3 で k!>21+k/2k! > 2^{1+k/2} が成り立つと仮定する。このとき (k+1)!=(k+1)⋅k!>(k+1)⋅21+k/2(k+1)! = (k+1)\cdot k! > (k+1)\cdot 2^{1+k/2} であり、k+1≥4>2k+1 \ge 4 > \sqrt2 より、これは 2⋅21+k/2=21+(k+1)/2\sqrt2 \cdot 2^{1+k/2} = 2^{1+(k+1)/2} を超える。これはまさに k+1k+1 における主張である。よって k!>21+k/2k! > 2^{1+k/2} はすべての k≥3k \ge 3 で成り立ち、必要な (nk) 21−(k2)<1\binom{n}{k}\,2^{1-\binom{k}{2}} < 1 が得られる。

したがって単色な kk 元クリークを持たない KnK_n の2彩色が存在し、R(k,k)>n=⌊2k/2⌋R(k,k) > n = \lfloor 2^{k/2}\rfloor となる。任意の実数 xx について ⌊x⌋+1>x\lfloor x\rfloor + 1 > x が成り立つので、R(k,k)≥⌊2k/2⌋+1>2k/2R(k,k) \ge \lfloor 2^{k/2}\rfloor + 1 > 2^{k/2}、すなわち R(k,k)>2k/2R(k,k) > 2^{k/2} が得られる。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Noga Alon, Joel H. Spencer (2016). The Probabilistic Method
  2. Marcelo Campos, Simon Griffiths, Robert Morris, Julian Sahasrabudhe (2023). Towards fully exponential bounds for the diagonal Ramsey numbers · arXiv:2303.09521 [プレプリント・未査読]
  3. Reinhard Diestel (2017). Graph Theory