arXiv++ Combinatorics

We prove that symmetry group of the pfaffian polynomial of a symmetric matrix is a dihedral group. We calculate pfaffians of symmetric matrices with components $(x_i-x_j)^2$ and $\cos(x_i-x_j)$ for $i<j.$

We introduce a quotient of Fomin-Kirillov algebra $FK(n)$ denoted $\overline{FK}_{C_n}(n)$, over the ideal generated by the edges of a complete graph on n vertexes that are missing in the $n$-cycle graph $C_n$. For this quotient algebra $\overline{FK}_{C_n}(n)$, we show that the basis is in one-to-one correspondence with the set of matchings in an $n$-cycle graph. We also prove that the dimension of $\overline{FK}_{C_n}(n)$ equals the Lucas Number $L_n$ and its Hilbert series is $q$-Lucas polynomial. We find the character map of this quotient algebra over Dihedral group $D_n$.

After reviewing the group structure and representation theory for the dihedral group $D_{2n},$ we consider an intertwining operator $Φ_ρ$ from the group algebra $\mathbb{C}[D_{2n}]$ into a corresponding space of semi-magic matrices. From this intertwining operator, one obtains the generating function for enumerating the associated semi-magic squares with fixed line sum and an algebra extending the circulant matrices. While this work complements the approach to $D_{2n}$ through permutation polytopes, we use only methods from representation theory.

We study bipartite distance-regular Cayley graphs with diameter three or four. We give sufficient conditions under which a bipartite Cayley graph can be constructed on the semidirect product of a group -- the part of this bipartite Cayley graph which contains the identity element -- and $\mathbb{Z}_{2}$. We apply this to the case of bipartite distance-regular Cayley graphs with diameter three, and consider cases where the sufficient conditions are not satisfied for some specific groups such as the dihedral group. We also extend a result by Miklavič and Potočnik that relates difference sets to bipartite distance-regular Cayley graphs with diameter three to the case of diameter four. This new case involves certain partial geometric difference sets and -- in the antipodal case -- relative difference sets.

Let $C_2$ be the cyclic group of order $2$ and $D_{2n}$ be the dihedral group of order $2n$, where $n$ is even. In this paper, we provide the exact values of some zero-sum constants over $D_{2n} \times C_2$, namely small Davenport constant, Gao constant, $η$-constant and Erd\H os-Ginzburg-Ziv constant. As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for this group. These are the first concrete results on zero-sum problems for a family of non-abelian groups of rank greater than $2$.

A Cayley (di)graph $Cay(G,S)$ of a group $G$ with respect to $S$ is said to be normal if the right regular representation of $G$ is normal in the automorphism group of $Cay(G,S)$, and is called a CI-(di)graph if there is $α\in Aut(G)$ such that $S^α=T$, whenever $Cay(G,S)\cong Cay(G,T)$ for a Cayley (di)graph $Cay(G,T)$. A finite group $G$ is called a DCI-group or a NDCI-group if all Cayley digraphs or normal Cayley digraphs of $G$ are CI-digraphs, and is called a CI-group or a NCI-group if all Cayley graphs or normal Cayley graphs of $G$ are CI-graphs, respectively. Motivated by a conjecture proposed by Ádám in 1967, CI-groups and DCI-groups have been actively studied during the last fifty years by many researchers in algebraic graph theory. It takes about thirty years to obtain the classification of cyclic CI-groups and DCI-groups, and recently, the first two authors, among others, classified cyclic NCI-groups and NDCI-groups. Even though there are many partial results on dihedral CI-groups and DCI-groups, their classification is still elusive. In this paper, we prove that a dihedral group of order $2n$ is a NCI-group or a NDCI-group if and only if $n=2,4$ or $n$ is odd. As a direct consequence, we have that if a dihedral group $D_{2n}$ of order $2n$ is a DCI-group then $n=2$ or $n$ is odd-square-free, and that if $D_{2n}$ is a CI-group then $n=2,9$ or $n$ is odd-square-free, throwing some new light on classification of dihedral CI-groups and DCI-groups.

Let $k \geq 1$ be an integer and $n=3k-1$. Let $\mathbb{Z}_n$ denote the additive group of integers modulo $n$ and let $C$ be the subset of $\mathbb{Z}_n$ consisting of the elements congruent to 1 modulo 3. The Cayley graph $Cay(\mathbb{Z}_n; C)$ is known as the Andr$\acute{a}$sfai graph And($k$). In this note, we determine the automorphism group of this graph. We will show that $Aut(And(k))$ is isomorphic with the dihedral group $\mathbb{D}_{2n}$.

