arXiv++ Combinatorics

In recent work, Pomerance and Shparlinski have obtained results on the number of cycles in the functional graph of the map $x \mapsto x^a$ in $\mathbb{F}_p^*$. We prove similar results for other families of finite groups. In particular, we obtain estimates for the number of cycles for cyclic groups, symmetric groups, dihedral groups and $SL_2(\mathbb{F}_q)$. We also show that the cyclic group of order $n$ minimizes the number of cycles among all nilpotent groups of order $n$ for a fixed exponent. Finally, we pose several problems.

A graph $\G$ is {\em symmetric} or {\em arc-transitive} if its automorphism group $\Aut(\G)$ is transitive on the arc set of the graph, and $\G$ is {\em basic} if $\Aut(\G)$ has no non-trivial normal subgroup $N$ such that the quotient graph $\G_N$ has the same valency with $\G$. In this paper, we classify symmetric basic graphs of order $2qp^n$ and valency 5, where $q<p$ are two primes and $n$ is a positive integer. It is shown that such a graph is isomorphic to a family of Cayley graphs on dihedral groups of order $2q$ with $5\di (q-1)$, the complete graph $K_6$ of order $6$, the complete bipartite graph $K_{5,5}$ of order 10, or one of the nine sporadic coset graphs associated with non-abelian simple groups. As an application, connected pentavalent symmetric graphs of order $kp^n$ for some small integers $k$ and $n$ are classified.

This is the third, and last, of a series of papers dealing with oriented regular representations. Here we complete the classification of finite groups that admit an oriented regular representation (or ORR for short), and give a complete answer to a 1980 question of Laszlo Babai: "Which [finite] groups admit an oriented graph as a DRR?" It is easy to see and well-understood that generalised dihedral groups do not admit ORRs. We prove that, with 11 small exceptions (having orders ranging from 8 to 64), every finite group that is not generalised dihedral has an ORR.

Motivated by a problem from behavioral economics, we study subgroups of permutation groups that have a certain strong symmetry. Given a fixed permutation, consider the set of all permutations with disjoint inversion sets. The group is called non-nudgable, if the cardinality of this set always remains the same when replacing the initial permutation with its inverse. It is called nudgable otherwise. We show that all full permutation groups, standard dihedral groups, half of the alternating groups, and any abelian subgroup are non-nudgable. In the right probabilistic sense, it is thus quite likely that a randomly generated subgroup is non-nudgable. However, the other half of the alternating groups are nudgable. We also construct a smallest possible nudgable group, a 6-element subgroup of the permutation group on 4 elements.

For every labeled forest $\mathsf{F}$ with set of vertices $[n]$ we can consider the subgroup $G$ of the symmetric group $S_n$ that is generated by all the cycles determined by all maximal paths of $\mathsf{F}$. We say that $G$ is the chain group of the forest $\mathsf{F}$. In this paper we study the relation between a forest and its chain group. In particular, we find the chain groups of the members of several families of forests. Finally, we prove that no copy of the dihedral group of cardinality $2n$ inside $S_n$ can be achieved as the chain group of any forest.

The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequently the minimum disconnecting sets of power graphs of the aforementioned groups are determined. Then the equality of connectivity and minimum degree of power graphs of finite groups is investigated and in this connection, certain necessary conditions are produced. A necessary and sufficient condition for the equality of connectivity and minimum degree of power graphs of finite cyclic groups is obtained. Moreover, the equality is examined for the power graphs of abelian $p$-groups, dihedral groups and dicyclic groups.

A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.

A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. The fraction $ð[G]:=Δ[G]/{\sqrt{|G|}}$ is called the difference characteristic of $G$. We prove that for every $n\in\mathbb N$ the dihedral group $D_{2n}$ of order $2n$ has the difference characteristic $\sqrt{2}\leð[D_{2n}]\leq\frac{48}{\sqrt{586}}\approx1.983$. Moreover, if $n\ge 2\cdot 10^{15}$, then $ð[D_{2n}]<\frac{4}{\sqrt{6}}\approx1.633$. Also we calculate the difference sizes and characteristics of all dihedral groups of cardinality $\le80$.

The Graovac-Pisanski index, which is also called the modified Wiener index, was introduced in 1991 by A. Graovac and T. Pisanski. This variation of the classical Wiener index takes into account the symmetries of a graph. In 2016 M. Ghorbani and S. Klavžar calculated this index by using the cut method, which we generalize in this paper. Moreover, we prove that in some cases the automorphism group of a zig-zag tubulene is isomorphic to the direct product of a dihedral group and a cyclic group. Finally, the closed formulas for the Graovac-Pisanski index of zig-zag tubulenes are calculated.

In this paper we characterize all of Cayley graphs on dihedral groups with metric dimension two.

