arXiv++ Combinatorics

Let $G$ be a finite group, and let $p$ be the smallest prime divisor of $|G|$. The Gao constant $\mathsf{E}(G)$ is the least integer $\ell$ such that every sequence over $G$ of length $\ell$ contains a subsequence of length $|G|$ whose terms can be ordered to have product equal to the identity. In 1961, Erdős, Ginzburg and Ziv proved that every sequence of $2n-1$ integers has an $n$-term subsequence whose sum is divisible by $n$; equivalently, $\mathsf{E}(C_n)\leq 2n-1$, where $C_n$ denotes the cyclic group of order $n$. In this paper, we prove that $\mathsf{E}(G)\leq |G|+|G|/p-1$ whenever $G$ contains no cyclic subgroup of index $p$. Consequently, every finite non-cyclic group satisfies $\mathsf{E}(G)\leq |G|+|G|/p+p-2$, with equality if and only if $G$ contains a cyclic subgroup of index $p$. This establishes the conjectured upper bound for the Gao constant and provides a complete characterization of the equality case.

Let $C_n^r$ denote the direct sum of $r$ cyclic groups of order $n$, where $n\ge2$ and $r\ge1$. Properties C and D predict a uniform multiplicity structure for extremal zero-sum problems over $C_n^r$: every sequence of maximum length avoiding nonempty zero-sum subsequences of length at most $n$, or of length exactly $n$, respectively, should have the form $T^{n-1}$. We give negative answers to the general Property C problem posed by Gao, Hou, Schmid and Thangadurai \cite[Open Problems 1.2]{GHST07} in 2007, and disprove the Property D conjecture proposed by Gao and Geroldinger \cite[Conjecture 7.2]{GG06} in 2006.

Let q be an even prime power and n \ge 2. We construct line spreads of the symplectic polar space W(2n-1,q) by replacing pairwise disjoint reguli in a Desarguesian line spread. The construction is based on partitions of the points of PG(n-1,q^2) into points of a nondegenerate Hermitian variety and Baer sublines meeting that variety in exactly one point. In the plane case, the partition is invariant under a cyclic group of order q^2-q+ 1.

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.

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.

Let $k>t\ge 2$ be fixed integers, and let $G$ be a permutation group on a set of $v$ points. A $G$-invariant packing is free if every block has $|G|$ distinct images under $G$. We give two conditions on $G$ under which, as $v\to\infty$, there is a free $G$-invariant $t$-$(v,k,1)$ packing with $(1-o(1))\binom{v}{t}/\binom{k}{t}$ blocks. This is a $G$-invariant form of the Erdős--Hanani theorem on asymptotically optimal packings. For semiregular groups $G$, packings with these properties exist if and only if all but $o(v^t)$ of the $t$-subsets of points have trivial setwise stabiliser. This property is satisfied by every semiregular group for $t\ge 3$, and by every cyclic semiregular group for $t=2$. As a consequence, the Johnson bound is asymptotically attained at all lengths by optical orthogonal codes of constant weight $w$ and constant correlation $λ$ with $w\geλ+2$, by their multidimensional and signature pattern versions, and by cyclic and quasi-cyclic constant-weight codes. The same method gives a form of the theorem for group divisible packings that are invariant under a cyclic group. This determines the asymptotic maximum size of two-dimensional optical orthogonal codes with at most one pulse per wavelength.

We generalize in two steps the quantized action of the modular group on q-deformed real numbers introduced by Morier-Genoud and Ovsienko. First, we let the projective general linear group PGL(2,Z) act on q-real numbers via a q-deformed action. The deformed matrices we get have combinatorial interpretations, and we show that their traces are palindromic polynomials. Then we consider an extension of the group PGL(2,Z) by the 2-elements cyclic group, and define a deformed action of this extension on q-real numbers. We deduce from these actions some underlying relations between q-real numbers, and between left and right versions of q-deformed rational numbers. In particular we investigate the case of some algebraic numbers of degree 4 and 6. We also prove that the deformation of real numbers is an injective process.

