arXiv++ Combinatorics

Let $H=(V,E)$ be a $k$-uniform hypergraph with polynomial $f_H(\bm{x})=\sum_{e\in E}\prod_{v\in e}x_v$. For a finite abelian group $G$ and a subgroup $S$ of $G$, the $k$-partite Cayley hypergraph $K$ has $k$ disjoint vertex parts, each indexed by $G$, and $\{(1,g_1),\ldots,(k,g_k)\}$ is an edge if and only if $g_1+\cdots+g_k\in S$. For $k=2$, $K$ is isomorphic to the Bi-Cayley graph associated with $G$ and $S$. For $k\ge3$, we use character theory to express $f_K$, under a complex unitary change of variables, as a sum of exactly $[G:S]$ nonzero monomials in pairwise disjoint sets of variables. This yields a direct sum decomposition whenever $S$ is a proper subgroup of $G$. When $G=\Z_2^m$, this transformation is real and orthogonal, enabling us to determine the complete sets of complex E-eigenvalues and Z-eigenvalues of the adjacency tensor of $K$.

A Steiner quadruple system of order $v$, denoted by $\operatorname{SQS}(v)$, is called cyclic if it admits $\mathbb Z_v$ as a group of automorphisms acting regularly on its point set. A cyclic system is called symmetric cyclic, or S-cyclic, if the multiplier $-1$ preserves each block orbit individually. Grannell and Griggs conjectured in 1983 that such a system of order $v$ exists if and only if $v\equiv2,4,10,20\pmod{24}$ and every odd prime divisor $p$ of $v$ satisfies $p\equiv1$ or $5\pmod{12}$. This paper proves the conjecture. The main step is to construct an $S$-cyclic Steiner quadruple system of order $2p$ for every prime $p\equiv1\pmod4$. Together with existing reduction theorems, these constructions determine which finite abelian groups admit a symmetric group-invariant Steiner quadruple system.

We completely classify connected Cayley graphs over finite abelian groups that exhibit perfect state transfer in Grover walks. First, we show that a Cayley graph over any finite group exhibiting perfect state transfer has valency $1$, $2$, or $4$. For valency $4$, we prove that an abelian Cayley graph $\operatorname{Cay}(Γ,S)$ exhibits perfect state transfer if and only if $S=\{a,-a,a+h,-a+h\}$, where $h$ has order $2$, and $4\nmid |Γ|/2$. Combining this characterization with the valency-one and valency-two cases, we explicitly determine all pairs $(Γ,S)$ for which $\operatorname{Cay}(Γ,S)$ exhibits perfect state transfer. Our results extend the classification of circulant graphs of valency at most four obtained by Kubota and Yoshino [Circulant graphs with valency up to 4 that admit perfect state transfer in Grover walks, \emph{J. Comb. Theory Ser. A.}, 216 (2025) 106064] to Cayley graphs over arbitrary finite abelian groups and to all valencies.

