Orderenergetic, hypoenergetic and equienergetic graphs resulting from some graph operations
Abstract
A graph is said to be orderenergetic, if its energy equal to its order and it is said to be hypoenergetic if its energy less than its order. Two non-isomorphic graphs of same order are said to be equienergetic if their energies are equal. In this paper, we construct some new families of orderenergetic graphs, hypoenergetic graphs, equienergetic graphs, equiorderenergetic graphs and equihypoenergetic graphs.
AMS classification: 05C50
Keywords: orderenergetic graphs, equienergetic graphs, hypoenergetic graphs, equiorderenergetic graphs, equihypoenergetic graphs.
1 Introduction
In this paper, we consider simple undirected graphs. Let be a simple graph of order and size with vertex set and edge set . The adjacency matrix of the graph is a square symmetric matrix of order whose entry is defined by
The eigenvalues of the graph are defined as the eigenvalues of its adjacency matrix . If are the distinct eigenvalues of , then the spectrum of can be written as , where indicates the algebraic multiplicity of the eigenvalue , of .
The energy [7] of the graph is defined as . More results on graph energy are reported in [7, 2]. Two non-isomorphic graphs are said to be cospetral if they have the same spectrum, otherwise they are known as non-cospectral.
Two non-isomorphic graphs of the same order are said to be equienergetic if they have the same energy[12]. A graph of order is said to be hyperenergetic if its energy is greater than , otherwise graph is non hyperenergetic.
Graphs of order with energy equal to is called orderenergetic graphs[1]. The number of graphs whose energy equal to its order are relatively small. So we are trying to find new families of orderenergetic graphs. The orderenergetic graphs are studied in [1].
The spectrum of complete bipartite graph is
Then , so is orderenergetic for every . So our interest is to find the orderenergetic graphs other than . In 2007, I.Gutman et al. [10] introduced the definition of hypoenergetic graphs. A graph is said to be hypoenergetic if its energy is less than its order, otherwise it is said to be non hypoenergetic. The properties of hypoenergetic graphs are discussed in detail [6, 9, 10].
In the chemical literature there are many graphs for which the energy exceeds the order of graphs. In 1973, England and Ruedenberg published a paper [5] in which they
asked
“why does the graph energy exceed the
number of vertices?”. In 2007, Gutman [8] had proved that
if the graph G is regular of any non-zero degree, then G is non hypoenergetic. The orderenergetic and hypoenergetic graphs have several applications in theoretical chemistry. A graph is said to be integral if all of its eigenvalues are integers.
The aim of this paper is to construct new families of
orderenergetic, hypoenergetic and equienergetic graphs using some graph operations.
The complement graph of is a graph with vertex set same as that of and two vertices in are adjacent only if they are not adjacent in . We shall use the following notations throughout this paper, , , and denotes cycle on vertices, complete graph on vertices, path on vertices and complete bipartite graph on vertices respectively. The symbols and will stands for the identity matrix of order and matrix with all entries are ones respectively.
The rest of the paper is organized as follows. In Section 2, we state some previously known results that will be needed in the subsequent sections. In Section 3, we construct some orderenergetic graphs.
In Section 4, some new families of hypoenergetic graphs are presented. In Section 5, an infinite family of equienergetic, equiorderenergetic and equihypoenergetic graphs are given.
2 Preliminaries
In this section, we recall the concepts of the -splitting graph, the -shadow graph and the -duplicate graph of a graph and list some previously established results.
Definition 2.1.
[4] The Kronecker product of two graphs and is a graph with vertex set and the vertices and are adjacent if and only if and are edges in and respectively.
Definition 2.2.
[4] Let and be two matrices of order and respectively. Then the Kronecker product of and is defined as follows
Proposition 2.1.
[4] Let be two matrices of order . Let be an eigenvalue of matrix with corresponding eigenvector and be an eigenvalue of matrix with corresponding eigenvector , then is an eigenvalue of with corresponding eigenvector
Lemma 2.1.
[3]. If and are any two graphs, then .
Definition 2.3.
[3]. The join of graphs and , is obtained from by joining every vertex of with every vertex of .
Proposition 2.2.
[4]. If is a -regular graph with vertices and is a -regular graph with vertices, then the characteristic polynomial of is given by
Definition 2.4.
[15] Let be a graph.Then the -splitting graph of a graph , is obtained by adding to each vertex of new vertices say, such that , is adjacent to each vertex that is adjacent to in G. The adjacency matrix of -splitting graph of is
Proposition 2.3.
[15] Let be a graph. Then the energy of -splitting graph of is,
Definition 2.5.
[15]
Let be a graph. Then the -shadow graph of a connected graph is obtained by taking m copies of say, then join each vertex in to the neighbors of the corresponding vertex in
The adjacency matrix of m-shadow graph of is
Note that the number of vertices in is .
If , then the graph is called shadow graph of .
Lemma 2.2.
[15] Let be any graph. Then
Definition 2.6.
[13].
Let be a graph with vertex set and edge set . Let be a set such that , and be bijective for we write as for convenience . A duplicate graph of is , where the vertex set and the edge set of is defined as, the edge ab is in if and only if both and are in .
In general m-duplicate graph is defined as .
Note that the -duplicate graph has vertices and edges.
Note 1.[11] Energy of the duplicate graph ,
3 Construction of orderenergetic graphs
In this section, it is possible to construct an infinite family of orderenergetic graphs from the given orderenergetic graphs. Let and be orderenergetic graphs, then is orderenergetic. For example, the graph is orderenergetic, but this graph is not connected.
The following theorems give some new methods to construct an infinite family of connected orderenergetic graphs.
Theorem 3.1.
Let be a connected orderenergetic graph of order . Then the m-shadow graph, is a connected orderenergetic graph.
Proof.
Since is orderenergetic, by Lemma 2.2, So is orderenergetic. Also the -shadow graph of a connected graph is connected. ∎
Remark 3.1.
Let be an orderenergetic graph. Then the -shadow graph of a duplicate graph, is orderenergetic.
Theorem 3.2.
Let be an -regular orderenergetic graph of order . Then is orderenergetic if and only if
Proof.
Let be the eigenvalues of Since is orderenergetic, we have,
From Proposition 2.2, the characteristic polynomial of is given by
Let and be the roots of the equation . It is easy to observe that and are of opposite sign. Without loss of generality we assume that and , then , Thus the spectrum of is
Hence
If is orderenergetic, then
Also and implies that and
. ∎
Example 3.1.
Let . Then is orderenergetic.
and order of is 16.
Example 3.2.
Consider

