arXiv++ Combinatorics

This paper establishes a classification of the critical numbers for restricted sumsets in finite abelian groups, determining them exactly for even-order groups and bounding them for odd-order groups, while revealing a fundamental structural dichotomy governed by parity. For groups of even order, we prove a universal rigidity theorem: the index-$2$ subgroup creates an immutable arithmetic barrier at density $1/2$, fixing the critical number at $|G|/2+1$ regardless of the group's internal structure. In sharp contrast, we demonstrate that for groups of odd order, this barrier vanishes, causing the critical threshold to collapse to significantly lower densities bounded by index-$5$ obstructions or the smallest prime divisor. These results unify and vastly generalize previous work on cyclic groups, providing a definitive structural theory for the transition from sparsity to saturation. As a decisive application, we resolve a conjecture of Han and Ren in algebraic coding theory. By translating the additive rigidity at density $1/2$ into a geometric constraint, we prove that for all sufficiently large $q$, any subset of rational points on an elliptic curve $E/\mathbb{F}_q$ generating an MDS code must satisfy the tight bound $|P|\le|E(\mathbb{F}_q)|/2$.

Let $L(G)$ be the set of all subgroups of a group $G$. The subgroup generating bipartite graph $\mathcal{B}(G)$ defined on $G$ is a bipartite graph whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. In this paper, we realize the structures of $\mathcal{B}(G)$ for cyclic groups of order $pq, p^2q$ and $p^2q^2$, where $p$ and $q$ are primes and $p \neq q$. We also deduce expressions for first and second Zagreb indices of these graphs and check the validity of Hansen-Vuki{č}evi{ć} conjecture [Hansen, P. and Vuki{č}evi{ć}, D. Comparing the Zagreb indices, {\em Croatica Chemica Acta}, \textbf{80}(2), 165-168, 2007]. Expressions of certain other degree-based topological indices of these graphs are also computed. We further compute various spectra and their corresponding energies of $\mathcal{B}(G)$ if $G$ is any cyclic group of order $p^n, pq, p^2q$ and $p^2q^2$, where $p$ and $q$ are two distinct primes and $n \geq 1$. We conclude the paper showing that $\mathcal{B}(G)$ satisfies E-LE conjecture [Gutman, I., Abreu, N. M. M., Vinagre, C. T. M., Bonifacioa, A. S. and Radenkovic, S. Relation between energy and Laplacian energy, {\em MATCH Communications in Mathematical and in Computer Chemistry}, \textbf{59}, 343--354, 2008] for these groups.

A bi-Cayley graph over a cyclic group $\mathbb{Z}_n$ is called a bicirculant graph. Let $Γ=BC(\mathbb{Z}_n; R,T,S)$ be a bicirculant graph with $R=R^{-1}\subseteq \mathbb{Z}_n\setminus \{0\}$ and $T=T^{-1}\subseteq \mathbb{Z}_n\setminus \{0\}$ and $S\subseteq \mathbb{Z}_n$. In this paper, using Chebyshev polynomials, we obtain a closed formula for the number of spanning trees of bicirculant graph $Γ$, investigate some arithmetic properties of the number of spanning trees of $Γ$, and find its asymptotic behaviour as $n$ tends infinity. In addition, we show that $F(x)=\sum_{n=1}^{\infty}τ(Γ)x^n$ is a rational function with integer coefficients.

In this paper, we characterize the direct sum decompositions of the cyclic group $\mathbb{Z}_{(pqr)^2}$, where $p$, $q$, and $r$ are distinct primes. We show that if $A \oplus B = \mathbb{Z}_{(pqr)^2}$ with $|A| = |B| = pqr$, then Sands' conjecture fails to hold, in other words, neither $A$ nor $B$ is contained in a proper subgroup of $\mathbb{Z}_{(pqr)^2}$, if and only if the sets $A, B$ form a Szabó pair.

