Next Article in Journal
Linear and Non-Linear Middle Infrared Spectra of Penicillin G in the CO Stretching Mode Region
Previous Article in Journal
Controlling Safety of Artificial Intelligence-Based Systems in Healthcare
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Properties of Commuting Graphs over Semidihedral Groups

1
School of Mathematics and Statistics, Shandong Normal University, Jinan 250358, China
2
Department of Computer Science, Swiss Distance University of Applied Sciences, 3900 Brig, Switzerland
3
College of Artificial Intelligence, Nankai University, Tianjin 300350, China
4
School of Sciences, Xi’an Technological University, Xi’an 710021, China
5
Department of Biomedical Computer Science and Mechatronics, UMIT, A-6060 Hall in Tyrol, Austria
6
Predictive Medicine and Data Analytics Lab, Department of Signal Processing, Tampere University, 33100 Tampere, Finland
7
Institute of Biosciences and Medical Technology, 33520 Tampere, Finland
8
School of Mathematics, Hunan University, Changsha 410082, China
9
School of Mathematics and Statistics, New Campus, Central South University, Changsha 410083, China
*
Author to whom correspondence should be addressed.
Symmetry 2021, 13(1), 103; https://doi.org/10.3390/sym13010103
Submission received: 7 December 2020 / Revised: 30 December 2020 / Accepted: 6 January 2021 / Published: 8 January 2021
(This article belongs to the Section Mathematics)

Abstract

