[论文解读] Rank counting and maximum subsets of $\mathbb{F}^n_q$ containing no right angles

Gennian Ge, Chong Shangguan|arXiv (Cornell University)|Dec 25, 2016

Limits and Structures in Graph Theory参考文献 11被引用 6

一句话总结

本文基于陶哲轩的多项式方法提出了一种改进的秩计数论证，用于建立 $\mathbb{F}_q^n$ 中不包含三个不同元素构成直角（即满足 $\langle x-y, z-y \rangle = 0$）的子集大小的上界。证明表明，最大大小至多为 $\binom{n+q}{q-1} + 3$，显著优于以往的界限，并得到了关于 $n$ 的多项式上界，这与近期多项式方法应用中常见的指数型界限形成鲜明对比。

ABSTRACT

Recently, Croot, Lev, and Pach (Ann. of Math., 185:331--337, 2017.) and Ellenberg and Gijswijt (Ann. of Math., 185:339--443, 2017.) developed a new polynomial method and used it to prove upper bounds for three-term arithmetic progression free sets in $\mathbb{Z}_4^n$ and $\mathbb{F}_3^n$, respectively. Their approach was summarized by Tao as a rank counting argument of functions and hypermatrices. In this paper, we first present a variant of Tao's counting formula, then apply it to obtain an upper bound for the cardinality of maximal subsets of $\mathbb{F}^n_q$ containing no right angles. To be more precise, we prove that if $q$ is a fixed odd prime power, then the maximal cardinality of a subset $A$ of $\mathbb{F}_q^n$ with no three distinct elements $x,y,z\in A$ satisfying $ =0$ is at most $\binom{n+q}{q-1}+3$. Our bound substantially improves the known upper bound $\mathcal{O}(q^{\frac{n+2}{3}})$. Moreover, it is tight up to a constant depending only on $q$. Interestingly, our result is quite different from the previous ones obtained by the newly developed polynomial method, i.e., our upper bound is of magnitude $ m{poly}$($n$) instead of $\exp(n)$.

研究动机与目标

• 解决 $\mathbb{F}_q^n$ 中不包含三个不同点构成直角的子集最大大小的问题。
• 改进此类子集现有上界 $\mathcal{O}(q^{(n+2)/3})$ 的估计。
• 应用陶哲轩秩计数公式的变体，推导出更紧致、更具结构性的上界。
• 证明新上界在仅依赖于 $q$ 的常数因子范围内是紧致的，并表明其关于 $n$ 是多项式关系，与以往方法所得的指数型界限形成对比。

提出的方法

• 开发了陶哲轩秩计数公式的变体，用于分析 $\mathbb{F}_q^n$ 中与直角条件相关的函数和超矩阵。
• 该方法聚焦于双线性型条件 $\langle x-y, z-y \rangle = 0$，以刻画直角三元组。
• 分析利用对称多重线性型及其秩分解，以限制避免此类构型的集合大小。
• 关键步骤涉及通过关联张量或超矩阵的秩，来限制此类构型的数量。
• 通过将秩与避免直角的最可能子集大小相关联，推导出上界 $\binom{n+q}{q-1} + 3$。
• 该方法利用 $\mathbb{F}_q^n$ 的组合与代数性质，实现了关于 $n$ 的多项式依赖关系。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_q^n$ 中，不包含三个不同元素构成直角（即满足 $\langle x-y, z-y \rangle = 0$）的子集 $A$ 的最大大小是多少？
• RQ2 能否对多项式方法进行调整，以获得此类极值集合关于 $n$ 的多项式上界，而非指数型上界？
• RQ3 新上界 $\binom{n+q}{q-1} + 3$ 与先前已知的 $\mathcal{O}(q^{(n+2)/3})$ 估计相比，在紧致性和渐近行为方面有何差异？
• RQ4 新上界是否在仅依赖于 $q$ 的常数因子范围内是紧致的？
• RQ5 在有限域上的向量空间中，避免直角的集合可提供哪些结构上的新见解？

主要发现

• 在 $\mathbb{F}_q^n$ 中，不包含三个不同元素构成直角的子集 $A$ 的最大大小至多为 $\binom{n+q}{q-1} + 3$。
• 该上界显著优于先前的 $\mathcal{O}(q^{(n+2)/3})$ 上界。
• 新上界关于 $n$ 是多项式关系，具体为 $\binom{n+q}{q-1}$ 阶，这与近期多项式方法应用中常见的指数型界限形成鲜明对比。
• 该上界在仅依赖于 $q$ 的加法常数范围内是紧致的，表明其具有极强的渐近精确性。
• 结果表明，当应用于有限域上的几何极值问题时，秩计数方法可产生定性不同的（多项式）上界。
• 该方法揭示了有限域几何中一种新的结构约束：避免直角将导致维数上组合增长的多项式界。