Let R and S be two vectors of real numbers whose entries have the same sum. In the transportation problems one wishes to find a matrix A with row sum vector R and column sum vector S. If, in addition, the two vectors only contain nonnegative integers then one wants the same to be true for A. This can always be done and the transportation algorithm gives a method for explicitly calculating A. We can restrict things even further and insist that A have only entries zero and one. In this case, the Gale-Ryser Theorem gives necessary and sufficient conditions for A to exist and this result can be proved constructively. One can let the dihedral group D_4 of the square act on matrices. Then a subgroup of D_4 defines a set of matrices invariant under the subgroup. So one can consider analogues of the transportation and (0,1) problems for these sets of matrices. For every subgroup, we give conditions equivalent to the existence of the desired type of matrix.

Let $p$ be an odd prime, and $D_{2p}=\langle τ,σ\mid τ^p=σ^2=e,στσ=τ^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we provide the number of (connected) Cayley (di-)graphs on $D_{2p}$ up to isomorphism by using the Pólya enumeration theorem. In the process, we also enumerate (connected) Cayley digraphs on $D_{2p}$ of out-degree $k$ up to isomorphism for each $k$.

Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group $G$ as filled if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `$S$ fills $G$' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000.

Let $p$ be an odd prime, and $D_{2p}=\langle a,b\mid a^p=b^2=1,bab=a^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we completely classify the cubic Cayley graphs on $D_{2p}$ up to isomorphism by means of spectral method. By the way, we show that two cubic Cayley graphs on $D_{2p}$ are isomorphic if and only if they are cospectral. Moreover, we obtain the number of isomorphic classes of cubic Cayley graphs on $D_{2p}$ by using Gauss' celebrated law of quadratic reciprocity.

We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form $\operatorname{Dih}(A)= \mathbb{Z}_2 \ltimes A$ for a finite abelian group $A$.

We characterize the strong metric dimension of the power graph of a finite group. As applications, we compute the strong metric dimension of the power graph of a cyclic group, an abelian group, a dihedral group or a generalized quaternion group.

A graph $\G$ admitting a group $H$ of automorphisms acting semi-regularly on the vertices with exactly two orbits is called a {\em bi-Cayley graph\/} over $H$. Such a graph $\G$ is called {\em normal\/} if $H$ is normal in the full automorphism group of $\G$, and {\em normal edge-transitive\/} if the normaliser of $H$ in the full automorphism group of $\G$ is transitive on the edges of $\G$. % In this paper, we give a characterisation of normal edge-transitive bi-Cayley graphs, %which form an important subfamily of bi-Cayley graphs, and in particular, we give a detailed description of $2$-arc-transitive normal bi-Cayley graphs. Using this, we investigate three classes of bi-Cayley graphs, namely those over abelian groups, dihedral groups and metacyclic $p$-groups. We find that under certain conditions, `normal edge-transitive' is the same as `normal' for graphs in these three classes. As a by-product, we obtain a complete classification of all connected trivalent edge-transitive graphs of girth at most $6$, and answer some open questions from the literature about $2$-arc-transitive, half-arc-transitive and semisymmetric graphs.

Consider a $n \times n$ tic-tac-toe board. In each field of the board, draw a smaller $n\times n$ tic-tac-toe board. Now let super tic-tac-toe (STTT) be a game where each player's move dictates which field on the larger board a player must make their next move. We will play an impartial game of STTT where each player uses X. We define a set of actions on a game board which gives rise to a group-action on the game that creates equivalent games. We will discuss how the structure of this group-action forms a Dihedral group.

In this paper, we give a necessary and sufficient condition for the integrality of Cayley graphs over the dihedral group $D_n=\langle a,b\mid a^n=b^2=1,bab=a^{-1}\rangle$. Moreover, we also obtain some simple sufficient conditions for the integrality of Cayley graphs over $D_n$ in terms of the Boolean algebra of $\langle a\rangle$, from which we find infinite classes of integral Cayley graphs over $D_n$. In particular, we completely determine all integral Cayley graphs over the dihedral group $D_p$ for a prime $p$.

A connected symmetric graph of prime valency is {\em basic} if its automorphism group contains no nontrivial normal subgroup having more than two orbits. Let $p$ be a prime and $n$ a positive integer. In this paper, we investigate properties of connected pentavalent symmetric graphs of order $2p^n$, and it is shown that a connected pentavalent symmetric graph of order $2p^n$ is basic if and only if it is either a graph of order $6$, $16$, $250$, or a graph of three infinite families of Cayley graphs on generalized dihedral groups -- one family has order $2p$ with $p=5$ or $5 \mid (p-1)$, one family has order $2p^2$ with $5 \mid (p\pm 1)$, and the other family has order $2p^4$. Furthermore, the automorphism groups of these basic graphs are computed. Similar works on cubic and tetravalent symmetric graphs of order $2p^n$ have been done. It is shown that basic graphs of connected pentavalent symmetric graphs of order $2p^n$ are symmetric elementary abelian covers of the dipole $\Dip_5$, and with covering techniques, uniqueness and automorphism groups of these basic graphs are determined. Moreover, symmetric $\mz_p^n$-covers of the dipole $\Dip_5$ are classified. As a byproduct, connected pentavalent symmetric graphs of order $2p^2$ are classified.