[論文レビュー] Asymptotic upper bounds on progression-free sets in $\mathbb{Z}_p^n$

Dion Gijswijt|arXiv (Cornell University)|May 18, 2016

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

ひとこと要約

本稿は、奇素数 $ p $ に対して $ \bbZ_p^n $ における等差数列を含まない部分集合のサイズに対して、$ O(p^{cn}) $ の漸近的上限を確立している。ここで $ c = 1 - \frac{1}{18/\log p} < 1 $ である。この結果は最適化された多項式法を用いて得られ、$ p=3 $ の場合、$ \bbF_3^n $ におけるアフィンキャップの上限として $ O(2.84^n) $ を得る。これは従来の上限を改善し、指数部分では既知の最良下限と一致する。

ABSTRACT

We show that any subset of $\mathbb{Z}_p^n$ ($p$ an odd prime) without $3$-term arithmetic progression has size $O(p^{cn})$, where $c:=1-\frac{1}{18\log p}&lt;1$. In particular, we find an upper bound of $O(2.84^n)$ on the maximum size of an affine cap in $GF(3)^n$.

研究の動機と目的

• 奇素数 $ p $ に対して $ \bbZ_p^n $ における等差数列を含まない部分集合のサイズに関する、よりタイトな漸近的上限を確立すること。
• Croot, Lev, および Pach の多項式法を $ \bbZ_4^n $ の場合から奇素数 $ p $ に対して拡張し、$ \bbZ_p^n $ に応用すること。
• $ p=3 $ の場合に、Meshulam の $ O(p^n / n) $ および Bateman-Katz の $ O(3^n / n^{1+\epsilon}) $ の上限に対する定量的改善を達成すること。
• 一般に $ c < 1 $ である $ O(p^{cn}) $ の形の上限を導出し、自明な $ p^n $ の上限に比べて指数部分で指数的削減を示すこと。

提案手法

• 有限体 $ \bbF_p $ 上の多変数多項式を用いる多項式法を採用し、各変数の次数が $ p-1 $ 未満である単項式に制限する。
• Hoeffding の不等式を用いて、低次多項式空間 $ L_{n,d} $ の次元を推定する。特に $ d = \frac{1}{3}(p-1)n $ の場合を扱う。
• 多項式 $ f(x+y) $ の評価を通じて対称的双一次形式を導入し、$ A \times A $ 行列の構造を活用して等差数列を含まない集合を制御する。
• 和集合 $ C = \{a+a \mid a \in A\} $ 上で消える部分空間 $ K $ と、次数が $ \frac{2}{3}(p-1)n $ 未満の多項式空間 $ L $ の共通部分 $ V = K \cap L $ を構成し、$ A $ のサイズを制御する。
• 行列 $ M_{a,b} = f(a+b) $ のランクの上限を用いて、$ A $ のサイズと低次多項式空間の次元を Proposition 2 を通じて関連付ける。
• 双対性と次元数え上げを用いる：$ \dim V \geq |C| - p^{cn} $ であり、$ C' \subseteq C $ 上で消えない多項式を構成することで $ |A| \leq 3p^{cn} $ を示す。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $ p $ に対して、$ \bbZ_p^n $ における等差数列を含まない部分集合のサイズの最良の漸近的上限は何か？
• RQ2 $ \bbZ_4^n $ に対して用いられた多項式法を奇素数 $ p $ に対して $ \bbZ_p^n $ に拡張可能か？ また、その場合に得られる改善は何か？
• RQ3 $ p=3 $ の場合に、本稿の上限が Meshulam よりも Bateman-Katz の既存の最良上限と比較してどうなるか？
• RQ4 上限の指数を $ p^n $ よりも小さくできるか？ また、$ |A| = O(p^{cn}) $ を満たす最適な $ c $ の値は何か？
• RQ5 $ \bbF_3^n $ におけるアフィンキャップのサイズの最もタイトな既知の上限は何か？

主な発見

• 任意の奇素数 $ p $ に対して、$ \bbZ_p^n $ における等差数列を含まない部分集合のサイズは、$ O(p^{cn}) $ で抑えられ、ここで $ c = 1 - \frac{1}{18\log p} < 1 $ である。これは自明な $ p^n $ の上限に比べて指数的削減を示す。
• $ p=3 $ の場合、上限は $ O(2.84^n) $ に改善され、これは Bateman と Katz が得た $ O(3^n / n^{1+\epsilon}) $ の既存の最良上限よりもタイトである。
• $ \bbF_3^n $ におけるアフィンキャップの上限 $ O(2.84^n) $ は、既知の最良下限 $ \Omega(2.2174^n) $ に定数倍の要因で近い。これは漸近的に非常にタイトであることを示している。
• 本手法は、低次多項式空間の次元を推定するにあたり、Hoeffding の不等式の洗練された応用に依存しており、これが指数 $ c $ の導出に寄与している。
• 証明により、等差数列を含まない集合 $ A $ のサイズは $ |A| \leq 3p^{cn} $ を満たし、等号成立条件は多項式空間の次元数え上げと行列 $ f(a+b) $ のランクに関する議論によって導出される。
• この結果は Jordan S. Ellenberg によっても独立に得られており、両者の研究は後に共同出版に統合され、上限の強固さと重要性が裏付けられた。