MathLabs
定理已证明

Erdős对Ramsey数的指数下界

命题陈述

对每个整数 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 只取非负整数值,必存在某个2染色使得 X=0X=0——否则总有 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。

因此存在 KnK_n 的一个不含单色 kk 元团的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