arXiv++ Combinatorics

Let \(d\ge2\) be fixed and let \(G_n\) be finite abelian groups of odd orders \(N_n\to\infty\). We determine the centered diameter-\(d\) critical window for the standard random Cayley graph in which each nonzero group element is selected independently. Writing \(M_n=(N_n-1)/2\), we prove that the normalized first distance-\(d\) coverage times satisfy \sum_{[x]\in(G_n\setminus\{0\})/\{\pm1\}} δ_{\frac{N_n^{d-1}}{d!}τ_{n,[x]}^d-\log M_n} \xrightarrow{d} \PPP(e^{-z} $\,dz). Consequently, the number of antipodal defects in the critical window converges in total variation to a Poisson law, the diameter transition has the Gumbel profile \(e^{-e^{-c}}\), and the diameter hitting time has Gumbel fluctuations. In the original generator-density parametrization this yields the sharp fixed-\(d\) threshold constant \(d!/2^d\) throughout the odd-order abelian class. For \(d=2\), we additionally obtain an exact path--cycle decomposition of the target representation graphs.

Let $G$ be a nontrivial, finite abelian group. Then $ν(G)$ is the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. We study the invariant $ν(G)$, which was introduced in Zero-Sum Theory in the 1960s.

Let $G$ be a finite group, and let $\exp(G)$ denote its exponent. The Erdős-Ginzburg-Ziv constant $s(G)$ is the least integer forcing a product-one subsequence of length $\exp(G)$, while the short product-one constant $η(G)$ is the least integer forcing a nonempty product-one subsequence of length at most $\exp(G)$. The natural nonabelian extension of a conjecture [W. Gao, \emph{On zero-sum subsequences of restricted size II}, Discrete Math. 2003] on the Erdős-Ginzburg-Ziv constant in finite abelian groups predicts that $s(G)=η(G)+\exp(G)-1.$ We confirm this equality for every finite nonabelian group $G$ having a cyclic subgroup of index $p$, where $p$ is the smallest prime divisor of $|G|$. As further consequences, we determine all generalized Erdős-Ginzburg-Ziv constants $s_{m\exp(G)}(G)$ for this family of groups.

It is shown that there exists $c > 0$ so that the Cayley graph over any finite abelian group $Z$ generated by $c \log |Z|$ random elements is properly 3-colorable with high probability (as $|Z| \to \infty$). This is asymptotically tight and improves the best-known bound due to Alon of $\frac{1}{4}\log \log |Z|$ elements. It also settles the abelian case of Alon's suggestion that a bound of $c \log |G|$ may hold for any finite solvable group $G$.

For an odd prime $p$, let $m(p)$ be the minimum cardinality of a set $A\subseteq \mathbb Z/p\mathbb Z$, with $|A|\geq2$, such that no sum in $A+A$ has a unique representation as an unordered pair from $A$, with repetition allowed. Bedert proved \[ m(p)\gg \log p\, \frac{\sqrt{\log^{(3)}p}}{\log^{(4)}p}. \] We prove the stronger lower bound \[ m(p)\gg \log p\,\log\log p. \] More generally, if $G$ is a finite Abelian group and $q(G)$ is the least prime divisor of $|G|$, then the same explicit estimate holds whenever $q(G)>2$, and in particular every subset $A\subseteq G$ with $|A|\geq2$ and no unique sum has cardinality $\gg \log q(G)\,\log\log q(G)$ as $q(G)\to\infty$. The proof has two structural inputs. First, a maximum subset of $A$ whose distinct-element subset sums of size at most four are all different has cardinality $\gg\log p$. This follows from a short-coordinate lemma and a collision-lattice determinant argument. Second, we refine Bedert's density increment. Alternative representations are oriented toward an uncovered endpoint, coalesced by their translation, and separated into wide, exposed, and recurrent batches. A load-sensitive entropy lemma codes the recurrent translations using their actual final fibre multiplicities. The resulting global shift-set complexity is $\exp(O(K))$, where $K$ is the ratio of $|A|$ to the level-four additive dimension. This forces $K\gg\log\log p$, and the theorem follows. All headline statements and the structural implications used to derive them have also been checked in Lean~4 with explicit integer constants. As a secondary and logically independent result, we construct weakly ternary-balanced sets and obtain \[ m(p)\leq \frac{(\log p)^2}{2(\log 3)^2} +\left(\frac{2}{\log 3}+o(1)\right) \frac{(\log p)^2}{\log\log p}. \]

