Gowers 正则性引理下界的一个简短证明

Gowers 的一个著名结果指出，对于任意$\epsilon > 0$，存在一个图$G$，使得$G$的每个$\epsilon$-正则划分（按 Szemeredi 正则性引理的意义）的阶由一个高度为$1/\epsilon$的多项式的指数塔给出。在本文中，我们给出了该结果的一个新证明，其构造和正确性证明显著更简单且更简短。