In this paper, we investigate the edge-coloring number of various graphs defined on finite groups. We notably show that the power graph of a finite group $G$ is overfull if and only if the power graph of $G$ is of Class $2$ (has edge-coloring number one more than its maximum vertex degree) if and only if $G$ is a cyclic group of odd prime power order. We find the equivalent necessary and sufficient conditions to be Class $2$ for the intersection power graph and enhanced power graph (respectively cyclic of odd prime power order, and cyclic of odd order), and investigate the situation for the proper power graph. Finally, we give conditions for the power graph of a finite group to have the universal edge pre-coloring extension property: every optimal coloring of the power graph extending to another graph without modifying the existing colors (the enhanced power graph in our case).

We introduce and study a new family of circulant digraphs associated with the cyclic group $\Z_N$, obtained by restricting admissible combinations of two generators $a$ and $b$ to three coordinate sectors. The resulting distance-like function differs from the standard directed distance in circulant digraphs and gives rise to new geometric and combinatorial phenomena. Using planar lattice representations and periodic tessellations, we analyze the growth of reachable sets and derive Moore-type upper bounds for the corresponding order/diameter problem. We construct explicit infinite families of three-quarters circulant structures with the prescribed diameter and provide lattice-based methods for determining admissible generator pairs. Separate constructions are obtained for even and odd diameters. In addition, computational experiments for small and moderate orders suggest improved families for even diameters and motivate a conjectural asymptotic formula for the maximum attainable order. The paper highlights the interplay between constrained lattice representations, periodic tilings, and extremal problems for circulant networks.

The Berger-Charpin conjecture predicts that the permutation automorphism group of a cyclic code is generally the $q$-affine group, which is generated by the shift and the Frobenius multiplier on the index set. The word {\em generally} is not made precise in the literature, and the goal of this series of papers is to study when the Berger-Charpin conjecture or its variants hold. In this first part, we establish a natural connection between the theory of cyclic codes and the theory of cyclotomic association schemes (equivalently, Schur rings over cyclic groups). Using it, we show that the $q$-affine group is not the correct group to expect for certain code lengths. We characterize these lengths by an arithmetic condition, and show that they have density zero.

We give explicit constructions of Fourier transforms for cyclic and symmetric groups over finite fields of characteristic $p$. For a cyclic group of order $N$ in the modular case $p \mid N$, we factor $x^N-1$ and use Bézout's identity to construct a Fourier transform and its inverse. For the symmetric group $S_n$ in the modular case $p \mid n!$, we compute the Peirce decomposition from central primitive orthogonal idempotents, obtaining a change-of-basis matrix that generalizes the DFT. We also construct unitary realizations of the Specht representations of $S_n$ over finite fields by computing an invariant Hermitian form and factoring its Gram matrix using an extended Cholesky decomposition. These representations provide the matrix coefficients for a unitary DFT in the semisimple case $p \nmid n!$. All constructions are implemented in SageMath.

Given two positive integers height $h$ and order $n$, the barrycade construction problem asks for a set of $h$ permutations of the integers from $1$ to $n$ such that all the proper partial sums given by these permutations are pairwise distinct. The name barrycade was coined by Richard K. Guy and refers to Barry Cipra, who introduced this kind of arrangement problem. A simple calculation shows that a solution can only exist for $n \ge 2h-2$ and it is conjectured that there always exists a solution for every height $h \ge 2$ and order $n \ge 2h-2$. In this work, for every height $h \ge 1$, we present a construction of a barrycade of height $h$ and order $n = 2h+3$. We also present a randomized heuristic that allows us to find a barrycade of height $h$ and conjectured optimal order $n=2h-2$, for every height $2 \leq h \leq 50$. Thus, we confirm the conjectured optimal order for all heights up to $50$. We also consider a related corral construction problem, where the permutations define a cyclic arrangement. In this setting, for every height $h \ge 1$, we present a construction of a corral of height $h$ and order $n=2h$. A heuristic approach, similar to the one used for barrycades, allows us to find a corral of height $h$ and conjectured optimal order $n=2h-1$, for every height $1 \leq h \leq 50$. We confirm Tomoki Nakamigawa's conjecture on well-dispersed partitions of cyclic groups for the number of parts up to $20$.

