Properties of Commuting Graphs over Semidihedral Groups

Abstract

This paper considers commuting graphs over the semidihedral group $S{D}_{8n}$. We compute their eigenvalues and obtain that these commuting graphs are not hyperenergetic for odd $n\ge 15$ or even $n\ge 2$. We further compute the Laplacian spectrum, the Laplacian energy and the number of spanning trees of the commuting graphs over $S{D}_{8n}$. We also discuss vertex connectivity, planarity, and minimum disconnecting sets of these graphs and prove that these commuting graphs are not Hamiltonian.

1. Introduction

The study of spectrum of commuting graphs of a given group or a ring attracted a large amount of attention in recent years. The concept of commuting graph has been defined in [1]. Let G be a group and X be a nonempty subset of G. The commuting graph $\mathcal{C}(G,X)$ has the vertex set X where $x_1,x_2\in X$ are adjacent whenever $x_1{x}_2=x_2{x}_1$ in G. In the case that $X=G$, we denote $\mathsf{\Gamma }\left(G\right)=\mathcal{C}(G,G)$ for short. Various aspects of commuting graphs of finite groups can be found in [2] and its references.

In this paper, we only consider finite simple graphs on vertex set $\{v_1,v_2,\dots ,v_n\}$, i.e., graphs without multiple-edges and loops on a finite vertex set. We use the following standard notation; see, e.g. [3,4]. We associate $\mathsf{\Gamma }$ with a symmetric real $n\times n$ matrix $A\left(\mathsf{\Gamma }\right)={\left(a_{ij}\right)}_{i,j=1}^n$, called adjacency matrix, where $a_{ij}=1$ if the vertex $v_i$ is adjacent to $v_j$, and 0 otherwise. The characteristic polynomial of $\mathsf{\Gamma }$ is $p\left(\lambda \right)=\det (\lambda I-A(\mathsf{\Gamma }\left)\right)$. These eigenvalues with their multiplicity compose the spectrum of graph $\mathsf{\Gamma }$. Recall that the spectral radius of a matrix A, denoted by $\rho \left(A\right)$, is defined by $\rho \left(A\right)=max\left\{\right|{\lambda }_i\left(A\right)|:i=1,2,\dots ,n\}$.

Let $D\left(\mathsf{\Gamma }\right)$ denote the diagonal matrix of degrees of a graph $\mathsf{\Gamma }$. The Laplacian matrix of $\mathsf{\Gamma }$ is the matrix $L\left(\mathsf{\Gamma }\right)=D\left(\mathsf{\Gamma }\right)-A\left(\mathsf{\Gamma }\right)$, and the Laplacian spectrum of $\mathsf{\Gamma }$ is a multiset given by L-spec$\left(\mathsf{\Gamma }\right)=\{{\mu }_1^{m_1},{\mu }_2^{m_2},\dots ,{\mu }_l^{m_l}\},$ where ${\mu }_1,{\mu }_2,\dots ,{\mu }_l$ are the Laplacian eigenvalues of $\mathsf{\Gamma }$ with multiplicities $m_1,m_2,\dots ,m_l.$

The energy of the graph $\mathsf{\Gamma }$ is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix, that is, $E\left(\mathsf{\Gamma }\right)={\sum }_{k=1}^n\left|{\lambda }_k\left(\mathsf{\Gamma }\right)\right|.$ This concept was introduced in 1978 by Gutman [5]. Clearly, the energy of complete graph $K_n$ of order n is $2(n-1).$ A graph $\mathsf{\Gamma }$ is said to be hyperenergetic if $E\left(\mathsf{\Gamma }\right)>E\left(K_n\right)=2(n-1)$ and nonhyperenergetic if $E\left(\mathsf{\Gamma }\right)\le 2(n-1)$. It is known [6] (Theorem 5.24) that for almost all graphs $\mathsf{\Gamma }$, $E\left(\mathsf{\Gamma }\right)>(1/4+o\left(1\right))n^{3/2}$, which means that almost all graphs are hyperenergetic. Therefore, the problem of finding nonhyperenergetic graphs has been extremely meaningful, see [7]. Additionally, the Laplacian energy, denoted by $LE\left(\mathsf{\Gamma }\right),$ is defined as $LE\left(\mathsf{\Gamma }\right)={\sum }_{i=1}^l|{\mu }_i-\frac{2m}{n}|,$ where m is the number of edges in the graph $\mathsf{\Gamma }.$ Both the energy and the Laplacian energy of graphs play an important role in solving many physical and chemical problems. In theoretical chemistry, the energy of a given molecular (conjugated hydrocarbons) graph approximately describes the total $\pi -$electron energy of the molecule represented by that graph, see the comprehensive survey [6,8] for more details.

Let $\mathsf{\Gamma }$ be a simple graph and u be a vertex. The neighbor set of u in $\mathsf{\Gamma }$, denoted by $\mathbb{N}\left(u\right)$, is the set of all vertices adjacent to u. The degree of u is $d\left(u\right)=\left|\mathbb{N}\right(u\left)\right|.$ The minimum degree of $\mathsf{\Gamma }$ is denoted by $\sigma \left(\mathsf{\Gamma }\right)$. A spanning tree of $\mathsf{\Gamma }$ is a connected subgraph of $\mathsf{\Gamma }$ on all vertices with $\left|V\right(\mathsf{\Gamma }\left)\right|-1$ edges, which is in fact a tree on $V\left(\mathsf{\Gamma }\right)$. The number of spanning trees in a graph $\mathsf{\Gamma }$ is denoted by $\mathrm{st}\left(\mathsf{\Gamma }\right)$.

A simple graph is said to be planar if it can be drawn on the plane with no crossing edges. The vertex-connectivity of $\mathsf{\Gamma }$ is denoted by $\kappa \left(\mathsf{\Gamma }\right)$, which is the minimum number of vertices whose deletion will result in a disconnected graph or trivial graph. A set $S\subset E\left(\mathsf{\Gamma }\right)$ is called a disconnecting set if its deletion will increase the number of components of $\mathsf{\Gamma }$, and S is called a minimal disconnecting set if there is no proper subset of S that disconnects $\mathsf{\Gamma }$. For two vertex sets U and V, we denote $\mathbb{E}[U,V]$ by the set of edges having one end-point in U and the other in $V.$

Our focus in this paper lies on the semidihedral group

$$\begin{array}{c}\hfill S{D}_{8n}=\langle a,b|a^{4n}=b^2=e,bab=a^{2n-1}\rangle \end{array}$$

for $n\ge 2$. Moreover, all the $8n$ elements of $S{D}_{8n}$ could be given as

$$\begin{array}{c}\hfill S{D}_{8n}=\{e,a,a^2,\dots ,a^{4n-1},b,ba,b{a}^2,\dots ,b{a}^{4n-1}\}.\end{array}$$

