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

Revisiting sums and products in countable and finite fields

基本信息

论文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$
对于特征为0的可数域：任何非常数多项式都是可容许的

定义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完成证明