Let $G$ be a finite abelian group with exponent $\exp(G)$. For positive integer $k$, the generalized Erdős--Ginzburg--Ziv constant, denoted by $\mathsf s_{k\exp(G)}(G)$ is the least integer $\ell$ such that every sequence of length at least $\ell$ over $G$ has a zero-sum subsequence of length $k\exp(G)$. In this paper, we prove that, for any $n\ge 1$, \[\mathsf s_{3\cdot 2^n}(C_{2^n}^3)=6\cdot 2^n-3 \quad\text{and}\quad \mathsf s_{4\cdot 3^n}(C_{3^n}^3)=7\cdot 3^n-3. \] This completes all the remaining cases in the study of $\mathsf s_{kq}(C_q^3)$, where $q$ is a prime power and $k\ge 3$. As a consequence, for every $k\ge 3$, we have \[ \mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\log n}). \] This verifies a conjecture of Kubertin asymptotically. Our approach combines the previous group ring techniques and a recent powerful generalization of the Chevalley-Warning and Ax-Katz theorems introduced by Grynkiewicz

Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1<n_1\mid\cdots\mid n_r$, and let $\rr(G)=r$ denote its rank. The Davenport constant $\DD(G)$ is the least integer $\ell$ such that every sequence of $\ell$ elements of $G$ contains a nonempty zero-sum subsequence, and $\DD^*(G)=1+\sum_{i=1}^r(n_i-1)$ is its classical lower bound. A long-standing conjecture asserts that $\DD(G)\le\DD^*(G)+\rr(G)-1$. In this paper, we disprove this conjecture. More strongly, we prove that $\sup_{\rr(G)=r}\bigl(\DD(G)-\DD^*(G)\bigr)=\infty$ for every fixed $r\ge5$. Thus the classical lower bound does not approximate the Davenport constant within an additive error depending only on the rank. More precisely, our construction gives $δ(C_m^{r-4}\oplus C_{3m}^3\oplus C_{6m})\ge m$ for all integers $r\ge5$ and $m\ge2$. Consequently, the least rank $r_0$ for unbounded Davenport excess $\DD(G)-\DD^*(G)$ satisfies $3\le r_0\le5$. Our result also disproves the Narkiewicz--Śliwa conjecture of 1982 \cite{NS82} on the Narkiewicz constant, arising in algebraic number theory from the quantitative study of algebraic integers with unique factorization. The same amplification of the Davenport excess yields counterexamples to Girard's conjecture \cite[Conjecture 1.2]{Girard08} on the cross numbers of long zero-sum-free sequences. As a further main result, we establish the uniform upper bound $$\DD(G)\le\frac{16}{5}\rr(G)\exp(G)$$ for every nontrivial finite abelian group $G$. The classical estimate of van Emde Boas and Kruyswijk \cite{vEBK69} gives $\DD(G)\le\exp(G)\left(1+\log\frac{|G|}{\exp(G)}\right) \le\exp(G)\bigl(1+(\rr(G)-1)\log\exp(G)\bigr)$. Our bound removes the logarithmic factor $\log\exp(G)$ from this classical estimate, and replaces it with the absolute constant $16/5$.

Motivated by recent work on $λ$-fold near-factorizations by Kreher, Li, and Stinson (Designs, Codes and Cryptography, 2026), we introduce and systematically investigate $(λ,μ)$-fold factorizations as combinatorial structures with prescribed representation multiplicities. Such a factorization consists of two subsets of a finite group whose products represent each nonidentity element exactly $λ$ times and the identity exactly $μ$ times. These structures generalize $λ$-fold near-factorizations and provide a common framework for several families arising in combinatorial design theory, including strong external difference families with two equal-sized subsets, as well as binary sequence pairs with two-level correlation. Their associated $\{0,1\}$-matrices satisfy the Bridges-Ryser equation $XY=λ(J-I)+μI$, linking the factorization problem to a classical matrix framework for combinatorial designs. We establish the foundational theory of $(λ,μ)$-fold factorizations, provide two general constructions, and prove several nonexistence results for finite abelian groups.

The main aim of the present paper is to introduce new methods for the study of combinatorial designs related to bent functions. They are based on interpretations of convolution on finite abelian groups as multiplication by a multidimensional matrix and designs as perfect colorings of subspace hypergraphs of $\mathbb{F}_2^n$. We establish a correspondence between eigenfunctions of convolution matrices and perfect colorings of subspace hypergraphs, show that perfect colorings of subspace hypergraphs admit a characterization in terms of convolution and that two-valued eigenfunctions of subspace hypergraphs correspond to perfect colorings. As applications, we represent partial difference sets, bent and plateaued Boolean functions, spreads, and strong bent partitions of $\mathbb{F}_2^n$ as eigenfunctions of convolution matrices and as perfect colorings of subspace hypergraphs. We also find some eigenvalues of convolution matrices over $\mathbb{F}_2^n$ and $\mathbb{F}_3^n$.

