Showing 1–50 of 57 results for author: Bergelson, V

On the Polynomial Szemerédi Theorem in Finite Commutative Rings

Authors: Vitaly Bergelson, Andrew Best

Abstract: The polynomial Szemerédi theorem implies that, for any $δ\in (0,1)$, any family $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y]$ of nonconstant polynomials with constant term zero, and any sufficiently large $N$, every subset of $\{1,\ldots, N\}$ of cardinality at least $δN$ contains a nontrivial configuration of the form $\{x,x+P_1(y),\ldots, x+P_m(y)\}$. When the polynomials are assumed independent,… ▽ More The polynomial Szemerédi theorem implies that, for any $δ\in (0,1)$, any family $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y]$ of nonconstant polynomials with constant term zero, and any sufficiently large $N$, every subset of $\{1,\ldots, N\}$ of cardinality at least $δN$ contains a nontrivial configuration of the form $\{x,x+P_1(y),\ldots, x+P_m(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 $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y_1,\ldots, y_n]$, 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 $γ\in (0,1)$ such that, for every $R \in \mathcal R$, every subset $A \subset R$ of cardinality at least $|R|^{1-γ}$ contains a nontrivial configuration $\{x,x+P_1(y),\ldots, x+P_m(y)\}$ for some $(x,y) \in R \times R^n$, and, moreover, for any subsets $A_0,\ldots, A_m \subset R$ such that $|A_0|\cdots |A_m| \geq |R|^{(m+1)(1-γ)}$, there is a nontrivial configuration $(x, x+P_1(y), \ldots, x+P_m(y)) \in A_0\times \cdots \times A_m$. 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. △ Less

Submitted 31 May, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 105 pages. Replaced use of Hahn-Banach theorem with simpler argument

MSC Class: 11B30 (Primary); 11T23; 37A25 (Secondary)

Polynomial patterns in subsets of large finite fields of low characteristic

Authors: Ethan Ackelsberg, Vitaly Bergelson

Abstract: We prove a low characteristic counterpart to the main result in (Peluse, 2019), establishing power saving bounds for the polynomial Szemerédi theorem for certain families of polynomials. Namely, we show that if $P_1, \dots, P_m \in (\mathbb{F}_p[t])[y]$ satisfy an equidistribution condition, which is a natural variant of the independence condition in (Peluse, 2019) for our context, then there exis… ▽ More We prove a low characteristic counterpart to the main result in (Peluse, 2019), establishing power saving bounds for the polynomial Szemerédi theorem for certain families of polynomials. Namely, we show that if $P_1, \dots, P_m \in (\mathbb{F}_p[t])[y]$ satisfy an equidistribution condition, which is a natural variant of the independence condition in (Peluse, 2019) for our context, then there exists $γ> 0$ such that for any $q = p^k$ and any $A_0, A_1, \dots, A_m \subseteq \mathbb{F}_q$, \begin{align*} \left| \left\{ (x,y) \in \mathbb{F}_q^2 : x \in A_0, x + P_1(y) \in A_1, \dots, x + P_m(y) \in A_m \right\} \right| = q^{-(m-1)} \prod_{i=0}^m{|A_i|} + O_{q \to \infty; P_1, \dots, P_m} \left( |A_0|^{1/2} q^{3/2 - γ} \right). \end{align*} In particular, if $A \subseteq \mathbb{F}_q$ contains no pattern $\{x, x + P_1(y), \dots, x + P_m(y)\}$ of cardinality $m+1$, then \begin{align*} |A| \ll_{P_1, \dots, P_m} q^{1 - γ/ \left( m + \frac{1}{2} \right)}. \end{align*} △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 23 pages

MSC Class: 11B30 (Primary) 11T06; 37A25 (Secondary)

Asymptotic total ergodicity for actions of $\mathbb{F}[t]$ and polynomial configurations over finite fields and rings

Authors: Ethan Ackelsberg, Vitaly Bergelson

Abstract: We obtain new combinatorial results about polynomial configurations in large subsets of finite fields and rings by utilizing the phenomenon of asymptotic total ergodicity (previously studied for actions of $\mathbb{Z}$ on modular rings $\mathbb{Z}/N\mathbb{Z}$ in [Bergelson--Best, 2023]) in the context of actions of the polynomial ring $\mathbb{F}[t]$ over a finite field $\mathbb{F}$. Drawing insp… ▽ More We obtain new combinatorial results about polynomial configurations in large subsets of finite fields and rings by utilizing the phenomenon of asymptotic total ergodicity (previously studied for actions of $\mathbb{Z}$ on modular rings $\mathbb{Z}/N\mathbb{Z}$ in [Bergelson--Best, 2023]) in the context of actions of the polynomial ring $\mathbb{F}[t]$ over a finite field $\mathbb{F}$. Drawing inspiration from the well-understood limiting behavior of polynomial ergodic averages in totally ergodic systems, we show that the natural action of $\mathbb{F}[t]$ on a sequence of quotient rings $\mathbb{F}[t]/Q_n(t)\mathbb{F}[t]$, $Q_n(t) \in \mathbb{F}[t]$, is asymptotically totally ergodic if and only if every polynomial $P(x) \in (\mathbb{F}[t])[x]$ with $P(0) = 0$ asymptotically equidistributes in a subgroup of $\mathbb{F}[t]/Q_n(t)\mathbb{F}[t]$. We then derive several combinatorial consequences: (1) We establish a power saving bound for the Furstenberg--Sárközy theorem over finite fields of fixed characteristic, complementing recent work of Li and Sauermann giving power saving bounds using the polynomial method. (2) We prove an enhancement of the Furstenberg--Sárközy theorem guaranteeing many pairs $(x,y)$ with $x \in A$ and $x + P(y) \in B$ whenever $A$ and $B$ are large subsets of a quotient ring $\mathbb{F}[t]/Q(t)\mathbb{F}[t]$ that exhibits a sufficiently high level of approximate total ergodicity and the polynomial $P$ satisfies a rather general condition related to equidistributional properties studied in [Bergelson--Leibman, 2016]. We also show that, in the absence of asymptotic total ergodicity and an equidistribution condition on P, one cannot hope for such a refinement of the Furstenberg--Sárközy theorem. (3) We produce new families of examples of partition regular polynomial equations over finite fields. △ Less

Submitted 10 September, 2023; v1 submitted 28 February, 2023; originally announced March 2023.

Comments: 31 pages. Section 6 of the paper, where we produce families of partition regular polynomial equations over finite fields, is a new addition since the previous version

MSC Class: 11B30 (Primary) 11T06; 37A25; 05D10 (Secondary)

Joint normality of representations of numbers: an ergodic approach

Authors: Vitaly Bergelson, Younghwan Son

Abstract: We introduce an ergodic approach to the study of {\em joint normality} of representations of numbers. For example, we show that for any integer $b \geq 2$ almost every number $x \in [0,1)$ is jointly normal with respect to the $b$-expansion and continued fraction expansion. This fact is a corollary of the following result which deals with {\em pointwise joint ergodicity}: Let… ▽ More We introduce an ergodic approach to the study of {\em joint normality} of representations of numbers. For example, we show that for any integer $b \geq 2$ almost every number $x \in [0,1)$ is jointly normal with respect to the $b$-expansion and continued fraction expansion. This fact is a corollary of the following result which deals with {\em pointwise joint ergodicity}: Let $T_b:[0,1] \rightarrow [0,1]$ be the times $b$ map defined by $T_b x = bx \, \bmod \, 1 $ and let $T_G:[0,1] \rightarrow [0,1]$ be the Gauss map defined by $T_G(x) = \{\frac{1}{x}\}$ for $x \ne 0$ and $T_G (0) =0.$ (Here $\{ \cdot \}$ denotes the fractional part.) For any $f, g \in L^{\infty} (λ)$, \[ \lim_{N \rightarrow \infty} \frac{1}{N } \sum_{n=0}^{N-1} f(T_b^{n}x) \, g(T_G^n x) = \int f \, d λ\cdot \int g \, d μ_G \quad \text{for almost every } x \in [0,1], \] where $λ$ is the Lebesgue measure on $[0,1]$ and $μ_G$ is the Gauss measure on $[0,1]$ given by $μ_G (A) = \frac{1}{ \log 2} \int_A \frac{1}{1+x} dx$ for any measurable set $A \subset [0,1]$. We show that the phenomenon of the pointwise joint ergodicity takes place for a wide variety of number-theoretical maps of the interval and derive the corresponding corollaries pertaining to joint normality. We also establish the equivalence of various forms of normality and joint normality for representations of numbers, hereby providing a general framework for classical normality results. △ Less

Submitted 8 November, 2023; v1 submitted 17 August, 2022; originally announced August 2022.

Comments: 38 pages

Joint ergodicity of piecewise monotone interval maps

Authors: Vitaly Bergelson, Younghwan Son

Abstract: For $i = 0, 1, 2, \dots, k$, let $μ_i$ be a Borel probability measure on $[0,1]$ which is equivalent to Lebesgue measure $λ$ and let $T_i:[0,1] \rightarrow [0,1]$ be $μ_i$-preserving ergodic transformations. We say that transformations $T_0, T_1, \dots, T_k$ are uniformly jointly ergodic with respect to $(λ; μ_0, μ_1, \dots, μ_k)$ if for any $f_0, f_1, \dots, f_k \in L^{\infty}$, \[ \lim\limit… ▽ More For $i = 0, 1, 2, \dots, k$, let $μ_i$ be a Borel probability measure on $[0,1]$ which is equivalent to Lebesgue measure $λ$ and let $T_i:[0,1] \rightarrow [0,1]$ be $μ_i$-preserving ergodic transformations. We say that transformations $T_0, T_1, \dots, T_k$ are uniformly jointly ergodic with respect to $(λ; μ_0, μ_1, \dots, μ_k)$ if for any $f_0, f_1, \dots, f_k \in L^{\infty}$, \[ \lim\limits_{N -M \rightarrow \infty} \frac{1}{N-M } \sum\limits_{n=M}^{N-1} f_0 ( T_0^{n} x) \cdot f_1 (T_1^n x) \cdots f_k (T_k^n x) = \prod_{i=0}^k \int f_i \, d μ_i \quad \text{ in } L^2(λ). \] We establish convenient criteria for uniform joint ergodicity and obtain numerous applications, most of which deal with interval maps. Here is a description of one such application. Let $T_G$ denote the Gauss map, $T_G(x) = \frac{1}{x} \, (\bmod \, 1)$, and, for $β>1$, let $T_β$ denote the $β$-transformation defined by $T_β x = βx \, (\bmod \,1)$. Let $T_0$ be an ergodic interval exchange transformation. Let $β_1 , \cdots , β_k$ be distinct real numbers with $β_i >1$ and assume that $\log β_i \ne \frac{π^2}{6 \log 2}$ for all $i = 1, 2, \dots, k$. Then for any $f_{0}, f_1, f_{2}, \dots, f_{k+1} \in L^{\infty} (λ)$, \begin{equation*} \begin{split} \lim\limits_{N -M \rightarrow \infty} \frac{1}{N -M } \sum\limits_{n=M}^{N-1} & f_{0} (T_0^n x) \cdot f_{1} (T_{β_1}^n x) \cdots f_{k} (T_{β_k}^n x) \cdot f_{k+1} (T_G^n x) &= \int f_{0} \, d λ\cdot \prod_{i=1}^k \int f_{i} \, d μ_{β_i} \cdot \int f_{k+1} \, d μ_G \quad \text{in } L^{2}(λ). \end{split} \end{equation*} We also study the phenomenon of joint mixing. Among other things we establish joint mixing for skew tent maps and for restrictions of finite Blaschke products to the unit circle. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 38 pages

Khintchine-type recurrence for 3-point configurations

Authors: Ethan Ackelsberg, Vitaly Bergelson, Or Shalom

Abstract: The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $\varphi(G)$, $ψ(G)$, and $(ψ-\varphi)(G)$ have finite index in $G$, then $\{\varphi, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure… ▽ More The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $\varphi(G)$, $ψ(G)$, and $(ψ-\varphi)(G)$ have finite index in $G$, then $\{\varphi, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure preserving system $X=(X,\mathcal{X},μ,(T_g)_{g\in G})$, any $A\in\mathcal{X}$, and any $\varepsilon>0$, the set $$\{g\in G : μ(A\cap T_{\varphi(g)}^{-1} A\cap T_{ψ(g)}^{-1}A)>μ(A)^3-\varepsilon\}$$ is syndetic. Moreover, in the special case where $\varphi(g)=ag$ and $ψ(g)=bg$ for $a,b\in\mathbb{Z}$, we show that we only need one of the groups $aG$, $bG$, or $(b-a)G$ to be of finite index in $G$, and we show that the property fails in general if all three groups are of infinite index. One particularly interesting case is where $G=(\mathbb{Q}_{>0},\cdot)$ and $\varphi(g)=g$, $ψ(g)=g^2$, which leads to a multiplicative version for the large intersection result of Bergelson-Host-Kra. We also completely characterize the pairs of homomorphisms $\varphi,ψ$ that have the large intersections property when $G=\mathbb{Z}^2$. The proofs of our main results rely on analysis of the structure of the \emph{universal characteristic factor} for the multiple ergodic averages $$\frac{1}{|Φ_N|} \sum_{g\in Φ_N}T_{\varphi(g)}f_1\cdot T_{ψ(g)} f_2.$$ In the case where $G$ is finitely-generated, the characteristic factor for such averages is the \emph{Kronecker factor}. In this paper, we study actions of groups that are not necessarily finitely-generated, showing in particular that by passing to an extension of $X$, one can describe the characteristic factor in terms of the \emph{Conze--Lesigne factor} and the $σ$-algebras of $\varphi(G)$ and $ψ(G)$ invariant functions. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 69 pages, 1 figure

Journal ref: Forum of Mathematics, Sigma , Volume 10 , 2022

Multiple recurrence and popular differences for polynomial patterns in rings of integers

Authors: Ethan Ackelsberg, Vitaly Bergelson

Abstract: We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia: 1. If $p(x) \in K[x]$ is an intersective… ▽ More We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia: 1. If $p(x) \in K[x]$ is an intersective $\mathcal{O}_K$-valued polynomial and $r, s \in \mathcal{O}_K$ are distinct and nonzero, then for any $\varepsilon > 0$, the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n)\} \subseteq E \} \right) > δ^3 - \varepsilon. \] is syndetic. Moreover, if $\frac{s}{r} \in \mathbb{Q}$, then there are syndetically many $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n), x + (r+s)p(n)\} \subseteq E \} \right) > δ^4 - \varepsilon. \] 2. If $\{p_1, \dots, p_k\} \subseteq K[x]$ is a jointly intersective family of linearly independent $\mathcal{O}_K$-valued polynomials, then the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + p_1(n), \dots, x + p_k(n)\} \subseteq E \} \right)> δ^{k+1} - \varepsilon \] is syndetic. These two results generalize and extend previous work of Frantzikinakis and Kra on polynomial configurations in $\mathbb{Z}$ and build upon recent work of the authors and Best on linear patterns in general abelian groups. The above combinatorial results follow from multiple recurrence results in ergodic theory, which require a sharpening of existing tools for handling polynomial multiple ergodic averages. A key advancement made in this paper is a new result on the equidistribution of polynomial orbits in nilmanifolds, which can be seen as a far-reaching generalization of Weyl's equidistribution theorem. △ Less