and order of is 8.
Theorem 3.3.
Let be an orderenergetic graph with vertices. Then the -splitting graph of , is orderenergetic.
In[14], D.Stevanovic introduced the graph superpath obtained by replacing each vertex of the path with totally disconnected graph .
Two vertices and are adjacent in if and are adjacent in , . The order of is
For example, the superpath

Note that the maximum degree of is .
Theorem 3.4.
[14] The superpath is integral for each natural number m. Its spectrum consists of the simple eigenvalues and the eigenvalue 0 with multiplicity .
From this theorem, we can say that the eigenvalues of are consecutive integers .
Corollary 3.5.
The energy of is
The following corollary gives the existence of orderenergetic graph of maximum degree .
Corollary 3.6.
The graph is orderenergetic for every .
Observation 1. The graph is a graph with least maximum degree in the collection of all orderenergetic graphs having vertices.
Observation 2. Let be an orderenergetic graph. Then is an integral graph.
4 Hypoenergetic graphs
In 2007, I.Gutman et al.[10] introduced the definition of hypoenergetic graphs. In this section, we present some techniques for constructing sequence of hypoenergetic graphs.
Proposition 4.1.
Kronecker product of two hypoenergetic graphs is hypoenergetic.
Proof.
Let and be two hypoenergetic graphs with order and respectively. Then and . By Lemma 2.1, . Thus Kronecker product of and , is hypoenergetic graph. ∎
The following theorem enable us to construct infinitely many hypoenergetic graphs.
Proposition 4.2.
Let be an orderenergetic graph and be a hypoenergetic graph. Then Kronecker product of and , is hypoenergetic graph .
Proof.
Let and be two graphs with order and respectively. Since is orderenergetic, and is hypoenergetic, . By Lemma 2.1, . ∎
Example 4.1.
Let Then and . So is hypoenergetic for every .
Proposition 4.3.
Let be a hypoenergetic graph of order . Then the -shadow graph of , is hypoenergetic for every .
Example 4.2.
Let . Then and .
Remark 4.1.
Let be a hypoenergetic graph. Then the -shadow graph of duplicate graph, is hypoenergetic.
Proposition 4.4.
Let be a hypoenergetic graph of order . Then the -splitting graph of , is hypoenergetic for .
Proof.
Since is a hypoenergetic graph, . Also .
As ,
Thus is hypoenergetic graph. ∎
Let be a graph of order and we denote .
It is very interesting to construct hypoenergetic graphs from non hypoenergetic graphs.
The following theorem describes a construction of hypoenergetic graphs from the complete graph.
Theorem 4.1.
Let be a complete graph on vertices and . Then the graph is hypoenergetic.
Proof.
The energy of complete graph is and .
As ,
(4.0.1) |
Thus is hypoenergetic whenever . ∎
Remark 4.2.
The graph is non hypoenergetic but is hypoenergetic for .
Since for , so inequality (4.0.1) is satisfied for every , where , is floor of x. Thus , () is hypoenergetic whenever .
Corollary 4.2.
Let be any non hyperenergetic graph. Then is hypoenergetic for every .
5 Equienergetic graphs
In this section, we construct some new pairs of equienergetic graphs.
Proposition 5.1.
Let be a graph. Then the graphs and are non-cospectral equienergetic graphs.
Proposition 5.2.
Let be a graph and be the m-duplicate graph of . Then .
Proposition 5.3.
The graphs and are non-cospectral equienergetic graphs for all .
Proposition 5.4.
Let be a simple graph. Then is integral if and only if its -duplicate graph is integral.
The following propositions describes the class of equiorderenergetic graphs.
Proposition 5.5.
Let be an orderenergetic graph of order . Then the the graphs and are equiorderenergetic graphs.