:
This paper considers commuting graphs over the semidihedral group S D 8 n . We compute their eigenvalues and obtain that these commuting graphs are not hyperenergetic for odd n 15 or even n 2 . We further compute the Laplacian spectrum, the Laplacian energy and the number of spanning trees of the commuting graphs over S D 8 n . 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 C ( G , X ) has the vertex set X where x 1 , x 2 X are adjacent whenever x 1 x 2 = x 2 x 1 in G. In the case that X = G , we denote Γ ( G ) = 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 , , 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 Γ with a symmetric real n × n matrix A ( Γ ) = ( a i j ) i , j = 1 n , called adjacency matrix, where a i j = 1 if the vertex v i is adjacent to v j , and 0 otherwise. The characteristic polynomial of Γ is p ( λ ) = det ( λ I A ( Γ ) ) . These eigenvalues with their multiplicity compose the spectrum of graph Γ . Recall that the spectral radius of a matrix A, denoted by ρ ( A ) , is defined by ρ ( A ) = max { | λ i ( A ) | : i = 1 , 2 , , n } .
Let D ( Γ ) denote the diagonal matrix of degrees of a graph Γ . The Laplacian matrix of Γ is the matrix L ( Γ ) = D ( Γ ) A ( Γ ) , and the Laplacian spectrum of Γ is a multiset given by L-spec ( Γ ) = { μ 1 m 1 , μ 2 m 2 , , μ l m l } , where μ 1 , μ 2 , , μ l are the Laplacian eigenvalues of Γ with multiplicities m 1 , m 2 , , m l .
The energy of the graph Γ is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix, that is, E ( Γ ) = k = 1 n | λ k ( Γ ) | . 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 Γ is said to be hyperenergetic if E ( Γ ) > E ( K n ) = 2 ( n 1 ) and nonhyperenergetic if E ( Γ ) 2 ( n 1 ) . It is known [6] (Theorem 5.24) that for almost all graphs Γ , E ( Γ ) > ( 1 / 4 + o ( 1 ) ) 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 L E ( Γ ) , is defined as L E ( Γ ) = i = 1 l | μ i 2 m n | , where m is the number of edges in the graph Γ . 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 π electron energy of the molecule represented by that graph, see the comprehensive survey [6,8] for more details.
Let Γ be a simple graph and u be a vertex. The neighbor set of u in Γ , denoted by N ( u ) , is the set of all vertices adjacent to u. The degree of u is d ( u ) = | N ( u ) | . The minimum degree of Γ is denoted by σ ( Γ ) . A spanning tree of Γ is a connected subgraph of Γ on all vertices with | V ( Γ ) | 1 edges, which is in fact a tree on V ( Γ ) . The number of spanning trees in a graph Γ is denoted by st ( Γ ) .
A simple graph is said to be planar if it can be drawn on the plane with no crossing edges. The vertex-connectivity of Γ is denoted by κ ( Γ ) , which is the minimum number of vertices whose deletion will result in a disconnected graph or trivial graph. A set S E ( Γ ) is called a disconnecting set if its deletion will increase the number of components of Γ , and S is called a minimal disconnecting set if there is no proper subset of S that disconnects Γ . For two vertex sets U and V, we denote 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
S D 8 n = a , b | a 4 n = b 2 = e , b a b = a 2 n 1
for n 2 . Moreover, all the 8 n elements of S D 8 n could be given as
S D 8 n = { e , a , a 2 , , a 4 n 1 , b , b a , b a 2 , , b a 4 n 1 } .
From Lemma 10 of [9], we have Γ ( S D 8 n ) = K 4 ( n K 4 K 4 n 4 ) for odd n, and Γ ( S D 8 n ) = K 2 2 n K 2 K 4 n 2 for even n .
Remark 1.
If n is odd, then Z ( S D 8 n ) = { e , a n , a 2 n , a 3 n } is the center of semidihedral group. Now, we suppose that Φ 1 = { e , a , a 2 , , a 4 n 1 } , Φ 2 = { b , b a , b a 2 , , b a 4 n 1 } = i = 0 n 1 Φ 2 i , where Φ 2 i = { b a i , b a n + i , b a 2 n + i , b a 3 n + i } and Φ 3 = Φ 1 Z ( S D 8 n ) are the subsets of S D 8 n . It is easy to check that x y = y x for all x , y Φ 2 i . However, x y y x , when x Φ 2 and y Φ 3 . If n is even, then Z ( S D 8 n ) = { e , a 2 n } is the center of semidihedral group. Similarly, we suppose that Ψ 1 = { e , a , a 2 , , a 4 n 1 } , Ψ 2 = { b , b a , b a 2 , , b a 4 n 1 } = i = 0 n 1 Ψ 2 i , where Ψ 2 i = { b a i , b a 2 n + i } and Ψ 3 = Ψ 1 Z ( S D 8 n ) are the subsets of S D 8 n . It is also easy to find that x y = y x for all x , y Ψ 2 i . However, x y y x , if x Ψ 2 and y Ψ 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 8 n . 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 Γ ( S D 8 n ) , so that we resort to bounding the spectral radius in such cases. Moreover, we prove that the commuting graph Γ ( S D 8 n ) is not hyperenergetic when odd n 15 or even n 2 . In addition, we obtain the characteristic polynomial of the Laplacian matrix of Γ ( S D 8 n ) , and we also derive the Laplacian spectrum of Γ ( S D 8 n ) . Moreover, we calculate the Laplacian energy and the number of spanning trees of Γ ( S D 8 n ) . Finally, we discuss vertex connectivity, planarity, and minimum disconnecting sets of commuting graphs of the semidihedral group S D 8 n 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 Γ ( S D 8 n ) , and prove that Γ ( S D 8 n ) is not hyperenergetic when odd n 15 or even n 2 .
Firstly, we can obtain the adjacency matrix of Γ ( S D 8 n ) in the following. When n is odd, then Γ ( S D 8 n ) = K 4 ( n K 4 K 4 n 4 ) , to derive the adjacency matrix of a commuting graph Γ ( S D 8 n ) , we first put the elements of Z ( S D 8 n ) , then Φ 3 and finally Φ 2 respectively, and get the following matrix is
A ( Γ ( S D 8 n ) ) = A ( Γ ( C 4 n ) ) H 4 n H 4 n T F 4 n ,
where
A ( Γ ( C 4 n ) ) = 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 , H 4 n = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 ,
and
E = 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 , F 4 n = E E E ,
where A ( Γ ( C 4 n ) ) , H 4 n and F 4 n are of order 4 n .
When n is even, then we have Γ ( S D 8 n ) = K 2 2 n K 2 K 4 n 2 . Thus
A ( Γ ( S D 8 n ) ) = A ( Γ ( C 4 n ) ) Y 4 n Y 4 n T Z 4 n ,
where
Y 4 n = 1 1 1 1 1 1 0 0 0 , Z 4 n = 0 I 2 n I 2 n 0 .
Here, A ( Γ ( C 4 n ) ) , Y 4 n and Z 4 n are all of order 4 n .
Theorem 1.
For odd n 3 , the characteristic polynomial of Γ ( S D 8 n ) is
p ( λ ) = ( λ 3 ) n 1 ( λ + 1 ) 7 n 2 [ ( λ 4 n + 1 ) ( λ 3 ) ( λ + 1 ) 16 n ( λ 4 n + 5 ) ] .
Proof. 
By Theorem 2.2 of [10], we can get
p ( λ ) = | λ I 8 n A ( Γ ( S D 8 n ) ) | = λ I 4 n A ( Γ ( C 4 n ) ) H 4 n H 4 n T λ I 4 n F 4 n = | λ I 4 n F 4 n | · | λ I 4 n A ( Γ ( C 4 n ) ) H 4 n ( λ I 4 n F 4 n ) 1 H 4 n T | .
Setting e = ( 1 , 1 , 1 , 1 ) T . By directed computation, Theorem 2.5 of [10] gives
( λ I 4 E ) 1 = ( ( λ + 1 ) I 4 e e T ) 1 = a b b b b a b b b b a b b b b a ,
where a = 2 λ ( λ + 1 ) ( 3 λ ) and b = 1 ( λ + 1 ) ( 3 λ ) . Therefore,
λ I 4 n A ( Γ ( C 4 n ) ) H 4 n ( λ I 4 n F ) 1 H 4 n T = λ + 4 n 3 λ 1 + 4 n 3 λ 1 + 4 n 3 λ 1 + 4 n 3 λ 1 1 1 + 4 n 3 λ λ + 4 n 3 λ 1 + 4 n 3 λ 1 + 4 n 3 λ 1 1 1 + 4 n 3 λ 1 + 4 n 3 λ λ + 4 n 3 λ 1 + 4 n 3 λ 1 1 1 + 4 n 3 λ 1 + 4 n 3 λ 1 + 4 n 3 λ λ + 4 n 3 λ 1 1 1 1 1 1 λ 1 1 1 1 1 1 λ .
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
| λ I 4 n A ( Γ ( C 4 n ) ) H 4 n ( λ I 4 n F ) 1 H 4 n T | = 2 ( λ + 1 ) 1 λ 0 0 0 0 1 λ 2 ( λ + 1 ) 1 λ 0 0 0 0 1 λ 2 ( λ + 1 ) 1 λ 0 0 0 0 1 λ λ + 4 n 3 λ 1 1 0 0 0 1 λ 1 0 0 0 1 1 λ = 2 ( λ + 1 ) Λ 1 ( 1 + λ ) 2 Λ 2 ,
where
Λ 1 = 2 ( λ + 1 ) 1 λ 0 0 0 1 λ 2 ( λ + 1 ) 1 λ 0 0 0 1 λ λ + 4 n 3 λ 1 1 0 0 1 λ 1 0 0 1 1 λ 4 n 1 ,
and
Λ 2 = 2 ( λ + 1 ) 1 λ 0 0 1 λ λ + 4 n 3 λ 1 1 0 1 λ 1 0 1 1 λ 4 n 2 .
For notational convenience, we denote
Λ 3 = λ + 4 n 3 λ 1 1 1 λ 1 1 1 λ 4 n 3 .
Next, we are going to compute the values of Λ 1 , Λ 2 and Λ 3 . Since
Λ 3 = λ 1 1 1 λ 1 1 1 λ 4 n 3 + 4 n 3 λ 1 1 0 λ 1 0 1 λ 4 n 3 = ( λ 4 n + 4 ) ( λ + 1 ) 4 n 4 + 4 n 3 λ ( λ 4 n + 5 ) ( λ + 1 ) 4 n 5 .
Therefore
Λ 2 = 2 ( λ + 1 ) Λ 3 ( 1 + λ ) 2 · ( λ 4 n + 5 ) ( λ + 1 ) 4 n 5 , = ( λ 4 n + 3 ) ( λ + 1 ) 4 n 3 + 8 n 3 λ ( λ 4 n + 5 ) ( λ + 1 ) 4 n 4 .
And then
Λ 1 = 2 ( λ + 1 ) Λ 2 ( 1 + λ ) 2 Λ 3 = ( λ 4 n + 2 ) ( λ + 1 ) 4 n 2 + 12 n 3 λ ( λ 4 n + 5 ) ( λ + 1 ) 4 n 3 .
After calculations, we can get
| λ I 4 n A ( Γ ( C 4 n ) ) H 4 n ( λ I 4 n F 4 n ) 1 H 4 n T | = 2 ( λ + 1 ) Λ 1 ( 1 + λ ) 2 Λ 2 = ( λ 4 n + 1 ) ( λ + 1 ) 4 n 1 + 16 n 3 λ ( λ 4 n + 5 ) ( λ + 1 ) 4 n 2 ,
which together with | λ I 4 n F 4 n | = ( λ 3 ) n ( λ + 1 ) 3 n yields the desired result. □
Corollary 1.
For odd n 15 , the energy of Γ ( S D 8 n ) is given below,
14 n 4 < E ( Γ ( S D 8 n ) ) < 16 n 4 .
Consequently, the commuting graph Γ ( S D 8 n ) with odd n 15 is not hyperenergetic.
Proof. 
Consider the cubic equation
( λ 4 n + 1 ) ( λ 3 ) ( λ + 1 ) 16 n ( λ 4 n + 5 ) ] = 0 ,
i.e.,
λ 3 ( 4 n + 1 ) λ 2 ( 8 n + 5 ) λ + ( 64 n 2 68 n 3 ) = 0 .
Then, by Theorem 1, the equation has three real roots λ 1 , λ 2 , λ 3 . And we can assume that λ 1 λ 2 λ 3 . Then, for odd n 15 , we have
λ 1 + λ 2 + λ 3 = 4 n + 1 > 0
and
λ 1 · λ 2 · λ 3 = ( 64 n 2 68 n 3 ) < 0 .
Therefore, by (1) and (2), we have λ 1 < 0 and λ 2 , λ 3 > 0 .
Let
f ( λ ) = λ 3 ( 4 n + 1 ) λ 2 ( 8 n + 5 ) λ + ( 64 n 2 68 n 3 ) .
Then we have
f ( 0 ) = 64 n 2 68 n 3 > 0 ,
f ( n ) = 5 n 3 + 71 n 2 63 n 3 = ( 71 5 n ) n 2 63 n 3 < 0 ,
for odd n 15 . And f ( λ ) is continuous on [ n , 0 ] . Therefore, by the intermediate value theorem, we have
n < λ 1 < 0 .
Hence, by (1) and (3), we get
4 n + 1 < | λ 1 | + | λ 2 | + | λ 3 | = ( λ 1 + λ 2 + λ 3 ) 2 λ 1 < ( 4 n + 1 ) + 2 n = 6 n + 1 .
And, by Theorem 1, we have
E ( Γ ( S D 8 n ) ) = 3 ( n 1 ) + ( 7 n 2 ) + | λ 1 | + | λ 2 | + | λ 3 | = 10 n 5 + | λ 1 | + | λ 2 | + | λ 3 | .
So, for odd n 15 , we get
14 n 4 = ( 10 n 5 ) + ( 4 n + 1 ) < E ( Γ ( S D 8 n ) ) < ( 10 n 5 ) + ( 6 n + 1 ) = 16 n 4 .
Since E ( Γ ( S D 8 n ) ) < 16 n 4 < 2 ( 8 n 1 ) , we have the commuting graph Γ ( S D 8 n ) with odd n 15 is not hyperenergetic. □
Corollary 2.
For odd n 3 , the spectral radius of Γ ( S D 8 n ) satisfies the following,
λ 1 Γ C 4 n < λ 1 Γ S D 8 n λ 1 Γ C 4 n + 4 2 n .
Proof. 
It is clear from Proposition 1.3.9 of [11] that λ 1 Γ C 4 n < λ 1 Γ S D 8 n . Let us divide the adjacency matrix into two parts, i.e. A ( Γ ( S D 8 n ) ) = T + W , where T , W are symmetric matrices of the form
T = A Γ C 4 n 0 4 n 0 4 n F 4 n and W = 0 4 n H 4 n H 4 n T 0 4 n .
By Theorem 1.3.15 of [11], we have
λ 1 Γ S D 8 n λ 1 ( T ) + λ 1 ( W ) = λ 1 Γ C 4 n + λ 1 ( W ) .
It is clear that W is the adjacency matrix of K 4 , 4 n together with 4 n 4 number of isolated nodes. Therefore, λ 1 ( W ) = 4 2 n . Hence, we get
λ 1 Γ C 4 n < λ 1 Γ S D 8 n λ 1 Γ C 4 n + 4 2 n .
This completes the proof. □
Theorem 2.
For even n 2 , the characteristic polynomial of Γ ( S D 8 n ) is
p ( λ ) = ( λ 1 ) 2 n 1 ( λ + 1 ) 6 n 2 [ ( λ 2 8 n 1 ) ( λ 4 n + 3 ) 2 ( λ 2 1 ) ] .
Proof. 
By Theorem 2.2 of [10], we get
p ( λ ) = λ I 4 n A ( Γ ( C 4 n ) ) Y 4 n Y 4 n T λ I 4 n Z 4 n = | λ I 4 n Z 4 n | · | λ I 4 n A ( Γ ( C 4 n ) ) Y 4 n ( λ I 4 n Z 4 n ) 1 Y 4 n T | .
After some computations, we have | λ I 4 n Z 4 n | = ( λ 2 1 ) 2 n , and the Theorem 2.4 of [10] gives
( λ I 4 n Z 4 n ) 1 = λ I 2 n I 2 n I 2 n λ I 2 n 1 = λ λ 2 1 I 2 n 1 λ 2 1 I 2 n 1 λ 2 1 I 2 n λ λ 2 1 I 2 n .
Then
Y 4 n ( λ I 4 n Z 4 n ) 1 Y 4 n T = 4 n λ 1 4 n λ 1 0 0 4 n λ 1 4 n λ 1 0 0 0 0 0 0 0 0 0 0 .
Thus, we get
| λ I 4 n A ( Γ ( C 4 n ) ) Y 4 n ( λ I 4 n Z 4 n ) 1 Y 4 n T | = λ 4 n λ 1 1 4 n λ 1 1 1 1 4 n λ 1 λ 4 n λ 1 1 1 1 1 λ 1 1 1 1 λ .
By subtracting the second row from the first row and subtracting the second column from the first column, we get
| λ I 4 n A ( Γ ( C 4 n ) ) Y 4 n ( λ I 4 n Z 4 n ) 1 Y 4 n T | = 2 ( λ + 1 ) 1 λ 0 0 1 λ λ 4 n λ 1 1 1 0 1 λ 1 0 1 1 λ = 2 ( λ + 1 ) Ω 1 ( 1 + λ ) 2 Ω 2 ,
where
Ω 1 = λ 4 n λ 1 1 1 1 λ 1 1 1 λ 4 n 1 , Ω 2 = λ 1 1 1 λ 1 1 1 λ 4 n 2 .
Directed calculation gives
Ω 1 = λ 1 1 1 λ 1 1 1 λ 4 n 1 + 4 n λ 1 1 1 0 λ 1 0 1 λ 4 n 1 = ( λ 4 n + 2 ) ( λ + 1 ) 4 n 2 4 n λ 1 ( λ 4 n + 3 ) ( λ + 1 ) 4 n 3 .
and
Ω 2 = ( λ 4 n + 3 ) ( λ + 1 ) 4 n 3 .
We now conclude that
| λ I 4 n A ( Γ ( C 4 n ) ) Y 4 n ( λ I 4 n Z 4 n ) 1 Y 4 n T | = 2 ( λ + 1 ) Ω 1 ( 1 + λ ) 2 Ω 2 = ( λ 1 ) 1 ( λ + 1 ) 4 n 2 [ ( λ 2 8 n 1 ) ( λ 4 n + 3 ) 2 ( λ 2 1 ) ] .
Hence, the required result immediately follows. □
Corollary 3.
For even n 2 , the energy of Γ ( S D 8 n ) satisfies the following,
12 n 4 < E ( Γ ( S D 8 n ) ) < 16 n 4 .
Consequently, the commuting graph Γ ( S D 8 n ) with even n 2 is not hyperenergetic.
Proof. 
Consider the cubic equation
( λ 2 8 n 1 ) ( λ 4 n + 3 ) 2 ( λ 2 1 ) ] = 0 ,
i.e.,
λ 3 ( 4 n 1 ) λ 2 ( 8 n + 1 ) λ + ( 32 n 2 20 n 1 ) = 0 .
Then, by Theorem 2, the equation has three real roots λ 1 , λ 2 , λ 3 . And we can assume that λ 1 λ 2 λ 3 . Then, for even n 2 , we have
λ 1 + λ 2 + λ 3 = 4 n 1 > 0
and
λ 1 · λ 2 · λ 3 = ( 32 n 2 20 n 1 ) < 0 .
Therefore, by (4) and (5), we have λ 1 < 0 and λ 2 , λ 3 > 0 .
Let
f ( λ ) = λ 3 ( 4 n 1 ) λ 2 ( 8 n + 1 ) λ + ( 32 n 2 20 n 1 ) .
Then we have
f ( 0 ) = 32 n 2 20 n 1 > 0 ,
f ( 2 n ) = 24 n 3 + 52 n 2 18 n 1 = ( 52 24 n ) n 2 18 n 1 < 0 ,
for even n 2 . Furthermore, f ( λ ) is continuous on [ 2 n , 0 ] . Therefore, by the intermediate value theorem, we have
2 n < λ 1 < 0 .
Hence, by (4) and (6), we get
4 n 1 < | λ 1 | + | λ 2 | + | λ 3 | = ( λ 1 + λ 2 + λ 3 ) 2 λ 1 < ( 4 n 1 ) + 4 n = 8 n 1 .
In addition, by Theorem 2, we have
E ( Γ ( S D 8 n ) ) = ( 2 n 1 ) + ( 6 n 2 ) + | λ 1 | + | λ 2 | + | λ 3 | = 8 n 3 + | λ 1 | + | λ 2 | + | λ 3 | .
So, for even n 2 , we get
12 n 4 = ( 8 n 3 ) + ( 4 n 1 ) < E ( Γ ( S D 8 n ) ) < ( 8 n 3 ) + ( 8 n 1 ) = 16 n 4 .
Since E ( Γ ( S D 8 n ) ) < 16 n 4 < 2 ( 8 n 1 ) , we have the commuting graph Γ ( S D 8 n ) with even n 2 is not hyperenergetic. □
Corollary 4.
For even n 2 , the spectral radius of Γ ( S D 8 n ) satisfies the following,
λ 1 Γ C 4 n < λ 1 Γ S D 8 n λ 1 Γ C 4 n + 2 2 n .
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 Γ ( S D 8 n ) when n is odd. Now we have Γ ( S D 8 n ) = K 4 ( n K 4 K 4 n 4 ) . For notational convenience, we define
B = 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 , C = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 ,
and
E = 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 , F = E E E ,
where B , C and F are of order 4 n . And then we denote
K = 8 n 1 1 1 1 1 1 1 8 n 1 1 1 1 1 1 1 8 n 1 1 1 1 1 1 1 8 n 1 1 1 1 1 1 1 4 n 1 1 1 1 1 1 1 4 n 1 ,
then the Laplacian matrix of Γ ( S D 8 n ) is given as
L = K C C T 7 I 4 n F .
Theorem 3.
For odd n 2 , the characteristic polynomial of the Laplacian matrix of Γ ( S D 8 n ) is
p L ( λ ) = λ ( λ 4 ) n ( λ 8 ) 3 n ( λ 8 n ) 4 ( λ 4 n ) 4 n 5 .
Proof. 
By Theorem 2.2 of [10], we get
p L ( λ ) = | λ I 8 n L | = λ I 4 n K C C T λ I 4 n 7 I 4 n + F = | ( λ 7 ) I 4 n + F | · | λ I 4 n K C ( ( λ 7 ) I 4 n + F ) 1 C T | .
Upon calculation, we get from Theorem 2.5 of [10] that
( ( λ 7 ) I 4 + E ) 1 = ( ( λ 8 ) I 4 + e e T ) 1 = d c c c c d c c c c d c c c c d ,
where c = 1 ( λ 8 ) ( λ 4 ) and d = λ 5 ( λ 8 ) ( λ 4 ) . Hence,
λ I 4 n K C ( ( λ 7 ) I 4 n + F ) 1 C T = λ 8 n + 1 4 n λ 4 1 4 n λ 4 1 4 n λ 4 1 4 n λ 4 1 1 1 4 n λ 4 λ 8 n + 1 4 n λ 4 1 4 n λ 4 1 4 n λ 4 1 1 1 4 n λ 4 1 4 n λ 4 λ 8 n + 1 4 n λ 4 1 4 n λ 4 1 1 1 4 n λ 4 1 4 n λ 4 1 4 n λ 4 λ 8 n + 1 4 n λ 4 1 1 1 1 1 1 λ 4 n + 1 1 1 1 1 1 1 λ 4 n + 1 .
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
| λ I 4 n K C ( ( λ 7 ) I 4 n + F ) 1 C T | = 2 ( λ 8 n ) λ + 8 n 0 0 0 0 λ + 8 n 2 ( λ 8 n ) λ + 8 n 0 0 0 0 λ + 8 n 2 ( λ 8 n ) λ + 8 n 0 0 0 0 λ + 8 n λ 8 n + 1 4 n λ 4 1 1 0 0 0 1 λ 4 n + 1 1 0 0 0 1 1 λ 4 n + 1 = 2 ( λ 8 n ) 1 ( λ + 8 n ) 2 2 ,
where
1 = 2 ( λ 8 n ) λ + 8 n 0 0 0 λ + 8 n 2 ( λ 8 n ) λ + 8 n 0 0 0 λ + 8 n λ 8 n + 1 4 n λ 4 1 1 0 0 1 λ 4 n + 1 1 0 0 1 1 λ 4 n + 1 4 n 1 ,
and
2 = 2 ( λ 8 n ) λ + 8 n 0 0 λ + 8 n λ 8 n + 1 4 n λ 4 1 1 0 1 λ 4 n + 1 1 0 1 1 λ 4 n + 1 4 n 2 .
For notational convenience, we set
3 = λ 8 n + 1 4 n λ 4 1 1 1 λ 4 n + 1 1 1 1 λ 4 n + 1 4 n 3 .
We now are ready to compute the values of 1 , 2 and 3 . Note that
3 = λ 4 n + 1 1 1 1 λ 4 n + 1 1 1 1 λ 4 n + 1 4 n 3 + 4 n 4 n λ 4 1 1 0 λ 4 n + 1 1 0 1 λ 4 n + 1 4 n 3 = ( λ 3 ) ( λ 4 n ) 4 n 4 4 n ( λ 3 ) ( λ 4 n ) 4 n 5 .
Thus,
2 = 2 ( λ 8 n ) 3 ( λ + 8 n ) 2 · ( λ 4 ) ( λ 4 n ) 4 n 5 = 2 ( λ 8 n ) ( λ 3 ) ( λ 4 n ) 4 n 4 ( λ 2 4 λ + 8 n ) ( λ 8 n ) ( λ 4 n ) 4 n 5 .
And then we have
1 = 2 ( λ 8 n ) 2 ( λ + 8 n ) 2 3 = 3 ( λ 3 ) ( λ 8 n ) 2 ( λ 4 n ) 4 n 4 2 ( λ 2 ( 2 n + 4 ) λ + 14 n ) ( λ 8 n ) 2 ( λ 4 n ) 4 n 5 .
Combining 1 and 2 , it follows that
| λ I 4 n K C ( ( λ 7 ) I 4 n + F ) 1 C T | = 2 ( λ 8 n ) 1 ( λ 8 n ) 2 2 = λ ( λ 8 n ) 4 ( λ 4 n ) 4 n 5 ,
which together with | ( λ 7 ) I 4 n + F | = ( λ 4 ) n ( λ 8 ) 3 n leads to the required result. □
As byproducts of Theorem 3, we obtain the following corollaries.
Corollary 5.
For odd n 2 , the Laplacian spectrum of Γ ( S D 8 n ) is
L - spec ( Γ ( S D 8 n ) ) = { 0 1 , 4 n , 8 3 n , ( 4 n ) 4 n 5 , ( 8 n ) 4 } .
Corollary 6.
For odd n 2 , the Laplacian energy of Γ ( S D 8 n ) is
L E ( Γ ( S D 8 n ) ) = 16 n 2 + 24 n 32 .
Corollary 7.
For odd n 2 , the number of spanning trees of Γ ( S D 8 n ) is
st ( Γ ( S D 8 n ) ) = 2 19 n 1 n 4 n 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 8 n when n is even, then we have Γ ( S D 8 n ) = K 2 2 n K 2 K 4 n 2 . For notational convenience, we first define
X = 0 1 1 1 0 1 1 1 0 , Y = 1 1 1 1 1 1 0 0 0 , Z = 0 I 2 n I 2 n 0 .
Here, X , Y and Z are all of order 4 n . We then denote V = 3 I 4 n Z and
U = 8 n 1 1 1 1 1 8 n 1 1 1 1 1 4 n 1 1 1 1 1 4 n 1 ,
then
L = U Y Y T V .
Theorem 4.
For even n 2 , the characteristic polynomial of the Laplacian matrix of Γ ( S D 8 n ) is
p L ( λ ) = λ ( λ 4 ) 2 n ( λ 2 ) 2 n ( λ 4 n ) 4 n 3 ( λ 8 n ) 2 .
Proof. 
By Theorem 2.2 of [10], we have
p L ( λ ) = | λ I 8 n L | = λ I 4 n U Y Y T λ I 4 n V = | λ I 4 n V | · | λ I 4 n U Y ( λ I 4 n V ) 1 Y T | .
Upon computations, we get | λ I 4 n V | = ( ( λ 3 ) 2 1 ) 2 n , and Theorem 2.4 of [10] yields
( λ I 4 n V ) 1 = ( λ 3 ) I 2 n I 2 n I 2 n ( λ 3 ) I 2 n 1 = λ 3 ( λ 3 ) 2 1 I 2 n 1 ( λ 3 ) 2 1 I 2 n 1 ( λ 3 ) 2 1 I 2 n λ 3 ( λ 3 ) 2 1 I 2 n .
Then
| λ I 4 n U Y ( λ I 4 n V ) 1 Y T | = λ 8 n + 1 4 n λ 2 1 4 n λ 2 1 1 1 4 n λ 2 λ 8 n + 1 4 n λ 2 1 1 1 1 λ 4 n + 1 1 1 1 1 λ 4 n + 1 = 2 ( λ 8 n ) λ + 8 n 0 0 λ + 8 n λ 8 n + 1 4 n λ 2 1 1 0 1 λ 4 n + 1 1 0 1 1 λ 4 n + 1 = 2 ( λ 8 n ) Ψ 1 ( 8 n λ ) 2 Ψ 2 ,
where
Ψ 1 = λ 8 n + 1 4 n λ 2 1 1 1 λ 4 n + 1 1 1 1 λ 4 n + 1 4 n 1 ,
and
Ψ 2 = λ 4 n + 1 1 1 1 λ 4 n + 1 1 1 1 λ 4 n + 1 4 n 2 .
It is not hard to find that
Ψ 1 = ( λ 1 ) ( λ 4 n ) 4 n 2 4 n + 4 n λ 2 ( λ 2 ) ( λ 4 n ) 4 n 3 ,
and
Ψ 2 = ( λ 2 ) ( λ 4 n ) 4 n 3 .
Therefore, we conclude that
| λ I 4 n U Y ( λ I 4 n V ) 1 Y T | = 2 ( λ 8 n ) Ψ 1 ( 8 n λ ) 2 Ψ 2 = λ ( λ 8 n ) 2 ( λ 4 n ) 4 n 3 .
This completes the proof. □
From Theorem 4, one could get the following corollaries similarly.
Corollary 8.
For even n 2 , the Laplacian spectrum of Γ ( S D 8 n ) is
L - spec ( Γ ( S D 8 n ) ) = { 0 1 , 4 2 n , 2 2 n , ( 4 n ) 4 n 3 , ( 8 n ) 2 } .
Corollary 9.
For even n 2 , the Laplacian energy of Γ ( S D 8 n ) is
L E ( Γ ( S D 8 n ) ) = 16 n 2 4 n + 4 .
Corollary 10.
For even n 2 , the number of spanning trees of Γ ( S D 8 n ) is
st ( Γ ( S D 8 n ) ) = 2 14 n 3 n 4 n 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 8 n is a semidihedral group and Γ ( S D 8 n ) is the commuting graph on S D 8 n , for n 2 . Then
  • For odd n , κ ( Γ ( S D 8 n ) ) = 4 ;
  • For even n , κ ( Γ ( S D 8 n ) ) = 2 ;
  • Γ ( S D 8 n ) is not Hamiltonian for both odd and even n .
