arXiv++ Combinatorics

Binomial Cayley graphs are obtained by considering the binomial coefficient of the weight function of a given Cayley graph and a natural number. We introduce these objects and study two families: one associated with symmetric groups and the other with powers of cyclic groups. We determine various combinatorial properties of these graphs through the spectral analysis of their adjacency matrices. In the case of symmetric groups, we establish a relation between the multiplicity of the null eigenvalue and longest increasing sub-sequences of permutations by means of the RSK correspondence. Finally, we consider dynamical arrangements of finitely many elements in finite spaces, which we refer to as particle-box systems. We apply the results obtained on binomial Cayley graphs in order to describe their degeneracy.

Schur rings over the infinite dihedral group $\mathcal{Z}\rtimes\mathcal{Z}_2$ are studied according to properties of Schur rings over infinite groups and the classification of Schur rings over infinite cyclic groups. Schur rings over $\mathcal{Z}\rtimes{\mathcal{Z}}_2$ are classified under the assumption that $\mathcal{Z}$ is an $\mathcal{A}$-subgroup. Those Schur rings are proved to be traditional.

Recently, new combinatorial structures called disjoint partial difference families (DPDFs) and external partial difference families (EPDFs) were introduced, which simultaneously generalize partial difference sets, disjoint difference families and external difference families, and have applications in information security. So far, all known construction methods have used cyclotomy in finite fields. We present the first non-cyclotomic infinite families of DPDFs which are also EPDFs, in structures other than finite fields (in particular cyclic groups and non-abelian groups). As well as direct constructions, we present an approach to constructing DPDFs/EPDFs using relative difference sets (RDSs); as part of this, we demonstrate how the well-known RDS result of Bose extends to a very natural construction for DPDFs and EPDFs.

Let $A$ be a subset of the cyclic group $\mathbf{Z}/p\mathbf{Z}$ with $p$ prime. It is a well-studied problem to determine how small $|A|$ can be if there is no unique sum in $A+A$, meaning that for every two elements $a_1,a_2\in A$, there exist $a_1',a_2'\in A$ such that $a_1+a_2=a_1'+a_2'$ and $\{a_1,a_2\}\neq \{a_1',a_2'\}$. Let $m(p)$ be the size of a smallest subset of $\mathbf{Z}/p\mathbf{Z}$ with no unique sum. The previous best known bounds are $\log p \ll m(p)\ll \sqrt{p}$. In this paper we improve both the upper and lower bounds to $ω(p)\log p \leqslant m(p)\ll (\log p)^2$ for some function $ω(p)$ which tends to infinity as $p\to \infty$. In particular, this shows that for any $B\subset \mathbf{Z}/p\mathbf{Z}$ of size $|B|<ω(p)\log p$, its sumset $B+B$ contains a unique sum. We also obtain corresponding bounds on the size of the smallest subset of a general Abelian group having no unique sum.

We consider the family of undirected Cayley graphs associated with odd cyclic groups, and study statistics for the eigenvalues in their spectra. Our results are motivated by analogies between arithmetic geometry and graph theory.

We give a cyclic sieving phenomenon for symplectic $λ$-tableaux $SP(λ,2m)$, where $λ$ is a partition of an odd integer $n$ and $gcd(m,p)=1$ for any odd prime $p\leq n$. We use the crystal structure on Kashiwara-Nakashima symplectic tableaux to get a cyclic sieving action as the product $σ$ of simple reflections in the Weyl group. The cyclic sieving polynomial is the $q$-anologue of the hook-content formula for symplectic tableaux. More generally, we give a CSP for symplectic skew tableaux with analogous conditions on the shape and a cyclic group action that rotates tableaux weights in a way motivated by the $σ$-action.

We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.

A topological version of the famous Hedetniemi conjecture says: The mapping index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. The main purpose of this article is to study the topological version of the Hedetniemi conjecture for $G$-spaces. Indeed, we show that the topological Hedetniemi conjecture cannot be valid for general pairs of $G$-spaces. More precisely, we show that this conjecture can possibly survive if the group $G$ is either a cyclic $p$-group or a generalized quaternion group whose size is a power of 2.

