arXiv++ Combinatorics

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.

This dissertation develops a framework for embedding arbitrary connected graphs isometrically into Cayley graphs of abelian groups, with applications to harmonic analysis on networks. It addresses representing irregular graph-structured data within highly symmetric algebraic hosts, on which classical Fourier theory applies verbatim rather than by analogy. The theoretical core is twofold. First, we introduce edge relations phi, Phi, and Psi that detect metric parallelism, a strict generalization of the Djokovic-Winkler relation beyond bipartite and partial-cube structures, with a transitive prune operation converting them into candidate same-generator edge partitions. Second, we prove the Cocycle/Quotient Labeling Theorem: any edge partition induces a most-generic consistent vertex labeling as a GF(2) quotient of dimension k = t - rank(A), where A is the cycle-class parity matrix; the labeling can fail only by shortcuts, never by stretching. With a shortcut-repair loop terminating in the isometric spanning-tree embedding, this gives a universal algorithm: every connected graph G embeds isometrically into a Cayley graph of (Z_2)^k with k <= n-1, verified exhaustively on all 995 connected graphs of at most seven vertices. A bounds theory follows: k >= max(diam(G), ceil(log2 n)); stars satisfy k_min(K_{1,q}) = ceil(log2 q) + 1, exponentially below the naive dimension; odd cycles require k = n-1. We then generalize the quotient machinery from GF(2) to Z via the Smith Normal Form, giving embeddings into products of cyclic groups. The primary application is harmonic analysis: these embeddings ground Fourier analysis, convolution, and wavelet transforms on graph signals, preserving translation-modulation duality, convolution theorems, and Plancherel identities that matrix-based graph signal processing lacks. We name this framework Group-Embedding-based Graph Signal Processing (GE-GSP).

We study the $R$-sequenceability of finite groups of odd order. Building on the classical theory of $R^*$-sequences and orthomorphisms, we explore two tools: the notion of $R^{**}$-sequenceability, a strengthening of $R^*$-sequenceability tailored for inductive arguments over normal subgroups with cyclic quotients, and the \textit{odd cycle index} $τ(G)$, which measures how many orthomorphisms are required to generate a full cycle together with an involution. Our main result is a Quotient-Normal Gadget theorem, which shows that if $G$ has a normal subgroup $N$ such that $G/N$ is $R^{**}$-sequenceable and $τ(N) \leq |G/N| - 3$, then $G$ itself is $R^{**}$-sequenceable. We prove that $τ(G) = 2$ for cyclic groups of order coprime with $3$, and establish an inductive bound $τ(G) \leq \max\{τ(N), τ(G/N)\}$ for odd ordered groups with a normal subgroup $N$. As consequences, we show that every group whose order is coprime with $30$ is $R$-sequenceable, and that every nilpotent group whose order is coprime with $6$ and not a power of $5$ is $R$-sequenceable. These results extend prior work on abelian groups to broad families of non-abelian groups.

Transfer systems as studied in equivariant algebra admit minimal generating sets, analogous to bases in linear algebra. It is natural to wonder if minimal generating sets form a matroid. We show that this happens only for lattices which are linear orders, or for cyclic groups of prime power order. In this case, we compute some invariants of the resulting matroid.

Let $p$ be an odd prime and let $S\subseteq \Z_p$ be symmetric with $0\notin S$. Let $\Cay(\Z_p,S)$ be the undirected Cayley graph on $\Z_p$ in which $x$ and $y$ are adjacent if and only if $x-y\in S$. For $1\le \ell\le (p-1)/2$, define \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=\max\{|S|: S=-S,\ 0\notin S,\ \Cay(\Z_p,S)\text{ contains no }C_{2\ell+1}\}. \] Confirming a conjecture of Cashman and Kelley, we prove that if $p=2\ell+1$, then $\ex_{\Cay}(C_{2\ell+1},\Z_p)=0$, while if $p>2\ell+1$, then \[ \ex_{\Cay}(C_{2\ell+1},\Z_p)=2\floor{\frac{p+2\ell+1}{2(2\ell+1)}}. \] The proof combines a sharp additive zero-sum odd-girth argument with weak odd pancyclicity to transfer the result from odd-girth exclusion to fixed odd-cycle exclusion. We also give a canonical extremal family, an exact extremality criterion in terms of odd zero-sum avoidance, and an example showing that extremizers need not be dilates of the canonical construction.

