arXiv++ Combinatorics

A Cayley graph $\Cay(G,S)$ is said to be inner-automorphic if $S$ is a union of conjugacy classes of a group $G$, and arc-transitive if its full automorphism group acts transitively on the set of arcs. In this paper, we characterize four well-known families of arc-transitive graphs that arise as connected inner-automorphic Cayley graphs on dihedral groups, and we provide a necessary condition for other connected arc-transitive Cayley graphs on dihedral groups to be inner-automorphic. We further construct an infinite family of examples satisfying this condition, thereby demonstrating the existence of such graphs. Finally, we complete the classification of all 2-distance-transitive connected inner-automorphic Cayley graphs on dihedral groups.

Given a size-$k$ subset $S$ of a group $G$, how large can the product set $S^n$ be? We study this question, at several layers of refinement, for the infinite dihedral group. First, we give an explicit formula for the maximum size of $S^n$ among all size-$k$ subsets with a prescribed number of reflections. We then determine the optimal number of reflections that a size-$k$ set should contain in order to maximize $|S^n|$. When $k$ is fixed and $n\to\infty$, we obtain a clean asymptotic expression for the maximal size of $S^n$. Moreover, we compute this asymptotic separately for each fixed number of reflections in $S$. We show that the number of reflections influences the asymptotic size of $S^n$ only through a multiplicative coefficient, which admits a direct probabilistic interpretation. Finally, we compute the growth exponent of the maximum of $|S^n|$ when~$k=~n$.

Let $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ be the moduli space of centrally symmetric convex polyhedral surfaces with $2N$ labeled vertices and prescribed cone-deficits $δ_1$, $δ_2$, $\dots$, $δ_N$. We show that $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ has the structure of a real hyperbolic manifold of dimension $2N-3$. When $N=4$ and $5$, we show that every surface in $\mathcal{M}_{2N}(δ_1, δ_2,\dots, δ_N)$ can be decomposed into at most $2\binom{2N-2}{2}$ parallelograms, and the decomposition is invariant under the antipodal map. Using the edge-lengths of these parallelograms as coordinates, we show that the moduli space of centrally symmetric polyhedral surfaces with $8$ unlabeled vertices and cone-deficits $\fracπ{2}$ is isometric to the quotient of a real hyperbolic regular ideal $5$-simplex by the dihedral group $D_6$.

Let $Γ$ be a group of order $n^2$ and $SMS_Γ(n)=(a_{i,j})_{n\times n}$ be an $n\times n$ array whose entries are all distinct elements of $Γ$. If there exists an element $μ\inΓ$ such that for every row $i$, there exists an ordering of elements such that $$ a_{i,j_1} a_{i,j_2} \dots a_{i,j_{n-1}} a_{i,j_n} = μ $$ and for every column $j$ there exists an ordering of elements such that $$ a_{i_1,j} a_{i_2,j} \dots a_{i_{m-1},j} a_{i_m,j} = μ, $$ then $SMS_Γ(n)$ is called a \emph{$Γ$-semi-magic square of side $n$} and $μ$ is called a \emph{magic constant}. We provide a complete characterization of semi-magic squares of side $n$ whose entries belong to a dihedral group $D_k$. Moreover, we show that in our constructions a single semi-magic square may admit two distinct magic constants, depending on the order in which the products are computed.

The Difference graph $\mathcal{D}(G)$ of a finite group $G$ is the difference of the enhanced power graph $\mathcal{P}_{E}(G)$ and the power graph $\mathcal{P}(G)$ with all the isolated vertices removed. In this paper, we characterize the vertex set of the difference graph of finite nilpotent groups and obtain its cardinality. Consequently, we obtain the metric dimension of the difference graph of finite nilpotent groups. Moreover, this paper determines the metric dimension of the difference graphs of certain non-nilpotent groups, namely: dihedral groups, the generalized quaternion groups, and the semi-dihedral groups.

We explicitly determine all CI-groups with respect to ternary relational structures that have the form $C \times D$, where $C$ is cyclic and $D$ is either a dicyclic group whose order is not divisible by $3$ or a dihedral group. Such groups are also CI-groups with respect to graphs and digraphs.

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.

