[论文解读] An inverse theorem for Freiman multi-homomorphisms

W. T. Gowers, Luka Milićević|arXiv (Cornell University)|Feb 26, 2020

Limits and Structures in Graph Theory参考文献 29被引用 9

一句话总结

本文建立了有限域上Freiman多同态的逆定理：任何定义在向量空间乘积的稠密子集上的多同态，在一个与参数k和定义域密度δ的指数塔成反比的密度集合上，与一个多仿射映射一致。该结果为高特征值情形下的近似多项式、一致范数以及主方向上的子空间提供了定量结构定理。

ABSTRACT

Let $G_1, \dots, G_k$ and $H$ be vector spaces over a finite field $\mathbb{F}_p$ of prime order. Let $A \subset G_1 imes\dots imes G_k$ be a set of size $δ|G_1| \cdots |G_k|$. Let a map $ϕ\colon A o H$ be a multi-homomorphism, meaning that for each direction $d \in [k]$, and each element $(x_1, \dots, x_{d-1}, x_{d+1}, \dots, x_k)$ of $G_1 imes\dots imes G_{d-1} imes G_{d+1} imes \dots imes G_k$, the map that sends each $y_d$ such that $(x_1, \dots,$ $x_{d-1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k) \in A$ to $ϕ(x_1, \dots,$ $x_{d-1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k)$ is a Freiman homomorphism (of order 2). In this paper, we prove that for each such map, there is a multiaffine map $Φ\colon G_1 imes\dots imes G_k o H$ such that $ϕ= Φ$ on a set of density $\Big(\exp^{(O_k(1))}(O_{k,p}(δ^{-1}))\Big)^{-1}$, where $\exp^{(t)}$ denotes the $t$-fold exponential. Applications of this theorem include: $\bullet$ a quantitative inverse theorem for approximate polynomials mapping $G$ to $H$, for finite-dimensional $\mathbb{F}_p$-vector spaces $G$ and $H$, in the high-characteristic case, $\bullet$ a quantitative inverse theorem for uniformity norms over finite fields in the high-characteristic case, and $\bullet$ a quantitative structure theorem for dense subsets of $G_1 imes\dots imes G_k$ that are subspaces in the principal directions (without additional characteristic assumptions).

研究动机与目标

• 在有限维Fp-向量空间背景下，建立多同态的定量逆定理。
• 将经典2-同态（Freiman同态）的逆定理推广至多变量情形。
• 对在乘积空间稠密子集上近似多线性或多多仿射的函数提供结构表征。
• 将结果应用于推导高特征值情形下一致范数与近似多项式的定量逆定理。
• 在不假设特征值高的前提下，证明关于G1 × ⋯ × Gk中稠密子集在每个主方向上为子空间的结构定理。

提出的方法

• 将多同态定义为函数φ: A → H，使得对每个方向d，关于xd的截面映射是k阶Freiman同态。
• 通过归纳法与迭代限制控制φ在截面上的结构，利用k阶Freiman同态受多项式相位控制的事实。
• 应用广义的Bogolyubov-Ruzsa引理，寻找一个大而结构化的子空间，使得φ在该子空间上表现如多仿射映射。
• 运用一致范数及其逆定理，将φ的复杂性与它与多仿射映射的一致性联系起来。
• 通过迭代多项式逼近与nillspac的理论控制多仿射逼近中的误差。
• 使用k和δ⁻¹的指数塔来界定一致性的密度，其中指数依赖于k和p。

实验结果

研究问题

• RQ1 在G1 × ⋯ × Gk的稠密子集上，多同态在何种条件下会在一个大子集上与多仿射映射一致？
• RQ2 2-同态的逆定理能否推广到多变量情形，并给出显式的定量界？
• RQ3 一致性密度与底层Freiman多同态复杂性之间的定量关系为何？
• RQ4 此类逆定理如何用于推导高特征值有限域上一致范数的定量结果？
• RQ5 能否在不假设高特征值的前提下，获得在每个主方向上为子空间的稠密子集的结构定理？

主要发现

• 对于任意定义在A ⊂ G1 × ⋯ × Gk（密度为δ）上的多同态φ，存在一个多仿射映射Φ，使得φ = Φ在密度至少为(exp(Dmh_k) · Ok,p(δ⁻¹))⁻¹的集合上成立。
• 常数Dmh_k满足Dmh_k ≤ C³ᵏ(k+1)!，其中C为某绝对常数，表明其对k的依赖关系至多为三重指数级。
• 该结果为高特征值情形下有限域上的一致范数提供了定量逆定理，优于以往的定性结果。
• 它为从有限维Fp-向量空间G到H的近似多项式提供了定量逆定理。
• 该定理蕴含了关于G1 × ⋯ × Gk中在每个主方向上为子空间的稠密子集的结构定理，且无需特征值假设。