We determine the full graded Betti tables of graph families that subsume several classes studied recently in the literature, namely the generalized multiple complete split-like graphs and the generalized clique-star graphs with arbitrary clique block sizes. The method combines Hochster's formula with a precise decomposition of the associated independence complexes into disjoint unions of simplices and iterated joins of discrete complexes. This reduces every graded Betti number to an explicit coefficient extraction formula and yields closed expressions for the linear strand, higher strands, Hilbert series, regularity, projective dimension, and extremal Betti numbers. In particular, we prove a sharp criterion for $2$-linear resolution and identify the regularity corner in terms of the number of nontrivial clique blocks. As applications, we recover and extend earlier results on equal-block split-like graphs, obtain complete formulas for pineapple graphs, and derive consequences for power graphs of cyclic groups, elementary abelian groups, and prime-power dihedral groups.

Terwilliger algebras are subalgebras of a matrix algebra constructed from an association scheme. Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions in the case where the association scheme is commutative. A sixth condition for a Terwilliger algebra coming from a commutative Schur ring to be almost commutative has since been discovered. In this paper we first provide a classification of orbit Schur rings that produce an almost commutative Terwilliger algebra for a finite cyclic group. In particular, we show that the subgroup of automorphisms used to form the orbit Schur ring is either trivial, or the whole automorphism group when the cyclic group has prime power order. If the cyclic group has order $2^n$, these are the only options. If the cyclic group has order $p^n$, for an odd prime $p$, then the automorphism subgroup of order $p^{n-1}$ also works. If the group has a non-prime power order then the only orbit Schur ring that produces an almost commutative Terwilliger algebra comes from the trivial subgroup of the automorphism group. We then give a condition for when a wedge product of Schur rings produces an almost commutative Terwilliger algebra. This allows us to determine exactly when a Schur ring over a cyclic group produces an almost commutative Terwilliger algebra.

We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions. The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation. We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries. The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4. The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented. Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.

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.

In this paper, we present examples of the cyclic sieving phenomenon coming from studying independent sets in graphs of a fixed size k. Given a graph G, and a cyclic group C acting on the graph, then C also acts on the collection of independent sets of G of a fixed size k. We exhibit cyclic sieving phenomena for a cyclic group acting on the collection of independent sets of powers of cycle graphs. As a corollary, we also find a closed formula for the number of independent sets of a given size in the power of a cycle graph, and in the power of a path. We also show how the graph construction of whiskering can be used to obtain new cyclic sieving phenomena from old phenomena. We also discuss recursive techniques to exhibit cyclic sieving phenomena for the independent sets of gear graphs, helm graphs, and book graphs.

We obtain a new lower bound on the largest Sidon subset of an arbitrary finite set of integers. If $H(n)$ denotes the minimum, over all $n$-element subsets of $\mathbb Z$, of the largest Sidon subset they contain, we prove that $H(n) \geqslant \left(\frac{1}{3\sqrt 3}+o(1)\right)\sqrt n \gtrsim 0.19\sqrt n$. This improves a lower bound of Abbott related to a conjecture of Erdős on Sidon subsets of arbitrary sets of integers. The main ingredient is a compression lemma which produces, from any finite set of integers, a large subset admitting an injective Freiman $2$-morphism into a cyclic group. Combined with Singer's covering of $\mathbb Z/(q^2+q+1)\mathbb Z$ by Sidon sets, this yields the stated bound. We further extend the result to finite subsets of $\mathbb R^N$, uniformly in the dimension, by means of a projection argument and a Dirichlet approximation preserving Sidon's equation. As a consequence, every set of $n$ points in $\mathbb R^N$ contains a Sidon subset of cardinality at least $\left(\frac{1}{3\sqrt 3}+o(1)\right)\sqrt n$. We also discuss an adaptation to $B_2[g]$ sets, obtaining a lower bound of order $\frac{1}{3\sqrt 3}\sqrt{gn}$, and explain how the method can be adapted to other linear additive constraints.