Proof. 
(1) For an odd integer n, since we know that the center Z ( S D 8 n ) = { e , a n , a 2 n , a 3 n } of S D 8 n is adjacent to all other vertices of Γ ( S D 8 n ) , so using Remark 1, we have the graph becomes disconnected into n + 1 components by deletion of Z ( S D 8 n ) . Therefore, κ ( Γ ( S D 8 n ) ) = 4 .
(2) For an even integer n , since we know that the center Z ( S D 8 n ) = { e , a 2 n } of S D 8 n is adjacent to all other vertices of Γ ( S D 8 n ) , so using Remark 1, the graph becomes disconnected into 2 n + 1 components by deletion of Z ( S D 8 n ) . Therefore, κ ( Γ ( S D 8 n ) ) = 2 .
(3) For an odd integer n 2 , we have | Z ( S D 8 n ) | = 4 and the components of Γ ( S D 8 n ) Z ( S D 8 n ) are n + 1 4 . Also, for an even integer n, we have | Z ( S D 8 n ) | = 2 and the components of Γ ( S D 8 n ) Z ( S D 8 n ) are 2 n + 1 2 . Therefore, by Proposition 7.2.3 of [13], we have Γ ( S D 8 n ) is not Hamiltonian. □
Theorem 6.
Let Γ ( S D 8 n ) be the commuting graph of the semidihedral group S D 8 n for n 2 . Then Γ ( S D 8 n ) is nonplanar.
Proof. 
Note that a is cyclic subgroup of order 4 n . It suffices to show that the commuting graph Γ ( S D 8 n ) is nonplanar if and only if the subgraph induced by a is nonplanar. Since a is cyclic, Γ ( S D 8 n ) is nonplanar for n 2 . □
Theorem 7.
For odd n 5 , we have σ ( Γ ( S D 8 n ) ) = 7 . Moreover, for every 0 i n 1 , we have E [ b a i , { e , a n , a 2 n , a 3 n , b a n + i , b a 2 n + i , b a 3 n + i } ] , E [ b a n + i , { e , a n , a 2 n , a 3 n , b a i , b a 2 n + i , b a 3 n + i } ] , E [ b a 2 n + i , { e , a n , a 2 n , a 3 n , b a i , b a n + i , b a 3 n + i } ] , and E [ b a 3 n + i , { e , a n , a 2 n , a 3 n , b a i , b a n + i , b a 2 n + i } ] are minimum disconnecting sets of Γ ( S D 8 n ) .
Proof. 
Suppose u Φ 1 , so d ( u ) ϕ ( 4 n ) + 1 9 . Now let v Φ 2 , the only vertices adjacent to v in Γ ( S D 8 n ) are elements of Φ 2 { v } , and so d ( v ) = 7 . Hence, we conclude that σ ( Γ ( S D 8 n ) ) = 7 . It is clear from the structure of Γ ( S D 8 n ) when n is odd, N ( b a i ) = { e , a n , a 2 n , a 3 n , b a n + i , b a 2 n + i , b a 3 n + i , } where 0 i n 1 . Since σ ( Γ ( S D 8 n ) ) = d ( b a i ) = 7 , we have E [ b a i , { e , a n , a 2 n , a 3 n , b a n + i , b a 2 n + i , b a 3 n + i } ] is the minimum disconnecting set of Γ ( S D 8 n ) . Similarly, we have E [ b a n + i , { e , a n , a 2 n , a 3 n , b a i , b a 2 n + i , b a 3 n + i } ] , E [ b a 2 n + i , { e , a n , a 2 n , a 3 n , b a i , b a n + i , b a 3 n + i } ] , and E [ b a 3 n + i , { e , a n , a 2 n , a 3 n , b a i , b a n + i , b a 2 n + i } ] are minimum disconnecting sets of Γ ( S D 8 n ) .  □
Theorem 8.
For even n 2 , we have σ ( Γ ( S D 8 n ) ) = 3 . Moreover, for every 0 i 2 n 1 , we have E [ b a i , { e , a 2 n , a 2 n + i } ] and E [ b a 2 n + i , { e , a 2 n , b a i } ] are minimum disconnecting sets of Γ ( S D 8 n ) .
Proof. 
Similar to the proof of Theorem 7. □