Let $G$ be a finite abelian group of order $n$ and $X$ a finite $G$-set. We give a necessary and sufficient condition on $G$ for any $X$ to be determined up to isomorphism by certain combinatorial data. Specifically, if $M_H^X$ is the number of $H$-orbits in $X$, and $a_d^X$ is the number of $G$-orbits in $X$ of cardinality $d$, we characterize when equalities $M_H^{X_1} = M_H^{X_2}$ and $a_d^{X_1}=a_d^{X_2}$ for all $H \leq G$ and $d|n$, respectively, force an isomorphism $X_1 \simeq X_2$. Our main result is that this occurs if and only if $G$ is cyclic or $G$ is the direct sum of a finite cyclic group and a cyclic group of prime order. We conclude with an arithmetic application to $L$-function factorization.

Minimum product-set problems ask how small a product of two subsets of prescribed cardinalities can be in a finite group. Although the problem is completely understood for finite abelian groups, exact results in the nonabelian setting are available only for particular classes. We determine the minimum product-set function $μ_G$ for every finite metacyclic group, without assuming that the relevant cyclic extension splits. Our proof converts the extremal problem into a finite recursive arithmetic description of the feasible cardinality vectors of subset trios. The recursion combines the subgroup structure of finite metacyclic groups with the structural classification of maximal critical subset trios. The resulting characterization recovers the previously known formulas for abelian and nilpotent groups, dihedral groups, and nonabelian groups of order $pq$. It also yields metacyclic examples in which the minimum product-set size lies strictly between the classical lower and upper arithmetic bounds for finite solvable groups. For faithful split metacyclic groups, we further show that requiring one factor to be symmetric, contain the identity, and generate the whole group can force a strictly larger product set than the unrestricted minimum. The latter constraint admits a vertex-isoperimetric interpretation on connected Cayley graphs.

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.

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)|$.

For a finite abelian group $G$, let $μ_2(G)$ be the minimum number of positive eigenvalues of an entrywise positive real symmetric group-circulant matrix whose entrywise square is positive definite. We prove that $μ_2(G)\le5$ precisely when $|G|\le15$, and that $μ_2(G)=6$ precisely when $|G|=16$ or $G$ is cyclic of order $18$, $20$ or $22$. For the noncyclic groups of order at most fifteen, the minimum is three for $C_2^2$ and five otherwise. If the positive Fourier support of such a matrix is $\{0,\pm r_1,\ldots,\pm r_d\}$, where $d\ge1$ and all $2d+1$ displayed elements are distinct, then there are integers $α_1,\ldots,α_d$, not all zero, such that $\sum_iα_i r_i=0$ and $\sum_i|α_i|\le\max\{5,d+2\}$. The bound five is sharp for $d=2$ and $d=3$.

Let $G$ be a finite abelian group, and let $c_0(G)$ be the least integer such that every regular sequence over $G$ of at least this length is an additive basis. Let $\mathsf N(G)$ be the least integer $l$ such that every weak-regular sequence $S$ over $G$ with $|S|\ge l$ has a nonempty zero-sum subsequence $T$ satisfying $\mathsf v_g(T)=\mathsf v_g(S)$ for some $g\mid S$. We obtain a common upper bound for $c_0(C_q\oplus C_{nq})$ for groups of odd order, where $q$ is prime, and prove $\mathsf N(G)\ge r(n_r-1)+1$ when $G=C_{n_1}\oplus\cdots\oplus C_{n_r}$ with $1<n_1\mid\cdots\mid n_r$. If $n\ge1$ and $p\ge3$ is the smallest prime divisor of $np$, we obtain $\mathsf N(C_p\oplus C_{np^2})=2np^2-1$ and give upper bounds for $\mathsf N(C_p\oplus C_{np})$ when $p\nmid n$. We also determine $\mathsf N(C_n)$ for two infinite families of cyclic groups arising in earlier work.