From Lemma 10 of [9], we have $\mathsf{\Gamma }\left(S{D}_{8n}\right)=K_4\vee (n{K}_4\cup K_{4n-4})$ for odd n, and $\mathsf{\Gamma }\left(S{D}_{8n}\right)$$=K_2\vee \left(2n{K}_2\cup K_{4n-2}\right)$ for even $n.$

Remark 1.

If n is odd, then $Z\left(S{D}_{8n}\right)=\{e,a^n,a^{2n},a^{3n}\}$ is the center of semidihedral group. Now, we suppose that ${\mathsf{\Phi }}_1=\{e,a,a^2,\dots ,a^{4n-1}\}$, ${\mathsf{\Phi }}_2=\{b,ba,b{a}^2,\dots ,b{a}^{4n-1}\}={\cup }_{i=0}^{n-1}{\mathsf{\Phi }}_2^i,$ where ${\mathsf{\Phi }}_2^i=\{b{a}^i,b{a}^{n+i},b{a}^{2n+i},b{a}^{3n+i}\}$ and ${\mathsf{\Phi }}_3={\mathsf{\Phi }}_1\setminus Z\left(S{D}_{8n}\right)$ are the subsets of $S{D}_{8n}.$ It is easy to check that $xy=yx$ for all $x,y\in {\mathsf{\Phi }}_2^i.$ However, $xy\ne yx,$ when $x\in {\mathsf{\Phi }}_2$ and $y\in {\mathsf{\Phi }}_3.$ If n is even, then $Z\left(S{D}_{8n}\right)=\{e,a^{2n}\}$ is the center of semidihedral group. Similarly, we suppose that ${\mathsf{\Psi }}_1=\{e,a,a^2,\dots ,a^{4n-1}\}$,${\mathsf{\Psi }}_2=\{b,ba,b{a}^2,\dots ,b{a}^{4n-1}\}={\cup }_{i=0}^{n-1}{\mathsf{\Psi }}_2^i,$ where ${\mathsf{\Psi }}_2^i=\{b{a}^i,b{a}^{2n+i}\}$ and ${\mathsf{\Psi }}_3={\mathsf{\Psi }}_1\setminus Z\left(S{D}_{8n}\right)$ are the subsets of $S{D}_{8n}.$ It is also easy to find that $xy=yx$ for all $x,y\in {\mathsf{\Psi }}_2^i.$ However, $xy\ne yx,$ if $x\in {\mathsf{\Psi }}_2$ and $y\in {\mathsf{\Psi }}_3.$

In the existing literature, there are still many gaps in finding characteristic polynomials, spectral radius, graph energy, Laplacian spectrum, vertex-connectivity, planarity, and Hamiltonian graphs of commuting graphs of finite semidihedral groups $S{D}_{8n}$. We will address some of these problems in this paper. When n has a large number of factors, it is not easy to obtain explicit expression for the eigenvalues of the graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$, so that we resort to bounding the spectral radius in such cases. Moreover, we prove that the commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is not hyperenergetic when odd $n\ge 15$ or even $n\ge 2$. In addition, we obtain the characteristic polynomial of the Laplacian matrix of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$, and we also derive the Laplacian spectrum of $\mathsf{\Gamma }\left(S{D}_{8n}\right).$ Moreover, we calculate the Laplacian energy and the number of spanning trees of $\mathsf{\Gamma }\left(S{D}_{8n}\right).$ Finally, we discuss vertex connectivity, planarity, and minimum disconnecting sets of commuting graphs of the semidihedral group $S{D}_{8n}$ and prove that these commuting graphs are not Hamiltonian.

2. Spectral Properties of Commuting Graphs

In the present section, we are going to find the characteristic polynomials of commuting graphs of semidihedral groups and discuss their spectral radius. Additionally, we also obtain the lower and upper bounds on the energy of the commute graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$, and prove that $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is not hyperenergetic when odd $n\ge 15$ or even $n\ge 2$.

Firstly, we can obtain the adjacency matrix of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ in the following. When n is odd, then $\mathsf{\Gamma }\left(S{D}_{8n}\right)=K_4\vee (n{K}_4\cup K_{4n-4}),$ to derive the adjacency matrix of a commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$, we first put the elements of $Z\left(S{D}_{8n}\right),$ then ${\mathsf{\Phi }}_3$ and finally ${\mathsf{\Phi }}_2$ respectively, and get the following matrix is

$$A\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=\left[\begin{array}{cc}A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)& H_{4n}\\ H_{4n}^T& F_{4n}\end{array}\right],$$

where

$$A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)=\left[\begin{array}{ccccc}0& 1& 1& \dots & 1\\ 1& 0& 1& \dots & 1\\ 1& 1& 0& \dots & 1\\ ⋮& ⋮& ⋮& & ⋮\\ 1& 1& 1& \dots & 0\end{array}\right],H_{4n}=\left[\begin{array}{cccccc}1& 1& 1& 1& \dots & 1\\ 1& 1& 1& 1& \dots & 1\\ 1& 1& 1& 1& \dots & 1\\ 1& 1& 1& 1& \dots & 1\\ ⋮& ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 0& 0& \dots & 0\end{array}\right],$$

and

$$E=\left[\begin{array}{cccc}0& 1& 1& 1\\ 1& 0& 1& 1\\ 1& 1& 0& 1\\ 1& 1& 1& 0\end{array}\right],F_{4n}=\left[\begin{array}{c}E\\ & E\\ & & \ddots \\ & & & E\end{array}\right],$$

where $A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right),H_{4n}$ and $F_{4n}$ are of order $4n$.

When n is even, then we have $\mathsf{\Gamma }\left(S{D}_{8n}\right)=K_2\vee \left(2n{K}_2\cup K_{4n-2}\right).$ Thus

$$A\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=\left[\begin{array}{cc}A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)& Y_{4n}\\ Y_{4n}^T& Z_{4n}\end{array}\right],$$

where

$$Y_{4n}=\left[\begin{array}{cccc}1& 1& \dots & 1\\ 1& 1& \dots & 1\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \dots & 0\end{array}\right],Z_{4n}=\left[\begin{array}{cc}0& I_{2n}\\ I_{2n}& 0\end{array}\right].$$

Here, $A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right),Y_{4n}$ and $Z_{4n}$ are all of order $4n$.

Theorem 1.

For odd $n\ge 3,$ the characteristic polynomial of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$p\left(\lambda \right)={(\lambda -3)}^{n-1}{(\lambda +1)}^{7n-2}[(\lambda -4n+1)(\lambda -3)(\lambda +1)-16n(\lambda -4n+5)].$$

Proof. 

By Theorem 2.2 of [10], we can get

