arXiv++ Combinatorics

A proper abelian coloring of a cubic graph G by a finite abelian group A is any proper edge-coloring of G by the non-zero elements of A such that the sum of the colors of the three edges incident to any vertex v of G equals zero. It is known that cyclic groups of order smaller than 10 do not color all bridgeless cubic graphs, and that all abelian groups of order at least 12 do. This leaves the question open for the four so called exceptional groups Z4 x Z2, Z3 x Z3, Z10 and Z11 for snarks. It is conjectured in literature that every cubic graph has a proper abelian coloring by each exceptional group and it is further known that the existence of a proper Z4 x Z2-coloring of G implies the existence of a proper coloring of G by all the remaining exceptional groups. In this paper, we give a characterization of a proper Z4 x Z2-coloring in terms of the existence of a matching M in a 2-factor F of G with particular properties. Moreover, in order to modify an arbitrary matching M so that it meets the requirements of the characterization, we first introduce an incidence structure of the cycles of F in relation to the cycles of G - M. Further, we provide a sufficient condition under which M can be modified into a desired matching in terms of particular properties of the introduced incidence structure. We conclude the paper by applying the results to some oddness two snarks, in particular to permutation snarks. We believe that the approach of this paper with some additional refinements extends to larger classes of snarks, if not to all in general.

Bi-incomplete Tambara functors over a group $G$ can be understood in terms of compatible pairs of $G$-transfer systems. In the case of $G = C_{p^n}$ , Hill, Meng and Li gave a necessary and sufficient condition for compatibility and computed the exact number of compatible pairs. In this article, we study compatible pairs of $G$-transfer systems for the case $G = C_{p^rq^s}$ and identify conditions when such transfer systems are uniquely compatible in the sense that they only form trivially compatible pairs. This gives us new insight into collections of norm maps that are relevant in equivariant homotopy theory.

In this paper, we study the integral Cayley graphs over a non-abelian group $U_{6n}=\langle a,b\mid a^{2n}=b^3=1, a^{-1}ba=b^{-1}\rangle$ of order $6n$. We give a necessary and sufficient condition for the integrality of Cayley graphs over $U_{6n}$. We also study relationships between the integrality of Cayley graphs over $U_{6n}$ and the Boolean algebra of cyclic groups. As applications, we construct some infinite families of connected integral Cayley graphs over $U_{6n}$.

A subset $S$ of an abelian group $G$ is called $3$-$\mathrm{AP}$ free if it does not contain a three term arithmetic progression. Moreover, $S$ is called complete $3$-$\mathrm{AP}$ free, if it is maximal w.r.t. set inclusion. One of the most central problems in additive combinatorics is to determine the maximal size of a $3$-$\mathrm{AP}$ free set, which is necessarily complete. In this paper we are interested in the minimum size of complete $3$-$\mathrm{AP}$ free sets. We define and study saturation w.r.t. $3$-$\mathrm{AP}$s and present constructions of small complete $3$-$\mathrm{AP}$ free sets and $3$-$\mathrm{AP}$ saturating sets for several families of vector spaces and cyclic groups.

We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology.

A nut graph is a simple graph whose adjacency matrix has the eigenvalue zero with multiplicity one such that its corresponding eigenvector has no zero entries. It is known that there exist no cubic circulant nut graphs. A bicirculant (resp. tricirculant) graph is defined as a graph that admits a cyclic group of automorphisms having two (resp. three) orbits of vertices of equal size. We show that there exist no cubic bicirculant nut graphs and we provide a full classification of cubic tricirculant nut graphs.

