arXiv++ Combinatorics

The Lusztig-Shoji algorithm is generalized to a complex reflection group $W$ and give us a version of the Springer correspondence of $W$. We show that the combinatorics of generalized Springer correspondences of dihedral groups of order $2n$ exhibit the Brauer-Humphreys type reciprocity as in the case of Weyl groups for odd $n$, and these constitute a major portion of the stratification of the natural module categories attached to them.

A group has the (D)CI ((Directed) Cayley Isomorphism) property, or more commonly is a (D)CI group, if any two Cayley (di)graphs on the group are isomorphic via a group automorphism. That is, $G$ is a (D)CI group if whenever $\rm{Cay}(G,S)\cong \rm{Cay}(G,T)$, there is some $δ\in \rm{Aut}(G)$ such that $S^δ=T$. (For the CI property, we only require this to be true if $S$ and $T$ are closed under inversion.) Suppose $p,q,r$ are distinct odd primes. We show that $D_{2pqr}$ is a DCI group. We present this result in the more general context of dihedral groups of squarefree order; some of our results apply to any such group, and may be useful in future toward showing that all dihedral groups of squarefree order are DCI groups.

We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.

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.

In this communication, the co-maximal subgroup graph $Γ(G)$ of a finite group $G$ is examined when $G$ is a finite nilpotent group, finite abelian group, dihedral group $D_n$, dicyclic group $Q_{2^n}$, and $p$-group. We derive the necessary and sufficient conditions for $Γ(G)$ to be a cluster graph, triangle-free graph, claw-free graph, cograph, chordal graph, threshold graph and split graph. For the case of finite nilpotent group, we are able to classify it entirely. Moreover, we derive the complete structure of finite abelian group $G$ such that $Γ(G)$ is a split graph. We leave the readers with a few unsolved questions.

Let $\Ga = (V, E)$ be a graph and $a, b$ nonnegative integers. An $(a, b)$-regular set in $\Ga$ is a nonempty proper subset $D$ of $V$ such that every vertex in $D$ has exactly $a$ neighbours in $D$ and every vertex in $V \setminus D$ has exactly $b$ neighbours in $D$. A $(0,1)$-regular set is called a perfect code, an efficient dominating set, or an independent perfect dominating set. A subset $D$ of a group $G$ is called an $(a,b)$-regular set of $G$ if it is an $(a, b)$-regular set in some Cayley graph of $G$, and an $(a, b)$-regular set in a Cayley graph of $G$ is called a subgroup $(a, b)$-regular set if it is also a subgroup of $G$. In this paper we study $(a, b)$-regular sets in Cayley graphs with a focus on $(0, k)$-regular sets, where $k \ge 1$ is an integer. Among other things we determine when a non-trivial proper normal subgroup of a group is a $(0, k)$-regular set of the group. We also determine all subgroup $(0, k)$-regular sets of dihedral groups and generalized quaternion groups. We obtain necessary and sufficient conditions for a hypercube or the Cartesian product of $n$ copies of the cycle of length $p$ to admit $(0, k)$-regular sets, where $p$ is an odd prime. Our results generalize several known results from perfect codes to $(0, k)$-regular sets.

In [Distrance-regular Cayley graphs on dihedral groups, J. Combin. Theory Ser B 97 (2007) 14--33], Miklavič and Potočnik proposed the problem of characterizing distance-regular Cayley graphs, which can be viewed as an extension of the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, all distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$ with $p$ being an odd prime are determined. It is shown that every such graph is isomorphic to a complete graph, a complete multipartite graph, or the line graph of a transversal design $TD(r,p)$ with $2\leq r\leq p-1$.

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.

In this paper, we investigate the existence of fractional revival on semi-Cayley graphs over finite abelian groups. We give some necessary and sufficient conditions for semi-Cayley graphs over finite abelian groups admitting fractional revival. We also show that integrality is necessary for some semi-Cayley graphs admitting fractional revival. Moreover, we characterize the minimum time when semi-Cayley graphs admit fractional revival. As applications, we give examples of certain Cayley graphs over the generalized dihedral groups and generalized dicyclic groups admitting fractional revival.

For a group $G$, the generating graph $Γ(G)$ is defined as the graph with the vertex set $G$, and any two distinct vertices of $Γ(G)$ are adjacent if they generate $G$. In this paper, we study the generating graph of $D_n,$ where $D_n$ is a Dihedral group of order $2n$. We explore various graph theoretic properties, and determine complete spectrum of the adjacency and the Laplacian matrix of $Γ(D_n)$. Moreover, we compute some distance and degree based topological indices of $Γ(D_n)$.

The power graph $\mathscr{P}(G)$ of a group $G$ is an undirected graph with all the elements of $G$ as vertices and where any two vertices $u$ and $v$ are adjacent if and only if $u=v^m $ or $v=u^m$, $ m \in$ $\mathbb{Z}$. For a simple graph $H$ with adjacency matrix $A(H)$ and degree diagonal matrix $D(H)$, the universal adjacency matrix is $U(H)= αA(H)+βD(H)+ γI +ηJ$, where $α(\neq 0), β, γ, η\in \mathbb{R}$, $I$ is the identity matrix and $J$ is the all-ones matrix of suitable order. One can study many graph-associated matrices, such as adjacency, Laplacian, signless Laplacian, Seidel etc. in a unified manner through the universal adjacency matrix of a graph. Here we study universal adjacency eigenvalues and eigenvectors of power graphs, proper power graphs and their complements on the group $\mathbb{Z}_n$, dihedral group ${D}_n$, and the generalized quaternion group ${Q}_n$. Spectral results of no kind for the complement of power graph on any group were obtained before. We determine the full spectrum in some particular cases. Moreover, several existing results can be obtained as very specific cases of some results of the paper.

