[論文レビュー] 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

ひとこと要約

本稿は、有限体 Fp 上のフライマン多重準同型写像について逆定理を確立する。任意の多重準同型写像が、Fp 上のベクトル空間の直積の稠密部分集合上で定義されているとき、その写像は、パラメータ 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-準同型写像（フライマン準同型写像）の逆定理を、多変数設定に一般化すること。
• 積空間の稠密部分集合上で、近似的に多重線形的または多重アフィン的である関数の構造的特徴付けを提供すること。
• 得られた結果を応用し、高特徴値の場合の有限体上での一様性ノルムおよび近似多項式に関する定量的逆定理を導出すること。
• 特徴値に関する仮定なしに、G1 × ⋯ × Gk の稠密部分集合が各主方向において部分空間であるような構造定理を証明すること。

提案手法

• 各方向 d に対して、変数 xd におけるスライス写像が、次数 k のフライマン準同型写像であるような関数 φ: A → H を多重準同型写像と定義する。
• 帰納法と繰り返し制限を用いて、スライス上での φ の構造を制御し、次数 k のフライマン準同型写像が多項式位相によって制御されることを活用する。
• 一般化されたボゴリューボフ＝ルズァ補題を適用し、φ が多重アフィン写像のように振る舞う大きな構造的部分空間を特定する。
• 一様性ノルムおよびその逆定理を用いて、φ の複雑さと、それが多重アフィン写像とどれほど一致するかを関連付ける。
• 繰り返し多項式近似とニルスペースの理論を用いて、多重アフィン近似における誤差を制御する。
• k および δ−1 における指数の塔に比例する密度の一致を示し、その指数は k および p に依存する。

実験結果

リサーチクエスチョン

• RQ1 G1 × ⋯ × Gk の稠密部分集合上で定義された多重準同型写像が、大きな部分集合上で多重アフィン写像と一致する条件は何か？
• RQ2 2-準同型写像の逆定理を、明示的な定量的バインディングを伴って、多変数の場合に拡張できるか？
• RQ3 一致する稠度と、それらのフライマン多重準同型写像の複雑さとの間の定量的関係は何か？
• RQ4 このような逆定理をどのように応用することで、高特徴値有限体上での一様性ノルムに関する定量的結果を得られるか？
• RQ5 高特徴値を仮定せずに、各主方向において部分空間である稠密集合に対して構造定理を得ることは可能か？

主な発見

• 任意の多重準同型写像 φ が、G1 × ⋯ × Gk の部分集合 A ⊂ で稠度 δ に対して定義されているとき、φ = Φ を満たす多重アフィン写像 Φ が存在し、その一致する集合の稠度は (exp(Dmh_k) · Ok,p(δ−1))−1 以上である。
• 定数 Dmh_k は、ある絶対定数 C を用いて C³ᵏ(k+1)! で上界をもつことが示され、k への依存度が高々三重指数的であることがわかる。
• この結果により、高特徴値の場合の有限体上での一様性ノルムに関する定量的逆定理が得られ、従来の定性的な結果を改善する。
• 有限次元 Fp-ベクトル空間 G から H への近似多項式写像に関する定量的逆定理が得られる。
• この定理は、各主方向において部分空間である G1 × ⋯ × Gk の稠密部分集合に関する構造定理を示し、特徴値に関する仮定なしに成立する。