arXiv++ Combinatorics

The paper gives a positive answer to Owings's sumsets question. That is, it is shown that for any $2$-coloring of natural numbers, there is an infinite $B\subset \mathbb{N}$ such that $B+B$ is monochromatic. Meanwhile, some weighted forms of this result are also presented.

In this paper we prove that for any finite coloring of N there are lambda,rho in N such that infinitely many pairs (x,y),(u,v) in N^2 satisfy the sets {lambda x, lambda y, x y, lambda(x+y)} and {u+rho, v+rho, u v+rho, u+v} being monochromatic. Using related arguments we also give two different proofs of a special case of the Milliken--Taylor theorem.

Let $d\in {\mathbb N}$ and $p_i$ be an integral polynomial with $p_i(0)=0$, $1\le i\le d$. It is shown that if $S$ is piecewise syndetic in $\mathbb Z$, then $$\{(m,n)\in{\mathbb Z}^2: m+p_1(n),\ldots,m+p_d(n)\in S\}$$ is piecewise syndetic in ${\mathbb Z}^2$, which extends the result by Glasner and Furstenberg for linear polynomials. Our result is obtained by showing the density of minimal points of a dynamical system of ${\mathbb Z}^2$ action associated with the piecewise syndetic set $S$ and the polynomials $\{p_1,\ldots,p_d\}$. Moreover, it is proved that if $(X,T)$ is minimal, then for each non-empty open subset $U$ of $X$, there is $x\in U$ with $\{n\in {\mathbb Z}: T^{p_1(n)}x\in U, \ldots, T^{p_d(n)}x\in U\}$ piecewise syndetic.

The problem which can be viewed as the higher order version of an old question concerning Bohr sets is investigated: for any $d\in \N$ does the collection of $\{n\in \Z: S\cap (S-n)\cap...\cap (S-dn)\neq \emptyset\}$ with $S$ syndetic coincide with that of Nil$_d$ Bohr$_0$-sets? In this paper it is proved that Nil$_d$ Bohr$_0$-sets could be characterized via generalized polynomials, and applying this result one side of the problem could be answered affirmatively: for any Nil$_d$ Bohr$_0$-set $A$, there exists a syndetic set $S$ such that $A\supset \{n\in \Z: S\cap (S-n)\cap...\cap (S-dn)\neq \emptyset\}.$ Note that other side of the problem can be deduced from some result by Bergelson-Host-Kra if modulo a set with zero density. As applications it is shown that the two collections coincide dynamically, i.e. both of them can be used to characterize higher order almost automorphic points.