问题
对称拉姆齐数 R(k, k) 的增长率被两个经典结果夹住：Erdős–Szekeres 1935 上界 R(k, k) ≤ C(2k−2, k−1) ≈ 4k/√k，爱多士 1947 下界 R(k, k) > 2k/2（问题 01 命题 2）。80 年间上界只被逐步打磨小常数：Thomason 把 √k 因子磨到多项式级，直至 Campos–Griffiths–Morris–Sahasrabudhe 2019 首次把底数 4 打下来：R(k, k) ≤ (4−ε)k，ε ≈ 10−5。问题问：R(k, k) 是否 = (4+o(1))k？下界的指数 1/2 修正（R ≥ k·2k/2 之外还能推多远）与上界的指数 2 修正之间仍是深渊。
主要概念
书写结构（book structure）
CGMS 突破的引擎：拉姆齐图中的 «书» = 一个顶点 v 及其大独立邻域（或大团邻域）。书写论证：若拉姆齐图有 «大书»，则邻域内部递归；若无大书，则图有 «均匀» 结构可供迭代删除。书尺寸与递归深度的平衡给出 (4−ε)k。
指数比较与随机图直觉
随机图 G(n, 1/2) 的临界窗口分析给出 «拉姆齐图存在» 的阈值 n ≈ k2k/2——下界侧早已逼近随机图极限（R ≥ (1+o(1))·k2k/2/e√2）。上界侧的 (4−ε)k 距 «随机图预言» 的指数 2k/2 相差整个平方。猜测 R(k,k) = 2k/2+o(k)（指数水平）到 R = (4+o(1))k（底数水平）的一切中间愿景都开。
主要命题与证明
命题 1（Erdős–Szekeres 上界，完整证明） R(k, k) ≤ C(2k−2, k−1) ≈ 4k/(4√(πk))。
证明 递推 R(s, t) ≤ R(s−1, t) + R(s, t−1)（问题 01 命题 1）加边界 R(s, 2) = s（s 顶点无 2-独立集即完全图，含 s-团）。沿帕斯卡三角形累加：R(k, k) ≤ C(k+k−2, k−1)——归纳直接验证（帕斯卡恒等式与递推完全同构）。斯特林：C(2k−2, k−1) ~ 4k−1/√(π(k−1))。□
命题 2（CGMS 上界，完整骨架） 存在 ε > 0（ε ≈ 10−5）使 R(k, k) ≤ (4−ε)k 对一切大 k。
证明（骨架） 反证：设 G 是 «最小拉姆齐反例»（|G| = n ≥ (4−ε)k 而无 k-团无 k-独立集）。三段论：①«邻域分裂»——取顶点 v，其邻域 N(v) 与非邻域各 ~ n/2 量级且分别 «准拉姆齐»（各自含大准团或大准独立集，指数比 k 低 δ）；②«书构造»——若无大书，则可用 «度分层删除» 找到大小 ~ n/k 的 «均匀» 子结构，其上随机贪婪搜索给出 «尺寸 n′ ≥ n/(4−ε)′» 的准拉姆齐子图，与 G 的极小性矛盾；③若有大书（尺寸 ≥ (4−ε)k−1 邻域），邻域内递归 k−1 层——每层损失因子 (4−ε) 而非 4，累积改进即 ε·k·log 2 量级。三段的常数平衡（书阈值、删除率、递归深度）CGMS 做到 ε ≈ 10−5；后续 Gupta 等把 ε 略推大。□
命题 3（下界侧的极限，完整陈述） R(k, k) ≥ (1+o(1))·(k/(e√2))·2k/2（Spencer 1975，Lovász 局部引理精化爱多士一阶矩）。改进此式的任何 «指数 1/2 + 多项式修正 → 指数 1/2 + ck 修正» 都未成功：Cohen 型 «随机图微扰»、半随机构造、代数构造全部碰壁。□
进展与文献
Erdős–Szekeres 1935 双文（组合版与解析版）；Spencer 1975；Thomason 的上界精化（«Erdős–Szekeres 常数的打磨»）；CGMS（Annals 2023？ arXiv 2019，费马厅讲席成果之一）与 Gupta–Ndiaye 型后续。开放核心：ε 能推到多接近 1（推到 ε = 1 即 R ≤ 3k 将是革命）；下界侧 2k/2 之外的任何超线性因子；指数 1/2 的 «多项式修正» 是否注定是天花板——它与 «随机图是否拉姆齐最优» 的哲学问题等价。