Submitted 13 September, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 37 pages. Title changed from previous version, more details added to proof of Proposition 2.4, minor changes and corrections throughout the text. Paper to appear in Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 37A44 (Primary) 05D10; 37A15; 37A30 (Secondary)

Multiple recurrence and large intersections for abelian group actions

Authors: Ethan Ackelsberg, Vitaly Bergelson, Andrew Best

Abstract: The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that $\varphi(G)$, $ψ(G)$, and $(ψ- \varphi)(G)$ have finite index in $G$, then for every ergodic measure-… ▽ More The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that $\varphi(G)$, $ψ(G)$, and $(ψ- \varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{\varphi(g)}^{-1}A \cap T_{ψ(g)}^{-1}A) > μ(A)^3 - \varepsilon\}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s \in \mathbb{Z}$ are integers such that $rG$, $sG$, and $(r \pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > μ(A)^4 - \varepsilon\}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $\mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $\mathbb{F}_p^{\infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper. △ Less

Submitted 30 September, 2021; v1 submitted 7 January, 2021; originally announced January 2021.

Comments: 91 pages. Journal version

MSC Class: 37A15 (Primary) 37A30 (Secondary)

The Furstenberg-Sárközy Theorem and Asymptotic Total Ergodicity Phenomena in Modular Rings

Authors: Vitaly Bergelson, Andrew Best

Abstract: The Furstenberg-Sárközy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's approach relies on a correspondence principle and a polynomial version of the Poincaré recurrence theorem, which is derived from the ergodic-theoretic result that for a… ▽ More The Furstenberg-Sárközy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's approach relies on a correspondence principle and a polynomial version of the Poincaré recurrence theorem, which is derived from the ergodic-theoretic result that for any measure-preserving system $(X,\mathcal{B},μ,T)$ and set $A \in \mathcal{B}$ with $μ(A) > 0$, one has $c(A):= \lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N μ(A \cap T^{-P(n)}A) > 0.$ The limit $c(A)$ will have its optimal value of $μ(A)^2$ when $T$ is totally ergodic. Motivated by the possibility of new combinatorial applications, we define the notion of asymptotic total ergodicity in the setting of modular rings $\mathbb{Z}/N\mathbb{Z}$. We show that a sequence of modular rings $\mathbb{Z}/N_m\mathbb{Z}$, $m \in \mathbb{N},$ is asymptotically totally ergodic if and only if $\mathrm{lpf}(N_m)$, the least prime factor of $N_m$, grows to infinity. From this fact, we derive some combinatorial consequences, for example the following. Fix $δ\in (0,1]$ and a (not necessarily intersective) polynomial $Q \in \mathbb{Q}[n]$ such that $Q(\mathbb{Z}) \subseteq \mathbb{Z}$, and write $S = \{ Q(n) : n \in \mathbb{Z}/N\mathbb{Z}\}$. For any integer $N > 1$ with $\mathrm{lpf}(N)$ sufficiently large, if $A$ and $B$ are subsets of $\mathbb{Z}/N\mathbb{Z}$ such that $|A||B| \geq δN^2$, then $\mathbb{Z}/N\mathbb{Z} = A + B + S$. △ Less

Submitted 31 March, 2023; v1 submitted 29 November, 2020; originally announced November 2020.

Comments: 29 pages, update with referee's comments

MSC Class: 37A05 (Primary) 11B13 (Secondary)

Journal ref: Journal of Number Theory, Volume 243, 2023, Pages 615-645

Discordant sets and ergodic Ramsey theory

Authors: Vitaly Bergelson, Jake Huryn, Rushil Raghavan

Abstract: We explore the properties of non-piecewise syndetic sets with positive upper density, which we call "discordant", in countably infinite amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest the difference in complexity between the classical van der Waerden's theorem and Szemerédi's theorem. We generalize and unify old constructions and obtain new res… ▽ More We explore the properties of non-piecewise syndetic sets with positive upper density, which we call "discordant", in countably infinite amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest the difference in complexity between the classical van der Waerden's theorem and Szemerédi's theorem. We generalize and unify old constructions and obtain new results about these historically interesting sets. Along the way, we draw from various corners of mathematics, including classical Ramsey theory, ergodic theory, number theory, and topological and symbolic dynamics. △ Less

Submitted 11 April, 2022; v1 submitted 29 November, 2020; originally announced November 2020.

Comments: 36 pages

MSC Class: 05D10; 37A44

Journal ref: Involve 15 (2022) 89-130

Strongly mixing systems are almost strongly mixing of all orders

Authors: Vitaly Bergelson, Rigoberto Zelada

Abstract: We prove that any strongly mixing action of a countable abelian group on a probability space has higher order mixing properties. This is achieved via introducing and utilizing $\mathcal R$-limits, a notion of convergence which is based on the classical Ramsey Theorem. $\mathcal R$-limits are intrinsically connected with a new combinatorial notion of largeness which is similar to but has stronger p… ▽ More We prove that any strongly mixing action of a countable abelian group on a probability space has higher order mixing properties. This is achieved via introducing and utilizing $\mathcal R$-limits, a notion of convergence which is based on the classical Ramsey Theorem. $\mathcal R$-limits are intrinsically connected with a new combinatorial notion of largeness which is similar to but has stronger properties than the classical notions of uniform density one and IP$^*$. While the main goal of this paper is to establish a $\textit{universal}$ property of strongly mixing actions of countable abelian groups, our results, when applied to $\mathbb Z$-actions, offer a new way of dealing with strongly mixing transformations. In particular, we obtain several new characterizations of strong mixing for $\mathbb Z$-actions, including a result which can be viewed as the analogue of the weak mixing of all orders property established by Furstenberg in the course of his proof of Szemerédi's theorem. We also demonstrate the versatility of $\mathcal R$-limits by obtaining new characterizations of higher order weak and mild mixing for actions of countable abelian groups. △ Less

Submitted 27 July, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: 39 pages

MSC Class: 37A25 (Primary); 05D10 (Secondary); 37A15 (Secondary)

Iterated differences sets, diophantine approximations and applications

Authors: Vitaly Bergelson, Rigoberto Zelada

Abstract: Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal R(v,ε)=\{n\in\mathbb{N}\,|\,\|v(n)\|{<ε\}}$ where $\|\cdot\|$ denotes the distance to the closest integer. We then apply the new diophantine results to obtain applications to ergodic theory and combinatori… ▽ More Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal R(v,ε)=\{n\in\mathbb{N}\,|\,\|v(n)\|{<ε\}}$ where $\|\cdot\|$ denotes the distance to the closest integer. We then apply the new diophantine results to obtain applications to ergodic theory and combinatorics. In particular, we obtain a new characterization of weakly mixing systems as well as a new variant of Furstenberg-Sárközy theorem. △ Less

Submitted 8 January, 2024; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: 43 pages, referees' comments included, minor errors in the proofs of Theorem 4.1 and Lemma 5.3 were corrected

MSC Class: 05D10 (Primary) 11B75; 37A45 (Secondary)

Journal ref: Journal of Combinatorial Theory, Series A, Volume 184 (2021). Paper No. 105520

Sums of Powers in Large Finite Fields: A Mix of Methods

Authors: Vitaly Bergelson, Andrew Best, Alex Iosevich

Abstract: Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal equations. Then, we offer two proofs, one new and elementary, and the other more classical, based on Fourier analysis and an application of a nontrivial estimate fro… ▽ More Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal equations. Then, we offer two proofs, one new and elementary, and the other more classical, based on Fourier analysis and an application of a nontrivial estimate from the theory of finite fields. In context and juxtaposition, each will have its merits. △ Less

Submitted 16 December, 2020; v1 submitted 20 September, 2020; originally announced September 2020.

Comments: 15 pages, to appear in The American Mathematical Monthly. Change from previous version: fixed a misspelled name in a footnote

MSC Class: 11D85 (Primary) 11T06 (Secondary)

Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications

Authors: Vitaly Bergelson, Joel Moreira, Florian K. Richter

Abstract: We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on ari… ▽ More We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on arithmetic progressions [BL96; BLL08; FW09; Fra10; BMR17]. One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions. As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\mathbb{R}$. Then $\bullet$ for any measure preserving system $(X,{\mathcal B},μ,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$ exists in $L^2$; $\bullet$ for any $E\subset \mathbb{N}$ with $\overline{\mathrm{d}}(E)>0$ there are $a,n\in\mathbb{N}$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$. We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,{\mathcal B},μ,T)$ and any $A\in{\mathcal B}$, $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nμ\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,μ(A)^{k+1}.$$ △ Less

Submitted 21 February, 2024; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: 41 pages, 2nd revised version implementing referee comments

MSC Class: 37A44; 28D05; 05D10; 11B30

Uniqueness of a Furstenberg system

Authors: Vitaly Bergelson, Andreu Ferré Moragues

Abstract: Given a countable amenable group $G$, a Følner sequence $(F_N) \subseteq G$, and a set $E \subseteq G$ with $\bar{d}_{(F_N)}(E)=\limsup_{N \to \infty} \frac{|E \cap F_N|}{|F_N|}>0$, Furstenberg's correspondence principle associates with the pair $(E,(F_N))$ a measure preserving system $(X,\mathcal{B},μ,(T_g)_{g \in G})$ and a set $A \in \mathcal{B}$ with $μ(A)=\bar{d}_{(F_N)}(E)$, in such a way th… ▽ More Given a countable amenable group $G$, a Følner sequence $(F_N) \subseteq G$, and a set $E \subseteq G$ with $\bar{d}_{(F_N)}(E)=\limsup_{N \to \infty} \frac{|E \cap F_N|}{|F_N|}>0$, Furstenberg's correspondence principle associates with the pair $(E,(F_N))$ a measure preserving system $(X,\mathcal{B},μ,(T_g)_{g \in G})$ and a set $A \in \mathcal{B}$ with $μ(A)=\bar{d}_{(F_N)}(E)$, in such a way that for all $r \in \mathbb{N}$ and all $g_1,\dots,g_r \in G$ one has $\bar{d}_{(F_N)}(g_1^{-1}E \cap \dots \cap g_r^{-1}E)\geqμ((T_{g_1})^{-1}A \cap \dots \cap (T_{g_r})^{-1}A)$. We show that under some natural assumptions, the system $(X,\mathcal{B},μ,(T_g)_{g \in G})$ is unique up to a measurable isomorphism. We also establish variants of this uniqueness result for non-countable discrete amenable semigroups as well as for a generalized correspondence principle which deals with a finite family of bounded functions $f_1,\dots,f_{\ell}: G \rightarrow \mathbb{C}$. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Comments: 14 pages

MSC Class: 37A15 (Primary) 28D15; 05D10 (Secondary)

A fresh look at the notion of normality

Authors: Vitaly Bergelson, Tomasz Downarowicz, Michał Misiurewicz

Abstract: Let $G$ be a countable cancellative amenable semigroup and let $(F_n)$ be a (left) Følner sequence in $G$. We introduce the notion of an $(F_n)$-normal element of $\{0,1\}^G$. When $G$ = $(\mathbb N,+)$ and $F_n = \{1,2,...,n\}$, the $(F_n)$-normality coincides with the classical notion. We prove that: $\bullet$ If $(F_n)$ is a Følner sequence in $G$, such that for every $α\in(0,1)$ we have… ▽ More Let $G$ be a countable cancellative amenable semigroup and let $(F_n)$ be a (left) Følner sequence in $G$. We introduce the notion of an $(F_n)$-normal element of $\{0,1\}^G$. When $G$ = $(\mathbb N,+)$ and $F_n = \{1,2,...,n\}$, the $(F_n)$-normality coincides with the classical notion. We prove that: $\bullet$ If $(F_n)$ is a Følner sequence in $G$, such that for every $α\in(0,1)$ we have $\sum_n α^{|F_n|}<\infty$, then almost every $x\in\{0,1\}^G$ is $(F_n)$-normal. $\bullet$ For any Følner sequence $(F_n)$ in $G$, there exists an Cham\-per\-nowne-like $(F_n)$-normal set. $\bullet$ There is a natural class of "nice" Følner sequences in $(\mathbb N,\times)$. There exists a Champernowne-like set which is $(F_n)$-normal for every nice Følner \sq. $\bullet$ Let $A\subset\mathbb N$ be a classical normal set. Then, for any Følner sequence $(K_n)$ in $(\mathbb N,\times)$ there exists a set $E$ of $(K_n)$-density $1$, such that for any finite subset $\{n_1,n_2,\dots,n_k\}\subset E$, the intersection $A/{n_1}\cap A/{n_2}\cap\ldots\cap A/{n_k}$ has positive upper density in $(\mathbb N,+)$. As a consequence, $A$ contains arbitrarily long geometric progressions, and, more generally, arbitrarily long "geo-arithmetic" configurations of the form $\{a(b+ic)^j,0\le i,j\le k\}$. $\bullet$ For any Følner \sq\ $(F_n)$ in $(\mathbb N,+)$ there exist uncountably many $(F_n)$-normal Liouville numbers. $\bullet$ For any nice Følner sequence $(F_n)$ in $(\mathbb N,\times)$ there exist uncountably many $(F_n)$-normal Liouville numbers. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Comments: 52 pages, 1 figure

Deterministic functions on amenable semigroups and a generalization of the Kamae-Weiss theorem on normality preservation

Authors: Vitaly Bergelson, Tomasz Downarowicz, Joseph Vandehey

Abstract: A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigrou… ▽ More A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigroup $G$, and a Følner sequence $\mathcal F=(F_n)_{n\in\mathbb N}$ in $G$, we introduce the notions of normality preservation, determinism and subexponential complexity for subsets of $G$ with respect to $\mathcal F$, and show that for sets of positive lower $\mathcal F$-density these three notions are equivalent. The proof utilizes the apparatus of the theory of tilings of amenable groups and the notion of tile-entropy. We also prove that under a natural assumption on $\mathcal F$, positive lower $\mathcal F$-density follows from normality preservation. Finally, we provide numerous examples of normality preserving sets in various semigroups △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 58 pages, 0 figures

MSC Class: 37B05; 37C85; 37B10

An ergodic correspondence principle, invariant means and applications

Authors: Vitaly Bergelson, Andreu Ferré Moragues

Abstract: A theorem due to Hindman states that if $E$ is a subset of $\mathbb{N}$ with $d^*(E)>0$, where $d^*$ denotes the upper Banach density, then for any $\varepsilon>0$ there exists $N \in \mathbb{N}$ such that $d^*\left(\bigcup_{i=1}^N(E-i)\right) > 1-\varepsilon$. Curiously, this result does not hold if one replaces the upper Banach density $d^*$ with the upper density $\bar{d}$. Originally proved co… ▽ More A theorem due to Hindman states that if $E$ is a subset of $\mathbb{N}$ with $d^*(E)>0$, where $d^*$ denotes the upper Banach density, then for any $\varepsilon>0$ there exists $N \in \mathbb{N}$ such that $d^*\left(\bigcup_{i=1}^N(E-i)\right) > 1-\varepsilon$. Curiously, this result does not hold if one replaces the upper Banach density $d^*$ with the upper density $\bar{d}$. Originally proved combinatorially, Hindman's theorem allows for a quick and easy proof using an ergodic version of Furstenberg's correspondence principle. In this paper, we establish a variant of the ergodic Furstenberg's correspondence principle for general amenable (semi)-groups and obtain some new applications, which include a refinement and a generalization of Hindman's theorem and a characterization of countable amenable minimally almost periodic groups. △ Less

Submitted 4 October, 2020; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: 32 pages

MSC Class: 37A15 (Primary) 28D15; 05D10 (Secondary)

Dynamical generalizations of the Prime Number Theorem and disjointness of additive and multiplicative semigroup actions

Authors: Vitaly Bergelson, Florian K. Richter

Abstract: We establish two ergodic theorems which have among their corollaries numerous classical results from multiplicative number theory, including the Prime Number Theorem, a theorem of Pillai-Selberg, a theorem of Erdős-Delange, the mean value theorem of Wirsing, and special cases of the mean value theorem of Halász. By building on the ideas behind our ergodic results, we recast Sarnak's Möbius disjoin… ▽ More We establish two ergodic theorems which have among their corollaries numerous classical results from multiplicative number theory, including the Prime Number Theorem, a theorem of Pillai-Selberg, a theorem of Erdős-Delange, the mean value theorem of Wirsing, and special cases of the mean value theorem of Halász. By building on the ideas behind our ergodic results, we recast Sarnak's Möbius disjointness conjecture in a new dynamical framework. This naturally leads to an extension of Sarnak's conjecture which focuses on the disjointness of additive and multiplicative semigroup actions. We substantiate this extension by providing proofs of several special cases. △ Less

Submitted 17 December, 2023; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: 56 pages, implemented changes following the referees comments

MSC Class: 37A45; 11N99; 11J71

Journal ref: Duke Math. J., Vol. 171, No. 15, October 2022, pp. 3133-3200

An extension of Weyl's equidistribution theorem to generalized polynomials and applications

Authors: Vitaly Bergelson, Inger J. Håland Knutson, Younghwan Son

Abstract: Generalized polynomials are map**s obtained from the conventional polynomials by the use of operations of addition, multiplication and taking the integer part. Extending the classical theorem of H. Weyl on equidistribution of polynomials, we show that a generalized polynomial $q(n)$ has the property that the sequence $(q(n) λ)_{n \in \mathbb{Z}}$ is well distributed $\bmod \, 1$ for all but coun… ▽ More Generalized polynomials are map**s obtained from the conventional polynomials by the use of operations of addition, multiplication and taking the integer part. Extending the classical theorem of H. Weyl on equidistribution of polynomials, we show that a generalized polynomial $q(n)$ has the property that the sequence $(q(n) λ)_{n \in \mathbb{Z}}$ is well distributed $\bmod \, 1$ for all but countably many $λ\in \mathbb{R}$ if and only if $\lim\limits_{\substack{|n| \rightarrow \infty n \notin J}} |q(n)| = \infty$ for some (possibly empty) set $J$ having zero density in $\mathbb{Z}$. We also prove a version of this theorem along the primes (which may be viewed as an extension of classical results of I. Vinogradov and G. Rhin). Finally, we utilize these results to obtain new examples of sets of recurrence and van der Corput sets. △ Less

Submitted 13 November, 2019; originally announced November 2019.

Under- and over-independence in measure preserving systems

Authors: Terry Adams, Vitaly Bergelson, Wenbo Sun

Abstract: We introduce the notions of over- and under-independence for weakly mixing and (free) ergodic measure preserving actions and establish new results which complement and extend the theorems obtained in [BoFW] and [A]. Here is a sample of results obtained in this paper: $\cdot$ (Existence of density-1 UI and OI set) Let $(X,\mathcal{B},μ,T)$ be an invertible probability measure preserving weakly mi… ▽ More We introduce the notions of over- and under-independence for weakly mixing and (free) ergodic measure preserving actions and establish new results which complement and extend the theorems obtained in [BoFW] and [A]. Here is a sample of results obtained in this paper: $\cdot$ (Existence of density-1 UI and OI set) Let $(X,\mathcal{B},μ,T)$ be an invertible probability measure preserving weakly mixing system. Then for any $d\in\mathbb{N}$, any non-constant integer-valued polynomials $p_{1},p_{2},\dots,p_{d}$ such that $p_{i}-p_{j}$ are also non-constant for all $i\neq j$, (i) there is $A\in\mathcal{B}$ such that the set $$\{n\in\mathbb{N}\colonμ(A\cap T^{p_{1}(n)}A\cap\dots\cap T^{p_{d}(n)}A)<μ(A)^{d+1}\}$$ is of density 1. (ii) there is $A\in\mathcal{B}$ such that the set $$\{n\in\mathbb{N}\colonμ(A\cap T^{p_{1}(n)}A\cap\dots\cap T^{p_{d}(n)}A)>μ(A)^{d+1}\}$$ is of density 1. $\cdot$ (Existence of Cesàro OI set) Let $(X,\mathcal{B},μ,T)$ be a free, invertible, ergodic probability measure preserving system and $M\in\mathbb{N}$. %Suppose that $X$ contains an ergodic component which is aperiodic. Then there is $A\in\mathcal{B}$ such that $$\frac{1}{N}\sum_{n=M}^{N+M-1}μ(A\cap T^{n}A)>μ(A)^{2}$$ for all $N\in\mathbb{N}$. $\cdot$ (Nonexistence of Cesàro UI set) Let $(X,\mathcal{B},μ,T)$ be an invertible probability measure preserving system. For any measurable set $A$ satisfying $μ(A) \in (0,1)$, there exist infinitely many $N \in \mathbb{N}$ such that $$\frac{1}{N} \sum_{n=0}^{N-1} μ( A \cap T^{n}A) > μ(A)^2.$$ △ Less

Submitted 11 July, 2018; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 25 pages

MSC Class: 37A05; 37A15; 37A25

Single and multiple recurrence along non-polynomial sequences

Authors: Vitaly Bergelson, Joel Moreira, Florian K. Richter

Abstract: We establish new recurrence and multiple recurrence results for a rather large family $\mathcal{F}$ of non-polynomial functions which includes tempered functions defined in [11], as well as functions from a Hardy field with the property that for some $\ell\in \mathbb{N}\cup\{0\}$, $\lim_{x\to\infty }f^{(\ell)}(x)=\pm\infty$ and $\lim_{x\to\infty }f^{(\ell+1)}(x)=0$. Among other things, we show tha… ▽ More We establish new recurrence and multiple recurrence results for a rather large family $\mathcal{F}$ of non-polynomial functions which includes tempered functions defined in [11], as well as functions from a Hardy field with the property that for some $\ell\in \mathbb{N}\cup\{0\}$, $\lim_{x\to\infty }f^{(\ell)}(x)=\pm\infty$ and $\lim_{x\to\infty }f^{(\ell+1)}(x)=0$. Among other things, we show that for any $f\in\mathcal{F}$, any invertible probability measure preserving system $(X,\mathcal{B},μ,T)$, any $A\in\mathcal{B}$ with $μ(A)>0$, and any $ε>0$, the sets of returns $$ R_{ε, A}= \big\{n\in\mathbb{N}:μ(A\cap T^{-\lfloor f(n)\rfloor}A)>μ^2(A)-ε\big\} $$ and $$ R^{(k)}_{A}= \big\{ n\in\mathbb{N}: μ\big(A\cap T^{\lfloor f(n)\rfloor}A\cap T^{\lfloor f(n+1)\rfloor}A\cap\cdots\cap T^{\lfloor f(n+k)\rfloor}A\big)>0\big\} $$ possess somewhat unexpected properties of largeness; in particular, they are thick, i.e., contain arbitrarily long intervals. △ Less

Submitted 15 April, 2020; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: 51 pages

Journal ref: Advances in Mathematics, Volume 368, 15 July 2020, 107146

A structure theorem for level sets of multiplicative functions and applications

Authors: Vitaly Bergelson, Joanna Kułaga-Przymus, Mariusz Lemańczyk, Florian K. Richter

Abstract: Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost periodic and a pseudo-random parts. Using this structure theorem together with the technique developed by the authors in [3], we obtain the following result pertainin… ▽ More Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost periodic and a pseudo-random parts. Using this structure theorem together with the technique developed by the authors in [3], we obtain the following result pertaining to polynomial multiple recurrence. Let $E=\{n_1<n_2<\ldots\}$ be a level set of an arbitrary multiplicative function with positive density. Then the following are equivalent: - $E$ is divisible, i.e. the upper density of the set $E\cap u\mathbb{N}$ is positive for all $u\in\mathbb{N}$; - $E$ is an averaging set of polynomial multiple recurrence, i.e. for all measure preserving systems $(X,\mathcal{B},μ,T)$, all $A\in\mathcal{B}$ with $μ(A)>0$, all $\ell\geq 1$ and all polynomials $p_i\in\mathbb{Z}[x]$, $i=1,\ldots,\ell$, with $p_i(0)=0$ we have $$ \lim_{N\to\infty}\frac{1}{N}\sum_{j=1}^N μ\big(A\cap T^{-p_1(n_j)}A\cap\ldots\cap T^{-p_\ell(n_j)}A\big)>0. $$ We also show that if a level set $E$ of a multiplicative function has positive upper density, then any self-shift $E-r$, $r\in E$, is a set of averaging polynomial multiple recurrence. This in turn leads to the following refinement of the polynomial Szemerédi theorem (cf. [4]). Let $E$ be a level set of an arbitrary multiplicative function, suppose $E$ has positive upper density and let $r\in E$. Then for any set $D\subset \mathbb{N}$ with positive upper density and any polynomials $p_i\in\mathbb{Q}[t]$, $i=1,\ldots,\ell$, which satisfy $p_i(\mathbb{Z})\subset\mathbb{Z}$ and $p_i(0)=0$ for all $i\in\{1,\ldots,\ell\}$, there exists $β>0$ such that the set $$ \left\{\,n\in E-r:\overline{d}\Big(D\cap (D-p_1(n))\cap \ldots\cap(D-p_\ell(n)) \Big)>β\,\right\} $$ has positive lower density. △ Less

Submitted 17 April, 2019; v1 submitted 8 August, 2017; originally announced August 2017.

Comments: 32 pages. Formerly part of arXiv:1705.07322

Journal ref: International Mathematical Research Notices, rny040 (2018)

A generalization of Kátai's orthogonality criterion with applications

Authors: V. Bergelson, J. Kułaga-Przymus, M. Lemańczyk, F. K. Richter

Abstract: We study properties of arithmetic sets coming from multiplicative number theory and obtain applications in the theory of uniform distribution and ergodic theory. Our main theorem is a generalization of Kátai's orthogonality criterion. Here is a special case of this theorem: Let $a\colon\mathbb{N}\to\mathbb{C}$ be a bounded sequence satisfying $… ▽ More We study properties of arithmetic sets coming from multiplicative number theory and obtain applications in the theory of uniform distribution and ergodic theory. Our main theorem is a generalization of Kátai's orthogonality criterion. Here is a special case of this theorem: Let $a\colon\mathbb{N}\to\mathbb{C}$ be a bounded sequence satisfying $$ \sum_{n\leq x} a(pn)\overline{a(qn)} = {\rm o}(x),~\text{for all distinct primes $p$ and $q$.} $$ Then for any multiplicative function $f$ and any $z\in\mathbb{C}$ the indicator function of the level set $E=\{n\in\mathbb{N}:f(n)=z\}$ satisfies $$ \sum_{n\leq x} \mathbb{1}_E(n)a(n)={\rm o}(x). $$ With the help of this theorem one can show that if $E=\{n_1<n_2<\ldots\}$ is a level set of a multiplicative function having positive upper density, then for a large class of sufficiently smooth functions $h\colon(0,\infty)\to\mathbb{R}$ the sequence $(h(n_j))_{j\in\mathbb{N}}$ is uniformly distributed $\bmod~1$. This class of functions $h(t)$ includes: all polynomials $p(t)=a_kt^k+\ldots+a_1t+a_0$ such that at least one of the coefficients $a_1,a_2,\ldots,a_k$ is irrational, $t^c$ for any $c>0$ with $c\notin \mathbb{N}$, $\log^r(t)$ for any $r>2$, $\log(Γ(t))$, $t\log(t)$, and $\frac{t}{\log t}$. The uniform distribution results, in turn, allow us to obtain new examples of ergodic sequences, i.e. sequences along which the ergodic theorem holds. △ Less

Submitted 8 August, 2017; v1 submitted 20 May, 2017; originally announced May 2017.

Comments: 32 pages. The previous version of this paper is now split into two separate papers with new titles. This is the first of them

MSC Class: 11N99; 11J71; 11K06; 11K65; 28D05; 37A05; 37A45; 47A35

Journal ref: Discrete and Continuous Dynamical Systems, Volume 39 (2019), Number 5, pp. 2581-2612

Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics

Authors: Vitaly Bergelson, Joanna Kułaga-Przymus, Mariusz Lemańczyk, Florian K. Richter

Abstract: A set $R\subset \mathbb{N}$ is called rational if it is well-approximable by finite unions of arithmetic progressions. Examples of rational sets include many classical sets of number-theoretical origin such as the set of squarefree numbers, the set of abundant numbers, or sets of the form $Φ_x:=\{n\in\mathbb{N}: \frac{\boldsymbol{\varphi}(n)}{n}<x\}$, where $x\in[0,1]$ and $\boldsymbol{\varphi}$ i… ▽ More A set $R\subset \mathbb{N}$ is called rational if it is well-approximable by finite unions of arithmetic progressions. Examples of rational sets include many classical sets of number-theoretical origin such as the set of squarefree numbers, the set of abundant numbers, or sets of the form $Φ_x:=\{n\in\mathbb{N}: \frac{\boldsymbol{\varphi}(n)}{n}<x\}$, where $x\in[0,1]$ and $\boldsymbol{\varphi}$ is Euler's totient function. We investigate the combinatorial and dynamical properties of rational sets and obtain new results in ergodic Ramsey theory. We show that if $R$ is a rational set with $\overline{d}(R)>0$, then the following are equivalent: (a) $R$ is divisible, i.e. $\overline{d}(R\cap u \mathbb{N})>0$ for all $u\in\mathbb{N}$. (b) $R$ is an averaging set of polynomial single recurrence. (c) $R$ is an averaging set of polynomial multiple recurrence. As an application, we show that if $R$ is rational and divisible, then for any set $E\subset\mathbb{N}$ with $\overline{d}(E)>0$ and any polynomials $p_i\in\mathbb{Q}[t]$,$i=1,\ldots,\ell$, which satisfy $p_i(\mathbb{Z})\subset\mathbb{Z}$ and $p_i(0)=0$ for all $i\in\{1,\ldots,\ell\}$, there exists $β>0$ such that the set $$\{n\in R:\overline{d}( E\cap (E-p_1(n))\cap\ldots\cap(E-p_\ell(n)))>β\}$$ has positive lower density. Ramsey-theoretical applications naturally lead to problems in symbolic dynamics, which involve rationally almost periodic sequences. We prove that if $\mathcal{A}$ is a finite alphabet, $η\in\mathcal{A}^\mathbb{N}$ is rationally almost periodic, $S$ denotes the left-shift on $\mathcal{A}^\mathbb{Z}$ and $$X:=\{y\in \mathcal{A}^\mathbb{Z} : \text{each finite word appearing in $y$ appears in }η\},$$ then $η$ is a generic point for an $S$-invariant probability measure $ν$ on $X$ such that $(X,ν,S)$ is ergodic and has rational discrete spectrum. △ Less

Submitted 9 February, 2018; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: 53 pages

Journal ref: Ergodic Theory and Dynamical Systems, Volume 39 (2019), Issue 9, pp. 2332-2383

On the density of coprime tuples of the form $(n,\lfloor f_1(n)\rfloor,\ldots,\lfloor f_k(n)\rfloor)$, where $f_1,\ldots,f_k$ are functions from a Hardy field

Authors: Vitaly Bergelson, Florian Karl Richter

Abstract: Let $k\in\mathbb{N}$ and let $f_1,\ldots,f_k$ belong to a Hardy field. We prove that under some natural conditions on the $k$-tuple $(f_1,\ldots,f_k)$ the density of the set $$ \big\{n\in \mathbb{N}: \text{gcd}(n,\lfloor f_1(n)\rfloor,\ldots,\lfloor f_k(n)\rfloor)=1\big\} $$ exists and equals $\frac{1}{ζ(k+1)}$, where $ζ$ is the Riemann zeta function. Let $k\in\mathbb{N}$ and let $f_1,\ldots,f_k$ belong to a Hardy field. We prove that under some natural conditions on the $k$-tuple $(f_1,\ldots,f_k)$ the density of the set $$ \big\{n\in \mathbb{N}: \text{gcd}(n,\lfloor f_1(n)\rfloor,\ldots,\lfloor f_k(n)\rfloor)=1\big\} $$ exists and equals $\frac{1}{ζ(k+1)}$, where $ζ$ is the Riemann zeta function. △ Less

Submitted 20 May, 2017; v1 submitted 23 November, 2016; originally announced November 2016.

Comments: 26 pages, Number Tehory -- Diophantine Problems, Uniform Distribution and Applications, Festschrift in Honour of Robert F. Tichy's 60th Birthday, Springer 2017, ISBN 978-3-319-55356-6

MSC Class: 11K06; 11N25; 11T23

Journal ref: Number Theory - Diophantine Problems, Uniform Distribution and Applications, Festschrift in Honour of Robert F. Tichy's 60th Birthday, Springer 2017, ISBN 978-3-319-55356-6

On the interplay between notions of additive and multiplicative largeness and its combinatorial applications

Authors: Vitaly Bergelson, Daniel Glasscock

Abstract: Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. W… ▽ More Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions. △ Less

Submitted 11 October, 2019; v1 submitted 30 October, 2016; originally announced October 2016.

Comments: 52 pages, 2 figures

Multiplicative richness of additively large sets in $\mathbb{Z}^d$

Authors: Vitaly Bergelson, Daniel Glasscock

Abstract: In their proof of the IP Szemerédi theorem, a far reaching extension of the classic theorem of Szemerédi on arithmetic progressions, Furstenberg and Katznelson introduced an important class of additively large sets called $\text{IP}_{\text{r}}^*$ sets which underlies recurrence aspects in dynamics and is instrumental to enhanced formulations of combinatorial results. The authors recently showed th… ▽ More In their proof of the IP Szemerédi theorem, a far reaching extension of the classic theorem of Szemerédi on arithmetic progressions, Furstenberg and Katznelson introduced an important class of additively large sets called $\text{IP}_{\text{r}}^*$ sets which underlies recurrence aspects in dynamics and is instrumental to enhanced formulations of combinatorial results. The authors recently showed that additive $\text{IP}_{\text{r}}^*$ subsets of $\mathbb{Z}^d$ are multiplicatively rich with respect to every multiplication on $\mathbb{Z}^d$ without zero divisors (e.g. multiplications induced by degree $d$ number fields). In this paper, we explain the relationships between classes of multiplicative largeness with respect to different multiplications on $\mathbb{Z}^d$. We show, for example, that in contrast to the case for $\mathbb{Z}$, there are infinitely many different notions of multiplicative piecewise syndeticity for subsets of $\mathbb{Z}^d$ when $d \geq 2$. This is accomplished by using the associated algebra representations to prove the existence of sets which are large with respect to some multiplications while small with respect to others. In the process, we give necessary and sufficient conditions for a linear transformation to preserve a class of multiplicatively large sets. One consequence of our results is that additive $\text{IP}_{\text{r}}^*$ sets are multiplicatively rich in infinitely many genuinely different ways. We conclude by cataloging a number of sources of additive $\text{IP}_{\text{r}}^*$ sets from combinatorics and dynamics. △ Less

Submitted 30 October, 2016; originally announced October 2016.

Comments: 31 pages

IPr* recurrence and nilsystems

Authors: V. Bergelson, A. Leibman

Abstract: We prove that nilsystems possess the IPr*-recurrence property and, moreover, are characterized by this property. We prove that nilsystems possess the IPr*-recurrence property and, moreover, are characterized by this property. △ Less

Submitted 19 April, 2017; v1 submitted 8 April, 2016; originally announced April 2016.

Van der Corput's Difference Theorem: some modern developments

Authors: Vitaly Bergelson, Joel Moreira

Abstract: We discuss various forms of the classical van der Corput's difference theorem and explore applications to and connections with the theory of uniform distribution, ergodic theory, topological dynamics and combinatorics. We discuss various forms of the classical van der Corput's difference theorem and explore applications to and connections with the theory of uniform distribution, ergodic theory, topological dynamics and combinatorics. △ Less

Submitted 25 October, 2015; originally announced October 2015.

Comments: 43 pages

Measure preserving actions of affine semigroups and {x+y,xy} patterns

Authors: Vitaly Bergelson, Joel Moreira

Abstract: Ergodic and combinatorial results obtained in [10] involved measure preserving actions of the affine group ${\mathcal A}_K$ of a countable field $K$. In this paper we develop a new approach based on ultrafilter limits which allows one to refine and extend the results obtained in [10] to a more general situation involving the measure preserving actions of the non-amenable affine semigroups of a lar… ▽ More Ergodic and combinatorial results obtained in [10] involved measure preserving actions of the affine group ${\mathcal A}_K$ of a countable field $K$. In this paper we develop a new approach based on ultrafilter limits which allows one to refine and extend the results obtained in [10] to a more general situation involving the measure preserving actions of the non-amenable affine semigroups of a large class of integral domains. (The results in [10] heavily depend on the amenability of the affine group of a field). Among other things, we obtain, as a corollary of an ultrafilter ergodic theorem, the following result: Let $K$ be a number field and let ${\mathcal O}_K$ be the ring of integers of $K$. For any finite partition $K=C_1\cup\cdots\cup C_r$ there exists $i\in\{1,\dots,r\}$ and many $x\in K$ and $y\in{\mathcal O}_K$ such that $\{x+y,xy\}\subset C_i$. △ Less

Submitted 24 September, 2015; originally announced September 2015.

Comments: 24 pages

New examples of complete sets, with connections to a Diophantine theorem of Furstenberg

Authors: Vitaly Bergelson, David Simmons

Abstract: A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of Cassels ('60), Zannier ('92), Burr, Erdős, Graham, and Li ('96), and Hegyvári ('00). We also introduce the somewhat philosophically related notion of a… ▽ More A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of Cassels ('60), Zannier ('92), Burr, Erdős, Graham, and Li ('96), and Hegyvári ('00). We also introduce the somewhat philosophically related notion of a $dispersing$ set and refine a theorem of Furstenberg ('67). △ Less

Submitted 24 September, 2016; v1 submitted 8 July, 2015; originally announced July 2015.

Uniform distribution of subpolynomial functions along primes and applications

Authors: Vitaly Bergelson, Grigori Kolesnik, Younghwan Son

Abstract: Let $H$ be a Hardy field (a field consisting of germs of real-valued functions at infinity that is closed under differentiation) and let $f \in H$ be a subpolynomial function. Let $\mathcal{P} = \{2, 3, 5, 7, \dots \}$ be the (naturally ordered) set of primes. We show that $(f(n))_{n \in \mathbb{N}}$ is uniformly distributed mod 1 if and only if $(f(p))_{p \in \mathcal{P}}$ is uniformly distribute… ▽ More Let $H$ be a Hardy field (a field consisting of germs of real-valued functions at infinity that is closed under differentiation) and let $f \in H$ be a subpolynomial function. Let $\mathcal{P} = \{2, 3, 5, 7, \dots \}$ be the (naturally ordered) set of primes. We show that $(f(n))_{n \in \mathbb{N}}$ is uniformly distributed mod 1 if and only if $(f(p))_{p \in \mathcal{P}}$ is uniformly distributed mod 1. This result is then utilized to derive various ergodic and combinatorial statements which significantly generalize the results obtained in [BKMST]. △ Less

Submitted 29 April, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

New polynomial and multidimensional extensions of classical partition results

Authors: Vitaly Bergelson, John H. Johnson Jr., Joel Moreira

Abstract: In the 1970s Deuber introduced the notion of $(m,p,c)$-sets in $\mathbb{N}$ and showed that these sets are partition regular and contain all linear partition regular configurations in $\mathbb{N}$. In this paper we obtain enhancements and extensions of classical results on $(m,p,c)$-sets in two directions. First, we show, with the help of ultrafilter techniques, that Deuber's results extend to pol… ▽ More In the 1970s Deuber introduced the notion of $(m,p,c)$-sets in $\mathbb{N}$ and showed that these sets are partition regular and contain all linear partition regular configurations in $\mathbb{N}$. In this paper we obtain enhancements and extensions of classical results on $(m,p,c)$-sets in two directions. First, we show, with the help of ultrafilter techniques, that Deuber's results extend to polynomial configurations in abelian groups. In particular, we obtain new partition regular polynomial configurations in $\mathbb{Z}^d$. Second, we give two proofs of a generalization of Deuber's results to general commutative semigroups. We also obtain a polynomial version of the central sets theorem of Furstenberg, extend the theory of $(m,p,c)$-systems of Deuber, Hindman and Lefmann and generalize a classical theorem of Rado regarding partition regularity of linear systems of equations over $\mathbb{N}$ to commutative semigroups. △ Less

Submitted 11 May, 2016; v1 submitted 10 January, 2015; originally announced January 2015.

Comments: Some typos, including a terminology confusion involving the words `clique' and `shape', were fixed

Triangles in cartesian squares of quasirandom groups

Authors: Vitaly Bergelson, Donald Robertson, Pavel Zorin-Kranich

Abstract: We prove that triangular configurations are plentiful in large subsets of cartesian squares of finite quasirandom groups from classes having the quasirandom ultraproduct property, for example the class of finite simple groups. This is deduced from a strong double recurrence theorem for two commuting measure-preserving actions of a minimally almost periodic (not necessarily amenable or locally comp… ▽ More We prove that triangular configurations are plentiful in large subsets of cartesian squares of finite quasirandom groups from classes having the quasirandom ultraproduct property, for example the class of finite simple groups. This is deduced from a strong double recurrence theorem for two commuting measure-preserving actions of a minimally almost periodic (not necessarily amenable or locally compact) group on a (not necessarily separable) probability space. △ Less

Submitted 9 August, 2016; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: 16 pages

MSC Class: 37A15

Journal ref: Combin. Probab. Comput. 26.2 (2017), pp. 161-182

Polynomial multiple recurrence over rings of integers

Authors: Vitaly Bergelson, Donald Robertson

Abstract: We generalize the polynomial Szemerédi theorem to intersective polynomials over the ring of integers of an algebraic number field, by which we mean polynomials having a common root modulo every ideal. This leads to the existence of new polynomial configurations in positive-density subsets of $\mathbb{Z}^m$ and strengthens and extends recent results of Bergelson, Leibman and Lesigne on polynomials… ▽ More We generalize the polynomial Szemerédi theorem to intersective polynomials over the ring of integers of an algebraic number field, by which we mean polynomials having a common root modulo every ideal. This leads to the existence of new polynomial configurations in positive-density subsets of $\mathbb{Z}^m$ and strengthens and extends recent results of Bergelson, Leibman and Lesigne on polynomials over the integers. △ Less

Submitted 26 September, 2014; originally announced September 2014.

Comments: 23 pages

MSC Class: 37A15

Joint ergodicity along generalized linear functions

Authors: Vitaly Bergelson, Alexander Leibman, Younghwan Son

Abstract: A criterion of joint ergodicity of several sequences of transformations of a probability measure space $X$ of the form $T_{i}^{φ_{i}(n)}$ is given for the case where $T_{i}$ are commuting measure preserving transformations of $X$ and $φ_{i}$ are integer valued generalized linear functions, that is, the functions formed from conventional linear functions by an iterated use of addition, multiplicati… ▽ More A criterion of joint ergodicity of several sequences of transformations of a probability measure space $X$ of the form $T_{i}^{φ_{i}(n)}$ is given for the case where $T_{i}$ are commuting measure preserving transformations of $X$ and $φ_{i}$ are integer valued generalized linear functions, that is, the functions formed from conventional linear functions by an iterated use of addition, multiplication by constants, and the greatest integer function. We also establish a similar criterion for joint ergodicity of families of transformations depending of a continuous parameter, as well as a condition of joint ergodicity of sequences $T_{i}^{φ_{i}(n)}$ along primes. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Polynomial recurrence with large intersection over countable fields

Authors: Vitaly Bergelson, Donald Robertson

Abstract: We give a short proof of polynomial recurrence with large intersection for additive actions of finite-dimensional vector spaces over countable fields on probability spaces, improving upon the known size and structure of the set of strong recurrence times. We give a short proof of polynomial recurrence with large intersection for additive actions of finite-dimensional vector spaces over countable fields on probability spaces, improving upon the known size and structure of the set of strong recurrence times. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 9 pages

MSC Class: 37A15

Finite Products Sets and Minimally Almost Periodic Groups

Authors: Vitaly Bergelson, Cory Christopherson, Donald Robertson, Pavel Zorin-Kranich

Abstract: We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is possible when the group does not have cocompact von Neumann kernel. For the stronger property of being piecewise-syndetic we show that this is always possible. For… ▽ More We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is possible when the group does not have cocompact von Neumann kernel. For the stronger property of being piecewise-syndetic we show that this is always possible. For minimally almost periodic, locally compact, second countable, amenable groups, we prove that any dilation of a positive density set by an open neighborhood of the identity contains a set of measurable recurrence, and that the same result holds, up to a shift, when the von Neumann kernel is cocompact. This leads to a trichotomy for locally compact, second countable, amenable groups based on combinatorial properties of large sets. We also prove, using a two-sided Furstenberg correspondence principle, that any two-sided dilation of a positive density set contains a two-sided finite products set. △ Less

Submitted 19 February, 2014; originally announced February 2014.

Comments: 34 p

MSC Class: 37A15 (Primary) 28D15; 05D10 (Secondary)

Journal ref: J. Funct. Anal. 270.6 (2016), pp. 2126-2176

Polynomial actions of unitary operators and idempotent ultrafilters

Authors: Vitaly Bergelson, Stanisław Kasjan, Mariusz Lemańczyk

Abstract: Let $p$ be an idempotent ultrafilter over $\mathbb{N}$. For a positive integer $N$, let ${\cal P}_{\leq N}$ denote the additive group of polynomials $P\in\mathbb{Z}[x]$ with ${\rm deg}\, P\leq N$ and $P(0)=0$. Given a unitary operator $U$ on a Hilbert space ${\cal H}$, we prove, for each $N\geq1$, the existence of a unique decomposition ${\cal H}=\bigoplus_{r\geq 1}{\cal H}^{(N)}_r$ into closed,… ▽ More Let $p$ be an idempotent ultrafilter over $\mathbb{N}$. For a positive integer $N$, let ${\cal P}_{\leq N}$ denote the additive group of polynomials $P\in\mathbb{Z}[x]$ with ${\rm deg}\, P\leq N$ and $P(0)=0$. Given a unitary operator $U$ on a Hilbert space ${\cal H}$, we prove, for each $N\geq1$, the existence of a unique decomposition ${\cal H}=\bigoplus_{r\geq 1}{\cal H}^{(N)}_r$ into closed, $U$-invariant subspaces such that (a) for any polynomial $P\in{\cal P}_{\leq N}$, we have $$ p\, \text{-}\!\lim_{n\in\mathbb{N}} \left(U|_{{\cal H}_r^{(N)}}\right)^{P(n)}=0_{{\cal H}_r^{(N)}}\;\mbox{or}\; Id_{{\cal H}_r^{(N)}},\; \mbox{for each}\; r\geq1 ; $$ (b) for each $r\neq s$ there exists $Q\in{\cal P}_{\leq N}$ such that $$ p\,\text{-}\!\lim_{n\in\mathbb{N}} \left(U|_{{\cal H}_r^{(N)}}\right)^{Q(n)}\neq p\,\text{-}\!\lim_{n\in\mathbb{N}} \left(U|_{{\cal H}_s^{(N)}}\right)^{Q(n)}. $$ In connection with this result we introduce the notion of rigidity group. Namely, a subgroup $G\subset {\cal P}_{\leq N}$ is called an $N$-rigidity group if there exist an idempotent ultrafilter $p$ over $\mathbb{N}$ and a unitary operator $U$ on a Hilbert space $\cal H$ such that $$\label{ab1} G=\{P\in{\cal P}_{\leq N}:\: p\,\text{-}\!\lim_{n\in\mathbb{N}} U ^{P(n)}=Id\}$$ and $p\,\text{-}\!\lim_{n\in\mathbb{N}} U ^{Q(n)}=0\;\;\mbox{for each}\;\;Q\in{\cal P}_{\leq N}\setminus G.$ The main result of the paper states that a subgroup $G\subset {\cal P}_{\leq N}$ satisfying $\max\{{\rm deg}\, P:\:P\in G\}=N$ is an $N$-rigidity group if and only if $G$ has finite index in ${\cal P}_{\leq N}$. △ Less

Submitted 30 January, 2014; originally announced January 2014.

MSC Class: 37A45; 05D10; 47A35; 47B15

Simultaneous dense and nondense orbits for commuting maps

Authors: Vitaly Bergelson, Manfred Einsiedler, Jimmy Tseng

Abstract: We show that, for two commuting automorphisms of the torus and for two elements of the Cartan action on compact higher rank homogeneous spaces, many points have drastically different orbit structures for the two maps. Specifically, using measure rigidity, we show that the set of points that have dense orbit under one map and nondense orbit under the second has full Hausdorff dimension. We show that, for two commuting automorphisms of the torus and for two elements of the Cartan action on compact higher rank homogeneous spaces, many points have drastically different orbit structures for the two maps. Specifically, using measure rigidity, we show that the set of points that have dense orbit under one map and nondense orbit under the second has full Hausdorff dimension. △ Less

Submitted 21 May, 2014; v1 submitted 18 September, 2013; originally announced September 2013.

Comments: 17 pages. Very minor changes to the exposition. Three additional papers cited

MSC Class: 37D05; 37D35; 37A05

Ergodic Theorem involving additive and multiplicative groups of a field and $\{x+y,xy\}$ patterns

Authors: Vitaly Bergelson, Joel Moreira

Abstract: We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains many configurations of the form $\{x+y,xy\}$. We also show that for any finite coloring of $K$ there are many $x,y\in K$ such that $x,x+y$ and $xy$ have the same… ▽ More We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains many configurations of the form $\{x+y,xy\}$. We also show that for any finite coloring of $K$ there are many $x,y\in K$ such that $x,x+y$ and $xy$ have the same color. Finally, by utilizing a finitistic version of our main ergodic theorem, we obtain combinatorial results pertaining to finite fields. In particular we obtain an alternative proof for a result obtained by Cilleruelo [11], showing that for any finite field $F$ and any subsets $E_1,E_2\subset F$ with $|E_1||E_2|>6|F|$, there exist $u,v\in F$ such that $u+v\in E_1$ and $uv\in E_2$. △ Less

Submitted 4 August, 2015; v1 submitted 23 July, 2013; originally announced July 2013.

Comments: 25 pages, small changes made according to comments from the referees. To appear, Ergodic Theory Dyn. Syst

MSC Class: 37A45; 05D10 (Primary); 05A18; 11T99; 28D15 (Secondary)

Multiple recurrence and convergence results associated to $\mathbb{F}_{p}^ω$-actions

Authors: Vitaly Bergelson, Terence Tao, Tamar Ziegler

Abstract: Using an ergodic inverse theorem obtained in our previous paper, we obtain limit formulae for multiple ergodic averages associated with the action of $\mathbb{F}_{p}^ω$. From this we deduce multiple Khintchine-type recurrence results analogous to those for $\mathbb{Z}$-systems obtained by Bergelson, Host, and Kra, and also present some new counterexamples in this setting. Using an ergodic inverse theorem obtained in our previous paper, we obtain limit formulae for multiple ergodic averages associated with the action of $\mathbb{F}_{p}^ω$. From this we deduce multiple Khintchine-type recurrence results analogous to those for $\mathbb{Z}$-systems obtained by Bergelson, Host, and Kra, and also present some new counterexamples in this setting. △ Less

Submitted 3 November, 2013; v1 submitted 21 May, 2013; originally announced May 2013.

Comments: 44 pages, no figures. Referee suggestions implemented

MSC Class: 37A15; 37A30

Uniform Distribution of Prime Powers and sets of Recurrence and van der Corput sets in Z^k

Authors: Vitaly Bergelson, Grigori Kolesnik, Manfred Madritsch, Younghwan Son, Robert Tichy

Abstract: We establish new results on sets of recurrence and van der Corput sets in Z^k which refine and unify some of the previous results obtained by Sarkozy, Furstenberg, Kamae and Mendes France, and Bergelson and Lesigne. The proofs utilize a general equidistribution result involving prime powers which is of independent interest. We establish new results on sets of recurrence and van der Corput sets in Z^k which refine and unify some of the previous results obtained by Sarkozy, Furstenberg, Kamae and Mendes France, and Bergelson and Lesigne. The proofs utilize a general equidistribution result involving prime powers which is of independent interest. △ Less

Submitted 20 November, 2013; v1 submitted 16 April, 2013; originally announced April 2013.

Multiple recurrence in quasirandom groups

Authors: Vitaly Bergelson, Terence Tao

Abstract: We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, pr… ▽ More We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an \emph{ultra quasirandom group}, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as $(x,gx,xg)$) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups. △ Less

Submitted 2 August, 2013; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: 40 pages, no figures, to appear, GAFA. This is the final version, incorporating the referee suggestions

MSC Class: 37A25

Form discrete- to continuous-time ergodic theorems

Authors: V. Bergelson, A. Leibman, C. G. Moreira

Abstract: We introduce methods that allow to derive continuous-time versions of various discrete-time ergodic theorems. We then illustrate these methods by giving simple proofs and refinements of some known results as well as establishing new results of interest. We introduce methods that allow to derive continuous-time versions of various discrete-time ergodic theorems. We then illustrate these methods by giving simple proofs and refinements of some known results as well as establishing new results of interest. △ Less

Submitted 8 September, 2011; originally announced September 2011.

MSC Class: 37A05 (Primary) 37A10 (Secondary)

Rigidity and Non-recurrence along Sequences

Authors: V. Bergelson, A. del Junco, M. Lemańczyk, J. Rosenblatt

Abstract: Two properties of a dynamical system, rigidity and non-recurrence, are examined in detail. The ultimate aim is to characterize the sequences along which these properties do or do not occur for different classes of transformations. The main focus in this article is to characterize explicitly the structural properties of sequences which can be rigidity sequences or non-recurrent sequences for some w… ▽ More Two properties of a dynamical system, rigidity and non-recurrence, are examined in detail. The ultimate aim is to characterize the sequences along which these properties do or do not occur for different classes of transformations. The main focus in this article is to characterize explicitly the structural properties of sequences which can be rigidity sequences or non-recurrent sequences for some weakly mixing dynamical system. For ergodic transformations generally and for weakly mixing transformations in particular there are both parallels and distinctions between the class of rigid sequences and the class of non-recurrent sequences. A variety of classes of sequences with various properties are considered showing the complicated and rich structure of rigid and non-recurrent sequences. △ Less

Submitted 4 March, 2011; originally announced March 2011.

Journal ref: Ergod. Th. Dynam. Sys. 34 (2014) 1464-1502

The shifted primes and the multidimensional Szemeredi and polynomial van der Waerden theorems

Authors: Vitaly Bergelson, Alexander Leibman, Tamar Ziegler

Abstract: In this short note we establish new refinements of multidimensional Szemeredi and polynomial van der Waerden theorems along the shifted primes. In this short note we establish new refinements of multidimensional Szemeredi and polynomial van der Waerden theorems along the shifted primes. △ Less

Submitted 30 November, 2010; v1 submitted 12 July, 2010; originally announced July 2010.

Comments: 3 pages. Small changes made in light of comments from the referee

Journal ref: Comptes Rendus Mathematique Volume 349, Issues 3-4, February 2011, Pages 123-125

Sumset Phenomenon in Countable Amenable Groups

Authors: Mathias Beiglboeck, Vitaly Bergelson, Alexander Fish

Abstract: ** proved that whenever $A$ and $B$ are sets of positive upper density in $\Z$, $A+B$ is piecewise syndetic. **'s theorem was subsequently generalized by ** and Keisler to a certain family of abelian groups, which in particular contains $\Z^d$. Answering a question of ** and Keisler, we show that this result can be extended to countable amenable groups. Moreover we establish that such sums… ▽ More ** proved that whenever $A$ and $B$ are sets of positive upper density in $\Z$, $A+B$ is piecewise syndetic. **'s theorem was subsequently generalized by ** and Keisler to a certain family of abelian groups, which in particular contains $\Z^d$. Answering a question of ** and Keisler, we show that this result can be extended to countable amenable groups. Moreover we establish that such sumsets (or -- depending on the notation -- "productsets") are piecewise Bohr, a result which for $G=\Z$ was proved by Bergelson, Furstenberg and Weiss. In the case of an abelian group $G$, we show that a set is piecewise Bohr if and only if it contains a sumset of two sets of positive upper Banach density. △ Less

Submitted 14 May, 2009; originally announced May 2009.

An inverse theorem for the uniformity seminorms associated with the action of $F^ω$

Authors: Vitaly Bergelson, Terence Tao, Tamar Ziegler

Abstract: Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where… ▽ More Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic. △ Less

Submitted 8 June, 2009; v1 submitted 16 January, 2009; originally announced January 2009.

Comments: 59 pages, 2 figures, to appear, GAFA. Referee suggestions incorporated. Also, the paper has been shortened at the request of the journal; previous versions on the arXiv can thus be viewed as extended versions

MSC Class: 37A35

Journal ref: Geom. Funct. Anal. 19 (2010), No. 6, 1539-1596