Author Contributions

Conceptualization, T.C., W.L., F.E.-S., Y.L. and M.D.; investigation, W.L. and M.D.; data analysis, F.E.-S. and T.C.; writing the paper, M.D.; Y.L.; supervision, T.C., Y.L. and M.D.; project administration, M.D. All authors have read and agreed to the published version of the manuscript.

Funding

Weijun Liu was supported by NSFC (Grant Nos. 11871479, 12071484), Hunan Provincial Natural Science Foundation (2020JJ4675, 2018JJ2479) and Mathematics and Interdisciplinary Sciences Project of CSU. Matthias Dehmer thanks the Austrian Science Foundadtion to support this work (P 30031).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

Sample Availability

Samples of the compounds are available from the authors.

References

  1. Bundy, D. The connectivity of commuting Graphs. J. Combin. Theory Ser. A 2006, 113, 995–1007. [Google Scholar] [CrossRef] [Green Version]
  2. Ali, F.; Li, Y. The connectivity and the spectral radius of commuting graphs on certain finite groups. Linear Multilinear Algebra 2019. [Google Scholar] [CrossRef]
  3. Cheng, T.; Feng, L.; Huang, H. Integral Cayley graphs over dicyclic group. Linear Algebra Appl. 2019, 566, 121–137. [Google Scholar] [CrossRef]
  4. Cheng, T.; Feng, L.; Liu, W. Directed Strongly Regular Cayley Graphs over Metacyclic Groups of Order 4n. Mathematics 2019, 7, 1011. [Google Scholar] [CrossRef] [Green Version]
  5. Gutman, I. The energy of a graph. Ber. Math. Stat. Sekt. Forschungszent. Graz. 1978, 103, 1–22. [Google Scholar]
  6. Li, X.; Shi, Y.; Gutman, I. Graph Energy; Springer: New York, NY, USA, 2012. [Google Scholar]
  7. Walikar, H.B.; Gutman, I.; Hampiholi, P.R.; Ramane, H.S. Non-hyperenergetic graphs. Graph Theory Notes N. Y. 2001, XLI, 14–16. [Google Scholar]
  8. Mohar, B. The Laplacian spectrum of graphs. In Graph Theory, Combinatorics and Applications, 2nd ed.; Alavi, Y., Chartrand, G., Oellermann, O.R., Schwenk, A.J., Eds.; Wiley: Hoboken, NJ, USA, 1991; pp. 871–898. [Google Scholar]
  9. Harary, F. Graph Theory; Addision-Wesley Reading: Boston, MA, USA, 1969. [Google Scholar]
  10. Zhang, F. Matrix Theory: Basic Results and Techniques, 2nd ed.; Springer: New York, NY, USA, 2011. [Google Scholar]
  11. Cvetković, D.; Rowlinson, P.; Simić, S. An Introduction to the Theory of Graph Spectra; Cambridge University Prese: London, UK, 2010. [Google Scholar]
  12. Brouwer, A.E.; Haemers, W.H. Spectra of Graphs; Springer: New York, NY, USA, 2012. [Google Scholar]
  13. West, D.B. Introduction to Graph Theory; Prentice-Hall: New Delhi, India, 2003. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Cheng, T.; Dehmer, M.; Emmert-Streib, F.; Li, Y.; Liu, W. Properties of Commuting Graphs over Semidihedral Groups. Symmetry 2021, 13, 103. https://doi.org/10.3390/sym13010103

AMA Style

Cheng T, Dehmer M, Emmert-Streib F, Li Y, Liu W. Properties of Commuting Graphs over Semidihedral Groups. Symmetry. 2021; 13(1):103. https://doi.org/10.3390/sym13010103

Chicago/Turabian Style

Cheng, Tao, Matthias Dehmer, Frank Emmert-Streib, Yongtao Li, and Weijun Liu. 2021. "Properties of Commuting Graphs over Semidihedral Groups" Symmetry 13, no. 1: 103. https://doi.org/10.3390/sym13010103

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop