Given a positive integer m, let $\mathbb {Z}_m$ be the set of residue classes mod m. For $A\subseteq \mathbb {Z}_m$ and $n\in \mathbb {Z}_m$, let $\sigma _A(n)$ be the number of solutions to the equation $n=x+y$ with $x,y\in A$. Let $\mathcal {H}_m$ be the set of subsets $A\subseteq \mathbb {Z}_m$ such that $\sigma _A(n)\geq 1$ for all $n\in \mathbb {Z}_m$. Let

$$ \begin{align*} \ell_m=\min\limits_{A\in \mathcal{H}_m}\bigg\lbrace m^{-1}\sum_{n\in \mathbb{Z}_m}\sigma_A(n)\bigg\rbrace. \end{align*} $$

Ding and Zhao [‘A new upper bound on Ruzsa’s numbers on the Erdős–Turán conjecture’, Int. J. Number Theory 20 (2024), 1515–1523] showed that $\limsup _{m\rightarrow \infty }\ell _m\le 192$. We prove

$$ \begin{align*} \limsup\limits_{m\rightarrow\infty}\ell_m\leq 144 \end{align*} $$

and investigate parallel results on subtractive bases of $ \mathbb {Z}_m$.

A set $S\subset {\mathbb {N}}$ is a Sidon set if all pairwise sums $s_1+s_2$ (for $s_1, s_2\in S$, $s_1\leqslant s_2$) are distinct. A set $S\subset {\mathbb {N}}$ is an asymptotic basis of order 3 if every sufficiently large integer $n$ can be written as the sum of three elements of $S$. In 1993, Erdős, Sárközy and Sós asked whether there exists a set $S$ with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the $\mathbb {F}_q[t]$-analogue of Montgomery's conjecture for convolutions of the von Mangoldt function.

An additive basis $A$ is finitely stable when the order of $A$ is equal to the order of $A\cup F$ for all finite subsets $F\subseteq \mathbb{N}$. We give a sufficient condition for an additive basis to be finitely stable. In particular, we prove that $\mathbb{N}^{2}$ is finitely stable.

We improve recent results of Bourgain and Shparlinski to show that, for almost all primes $p$, there is a multiple $mp$ that can be written in binary as

$$\begin{eqnarray}mp=1+2^{m_{1}}+\cdots +2^{m_{k}},\quad 1\leq m_{1}<\cdots <m_{k},\end{eqnarray}$$

$k=6$

$p$

$A=\langle g\rangle \subset \mathbb{F}_{p}^{\ast }$

$g\in \{2,3,5\}$

$|A|\gg p/(\log p)^{3}$

$A\cdot A+A\cdot A$

$\mathbb{F}_{p}$