[论文解读] The Grothendieck constant is strictly smaller than Krivine's bound

Mark Braverman, Konstantin Makarychev+2 more|arXiv (Cornell University)|Mar 31, 2011

Limits and Structures in Graph Theory参考文献 24被引用 20

一句话总结

本文推翻了克里文关于格罗滕迪克常数 $K_G$ 恰好为 $\frac{\pi}{2\log(1+\sqrt{2})}$ 的猜想，证明了 $K_G < \frac{\pi}{2\log(1+\sqrt{2})} - \varepsilon_0$ 对某个有效的 $\varepsilon_0 > 0$ 成立。作者通过引入一种基于二维投影和分段舍入规则的新舍入方案，实现了对格罗滕迪克常数的更优上界估计，该方法在界 bound 格罗滕迪克常数方面优于经典的随机超平面方法。

ABSTRACT

We prove that $K_G

研究动机与目标

• 解决长期悬而未决的格罗滕迪克常数 $K_G$ 精确值确定问题。
• 推翻克里文于1977年提出的猜想，即 $K_G = \frac{\pi}{2\log(1+\sqrt{2})}$，该猜想在数十年间主导了相关研究。
• 通过构建一种优于随机超平面方法的新舍入技术，建立对 $K_G$ 的严格改进上界。
• 推翻科宁于2000年提出的中间猜想，该猜想曾被视为通向克里文猜想的一步。
• 展示在与近似算法相关的二值舍入问题中，高维舍入方案的优越性。

提出的方法

• 作者提出一种基于向量二维投影并结合精心设计的分段舍入规则的新舍入方案，以生成 $\{-1,1\}$ 值。
• 通过振荡积分算子分析该舍入方案的性能，并证明其结果优于随机超平面方法。
• 该方法依赖于对函数 $g(y) = \int_0^\infty f(x) e^{-x^2/2} \sin(xy) \, dx$ 的详细分析，其中 $f$ 是由舍入规则导出的非负函数。
• 证明过程通过反证法完成：假设恒等式在某有限上确界 $A$ 处成立，然后通过积分估计导出矛盾。
• 关键不等式利用了 $\sin(z) \geq 2z/\pi$（当 $z \in [0, \pi/2]$ 时）以及 $1 - e^{-z} \geq z - z^2/2$（当 $z \geq 0$ 时）的界限。
• 分析过程包括对尾部积分的控制，并结合对称性与单调性论证，将恒等式 $f = g = 1$ 的成立范围从初始区间外推。

实验结果

研究问题

• RQ1 克里文的上界 $\frac{\pi}{2\log(1+\sqrt{2})}$ 是否就是格罗滕迪克常数 $K_G$ 的精确值？
• RQ2 基于二维投影与分段舍入的舍入方案，是否能在二值舍入问题中优于经典的随机超平面方法？
• RQ3 科宁（2000年）提出的中间猜想（若成立将蕴含克里文猜想）是否成立？
• RQ4 能否通过振荡积分的解析技术，建立对 $K_G$ 的严格改进上界？
• RQ5 当前最佳上界与克里文上界之间的数量差距是多少？

主要发现

• 本文证明了 $K_G < \frac{\pi}{2\log(1+\sqrt{2})} - \varepsilon_0$ 对某个有效的 $\varepsilon_0 > 0$ 成立，从而推翻了克里文的猜想。
• 作者证明了随机超平面方法在二值舍入问题中并非最优，而基于二维投影与分段规则的舍入方案可获得严格更优的界。
• 科宁（2000年）提出的中间猜想也被推翻，该猜想曾被视为通向克里文猜想的中间步骤。
• 证明表明，通过积分算子定义的函数 $f$ 与 $g$ 在 $[0, \infty)$ 上恒为1，这直接导致了改进的上界。
• 分析过程给出了一个数量化的间隙下界：当 $y \leq 5A/4$ 时，有 $\frac{5\pi^3}{81y^3} - \frac{16}{3e^2 A^3} > 0$，若 $A$ 有限则导致矛盾。
• 该结果提供了目前对 $K_G$ 的最佳已知上界，相较于克里文的上界，改进了一个正的、有效的常数。