arXiv++ Combinatorics

Extending recent developments of Kra, Moreira, Richter and Roberson, we study infinite sumset patterns in $U^k(Φ)$-uniform subsets of the integers, defined via the local uniformity seminorms introduced by Host and Kra. The main result relates the degree $k$ of a $U^k(Φ)$-uniform set to the existence of sumset patterns along prescribed vertices of $\ell$-dimensional parallelepipeds, for $k \leq \ell$. The proof relies on a dynamical analysis of return-time sets to neighborhoods of points lying over pronilfactor fibers. We then derive higher-order parity obstructions for sumset patterns and consequences in topological dynamics.

For any set $A$ of natural numbers with positive upper Banach density, we show the existence of an infinite set $B$ and sequences $(t_k)_{k\in \mathbb{N}}, (s_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F \subset B + s_k, 1 \leq |F| \leq k \right\}\subset A-t_k$, for every $k\in \mathbb{N}$. This strengthens the density finite sums theorem of Kra, Moreira, Richter, and Robertson. We further show, given such a set $A$, the existence of an infinite set $B$ and a sequence $(t_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F \subset B, |F| = k \right\}\subset A-t_k$, for every $k\in \mathbb{N}$. As a corollary, we obtain a sequence $(B_n)_{n\in \mathbb{N}}$ of infinite sets of natural numbers such that $B_1+\cdots +B_k \subset A$, for every $k\in \mathbb{N}$. We also establish the optimality of our main theorems by providing counterexamples to potential further generalizations, and thereby addressing questions of the aforementioned authors in the context of density analogs to Hindman's finite sums theorem.

Let $(G,+)$ be a countable abelian group such that the subgroup $\{g+g\colon g\in G\}$ has finite index and the doubling map $g\mapsto g+g$ has finite kernel. We establish lower bounds on the upper density of a set $A\subset G$ with respect to an appropriate Følner sequence, so that $A$ contains a sumset of the form $\{t+b_1+b_2\colon b_1,b_2\in B\}$ or $\{b_1+b_2\colon b_1,b_2\in B\}$, for some infinite $B\subset G$ and some $t\in G$. Both assumptions on $G$ are necessary for our results to be true. We also characterize the Følner sequences for which this is possible. Finally, we show that our lower bounds are optimal in a strong sense.

For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically, when the lower density $\underline{d}(A) >1/2$ or the upper density $\overline{d}(A)> 3/4$, the existence of such a set $B\subset \mathbb{N}$ and $t\in \{0,1\}$ is assured. Furthermore, whenever $\underline{d}(A) > 3/4$ or $\overline{d}(A)>5/6$, we show that the shift $t$ is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic $B+B+t$ for any infinite set $B \subset \mathbb{N}$ and number $t \in \mathbb{N}$.