Let $G$ be a finite group and let $\tilde{G}$ be a Schur cover of $G$. The deep commuting graph $Δ_D(G)$ of $G$ is a simple graph with vertex set $G$, where two distinct vertices are adjacent if their pre-images commute in $\tilde{G}$. The deep commuting graph of a finite group was first introduced in [P. J. Cameron and B. Kuzma, Between the enhanced power graph and the commuting graph, {\it J. Graph Theory} {\bf 102} (2023), no. 2, 295--303], where the authors have shown that $Δ_D(G)$ is fixed irrespective of the choice of the Schur cover $\tilde{G}$. In this paper, we first prove that $Δ_D(G)$ is complete if and only if $G$ is cyclic. Also, we classify finite simple groups, symmetric groups and alternating groups, for which $Δ_D(G)$ is perfect. In addition, explore several other properties of $Δ_D(G)$ like Eulerianess, universality and connectedness of reduced deep commuting graphs. Next, we classify the finite abelian groups for which deep commuting graphs coincide with enhance power graphs. We also characterize the dominant vertices for the deep commuting graphs of finite abelian groups and examine the connectedness of the associated reduced deep commuting graphs. These properties of the deep commuting graphs for the non abelian groups like symmetric groups, alternating groups, dihedral groups, generalized quaternion group and Heisenberg groups are also discussed.

For a finite group $G$, the notion of a $G$-transfer system provides homotopy theorists with a combinatorial way to study equivariant objects. In this paper, we focus on the properties of transfer systems for non-abelian groups. We explicitly describe the width of all dihedral groups, quaternion groups, and dicyclic groups. For a given $G$, the set of all $G$-transfer systems forms a poset lattice under inclusion; these are a useful resource to homotopical combinatorialists for detecting patterns and checking conjectures. We expand the suite of known transfer system lattices for non-abelian groups including those which are dihedral, dicyclic, Frobenius, and alternating.

Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$. Kaseasbeh and Erfanian (2021) determined the structure of all Cayley graphs on the dihedral group of order $2n$ for subsets $S$ of size at most three. We extend their work by analyzing the structure of such Cayley graphs for subsets $S$ of size at least four. Our main results are as follows: 1. using a classical result of Burnside and Schur, we determine the automorphism groups of Cayley graphs on dihedral groups of order $2p$, where $p$ ranges over infinitely many primes and $S$ consists only of rotations; 2. if $S$ consists of $4 \le 2k < n$ distinct rotations, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is the disjoint union of two isomorphic circulant graphs on $n$ vertices, and 3. if $S$ is a generating set of $4\leq k\leq n$ reflections, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is bipartite, forming the disjoint union of $k$ perfect matchings.

Recently, Brualdi and Cao studied $I_k$-avoiding $(0,1)$-matrices by decomposing them into zigzag paths and proved that the maximum number of $1$'s in such a matrix is given by an exact number. We further study the structure of maximal $I_k$-avoiding $(0,1)$-matrices (IAMs) by interpreting them as families of non-intersecting lattice paths on the square lattice. Using this perspective, we establish a bijection showing that IAMs are equinumerous with plane partitions of a certain size. Moreover, we classify all ten symmetry classes of IAMs under the action of the dihedral group of order $8$ and show that the enumeration formulas for these classes are given by simple product formulas. Extending this approach to skew shapes, we derive a conceptual formula for enumerating maximal $I_k$-avoiding $(0,1)$-fillings of skew shapes.

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.

Zamolodchikov periodicity is a property of certain discrete dynamical systems and was one of the primary motivations for the creation of cluster algebras. It was first observed by Zamolodchikov in his study of thermodynamic Bethe ansatz, initially for simply-laced Dynkin diagrams. It was proved by Keller to hold for tensor products of two Dynkin diagrams, and further shown by Galashin and Pylyavskyy to hold for pairs of commuting simply-laced Cartan matrices of finite type, which Stembridge classified in his study of admissible $W$-cells. We prove that the Zamolodchikov periodic cluster algebras are in bijection with pairs of commuting (not necessarily reduced or simply-laced) Cartan matrices of finite type. We fully classify all such pairs into 29 infinite families and 14 exceptional types in addition to the 6 infinite families and 11 exceptional types in Stembridge's classification, and show that all of these families can be derived from simply-laced types through two operations preserving Zamolodchikov periodicity, folding and taking transpose. Our work holds connections to Kazhdan--Lusztig theory, and our main theorem helps classify all nonnegative $W$-cells for products of two dihedral groups, $W = I_2(p)\times I_2(q)$.

