arXiv++ Combinatorics

A central problem in zero-sum theory is to determine the Davenport constant of a finite abelian group. For a finite abelian group $G\cong C_{n_1}\oplus\cdots\oplus C_{n_r}$, with $1<n_1\mid\cdots\mid n_r$, let $\mathsf D(G)$ be the least integer $t$ such that every sequence of $t$ elements of $G$ contains a nonempty zero-sum subsequence, and denote $\mathsf D^*(G):= 1+\sum_{i=1}^r(n_i-1)$. The standard construction shows that $\mathsf D(G)\ge\mathsf D^*(G)$. Equality holds for several important classes of groups but fails in general, and even the question whether $\mathsf D(G)/\mathsf D^*(G)$ is bounded by an absolute constant remains open. In this paper, we prove the upper bound \[ \mathsf D(G)<4.86\,\exp(G)\frac{\log|G|}{\log\exp(G)} \] for every finite abelian group. When $|G|$ is large compared with $\exp(G)$, it improves the previous classical upper bound by a factor of order $\log\exp(G)$. We also prove that, for almost all finite abelian groups (counting isomorphism classes by order), \[ \mathsf D(G)\sim\exp(G)\frac{\log|G|}{\log\exp(G)}\sim\mathsf D^*(G). \] We also study the difference $\mathsf D(G)-\mathsf D^*(G)$: for every function $L$ with $L(x)\to\infty$, almost all groups satisfy $\mathsf D(G)-\mathsf D^*(G)\le L(\mathsf D^*(G))$. However, for every fixed $C\ge0$, the groups with $\mathsf D(G)-\mathsf D^*(G)>C$ have positive lower density.

Let $K>1$ be a real number and let $A\subsetneq \mathbb Z$ be a finite and nonempty subset. Suppose $|A+A|<K|A|$. A fundamental open problem is to characterize the size of higher iterated sumsets $nA = A+\cdots+A$ ($n$-fold sumset). In 2004, Terry Tao formally posed the problem of determining the optimal growth function governing iterated sumsets of small-doubling sets. In this manuscript, we give a solution to this long-standing open problem for large enough $n$.

For a subset $A$ of a finite abelian group $G$, let $Σ_k(A)$ denote the set of sums of $k$ distinct elements of $A$, and let $Σ(A)=\bigcup_{k\ge1}Σ_k(A)$. The problem of determining when $Σ(A)=G$ goes back to Erdős and Heilbronn. Nguyen and Vu later formulated the corresponding fixed-length question: for a prescribed $k$, when does $Σ_k(A)=G$? For groups of odd order, we prove the sharp large-order threshold $|A|>|G|/3+1$, which forces $Σ_k(A)=G$ throughout the entire middle range $4\le k\le |A|-4$. This determines the limiting thresholds posed by Girard, Griffiths and Hamidoune. If $p$ is the least prime divisor of $|G|$, then, for fixed odd $p$ and sufficiently large $|G|$, the exact threshold $|A|\ge |G|/p+p-1$ forces covering throughout the middle range beginning at $2p-2$. Thus, throughout this range, prescribing the number of summands does not change the sharp covering threshold. For $3\le k\le2p-3$, the restricted and ordinary $k$-fold covering problems have the same asymptotic threshold. As an application to MDS elliptic codes on an elliptic curve $E/\F_q$, we sharpen the half-scale conjecture of Li, Wan and Zhang, obtaining the sharp $1/3$-scale bound when $|E(\F_q)|$ is odd and, more generally, the exact bound determined by the least prime divisor of $|E(\F_q)|$.