$$\begin{array}{cc}\hfill p\left(\lambda \right)& =|\lambda I_{8n}-A\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)|\hfill \\ \hfill & =\left|\begin{array}{cc}\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)& -H_{4n}\\ -H_{4n}^T& \lambda I_{4n}-F_{4n}\end{array}\right|\hfill \\ \hfill & =|\lambda I_{4n}-F_{4n}|·|\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-H_{4n}{(\lambda I_{4n}-F_{4n})}^{-1}{H}_{4n}^T|.\hfill \end{array}$$

Setting $e={(1,1,1,1)}^T$. By directed computation, Theorem 2.5 of [10] gives

$${(\lambda I_4-E)}^{-1}={((\lambda +1)I_4-e{e}^T)}^{-1}=\left[\begin{array}{cccc}a& b& b& b\\ b& a& b& b\\ b& b& a& b\\ b& b& b& a\end{array}\right],$$

where $a=\frac{2-\lambda }{(\lambda +1)(3-\lambda )}$ and $b=-\frac{1}{(\lambda +1)(3-\lambda )}$. Therefore,

$$\begin{array}{cc}\hfill & \lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-H_{4n}{(\lambda I_{4n}-F)}^{-1}{H}_{4n}^T\hfill \\ \hfill & =\left[\begin{array}{ccccccc}\lambda +\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1& \cdots & -1\\ -1+\frac{4n}{3-\lambda }& \lambda +\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1& \cdots & -1\\ -1+\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& \lambda +\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1& \cdots & -1\\ -1+\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& -1+\frac{4n}{3-\lambda }& \lambda +\frac{4n}{3-\lambda }& -1& \cdots & -1\\ -1& -1& -1& -1& \lambda & \cdots & -1\\ ⋮& ⋮& ⋮& ⋮& ⋮& & ⋮\\ -1& -1& -1& -1& -1& \cdots & \lambda \end{array}\right].\hfill \end{array}$$

Applying a series of row and column operations, that is, for $i=2,3,4$, subtracting the i-th row from the $(i-1)$-th row, and subtracting the i-th column from the $(i-1)$-th column yields to

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-H_{4n}{(\lambda I_{4n}-F)}^{-1}{H}_{4n}^T|\hfill \\ \hfill & =\left|\begin{array}{ccccccc}2(\lambda +1)& -1-\lambda & 0& 0& 0& \cdots & 0\\ -1-\lambda & 2(\lambda +1)& -1-\lambda & 0& 0& \cdots & 0\\ 0& -1-\lambda & 2(\lambda +1)& -1-\lambda & 0& \cdots & 0\\ 0& 0& -1-\lambda & \lambda +\frac{4n}{3-\lambda }& -1& \cdots & -1\\ 0& 0& 0& -1& \lambda & \cdots & -1\\ ⋮& ⋮& ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 0& -1& -1& \cdots & \lambda \end{array}\right|\hfill \\ \hfill & =2(\lambda +1){\mathsf{\Lambda }}_1-{(1+\lambda )}^2{\mathsf{\Lambda }}_2,\hfill \end{array}$$

where

$${\mathsf{\Lambda }}_1={\left|\begin{array}{cccccc}2(\lambda +1)& -1-\lambda & 0& 0& \cdots & 0\\ -1-\lambda & 2(\lambda +1)& -1-\lambda & 0& \cdots & 0\\ 0& -1-\lambda & \lambda +\frac{4n}{3-\lambda }& -1& \cdots & -1\\ 0& 0& -1& \lambda & \cdots & -1\\ ⋮& ⋮& ⋮& ⋮& & ⋮\\ 0& 0& -1& -1& \cdots & \lambda \end{array}\right|}_{4n-1},$$

and

$${\mathsf{\Lambda }}_2={\left|\begin{array}{ccccc}2(\lambda +1)& -1-\lambda & 0& \cdots & 0\\ -1-\lambda & \lambda +\frac{4n}{3-\lambda }& -1& \cdots & -1\\ 0& -1& \lambda & \cdots & -1\\ ⋮& ⋮& ⋮& & ⋮\\ 0& -1& -1& \cdots & \lambda \end{array}\right|}_{4n-2}.$$

For notational convenience, we denote

$${\mathsf{\Lambda }}_3={\left|\begin{array}{cccc}\lambda +\frac{4n}{3-\lambda }& -1& \cdots & -1\\ -1& \lambda & \cdots & -1\\ ⋮& ⋮& & ⋮\\ -1& -1& \cdots & \lambda \end{array}\right|}_{4n-3}.$$

Next, we are going to compute the values of ${\mathsf{\Lambda }}_1,{\mathsf{\Lambda }}_2$ and ${\mathsf{\Lambda }}_3$. Since

$$\begin{array}{cc}\hfill {\mathsf{\Lambda }}_3& ={\left|\begin{array}{cccc}\lambda & -1& \cdots & -1\\ -1& \lambda & \cdots & -1\\ ⋮& ⋮& & ⋮\\ -1& -1& \cdots & \lambda \end{array}\right|}_{4n-3}+{\left|\begin{array}{cccc}\frac{4n}{3-\lambda }& -1& \cdots & -1\\ 0& \lambda & \cdots & -1\\ ⋮& ⋮& & ⋮\\ 0& -1& \cdots & \lambda \end{array}\right|}_{4n-3}\hfill \\ \hfill & =(\lambda -4n+4){(\lambda +1)}^{4n-4}+\frac{4n}{3-\lambda }(\lambda -4n+5){(\lambda +1)}^{4n-5}.\hfill \end{array}$$

Therefore

$$\begin{array}{cc}\hfill {\mathsf{\Lambda }}_2& =2(\lambda +1){\mathsf{\Lambda }}_3-{(1+\lambda )}^2·(\lambda -4n+5){(\lambda +1)}^{4n-5},\hfill \\ \hfill & =(\lambda -4n+3){(\lambda +1)}^{4n-3}+\frac{8n}{3-\lambda }(\lambda -4n+5){(\lambda +1)}^{4n-4}.\hfill \end{array}$$

And then

$$\begin{array}{cc}\hfill {\mathsf{\Lambda }}_1& =2(\lambda +1){\mathsf{\Lambda }}_2-{(1+\lambda )}^2{\mathsf{\Lambda }}_3\hfill \\ \hfill & =(\lambda -4n+2){(\lambda +1)}^{4n-2}+\frac{12n}{3-\lambda }(\lambda -4n+5){(\lambda +1)}^{4n-3}.\hfill \end{array}$$

After calculations, we can get

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-H_{4n}{(\lambda I_{4n}-F_{4n})}^{-1}{H}_{4n}^T|\hfill \\ \hfill & =2(\lambda +1){\mathsf{\Lambda }}_1-{(1+\lambda )}^2{\mathsf{\Lambda }}_2\hfill \\ \hfill & =(\lambda -4n+1){(\lambda +1)}^{4n-1}+\frac{16n}{3-\lambda }(\lambda -4n+5){(\lambda +1)}^{4n-2},\hfill \end{array}$$