In 1994, Alfano determined a monomial basis, bigraded Hilbert series, and bigraded Frobenius series for the ring of diagonal dihedral group coinvariants $R^{(2,0)}_{\mathfrak{I}_{2}(n)}$. Using diagonal supersymmetry, we determine a universal multigraded character series, universal multigraded Hilbert series, and monomial basis for the generalization to any $k$ sets of bosonic variables and $j$ sets of fermionic variables $R^{(k,j)}_{\mathfrak{I}_{2}(n)}$.

In 2006, Collins and Trenk obtained a general sharp upper bound for the distinguishing chromatic number of a connected graph. Inspired by Catlin's combinatorial techniques from 1978, we establish improved upper bounds for classes of connected graphs that have only small complete bigraphs as induced subgraphs. In this framework, we also consider the list-distinguishing chromatic number of such graphs. We apply Menger's theorem to demonstrate applications of our main result for graphs whose constructions are based on Paley graphs, Cayley graphs on Dihedral groups, and circulant Cayley graphs.

The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and solved completely by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.

For a finite subset $A$ of a group $G$, we define the right quotient set and the left quotient set of $A$, respectively, as $AA^{-1} := \{a_1a_2^{-1}:a_1,a_2\in A\}$, $A^{-1}A := \{a_1^{-1}a_2:a_1,a_2\in A\}$. While the right and left quotient sets are equal if $G$ is abelian, subtleties arise when $G$ is a nonabelian group, where the cardinality difference $|AA^{-1}| - |A^{-1}A|$ may be take on arbitrarily large values. Using the results of Martin and O'Bryant on the cardinality differences of sum sets and difference sets in $\mathbb{Z}$, we prove in the infinite dihedral group, $D_\infty \cong \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, every integer difference is achievable. Further, we prove that in $F_2$, the free group on $2$ generators, an integer difference is achievable if and only if that integer is even, and we explicitly construct subsets of $F_2$ that achieve every even integer. We further determine the minimum cardinality of $A \subset G$ so that the difference between the cardinalities of the left and right quotient sets is nonzero, depending on the existence of order $2$ elements in $G$. To prove these results, we construct difference graphs $D_A$ and $D_{A^{-1}}$ which encode equality, respectively, in the right and left quotient sets. We observe a bijection from edges in $D_A$ to edges in $D_{A^{-1}}$ and count connected components in order to obtain our results on cardinality differences $|AA^{-1}| - |A^{-1}A|$.

Generalizing works of D'Angeli and Donno, we describe, starting from an infinite sequence over $r$ letters with $r \neq 4i$ and $i \in \mathbb{N}$, a sequence of pointed finite graphs. We study the pointed Gromov-Hausdorff limit graphs giving a description of isomorphim classes in terms of dihedral groups and providing insights on the horofunction boundaries in terms of Busemann and non-Busemann points.

This paper investigates the enumeration of Cayley digraphs, focusing on counting Cayley digraphs on dihedral groups up to CI-isomorphism. By leveraging the Cauchy-Frobenius Lemma and properties of automorphisms, we derive an explicit formula for the number of non-isomorphic Cayley digraphs on dihedral groups with DCI-property, particularly for the group $\mathrm{D}_{6p}$ with $p>3$ a prime. The enumeration involves detailed analysis of cycle numbers of automorphisms and their actions on the group elements, culminating in a precise count of non-isomorphic digraphs.

Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime $p$ that does not divide $r$. Our main result establishes a one-to-one correspondence between the isomorphism classes of these maps and the multiplicity-free representations of the dihedral group $\operatorname{D}_{2r}$ over the finite field $\mathbb{F}_p$. This work extends a recent classification for the case where $p=2$.