We study subindices, subfactors, and index stability in the cyclic group $\mathbb{Z}_n$. We prove several theorems that not only confirm a conjecture and resolve some open problems about index stability of such groups, but also provide basic tools for the characterization of finite $k$-index stable groups. As a consequence, we completely characterize all 2-element index stable subsets of $\mathbb{Z}_n$, obtain an exact closed formula for their density, and determine all $n$ for which every 2-subset is index unstable. Finally, we present some problems and a research project extending the study to 3-subsets and general $k$-subsets.

Circulant digraphs form a prominent class of Cayley digraphs defined on finite cyclic groups. Building on the existing classification of $2$-arc-transitive circulant graphs, this paper presents a complete classification of $2$-distance-transitive circulant digraphs. Our main theorem establishes that every connected $2$-distance-transitive circulant digraph is isomorphic to one of the following: the undirected cycle $C_n$, the complete bipartite graph $\K_{\frac{n}{2},\frac{n}{2}}$, the complete multipartite graph $\K_{m[b]}$ with $m\geq 3,b\geq 2$, the graph $\K_{\frac{n}{2},\frac{n}{2}}-\frac{n}{2}\K_2$ for odd $\frac{n}{2}$, prime-order Paley graphs, the directed cycle $\overrightarrow{C}_n$, the oriented graph \(G(p^m,r)\) satisfying Condition~\ref{p-power-normal-2dt-cond}, the oriented graph \( C_r(b,1)\) with $r\geq 3,b\geq 2$ and $rb=n$, the lexicographic product oriented graph \( G(p^m,r)[\overline{\K}_d]\) where \(G(p^m,r)\) obeys Condition~\ref{p-power-normal-2dt-cond}.

For a finite group $G$, we say that a Cayley graph $Γ$ on $G$ is a most rigid representation (MRR) of $G$ if its full automorphism group has the smallest possible order among all Cayley graphs on $G$, and say that $Γ$ is stable if every automorphism of $Γ\times K_2$ comes from $\mathrm{Aut}(Γ)\times\Aut(K_2)$. Although the study of stability has attracted significant attention, particularly regarding Cayley graphs on abelian groups, a complete classification is currently out of reach even for Cayley graphs on cyclic groups. In this paper, we prove that almost all Cayley graphs on finite abelian groups are stable MRRs. This strengthens the main result of Dobson, Spiga and Verret [Combinatorica, 36 (2016), no.~4, 371--393], which states that almost all Cayley graphs on finite abelian groups are MRRs.

A skew morphism on a finite group $A$ is a permutation $φ$ on $A$ that fixes the identity element of $A$ and for which there exists an integer-valued function $π:A\to\mathbb{Z}_{|φ|}$ such that $φ(xy)=φ(x)φ^{π(x)}(y)$ for all $x,y\in A$. The kernel of $φ$ is the subgroup $\Kerφ=\{x\in A\mid π(x)=1\}$, and the index $[A:\Kerφ]$ is called the skew-type of $φ$. In this paper we construct, classify and enumerate the skew morphisms of skew-type four on cyclic $2$-groups. Our main results give explicit formulas for all such skew morphisms and closed-form expressions for their numbers.

We prove Fuglede's conjecture for finite cyclic groups of square-free order. Specifically, if \(N\) is square-free and \(A\subseteq \mathbb Z_N\) is nonempty with \(|A|=m\), then \(A\) is spectral if and only if it tiles \(\mathbb Z_N\); moreover, these conditions hold precisely when \(m\mid N\) and \(A\) is a complete set of representatives modulo \(m\). This gives a complete structural description of spectral and tiling sets in \(\mathbb Z_N\). The key new ingredient is a prime-coordinate elimination theorem: if \(P\nmid nm\) is an odd prime, then every \(m\)-point spectral pair in \(\mathbb Z_n\times\mathbb Z_P\) projects injectively to a spectral pair in \(\mathbb Z_n\). Its proof combines character-matrix orthogonality, cyclotomic coefficient comparison, and a \(P\)-adic divisibility argument for associated Gram matrices. Iterating this reduction yields the result for arbitrary square-free \(N\), with no restriction on the number or relative sizes of its prime factors.

