arXiv++ Combinatorics

We study the minimax problem for restricted two-fold self-sumsets in $k$-colorings of $\mathbb{Z}_n$. For primes $p$ with $2\le k\le p$ we determine the exact minimum $\max\{0,\,2\lceil p/k\rceil-3\}$. For general $n$ (with $m=\lceil n/k\rceil$) we bound the optimum between a size term $\min\{p(n),\,2m-3\}$ and a periodicity term $f\big(n/q(n,k)\big)$, and show these bounds are tight when $2m-3\le p(n)$ or $f\big(n/q(n,k)\big)\le \min\{p(n),\,2m-3\}$. We further prove a stability inequality and a threshold theorem that force concentration in a single subgroup coset near the periodic scale. In the prime case with $m\ge 5$ and $2m-3<p$, every optimal coloring contains a class of size $m$ that is an arc (an arithmetic progression up to an affine automorphism). Our approach combines the restricted Erdős--Heilbronn phenomenon with block/coset colorings and an injectivity window.

We study 2-colorings of Z/pZ that avoid monochromatic 4-term arithmetic progressions for every step d with p not dividing d. We prove a complete classification for primes: such a coloring exists if and only if p is in {5, 7, 11}. When solutions exist, the minimal period equals p, and we enumerate them up to dihedral symmetries and a global color swap. Nonexistence for all other primes combines DRAT-verified UNSAT certificates for 13 ≤ p ≤ 997 with a cyclic van der Waerden corollary that forces nonexistence for every prime p ≥ 34. Using the same SAT/DRAT pipeline on composite moduli (restricted to non-degenerate windows), we certify the exact cyclic van der Waerden value W_c(4,2) = 34: we find a witness at M = 33 and produce a DRAT-verified UNSAT certificate at M = 34. For all M ≥ 35 the bound W_c(4,2) ≤ W(4,2) = 35 implies unavoidability. All scripts and proof logs are provided for exact reproduction.