Let $Γ$ be a graph with vertex set $V$, and let $a$ and $b$ be nonnegative integers. A subset $C$ of $V$ is called an $(a,b)$-regular set in $Γ$ if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$. In particular, $(0, 1)$-regular sets and $(1, 1)$-regular sets in $\Ga$ are called perfect codes and total perfect codes in $\Ga$, respectively. A subset $C$ of a group $G$ is said to be an $(a,b)$-regular set of $G$ if there exists a Cayley graph of $G$ which admits $C$ as an $(a,b)$-regular set. In this paper we prove that, for any generalized dihedral group $G$ or any group $G$ of order $4p$ or $pq$ for some primes $p$ and $q$, if a nontrivial subgroup $H$ of $G$ is a $(0, 1)$-regular set of $G$, then it must also be an $(a,b)$-regular set of $G$ for any $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $a$ is even when $|H|$ is odd. A similar result involving $(1, 1)$-regular sets of such groups is also obtained in the paper.

A $D_{\infty}$-topological Markov chain is a topological Markov chain provided with an action of the infinite dihedral group $D_{\infty}$. It is defined by two zero-one square matrices $A$ and $J$ satisfying $AJ=JA^{\textsf{T}}$ and $J^2=I$. Flip signature is obtained from symmetric bilinear forms with respect to $J$ on the eventual kernel of $A$. We modify Williams' decomposition theorem to prove flip signature is a $D_{\infty}$-conjugacy invariant. We introduce natural $D_{\infty}$-actions on Ashley's eight-by-eight and the full two-shift. The Flip signatures show that Ashley's eight-by-eight and the full two-shift equipped with the natural $D_{\infty}$-actions are not $D_{\infty}$-conjugate. We also discuss the notion of $D_{\infty}$-shift equivalence and the Lind zeta function.

This paper deals with the classification of groups $G$ such that power graphs and proper power graphs of $G$ are line graphs. In fact, we classify all finite nilpotent groups whose power graphs are line graphs. Also, we categorize all finite nilpotent groups (except non-abelian $2$-groups) whose proper power graphs are line graphs. Moreover, we investigate when the proper power graphs of generalized quaternion groups are line graphs. Besides, we derive a condition on the order of the dihedral groups for which the proper power graphs of the dihedral groups are line graphs.

The Cayley graphs of finite groups are known to provide several examples of families of expanders, and some of them are Ramanujan graphs. Babai studied isospectral non-isomorphic Cayley graphs of the dihedral groups. Lubotzky, Samuels and Vishne proved that there are isospectral non-isomorphic Cayley graphs of $\mathrm{PSL}_d(\mathbb F_q)$ for every $d\geq 5$ ($d \neq 6$) and prime power $q> 2$. In this article, we focus on three variants of Cayley graphs, viz., the Cayley sum graphs, the twisted Cayley graphs, and the twisted Cayley sum graphs. We prove the existence of non-isomorphic expander families of bounded degree, whose spectra are related by the values of certain characters. We also provide several new examples of expander families, and examples of non-expanders and Ramanujan graphs formed by these three variants.

