Revisiting Sums and Products in Countable and Finite Fields

Basic Information

• Paper ID: 2407.03304
• Title: Revisiting sums and products in countable and finite fields
• Author: Ioannis Kousek (Department of Mathematics, University of Warwick)
• Classification: math.CO (Combinatorics), math.DS (Dynamical Systems)
• Publication Date: July 3, 2024
• Paper Link: https://arxiv.org/abs/2407.03304

Abstract

This paper establishes polynomial ergodic theorems for affine group actions on countable fields $K$. As an application, via a variant of the Furstenberg correspondence principle, it is proved that for fields of characteristic zero, any "large" set $E\subset K$ contains "many" patterns of the form $\{p(x)+y,xy\}$, where $p(x)\in K[x]$ is an arbitrary non-constant polynomial.

The approach is sufficiently flexible to recover similar density results in the finite field setting, and using a new finite variant of Bergelson's "coloring technique," it is shown that for fixed $r\in \mathbb{N}$, any $r$-coloring of a sufficiently large finite field contains monochromatic patterns of the form $\{x,p(x)+y,xy\}$.

Research Background and Motivation

Core Problem

The core problem studied in this paper originates from a famous open problem of Hindman: Given any finite coloring of $\mathbb{N}$, does there always exist $x,y\in\mathbb{N}$ such that $\{x,y,x+y,xy\}$ is monochromatic?

Research Significance

1. Theoretical Importance: These problems involve deep connections between additive and multiplicative structures, representing an intersection of additive combinatorics and ergodic theory
2. Methodological Innovation: Extends ergodic theory methods to polynomial patterns, providing new tools for combinatorics
3. Applied Value: Results have important applications to density problems and monochromatic pattern problems in finite fields

Limitations of Existing Work

1. Moreira's Theorem: Only addresses the $\{x,x+y,xy\}$ pattern, not more general polynomials
2. Shkredov's Results: Limited to finite fields of prime order $\mathbb{Z}_p$
3. Green-Sanders Theorem: Lacks a corresponding density version

Research Motivation

This paper aims to generalize existing results to:

1. General polynomial patterns $\{p(x)+y,xy\}$
2. Arbitrary finite fields (not just prime order)
3. Establish a unified ergodic theory framework

Core Contributions

1. Polynomial Ergodic Theorem: Establishes polynomial mean ergodic theorems for affine group actions on countable fields (Theorem 1.13)
2. Generalized Density Results: Extends Bergelson-Moreira density theorems to general polynomial patterns (Theorem 1.12)
3. Finite Field Versions: Provides quantitative versions of corresponding density results in finite fields (Theorem 1.14)
4. New Coloring Technique: Develops a "coloring technique" for the finite case, proving monochromaticity results (Theorem 1.15)
5. Double Ergodic Theorem: Establishes double ergodic theorems under ergodicity assumptions (Theorem 1.16)
6. Shkredov Theorem Generalization: Generalizes Shkredov's theorem to arbitrary finite fields (Theorem 1.18)

Methodology Details

Core Concept Definitions

Definition 1.10 (Admissible Polynomials):

• For a field $K$ of characteristic $q$: A polynomial $p(x)\in K[x]$ is admissible if and only if $\deg(p(x))\leq q-1$
• For countable fields of characteristic 0: Any non-constant polynomial is admissible

Definition 1.7 (Double Følner Sequence): A double Følner sequence $(F_N)_{N\in\mathbb{N}}$ in a countable field $K$ satisfies: for any $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$

Main Technical Tools

1. Affine Group Actions

For a countable field $K$, the affine transformation group $A_K=\{f:x\mapsto ux+v\mid u,v\in K, u\neq 0\}$ satisfies the key identity: $M_uA_v = A_{uv}M_u \quad (2.1)$

2. van der Corput Lemma

Lemma 2.5: Let $(G,\cdot)$ be a countable abelian group and $(a_u)_{u\in G}$ be a bounded sequence in a Hilbert space $H$. If $\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$ then $\lim_{N\to\infty}\frac{1}{|F_N|}\sum_{u\in F_N}a_u=0$.

3. Polynomial Mean Ergodic Theorem

Theorem 3.2: Let $K$ be a countable field and $p(x)\in K[x]\setminus K$ be an admissible polynomial. Then $\lim_{N\to\infty}\frac{1}{|F_N|}\sum_{u\in F_N}A_{p(u)}f = P_Af$ where $P_A$ is the orthogonal projection onto functions invariant under the additive subgroup.

Main Theorem Proof Strategy

Core of Theorem 1.13 Proof

For $f\in L^2(X,\mu)$, set $a_u=M_uA_{-p(u)}f$ and apply the van der Corput technique:

1. Decomposition: $f=P_Af+(f-P_Af)$
2. Key Estimate: For $b\neq 0$, $\langle a_{ub},a_u\rangle = \langle A_{-p(ub)+p(u)/b}f,M_{1/b}f\rangle$
3. Polynomial Property: When $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$ remains an $m$-degree polynomial
4. Inductive Application: Apply Theorem 3.2 to complete the proof

Technical Treatment for Finite Fields

Proposition 4.2: For a finite field $F$ and a $q$-degree admissible polynomial $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$

This is proved through induction and Proposition 2.7 (finite group van der Corput lemma).

Experimental Setup and Results

Quantitative Bounds

Theorem 1.14 (Finite Field Density Result)

For a finite field $F$ and a $q$-degree admissible polynomial $p(x)$, if $|E||G|>2(q+2)|F|^{2-(1/2^{q-1})}$, then there exist $x,y\in F^*$ such that $xy\in E$ and $p(x)+y\in G$.

Theorem 1.18 (Shkredov Theorem Generalization)

For any finite field $F$ and sets $B_1,B_2,B_3\subset F$ satisfying $|B_1||B_2||B_3|\geq 8|F|^{5/2}$, there exist $x,y\in F^*$ such that $x+y\in B_1$, $xy\in B_2$, $x\in B_3$.

Concrete Numerical Examples

• For a field with $|F|=3^6=729$, finding $\{uv,u+v^2\}$ patterns requires $|E|>2\sqrt{2}\cdot 3^9\approx 396$
• For a field with $|F|=3^7=2187$, requires $|E|>2\sqrt{2}\cdot 3^{21/4}\approx 904$

Related Work

Historical Development

1. Hindman's Problem (open): Monochromaticity of $\{x,y,x+y,xy\}$ in $\mathbb{N}$
2. Moreira's Theorem: Monochromaticity of $\{x,x+y,xy\}$ in $\mathbb{N}$
3. Shkredov's Theorem: Density results in $\mathbb{Z}_p$
4. Green-Sanders Theorem: Monochromaticity of $\{x,y,x+y,xy\}$ in $\mathbb{Z}_p$
5. Bergelson-Moreira: Ergodic theory methods for countable fields

Innovations in This Paper

1. Unified Methodology: Uses ergodic theory to uniformly treat countable and finite fields
2. Generalized Results: Extends from linear to general polynomial cases
3. Technical Innovation: Develops a "coloring technique" for the finite case

Conclusions and Discussion

Main Conclusions

1. Successfully generalizes the Bergelson-Moreira framework to polynomial cases
2. Establishes a unified theory for countable and finite fields
3. Provides practical quantitative bounds

Limitations

1. Admissibility Restriction: Polynomial degree is restricted by field characteristic
2. Ergodicity Assumptions: Double ergodic theorem requires additional ergodicity conditions
3. Bound Optimization: Quantitative bounds may not be optimal

Future Directions

1. Problems 3.6-3.7: Can non-admissible polynomials be handled?
2. Conjecture 1.17: Double ergodic theorem in the non-ergodic case
3. Conjecture 1.19: Complete generalization of Green-Sanders theorem

In-Depth Evaluation

Strengths

1. Theoretical Depth: Deep integration of ergodic theory with combinatorics
2. Methodological Innovation: Polynomial mean ergodic theorem is an important theoretical contribution
3. Broad Applicability: Results apply to arbitrary finite fields, not limited to prime order
4. Technical Excellence: Skillful application of van der Corput techniques

Weaknesses

1. Admissibility Constraints: Restrictions on polynomial degree are somewhat technical
2. Constant Optimization: Some constants in bounds may not be sufficiently refined
3. Computational Complexity: Algorithmic implementation complexity is not discussed

Impact

1. Theoretical Contribution: Provides new ergodic theory tools for additive combinatorics
2. Methodological Value: The finite field "coloring technique" has independent value
3. Application Prospects: Potential applications in cryptography and coding theory

Applicable Scenarios

1. Theoretical Research: Research in additive combinatorics and ergodic theory
2. Finite Field Analysis: Structural analysis in cryptography
3. Pattern Detection: Pattern discovery problems in big data

References

The paper cites 32 important references, primarily including:

• Bergelson & Moreira's ergodic theory work
• Shkredov's finite field combinatorics results
• Green & Sanders' monochromatic pattern theorems
• Host & Kra's nilpotent structure theory
• Furstenberg's classical ergodic theory

Overall Assessment: This is a high-quality theoretical mathematics paper that successfully generalizes ergodic theory methods to polynomial cases, making important contributions to additive combinatorics and finite field theory. The technical treatment is sophisticated, and the results have strong theoretical value and potential application prospects.