Nested orthogonal arrays (NOAs) have found increasing application in various experimental design problems. A central challenge in this field is the derivation of lower bounds on the number of runs. These bounds serve as a powerful criterion to prove the nonexistence of specific arrays. For symmetric NOAs, Mukerjee, Qian, and Wu developed statistical arguments that yield fairly tight bounds. By contrast, the bounds for asymmetric NOAs proposed by Lin, Pang and Chen, which are obtained via a recursive column deletion technique that reduces the general problem to NOAs of strength 2, are not optimal. Consequently, improving these bounds remains a significant open problem. In this paper, we reformulate the Rao bound and establish a new bound for NOAs under a group theoretic framework. Using the character theory of finite abelian groups, we obtain an equivalent characterization via group characters. This framework allows us to give a new proof of Rao bound for orthogonal arrays and to derive significantly sharper lower bounds for asymmetric NOAs than those of Lin et al. In the case where all factor levels are equal, our bounds reduce naturally to the symmetric bounds of Mukerjee, Qian, and Wu. We also confirm their optimality by explicitly two constructions of NOAs that achieve these bounds.

Subset sums over finite abelian groups lie at the intersection of additive combinatorics, design theory, and coding theory. Let $G$ be a finite abelian group, and let $\cB_k^x$ be the family of $k$-subsets of $G$ whose elements sum to $x\in G$. This paper studies when the incidence structure $(G,\cB_k^x)$ is a block design. The elementary abelian $p$-group case was settled by Falcone and Pavone. Pavone (\emph{Des. Codes Cryptogr.} 91 (2023), 2585--2603) further asked whether, for an arbitrary finite abelian group $G$, the zero-sum incidence structure $(G,\cB_k^0)$ can be a nontrivial $2$-design only when $G$ is an elementary abelian $p$-group. We settle this open question in the stronger form that, for every $x\in G$, $(G,\cB_k^x)$ can be a nontrivial $2$-design only if $G$ is an elementary abelian $p$-group. The proof develops a character-theoretic approach to subset-sum designs, using character sums over the blocks to constrain the structure of the character group $\widehat G$. The approach also yields a complete characterization of subset-sum $1$-designs and general arithmetic restrictions on subset-sum designs over arbitrary finite abelian groups, extending the corresponding results previously known for finite abelian $p$-groups.

Fuglede's conjecture asserts that a measurable set of positive and finite measure is spectral if and only if it tiles Euclidean space by translations. Counterexamples are known in every dimension $d\ge3$, whereas the one- and two-dimensional cases have remained unresolved. We construct two explicit $60$-point subsets of the rank-two finite Abelian group $\Z_{60}\times\Z_{12}$: one is a translational tile with no spectrum, and the other is spectral but does not tile. A finite-to-infinite transference principle lifts them to bounded subsets of $\R^2$ that are finite unions of unit squares. Consequently, both implications in Fuglede's conjecture fail in dimension two.

Fix a prime $p$ and a constant $\frac{1}{p}<α\leq 1$. Consider the random Erdős--Rényi bipartite graph $G_α(n,u)$ with bipartition $(V_1,V_2)$ of sizes $|V_1|=n$ and $|V_2|=\lceilαn\rceil$, and edge probability $0<u<1$. The authors of [1] and [8] conjectured a limiting distribution for the $p$-Sylow subgroup of the sandpile group of $G_α(n,u)$ as $n\to\infty$. We prove this conjecture for odd primes $p$. Similar results have previously been proved by computing the expected number of surjections from the random abelian $p$-group to $H$, for each finite abelian $p$-group $H$. However, in our setting, these surjective moments often diverge to infinity, despite the conjectured limiting distribution having finite moments. We resolve this issue by discarding the graphs for which too many vertices have degrees divisible by $p$. Once we remove the contribution of this rare set of graphs, then the surjective moments converge to the expected values. When $p$ is odd, applying Wood's universality theorem yields the desired convergence in distribution. For $p=2$, our computed moments (after excluding the rare set of graphs) match those of the conjectured distribution. However, these moments do not uniquely determine a distribution.