As a vital link between group theory and graph theory, Cayley graphs provide a geometric framework for encoding algebraic structures. This study explores the properties of Cayley graphs derived from cyclic groups whose order is the square of the product of three distinct prime numbers. We specifically examine cases where the connecting set is defined by the collection of all elements with an order equal to the square of a prime. A comprehensive analysis of these graphs is presented, focusing on structural characteristics such as connectivity, Eulerian properties, and Hamiltonicity. Furthermore, we determine several key graph parameters, including the clique number, chromatic number, independence number, and diameter.

Let $G$ be a multiplicatively written finite group of order $n$. The Erdős-Ginzburg-Ziv Theorem constant of the group $G$, denoted $\mathsf E(G)$, is defined as the smallest positive integer $\ell$ with the following property: for any given sequence $(g_1,\ldots,g_{\ell})$ over $G$, there exist $n$ distinct integers $i_1,\ldots,i_n\in \{1,\ldots,\ell\}$ such that the product of $g_{i_1},\ldots,g_{i_n}$, in some order, is the identity element of $G$. The Erdős-Ginzburg-Ziv Theorem constant originates from the celebrated additive theorem proved by Erdős, Ginzburg and Ziv in 1961, which amounts to proving $\mathsf E(G)\leq 2|G|-1$ holds in case that $G$ is abelian. It is also well-known that $\mathsf E(G)=2|G|-1$ holds for all finite cyclic groups. In 2010, Gao and Li [J. Pure Appl. Algebra] conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ for every finite non-cyclic group $G$. In this paper, we confirm the conjecture for all non-cyclic groups $G$ whose order is not divisible by four, and characterize the groups achieving the equality $\mathsf E(G)=\frac{3|G|}{2}$ as those with a cyclic subgroup of index two.

We investigate structural and combinatorial properties of Bi-Cayley graphs defined over cyclic groups of order $p^2q^2$, where $p$ and $q$ are distinct primes. We begin by describing their fundamental group-theoretic underpinnings. The main focus is on analyzing their connectivity, girth, clique number, chromatic number, diameter, and independence number. It is shown that these Bi-Cayley graphs are connected, biregular with explicitly determined degrees, and possess girth three. Furthermore, we prove that their diameter is equal to five. We further extend several results to Bi-Cayley graphs over arbitrary finite groups under suitable restrictions on the connecting set, with particular emphasis on the case where the connecting set consists of all its involutions. These results clarify structural similarities and differences between Cayley graphs and their Bi-Cayley generalizations.

The triplication method for constructing strong starters in $Z_{3m}$ from starters in $Z_{m}$ (say, a starter of order 21 from a starter of order 7) was proposed by the authors in 2025. The method reduced construction of the particular combinatorial design (a strong starter in a cyclic group) to solving a Sudoku-type problem -- an independent task with its own tools and techniques available. The Sudoku-type problem was formulated in terms of the so-called triplication table constructed from a starter of order $m$. The method was applicable for odd orders $m\ge 7$ not divisible by 3. In the present paper, our previous approach is developed in two directions: (1) the definition of the triplication table is generalized, which expands possibilities for its construction to include three base starters or even ``pseudostarters''; (2) the formulation of the Sudoku-type problem is broadened to embrace various scenarios of ``modular encoding'' and reconstruction of strong starters from its solution. A theoretical gain of these developments consists in the improved understanding of the general structure of the triplication approach. A practical outcome is elimination of the requirement that $m$ be not divisible by 3. This leads to a broader scope of strong starters obtainable by triplication: any latent strong starter of odd order $3m$ can emerge this way.

Let $A$ be a nonempty subset of finite abelian group $G$ of order $n$. For an integer $h \geq 2$, the restricted $h$-fold sumset $h^\wedge A$ is the set of all sums of $h$ distinct elements of $A$. It is known that if $G$ is a group of order $n$ and $A$ is a subset of $G$ such that $|A|$ is close to $\frac{n}{2}$, then $h^{\wedge}A = G$ under some conditions on $h$ and $n$. The constant $\frac{1}{2}$ is optimal for groups of even order but not for groups of odd order. For an integer $h \geq 4$, let $α_h$ be the unique positive root of the polynomial $3^{h - 2} x^{h - 1} + x - 1$. In this paper, we show that for any $α> α_h$, there exists a positive integer $M_h(α)$, which is determined precisely, such that for all $n > M_h(α)$ with $n$ odd, if $A$ is a subset of a finite abelian group $G$ of order $n$ and if $|A| \geq αn$, then $h^{\wedge} A = G$. Moreover, $α_h > α_{h + 1}$ for $h \geq 4$ and $α_h$ approaches $\frac{1}{3}$ as $h$ increases, and the constant $\frac{1}{3}$ is optimal. This result generalizes a result of Tang and Wei for $4^{\wedge}A$ in the cyclic group $\mathbb{Z}_n$ to arbitrary finite abelian groups.

