2025-11-15T13:31:10.610441

Revisiting sums and products in countable and finite fields

Kousek

We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large" set $E\subset K$ contains "many" patterns of the form $\{p(x)+y,xy\}$, for every non-constant polynomial $p(x)\in K[x]$. Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a new finitistic variant of Bergelson's "colouring trick", show that for $r\in \mathbb{N}$ fixed, any $r-$colouring of a large enough finite field will contain monochromatic patterns of the form $\{x,p(x)+y,xy\}$. In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalisation of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic "colouring trick", we provide a conditional, elementary generalisation of Green and Sanders' $\{x,y,x+y,xy\}$ theorem.

academic

可算体と有限体における和と積の再検討

基本情報

論文ID: 2407.03304
タイトル: Revisiting sums and products in countable and finite fields
著者: Ioannis Kousek（ウォーリック大学数学科）
分類: math.CO（組合論）、math.DS（力学系）
発表日: 2024年7月3日
論文リンク: https://arxiv.org/abs/2407.03304

要旨

本論文は、可算体 $K$ のアフィン群作用に対する多項式エルゴード定理を確立する。応用として、Furstenberg対応原理の変種を通じて、特性がゼロの体に対して、任意の「大きな」集合 $E\subset K$ が「多くの」 $\{p(x)+y,xy\}$ 形式のパターンを含むことを証明する。ここで $p(x)\in K[x]$ は任意の非定数多項式である。

この手法は十分に柔軟であり、有限体の設定で類似の密度結果を回復でき、Bergelsonの「着色技巧」の新しい有限変種を用いて、固定された $r\in \mathbb{N}$ に対して、十分に大きい有限体の任意の $r$ -着色が $\{x,p(x)+y,xy\}$ 形式の単色パターンを含むことを証明する。

研究背景と動機

核心問題

本論文が研究する核心問題はHindmanの有名な未解決問題に由来する： $\mathbb{N}$ の任意の有限着色に対して、常に $x,y\in\mathbb{N}$ が存在して $\{x,y,x+y,xy\}$ が単色であるか？

研究の重要性

理論的意義：このような問題は加法と乗法構造の深い関連性に関わり、加法組合論とエルゴード理論の交差点である
方法の革新性：エルゴード理論の方法を多項式パターンに拡張し、組合論に新しい道具を提供する
応用価値：結果は有限体における密度問題と単色パターン問題に重要な応用を持つ

既存研究の限界

Moreiraの定理： $\{x,x+y,xy\}$ パターンのみを扱い、より一般的な多項式を含まない
Shkredovの結果：素数位数の有限体 $\mathbb{Z}_p$ に限定される
Green-Sandersの定理：対応する密度版が欠けている

研究の動機

本論文は既存の結果を以下に推広することを目指す：

一般的な多項式パターン $\{p(x)+y,xy\}$
任意の有限体（素数位数のみならず）
統一されたエルゴード理論の枠組みの構築

核心的貢献

多項式エルゴード定理：可算体のアフィン群作用に対する多項式平均エルゴード定理を確立（定理1.13）
密度結果の推広：Bergelson-Moreiraの密度定理を一般的な多項式パターンに推広（定理1.12）
有限体版：有限体における対応する密度結果の定量版を提供（定理1.14）
新しい着色技巧：有限の場合の「着色技巧」を発展させ、単色性結果を証明（定理1.15）
二重エルゴード定理：エルゴード性の仮定の下で二重エルゴード定理を確立（定理1.16）
Shkredov定理の推広：Shkredov定理を任意の有限体に推広（定理1.18）

方法の詳細

核心概念の定義

定義1.10（許容多項式）：

特性が $q$ の体 $K$ に対して：多項式 $p(x)\in K[x]$ が許容であるとは、 $\deg(p(x))\leq q-1$ の場合である
特性がゼロの可算体に対して：任意の非定数多項式が許容である