For integers q at least 3 and r at least 1, consider the directed Cayley graph on the cyclic group of order qr whose allowed steps are the integers from 1 through r. A Hamilton cycle H is called a q-layer balanced Hamilton starter if, for every step from 1 through r and every residue class modulo q, H contains exactly one arc of that step whose tail belongs to the given residue class. The r translates of H by successive multiples of q then form a Hamilton decomposition of the digraph. A q-layer balanced Hamilton starter is called chain-compatible if one arc can be selected from each Hamilton cycle in this decomposition so that the selected arcs form a simple directed path. In both constructions, the compatible deletion chain is the arithmetic step-2 path beginning at 0 and ending at 2r. For q equal to 4, a chain-compatible starter is obtained explicitly whenever r is congruent to 1 modulo 4 and r is at least 9, while for q equal to 3 one exists for all sufficiently large r congruent to 5 modulo 6. The proofs are constructive: the four-layer case uses an ABAB step word, while in the three-layer case a directed rotational terrace is lifted to a 3-layer balanced directed 1-factor and a fixed four-arc trade joins its two cycles. Deleting the unique prescribed-path arc from each translated Hamilton cycle gives r Hamilton paths; together with the prescribed path, these form an optimal decomposition of the arc set into r+1 directed paths in both cases.

For a finite graph $G$ on $n$ vertices, let $η(G)$ denote the least order of a finite abelian group $Γ$ for which $G$ is an induced subgraph of some Cayley graph of $Γ$. Babai and Sós (1985) settled the worst-case order of magnitude: it is $Θ(n^2)$. We treat $η$ instead as an invariant of the individual graph, minimised over all finite abelian groups rather than over the cyclic groups alone, which is the restriction implicit in the literature on representation numbers modulo $n$. We prove a local order floor: $η(G)$ is at least the maximum of $n$ and twice the largest independence number of a neighbourhood of $G$. This localises at an arbitrary vertex the correspondence of Babai and Sós between induced stars and sum-free sets; a corollary of the classification of maximum sum-free sets in abelian groups does not lower this floor, but restricts which host orders are admissible and so prunes the search. We determine $η$ exactly for paths, where it equals $n+1$, and for complete bipartite graphs $K_{a,b}$, where it equals $2\max(a,b)$ and meets the floor. A Cartesian product bound gives $η(P_m \,\square\, P_m) = (1+o(1))n$. We report certified exact values of $η$ for $22$ graphs, computed over all abelian groups. Seventeen of the $22$ optimal hosts are cyclic, so on most of these graphs the cyclic restriction costs nothing; where it bites, however, it is expensive. A search restricted to cyclic groups returns $36$ for the Petersen graph against the true value $16$, and $59$ for the Frucht graph against $27$. The cost of the restriction is concentrated rather than diffuse, and we identify the graphs on which it is paid. We also determine $η$ exactly for the double stars $D_{q,q}$ with $2 \le q \le 6$, obtaining $5q$ in each case. Since $η(D_{6,6}) = 30$ exceeds $2n = 28$, no constant below $15/7$ can bound $η(T)/n$ over all trees.

Let $C_n$ be a cyclic group of order $n$. The index conjecture in zero-sum theory asserts that if $(n,6)=1$, then every minimal zero-sum sequence of length four over $C_n$ has index one. Ge proved the conjecture for all sufficiently large $n$, and Pendleton reduced the known explicit threshold to $4.6\cdot 10^{13}$. We give a different argument based on multiplicative Fourier analysis on $(\mathbb{Z}/n\mathbb{Z})^\times$. Starting from the exact index-two residue identity, we take its multiplicative Fourier transform and express the odd Fourier coefficients through first moments of Dirichlet characters. The imprimitive characters for which this moment vanishes form an exceptional spectrum of cardinality at most $157\varphi(n)/1440$, hence strictly less than $\varphi(n)/9$. A finite-group support uncertainty inequality then forces the four-term multiset to be invariant under negation, contradicting minimality. We also give a minimal-modulus reduction, using the theorem of Shen-Xia-Li, from the general conjecture to the unit case. This proves the length-four index conjecture for every $n$ coprime to $6$.