In this paper, we develop a quantitative inverse theory for the Gowers uniformity norm $\|\cdot\|_{\mathsf{U}^4}$ in general finite abelian groups. We identify a new type of obstructions to uniformity, which we call almost-cubic polynomials. An almost-cubic polynomial $q$ on a Bohr set $B(Γ, ρ_0)$ is a function such that, for each $ρ\leq \min\{ρ_0, 1/8\}$, we have \[\|Δ_{a,b,c,d} q(x)\|_{\mathbb{T}} \leq 2^{10} ρ\] for all $x, a,b,c,d \in B(Γ, ρ)$. Let $f : G \to \mathbb{D}$ be a function with $\|f\|_{\mathsf{U}^4} \geq c$. We prove quasipolynomial inverse theorems: $\bullet$ when $(|G|, 6) = 1$, there exists an almost-cubic $q : B(Γ, ρ)$ for $|Γ| \leq \log^{O(1)} c^{-1}$ and $ρ\geq \exp(-\log^{O(1)} c^{-1})$, and an element $t \in G$ such that $$\Big|\sum_{x \in G} 1_{B}(x) f(x + t) \operatorname{e}(q(x))\Big| \geq \exp(-\log^{O(1)} c^{-1})|G|,$$ $\bullet$ when $G = (\mathbb{Z}/2^d\mathbb{Z})^n$, there exists a cubic polynomial $q : G \to \mathbb{T}$ such that $$\Big|\sum_{x \in G} f(x)\operatorname{e}(q(x))\Big| \geq \exp(-\log^{O_d(1)} c^{-1})|G|.$$ Almost-cubic polynomials are rather rigid and we exhibit a strong connection with generalized polynomials in the case of cyclic groups, as well as with polynomials in the classical sense in the case of finite vector spaces. We also answer a question of Jamneshan, Shalom and Tao concerning the inverse theory in groups of bounded torsion. The central result from which the inverse theorems follow is a structural result for Freiman bihomomorphisms in general finite abelian groups. In our proof, we generalize methods of our previous work in the case of finite vector spaces and introduce novel ideas concerning extensions of Freiman bihomomorphisms. In the problem of extension of Freiman bihomomorphisms, genuinely new phenomena appear in general finite abelian groups.

During their investigation of power-sequence terraces, Anderson and Preece briefly mention a construction of a terrace for the cyclic group $\mathbb{Z}_n$ when $n$ is odd and $2n+1$ is prime; it is built using the discrete logarithm modulo $2n+1$. In this short note we see that this terrace gives rise to an orthogonal double cover (ODC) for the complete graph $K_n$ by Hamiltonian paths. This gives infinitely many new values for which such an ODC is known.

A bi-Cayley graph over the cyclic group $(\mathbb{Z}_n, +)$ is called a bicirculant graph. Let $Γ=BC(\mathbb{Z}_n; R,T,S)$ be a bicirculant graph with $R=-R\subseteq \mathbb{Z}_n\setminus \{0\}$ and $T={-}T\subseteq \mathbb{Z}_n\setminus \{0\}$ and $S\subseteq \mathbb{Z}_n$. In this paper, using Chebyshev polynomials, we obtain a closed formula for the number of rooted spanning forests of $Γ$. Moreover, we investigate some arithmetic properties of the number of rooted spanning forests of $Γ$, and find its asymptotic behaviour as $n$ tends infinity.

We prove cyclic sieving phenomena satisfied by corner-rooted plane trees (alias ordered trees). The sets of rooted plane trees that we consider are: (1) all trees with $n$ nodes; (2) all trees with $n$ nodes and $k$ leaves; (3) all trees with a given degree distribution of the nodes. Moreover, we consider four different cyclic group actions: (1) the root is moved to the next corner along a tour of the tree; (2) only trees in which the root is at a leaf are considered, and the action moves the root to the next leaf; (3) only trees in which the root is at a non-leaf are considered, and the action moves the root to the next non-leaf corner; (4) only trees in which the root is at a node of degree $δ$ are considered, for a fixed $δ$, and the action moves the root to the next corner of this type. We prove a cyclic sieving phenomenon for each meaningful combination of these sets and actions. As a bonus, we also establish corresponding cyclic sieving phenomena for tree-rooted planar maps.

