arXiv++ Combinatorics

This paper establishes a classification of the critical numbers for restricted sumsets in finite abelian groups, determining them exactly for even-order groups and bounding them for odd-order groups, while revealing a fundamental structural dichotomy governed by parity. For groups of even order, we prove a universal rigidity theorem: the index-$2$ subgroup creates an immutable arithmetic barrier at density $1/2$, fixing the critical number at $|G|/2+1$ regardless of the group's internal structure. In sharp contrast, we demonstrate that for groups of odd order, this barrier vanishes, causing the critical threshold to collapse to significantly lower densities bounded by index-$5$ obstructions or the smallest prime divisor. These results unify and vastly generalize previous work on cyclic groups, providing a definitive structural theory for the transition from sparsity to saturation. As a decisive application, we resolve a conjecture of Han and Ren in algebraic coding theory. By translating the additive rigidity at density $1/2$ into a geometric constraint, we prove that for all sufficiently large $q$, any subset of rational points on an elliptic curve $E/\mathbb{F}_q$ generating an MDS code must satisfy the tight bound $|P|\le|E(\mathbb{F}_q)|/2$.

Let $q=2^m$ with $m\ge 3$ and set $n:=q+1$. We investigate $(q+1)$-arcs $\mathcal A\subset \mathrm{PG}(3,q)$ that admit a regular cyclic subgroup $C\le \mathrm{PGL}(4,q)$ of order $n$. Over $K=\mathbb{F}_{q^2}$, such an action can be conjugated to a diagonal one, producing explicit cyclic monomial models \[ \mathcal M_a = \{[1:t:t^a:t^{a+1}]:t\in U_n\}\subset \mathrm{PG}(3,K), \qquad U_n=\{u\in K^\times:u^n=1\}, \] with $a\in(\mathbb{Z}/n\mathbb{Z})^\times$. We develop a spectral rigidity principle to obtain a precise descent criterion: $\mathcal M_a$ is $K$-projectively equivalent to a $(q+1)$-arc defined over $\mathbb{F}_q$ if and only if $a\equiv \pm 2^e \pmod n$ for some integer $e$ with $\gcd(e,m)=1$. Consequently, regular cyclic pairs $(\mathcal A,C)$ fall into exactly $\varphi(m)/2$ $K$-projective equivalence classes. As an immediate coding-theoretic application, we resolve the remaining AMDS/MDS dichotomy for the BCH family $\mathcal C_{(q,q+1,3,h)}$ studied by Xu et al.: $\mathcal C_{(q,q+1,3,h)}$ is MDS if and only if $2h+1\equiv \pm 2^e \pmod n$ for some $e$ with $\gcd(e,m)=1$. The underlying spectral rigidity step is formulated in a general setting for diagonal regular cyclic pairs in $\mathrm{PG}(r,K)$, providing a portable reduction of projective equivalence questions to explicit congruences on exponent data.