A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Although this conjecture was recently proved for sufficiently large primes by Pham and Sauermann in [16], it remains open for general abelian groups, even in the cyclic case $\mathbb{Z}_k$. For cyclic groups, the best known result is due to Bedert and Kravitz in [4], who proved - using a rectification and a two-step probabilistic approach - that the conjecture holds for any subset $A \subseteq \mathbb{Z}_k \setminus \{0\}$ such that $$ |A| \le \exp\!\big(c(\log p)^{1/4}\big), $$ for some constant $c>0$, where $p$ denotes the least prime divisor of $k$. In this paper, we improve their bound using a rectification argument again, followed by a one-shot probabilistic approach, showing that the conjecture holds whenever $$|A| \le \exp\!\big(c(\log p)^{1/3}\big), $$ thus improving the exponent $1/4$ from [4]. Moreover, the same one-shot approach adapts to the $t$-weak setting: by imposing all local constraints at once and applying the Lovász Local Lemma, we obtain the existence of a $t$-weak sequencing whenever $$ t \le \exp\!\big(c(\log p)^{1/4}\big). $$

Let $\ell$ and $m$ be positive integers with $\ell \leq m$, and let $\mathcal{A} = (A_1, \ldots, A_m)$ be a finite sequence of finite subsets of a group $G$ (not necessarily abelian), written multiplicatively. The {\it generalized product set} $Π^{\ell}(\mathcal{A})$ is the set of all elements of $G$ which can be represented as a product of exactly $\ell$ elements from $\ell$ distinct sets from $\mathcal{A}$ taken in any order. DeVos, Goddyn and Mohar obtained the nontrivial lower bound for the size of this product set when $G$ is abelian. The DeVos-Goddyn-Mohar Theorem is a fundamental result in additive combinatorics which unifies various results from zero-sum combinatorics and has connections with subsequence sums and sumsets. In this paper, we obtain an optimal lower bound for the size of generalized product set $Π^{\ell}(\mathcal{A})$ in torsion-free groups (not necessarily abelian), and characterize the structure of underlying sets in the sequence $\mathcal{A} = (A_1, \ldots, A_m)$ for which $Π^{\ell}(\mathcal{A})$ achieves the optimal lower bound. By slightly modifying the arguments of the proofs in the case of torsion-free groups, we derive such inverse theorems in cyclic groups of prime orders also. Our proof of these result also yields a new proof of DeVos-Goddyn-Mohar Theorem in $\mathbb{Z}_p$. Moreover, we extend these inverse results to arbitrary abelian groups. Furthermore, as an application, we generalize a theorem for subsequence sums due to Hamidoune in torsion-free groups, and obtain several other results for subsequence sums in arbitrary groups.

The study of optical orthogonal codes has been motivated by an application in an optical code-division multiple access system. This paper focuses on optimal two-dimensional optical orthogonal codes with autocorrelation and cross-correlation both equal to $1$. By examining the structures of $n$-cyclic group divisible packings and semi-cyclic incomplete holey group divisible designs, we present new combinatorial constructions for two-dimensional $(m\times n,k,1)$-optical orthogonal codes. As a consequence, the exact number of codewords of an optimal two-dimensional $(m\times n,3,1)$-optical orthogonal code is determined for any positive integers $m$ and $n$.

A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations of $G$. The list of all possible abelian Schur groups was obtained by Evdokimov, Kovács, and Ponomarenko in 2016. In two papers, we finish a classification of abelian Schur groups. In the present paper, we study schurity of several groups from the list. Namely, we prove that a direct product of the elementary abelian group of order 4 and a cyclic group, whose order is an odd prime power or a product of two distinct odd primes, is a Schur group and establish nonschurity of some other groups from the list.