2023/03/31 by Vitaly Bergelson, Bergelson, Vitaly, Andrew Best +1 · 1 citation
Computer Science · Mathematics · #11B30 (Primary) #11T23 #37A25 (Secondary) #Analytic Number Theory Research #Coding theory and cryptography #Combinatorics (math.CO) #FOS: Mathematics #Limits and Structures in Graph Theory #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.2303.17928
openalex publication_date 2023/03/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The polynomial Szemerédi theorem implies that, for any δ∈ (0,1), any family \P1,…, Pm\ ⊂ ℤ[y] of nonconstant polynomials with constant term zero, and any sufficiently large N, every subset of \1,…, N\ of cardinality at least δN contains a nontrivial configuration of the form \x,x+P1(y),…, x+Pm(y)\. When the polynomials are assumed independent, one can expect a sharper result to hold over finite fields, special cases of which were proven recently, culminating with arXiv:1802.02200, which deals with the general case of independent polynomials. One goal of this article is to explain these theorems as the result of joint ergodicity in the presence of asymptotic total ergodicity. Guided by this concept, we establish, over general finite commutative rings, a version of the polynomial Szemerédi theorem for independent polynomials \P1,…, Pm\ ⊂ ℤ[y1,…, yn], deriving new combinatorial consequences, such as the following. Let \mathcal R be a collection of finite commutative rings subject to a mild condition on their torsion. There exists γ∈ (0,1) such that, for every R ∈ \mathcal R, every subset A ⊂ R of cardinality at least |R|1-γ contains a nontrivial configuration \x,x+P1(y),…, x+Pm(y)\ for some (x,y) ∈ R × Rn, and, moreover, for any subsets A0,…, Am ⊂ R such that |A0|⋯ |Am| ≥ |R|(m+1)(1-γ), there is a nontrivial configuration (x, x+P1(y), …, x+Pm(y)) ∈ A0× ⋯ × Am. The fact that general rings have zero divisors is the source of many obstacles, which we overcome; for example, by studying character sums, we develop a bound on the number of roots of an integer polynomial over a general finite commutative ring, a result which is of independent interest.