Simultaneous popular polynomial differences over finite fields

タイトル：有限体における同時的な多項式人気差分
著者：David Conlon, Dingding Dong, Guo-Dong Hong

1. 問題設定と動機

本論文は、加法組合せ論における「人気な差分（popular difference）」現象、特に有限体の文脈における現象を扱っている。この概念は、Greenの人気な差分定理に由来する。同定理は、任意の密な部分集合 $A \subseteq \mathbb{F}_p$ に対して、公差 $d$ を持つ長さ3の算術級数の密度がランダムな期待値（$\alpha^3$）に近くなるような、非ゼロの差分 $d$ が存在することを主張している。

著者らは、以下の2つの関連するが異なる問いを調査している：

1. $\mathbb{F}_p$ における同時性： 単一の非ゼロのパラメータ $d$ が、複数の異なる多項式構成に対して同時に「人気な差分」として機能し得るか？具体的には、定数項がゼロである線形独立な多項式の集合 $P = \{P_1, \dots, P_k\}$ が与えられたとき、すべての部分構成 $x, x+P_i(d)$ がランダムに近い密度で出現するような $d$ が存在するのか？
2. $\mathbb{F}_p^n$ における限界： 標準的な算術級数（ここで $P_i(d) = id$）において、次元 $n$ が無限大に増大し、かつ標数が $p$ で固定されている場合にも、同様の同時的な現象が成立するか？著者らは、単一の $d$ が、$d$ と $2d$ の両方を3項算術級数の人気な差分にするために同時に機能できるかどうかを検証している。

2. 手法

本論文は、加法組合論、フーリエ解析、およびエルゴード理論のアナログを組み合わせた手法を用いている。

正の結果（定理 1.1）に対して：
証明は、有限体への適応による3段階の戦略に基づいている：

• 多項式シュニレルマン・セメルヴェーディ定理（Polynomial Szemerédi Theorem）： 著者らは、線形独立な多項式に対する漸近的独立性を確立するために、Peluseの有限体多項式セメルヴェーディ定理を利用している。これにより、多項式計数演算子に対する $U_2$ 型の制御評価が得られる。
• 算術的正則化分解（Arithmetic Regularity Decomposition）： 指標関数 $1_A$ を、3つの成分（構造的部分 $f_{str}$、擬似ランダム的部分 $f_{psr}$、および小さな誤差部分 $f_{sml}$）に分解する。
  • 構造的部分は、低ランクのBohr集合による平行移動に対して近似的に不変である。
  • 擬似ランダム的部分は、フーリエ係数が小さい。
  • 小さな部分は、$L^2$ ノルムが無視できる程度に小さい。
• Bohr集合の等分布性： 重要な技術的補題（補題 3.4）は、線形独立な多項式に対して、ランダムなパラメータ $d$ の像 $P_i(d)$ が、固定された低ランクのBohr集合に関して等分布であることを示している。これにより、すべてのシフト $P_i(d)$ が構造的部分を制御するBohr集合内に収まり、構造的部分の寄与を最大化しつつ、擬似ランダム的部分と小さな部分を抑制できるような $d$ を見つけることが可能となる。

負の結果（定理 1.2）に対して：
$\mathbb{F}_p^n$ における反例の構成には、以下が含まれる：

• 二次フーリエ解析： 著者らは、二次形式 $Q(x) = \sum x_i^2$ に依存する関数 $f$ を $\mathbb{F}_p^n$ 上に構成する。これにより、$\mathbb{F}_p^n$ における3項算術級数の計数の問題が、$\mathbb{F}_p$ 上の2変数平均へと還元される。
• 三角多項式の構成： 任意の $x$ に対して、$P(x)$ または $P(4x)$ の少なくとも一方が有意に負となるような、トーラス $\mathbb{T}$ 上の特定の三角多項式 $P(x)$ を構成する。
• 有限体への実現： 補題 4.5 を用いて、この三角多項式を関数 $F: \mathbb{F}_p \to [0,1]$ の非ゼロ周波数寄与として実現する。これを二次形式を介して $\mathbb{F}_p^n$ へ持ち上げることで、同時的な人気な差分の条件が失敗する集合を作成する。

3. 主要な貢献と結果

定理 1.1（$\mathbb{F}_p$ における同時的な人気な差分）：
$P = \{P_1, \dots, P_k\} \subset \mathbb{Z}[t]$ を、定数項がゼロである線形独立な多項式の集合とする。任意の $\epsilon > 0$、十分大きな素数 $p$、および密度 $\alpha$ の集合 $A \subseteq \mathbb{F}_p$ に対して、以下の条件を同時に満たす非ゼロの $d \in \mathbb{F}_p$ が存在する：
$$\mathbb{E}_{x \in \mathbb{F}_p} 1_A(x) \prod_{i=1}^k 1_A(x + P_i(d))^{\omega_i} \ge \alpha^{1 + \sum \omega_i} - \epsilon$$
ここで、$\omega = (\omega_1, \dots, \omega_k) \in \{0, 1\}^k$ について考える。

• 意義： これは、Frantzikinakis–Kra による結果（完全な構成）と Lyall–Magyar による結果（同時的な個別の回帰）の両方を一般化し、単一のパラメータ $d$ が多項式パターンのすべての部分構成に対して機能することを確立している。

定理 1.2（$\mathbb{F}_p^n$ における限界）：
十分大きな素数 $p$ に対して、ある定数 $c > 0$ が存在し、すべての十分大きな $n$ に対して、密度 $1/2 + o_n(1)$ を持つ集合 $A \subseteq \mathbb{F}_p^n$ が存在し、以下を満たす：
$$\max_{d \neq 0} \min \left\{ \mathbb{E}_{x} 1_A(x)1_A(x+d)1_A(x+2d), \mathbb{E}_{x} 1_A(x)1_A(x+2d)1_A(x+4d) \right\} \le \frac{1}{8} - c.$$

• 意義： これは、人気な差分の性質を $d$ と $2d$ の同時性へと強化しようとする試みが、高次元のベクトル空間（特に $\mathbb{F}_p$ と $\mathbb{F}_p^n$ の違い）においては、最も単純な算術級数のケースにおいてさえも失敗することを示している。

4. 意義と主張

本論文は、有限体における同時的な回帰現象の「強化された類似物」を提供することを主張しており、Frantzikinakis–Kra および Lyall–Magya による先行研究を統合している。主要な貢献は、多項式の線形独立性が、すべての部分構成をカバーする単一の人気な差分の存在のための十分条件であることを証明した点にある。

逆に、本論文は、この現象の「鋭い限界」をも強調している。$\mathbb{F}_p^n$ における反例を構成することで、著者らは、同時的な人気な差分の性質が普遍的なものではないことを示している。それは、基礎となる群の構造（具体的には $\mathbb{F}_p$ と $\mathbb{F}_p^n$ の区別）および構成の性質（多項式か線形か）に決定的に依存している。

著者らは結びの言葉において、自らの証明が正則化手法（タワー型の境界を与える）に依存しているものの、この特定の結果に対してそのような境界が必要であるのか、あるいはより直接的なアプローチがより良い定量的評価をもたらすのかについては未解決の問題であると述べている。また、有理関数への拡張や、より長い算術級数や異なるスケーリング因子（例えば $d$ と $d^2$）に関する同時的な人気な差分についての未解決問題についても言及している。