The graphs and are equiorderenergetic graphs.
Proposition 5.6.
Let be a hypoenergetic graph. Then the graphs and are equihypoenergetic graphs.
Conclusion
In this paper, we construct some family of orderenergetic graphs from the known orderenergetic graphs. Also, some new families of hypoenergetic graphs are derived by using some graph operations. Moreover, the problem for constructing equienergetic graphs are discussed. In addition to that a new class of equiorderenergetic and equihypoenergetic graphs are obtained.
References
- [1] S. Akbari, M. Ghahremani, I. Gutman, and F. Koorepazan-Moftakhar, Orderenergetic graphs, MATCH Commun. Math. Comput. Chem 84 (2020), 325–334.
- [2] R. Balakrishnan, The energy of a graph, Linear Algebra and its Applications 387 (2004), 287–295.
- [3] Rangaswami Balakrishnan and Kanna Ranganathan, A textbook of graph theory, Springer Science & Business Media, 2012.
- [4] D. M. Cvetković, M. Doob, H. Sachs, et al., Spectra of graphs-theory and applications, vol. 10, Academic Press, New York, 1980.
- [5] W. England and K. Ruedenberg, Why is the delocalization energy negative and why is it proportional to the number of. pi. electrons, Journal of the American Chemical Society 95 (1973), 8769–8775.
- [6] I Gutman, Hyperenergetic and hypoenergetic graphs, Selected Topics on Applications of Graph Spectra, Math. Inst., Belgrade, 113–135.
- [7] I. Gutman, The energy of a graph, Ber. Math.-Statist. Sekt. Forsch. Graz 103 (1978), 1– 22.
- [8] I. Gutman, S. Z Firoozabadi, Jose A de la P, and J Rada, On the energy of regular graphs, MATCH Commun. Math. Comput. Chem 57 (2007), 435–442.
- [9] I. Gutman, X. Li, Y. Shi, and J. Zhang, Hypoenergetic trees, MATCH Commun. Math. Comput. Chem 60 (2008), 415–426.
- [10] I. Gutman and S. Radenković, Hypoenergetic molecular graphs, Indian journal of chemistry 46A (2007), 1733–1736.
- [11] G Indulal and A Vijayakumar, On a pair of equienergetic graphs, MATCH Commun. Math. Comput. Chem 55 (2006), 83–90.
- [12] Harishchandra S Ramane, Hanumappa B Walikar, Siddani Bhaskara Rao, B Devadas Acharya, I Gutman, PR Hampiholi, and Sudhir R Jog, Equienergetic graphs, Kragujevac Journal of Mathematics 26 (2004), 5–13.
- [13] E. Sampathkumar, On duplicate graphs, J. Indian Math. Soc 37 (1973), 285–293.
- [14] D. Stevanović, N. Milosavljević, and D. Vukičević, A few examples and counter examples in spectral graph theory, Discussiones Mathematicae Graph Theory 40 (2020), 637–662.
- [15] S. K. Vaidya and K. M. Popat, Energy of m-splitting and m-shadow graphs, Far East Journal of Mathematical Sciences 102 (2017), 1571–1578.