Let $G$ be a finite abelian group of order $n$, and let $\mathsf M(G,m)$ denote the set of zero-sum sequences over $G$ of length $m$. We introduce the zero-sum polytope $\mathcal P_G$, a rational polytope of dimension $n-1$, whose lattice points encode zero-sum sequences: \[ |\mathsf M(G,m)|=|m\mathcal P_G\cap \mathbb Z^n|. \] This naturally realizes the enumeration of zero-sum sequences as a problem in rational Ehrhart theory, which leads to a combinatorial reciprocity theorem identifying the negative evaluations of the corresponding counting quasipolynomial with zero-sum sequences of full support. Our main results establish a face-stratified rigidity for zero-sum polytopes: whenever two such polytopes have equal total lattice point counts at specific dilations, the dimension-wise open-face strata are equinumerous. Moreover, we study the natural $\operatorname{Aut}(G)$-action on $\mathcal P_G$, derive equivariant generating functions and reciprocity formulas, and obtain cyclic sieving phenomena for natural cyclic actions.

A linear code with parameters $[n, k, n - k + 1]$ is called maximum distance separable (MDS), and one with parameters $[n, k, n - k]$ is called almost MDS (AMDS). A code is near-MDS (NMDS) if both it and its dual are AMDS. NMDS codes supporting combinatorial $t$-designs have attracted growing interest, yet constructing such codes remains highly challenging. In 2020, Ding and Tang initiated the study of NMDS codes supporting 2-designs by constructing the first infinite family, followed by several other constructions for $t > 2$, all with length at most $q + 1$. Although NMDS codes can, in principle, exceed this length, known examples supporting 2-designs and having length greater than $q + 1$ are extremely rare and limited to a few sporadic binary and ternary cases. In this paper, we present the first \emph{generic construction} of $q$-ary NMDS codes supporting 2-designs with lengths \emph{exceeding $q + 1$}. Our method leverages new connections between elliptic curve codes, finite abelian groups, subset sums, and combinatorial designs, resulting in an infinite family of such codes along with their weight distributions.

Near maximum distance separable (NMDS) codes are important in finite geometry and coding theory. Self-dual codes are closely related to combinatorics, lattice theory, and have important application in cryptography. In this paper, we construct a class of $q$-ary linear codes and prove that they are either MDS or NMDS which depends on certain zero-sum condition. In the NMDS case, we provide an effective approach to construct NMDS self-dual codes which largely extend known parameters of such codes. In particular, we proved that for square $q$, almost $q/8$ NMDS self-dual $q$-ary codes can be constructed.

In this paper, we present a reciprocity on finite abelian groups involving zero-sum sequences. Let $G$ and $H$ be finite abelian groups with $(|G|,|H|)=1$. For any positive integer $m$, let $\mathsf M(G,m)$ denote the set of all zero-sum sequences over $G$ of length $m$. We have the following reciprocity $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|.$$ Moreover, we provide a combinatorial interpretation of the above reciprocity using ideas from rational Catalan combinatorics. We also present and explain some other symmetric relationships on finite abelian groups with methods from invariant theory. Among others, we partially answer a question proposed by Panyushev in a generalized version.

Cyclic codes are a subclass of linear codes and have applications in consumer electronics, data storage systems and communication systems as they have efficient encoding and decoding algorithms. In this paper, we settle an open problem about a class of optimal ternary cyclic codes which was proposed by Ding and Helleseth. Let $C_{(1,e)}$ be a cyclic code of length $3^m-1$ over GF(3) with two nonzeros $α$ and $α^e$, where $α$ is a generator of $GF(3^m)^*$ and e is a given integer. It is shown that $C_{(1,e)}$ is optimal with parameters $[3^m-1,3^m-1-2m,4]$ if one of the following conditions is met. 1) $m\equiv0(\mathrm{mod}~ 4)$, $m\geq 4$, and $e=3^\frac{m}{2}+5$. 2) $m\equiv2(\mathrm{mod}~ 4)$, $m\geq 6$, and $e=3^\frac{m+2}{2}+5$.

