arXiv++ Combinatorics

In this note, we give a Turán theorem for Cayley graphs $\Cay(\Z_p,S)$ over prime cyclic groups $\Z_p$. For a graph $F$ and a finite abelian group $G$, define the Cayley--Turán number by \[ \exCay(F,G) = \max\{|S|:S=-S\subseteq G\setminus\{0\},\ \Cay(G,S)\text{ is }F\text{-free}\}. \] Using a polynomial method, we prove that for every odd prime $p$ and every $1\le r\le p-1$, \[ \exCay(K_{r+1},\Z_p) = p-1-2\left\lfloor\frac{p}{r+1}\right\rfloor . \] The extremal construction is the complement of the short-difference interval \[ D_0=\{0,\pm1,\ldots,\pm\lfloor p/(r+1)\rfloor\}. \] We also discuss what changes for general finite abelian groups, showing why the exact prime-cyclic formula does not extend verbatim to composite cyclic groups.

Let $A$ be a finite non-empty subset of an abelian group $G$, and let $r_A(d)=|\{(a,a')\in A^2:a-a'=d\}|$. Croot and Lev asked whether the pointwise half-threshold condition $r_A(d)\ge |A|/2$ for every $d\in A-A$ forces $A-A$ to be either a subgroup or a union of three cosets. We resolve this open problem in its sharp general form by identifying the essential obstruction: the statement is false in arbitrary abelian groups, but becomes true after excluding non-zero two-torsion. More precisely, if $G$ is two-torsion-free and the half-threshold condition holds, then either $A-A$ is a finite subgroup of $G$, or there are a finite subgroup $H\le G$ and elements $x,g\in G$ such that \[ A=(x+H)\cup(x+g+H). \] The two-torsion-free hypothesis is essential: for every $r\ge1$ we construct $A\subseteq\F_2^{2r+1}$ with $A-A=\F_2^{2r+1}\setminus\{t\}$ such that every non-zero represented difference has exactly $|A|/2$ representations, giving genuine counterexamples to the Croot--Lev conclusion. The proof of the positive result combines a Kneser quotient reduction with Lev's formulation of Kemperman's critical-pair theory.

Let $p$ be an odd prime and let $S\subseteq \Z_p$ be symmetric with $0\notin S$. Let $\Cay(\Z_p,S)$ be the undirected Cayley graph on $\Z_p$ in which $x$ and $y$ are adjacent if and only if $x-y\in S$. For $1\le \ell\le (p-1)/2$, define \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=\max\{|S|: S=-S,\ 0\notin S,\ \Cay(\Z_p,S)\text{ contains no }C_{2\ell+1}\}. \] Confirming a conjecture of Cashman and Kelley, we prove that if $p=2\ell+1$, then $\ex_{\Cay}(C_{2\ell+1},\Z_p)=0$, while if $p>2\ell+1$, then \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=2\floor{\frac{p+2\ell+1}{2(2\ell+1)}}. \] The proof combines a sharp additive zero-sum odd-girth argument with weak odd pancyclicity to transfer the result from odd-girth exclusion to fixed odd-cycle exclusion. We also give a canonical extremal family, an exact extremality criterion in terms of odd zero-sum avoidance, and an example showing that extremizers need not be dilates of the canonical construction.