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$.

Let $G$ be a finite abelian group, $A$ a nonempty subset of $G$ and $h\geq 2$ an integer. For $g\in G$, let $R_{A,h}(g)$ denote the number of solutions of the equation $x_{1}+\cdots +x_{h}=g$ with $x_{i}\in A$ for $1\leq i\leq h$. Kiss et al. [‘Groups, partitions and representation functions’, Publ. Math. Debrecen85(3) (2014), 425–433] proved that (a) if $R_{A,h}(g)=R_{G\setminus A,h}(g)$ for all $g\in G$, then $|G|=2|A|$, and (b) if $h$ is even and $|G|=2|A|$, then $R_{A,h}(g)=R_{G\setminus A,h}(g)$ for all $g\in G$. We prove that $R_{G\setminus A,h}(g)-(-1)^{h}R_{A,h}(g)$ does not depend on $g$. In particular, if $h$ is even and $R_{A,h}(g)=R_{G\setminus A,h}(g)$ for some $g\in G$, then $|G|=2|A|$. If $h>1$ is odd and $R_{A,h}(g)=R_{G\setminus A,h}(g)$ for all $g\in G$, then $R_{A,h}(g)=\frac{1}{2}|A|^{h-1}$ for all $g\in G$. If $h>1$ is odd and $|G|$ is even, then there exists a subset $A$ of $G$ with $|A|=\frac{1}{2}|G|$ such that $R_{A,h}(g)\not =R_{G\setminus A,h}(g)$ for all $g\in G$.

For a given integer $n$ and a set $ \mathcal{S} \subseteq \mathbb{N} $, denote by ${ R}_{h, \mathcal{S} }^{(1)} (n)$ the number of solutions of the equation $n= {s}_{{i}_{1} } + \cdots + {s}_{{i}_{h} } $, ${s}_{{i}_{j} } \in \mathcal{S} $, $j= 1, \ldots , h$. In this paper we determine all pairs $( \mathcal{A} , \mathcal{B} )$, $ \mathcal{A} , \mathcal{B} \subseteq \mathbb{N} $, for which ${ R}_{3, \mathcal{A} }^{(1)} (n)= { R}_{3, \mathcal{B} }^{(1)} (n)$ from a certain point on. We discuss some related problems.