Related papers: Bohr sets in sumsets III: expanding difference set…
For an abelian topological group G let G^* denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X) < w(G) and an open…
Let $G= N\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup $N$ and a closed subgroup $H.$ The Bohr compactification ${\rm Bohr}(G)$ and the profinite completion ${\rm Prof}(G)$ of $G$ are,…
Let $t\geq 1$, let $A$ and $B$ be finite, nonempty subsets of an abelian group $G$, and let $A\pp{i} B$ denote all the elements $c$ with at least $i$ representations of the form $c=a+b$, with $a\in A$ and $b\in B$. For $|A|, |B|\geq t$, we…
Let $A$ be a subset of primes up to $x$. If we assume $A$ is well-distributed (in the Siegel-Walfisz sense) in any arithmetic progressions to moduli $q\leqslant(\log x)^c$ for any $c>0$, then the sumset $A+A$ has density 1/2 in the natural…
For a subset $A$ of a Polish group $G$, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of $A$, equal to the supremum of cardinalities $|S|$ of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is…
We investigate additive properties of sets $A,$ where $A=\{a_1,a_2,\ldots ,a_k\}$ is a monotone increasing set of real numbers, and the differences of consecutive elements are all distinct. It is known that $|A+B|\geq c|A||B|^{1/2}$ for any…
Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…
We will prove that, for any abelian group $G$, the canonical (surjective and continuous) mapping $\boldsymbol{\beta}G \to {\frak b}G$ from the Stone-\v{C}ech compactification $\boldsymbol{\beta}G$ of $G$ to its Bohr compactfication ${\frak…
In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a…
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,…
The bilinear Bogolyubov argument for $\mathbb{F}_p^n$ states that if we start with a dense set $A \subseteq \mathbb{F}_p^n \times \mathbb{F}_p^n$ and carry out sufficiently many steps where we replace every row or every column of $A$ by the…
Assuming the well-known conjecture that [x,x+x^t] contains a prime for t > 0 and x sufficiently large, we prove: For 0 < r < 1, there exists 0 < s < r < 1, 0 < d < 1, and infinitely many primes q such that if S is a subset of Z/qZ having…
We characterize the structure of maximum-size sum-free subsets of a random subset of an Abelian group $G$. In particular, we determine the threshold $p_c \approx \sqrt{\log n / n}$ above which, with high probability as $|G| \to \infty$,…
Inspired by recent questions of Nathanson, we show that for any infinite abelian group $G$ and any integers $m_1, \ldots, m_H$, there exist finite subsets $A,B \subseteq G$ such that $|hA|-|hB|=m_h$ for each $1 \leq h \leq H$. We also…
We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we…
For a Fell bundle $\mathcal{B}=\left\{B_{s}\right\}_{s \in G}$ over a discrete group $G$, we use representations theory of $\mathcal{B}$ to construct the Fourier and Fourier-Stieltjes spaces $A(\mathcal{B})$ and $B(\mathcal{B})$ of…
In this paper we study sum-free sets of order $m$ in finite Abelian groups. We prove a general theorem on 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting.…
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…
Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of…
Let $G$ be a locally compact group, and let ${\cal R}(G)$ denote the ring of subsets of $G$ generated by the left cosets of open subsets of $G$. The Cohen--Host idempotent theorem asserts that a set lies in ${\cal R}(G)$ if and only if its…