A cyclic complementary extension of a finite group $A$ is a finite group $G$ which contains $A$ and a cyclic subgroup $C$ such that $A\cap C=\{1_G\}$ and $G=AC$. For any fixed generator $c$ of the cyclic factor $C=\langle c\rangle$ of order $n$ in a cyclic complementary extension $G=AC$, the equations $cx=\varphi(x)c^{Π(x)}$, $x\in A$, determine a permutation $\varphi:A\to A$ and a function $Π:A\to\mathbb{Z}_n$ on $A$ characterized by the properties: (a) $\varphi(1_A)=1_A$ and $Π(1_A)\equiv1\pmod{n}$; (b) $\varphi(xy)=\varphi(x)\varphi^{Π(x)}(y)$ and $Π(xy)\equiv\sum_{i=1}^{Π(x)}Π(\varphi^{i-1}(y))\pmod{n}$, for all $x,y\in A$. The permutation $\varphi$ is called a skew-morphism of $A$ and has already been extensively studied. One of the main contributions of the present paper is the recognition of the importance of the function $Π$, which we call the extended power function associated with $\varphi$. We show that {\em every} cyclic complementary extension of $A$ is determined and can be constructed from a skew-morphism $\varphi$ of $A$ and an extended power function $Π$ associated with $\varphi$. As an application, we present a classification of cyclic complementary extensions of cyclic groups obtained using skew-morphisms which are group automorphisms.

$N_\infty$-operads are an equivariant generalization of $E_\infty$-operads introduced by Blumberg and Hill to study structural problems in equivariant stable homotopy theory. In the original paper introducing these objects, Blumberg and Hill raised the question of classifying $N_\infty$-operads that are weakly equivalent to a particularly nice kind of $N_\infty$-operad called a linear isometries operad. For some groups there is a known classification of linear isometries operads up to weak equivalence in terms of certain combinatorially defined objects called saturated transfer systems, but this classification is known to be invalid in general. Various authors have made incremental progress on understanding the domain of validity for this classification, but even among cyclic groups the validity is unknown in general. We determine essentially all the finite Abelian groups for which the classification is valid using techniques from algebra and extremal combinatorics.

In 1992, Terwilliger introduced the notion of the \emph{Terwilliger algebra} in order to study association schemes. The Terwilliger algebra of an association scheme $\mathcal{A}$ is the subalgebra of the complex matrix algebra, generated by the \emph{Bose-Mesner algebra} of $\mathcal{A}$ and its dual idempotents with respect to a point $x$. In [{\em Kyushu Journal of Mathematics}, 49(1):93--102, 1995] Bannai and Munemasa determined the dimension of the Terwilliger algebra of abelian groups and dihedral groups, by showing that they are triply transitive (i.e., triply regular and dually triply regular). In this paper, we give a generalization of their results to the group association scheme of semidirect products of the form $C_n\rtimes C_2$, where $C_m$ is a cyclic group of order $m\geq 2$. Moreover, we will give the complete characterization of the Wedderburn components of the Terwilliger algebra of these groups.

