[论文解读] Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets

Terence Tao|arXiv (Cornell University)|Nov 13, 2012

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

一句话总结

本文建立了大特征有限域上多项式的一个二分法：要么多项式在强代数意义下中等程度地扩展集合，要么具有如 $ Q(F(x)+G(y)) $ 或 $ Q(F(x)G(y)) $ 的结构化形式。关键贡献是为有限域上的可定义集提出了一种新的代数正则性引理，该引理通过平展基本群和非标准分析，强化了Szémeredi正则性引理，确保所有组成部分都高度正则。

ABSTRACT

Let $P: \F imes \F o \F$ be a polynomial of bounded degree over a finite field $\F$ of large characteristic. In this paper we establish the following dichotomy: either $P$ is a moderate asymmetric expander in the sense that $|P(A,B)| \gg |\F|$ whenever $A, B \subset \F$ are such that $|A| |B| \geq C |\F|^{2-1/8}$ for a sufficiently large $C$, or else $P$ takes the form $P(x,y) = Q(F(x)+G(y))$ or $P(x,y) = Q(F(x) G(y))$ for some polynomials $Q,F,G$. This is a reasonably satisfactory classification of polynomials of two variables that moderately expand (either symmetrically or asymmetrically). We obtain a similar classification for weak expansion (in which one has $|P(A,A)| \gg |A|^{1/2} |\F|^{1/2}$ whenever $|A| \geq C |\F|^{1-1/16}$), and a partially satisfactory classification for almost strong asymmetric expansion (in which $|P(A,B)| = (1-O(|\F|^{-c})) |\F|$ when $|A|, |B| \geq |\F|^{1-c}$ for some small absolute constant $c>0$). The main new tool used to establish these results is an algebraic regularity lemma that describes the structure of dense graphs generated by definable subsets over finite fields of large characteristic. This lemma strengthens the Szémeredi regularity lemma in the algebraic case, in that while the latter lemma decomposes a graph into a bounded number of components, most of which are $\eps$-regular for some small but fixed $ε$, the latter lemma ensures that all of the components are $O(|\F|^{-1/4})$-regular. This lemma, which may be of independent interest, relies on some basic facts about the étale fundamental group of an algebraic variety.

研究动机与目标

• 基于其扩展性质，对大特征有限域上的二元多项式进行分类。
• 在对称与非对称设置下，解决中等、弱及准强扩展的结构 vs. 扩展二分法问题。
• 为代数几何中有限域上的可定义集开发一种新的正则性引理，改进经典Szémeredi正则性引理。

提出的方法

• 引入非标准分析框架，处理大小递增的有限域序列及有界次数的多项式。
• 利用平展基本群分析可定义集及其纤维积的结构。
• 证明关于代数曲线去除子簇后基本群的有限型完备化的弱平展van Kampen定理。
• 建立一种新的代数正则性引理，保证图分解的所有部分均为 $ O(|\mathbf{F}|^{-1/4}) $-正则，而非仅大多数部分为 $ \varepsilon $-正则。
• 将正则性引理应用于分析多项式映射 $ P(A,B) $ 的像大小，从而得出二分法结果。
• 利用基本群的结构排除某些扩展行为，从而将多项式分类为结构化或扩展型。

实验结果

研究问题

• RQ1 在大特征有限域 $ \mathbf{F} $ 上，多项式 $ P(x,y) $ 在什么条件下对大子集 $ A,B \subset \mathbf{F} $ 满足 $ |P(A,B)| \gg |\mathbf{F}| $？
• RQ2 何时多项式 $ P(x,y) $ 必然具有形式 $ Q(F(x)+G(y)) $ 或 $ Q(F(x)G(y)) $，何时会显著扩展？
• RQ3 能否将有限域上可定义集的正则性引理强化至超越经典Szémeredi引理的程度，使所有部分均具有统一正则性？
• RQ4 代数曲线的平展基本群如何与有限域上多项式映射的扩展性质相关联？
• RQ5 扩展的精确阈值是多少，其与输入集 $ A,B $ 大小的关系如何，又如何与 $ P $ 的代数结构相关？

主要发现

• 在大特征有限域上的多项式 $ P(x,y) $ 要么是中等非对称扩展器，要么具有结构化形式 $ Q(F(x)+G(y)) $ 或 $ Q(F(x)G(y)) $，阈值为 $ |A||B| \geq C|\mathbf{F}|^{2-1/8} $。
• 对于弱扩展，相同二分法成立，阈值为 $ |A| \geq C|\mathbf{F}|^{1-1/16} $，结构化形式仍为 $ Q(F(x)+G(y)) $ 或 $ Q(F(x)G(y)) $。
• 对于准强非对称扩展，分类部分令人满意：若 $ |P(A,B)| = (1-O(|\mathbf{F}|^{-c}))|\mathbf{F}| $，则 $ P $ 要么是结构化的，要么满足强扩展条件。
• 新代数正则性引理确保图分解的所有部分均为 $ O(|\mathbf{F}|^{-1/4}) $-正则，相比经典引理仅保证大多数部分为 $ \varepsilon $-正则，这是显著改进。
• 证明依赖于平展基本群及其有限型完备化，弱平展van Kampen定理表明 $ \pi_1(W\setminus(W_1\cup W_2),p) $ 通过 $ \pi_1(W\setminus W_1,p) $ 与 $ \pi_1(W\setminus W_2,p) $ 在 $ \pi_1(W,p) $ 上的纤维积进行满射。
• 结果在大小递增的有限域序列中具有一致性，通过非标准分析形式化，且二分法在极限下一致成立。