The Seidel Eigenvalues Polynomial and Spectrum of the Petersen Graph

Abstract

For a simple undirected graph G, let A( G ) be the (0, 1) adjacency matrix of G. The Seidel matrix of G, is defined as S( G )=JI2A( G ) , where J is the all-one matrix and I is the identity matrix. The Seidel eigenvalues polynomial of the graph G is S G ( λ )=det( λIS( G ) ) . If all the Seidel eigenvalues of the graph G are integers, then G is called a Seidel integer graph. In this paper, we apply methods from algebraic and matrix theory to obtain the Seidel eigenvalue polynomials of the Petersen graph. Furthermore, we determine whether the Petersen graph is a Seidel integral graph.

Share and Cite:

Zhou, D. and Lv, S. (2025) The Seidel Eigenvalues Polynomial and Spectrum of the Petersen Graph. Open Journal of Applied Sciences, 15, 1025-1032. doi: 10.4236/ojapps.2025.154071.

1. Introduction

Throughout this paper, we consider finite undirected simple graphs and follow the notation and terminology of [1].

Let G be a simple graph with n vertices. We use A(G) and S( G )=JI2A( G ) to denote the adjacency matrix and the Seidel matrix of G, respectively. Let λ 1 , λ 2 ,, λ n be n distinct eigenvalues of S G ( λ ) with the corresponding multiplicities k 1 , k 2 ,, k n . We denote the Seidel spectrum of G as Spec( G )={ λ 1 k 1 , λ 2 k 2 ,, λ n k n } . A graph is called an integral graph when all of its eigenvalues are integers. The eigenvalues of A(G) (resp., S(G)) will be referred to as eigenvalues (resp., Seidel eigenvalues) of G.

The research of graph theory originated in 1957 and was mentioned by L. Collatz and U. Sinogowitz in reference [2]. The spectrum of a graph characterizes some structural properties of the graph, which plays an important role in the research of other problems. In particular, it is closely related to the energy of the graph and the indices of the graph. The concept of integral graphs was first introduced by F. Harary and A. J. Schwenk [3] in 1973. They showed that if a graph is integral, then its complement and line graphs are also integral. Furthermore, if G 1 and G 2 are two integral graphs, their union, join, Cartesian product, and strong product graphs are also integral. Additionally, they characterized certain cases of integral trees.

Since then, much attention has been paid to this topic, but they mainly focus on undirected graphs and integral trees.

Theorem1.1 (Lv Shengmei [4]) The Seidel eigenvalues polynomial and its spectrum for the complete graph are given, and it is proven that the complete graph is a Seidel integral graph.

Theorem1.2 (Lv Shengmei [5]) All trees with a diameter of 2 are Seidel integral trees, and the sufficient and necessary conditions for a tree with a diameter of 3 to be a Seidel integral tree have been provided.

In order to study the problem of equiangular line systems in Euclidean space, Van Lint and Seidel introduced the concept of the Seidel matrix of a graph G in [6]. This problem has also been widely studied.

The adjacency matrix of G is A=A( G )= ( a ij ) n×n , which is an n-order square matrix. Its definition is as follows:

a ij ={ 1 v i ~ v j 0 v i v j , where a ii =0 a ij = a ji

Therefore, A( G ) is a real symmetric matrix.

Let A( G ) be the (0, 1) adjacency matrix of G. The Seidel matrix of G, is defined as S( G )=JI2A( G ) . The Seidel eigenvalues polynomial of G is S G ( λ )=det( λIS( G ) ) , which can be written as S G ( λ )= s 0 λ n + s 1 λ n1 ++ s n λ 0 ,where J is the all-one matrix and I is the identity matrix.

In 2008, Zeng in [7] proved the main eigenvalue of the Seidel matrix can be obtained from the principal eigenvalue and the corresponding eigenvector of its adjacency matrix.

Theorem 1.3 (Zeng Changxiong [7]) Let λ 1 , λ 2 ,, λ n be the main eigenvalues of A( G ) , a 1 , a 2 ,, a m be the corresponding unit orthogonal vectors.

In 2014, Wang et al. presented in [8] the necessary and sufficient conditions for a complete multipartite graph to be a Seidel integral graph, and also constructed some Seidel integral graphs. Berman et al. in [9] gave the sufficient conditions for a complete multipartite graph determined by the Seidel spectrum under the Seidel transformation. Greaves in [10] gave the necessary and sufficient conditions for a graph with exactly three distinct Seidel eigenvalues to be a regular graph. In [11], Haemers studied the Seidel energy of graphs and proposed a conjecture about the lower bound of the Seidel energy: for all graphs G with n vertices, the complete graph has the minimum Seidel energy.

Another interesting problem in the spectral theory of graphs is whether the spectrum of a graph can be predicted based on its structure. This problem can be solved by using various operations on graphs. Up to now, graph spectrum theory has yielded many results, yet most of them are related to the Adjacency eigenvalue polynomial and its spectrum, the Laplacian eigenvalue polynomial and its spectrum, and the Signless Laplacian eigenvalue polynomial and its spectrum [12]. There are relatively few results on the research of the Seidel eigenvalue polynomial and its spectrum, and the main references found in [4]-[15].

The Petersen graph (Figure 1) is the simple graph whose vertices are the 2-element subsets of a 5-element set and whose edges are the pairs of disjoint 2-element subsets.

The energy of a graph G is the sum of the absolute values of the eigenvalues of the adjacency matrix of G. The energy of a graph is related to the eigenvalues of the graph, that is, it is related to the graph spectrum. Haemers defined in [11] the Seidel energy as the sum of the absolute values of the eigenvalues of the Seidel matrix. Besides, he also proved the upper and lower bounds of the Seidel energy and proposed a conjecture that among all graphs with n vertices, the complete graph K n has the minimum Seidel energy. This conjecture was proved to be true for n10 by Robin Swinkels.

Based on the previous results, we want to consider the Seidel eigenvalues of the Petersen graph class. However, when each vertex of the Petersen graph is replaced by a cycle, the structure of the graph becomes complex and the Seidel matrix grows extremely large, which requires the aid of algorithms to solve. Thus, in this paper, we mainly characterized the Seidel polynomial and spectrum of the Petersen graph.

Theorem 1.4 Let G be the Petersen graph, then the Seidel eigenvalues polynomial of the graph G is

S G ( λ )= λ 10 45 λ 8 +818 λ 6 7218 λ 4 +324 λ 3 +32805 λ 2 +5.1× 10 12 λ59049.

Theorem 1.5 Let G be the Petersen graph, then G is a Seidel integral graph.

2. Preliminary Lemmas

In this section, we propose several essential preliminary lemmas, which are very useful for the proof of our main result.

Definition 2.1 (Huang Youdu, Di Chengen, Zhu Shixin [10]). In an n order square matrix A=( a ij ) , arbitrarily select k rows and k columns with the same row and column indices ( 1kn ). The sum of the k order determinants composed of k 2 elements, located at the intersections of these k rows and k columns in their original positions , is called the k order trace of the square matrix A, denoted as t r [ k ] ( A ) , that is,

t r [ k ] ( A )= 1 i 1 < i 2 << i k n | a i 1 i 1 a i 1 i k a i k i 1 a i k i k | ( k=1,2,,n ) (1)

where, a i t i s ( 1 i t , i s n , t,s=1,2,,k ; i 1 < i 2 << i k ) , it is the element located at the intersection of the i t row and the i s column in A.

The k order trace of an n order square matrix, t r [ k ] ( A ) is the sum of C n k determinants of order k.

According to Equation (1), we can obtain that:

t r [ 1 ] ( A )= i=1 n a ii = a 11 + a 22 ++ a nn ;

t r [ 2 ] ( A )= 1i<jn | a ii a ij a ji a jj | =| a 11 a 12 a 21 a 22 |+| a 11 a 13 a 31 a 33 |++| a 11 a 1n a n1 a nn |++| a n1,n1 a n1,n a n,n1 a n,n |;

t r [ 3 ] ( A )= 1 i 1 < i 2 < i 3 n | a i 1 i 1 a i 1 i 2 a i 1 i 3 a i 2 i 1 a i 2 i 2 a i 2 i 3 a i 3 i 1 a i 3 i 2 a i 3 i 3 | =| a 11 a 12 a 13 a 21 a 22 a 23 a 31 a 32 a 33 |+| a 11 a 14 a 15 a 41 a 44 a 45 a 51 a 54 a 55 |++| a 11 a 1,n1 a 1,n a n1,1 a n1,n1 a n1,n a n,1 a n,n1 a nn | ++| a n1,n1 a n1,n a n1,n+1 a n,n1 a n,n a n,n+1 a n+1,n1 a n+1,n a n+1,n+1 |

In the same way, we can get:

t r [ n ] ( A )=| a 11 a 1n a n1 a nn |=| A |

Lemma 2.2 (Huang Youdu, Di Chengen, Zhu Shixin [16]). The eigenvalues polynomial f( λ )=| λIA | of the n order square matrix A, can be written in the following form:

f( λ )= k=1 n ( 1 ) k t r [ k ] ( A ) λ nk

where, t r [ 0 ] ( A )=1 , t r [ k ] ( A )= 1 i 1 < i 2 << i k n | a i 1 i 1 a i 1 i k a i k i 1 a i k i k | ( k=1,2,,n ).

For the convenience of subsequent calculations, we use m( t r [ k ] ( A ) ) to represent the number of t r [ k ] ( A ) .

3. Proof of Main Results

In what follows, we verify Theorem 1.4.

Proof of Theorem 1.4. Let G be the Petersen graph (Figure 1), then A( G ) be the (0, 1) adjacency matrix of the Petersen graph.

Figure 1. Petersen graph.

A( G )=( 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 ) 

Therefore, the Seidel matrix of the Petersen graph is S( G ) .

S( G )=( 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 )

The Seidel eigenvalues polynomial corresponding to it is denoted as S G ( λ )= s 0 λ n + s 1 λ n1 ++ s n λ 0 .

It can be obtained from Definition 2.1:

S 0 =t r [ 0 ] ( S( G ) )=1 ;

Since, S 1 = ( 1 ) 1 t r [ 1 ] ( S( G ) ) , m( t r [ 1 ] ( S( G ) ) )= C 10 1 =10 . Thus,

S 1 = a 11 + a 22 + a 33 + a 44 + a 55 ++ a 1010 =0 ;

Since, S 2 = ( 1 ) 2 t r [ 2 ] ( S( G ) ) , m( t r [ 2 ] ( S( G ) ) )= C 10 2 =45 . Thus,

S 2 =15| 0 1 1 0 |+30| 0 1 1 0 |=45 ;

Since, S 3 = ( 1 ) 3 t r [ 3 ] ( S( G ) ) , m( t r [ 3 ] ( S( G ) ) )= C 10 3 =120 . Thus,

S 3 =8| 0 1 1 1 0 1 1 1 0 |+14| 0 1 1 1 0 1 1 1 0 |+30| 0 1 1 1 0 1 1 1 0 |+23| 0 1 1 1 0 1 1 1 0 | +23| 0 1 1 1 0 1 1 1 0 |+14| 0 1 1 1 0 1 1 1 0 |+8| 0 1 1 1 0 1 1 1 0 | =0;

Similarly, we can obtain:

S 4 = ( 1 ) 4 t r [ 4 ] ( S( G ) ) , m( t r [ 4 ] ( S( G ) ) )= C 10 4 =210 , that is, S 4 =818 ;

S 5 = ( 1 ) 5 t r [ 5 ] ( S( G ) ) , m( t r [ 5 ] ( S( G ) ) )= C 10 5 =252 , that is, S 5 =0 ;

S 6 = ( 1 ) 6 t r [ 6 ] ( S( G ) ) , m( t r [ 6 ] ( S( G ) ) )= C 10 6 =210 , that is, S 6 =7218 ;

S 7 = ( 1 ) 7 t r [ 7 ] ( S( G ) ) , m( t r [ 7 ] ( S( G ) ) )= C 10 7 =120 , that is, S 7 =324 ;

S 8 = ( 1 ) 8 t r [ 8 ] (S( G ) , m( t r [ 8 ] ( S( G ) ) )= C 10 8 =45 , that is, S 8 =32805 ;

S 9 = ( 1 ) 9 t r [ 9 ] ( S( G ) ) , m( t r [ 9 ] ( S( G ) ) )= C 10 9 =10 , that is, S 9 =5.1× 10 12 ;

S 10 = ( 1 ) 10 t r [ 10 ] ( S( G ) ) , m( t r [ 10 ] ( S( G ) ) )= C 10 10 =1 , that is,

S 10 =( 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 )=59049

Therefore, the Seidel eigenvalues polynomial of the Petersen graph G is

S G ( λ )= λ 10 45 λ 8 +818 λ 6 7218 λ 4 +324 λ 3 +32805 λ 2 +5.1× 10 12 λ59049 .

That is, Theorem 1.4 is proved.

In what follows, we verify Theorem 1.5.

Proof of Theorem 1.5. Let G be the Petersen graph (Figure 1),

S G ( λ )= λ 10 45 λ 8 +818 λ 6 7218 λ 4 +324 λ 3 +32805 λ 2 +5.1× 10 12 59049 = ( λ+3 ) 5 ( λ3 ) 5

Let S G ( λ )=0 , then we get: λ 1 = λ 2 = λ 3 = λ 4 = λ 5 =3 , λ 6 = λ 7 = λ 8 = λ 9 = λ 10 =3 .

Obviously, the Seidel eigenvalues of the Petersen graph are integers. That is to say, the Petersen graph is a Seidel integral graph.

4. Remarks

This paper primarily investigates whether the Petersen graph is a Seidel integral graph. It concludes that the Petersen graph is indeed a Seidel integral graph and provides the Seidel eigenvalues polynomial for the Petersen graph.

It is also noted that when each vertex of the Petersen graph is replaced with a cycle, the structure of the graph becomes complex and the Seidel matrix grows extremely large. This complexity makes it challenging to obtain its eigenvalues polynomial. Consequently, the Seidel eigenvalues polynomial of the Petersen graph in a more general case, as well as results related to Seidel integral graphs, have not been derived in this paper.

After that, we hope to use algorithms to solve the problem of Seidel eigenvalues of the Petersen graph class, and obtain the Seidel energy of this class of graphs. Additionally, we will explore the role that the graph energy plays in the quantitative structure, properties and activities.

Funding

This work was supported by Project 07M2024011 of the 2024 School Level at Qinghai Minzu University.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Bondy, J.A. and Murty, U.S.R. (1976) Graph Theory with Applications. Macmillan, London and Elsevier.
[2] Von Collatz, L. and Sinogowitz, U. (1957) Spektren endlicher grafen. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 21, 63-77.
https://doi.org/10.1007/bf02941924
[3] Harary, F. and Schwenk, A.J. (1974) Which Graphs Have Integral Spectra? In: Lecture Notes in Mathematics, Springer, 45-51.
https://doi.org/10.1007/bfb0066434
[4] Lv, S.M. (2008) The Seidel Polynomial and Spectrum of Complete Graphs. Journal of Qinghai Normal University (Natural Science Edition), 4, 7-9.
[5] Lv, S.M. (2013) Some Results about the Seidel Integral Tree. Journal of Qinghai Normal University (Natural Science Edition), 29, 6-10.
[6] Van Lint, J.H. and Seidel, J.J. (1991) Equilateral Point Sets in Elliptic Geometry. In: Geometry and Combinatorics, Elsevier, 3-16.
https://doi.org/10.1016/b978-0-12-189420-7.50008-6
[7] Zeng, C.X. (2009) The Principal Eigenvalues of the Seidel Matrix of Graphs. Journal of Shaoyang University (Natural Science Edition), 1, 12.
[8] Wang, L., Zhao, G. and Li, K. (2012) Seidel Integral Complete r-Partite Graphs. Graphs and Combinatorics, 30, 479-493.
https://doi.org/10.1007/s00373-012-1276-6
[9] Berman, A., Shaked-Monderer, N., Singh, R. and Zhang, X. (2019) Complete Multipartite Graphs That Are Determined, up to Switching, by Their Seidel Spectrum. Linear Algebra and its Applications, 564, 58-71.
https://doi.org/10.1016/j.laa.2018.11.022
[10] Greaves, G.R.W. (2018) Equiangular Line Systems and Switching Classes Containing Regular Graphs. Linear Algebra and Its Applications, 536, 31-51.
https://doi.org/10.1016/j.laa.2017.09.008
[11] Haemers, W.H. (2012) Seidel Switching and Graph Energy. SSRN Electronic Journal.
https://doi.org/10.2139/ssrn.2026916
[12] Cvetkovic, D.M., Doob, M. and Sachs, H. (1980) Spectra of Graphs Theory and Application. Deutscher Verlag der Wissenschaften-Academic Press, 29-31.
[13] Lv, S.M. (2011) The Seidel Polynomial and Spectrum of Complete Four-Partite Graphs. Journal of Northwest Normal University (Natural Science Edition), 47, 22-25.
[14] Lv, S.M. (2011) The Seidel Eigenvalues Polynomials and S-Integral Graphs of Some Special Graphs. Journal of Qinghai Minzu University for Nationalities (Educational Science Edition), 31, 21-24.
[15] Zhao, N., Wu, T.Z. and Guo, C.Z. (2013) The Complete Six-Partite Graphs Is a Necessary and Sufficient Condition for an S-Integral Graphs. Pure Mathematics and Applied Mathematics, 2, 132-138.
[16] Huang, Y.D., Di, C.G. and Zhu, S.X. (2002) Matrix Theory and Its Application. University of Science and Technology of China Press.

Copyright © 2025 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.