A skew morphism of a finite group $A$ is a permutation $\varphi$ of $A$ fixing the identity element and for which there is an integer-valued function $π$ on $A$ such that $\varphi(ab)=\varphi(a)\varphi^{π(a)}(b)$ for all $a, b \in A$. A skew morphism $\varphi$ of $A$ is smooth if the associated power function $π$ is constant on the orbits of $\varphi$, that is, $π(\varphi(a))\equivπ(a)\pmod{|\varphi|}$ for all $a\in A$. In this paper we show that every skew morphism of a cyclic group of order $n$ is smooth if and only if $n=2^en_1$, where $0 \le e \le 4$ and $n_1$ is an odd square-free number. A partial solution to a similar problem on non-cyclic abelian groups is also given.

We study the (variable-length) codes of the form X u {a^n}, where X c a*wa* and |X| = n. We extend various notions and results from factorizations of cyclic groups theory to this type of codes. In particular, when n is the product of at most three primes or has the form pq^k (with p and q prime), we prove that they are composed of prefix and suffix codes. We provide counterexamples for other n. It implies that the long-standing triangle conjecture is true for this type of n. We also prove a conjecture about the size of a potential counterexample to the conjecture.

Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$. For $Ω\subset \mathcal F (G)$, define the universal zero-sum invariant ${\mathsf d}_Ω(G)$ to be the smallest integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ has a subsequence in $Ω$. The invariant ${\mathsf d}_Ω(G)$ unifies many classical zero-sum invariants. Let $\mathcal B (G)$ be the submonoid of $\mathcal F (G)$ consisting of all zero-sum sequences over $G$, and let $\mathcal A (G)$ be the set consisting of all minimal zero-sum sequences over $G$. In this paper, we show that except for a few special classes of groups, there always exists a proper subset $Ω$ of $\mathcal A (G)$ such that ${\mathsf d}_Ω(G)={\rm D}(G)$. Furthermore, in the setting of finite cyclic groups, we discuss the distributions of all minimal sets by determining their intersections. By connecting the universal zero-sum invariant with weights, we make a study of zero-sum problems in the setting of {\sl infinite} abelian groups. The universal zero-sum invariant ${\mathsf d}_{Ω; Ψ}(G)$ with weights set $Ψ$ of homomorphisms of groups is introduced for all abelian groups. The weighted Davenport constant ${\rm D}_Ψ(G)$ (being an special form of the universal invariant with weights) is also investigated for infinite abelian groups. Among other results, we obtain the necessary and sufficient conditions such that ${\rm D}_Ψ(G)<\infty$ in terms of the weights set $Ψ$ when $|Ψ|$ is finite. In doing this, by using the Neumann Theorem on Cover Theory for groups we establish a connection between the existence of a finite cover of an abelian group $G$ by cosets of some given subgroups of $G$, and the finiteness of weighted Davenport constant.

We prove that $(\mathbb{Z}_k \wr \mathcal{S}_n \times \mathbb{Z}_k \wr \mathcal{S}_{n-1}, \text{diag} (\mathbb{Z}_k \wr \mathcal{S}_{n-1}) )$ is a symmetric Gelfand pair, where $\mathbb{Z}_k \wr \mathcal{S}_n$ is the wreath product of the cyclic group $\mathbb{Z}_k$ with the symmetric group $\mathcal{S}_n.$ The proof is based on the study of the $\mathbb{Z}_k \wr \mathcal{S}_{n-1}$-conjugacy classes of $\mathbb{Z}_k \wr \mathcal{S}_n.$ We define the generalized characters of $\mathbb{Z}_k \wr \mathcal{S}_n$ using the zonal spherical functions of $(\mathbb{Z}_k \wr \mathcal{S}_n \times \mathbb{Z}_k \wr \mathcal{S}_{n-1}, \text{diag} (\mathbb{Z}_k \wr \mathcal{S}_{n-1}) ).$ We show that these generalized characters have properties similar to usual characters. A Murnaghan-Nakayama rule for the generalized characters of the hyperoctahedral group is presented. The generalized characters of the symmetric group were first studied by Strahov in [7].

We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.

We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool used to develop the theorem is a new graph theoretic result concerning ``ladder-like structures'' in a $k$-geodetic graph.

In this paper, we study skew frame starters, which are strong frame starters that satisfy an additional "skew" property. We prove three new non-existence results for cyclic skew frame starters of certain types. We also construct several small examples of previously unknown cyclic skew frame starters by computer.

