[论文解读] Proof of a Conjecture of Kleinberg-Sawin-Speyer

Luke Pebody|arXiv (Cornell University)|Aug 19, 2016

Limits and Structures in Graph Theory参考文献 3被引用 11

一句话总结

本文证明了 Kleinberg、Sawin 和 Speyer 的猜想：在 $\mathbb{Z}_p^n$ 中，三色和自由集合的 Ellenberg-Gijswijt 上界在本质上是紧的。通过证明支撑 Ellenberg-Gijswijt 上界的最大熵分布 $\psi_\rho$ 在三元和条件下具有相容性，作者确立了上界 $\lambda_p = \log \theta_p$ 是精确的，从而填补了加法组合数学中的一个关键空白，并确认了多项式方法在此问题上的最优性。

ABSTRACT

In Ellenberg and Gijswijt's groundbreaking work, the authors show that a subset of $\mathbb{Z}_3^{n}$ with no arithmetic progression of length 3 must be of size at most $2.755^n$ (no prior upper bound was known of $(3-ε)^n)$), and provide for any prime $p$ a value $λ_p0$, such sets of size $e^{(μ_p-ε) n}$ exist for all sufficiently large $n$. The value of $μ_p$ was left open, but a conjecture was stated which would imply that $e^{μ_p}=λ_p$, i.e. the Ellenberg-Gijswijt bound is correct for the sum-free set problem. The purpose of this note is to close that gap. The conjecture of Kleinberg, Sawin and Speyer is true, and the Ellenberg-Gijswijt bound is the correct exponent for the sum-free set problem.

研究动机与目标

• 解决 Kleinberg、Sawin 和 Speyer 关于 $\mathbb{Z}_p^n$ 中三色和自由集合的 Ellenberg-Gijswijt 上界紧致性的猜想。
• 确立实现 Ellenberg-Gijswijt 上界的最大熵分布 $\psi_\rho$ 在三元依赖随机变量和为常数的意义下具有相容性。
• 证明在 $[p]$ 上均值之和为 $p-1$ 的递减分布是相容的，从而确认该猜想。
• 弥合三色和自由集合的上界 $e^{\lambda_p n}$ 与下界 $e^{\lambda_p n - o(n)}$ 之间的差距，表明该上界在渐近意义上是紧的。

提出的方法

• 将三个分布的相容性定义为存在具有这些边缘分布的依赖随机变量，使得其和为常数。
• 对 $p$ 使用归纳法，证明任意三个在 $[p]$ 上的递减分布，若其均值之和为 $p-1$，则具有相容性。
• 证明在 $\{0,\dots,k\}$ 上的均匀分布 $U_k$ 相互之间以及与某些截断均匀分布 $V_{m,n,2(p-1)-k-l}$ 相容。
• 通过使用对称连续随机变量构造显式耦合机制，生成均匀和，从而在边界情况下实现相容性。
• 利用分布 $\psi_\rho(j) = \rho^j / \sum_{i=0}^{p-1} \rho^i$ 是递减的（因为 $\rho < 1$）且其均值为 $\frac{p-1}{3}$ 的事实，应用主定理。
• 得出结论 $\psi_\rho \in \Delta_p$，这意味着 $\lambda_p = \log \theta_p$，从而确认了 Ellenberg-Gijswijt 上界的紧致性。

实验结果

研究问题

• RQ1 最大熵分布 $\psi_\rho$ 在三色和自由设定下是否与自身两份副本相容？
• RQ2 三色和自由集合在 $\mathbb{Z}_p^n$ 中的 Ellenberg-Gijswijt 上界 $\theta_p^n$ 是否代表了真实的渐近增长速率？
• RQ3 Kleinberg、Sawin 和 Speyer 的猜想——即 $\lambda_p = \log \theta_p$——是否可通过分布的相容性得到证明？
• RQ4 在 $[p]$ 上均值之和为 $p-1$ 的递减分布是否在所需的三元和条件下始终相容？

主要发现

• Kleinberg、Sawin 和 Speyer 的猜想已得证明：三色和自由集合在 $\mathbb{Z}_p^n$ 中的 Ellenberg-Gijswijt 上界 $\theta_p^n$ 在本质上是紧的。
• 最大熵分布 $\psi_\rho$ 与自身两份副本相容，即 $\psi_\rho \in \Delta_p$，这证实了等式 $\lambda_p = \log \theta_p$。
• 对任意 $p$，三色和自由集合的上界 $e^{\lambda_p n}$ 是精确的，且当 $n$ 足够大时，不存在大小为 $e^{\lambda_p n}$ 的此类集合。
• Kleinberg、Sawin 和 Speyer 的下界构造——$e^{\lambda_p n - 2\sqrt{(2\lambda_p \log 2)n} - O_p(\log n)}$——在渐近意义上是最优的。
• 该证明确立了任意三个在 $[p]$ 上的递减分布，若其均值之和为 $p-1$，则具有相容性，这一结果在概率论和加法组合数学中具有独立意义。
• 该结果确认了多项式方法的上界不仅是一个上界，更是三色和自由集合问题的正确渐近阈值。