[论文解读] A Short Proof of Gowers' Lower Bound for the Regularity Lemma

Guy Moshkovitz, A. Shapira|arXiv (Cornell University)|Aug 24, 2013

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

一句话总结

本文提供了Gowers关于Szemerédi正则性引理下界的简化、更短的证明，表明ε-正则等分划的最小部分数随1/ε的多项式高度的指数塔增长。作者通过改进归纳构造中的结构约束，实现了这一目标，得到的界为tWr(1/ε^{1/6})，显著简化了先前复杂的证明，同时保持了紧致的渐近下界。

ABSTRACT

A celebrated result of Gowers states that for every ε> 0 there is a graph G so that every ε-regular partition of G (in the sense of Szemeredi's regularity lemma) has order given by a tower of exponents of height polynomial in 1/ε. In this note we give a new proof of this result that uses a construction and proof of correctness that are significantly simpler and shorter.

研究动机与目标

• 为Gowers关于正则性引理分划大小的下界提供一个显著更简单、更短的证明，该下界此前需要高度复杂的构造与证明。
• 证明ε-正则等分划的最小阶数M(ε)作为1/ε的多项式高度的指数塔增长，从而确认Szemerédi原始界是紧致的。
• 表明Gowers第一篇证明中采用的归纳方法可通过修改构造中的结构约束，被扩展以获得远强于“tWr(c log(1/ε))”的下界。
• 提供一种新的、易于理解的证明，该证明可能被改编以推导弱化版本正则性引理的类似下界。

提出的方法

• 构造一个边权在[0,1]范围内的加权完全图，使得任何ε-优良等分划的大小至少为tWr(1/ε^{c})，其中c=1/6。
• 通过归纳法在大小为M的集合上构造二部分划，确保每一层均为1/16-平衡，以在细化过程中保持正则性控制。
• 应用Chernoff不等式（引理2.1）证明，加权图的随机子图以高概率保持正则性性质，从而将界转移到真实图上。
• 定义β-细化，并使用平均值论证来界定无用顶点与集合的数量，确保归纳步骤中存在足够数量的有用集合。
• 基于密度差异使用反证法：若太多对为ε-正则，则在平衡二部分划上的密度差异将超过ε，违反正则性。
• 利用嵌套细化结构及各层G_r到G_s之间的密度偏移，强制足够多对呈现不正则性，从而确保分划大小的下界。

实验结果

研究问题

• RQ1 能否为Gowers关于正则性引理分划大小的下界构造一个更简单的证明？
• RQ2 是否可能将Gowers第一篇证明中的归纳方法扩展，以获得tWr(1/ε^c)而非tWr(c log(1/ε))的指数塔高度下界？
• RQ3 构造中的哪些结构修改使得归纳论证可成功迭代1/ε^c次，而非仅log(1/ε)次？
• RQ4 这些技术能否被改编以证明弱化版本正则性引理（如ε-优良分划）的下界？
• RQ5 对于ε-优良分划，使得M'(ε) ≥ tWr(c/ε^{1/2})成立的最优常数c是多少？该常数能否用于界定M(ε)？

主要发现

• 本文建立了ε-优良分划的下界M'(ε) ≥ tWr(c/ε^{1/2})，其中c=1/6，证明此类分划的阶数必须作为1/ε的多项式高度的指数塔增长。
• 该证明通过构造与归纳论证，其复杂度远低于Gowers原始第二篇证明（被描述为“壮举”），实现了显著简化。
• 作者表明，通过仔细控制无用顶点的分布与密度偏移，归纳步骤可被迭代O(1/ε^{1/6})次，而非Gowers第一篇证明中仅O(log(1/ε))次。
• 通过应用Chernoff不等式（引理2.1），作者将下界从加权图成功转移到高概率成立的随机真实图上，确保该界在标准设定下依然有效。
• 证明表明，若太多对为ε-正则，则由于平衡二部分划上密度差异失控，将导致矛盾，从而强制存在足够多的不正则对。
• 构造确保对于任意ε-优良分划，至少存在εk个不同的集合Z，使得(Z_0, Z)为ε-不正则，这是归纳下界的关键。