arXiv++ Combinatorics

Let $G$ be a discrete abelian group. Følner showed that if $A \subseteq G$ has positive upper Banach density, then $A - A$ contains an almost Bohr set -- a set of the form $B \setminus E$ where $B$ is a Bohr set and $E$ has zero Banach density. We study the sets $S \subseteq G$ for which $A - A + S$ contains a Bohr set for every $A \subseteq G$ of positive upper Banach density. For $G = \mathbb{Z}$, we show that the sets $\{n^2: n \in \mathbb{N}\}$, $\{p - 1: p \text{ prime}\}$, and $\{ \lfloor n^c \rfloor: n \in \mathbb{N} \}$ with $c > 0$, have this property. We also study those sets $S$ such that $A + S$ contains a Bohr set for every almost Bohr set $A$. As applications, we prove: (i) If $φ_1, φ_2: G \to G$ are (not necessarily commuting) homomorphisms with finite indices $[G: φ_i(G)]$, and $C \subseteq G$ is a central set, then $φ_1(C) - φ_1(C) + φ_2(C)$ contains a Bohr set. This answers one of our questions in [35] and generalizes results in [44, 48]; (ii) Every set of pointwise recurrence in $\mathbb{Z}$ is a set of nice recurrence and a van der Corput set, extending known properties of sets of pointwise recurrence studied in [26, 27, 40].

A subset of the positive integers is dynamically central syndetic if it contains the times that a point returns to a neighborhood of itself in a minimal topological dynamical system. These sets are part of the highly-influential link between dynamics and combinatorics forged by Furstenberg and Weiss in the 1970's. Our main result is a characterization of dynamically central syndetic sets as precisely those sets that belong to syndetic, idempotent filters. This gives a "global" analogue to the well-known "local" characterization of Furstenberg's central sets as members of minimal, idempotent ultrafilters. Applying the main result, we answer two open questions posed by Host, Kra, and Maass concerning sets of pointwise topological recurrence.

For $E \subset \mathbb{N}$, a subset $R \subset \mathbb{N}$ is $E$-intersective if for every $A \subset E$ having positive upper relative density, we have $R \cap (A - A) \neq \varnothing$. On the other hand, $R$ is chromatically $E$-intersective if for every finite partition $E=\bigcup_{i=1}^k E_i$, there exists $i$ such that $R\cap (E_i-E_i)\neq\varnothing$. When $E=\mathbb{N}$, we recover the usual notions of intersectivity and chromatic intersectivity. In this article, we investigate to which extent known intersectivity results hold in the relative setting when $E = \mathbb{P}$, the set of primes, or other sparse subsets of $\mathbb{N}$. Among other things, we prove: -There exists an intersective set that is not $\mathbb{P}$-intersective. -However, every $\mathbb{P}$-intersective set is intersective. -There exists a chromatically $\mathbb{P}$-intersective set which is not intersective (and therefore not $\mathbb{P}$-intersective). -The set of shifted Chen primes $\mathbb{P}_{\mathrm{Chen}} + 1$ is $\mathbb{P}$-intersective (and therefore intersective).

We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, letting $G$ be a countable discrete abelian group and $φ_1, φ_2, φ_3: G \to G$ be commuting endomorphisms whose images have finite indices, we show that (1) If $A \subset G$ has positive upper Banach density and $φ_1 + φ_2 + φ_3 = 0$, then $φ_1(A) + φ_2(A) + φ_3(A)$ contains a Bohr set. This generalizes a theorem of Bergelson and Ruzsa in $\mathbb{Z}$ and a recent result of the first author. (2) For any partition $G = \bigcup_{i=1}^r A_i$, there exists an $i \in \{1, \ldots, r\}$ such that $φ_1(A_i) + φ_2(A_i) - φ_2(A_i)$ contains a Bohr set. This generalizes a result of the second and third authors from $\mathbb{Z}$ to countable abelian groups. (3) If $B, C \subset G$ have positive upper Banach density and $G = \bigcup_{i=1}^r A_i$ is a partition, $B + C + A_i$ contains a Bohr set for some $i \in \{1, \ldots, r\}$. This is a strengthening of a theorem of Bergelson, Furstenberg, and Weiss. These results are quantitative in the sense that the radius and rank of the Bohr set obtained depends only on the indices $[G:φ_j(G)]$, the upper Banach density of $A$ (in (1)), or the number of sets in the given partition (in (2) and (3)).

Let $G$ be a compact abelian group and $φ_1, φ_2, φ_3$ be continuous endomorphisms on $G$. Under certain natural assumptions on the $φ_i$'s, we prove the existence of Bohr sets in the sumset $φ_1(A) + φ_2(A) + φ_3(A)$, where $A$ is either a set of positive Haar measure, or comes from a finite partition of $G$. The first result generalizes theorems of Bogolyubov and Bergelson-Ruzsa. As a variant of the second result, we show that for any partition $\mathbb{Z} = \bigcup_{i=1}^r A_i$, there exists an $i$ such that $A_i - A_i + sA_i$ contains a Bohr set for any $s \in \mathbb{Z} \setminus \{ 0 \}$. The latter is a step toward an open question of Katznelson and Ruzsa.

To give positive answer to a question of Frantzikinakis, we study a class of subsets of $\mathbb{N}$, called interpolation sets, on which every bounded sequence can be extended to an almost periodic sequence on $\mathbb{N}$. Strzelecki has proved that lacunary sets are interpolation sets. We prove that sets that are denser than all lacunary sets cannot be interpolation sets. We also extend the notion of interpolation sets to nilsequences and show that the analogue to Frantzikinakis' question for arbitrary sequences is false.

Let $(X, \mathcal{B},μ,T)$ be an ergodic measure preserving system, $A \in \mathcal{B}$ and $ε>0$. We study the largeness of sets of the form \begin{equation*} \begin{split} S = \left\{ n\in\mathbb{N}\colonμ(A\cap T^{-f_1(n)}A\cap T^{-f_2(n)}A\cap\ldots\cap T^{-f_k(n)}A)> μ(A)^{k+1} - ε\right\} \end{split} \end{equation*} for various families $\{f_1,\dots,f_k\}$ of sequences $f_i\colon \mathbb{N} \to \mathbb{N}$. For $k \leq 3$ and $f_{i}(n)=i f(n)$, we show that $S$ has positive density if $f(n)=q(p_n)$ where $q \in \mathbb{Z}[x]$ satisfies $q(1)$ or $q(-1) =0$ and $p_n$ denotes the $n$-th prime; or when $f$ is a certain Hardy field sequence. If $T^q$ is ergodic for some $q \in \mathbb{N}$, then for all $r \in \mathbb{Z}$, $S$ is syndetic if $f(n) = qn + r$. For $f_{i}(n)=a_{i}n$, where $a_{i}$ are distinct integers, we show that $S$ can be empty for $k\geq 4$, and for $k = 3$ we found an interesting relation between the largeness of $S$ and the abundance of solutions to certain linear equations in sparse sets of integers. We also provide some partial results when the $f_{i}$ are distinct polynomials.