This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following. M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{φ(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $φ$ is Euler's function, with a similar result for the sum. The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order. If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$. There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime. The paper concludes with a number of open problems.

In this paper we completely classify spreads of 2-dimensional subspaces of a 6-dimensional vector space over a finite field of characteristic not two or three upon which a cyclic group acts transitively. This addresses one of the remaining open cases in the classification of flag-transitive linear spaces. We utilise the polynomial approach innovated by Pauley and Bamberg to obtain our results.

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. One of the crucial questions in the $S$-ring theory is the question on schurity of nonabelian groups, in particular, on existence of an infinite family of nonabelian Schur groups. In this paper, we study schurity of dihedral groups. We show that any generalized dihedral Schur group is dihedral and obtain necessary conditions of schurity for dihedral groups. Further, we prove that a dihedral group of order $2p$, where $p$ is a Fermat prime or prime of the form $p=4q+1$, where $q$ is also prime, is Schur. Towards this result, we prove nonexistence of a difference set in a cyclic group of order $p\neq 13$ and classify all $S$-rings over some dihedral groups.

Wreath Macdonald polynomials arise from the geometry of $Γ$-fixed loci of Hilbert schemes of points in the plane, where $Γ$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conjectured by Haiman and first proved in work of Bezrukavnikov and Finkelberg by means of an equivalence of derived categories. Despite the power of this approach, a lack of explicit tools providing direct access to wreath Macdonald polynomials -- in the spirit of Macdonald's original works -- has limited progress in the subject. A recent result of Wen provides a remarkable set of such tools, packaged in the representation theory of quantum toroidal algebras. In this article, we survey Wen's result along with the basic theory of wreath Macdonald polynomials, including its geometric foundations and the role of bigraded reflection functors in the construction of wreath analogs of the $\nabla$ operator. We also formulate new conjectures on the values of important constants arising in the theory of wreath Macdonald $P$-polynomials. A variety of examples are used to illustrate these objects and constructions throughout the paper.

The Littlewood-Offord problem is a classical question in probability theory and discrete mathematics, proposed, firstly by Littlewood and Offord in the 1940s. Given a set $A$ of integer, this problem asks for an upper bound on the probability that a randomly chosen subset $X$ of $A$ sums to an integer $x$. This article proposes a variation of the problem, considering a subset $A$ of a cyclic group of prime order and examining subsets $X\subseteq A$ of a given cardinality $\ell$. The main focus of this paper is then on bounding the probability distribution of the sum $Y$ of $\ell$ i.i.d. $Y_1,\dots, Y_{\ell}$ whose support is contained in $\mathbb{Z}_p$. The main result here presented is that, if the probability distributions of the variables $Y_i$ are bounded by $λ\leq 9/10$, then, assuming that $p> \frac{2}λ\left(\frac{\ell_0}{3}\right)^ν$ (for some $\ell_0\leq\ell$), the distribution of $Y$ is bounded by $λ\left(\frac{3}{\ell_0}\right)^ν$ for some positive absolute constant $ν$. Then an analogous result is implied for the Littlewood-Offord problem over $\mathbb{Z}_p$ on subsets $X$ of a given cardinality $\ell$ in the regime where $n$ is large enough. Finally, as an application of our results, we propose a variation of the set-sequenceability problem: that of $Γ$-sequenceability. Given a graph $Γ$ on the vertex set $\{1,2,\dots,n\}$ and given a subset $A\subseteq \mathbb{Z}_p$ of size $n$, here we want to find an ordering of $A$ such that the partial sums $s_i$ and $s_j$ are different whenever $\{i,j\}\in E(Γ)$. As a consequence of our results on the Littlewood-Offord problem, we have been able to prove that, if the maximum degree of $Γ$ is at most $d$, $n$ is large enough, and $p>n^2$, any subset $A\subseteq \mathbb{Z}_p$ of size $n$ is $Γ$-sequenceable.

Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a homotopy category, a fundamental group for graphs under this homotopy, and a way of computing covers of graphs that lift homotopy via this fundamental group. In this paper, we compute the fundamental groups of all Hamming graphs, show that they are direct products of cyclic groups, and use this result to describe some $\times$-homotopy covers of Hamming graphs.

A graph $Γ$ is said to be unstable if for the direct product $Γ\times K_2$, $Aut(Γ\times K_2)$ is not isomorphic to $Aut(Γ) \times \mathbb{Z}_2$. In this paper we show that a connected and non-bipartite Cayley graph $Cay(H,S)$ is unstable if and only if the set $S \times \{1\}$ belongs to a Schur ring over the group $H \times \mathbb{Z}_2$ having certain properties. The Schur rings with these properties are characterized if $H$ is an abelian group of odd order or a cyclic group of twice odd order. As an application, a short proof is given for the result of Witte Morris stating that every connected unstable Cayley graph on an abelian group of odd order has twins (Electron.~J.~Combin, 2021). As another application, sufficient and necessary conditions are given for a connected and non-bipartite circulant graph of order $2p^e$ to be unstable, where $p$ is an odd prime and $e \ge 1$.

We develop the idempotent theory for algebras over a class of semigroups called left regular bands of groups (LRBGs), which simultaneously generalize group algebras of finite groups and left regular band (LRB) algebras. Our techniques weave together the representation theory of finite groups and LRBs, opening the door for a systematic study of LRBGs in an analogous way to LRBs. We apply our results to construct complete systems of primitive orthogonal idempotents in the Mantaci--Reutenauer algebra ${\sf{MR}}_n[G]$ associated to any finite group $G$. When $G$ is abelian, we give closed form expressions for these idempotents, and when $G$ is the cyclic group of order two, we prove that these recover idempotents introduced by Vazirani.

Given a subgroup $H$ of a group $(G,+)$, a $(G,H,k,1)$ difference family (DF) is a set $\mathcal F$ of $k$-subsets of $G$ such that $\{f-f':f,f'\in F, f\neq f',F\in \mathcal F\}=G\setminus H$. Let $g\mathbb Z_{gh}$ is the subgroup of order $h$ in $\mathbb Z_{gh}$ generated by $g$. A $(\mathbb Z_{gh},g\mathbb Z_{gh},k,1)$-DF is called cyclic and written as a $(gh,h,k,1)$-CDF. This paper shows that for $h\in\{2,3,6\}$, there exists a $(gh,h,4,1)$-CDF if and only if $gh\equiv h\pmod{12}$, $g\geq 4$ and $(g,h)\not\in\{(9,3),(5,6)\}$. As a corollary, it is shown that a 1-rotational S$(2,4,v)$ exists if and only if $v\equiv4\pmod{12}$ and $v\neq 28$. This solves the long-standing open problem on the existence of a 1-rotational S$(2,4,v)$. As another corollary, we establish the existence of an optimal $(v,4,1)$-optical orthogonal code with $\lfloor(v-1)/12\rfloor$ codewords for any positive integer $v\equiv 1,2,3,4,6\pmod{12}$ and $v\neq 25$. We also give applications of our results to cyclic group divisible designs with block size four and optimal cyclic $3$-ary constant-weight codes with weight four and minimum distance six.

Let $S$ be a subset of a group $G$ (not necessarily abelian) such that $S\,\cap -S$ is empty or contains only elements of order $2$, and let $\mathbf{h}=(h_1,\ldots, h_m)\in \mathbb{N}^m$ and $\mathbf{k}=(k_1, \ldots, k_n)\in \mathbb{N}^n$. A generalized Heffter array GHA$^λ_S(m, n; \mathbf{h}, \mathbf{k})$ over $G$ is an $m\times n$ matrix $A=(a_{ij})$ such that: the $i$-th row (resp. $j$-th column) of $A$ contains exactly $h_i$ (resp. $k_j$) nonzero elements, and the list $\{a_{ij}, -a_{ij}\mid a_{ij}\neq 0\}$ equals $λ$ times the set $S\,\cup\, -S$. We speak of a zero sum (resp. nonzero sum) GHA if each row and each column of $A$ sums to zero (resp. a nonzero element), with respect to some ordering. In this paper, we use near alternating sign matrices to build both zero and nonzero sum GHAs, over cyclic groups, having the further strong property of being simple. In particular, we construct zero sum and simple GHAs whose row and column weights are congruent to $0$ modulo $4$. This result also provides the first infinite family of simple (classic) Heffter arrays to be rectangular ($m\neq n$) and with less than $n$ nonzero entries in each row. Furthermore, we build nonzero sum GHA$^λ_S(m, n; \mathbf{h}, \mathbf{k})$ over an arbitrary group $G$ whenever $S$ contains enough noninvolutions, thus extending previous nonconstructive results where $\pm S = G\setminus H$ for some subgroup $H$~of~$G$. Finally, we describe how GHAs can be used to build orthogonal decompositions and biembeddings of Cayley graphs (over groups not necessarily abelian) onto orientable surfaces.

Cayley graphs are graphs on algebraic structures, typically groups or group-like structures. In this paper, we have obtained a few results on Cayley graphs on Cyclic groups, powers of cycles, Cayley graphs on some non-abelian groups, and vertex, edge and total colorings of Cayley graphs on gyrogroups.