[論文レビュー] 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が提起した予想、すなわち、$ℤ_p^n$における三色和自由集合のEllenberg-Gijswijtの上限が本質的にタイトであるという予想を証明する。Ellenberg-Gijswijtの上限を支える最大エントロピー分布$ψ_ρ$が三変数和条件と整合的であることを示すことにより、著者たちは上界$λ_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が提起した予想を解決する。すなわち、$ℤ_p^n$における三色和自由集合のEllenberg-Gijswijtの上界のタイトさに関する予想を解決する。
• Ellenberg-Gijswijtの上界を達成する最大エントロピー分布$ψ_\rho$が、三つの従属確率変数が定数に和する意味で整合的であることを確立する。
• 平均の和が$p-1$である$[p]$上の減少分布が、整合的であることを証明し、予想を確認する。
• 三色和自由集合の上界$e^{\lambda_p n}$と下界$e^{\lambda_p n - o(n)}$の間のギャップを埋め、上界が漸近的にタイトであることを示す。

提案手法

• 三つの分布の整合性を、それらの周辺分布が与えられた従属確率変数が定数に和するような存在として定義する。
• 平均の和が$p-1$である$[p]$上での任意の三つの減少分布が整合的であることを、$p$に関する帰納法で証明する。
• 集合$\{0,\dots,k\}$上での一様分布$U_k$が互いに、および特定の切り捨てられた一様分布$V_{m,n,2(p-1)-k-l}$と整合的であることを証明する。
• 対称的連続確率変数を用いた明示的なカップリング機構を構築し、境界ケースにおける整合性を可能にする。
• 分布$ψ_\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 $ℤ_p^n$における三色和自由集合のEllenberg-Gijswijtの上界$\theta_p^n$は、真の漸近的成長率を表すか？
• RQ3 Kleinberg, Sawin, Speyerの予想、すなわち、$\lambda_p = \log \theta_p$は、分布の整合性によって証明可能か？
• RQ4 $[p]$上での減少分布で平均の和が$p-1$であるものは、常に必要な三変数和条件と整合的か？

主な発見

• Kleinberg, Sawin, Speyerの予想が証明された：$ℤ_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$であるものは、常に整合的であることが示され、確率論および加法的組合せ論において独立した価値を持つ結果である。
• この結果により、多項式法の上界が単なる上界ではなく、三色和自由集合問題の正しい漸近的閾値であることが確認された。