定理已证明
Erdős对Ramsey数的指数下界
命题陈述
对每个整数 k ≥3,都有 R(k,k)>2k/2。
为什么成立?
随着 k 增大,n 个顶点的图中 k 元子集的个数只按 n 的多项式增长,但某个特定子集为单色的概率却按 k 的双指数速度缩小。平衡这两种速度就说明,即便 n 相对于 k 呈指数级增长,单色团的期望个数依然低于 1——这比任何人手工构造出的结果都要好得多。
证明思路
令 n=⌊2k/2⌋。由上面一阶矩的计算,E[X]=(kn)21−(2k)。若能证明 (kn)21−(2k)<1,那么由于 X 只取非负整数值,必存在某个2染色使得 X=0——否则总有 X≥1,从而迫使 E[X]≥1。满足 X=0 的染色完全不含单色 k 元团。
用 (kn)≤nk/k! 估计二项式系数,且由 n≤2k/2 得 nk≤2k2/2。代入期望公式,E[X]≤k!2k2/2⋅21−(2k)。
化简指数:2k2+1−2k(k−1)=1+2k2−k2+k=1+2k。于是 E[X]≤k!21+k/2,因此只需对所有 k≥3 证明 k!>21+k/2。
对 k 用归纳法验证。基础情形 k=3:3!=6,21+3/2=22.5≈5.657,确实 6>5.657。归纳步骤:设某个 k≥3 时 k!>21+k/2 成立。那么 (k+1)!=(k+1)⋅k!>(k+1)⋅21+k/2,又因 k+1≥4>2,此式超过 2⋅21+k/2=21+(k+1)/2,这正是 k+1 时的结论。故 k!>21+k/2 对一切 k≥3 成立,由此得到所需的 (kn)21−(2k)<1。
因此存在 Kn 的一个不含单色 k 元团的2染色,故 R(k,k)>n=⌊2k/2⌋。对任意实数 x 都有 ⌊x⌋+1>x,所以 R(k,k)≥⌊2k/2⌋+1>2k/2,这正是 R(k,k)>2k/2。