We study when the adjacency matrix of a Cayley graph factors as the product of two adjacency matrices of Cayley graphs. Let $G$ be a finite group and let $U\subseteq G\setminus \{e\}$ be symmetric. Writing $A(G;U)$ for the adjacency matrix of the Cayley graph of $G$ with respect to $U$, we prove that for symmetric subsets $S,T,U$ of $G\setminus \{e\}$, $A(G;U)=A(G;S)\,A(G;T)$ if and only if $U=ST$ and each $u\in U$ has a unique representation $u=st$, equivalently $\bigl(\sum_{s\in S}s\bigr)\bigl(\sum_{t\in T}t\bigr)=\sum_{u\in U}u$ in the group algebra. When $S,T,U$ are unions of conjugacy classes, this is characterized character-theoretically by $χ(U)=χ(S)χ(T)/χ(1)$ for all $χ\in\mathrm{Irr}(G)$. In addition, for abelian groups, we identify $A(G;S)A(G;T)$ with the $0\!-\!1$ convolution $\mathbf{1}_S*\mathbf{1}_T$, so factorability is equivalent to $(S,T)$ being a Sidon pair, i.e., $(S-S)\cap(T-T)=\{0\}$. For cyclic groups, we reformulate factorability via mask polynomials and reduce to prime-power components using the Chinese Remainder Theorem. We also analyze dihedral groups $D_{2n}$, presenting infinite families of factorable generating sets, and give explicit constructions of subsets whose Cayley graphs do and do not admit such factorizations.

We settle the Polynomial Freiman--Ruzsa (PFR/Marton) conjecture for the integers and for cyclic groups. More precisely, we show that if $A$ is a finite subset of $\mathbb{Z}$ or $\mathbb{Z}/N\mathbb{Z}$ with $|A+A| \le K|A|$, then there is a subgroup $H$ of index at most $K^{O(1)}$ such that $A$ is contained in at most $K^{O(1)}$ cosets of $H$. The proof is based on a new spectral stability dichotomy for the $L^4$ Fourier mass of $\mathbf{1}_A$: either this mass is concentrated on a span of size $K^{O(1)}$, or, after passing to a quotient of codimension $K^{O(1)}$, the doubling constant of the image of $A$ decreases by a definite power of $K$. Using Freiman modeling we transfer this dichotomy to cyclic groups, obtain polynomial Bogolyubov-type bounds, and deduce Marton's conjecture in $\mathbb{Z}$ and $\mathbb{Z}/N\mathbb{Z}$. As a corollary, we also recover and extend the finite-field formulation of Marton's conjecture: in odd characteristic we obtain a direct spectral proof, and together with the characteristic-2 result of Green, Gowers, Manners, and Tao this yields a complete resolution of the conjecture for all finite fields. For context beyond finite fields, we recall their theorem for abelian groups of bounded exponent.

Let $n$ be an integer greater than $1$. We consider a group presented as $G(p_1,p_2,\dots,p_n)=\langle x_1,x_2,\dots, x_n \mid x_1^{p_1} =x_2^{p_2}=\cdots =x_n^{p_n} \rangle$, with integers $p_1,p_2,\dots,p_n$ satisfying $2 \leq p_1 \leq p_2 \leq \cdots \leq p_n$. This group is an amalgamated free product of infinite cyclic groups and is geometrically realized as the fundamental group of a Seifert fiber space over the 2-dimensional disk with $n$ cone points whose associated cone angles are $\frac{2π}{p_1},\frac{2π}{p_2},\dots,\frac{2π}{p_n}$. In this paper, we present a formula for the spherical growth series of the group $G(p_1,\dots,p_n)$ with respect to the generating set $\{x_1,\dots,x_n,x_1^{-1},\dots,x_n^{-1}\}$. We show that from this formula, a rational function expression for the spherical growth series of $G(p_1,\dots,p_n)$ can be derived in concrete form for given $p_1,\dots,p_n$. In fact, we wrote an elementary computer program based on this formula that yields an explicit form of a single rational fraction expression for the spherical growth series of $G(p_1,\dots,p_n)$. We present such expressions for several tuples $(p_1,\dots,p_n)$. In 1999, C. P. Gill obtained a similar formula for the same group in the case $n=2$ and showed that there exists a rational function expression for the spherical growth series of $G(p_1,\dots,p_n)$ for $n \geq 2$.