For some positive integer $k$, if the finite cyclic group $\mathbb{Z}_k$ can act freely on a graph $G$, then we say that $G$ is $k$-symmetric. In 1985, Faria showed that the multiplicity of Laplacian eigenvalue 1 is greater than or equal to the difference between the number of pendant vertices and the number of quasi-pendant vertices. But if a graph has a pendant vertex, then it is at most 1-connected. In this paper, we investigate a class of 2-connected $k$-symmetric graphs with a Laplacian eigenvalue 1. We also identify a class of $k$-symmetric graphs in which all Laplacian eigenvalues are integers.

Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$. $C_n(R)$ is said to have {\it Cayley Isomorphism} (CI)-property if whenever $C_n(S)$ is isomorphic to $C_n(R),$ they are of Adam's isomorphic. CI-problem determines which graphs (or which groups) have the $CI$-property. Classification of cyclic $CI$-groups was completed but investigation of graphs without $CI$-property is not much done. Vilfred defined Type-2 isomorphism, different from Adam's isomorphism, of circulant graphs $C_n(R)$ w.r.t. $r$, $r\in R$ $\ni$ $\gcd(n, r) = m > 1$. Type-2 isomorphic circulant graphs don't have CI-property and we obtained such graphs of order $n$ for $r$ = 2,3,5,7, $n\in\mathbb{N}$. In this paper, we obtain Type-2 isomorphic circulant graphs of order $np^3$ w.r.t. $r = p$, and abelian groups on these isomorphic graphs where $p$ is a prime number and $n\in\mathbb{N}$. Theorems \ref{c10} and \ref{c13} are the main results. Using Theorem \ref{c13}, a list of abelian groups on the $p$ isomorphic circulant graphs $C_{np^3}(R^{np^3,x+yp}_i)$ of Type-2 w.r.t. $r = p$ for $i$ = 1 to $p$ and for $p$ = 3,5,7, $n$ = 1,2 and $y$ = 0 is given in the Annexure, $1 \leq x \leq p-1$, $y\in\mathbb{N}_0$, $0 \leq y \leq np - 1$, $1 \leq x+yp \leq np^2-1$, $p,np^3-p\in R^{np^3,x+yp}_i$ and $i,n,x\in\mathbb{N}$.

Fuglede's conjecture states that a subset $Ω\subseteq\mathbb{R}^{n}$ of positive and finite Lebesgue measure is a spectral set if and only if it tiles $\mathbb{R}^{n}$ by translation. The conjecture does not hold in both directions for $\mathbb{R}^n$, $n\ge3$. However, this conjecture remains open in $\mathbb{R}$ and $\mathbb{R}^2$. Cyclic groups play important roles in the study of Fuglede's conjecture in $\mathbb{R}$. In this paper, we introduce a new tool to study the spectral sets in cyclic groups. In particular, we prove that Fuglede's conjecture holds in $\mathbb{Z}_{p^{n}qr}$.

A Cayley digraph $\rm{Cay}(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called a CI-digraph if for any Cayley digraph $\rm{Cay}(G,T)$ isomorphic to $\rm{Cay}(G,S)$, there is an $α\in \rm{Aut}(G)$ such that $S^α=T$. For a positive integer $m$, $G$ is said to have the $m$-DCI property if all Cayley digraphs of $G$ with out-valency $m$ are CI-digraphs. Li [The Cyclic groups with the $m$-DCI Property, European J. Combin. 18 (1997) 655-665] characterized cyclic groups with the $m$-DCI property, and in this paper, we characterize dihedral groups with the $m$-DCI property. For a dihedral group $\mathrm{D}_{2n}$ of order $2n$, assume that $\mathrm{D}_{2n}$ has the $m$-DCI property for some $1 \leq m\leq n-1$. Then it is shown that $n$ is odd, and if further $p+1\leq m\leq n-1$ for an odd prime divisor $p$ of $n$, then $p^2\nmid n$. Furthermore, if $n$ is a power of a prime $q$, then $\mathrm{D}_{2n}$ has the $m$-DCI property if and only if either $n=q$, or $q$ is odd and $1\leq m\leq q$.

A finite group is said to be $n$-cyclic if it contains $n$ cyclic subgroups. For a finite group $G$, the ratio of the number of cyclic subgroups to the number of subgroups is known as the cyclicity degree of the group $G$ and is denoted by $cdeg (G)$. In this paper, we classify all $12$-cyclic groups. We also prove that the set of cyclicity degrees for all the finite groups is dense in $[0,1]$, which gives a solution to the problem asked by Tărnăuceanu and Tóth in [20] "For every $a\in [0, 1]$, does there exist a sequence $(G_n)$ of finite groups such that $\lim_{n\to\infty} cdeg(G_n)=a$ "?