We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating function in our theorem is a projected nilsequence, obtained as the fiber-wise average of a nilsequence defined on a boundedly-larger abelian group extending the original abelian group. This result is tight in the following sense: we prove also that $k$-step projected nilsequences of bounded complexity are genuine obstructions to having small Gowers $U^{k+1}$-norm. This inverse theorem relies on a new result concerning compact finite-rank (CFR) nilspaces, which is the main contribution in this paper: every $k$-step CFR nilspace is a factor of a $k$-step nilmanifold. This new connection between the classical theory of nilmanifolds and the more recent theory of nilspaces has applications beyond arithmetic combinatorics. We illustrate this with an application in topological dynamics, by proving the following result making progress on a question of Jamneshan, Shalom and Tao: every minimal $\mathbb{Z}^ω$-system of order $k$ is a factor of an inverse limit of $\mathbb{Z}^ω$-polynomial orbit systems of order $k$, these being natural generalizations of nilsystems alternative to translational systems.

A conference signal is a complex-valued function on a finite abelian group that vanishes at 0 in both the time and frequency domains, and is otherwise flat in both domains. For example, the Legendre symbol is a conference signal on $\mathbb{Z}_p$ since it vanishes at $0$, takes values $\pm 1$ away from zero, and is a scalar multiple of its Fourier transform. More generally, any nontrivial multiplicative character on a finite field is a conference signal on its additive group. Until now, conference signals have mainly been studied by number theorists, who wanted to know if multiplicative characters were the only conference signals on finite fields. The state of the art uses fancy tools from symplectic geometry to prove that non-character conference signals exist on non-small fields. The same tools show conference signals exist on every abelian group of odd order, without saying what they are. In this (human-friendly!) paper, we explain how conference signals produce other objects of interest in algebraic combinatorics and applied harmonic analysis, and then we present some new, explicit constructions of conference signals on $\mathbb{Z}_n$. In particular, we give the first explicit conference signals for composite $n$ and the first explicit non-character examples for prime $n$.

We denote by $f_k(Γ)$ the largest integer with the property that every subset of a finite abelian group $Γ$ of size at least $|Γ| - f_k(Γ)$ is a $k$-fold sumset. Extending a recent result of Alon and Pham, we prove that $$ f_k(Γ) \leq \widetilde{O} \left(n^{(2k-1)/(4k-3)}\right) $$ holds for all finite abelian groups $Γ$ and integers $k \geq 2$, where $n = |Γ|$. Additionally, we also show that the lower bound $f_k(Γ) \geq \widetildeΩ \left(n^{1/k}\right)$ holds if $Γ$ has no nontrivial element of order dividing $k$. Our upper bound improves a previous result of Balogh, Liu, and Sharifzadeh, and recovers the bound of Alon and Pham in the case $k = 2$. The proof relies on a new upper bound for the independence number of random Cayley sum hypergraphs, which may be of independent interest.

In 1993, Ruzsa showed that for every $k \geq 2$, there exists a constant $C$ such that every subset $A \subseteq [N]$ of size at least $C N^{1/k}$ contains $2k$ distinct elements $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ such that $a_1 + \cdots + a_k = b_1 + \cdots + b_k$. We strengthen this result by proving that the elements $a_1, \ldots, a_k, b_1, \ldots, b_k$ can be chosen to have the additional property that $\{a_1, \ldots, a_k, b_1, \ldots, b_k\}$ has $2^{2k}-1$ distinct subset sums, with the only coincidence being that $\{a_1, \ldots, a_k\}$ and $\{b_1, \ldots, b_k\}$ have the same sum. Our proof also applies to any finite Abelian group of odd order $N$, and it provides a corresponding supersaturation result: that whenever $|A| \geq CN^{1/k}$, there are at least $Ω(|A|^{2k}/N)$ choices for $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ satisfying these properties. We prove a slightly weaker statement for Abelian groups of even order. We also apply our methods to the vector space setting and prove the following $\mathbb F_q$-analogue of the Bondy-Simonovits Theorem on the extremal number of even cycles in graphs: Any rank-$n$, simple, $\mathbb F_q$-representable matroid with no circuit of size exactly $2k$ has size at most $C q^{n/k}$ for some constant $C$ depending only on $q$ and $k$. When $q=2$, this is best possible up to the constant $C$ for all $k \geq 2$. Our methods also apply to the original graph setting and give a new proof of the Bondy-Simonovits Theorem and its supersaturation version.

