[論文レビュー] A quantitative inverse theorem for the $U^4$ norm over finite fields

W. T. Gowers, Luka Milićević|arXiv (Cornell University)|Dec 1, 2017

Limits and Structures in Graph Theory参考文献 8被引用数 7

ひとこと要約

この論文は、有限体 $\mathbb{F}_p^n$ 上での $U^4$ ノルムに対する逆定理の、有限的で定量的な証明を提供し、有界関数が大きな $U^4$ ノルムを持つ場合に、次数 3 以下の多項式位相関数との相関の明示的な下界を確立する。この下界は、$c$ を $U^4$ ノルムの下界とすると、$c^{-1}$ の準多項式関数の二重指数関数的関数として、二重指数的である。証明は、二重線形ボゴリューボフ法、対称性の議論、および多変数形式の安定性定理に依拠している。

ABSTRACT

A remarkable result of Bergelson, Tao and Ziegler implies that if $c>0$, $k$ is a positive integer, $p\geq k$ is a prime, $n$ is sufficiently large, and $f:\mathbb F_p^n o\mathbb C$ is a function with $\|f\|_\infty\leq 1$ and $\|f\|_{U^k}\geq c$, then there is a polynomial $π$ of degree at most $k-1$ such that $\mathbb E_xf(x)ω^{-π(x)}\geq c'$, where $ω=\exp(2πi/p)$ and $c'>0$ is a constant that depends on $c,k$ and $p$ only. A version of this result for low-characteristic was also proved by Tao and Ziegler. The proofs of these results do not yield a lower bound for $c'$. Here we give a different proof in the high-characteristic case when $k=4$, which enables us to give an explicit estimate for $c'$. The bound we obtain is roughly doubly exponential in the other parameters.

研究の動機と目的

• 高特徴的の場合（$p \geq 5$）における $\mathbb{F}_p^n$ 上での $U^4$ ノルムに対する、有限的で定量的な逆定理の証明を行う。
• 大きな $U^4$ ノルムを持つ関数と立方位相関数との間の相関に対して、明示的かつ有効な下界を確立する。
• ベルゲルソン、タオ、ジーグラーによる従来の無限的証明に、定量的推定が欠落している問題を克服する。
• 二重線形ボゴリューボフ法の類似物や、高ランクの二重線形レベル集合上でのほぼ二重線形関数の安定性定理といった、新たな道具を開発する。

提案手法

• ガウスの 5 項等差数列定理の証明で用いられた技術、特に $U^4$ ノルムに依存するものに、適応・簡略化する。
• 関数が二重線形位相関数と良好に相関する高ランクの二重線形ボーア集合を構成するため、ボゴリューボフ法の二重線形版を導入する。
• グリーンとタオにインspされた対称性の議論を用いて、三重線形形式を対称的かつ低ランクの部分に分解する。
• 高ランクの二重線形関数のレベル集合上でのほぼ二重線形関数の安定性定理を用いて、誤差項を制御する。
• 結果として得られるボーア集合のコデュメイションをバウンドするため、洗練された包含除算の議論を用いる。これは最終的な相関推定に影響を与える。
• 初期の $U^4$ ノルム $c$ および素数 $p$ に対する相関下界の依存関係を追跡し、$c^{-1}$ の準多項式関数の二重指数的推定に至る。

実験結果

リサーチクエスチョン

• RQ1 大きな $U^4$ ノルムを持つ関数と立方位相関数との相関の定量的依存関係は、初期の $U^4$ ノルム $c$ に対してどのように依存するか？
• RQ2 有限体 $\mathbb{F}_p^n$ 上での $U^4$ ノルムに対する無限的逆定理を、相関の明示的推定を伴って有効化できるか？
• RQ3 有限体上の関数における二重線形および多変数線形構造は、どのようにして一様ノルムに対する定量的制御を得るために利用できるか？
• RQ4 多変数形式の解析的ランクは、有効な逆定理を構築する際に果たす役割は何か？
• RQ5 これらの証明技法は、より高い $U^k$ ノルムや $\mathbb{Z}_N$ などの他の群に一般化可能か？

主な発見

• 本論文は、$\mathbb{F}_p^n$ 上での $U^4$ ノルムに対する定量的逆定理を確立し、関数 $f$ と立方位相関数との間の相関に明示的な下界を示した。
• 相関下界は、少なくとも $\exp\big(\exp(2^{500}(\log(c^{-1}) + \log p)^6)\big)^{-1}$ であり、これは $c^{-1}$ の準多項式関数の二重指数的関数である。
• この下界は有効的かつ明示的であり、元のベルゲルソン、タオ、ジーグラーによる無限的証明とは異なり、定量的推定を一切得られなかった。
• 高ランクの二重線形ボーア集合を構成し、関数が二重線形位相関数と小 $L_2$ 誤差で良好に相関する、新たな二重線形ボゴリューボフ補題が開発された。
• 高ランクの二重線形関数のレベル集合上でのほぼ二重線形関数の安定性定理が証明され、分解における誤差項の制御が可能になった。
• ガウスの元の論文の技術的第10節に依存することを避け、重要な要素を簡略化し、新たな解析的道具を導入した。