Let $G$ be an additive finite abelian group with exponent $\exp(G)=m$. For any positive integer $k$, the $k$-th generalized Erdős-Ginzburg-Ziv constant $\mathsf s_{km}(G)$ is defined as the smallest positive integer $t$ such that every sequence $S$ in $G$ of length at least $t$ has a zero-sum subsequence of length $km$. It is easy to see that $\mathsf s_{kn}(C_n^r)\ge(k+r)n-r$ where $n,r\in\mathbb N$. Kubertin conjectured that the equality holds for any $k\ge r$. In this paper, we mainly prove the following results: (1) For every positive integer $k\ge 6$, we have $$\mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\ln n}).$$ (2) For every positive integer $k\ge 18$, we have $$\mathsf s_{kn}(C_n^4)=(k+4)n+O(\frac{n}{\ln n}).$$ (3) For $n\in \mathbb N$, assume that the largest prime power divisor of $n$ is $p^a$ for some $a\in\mathbb N$. For any fixed $r\ge 5$, if $p^t\ge r$ for some $t\in\mathbb N$, then for any $k\in\mathbb N$ we have $$\mathsf s_{kp^tn}(C_n^r)\le(kp^t+r)n+c_r\frac{n}{\ln n},$$ where $c_r$ is a constant depends on $r$. Note that the main terms in our results are consistent with the conjectural values proposed by Kubertin.

$G$ be an additive finite abelian group. The Davenport constant $\mathsf D(G)$ is the smallest integer $t$ such that every sequence (multiset) $S$ over $G$ of length $|S|\ge t$ has a non-empty zero-sum subsequence. Recently, B. Girard proved that for every fixed integer $r > 1$ the Davenport constant $\mathsf D(C_n^r)$ is asymptotic to $rn$ when $n$ tends to infinity. In this paper, for every fixed positive integer $r$, we prove that $$\mathsf D(C_n^r)=rn+O(\frac{n}{\ln n}).$$ This is an explicit version of the above result of B. Girard. Furthermore, we can get better estimates of the error term for some $n$ of special types. Finally, we get an asymptotic result for some finite abelian groups of special types. Our proof combines a classical argument in the zero-sum theory together with some basic tools and results from analytic number theory.

Let $G$ be a multiplicative finite group and $S=a_1\cdot\ldots\cdot a_k$ a sequence over $G$. We call $S$ a product-one sequence if $1=\prod_{i=1}^ka_{τ(i)}$ holds for some permutation $τ$ of $\{1,\ldots,k\}$. The small Davenport constant $\mathsf d(G)$ is the maximal length of a product-one free sequence over $G$. For a subset $L\subset \mathbb N$, let $\mathsf s_L(G)$ denote the smallest $l\in\mathbb N_0\cup\{\infty\}$ such that every sequence $S$ over $G$ of length $|S|\ge l$ has a product-one subsequence $T$ of length $|T|\in L$. Denote $\mathsf e(G)=\max\{\text{ord}(g): g\in G\}$. Some classical product-one (zero-sum) invariants including $\mathsf D(G):=\mathsf s_{\mathbb N}(G)$ (when $G$ is abelian), $\mathsf E(G):=\mathsf s_{\{|G|\}}(G)$, $\mathsf s(G):=\mathsf s_{\{\mathsf e(G)\}}(G)$, $η(G):=\mathsf s_{[1,\mathsf e(G)]}(G)$ and $\mathsf s_{d\mathbb N}(G)$ ($d\in\mathbb N$) have received a lot of studies. The Noether number $β(G)$ which is closely related to zero-sum theory is defined to be the maximal degree bound for the generators of the algebra of polynomial invariants. Let $G\cong C_m\ltimes_{\varphi} C_{mn}$, in this paper, we prove that $$\mathsf E(G)=\mathsf d(G)+|G|=m^2n+m+mn-2$$ and $β(G)=\mathsf d(G)+1=m+mn-1$. We also prove that $\mathsf s_{mn\mathbb N}(G)=m+2mn-2$ and provide the upper bounds of $η(G)$, $\mathsf s(G)$. Moreover, if $G$ is a non-cyclic nilpotent group and $p$ is the smallest prime divisor of $|G|$, we prove that $β(G)\le \frac{|G|}{p}+p-1$ except if $p=2$ and $G$ is a dicyclic group, in which case $β(G)=\frac{1}{2}|G|+2$.