English

Bohr sets in sumsets II: countable abelian groups

Combinatorics 2023-06-08 v3 Dynamical Systems

Abstract

We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, letting GG be a countable discrete abelian group and ϕ1,ϕ2,ϕ3:GG\phi_1, \phi_2, \phi_3: G \to G be commuting endomorphisms whose images have finite indices, we show that (1) If AGA \subset G has positive upper Banach density and ϕ1+ϕ2+ϕ3=0\phi_1 + \phi_2 + \phi_3 = 0, then ϕ1(A)+ϕ2(A)+ϕ3(A)\phi_1(A) + \phi_2(A) + \phi_3(A) contains a Bohr set. This generalizes a theorem of Bergelson and Ruzsa in Z\mathbb{Z} and a recent result of the first author. (2) For any partition G=i=1rAiG = \bigcup_{i=1}^r A_i, there exists an i{1,,r}i \in \{1, \ldots, r\} such that ϕ1(Ai)+ϕ2(Ai)ϕ2(Ai)\phi_1(A_i) + \phi_2(A_i) - \phi_2(A_i) contains a Bohr set. This generalizes a result of the second and third authors from Z\mathbb{Z} to countable abelian groups. (3) If B,CGB, C \subset G have positive upper Banach density and G=i=1rAiG = \bigcup_{i=1}^r A_i is a partition, B+C+AiB + C + A_i contains a Bohr set for some i{1,,r}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)][G:\phi_j(G)], the upper Banach density of AA (in (1)), or the number of sets in the given partition (in (2) and (3)).

Keywords

Cite

@article{arxiv.2207.04150,
  title  = {Bohr sets in sumsets II: countable abelian groups},
  author = {John T. Griesmer and Anh N. Le and Thái Hoàng Lê},
  journal= {arXiv preprint arXiv:2207.04150},
  year   = {2023}
}

Comments

39 pages, 2 figures, incorporating referee's suggestions, to appear in Forum Math. Sigma

R2 v1 2026-06-25T00:46:24.922Z