which together with $|\lambda I_{4n}-F_{4n}{|=(\lambda -3)}^n{(\lambda +1)}^{3n}$ yields the desired result. □

Corollary 1.

For odd $n\ge 15,$ the energy of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is given below,

$$14n-4<E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)<16n-4.$$

Consequently, the commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ with odd $n\ge 15$ is not hyperenergetic.

Proof. 

Consider the cubic equation

$$(\lambda -4n+1)(\lambda -3)(\lambda +1)-16n(\lambda -4n+5)]=0,$$

i.e.,

$${\lambda }^3-(4n+1){\lambda }^2-(8n+5)\lambda +(64n^2-68n-3)=0.$$

Then, by Theorem 1, the equation has three real roots ${\lambda }_1,{\lambda }_2,{\lambda }_3.$ And we can assume that ${\lambda }_1\ge {\lambda }_2\ge {\lambda }_3.$ Then, for odd $n\ge 15,$ we have

$${\lambda }_1+{\lambda }_2+{\lambda }_3=4n+1>0$$

(1)

and

$$\begin{array}{c}\hfill {\lambda }_1·{\lambda }_2·{\lambda }_3=-(64n^2-68n-3)<0.\end{array}$$

(2)

Therefore, by (1) and (2), we have ${\lambda }_1<0$ and ${\lambda }_2,{\lambda }_3>0.$

Let

$$f\left(\lambda \right)={\lambda }^3-(4n+1){\lambda }^2-(8n+5)\lambda +(64n^2-68n-3).$$

Then we have

$$f\left(0\right)=64n^2-68n-3>0,$$

$$f(-n)=-5n^3+71n^2-63n-3=(71-5n)n^2-63n-3<0,$$

for odd $n\ge 15.$ And $f\left(\lambda \right)$ is continuous on $[-n,0].$ Therefore, by the intermediate value theorem, we have

$$-n<{\lambda }_1<0.$$

(3)

Hence, by (1) and (3), we get

$$4n+1<|{\lambda }_1|+|{\lambda }_2|+|{\lambda }_3|=({\lambda }_1+{\lambda }_2+{\lambda }_3)-2{\lambda }_1<(4n+1)+2n=6n+1.$$

And, by Theorem 1, we have

$$E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=3(n-1)+(7n-2)+|{\lambda }_1|+|{\lambda }_2|+|{\lambda }_3|=10n-5+|{\lambda }_1|+|{\lambda }_2|+|{\lambda }_3|.$$

So, for odd $n\ge 15,$ we get

$$14n-4=(10n-5)+(4n+1)<E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)<(10n-5)+(6n+1)=16n-4.$$

Since $E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)<16n-4<2(8n-1),$ we have the commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ with odd $n\ge 15$ is not hyperenergetic. □

Corollary 2.

For odd $n\ge 3,$ the spectral radius of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ satisfies the following,

$${\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)<{\lambda }_1\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)\le {\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)+4\sqrt{2n}.$$

Proof. 

It is clear from Proposition 1.3.9 of [11] that ${\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)<{\lambda }_1\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right).$ Let us divide the adjacency matrix into two parts, i.e. $A\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=\mathcal{T}+\mathcal{W},$ where $\mathcal{T},\mathcal{W}$ are symmetric matrices of the form

$$\left.\left.\mathcal{T}=\left[\begin{array}{cc}A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)& 0_{4n}\\ 0_{4n}& F_{4n}\end{array}\right]\mathrm{and}\mathcal{W}=\right[\begin{array}{cc}{0}_{4n}& H_{4n}\\ H_{4n}^T& 0_{4n}\end{array}\right].$$

By Theorem 1.3.15 of [11], we have

$${\lambda }_1\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)\le {\lambda }_1\left(\mathcal{T}\right)+{\lambda }_1\left(\mathcal{W}\right)={\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)+{\lambda }_1\left(\mathcal{W}\right).$$

It is clear that $\mathcal{W}$ is the adjacency matrix of $K_{4,4n}$ together with $4n-4$ number of isolated nodes. Therefore, ${\lambda }_1\left(\mathcal{W}\right)=4\sqrt{2n}$. Hence, we get

$${\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)<{\lambda }_1\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)\le {\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)+4\sqrt{2n}.$$

This completes the proof. □

Theorem 2.

For even $n\ge 2,$ the characteristic polynomial of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$p\left(\lambda \right)={(\lambda -1)}^{2n-1}{(\lambda +1)}^{6n-2}[({\lambda }^2-8n-1)(\lambda -4n+3)-2({\lambda }^2-1)].$$

Proof. 

By Theorem 2.2 of [10], we get

$$\begin{array}{cc}\hfill p\left(\lambda \right)& =\left|\begin{array}{cc}\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)& -Y_{4n}\\ -Y_{4n}^T& \lambda I_{4n}-Z_{4n}\end{array}\right|\hfill \\ \hfill & =|\lambda I_{4n}-Z_{4n}|·|\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-Y_{4n}{(\lambda I_{4n}-Z_{4n})}^{-1}{Y}_{4n}^T|.\hfill \end{array}$$

After some computations, we have $|\lambda I_{4n}-Z_{4n}|={({\lambda }^2-1)}^{2n}$, and the Theorem 2.4 of [10] gives

$${(\lambda I_{4n}-Z_{4n})}^{-1}={\left[\begin{array}{cc}\lambda I_{2n}& -I_{2n}\\ -I_{2n}& \lambda I_{2n}\end{array}\right]}^{-1}=\left[\begin{array}{cc}\frac{\lambda }{{\lambda }^2-1}{I}_{2n}& \frac{1}{{\lambda }^2-1}{I}_{2n}\\ \frac{1}{{\lambda }^2-1}{I}_{2n}& \frac{\lambda }{{\lambda }^2-1}{I}_{2n}\end{array}\right].$$

Then

$$Y_{4n}{(\lambda I_{4n}-Z_{4n})}^{-1}{Y}_{4n}^T=\left[\begin{array}{ccccc}\frac{4n}{\lambda -1}& \frac{4n}{\lambda -1}& 0& \cdots & 0\\ \frac{4n}{\lambda -1}& \frac{4n}{\lambda -1}& 0& \cdots & 0\\ 0& 0& 0& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & 0\end{array}\right].$$

Thus, we get

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-Y_{4n}{(\lambda I_{4n}-Z_{4n})}^{-1}{Y}_{4n}^T|\hfill \\ \hfill & =\left|\begin{array}{ccccc}\lambda -\frac{4n}{\lambda -1}& -1-\frac{4n}{\lambda -1}& -1& \cdots & -1\\ -1-\frac{4n}{\lambda -1}& \lambda -\frac{4n}{\lambda -1}& -1& \cdots & -1\\ -1& -1& \lambda & \cdots & -1\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ -1& -1& -1& \cdots & \lambda \end{array}\right|.\hfill \end{array}$$