We show that low discrepancy is equivalent to spectral gap for directed $k$-uniform hypergraphs. For undirected hypergraphs this recovers a theorem of Lenz and Mubayi, with a considerably shorter proof. At the heart of our argument is a Frieze--Kannan type spectral regularity lemma for hypergraphs based on the variational notion of hypergraph eigenvalues by Friedman--Wigderson, which decomposes any tensor into a bounded number of rank-one tensors plus a quasi-random tensor with small top eigenvalue. This lemma may be of independent interest, and we prove it for complex-valued, not necessarily symmetric tensors. We also briefly discuss a Szemerédi-type variant and the regularization of Cayley-type hypergraphs over finite abelian groups.

We study classical and quantum indistinguishability of sums of independent random permutations and related transformations from permutations to functions. Let $G$ be a finite abelian group of order $N$, and let $π^k_+(x)=π_1(x)+\cdots+π_k(x)$ for $k\geq2$ independent uniform random permutations of $G$. We give a unified Fourier analytic treatment in which the construction is represented by its probability density and a distinguisher by its acceptance function, with the classical and quantum query models imposing different restrictions on the Fourier support of the latter. Classically, we obtain the bound $O_k(q/N^{k-1/2})$ for every $q<N$, and refine it below the birthday threshold to $O_k(q^2/N^k)$. In the quantum model, a simulation argument gives $O_k(N^{-(k-3/2)})$ for $q\leq(N-1)/2$, while Fourier interpolation gives concrete finite bounds up to $q\leq4N/15$ and the query-dependent bounds $O\left(\min\left\{N^{-1/2},q^3/N^2 + 1/N\right\}\right)$ and $O_k\left(\min\left\{q^3/N^k,N^{-(k-3/2)}\right\}\right)$, for $k=2$ and $k \geq 3$, respectively, throughout $1\leq q\leq(N-1)/2$. For $q = 1$, the first bound sharpens to $O(N^{-2})$. Over $G=\mathbb F_2^n$, a one-query Fourier attack matches the order of our one-query bound, while an $N/2$-query parity attack with advantage $1/2$ shows that our bounds reach the constant-advantage query threshold. We further study two variants of sum of permutations over binary vector spaces. First, we allow arbitrary surjective linear postprocessing, which includes truncation, and obtain classical and quantum bounds that retain the output-size dependence. Second, we analyse Dinur's variable-output single-permutation construction, $\mathsf{LXoP}$, for every fixed output width, and derive its classical and quantum security bounds; for one- and two-block outputs, we give concrete quantum security bounds.

Let $G=\langle a,b\rangle$ be a finite group with distinct nonidentity generators, and suppose that $H=\langle ba^{-1}\rangle$ is normal. We determine exactly which complementary generator choices on the nonterminal cosets of $H$ extend to two arc-disjoint Hamiltonian paths with both terminal vertices in $H$. The associated return residue must avoid an explicit set of at most six residues. When $[G:H]\ge3$, any two nonterminal cosets may be left free while all other choices are prescribed; two is best possible. Every such Cayley digraph has two arc-disjoint Hamiltonian paths; this includes all two-generator Cayley digraphs of finite abelian groups. The criterion follows from a complete distance formula for the Hamiltonian cut spectra of $\mathrm{Cay}(\mathbb{Z}_q;\{D,D+1\})$. Their unique nondegenerate exception comes from the odd central coefficient $(q-1)/2$. The geometric ingredient is a confinement theorem: two sector-filled integer sequences satisfying a length inequality, with overlapping ranges and distance at least two, have one sequence contained in a single gap of the other. Sector filling bounds alternation, and the length inequality excludes interlacing. A self-contained proof of the primitive-ray cycle profile follows the intersection geometry of Curran and Witte.