S. Bera (Line graph characterization of power graphs of finite nilpotent groups, \textit{Communication in Algebra}, 50(11), 4652-4668, 2022) characterized finite nilpotent groups whose power graphs and proper power graphs are line graphs. In this paper, we extend the results of above mentioned paper to arbitrary finite groups. Also, we correct the corresponding result of the proper power graphs of dihedral groups. Moreover, we classify all the finite groups whose enhanced power graphs are line graphs. We classify all the finite nilpotent groups (except non-abelian $2$-groups) whose proper enhanced power graphs are line graphs of some graphs. Finally, we determine all the finite groups whose power graphs, proper power graphs, enhanced power graphs and proper enhanced power graphs are the complement of line graphs, respectively.

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.

A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in $\Aut(H)$ of $X\cup Y$. We use this criterion to resolve a questions of Li, Ma and Pan from 2009, by constructing a $2$-arc transitive normal cover of order $2^{53}$ of the complete bipartite graph $\K_{16,16}$ and prove that it is \emph{not} a Cayley graph.

The enhanced power graph of a group $G$ is the graph $\mathcal{G}_E(G)$ with vertex set $G$ and edge set $ \{(u,v): u, v \in \langle w \rangle,~\mbox{for some}~ w \in G\}$. In this paper, we compute the spectrum of the distance matrix of the enhanced power graph of non-abelian groups of order $pq$, dihedral groups, dicyclic groups, elementary abelian groups $\mathrm{El}(p^n)$ and the non-cyclic abelian groups $\mathrm{El}(p^n)\times\mathrm{El}(q^m)$ and $\mathrm{El}(p^n)\times \mathbb{Z}_m$, where $p$ and $q$ are distinct primes. For the non-cyclic abelian group $\mathrm{El}(p^n)\times \mathrm{El}(q^m)$, we also compute the spectrum of the adjacency matrix of its enhanced power graph and the spectrum of the adjacency and the distance matrix of its power graph.

A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley graph of $H$. We prove that $Σ$ is semisymmetric, that is, ${\rm Aut}(Σ)$ acts transitively on the edges, but intransitively on the vertices, of $Σ$. These graphs are the first known semisymmetric graphs constructed from groups that are not $2$-generated (indeed $H$ requires $2n$ generators). Additionally, we prove that $Σ$ is locally $2$-arc-transitive, and is a normal cover of the `basic' locally $2$-arc-transitive graph ${\rm K}_{2^n,2^n}$. As such, the construction of this family of graphs contributes to the investigation of normal covers of prime-power order of basic locally $2$-arc-transitive graphs -- the `local' analogue of a question posed by C.~H.~Li.

The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then ${\mathbf x}$ is a linear sequencing and if the partial sums are all different when $|i-j| \leq t$ then ${\mathbf x}$ is a $t$-weak sequencing. We investigate these notions of sequenceability in semidirect products using the polynomial method. We show that every subset of order $k$ of the non-identity elements of the dihedral group of order $2m$ has a linear sequencing when $k \leq 12$ and either $m>3$ is prime or every prime factor of $m$ is larger than $k!$, unless $s_k$ is unavoidably the identity; that every subset of order $k$ of a non-abelian group of order three times a prime has a linear sequencing when $5 < k \leq 10$, unless $s_k$ is unavoidably the identity; and that if the order of a group is $pe$ then all sufficiently large subsets of the non-identity elements are $t$-weakly sequenceable when $p>3$ is prime, $e \leq 3$ and $t \leq 6$.

We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing a particular \emph{edge-affine} action on $\K_{2^n,2^n}$. Conversely, we prove that if $Σ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing an \emph{edge-affine} action on $\K_{2^n,2^n}$, then the line graph $Γ$ of $Σ$ is a Cayley graph of an $n$-dimensional mixed dihedral group. Furthermore, we give an explicit construction of a family of $n$-dimensional mixed dihedral groups. This family addresses a problem proposed by Li concerning normal covers of prime power order of the `basic' $2$-arc-transitive graphs. In particular, we construct, for each $n\geq 2$, a $2$-arc-transitive normal cover of $2$-power order of the `basic' graph $\K_{2^n,2^n}$.

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$.

Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets. The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ and proved that almost all subsets $A\subseteq G$ are sum-difference balanced as $|G|\to\infty$. For the dihedral group $D_{2n}$, they conjectured that of the remaining sets, most are MSTD, i.e., there are more MSTD sets than MDTS sets. Some progress on this conjecture was made by Haviland et al. in 2020, when they introduced the idea of partitioning the subsets by size: if, for each $m$, there are more MSTD subsets of $D_{2n}$ of size $m$ than MDTS subsets of size $m$, then the conjecture follows. We extend the conjecture to generalized dihedral groups $D=\mathbb{Z}_2\ltimes G$, where $G$ is an abelian group of size $n$ and the nonidentity element of $\mathbb{Z}_2$ acts by inversion. We make further progress on the conjecture by considering subsets with a fixed number of rotations and reflections. By bounding the expected number of overlapping sums, we show that the collection $\mathcal S_{D,m}$ of subsets of the generalized dihedral group $D$ of size $m$ has more MSTD sets than MDTS sets when $6\le m\le c_j\sqrt{n}$ for $c_j=1.3229/\sqrt{111+5j}$, where $j$ is the number of elements in $G$ with order at most $2$. We also analyze the expectation for $|A+A|$ and $|A-A|$ for $A\subseteq D_{2n}$, proving an explicit formula for $|A-A|$ when $n$ is prime.