arXiv++ Combinatorics

Let $R_m$ be the least positive integer $r$ such that there exists a set $A\subseteq \mathbb{Z}_{m}$ with $A+A=\mathbb{Z}_m$ for which the number of ordered solutions of $n=x+y$ with $x,y\in A$ is at most $r$ for every $n\in \mathbb{Z}_m$. In this note we prove that $R_m\leqslant 128$ for every positive integer $m$, improving the previous bound $R_m\leqslant 192$.

Let $x$ be sufficiently large and \[ N(x)=\big|\bigl\{n\le x:n\ \text{is odd and }n\ne p+2^a+2^b \textrm{ with } p \text{ a prime and } a,b\in \mathbb{N}\bigr\}\big|. \] Motivated by Crocker's result \[ N(x)\gg \log\log x, \] Erd\H os repeatedly asked whether there is an absolute constant $c_0$ such that $N(x)>c_0x$. Pan \cite{Pan} proved in 2011 that \[ N(x)\gg x\exp\!\left( -C_0\frac{\log\log\log\log x}{\log\log\log x}\log x \right), \] where $C_0>0$ is an absolute constant. We improve on Pan's result by showing that, given any $η>0$, for all sufficiently large $x$, \[ N(x)\gg_ηx\exp\left(-(4+η)\frac{\log\log\log x}{\log\log x}\log x\right). \]

Let $k\ge 2$ and $a_1, a_2, \cdots, a_k$ be positive integers with \[ \gcd(a_1, a_2, \cdots, a_k)=1. \] It is proved that there exists a positive integer $G_{a_1, a_2, \cdots, a_k}$ such that every integer $n$ strictly greater than it can be represented as the form \[ n=a_1x_1+a_2x_2+\cdots+a_kx_k, \quad (x_1, x_2, \cdots, x_k\in\mathbb{Z}_{\ge 0},~\gcd(x_1, x_2, \cdots, x_k)=1). \] We then investigate the size of $G_{a_1, a_2}$ explicitly. Our result strengthens the primality requirement of $x$'s in the classical Diophantine Frobenius Problem.