By subtracting the second row from the first row and subtracting the second column from the first column, we get

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-Y_{4n}{(\lambda I_{4n}-Z_{4n})}^{-1}{Y}_{4n}^T|\hfill \\ \hfill & =\left|\begin{array}{ccccc}2(\lambda +1)& -1-\lambda & 0& \cdots & 0\\ -1-\lambda & \lambda -\frac{4n}{\lambda -1}& -1& \cdots & -1\\ 0& -1& \lambda & \cdots & -1\\ ⋮& ⋮& ⋮& & ⋮\\ 0& -1& -1& \cdots & \lambda \end{array}\right|\hfill \\ \hfill & =2(\lambda +1){\mathsf{\Omega }}_1-{(1+\lambda )}^2{\mathsf{\Omega }}_2,\hfill \end{array}$$

where

$${\mathsf{\Omega }}_1={\left|\begin{array}{cccc}\lambda -\frac{4n}{\lambda -1}& -1& \cdots & -1\\ -1& \lambda & \cdots & -1\\ ⋮& ⋮& \ddots & ⋮\\ -1& -1& \cdots & \lambda \end{array}\right|}_{4n-1},{\mathsf{\Omega }}_2={\left|\begin{array}{cccc}\lambda & -1& \cdots & -1\\ -1& \lambda & \cdots & -1\\ ⋮& ⋮& \ddots & ⋮\\ -1& -1& \cdots & \lambda \end{array}\right|}_{4n-2}.$$

Directed calculation gives

$$\begin{array}{cc}\hfill {\mathsf{\Omega }}_1& ={\left|\begin{array}{cccc}\lambda & -1& \cdots & -1\\ -1& \lambda & \cdots & -1\\ ⋮& ⋮& \ddots & ⋮\\ -1& -1& \cdots & \lambda \end{array}\right|}_{4n-1}+{\left|\begin{array}{cccc}-\frac{4n}{\lambda -1}& -1& \cdots & -1\\ 0& \lambda & \cdots & -1\\ ⋮& ⋮& \ddots & ⋮\\ 0& -1& \cdots & \lambda \end{array}\right|}_{4n-1}\hfill \\ \hfill & =(\lambda -4n+2){(\lambda +1)}^{4n-2}-\frac{4n}{\lambda -1}(\lambda -4n+3){(\lambda +1)}^{4n-3}.\hfill \end{array}$$

and

$${\mathsf{\Omega }}_2=(\lambda -4n+3){(\lambda +1)}^{4n-3}.$$

We now conclude that

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-A\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)-Y_{4n}{(\lambda I_{4n}-Z_{4n})}^{-1}{Y}_{4n}^T|\hfill \\ \hfill & =2(\lambda +1){\mathsf{\Omega }}_1-{(1+\lambda )}^2{\mathsf{\Omega }}_2\hfill \\ \hfill & ={(\lambda -1)}^{-1}{(\lambda +1)}^{4n-2}[({\lambda }^2-8n-1)(\lambda -4n+3)-2({\lambda }^2-1)].\hfill \end{array}$$

Hence, the required result immediately follows. □

Corollary 3.

For even $n\ge 2,$ the energy of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ satisfies the following,

$$12n-4<E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)<16n-4.$$

Consequently, the commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ with even $n\ge 2$ is not hyperenergetic.

Proof. 

Consider the cubic equation

$$({\lambda }^2-8n-1)(\lambda -4n+3)-2({\lambda }^2-1)]=0,$$

i.e.,

$${\lambda }^3-(4n-1){\lambda }^2-(8n+1)\lambda +(32n^2-20n-1)=0.$$

Then, by Theorem 2, the equation has three real roots ${\lambda }_1,{\lambda }_2,{\lambda }_3.$ And we can assume that ${\lambda }_1\ge {\lambda }_2\ge {\lambda }_3.$ Then, for even $n\ge 2,$ we have

$${\lambda }_1+{\lambda }_2+{\lambda }_3=4n-1>0$$

(4)

and

$$\begin{array}{c}\hfill {\lambda }_1·{\lambda }_2·{\lambda }_3=-(32n^2-20n-1)<0.\end{array}$$

(5)

Therefore, by (4) and (5), we have ${\lambda }_1<0$ and ${\lambda }_2,{\lambda }_3>0.$

Let

$$f\left(\lambda \right)={\lambda }^3-(4n-1){\lambda }^2-(8n+1)\lambda +(32n^2-20n-1).$$

Then we have

$$f\left(0\right)=32n^2-20n-1>0,$$

$$f(-2n)=-24n^3+52n^2-18n-1=(52-24n)n^2-18n-1<0,$$

for even $n\ge 2.$ Furthermore, $f\left(\lambda \right)$ is continuous on $[-2n,0].$ Therefore, by the intermediate value theorem, we have

$$-2n<{\lambda }_1<0.$$

(6)

Hence, by (4) and (6), we get

$$4n-1<|{\lambda }_1|+|{\lambda }_2|+|{\lambda }_3|=({\lambda }_1+{\lambda }_2+{\lambda }_3)-2{\lambda }_1<(4n-1)+4n=8n-1.$$

In addition, by Theorem 2, we have

$$E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=(2n-1)+(6n-2)+|{\lambda }_1|+|{\lambda }_2|+|{\lambda }_3|=8n-3+|{\lambda }_1|+|{\lambda }_2|+|{\lambda }_3|.$$

So, for even $n\ge 2,$ we get

$$12n-4=(8n-3)+(4n-1)<E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)<(8n-3)+(8n-1)=16n-4.$$

Since $E\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)<16n-4<2(8n-1),$ we have the commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ with even $n\ge 2$ is not hyperenergetic. □

Corollary 4.

For even $n\ge 2,$ the spectral radius of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ satisfies the following,

$${\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)<{\lambda }_1\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)\le {\lambda }_1\left(\mathsf{\Gamma }\left(C_{4n}\right)\right)+2\sqrt{2n}.$$

Proof. 

Similar to the proof of Theorem 2. □

3. Laplacian Spectral Properties of Commuting Graphs

In this section, we are going to find the Laplacian spectrum of commuting graphs on semidihedral groups, and then we compute the Laplacian energy and the number of spanning trees.

Firstly, we obtain the Laplacian matrix of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ when n is odd. Now we have $\mathsf{\Gamma }\left(S{D}_{8n}\right)=K_4\vee (n{K}_4\cup K_{4n-4}).$ For notational convenience, we define