For a finite group $G$ and an inverse-closed generating set $C$ of $G$, let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$-invariant normal subgroup $Φ(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$-invariant normal set of generators for $G$, if we remove from it all the elements of $Φ(G;C)$, then the remaining set is still an $Aut(G;C)$-invariant normal generating set for $G$. The subgroup $Φ(G;C)$ contains the Frattini subgroup $Φ(G)$ but the inclusion may be proper. The Cayley graph $Cay(G,C)$ is normal edge-transitive if $Aut(G;C)$ acts transitively on the pairs $\{c,c^{-1}\}$ from $C$. We show that, for a normal edge-transitive Cayley graph $Cay(G,C)$, its quotient modulo $Φ(G;C)$ is the unique largest normal quotient which is isomorphic to a subdirect product of normal edge-transitive graphs of characteristically simple groups. In particular, we may therefore view normal edge-transitive Cayley graphs of characteristically simple groups as building blocks for normal edge-transitive Cayley graphs whenever the subgroup $Φ(G;C)$ is trivial. We explore several questions which these results raise, some concerned with the set of all inverse-closed generating sets for groups in a given family. In particular we use this theory to classify all $4$-valent normal edge-transitive Cayley graphs for dihedral groups; this involves a new construction of an infinite family of examples, and disproves a conjecture of Talebi.

If the face\mbox{-}cycles at all the vertices in a map are of the same type, then the map is said to be a semi-equivelar map. Automorphism (symmetry) of a map can be thought of as a permutation of the vertices which preserves the vertex\mbox{-}edge\mbox{-}face incidences in the embedding. The set of all symmetries forms the symmetry group. In this article, we discuss the maps' symmetric groups on higher genus surfaces. In particular, we show that there are at least $39$ types of the semi-equivelar maps on the surface with Euler char. $-2m, m \ge 2$ and the symmetry groups of the maps are isomorphic to the dihedral group or cyclic group. Further, we prove that these $39$ types of semi-equivelar maps are the only types on the surface with Euler char. $-2$. Moreover, we know the complete list of semi-equivelar maps (up to isomorphism) for a few types. We extend this list to one more type and can classify others similarly. We skip this part in this article.

{\em Honeycomb toroidal graphs} are a family of cubic graphs determined by a set of three parameters, that have been studied over the last three decades both by mathematicians and computer scientists. They can all be embedded on a torus and coincide with the cubic Cayley graphs of generalized dihedral groups with respect to a set of three reflections. In a recent survey paper B. Alspach gathered most known results on this intriguing family of graphs and suggested a number of research problems regarding them. In this paper we solve two of these problems by determining the full automorphism group of each honeycomb toroidal graph.

Let $G$ be a finite group. The co-prime order graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices $x,y$ are adjacent if gcd$(o(x),o(y))$ is either $1$ or a prime, where $o(x)$ and $o(y)$ are the orders of $x$ and $y$, respectively. In this paper, we characterize all finite groups whose co-prime order graphs are complete and classify all finite groups whose co-prime order graphs are planar. Also, we compute the vertex-connectivity of the co-prime order graph of a cyclic group, a dihedral group and a generalized quaternion group, which answers a question by Banerjee (2019). Finally, we prove that, for a fixed positive integer $k$, there are finitely many finite groups whose co-prime order graphs have (non)orientable genus $k$. As applications, we classify all finite groups whose co-prime order graphs have (non)orientable genus one and two.

Let $G$ be a finite group. The intersection graph of $G$ is a graph whose vertex set is the set of all proper non-trivial subgroups of $G$ and two distinct vertices $H$ and $K$ are adjacent if and only if $H\cap K \neq \{e\}$, where $e$ is the identity of the group $G$. In this paper, we investigate some properties and exploring some topological indices such as Wiener, Hyper-Wiener, first and second Zagreb, Schultz, Gutman and eccentric connectivity indices of the intersection graph of $D_{2n}$ for $n=p^2$, $p$ is prime. We also find the metric dimension and the resolving polynomial of the intersection graph of $D_{2p^2}$.

We introduce the concept of alternate-edge-colourings for maps, and study highly symmetric examples of such maps. Edge-biregular maps of type $(k,l)$ occur as smooth normal quotients of a particular index two subgroup of $T_{k,l}$, the full triangle group describing regular plane $(k,l)$-tessellations. The resulting colour-preserving automorphism groups can be generated by four involutions. We explore special cases when the usual four generators are not distinct involutions, with constructions relating these maps to fully regular maps. We classify edge-biregular maps when the supporting surface has non-negative Euler characteristic, and edge-biregular maps on arbitrary surfaces when the colour-preserving automorphism group is isomorphic to a dihedral group.

The vertex-deleted subgraph G-v, obtained from the graph G by deleting the vertex v and all edges incident to v, is called a card of G. The deck of G is the multiset of its unlabelled cards. The number of common cards b(G,H) of G and H is the cardinality of the multiset intersection of the decks of G and H. A supercard G+ of G and H is a graph whose deck contains at least one card isomorphic to G and at least one card isomorphic to H. We show how maximum sets of common cards of G and H correspond to certain sets of permutations of the vertices of a supercard, which we call maximum saturating sets. We apply the theory of supercards and maximum saturating sets to the case when G is a sunshine graph and H is a caterpillar graph. We show that, for large enough n, there exists some maximum saturating set that contains at least b(G,H)-2 automorphisms of G+, and that this subset is always isomorphic to either a cyclic or dihedral group. We prove that b(G,H)<=2(n+1)/5 for large enough n, and that there exists a unique family of pairs of graphs that attain this bound. We further show that, in this case, the corresponding maximum saturating set is isomorphic to the dihedral group.

In this paper, we find a strong new restriction on the structure of CI-groups. We show that, if $R$ is a generalised dihedral group and if $R$ is a CI-group, then for every odd prime $p$ the Sylow $p$-subgroup of $R$ has order $p$, or $9$. Consequently, any CI-group with quotient a generalised dihedral group has the same restriction, that for every odd prime $p$ the Sylow $p$-subgroup of the group has order $p$, or $9$. We also give a counter example to the conjecture that every BCI-group is a CI-group.

In this paper we define a way to get a bounded invertible automaton starting from a finite graph. It turns out that the corresponding automaton group is regular weakly branch over its commutator subgroup, contains a free semigroup on two elements and is amenable of exponential growth. We also highlight a connection between our construction and the right-angled Artin groups. We then study the Schreier graphs associated with the self-similar action of these automaton groups on the regular rooted tree. We explicitly determine their diameter and their automorphism group in the case where the initial graph is a path. Moreover, we show that the case of cycles gives rise to Schreier graphs whose automorphism group is isomorphic to the dihedral group. It is remarkable that our construction recovers some classical examples of automaton groups like the Adding machine and the Tangled odometer.