定義1.7（二重Følner列）：可算体 $K$ における二重Følner列 $(F_N)_{N\in\mathbb{N}}$ は、任意の $x\in K^*$ に対して以下を満たす： $\lim_{N\to\infty}\frac{|F_N\cap(x+F_N)|}{|F_N|}=\lim_{N\to\infty}\frac{|F_N\cap(xF_N)|}{|F_N|}=1$

主要な技術的道具

1. アフィン群作用

可算体 $K$ に対して、アフィン変換群 $A_K=\{f:x\mapsto ux+v\mid u,v\in K, u\neq 0\}$ は、重要な恒等式を持つ： $M_uA_v = A_{uv}M_u \quad (2.1)$

2. van der Corput補題

補題2.5： $(G,\cdot)$ を可算アーベル群、 $(a_u)_{u\in G}$ をHilbert空間 $H$ の有界列とする。もし $\lim_{M\to\infty}\frac{1}{|F_M|}\sum_{v\in F_M}\limsup_{N\to\infty}\frac{1}{|F_N|}\left|\sum_{u\in F_N}\langle a_{u\cdot v},a_u\rangle\right|=0$ ならば $\lim_{N\to\infty}\frac{1}{|F_N|}\sum_{u\in F_N}a_u=0$ 。

3. 多項式平均エルゴード定理

定理3.2： $K$ を可算体、 $p(x)\in K[x]\setminus K$ を許容多項式とすると、 $\lim_{N\to\infty}\frac{1}{|F_N|}\sum_{u\in F_N}A_{p(u)}f = P_Af$ ここで $P_A$ は加法部分群不変関数への直交射影である。

主要定理の証明の思路

定理1.13の証明の核心

$f\in L^2(X,\mu)$ に対して、 $a_u=M_uA_{-p(u)}f$ と設定し、van der Corput技巧を利用する：

分解： $f=P_Af+(f-P_Af)$
重要な評価： $b\neq 0$ に対して、 $\langle a_{ub},a_u\rangle = \langle A_{-p(ub)+p(u)/b}f,M_{1/b}f\rangle$
多項式の性質： $p(x)=q_0+q_1x+\cdots+q_mx^m$ の場合、 $p(ub)-p(u)/b = q_0\frac{b-1}{b}+u\left(q_1\frac{b^2-1}{b}\right)+\cdots$ は依然として $m$ 次多項式である
帰納的応用：定理3.2を適用して証明を完成させる

有限体の場合の技術的処理

命題4.2：有限体 $F$ と $q$ 次許容多項式 $p(x)$ に対して、 $\left\|\frac{1}{|F|}\sum_{u\in F}A_{p(u)}f-P_Af\right\|_2^2\leq\frac{q-1}{|F|^{1/2^{q-2}}}\|f-P_Af\|_2^2$

これは帰納法と命題2.7（有限群van der Corput補題）を通じて証明される。

実験設定と結果

定量的な界

定理1.14（有限体密度結果）

有限体 $F$ と $q$ 次許容多項式 $p(x)$ に対して、 $|E||G|>2(q+2)|F|^{2-(1/2^{q-1})}$ ならば、 $xy\in E$ かつ $p(x)+y\in G$ となる $x,y\in F^*$ が存在する。

定理1.18（Shkredov定理の推広）

任意の有限体 $F$ と集合 $B_1,B_2,B_3\subset F$ が $|B_1||B_2||B_3|\geq 8|F|^{5/2}$ を満たすならば、 $x+y\in B_1$ 、 $xy\in B_2$ 、 $x\in B_3$ となる $x,y\in F^*$ が存在する。

具体的な数値例

$|F|=3^6=729$ の体に対して、 $\{uv,u+v^2\}$ パターンを探すには $|E|>2\sqrt{2}\cdot 3^9\approx 396$ が必要
$|F|=3^7=2187$ の体に対して、 $|E|>2\sqrt{2}\cdot 3^{21/4}\approx 904$ が必要