$$B=\left[\begin{array}{ccccc}0& 1& 1& \cdots & 1\\ 1& 0& 1& \cdots & 1\\ 1& 1& 0& \cdots & 1\\ ⋮& ⋮& ⋮& & ⋮\\ 1& 1& 1& \cdots & 0\end{array}\right],C=\left[\begin{array}{cccccc}1& 1& 1& 1& \cdots & 1\\ 1& 1& 1& 1& \cdots & 1\\ 1& 1& 1& 1& \cdots & 1\\ 1& 1& 1& 1& \cdots & 1\\ ⋮& ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 0& 0& \cdots & 0\end{array}\right],$$

and

$$E=\left[\begin{array}{cccc}0& 1& 1& 1\\ 1& 0& 1& 1\\ 1& 1& 0& 1\\ 1& 1& 1& 0\end{array}\right],F=\left[\begin{array}{c}E\\ & E\\ & & \ddots \\ & & & E\end{array}\right],$$

where $B,C$ and F are of order $4n$. And then we denote

$$K=\left[\begin{array}{ccccccc}8n-1& -1& -1& -1& -1& \cdots & -1\\ -1& 8n-1& -1& -1& -1& \cdots & -1\\ -1& -1& 8n-1& -1& -1& \cdots & -1\\ -1& -1& -1& 8n-1& -1& \cdots & -1\\ -1& -1& -1& -1& 4n-1& \cdots & -1\\ ⋮& ⋮& ⋮& ⋮& ⋮& & ⋮\\ -1& -1& -1& -1& -1& \cdots & 4n-1\end{array}\right],$$

then the Laplacian matrix of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is given as

$$L=\left[\begin{array}{cc}K& -C\\ -C^T& 7I_{4n}-F\end{array}\right].$$

Theorem 3.

For odd $n\ge 2,$ the characteristic polynomial of the Laplacian matrix of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$p_L\left(\lambda \right)=\lambda {(\lambda -4)}^n{(\lambda -8)}^{3n}{(\lambda -8n)}^4{(\lambda -4n)}^{4n-5}.$$

Proof. 

By Theorem 2.2 of [10], we get

$$\begin{array}{cc}\hfill p_L\left(\lambda \right)& =|\lambda I_{8n}-L|=\left|\begin{array}{cc}\lambda I_{4n}-K& C\\ C^T& \lambda I_{4n}-7I_{4n}+F\end{array}\right|\hfill \\ \hfill & =|(\lambda -7)I_{4n}+F|·|\lambda I_{4n}-K-C{((\lambda -7)I_{4n}+F)}^{-1}{C}^T|.\hfill \end{array}$$

Upon calculation, we get from Theorem 2.5 of [10] that

$${((\lambda -7)I_4+E)}^{-1}={((\lambda -8)I_4+e{e}^T)}^{-1}=\left[\begin{array}{cccc}d& c& c& c\\ c& d& c& c\\ c& c& d& c\\ c& c& c& d\end{array}\right],$$

where $c=-\frac{1}{(\lambda -8)(\lambda -4)}$ and $d=\frac{\lambda -5}{(\lambda -8)(\lambda -4)}$. Hence,

$$\begin{array}{cc}\hfill & \lambda I_{4n}-K-C{((\lambda -7)I_{4n}+F)}^{-1}{C}^T\hfill \\ \hfill & =\left[\begin{array}{ccccccc}\lambda -8n+1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 1-\frac{4n}{\lambda -4}& \lambda -8n+1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& \lambda -8n+1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& 1-\frac{4n}{\lambda -4}& \lambda -8n+1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 1& 1& 1& 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& ⋮& ⋮& ⋮& & ⋮\\ 1& 1& 1& 1& 1& \cdots & \lambda -4n+1\end{array}\right].\hfill \end{array}$$

Applying a series of row and column operations, that is, for $i=2,3,4$, subtracting the i-th row from the $(i-1)$-th row, and subtracting the i-th column from the $(i-1)$-th column. Then

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-K-C{((\lambda -7)I_{4n}+F)}^{-1}{C}^T|\hfill \\ \hfill & =\left|\begin{array}{ccccccc}2(\lambda -8n)& -\lambda +8n& 0& 0& 0& \cdots & 0\\ -\lambda +8n& 2(\lambda -8n)& -\lambda +8n& 0& 0& \cdots & 0\\ 0& -\lambda +8n& 2(\lambda -8n)& -\lambda +8n& 0& \cdots & 0\\ 0& 0& -\lambda +8n& \lambda -8n+1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 0& 0& 0& 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 0& 1& 1& \cdots & \lambda -4n+1\end{array}\right|\hfill \\ \hfill & =2(\lambda -8n){∆}_1-{(-\lambda +8n)}^2{∆}_2,\hfill \end{array}$$

where

$${∆}_1={\left|\begin{array}{cccccc}2(\lambda -8n)& -\lambda +8n& 0& 0& \cdots & 0\\ -\lambda +8n& 2(\lambda -8n)& -\lambda +8n& 0& \cdots & 0\\ 0& -\lambda +8n& \lambda -8n+1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 0& 0& 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& ⋮& ⋮& & ⋮\\ 0& 0& 1& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-1},$$

and

$${∆}_2={\left|\begin{array}{ccccc}2(\lambda -8n)& -\lambda +8n& 0& \cdots & 0\\ -\lambda +8n& \lambda -8n+1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 0& 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& ⋮& & ⋮\\ 0& 1& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-2}.$$

For notational convenience, we set

$${∆}_3={\left|\begin{array}{cccc}\lambda -8n+1-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& & ⋮\\ 1& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-3}.$$

We now are ready to compute the values of ${∆}_1,{∆}_2$ and ${∆}_3$. Note that

$$\begin{array}{cc}{∆}_3\hfill & ={\left|\begin{array}{cccc}\lambda -4n+1& 1& \cdots & 1\\ 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& & ⋮\\ 1& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-3}+{\left|\begin{array}{cccc}-4n-\frac{4n}{\lambda -4}& 1& \cdots & 1\\ 0& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& & ⋮\\ 0& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-3}\hfill \\ \hfill & =(\lambda -3){(\lambda -4n)}^{4n-4}-4n(\lambda -3){(\lambda -4n)}^{4n-5}.\hfill \end{array}$$

Thus,

$$\begin{array}{cc}\hfill {∆}_2& =2(\lambda -8n){∆}_3-{(-\lambda +8n)}^2·(\lambda -4){(\lambda -4n)}^{4n-5}\hfill \\ \hfill & =2(\lambda -8n)(\lambda -3){(\lambda -4n)}^{4n-4}-({\lambda }^2-4\lambda +8n)(\lambda -8n){(\lambda -4n)}^{4n-5}.\hfill \end{array}$$

And then we have

$$\begin{array}{cc}\hfill {∆}_1& =2(\lambda -8n){∆}_2-{(-\lambda +8n)}^2{∆}_3\hfill \\ \hfill & =3(\lambda -3){(\lambda -8n)}^2{(\lambda -4n)}^{4n-4}-2({\lambda }^2-(2n+4)\lambda +14n){(\lambda -8n)}^2{(\lambda -4n)}^{4n-5}.\hfill \end{array}$$