Let $G$ be a finite group. A finite collection of elements from $G$, where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its elements can be ordered such that their product in $G$ equals the identity element of $G$. Then, the Gao's constant $\mathsf E (G)$ of $G$ is the smallest integer $\ell$ such that every sequence of length at least $\ell$ has a product-one subsequence of length $|G|$. For a positive integer $n$, we denote by $C_n$ a cyclic group of order $n$. Let $G = C_n \rtimes_s C_2$ with $s^2\equiv 1\pmod n$ be a metacyclic group. The direct and inverse problems of $\mathsf E (G)$ were settled recently, except for the case that $G=C_{3n_2}\rtimes_s C_2$ with $n_2\neq 1$, $\gcd(n_2,6)=1$, $s\equiv -1 \pmod 3$, and $s\equiv 1\pmod {n_2}$. In this paper, we complete the remaining case and hence for all metacyclic groups of the form $G=C_n \rtimes C_2$, the Gao's constant and the associated inverse problem are now fully settled (see Theorem 1.2).

The Szeged index of a graph is an invariant with several applications in chemistry. The power graph of a finite group $G$ is a graph having vertex set as $G$ in which two vertices $u$ and $v$ are adjacent if $v=u^m$ or $u=v^n$ for some $m,n\in \mathbb{N}$. In this paper, we first obtain a formula for the Szeged index of the generalized join of graphs. As an application, we obtain the Szeged index of the power graph of the finite cyclic group $\mathbb Z_n$ for any $n>2$. We further obtain a relation between the Szeged index of the power graph of $\mathbb Z_n$ and the Szeged index of the power graph of the dihedral group $\mathrm{D}_n$. We also provide SAGE codes for evaluating the Szeged index of the power graph of $\mathbb{Z}_n$ and $\mathrm{D}_n$ at the end of this paper.

Adapting Reiher's proof of Kemnitz's conjecture, we obtain two refinements of a theorem of Schmid and Zhuang. Our main results provide improved upper bounds for the Erdős-Ginzburg-Ziv constant of rank-two-like $p$-groups, and their direct products with cyclic groups of order coprime to $p$. In particular, we determine the exact value of this constant, and also confirm a conjecture of Gao, for a new infinite family of groups of arbitrarily large rank.

We consider Cayley sum graphs over the cyclic group $\mathbb{Z}_n$ and aim to explore several necessary and sufficient conditions for the existence of total perfect codes in these graphs. Specifically, we examine various cases for the connection set of the graph including when it is periodic, aperiodic, or square-free. To this end, we utilize a correspondence that we first establish between total perfect codes and factorizations of groups, along with their algebraic properties. We then generalize some of these conditions to the direct product of cyclic groups, i.e. $\mathbb{Z}_{n_1} \times \dots \times \mathbb{Z}_{n_d}$.

We show that for a subset $A$ of the cyclic group of prime order $p>3$, if the sumset $A+A-2A$ is not the whole group, then $|A|\le \frac27\,p$. Besides combinatorial arguments, we utilize a general technique involving linear programming.

Let $\mathbb{Z}_q$ denote the cyclic group of order $q$. A $\mathbb{Z}_q$-edge-weighted $K_f$ is the complete graph $K_f$ equipped with a weight function $ω: E(K_f) \to \mathbb{Z}_q$. A subdivision of a graph $H$ in a $\mathbb{Z}_q$-edge-weighted $K_f$ is called a $q$-divisible subdivision of $H$ if every subdivision path has weight congruent to zero modulo $q$. Let $q\ge 2$ be an integer and let $H$ be a graph with $n$ vertices and $m$ edges. Define $s_q(H)$ to be the smallest number $f$ such that every $\mathbb{Z}_q$-edge-weighted $K_{f}$ contains a $q$-divisible subdivision of $H$. Das, Draganić, and Steiner raised the following question (Problem 4.1 in [Tight bounds for divisible subdivisions, J. Combin. Theory, Ser. B 165 (2024) 1-19]): Given $q\in\mathbb{N}$ and a subcubic graph $H$ with $n$ vertices and $m$ edges, is it true $s_q(H)= m(q - 1) + n$? They also established the upper bound $s_q(H)\le 7mq+8n+14q$ for such a graph $H$. In this paper, we improve this bound by showing that $s_q(H)\le (2q - 1)m + 2n - 1 + 4q$, and establishing a sharper bound $s_p(H)\le \frac{3p - 1}{2}m - \frac{p - 1}{2}n + \frac{p + 1}{2}$ for prime $p$ and connected $H$. We resolve this problem in the case $q=2$ by proving that $s_2(H) = m + n$ for any 5-degenerate graph $H$, and in the case $q\ge 2$ and $T$ being a tree, by showing that $s_q(T) = nq - q + 1$. Let $s_q(H,t)$ be the minimum number $f$ such that every $\mathbb{Z}_q$-edge-weighted $K_f$ contains a $q$-divisible $t$-subdivision of $H$, where a $t$-subdivision of $H$ is a subdivision of $H$ such that each edge of $H$ is subdivided exactly $t$ times. We also prove that $s_2(H,1)= m + n$, where $H$ is a tree or a cycle on $n$ vertices with $m$ edges.

