We prove that any positive rational number is the sum of distinct unit fractions with denominators in $\{p-1 : p\textrm { prime}\}$. The same conclusion holds for the set $\{p-h : p\textrm { prime}\}$ for any $h\in \mathbb {Z}\backslash \{0\}$, provided a necessary congruence condition is satisfied. We also prove that this is true for any subset of the primes of relative positive density, provided a necessary congruence condition is satisfied.

We prove new upper bounds for the number of representations of an arbitrary rational number as a sum of three unit fractions. In particular, for fixed m there are at most ${\cal O}_{\epsilon }(n^{{3}/{5}+\epsilon })$ solutions of ${m}/{n} = {1}/{a_1} + {1}/{a_2} + {1}/{a_3}$. This improves upon a result of Browning and Elsholtz (2011) and extends a result of Elsholtz and Tao (2013) who proved this when m=4 and n is a prime. Moreover, there exists an algorithm finding all solutions in expected running time ${\cal O}_{\epsilon }(n^{\epsilon }({n^3}/{m^2})^{{1}/{5}})$, for any $\epsilon \gt 0$. We also improve a bound on the maximum number of representations of a rational number as a sum of k unit fractions. Furthermore, we also improve lower bounds. In particular, we prove that for given $m \in {\open N}$ in every reduced residue class e mod f there exist infinitely many primes p such that the number of solutions of the equation ${m}/{p} = {1}/{a_1} + {1}/{a_2} + {1}/{a_3}$ is $\gg _{f,m} \exp (({5\log 2}/({12\,{\rm lcm} (m,f)}) + o_{f,m}(1)) {\log p}/{\log \log p})$. Previously, the best known lower bound of this type was of order $(\log p)^{0.549}$.

Let 𝒜={as(mod ns)}ks=0 be a system of residue classes. With the help of cyclotomic fields we obtain a theorem which unifies several previously known results related to the covering multiplicity of 𝒜. In particular, we show that if every integer lies in more than m0=⌊∑ ks=11/ns⌋ members of 𝒜, then for any a=0,1,2,… there are at least subsets I of {1,…,k} with ∑ s∈I1/ns=a/n0. We also characterize when any integer lies in at most m members of 𝒜, where m is a fixed positive integer.