Combining ${∆}_1$ and ${∆}_2$, it follows that

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-K-C{((\lambda -7)I_{4n}+F)}^{-1}{C}^T|\hfill \\ \hfill & =2(\lambda -8n){∆}_1-{(\lambda -8n)}^2{∆}_2\hfill \\ \hfill & =\lambda {(\lambda -8n)}^4{(\lambda -4n)}^{4n-5},\hfill \end{array}$$

which together with $|(\lambda -7)I_{4n}{+F|=(\lambda -4)}^n{(\lambda -8)}^{3n}$ leads to the required result. □

As byproducts of Theorem 3, we obtain the following corollaries.

Corollary 5.

For odd $n\ge 2,$ the Laplacian spectrum of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$\mathrm{L}-\mathrm{spec}\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=\{0^1,4^n,8^{3n},{\left(4n\right)}^{4n-5},{\left(8n\right)}^4\}.$$

Corollary 6.

For odd $n\ge 2,$ the Laplacian energy of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$LE\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=16n^2+24n-32.$$

Corollary 7.

For odd $n\ge 2$, the number of spanning trees of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$\mathrm{st}\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=2^{19n-1}{n}^{4n-2}.$$

Proof. 

The proof is straightforward by using Corollary 5 and Proposition 1.3.4 of [12]. □

Finally, we are ready to compute the Laplacian spectrum of commuting graphs of $S{D}_{8n}$ when n is even, then we have $\mathsf{\Gamma }\left(S{D}_{8n}\right)=K_2\vee \left(2n{K}_2\cup K_{4n-2}\right)$. For notational convenience, we first define

$$X=\left[\begin{array}{cccc}0& 1& \cdots & 1\\ 1& 0& \cdots & 1\\ ⋮& ⋮& \ddots & ⋮\\ 1& 1& \cdots & 0\end{array}\right],Y=\left[\begin{array}{cccc}1& 1& \cdots & 1\\ 1& 1& \cdots & 1\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 0\end{array}\right],Z=\left[\begin{array}{cc}0& I_{2n}\\ I_{2n}& 0\end{array}\right].$$

Here, $X,Y$ and Z are all of order $4n$. We then denote $V=3I_{4n}-Z$ and

$$U=\left[\begin{array}{ccccc}8n-1& -1& -1& \cdots & -1\\ -1& 8n-1& -1& \cdots & -1\\ -1& -1& 4n-1& \cdots & -1\\ ⋮& ⋮& ⋮& & ⋮\\ -1& -1& -1& \cdots & 4n-1\end{array}\right],$$

then

$$L=\left[\begin{array}{cc}U& -Y\\ -Y^T& V\end{array}\right].$$

Theorem 4.

For even $n\ge 2,$ the characteristic polynomial of the Laplacian matrix of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$p_L\left(\lambda \right)=\lambda {(\lambda -4)}^{2n}{(\lambda -2)}^{2n}{(\lambda -4n)}^{4n-3}{(\lambda -8n)}^2.$$

Proof. 

By Theorem 2.2 of [10], we have

$$\begin{array}{cc}\hfill p_L\left(\lambda \right)& =|\lambda I_{8n}-L|=\left|\begin{array}{cc}\lambda I_{4n}-U& Y\\ Y^T& \lambda I_{4n}-V\end{array}\right|\hfill \\ \hfill & =|\lambda I_{4n}-V|·|\lambda I_{4n}-U-Y{(\lambda I_{4n}-V)}^{-1}{Y}^T|.\hfill \end{array}$$

Upon computations, we get $|\lambda I_{4n}-V|={({(\lambda -3)}^2-1)}^{2n}$, and Theorem 2.4 of [10] yields

$${(\lambda I_{4n}-V)}^{-1}={\left[\begin{array}{cc}(\lambda -3)I_{2n}& I_{2n}\\ I_{2n}& (\lambda -3)I_{2n}\end{array}\right]}^{-1}=\left[\begin{array}{cc}\frac{\lambda -3}{{(\lambda -3)}^2-1}{I}_{2n}& \frac{-1}{{(\lambda -3)}^2-1}{I}_{2n}\\ \frac{-1}{{(\lambda -3)}^2-1}{I}_{2n}& \frac{\lambda -3}{{(\lambda -3)}^2-1}{I}_{2n}\end{array}\right].$$

Then

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-U-Y{(\lambda I_{4n}-V)}^{-1}{Y}^T|\hfill \\ \hfill & =\left|\begin{array}{ccccc}\lambda -8n+1-\frac{4n}{\lambda -2}& 1-\frac{4n}{\lambda -2}& 1& \cdots & 1\\ 1-\frac{4n}{\lambda -2}& \lambda -8n+1-\frac{4n}{\lambda -2}& 1& \cdots & 1\\ 1& 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& 1& 1& \cdots & \lambda -4n+1\end{array}\right|\hfill \\ \hfill & =\left|\begin{array}{ccccc}2(\lambda -8n)& -\lambda +8n& 0& \cdots & 0\\ -\lambda +8n& \lambda -8n+1-\frac{4n}{\lambda -2}& 1& \cdots & 1\\ 0& 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 1& 1& \cdots & \lambda -4n+1\end{array}\right|\hfill \\ \hfill & =2(\lambda -8n){\mathsf{\Psi }}_1-{(8n-\lambda )}^2{\mathsf{\Psi }}_2,\hfill \end{array}$$

where

$${\mathsf{\Psi }}_1={\left|\begin{array}{cccc}\lambda -8n+1-\frac{4n}{\lambda -2}& 1& \cdots & 1\\ 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& \ddots & ⋮\\ 1& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-1},$$

and

$${\mathsf{\Psi }}_2={\left|\begin{array}{cccc}\lambda -4n+1& 1& \cdots & 1\\ 1& \lambda -4n+1& \cdots & 1\\ ⋮& ⋮& \ddots & ⋮\\ 1& 1& \cdots & \lambda -4n+1\end{array}\right|}_{4n-2}.$$

It is not hard to find that

$${\mathsf{\Psi }}_1=(\lambda -1){(\lambda -4n)}^{4n-2}-\left(4n+\frac{4n}{\lambda -2}\right)(\lambda -2){(\lambda -4n)}^{4n-3},$$

and

$${\mathsf{\Psi }}_2=(\lambda -2){(\lambda -4n)}^{4n-3}.$$

Therefore, we conclude that

$$\begin{array}{cc}\hfill & |\lambda I_{4n}-U-Y{(\lambda I_{4n}-V)}^{-1}{Y}^T|\hfill \\ \hfill & =2(\lambda -8n){\mathsf{\Psi }}_1-{(8n-\lambda )}^2{\mathsf{\Psi }}_2\hfill \\ \hfill & =\lambda {(\lambda -8n)}^2{(\lambda -4n)}^{4n-3}.\hfill \end{array}$$