We prove that for every Cayley graph $\mathcal{G}$ over any finite abelian group $G$, there is a weighted Cayley graph with $O(\log |G|)$ generators that is a spectral sparsifier for $\mathcal{G}$. This bound is optimal. Applying our bound to the group $G = \mathbb{F}_2^n$, yields, as a corollary, $O(n/\varepsilon^2)$-sized code sparsifiers for $\mathbb{F}_2$-linear codes, improving on the work of Khanna, Putterman and Sudan (SODA'24) who obtained a similar result with an additional $\mathrm{polylog}(n)$ loss. Our proof is strongly inspired by a recent work of Reis and Rothvoss for the construction of $\ell_1$-sparsifiers. Following their work, the abelian Cayley sparsification problem can be reduced to establishing a lower bound for the volume of a certain natural convex body. This volume bound follows from a short, elementary argument that relies on character symmetry.

Recently, there has been significant interest in applying the method of moments developed by Wood and others to study distributions of finite abelian groups that arise in number theory and combinatorics. When the moments do not grow too fast, they determine a unique distribution. We construct large families of distributions that have the same moments. These families include several distributions that arise naturally in the study of sandpile groups of families of random graphs. Wood determined the distribution of Sylow $p$-subgroups of sandpile groups of Erdős--Rényi random graphs. This was extended by Mészáros to sandpile groups of random $d$-regular graphs, who observed an interesting special case when $d$ is even and $p = 2$. We study Sylow $p$-subgroups of sandpile groups of random bipartite graphs and similarly find a special case for $p =2$. Although this distribution differs from that of Mészáros, we show that they have the same moments and fit into our broader construction. To compute the moments of the distributions we study, we apply combinatorial tools from the theory of Hall--Littlewood functions.

We study when, and how compactly, a finite connected graph (G) embeds isometrically into a Cayley graph of a finite abelian group. The classical theory of partial cubes answers this for isometric subgraphs of hypercubes through the Djokovic-Winkler relation (θ); we extend the question to the full family of abelian Cayley graphs, whose hosts may carry composite generators and cyclic factors of any order. We introduce an involutive edge relation (\varphi), defined by two simultaneous distance equalities, which coincides with (θ) exactly on partial cubes and remains informative beyond them, together with an oriented relation (Φ) for non-involutive hosts, where generator classes are constrained to be partial permutations rather than matchings.The central result is a quotient labeling theorem: for any partition of the edge set into candidate generator classes, the most generic consistent vertex labeling is the quotient of the free module on the classes by the lattice of signed cycle-class incidences, computed by the Smith normal form; the binary case is its reduction modulo two. We prove that the finest partition always yields an isometric labeling, that compactifying the resulting universal group is itself an instance of the same quotient construction, and that the whole construction is algorithmic and certifiable. Worked examples include the triangle, the Petersen graph (embedding into the Clebsch graph of order 16), the Pappus graph (a 1024-fold compaction), and the diamond (a non-diagonal fold). Sharp dimension bounds and an exhaustive census of small graphs are developed in a companion paper. 2020 MSC: 05C12, 05C25, 20K01, 05C50

Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$, and $\mathcal A (G)$ the set consisting of all minimal zero-sum subsequences over $G$. For any subset $Ω\subset \mathcal F (G)$, we define the universal zero-sum invariant ${\mathsf d}_Ω(G)$ as the minimal positive integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ contains a subsequence lying in $Ω$. The classical Davenport constant ${\rm D}(G)$ for $G$ can also be written as ${\mathsf d}_{\mathcal A (G)}(G)$. We give a complete classification of all finite abelian groups for which $\mathcal A(G)$ is a minimal set to represent the Davenport constant. We also investigate the weighted Davenport constant over abelian groups (which may be infinite). Let $F$ and $G$ be abelian groups, and let $Ψ\subseteq \mathrm{Hom}(F,G)$ denote a weight set. We reinterpret the weighted Davenport constant $D_Ψ(G)$ in terms of coverings of Cartesian powers $F^n$ by kernels of induced homomorphisms arising from tuples in $Ψ^n$; these homomorphisms are naturally linked to coproducts in the category of abelian groups. This motivates the notion of kernel-cover compactness, a property characterizing when such kernel coverings admit finite subcovers. We establish a correspondence between weighted zero-sum invariants and kernel-cover structures, where the bound $D_Ψ(G)\le n$ is equivalent to a canonical kernel-cover property on $F^n$. We further study finite reduction phenomena for infinite weight sets and provide sufficient conditions ensuring uniform kernel-cover compactness. The present work constitutes a follow-up to [G. Wang, Comm. Algebra, 2025].

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.

Given \(H\leq G\) finite abelian groups, a transversal \(T\subseteq G\) for \(G/H\) has fixed size \(|G/H|\), but its ambient difference support \(D(T)=T-T\) can vary with the embedding of \(H\) in \(G\). We call $ δ(G,H)=\min_T |D(T)| $ the transversal difference number of the pair \((G,H)\). This invariant is related to finite abelian factorisation, tiling complements, and small-sumset questions, and is motivated by recent work regarding ambient Galois labels in CRT transforms for cyclotomic-subfield homomorphic encryption. We prove various results regarding this invariant, including a general lower bound $δ(G,H)\geq 2|G/H|-m(G,H), $ where \(m(G,H)\) is the largest order of a subgroup of \(G\) disjoint from \(H\). The bound is sharp for cyclic quotients, and Kneser's theorem gives a cross-transversal estimate leading to exact product families with one nonsplit cyclic coordinate and arbitrary split factors. These results isolate the first genuinely new residual obstruction, namely the same-prime square plane \[ G=(\mathbb Z/p^2\mathbb Z)^2,\qquad H=pG. \] For odd \(p\), this case is the technical core of the paper. Here transversals are graphs of functions \(\mathbb F_p^2\to \mathbb F_p^2\), and \(D(T)\) decomposes into carry-corrected finite-field derivative images. We conjecture that \[ δ(G,H)=(2p-1)^2 \] for all odd primes \(p\), prove the unconditional lower bound \(3p^2-p-1\), and give small-prime, probabilistic, and fixed-polynomial evidence for the conjecture.

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.

Fix a prime $p$ and a constant $\frac{1}{p}<α\leq 1$. Consider the random directed Erdős--Rényi bipartite graph $\vec G(n,\lceilαn\rceil ,v)$ with bipartition $(V_1,V_2)$ of sizes $|V_1|=n$ and $|V_2|=\lceilαn\rceil$, and edge probability $0<v<1$. Bhargava, DePascale and Koenig conjectured a limiting distribution for the $p$-Sylow subgroup of the sandpile group of $\vec G(n,\lceilαn\rceil,v)$ as $n\to\infty$. We prove this conjecture. Similar results have previously been proved by computing the expected number of surjections from the random abelian $p$-group onto $H$, for each finite abelian $p$-group $H$. However, in the case of $p$-Sylow subgroups of sandpile groups of random directed bipartite graphs, these surjective moments often diverge to infinity, despite the conjectured limiting distribution having finite moments. We resolve this by restricting to a high-probability subset of graphs on which the surjective moments are well-behaved, and discarding a rare exceptional set of graphs whose contribution to the distribution vanishes but whose contribution to the surjective moments often diverges. Computing the conditional surjective moments on the good set and applying Wood's universality theorem yields the desired convergence in distribution.

We prove an upper bound for the number of subgroups of an abelian $p$-group, with constants that are sharp on homocyclic blocks. If $A_λ$ has type $λ$, the main exponent is $η(λ)=\sum_i\lfloor(λ'_i)^2/4\rfloor$, where the parts of $λ'$ are the column heights of the Ferrers diagram of $λ$. The leading coefficient is the number of central choices in the blocks of columns of odd height. The proof starts from Delsarte's formula, separates the blocks by column height, and estimates each homocyclic block by successive Durfee squares. We also give three applications: a comparison theorem for $p$-groups of nilpotency class less than $p$, diagonal summatory estimates with the shape fixed, and formulae for leading terms at fixed rank for finite abelian $p$-groups.

We prove the finite abelian two-generator conjecture of Darijani--Miraftab--Witte Morris: every directed Cayley digraph on a finite abelian group with two distinct nonzero generators has two arc-disjoint Hamiltonian paths. The proof uses a cut-reflection theorem for Hamiltonian cut values in the family Cay(Z_k; a, a+1): if Z is the set of such values and N=k-1, then, with N-Z={N-z : z in Z}, dist(Z,N-Z)<=1. The proof uses sector-filling inequalities for primitive-ray multiplicities and an extremal graph recording pairs at minimal reflected distance. The estimate is sharp modulo parity: exact reflection occurs for odd k, while distance one occurs for even k. The second remaining cyclic family, Cay(Z_k; -a, a+1), is treated by an explicit quotient--fiber construction. We also prove the remaining three-factor case for Cartesian products of directed cycles. Together with the two-factor and at-least-four-factor theorems of Darijani--Miraftab--Witte Morris, this resolves their directed-cycle product conjecture for all numbers of factors.

A set $M$ of nonzero integers is said to split a finite abelian group $G$ if there exists a subset $S\subseteq G$ such that $M\cdot S = G\setminus\{0\}$. Such a splitting is called purely singular if every prime divisor of $|G|$ divides some element of $M$. In 1995, Woldar \cite{W1995} conjectured that the finite abelian groups admitting a purely singular splitting by the set $\{1,2,\dots,k\}$ are precisely the cyclic groups of orders $1$, $k+1$, and $2k+1$. In this paper, we prove this conjecture.