On sets with small sumset and m-sum-free sets in Z/pZ

This paper makes progress toward the $3k-4$ conjecture in groups $\mathbb{Z}/p\mathbb{Z}$ for $p$ prime. The conjecture states that if $A$ is a nonempty subset of $\mathbb{Z}/p\mathbb{Z}$ satisfying $2A\neq \mathbb{Z}/p\mathbb{Z}$ and $|2A|=2|A|+r \leq \min\{3|A|-4,\;p-r-3\}$, then $A$ is covered by an arithmetic progression of size at most $|A|+r+1$. A theorem of Serra and Z\'emor proves the conjecture provided that $r\leq 0.0001|A|$, without any additional constraint on $|A|$. Subject to the mild constraint $|2A|\leq 3p/4$ (which is optimal in a sense explained in the paper), our first main result improves the bound on $r$, allowing $r\leq 0.1368|A|$. We also prove a variant that further improves this bound on $r$ provided $A$ is sufficiently dense. We then apply this variant to give a new upper bound for the maximal density of $m$-sum-free sets in $\mathbb{Z}/p\mathbb{Z}$, i.e., sets $A$ having no solution $(x,y,z)\in A^3$ to the equation $x+y=mz$, where $m\geq 3$ is a fixed integer. The previous best upper bound for this maximal density was $1/3.0001$ (using the Serra-Z\'emor Theorem). We improve this to $1/3.1955$. We also present a construction of Schoen that yields a lower bound for this maximal density of the form $1/8-o_{m}(1)_{p\to\infty}$.