This completes the proof. □

From Theorem 4, one could get the following corollaries similarly.

Corollary 8.

For even $n\ge 2,$ the Laplacian spectrum of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$\mathrm{L}-\mathrm{spec}\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=\{0^1,4^{2n},2^{2n},{\left(4n\right)}^{4n-3},{\left(8n\right)}^2\}.$$

Corollary 9.

For even $n\ge 2,$ the Laplacian energy of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$LE\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=16n^2-4n+4.$$

Corollary 10.

For even $n\ge 2$, the number of spanning trees of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is

$$\mathrm{st}\left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=2^{14n-3}{n}^{4n-2}.$$

4. Connectivity and Planarity of Commuting Graphs

In this section, we show that these commuting graphs are not Hamiltonian. Furthermore, we discuss vertex connectivity, the planarity, and minimum disconnecting set of commuting graphs of semidihedral groups.

Theorem 5.

Suppose $S{D}_{8n}$ is a semidihedral group and $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is the commuting graph on $S{D}_{8n}$, for $n\ge 2$. Then

• For odd $n,$$\kappa \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=4;$
• For even $n,$$\kappa \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=2;$
• $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is not Hamiltonian for both odd and even $n.$

Proof. 

(1) For an odd integer n, since we know that the center $Z\left(S{D}_{8n}\right)=\{e,a^n,a^{2n},a^{3n}\}$ of $S{D}_{8n}$ is adjacent to all other vertices of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$, so using Remark 1, we have the graph becomes disconnected into $n+1$ components by deletion of $Z\left(S{D}_{8n}\right)$. Therefore, $\kappa \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=4.$

(2) For an even integer $n,$ since we know that the center $Z\left(S{D}_{8n}\right)=\{e,a^{2n}\}$ of $S{D}_{8n}$ is adjacent to all other vertices of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$, so using Remark 1, the graph becomes disconnected into $2n+1$ components by deletion of $Z\left(S{D}_{8n}\right)$. Therefore, $\kappa \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=2.$

(3) For an odd integer $n\ge 2,$ we have $\left|Z\right(S{D}_{8n}\left)\right|=4$ and the components of $\mathsf{\Gamma }\left(S{D}_{8n}\right)-Z\left(S{D}_{8n}\right)$ are $n+1\ge 4.$ Also, for an even integer n, we have $\left|Z\right(S{D}_{8n}\left)\right|=2$ and the components of $\mathsf{\Gamma }\left(S{D}_{8n}\right)-Z\left(S{D}_{8n}\right)$ are $2n+1\ge 2.$ Therefore, by Proposition 7.2.3 of [13], we have $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is not Hamiltonian. □

Theorem 6.

Let $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ be the commuting graph of the semidihedral group $S{D}_{8n}$ for $n\ge 2$. Then $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is nonplanar.

Proof. 

Note that $\langle a\rangle$ is cyclic subgroup of order $4n$. It suffices to show that the commuting graph $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is nonplanar if and only if the subgraph induced by $\langle a\rangle$ is nonplanar. Since $\langle a\rangle$ is cyclic, $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ is nonplanar for $n\ge 2$. □

Theorem 7.

For odd $n\ge 5,$ we have $\sigma \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=7$. Moreover, for every $0\le i\le n-1,$ we have $\mathbb{E}[b{a}^i,\{e,a^n,a^{2n},a^{3n},b{a}^{n+i},b{a}^{2n+i},b{a}^{3n+i}\}]$, $\mathbb{E}[b{a}^{n+i},\{e,a^n,a^{2n},a^{3n},b{a}^i$, $b{a}^{2n+i}$, $b{a}^{3n+i}\left\}\right]$, $\mathbb{E}[b{a}^{2n+i},\{e,a^n,a^{2n},a^{3n},b{a}^i,b{a}^{n+i}$, $b{a}^{3n+i}\left\}\right]$, and $\mathbb{E}[b{a}^{3n+i},\{e,a^n,a^{2n},a^{3n}$, $b{a}^i$, $b{a}^{n+i}$, $b{a}^{2n+i}\left\}\right]$ are minimum disconnecting sets of $\mathsf{\Gamma }\left(S{D}_{8n}\right).$

Proof. 

Suppose $u\in {\mathsf{\Phi }}_1,$ so $d\left(u\right)\ge \varphi \left(4n\right)+1\ge 9.$ Now let $v\in {\mathsf{\Phi }}_2,$ the only vertices adjacent to v in $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ are elements of ${\mathsf{\Phi }}_2\setminus \left\{v\right\},$ and so $d\left(v\right)=7$. Hence, we conclude that $\sigma \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=7$. It is clear from the structure of $\mathsf{\Gamma }\left(S{D}_{8n}\right)$ when n is odd, $\mathbb{N}\left(b{a}^i\right)=\{e,a^n,a^{2n},a^{3n},b{a}^{n+i},$$b{a}^{2n+i},b{a}^{3n+i},\}$ where $0\le i\le n-1$. Since $\sigma \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=d\left(b{a}^i\right)=7,$ we have $\mathbb{E}[b{a}^i,$$\{e,a^n,$$a^{2n},a^{3n},$$b{a}^{n+i},b{a}^{2n+i},b{a}^{3n+i}\left\}\right]$ is the minimum disconnecting set of $\mathsf{\Gamma }\left(S{D}_{8n}\right).$ Similarly, we have $\mathbb{E}[b{a}^{n+i}$, $\{e,a^n$, $a^{2n}$, $a^{3n},b{a}^i,$$b{a}^{2n+i},b{a}^{3n+i}\left\}\right],$$\mathbb{E}[b{a}^{2n+i},\{e,a^n,a^{2n},a^{3n},b{a}^i,b{a}^{n+i},$$b{a}^{3n+i}\left\}\right]$, and $\mathbb{E}[b{a}^{3n+i}$, $\{e$, $a^n$, $a^{2n},a^{3n},b{a}^i,b{a}^{n+i},b{a}^{2n+i}\left\}\right]$ are minimum disconnecting sets of $\mathsf{\Gamma }\left(S{D}_{8n}\right).$ □

Theorem 8.

For even $n\ge 2,$ we have $\sigma \left(\mathsf{\Gamma }\left(S{D}_{8n}\right)\right)=3$. Moreover, for every $0\le i\le 2n-1,$ we have $\mathbb{E}[b{a}^i,\{e,a^{2n},a^{2n+i}\}]$ and $\mathbb{E}[b{a}^{2n+i},\{e,a^{2n},b{a}^i\}]$ are minimum disconnecting sets of $\mathsf{\Gamma }\left(S{D}_{8n}\right).$

Proof. 

Similar to the proof of Theorem 7. □