We study the minimax problem for restricted two-fold self-sumsets in $k$-colorings of $\mathbb{Z}_n$. For primes $p$ with $2\le k\le p$ we determine the exact minimum $\max\{0,\,2\lceil p/k\rceil-3\}$. For general $n$ (with $m=\lceil n/k\rceil$) we bound the optimum between a size term $\min\{p(n),\,2m-3\}$ and a periodicity term $f\big(n/q(n,k)\big)$, and show these bounds are tight when $2m-3\le p(n)$ or $f\big(n/q(n,k)\big)\le \min\{p(n),\,2m-3\}$. We further prove a stability inequality and a threshold theorem that force concentration in a single subgroup coset near the periodic scale. In the prime case with $m\ge 5$ and $2m-3<p$, every optimal coloring contains a class of size $m$ that is an arc (an arithmetic progression up to an affine automorphism). Our approach combines the restricted Erdős--Heilbronn phenomenon with block/coset colorings and an injectivity window.

We introduce a general framework to design and analyze algorithms for the problem of testing homomorphisms between finite groups in the low-soundness regime. In this regime, we give the first constant-query tests for various families of groups. These include tests for: (i) homomorphisms between arbitrary cyclic groups, (ii) homomorphisms between any finite group and $\mathbb{Z}_p$, (iii) automorphisms of dihedral and symmetric groups, (iv) inner automorphisms of non-abelian finite simple groups and extraspecial groups, and (v) testing linear characters of $\mathrm{GL}_n(\mathbb{F}_q)$, and finite-dimensional Lie algebras over $\mathbb{F}_q$. We also recover the result of Kiwi [TCS'03] for testing homomorphisms between $\mathbb{F}_q^n$ and $\mathbb{F}_q$. Prior to this work, such tests were only known for abelian groups with a constant maximal order (such as $\mathbb{F}_q^n$). No tests were known for non-abelian groups. As an additional corollary, our framework gives combinatorial list decoding bounds for cyclic groups with list size dependence of $O(\varepsilon^{-2})$ (for agreement parameter $\varepsilon$). This improves upon the currently best-known bound of $O(\varepsilon^{-105})$ due to Dinur, Grigorescu, Kopparty, and Sudan [STOC'08], and Guo and Sudan [RANDOM'14].

The cluster variety of triples of flags (associated with a split simple Lie group of Dynkin type Delta) plays a key role in higher Teichmuller theory as developed by Fock-Goncharov, Jiarui Fei, Ian Le, ... and Goncharov-Shen. We refer to it as the basic triangle associated with Delta. In this paper, for simply laced Delta, we construct and study a Higgs category (in the sense of Yilin Wu) which we expect to categorify the basic triangle. This category is a certain exact dg category (in the sense of Xiaofa Chen) which is Frobenius and stably 2-Calabi-Yau. We show that it has indeed the expected cyclic group symmetry and that its derived category has the expected braid group symmetry. A key ingredient in our construction is a conjecture by Merlin Christ, whose proof occupies most of this paper. The proof is based on a new description of the Higgs category in terms of Gorenstein projective dg modules. Our techniques are in the spirit of Orlov in his work on triangulated categories of graded B-branes.