This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Orderenergetic, hypoenergetic and equienergetic graphs resulting from some graph operations

Jahfar T K 111jahfartk@gmail.com and Chithra A V 222chithra@nitc.ac.in
Department of Mathematics, National Institute of Technology, Calicut, Kerala, India-673601
Abstract

A graph GG 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 G=(V,E)G=(V,E) be a simple graph of order pp and size qq with vertex set V(G)={v1,v2,,vp}V(G)=\{v_{1},v_{2},...,v_{p}\} and edge set E(G)={e1,e2,,eq}E(G)=\{e_{1},e_{2},...,e_{q}\}. The adjacency matrix A(G)=[aij]A(G)=[a_{ij}] of the graph GG is a square symmetric matrix of order pp whose (i,j)th(i,j)^{th} entry is defined by

ai,j={1,if vi and vj are adjacent, 0,otherwise .a_{i,j}=\begin{matrix}\begin{cases}1,&\text{if $v_{i}$ and $v_{j}$ are adjacent, }\\ 0,&\text{otherwise .}\end{cases}\end{matrix}

The eigenvalues λ1,λ2,,λp\lambda_{1},\lambda_{2},...,\lambda_{p} of the graph GG are defined as the eigenvalues of its adjacency matrix A(G)A(G). If λ1,λ2,,λt\lambda_{1},\lambda_{2},...,\lambda_{t} are the distinct eigenvalues of GG, then the spectrum of GG can be written as spec(G)=(λ1λ2λtm1m2mt)spec(G)=\begin{pmatrix}\lambda_{1}&\lambda_{2}&...&\lambda_{t}\\ m_{1}&m_{2}&...&m_{t}\\ \end{pmatrix}, where mjm_{j} indicates the algebraic multiplicity of the eigenvalue λj\lambda_{j}, 1jt1\leq j\leq t of GG. The energy [7] of the graph GG is defined as ε(G)=i=1p|λi|\varepsilon(G)=\displaystyle\sum_{i=1}^{p}|{\lambda_{i}}|. 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 pp is said to be hyperenergetic if its energy is greater than 2(p1)2(p-1), otherwise graph is non hyperenergetic. Graphs of order pp with energy equal to pp 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 Kp,pK_{p,p} is

spec(Kp,p)=(p0p12p21).spec(K_{p,p})=\begin{pmatrix}-p&0&p\\ 1&2p-2&1\\ \end{pmatrix}.

Then ε(Kp,p)=2p\varepsilon(K_{p,p})=2p, so Kp,pK_{p,p} is orderenergetic for every pp. So our interest is to find the orderenergetic graphs other than Kp,pK_{p,p}. 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 G¯\overline{G} of GG is a graph with vertex set same as that of GG and two vertices in G¯\overline{G} are adjacent only if they are not adjacent in GG. We shall use the following notations throughout this paper, CpC_{p}, KpK_{p}, PmP_{m} and Kr,sK_{r,s} denotes cycle on pp vertices, complete graph on pp vertices, path on mm vertices and complete bipartite graph on r+sr+s vertices respectively. The symbols ImI_{m} and JmJ_{m} will stands for the identity matrix of order mm and m×mm\times m 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 mm-splitting graph, the mm-shadow graph and the mm-duplicate graph of a graph and list some previously established results.

Definition 2.1.

[4] The Kronecker product of two graphs G1G_{1} and G2G_{2} is a graph G1×G2G_{1}\times G_{2} with vertex set V(G1)×V(G2)V(G_{1})\times V(G_{2}) and the vertices (x1,x2)(x_{1},x_{2}) and (y1,y2)(y_{1},y_{2}) are adjacent if and only if (x1,y1)(x_{1},y_{1}) and (x2,y2)(x_{2},y_{2}) are edges in G1G_{1} and G2G_{2} respectively.

Definition 2.2.

[4] Let AMm×n()A\in M_{m\times n}(\mathbb{R}) and BMp×q()B\in M_{p\times q}(\mathbb{R}) be two matrices of order m×nm\times n and p×qp\times q respectively. Then the Kronecker product of AA and BB is defined as follows

AB=[a11Ba12Ba13Ba1nBa21Ba22Ba23Ba2nBam1Bam2Bam3BamnB].A\otimes B=\begin{bmatrix}a_{11}B&a_{12}B&a_{13}B&\dots&a_{1n}B\\ a_{21}B&a_{22}B&a_{23}B&\dots&a_{2n}B\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ a_{m1}B&a_{m2}B&a_{m3}B&\dots&a_{mn}B\\ \end{bmatrix}.
Proposition 2.1.

[4] Let A,BMn()A,B\in M_{n}(\mathbb{R}) be two matrices of order nn. Let λ\lambda be an eigenvalue of matrix AA with corresponding eigenvector xx and μ\mu be an eigenvalue of matrix BB with corresponding eigenvector yy, then λμ\lambda\mu is an eigenvalue of ABA\otimes B with corresponding eigenvector xy.x\otimes y.

Lemma 2.1.

[3]. If G1G_{1} and G2G_{2} are any two graphs, then ε(G1×G2)=ε(G1)ε(G2)\varepsilon(G_{1}\times G_{2})=\varepsilon(G_{1})\varepsilon(G_{2}).

Definition 2.3.

[3]. The join of graphs G1G_{1} and G2G_{2}, G1G2G_{1}\vee G_{2} is obtained from G1G2G_{1}\cup G_{2} by joining every vertex of G1G_{1} with every vertex of G2G_{2}.

Proposition 2.2.

[4]. If G1G_{1} is a r1r_{1}-regular graph with n1n_{1} vertices and G2G_{2} is a r2r_{2}-regular graph with n2n_{2} vertices, then the characteristic polynomial of G1G2G_{1}\vee G_{2} is given by

ϕ(G1G2,x)=ϕ(G1,x)ϕ(G2,x)(xr1)(xr2)[(xr1)(xr2)n1n2].\phi(G_{1}\vee G_{2},x)=\frac{\phi(G_{1},x)\phi(G_{2},x)}{(x-r_{1})(x-r_{2})}[(x-r_{1})(x-r_{2})-n_{1}n_{2}].
Definition 2.4.

[15] Let GG be a (p,q)(p,q) graph.Then the mm-splitting graph of a graph GG, splm(G)spl_{m}(G) is obtained by adding to each vertex vv of GG new mm vertices say, v1,v2,,vmv_{1},v_{2},...,v_{m} such that viv_{i} ,1im1\leq i\leq m is adjacent to each vertex that is adjacent to vv in G. The adjacency matrix of mm-splitting graph of GG is

A(splm(G))=[A(G)A(G)A(G)A(G)A(G)OOOA(G)OOO](m+1)p.A(spl_{m}(G))=\begin{bmatrix}A(G)&A(G)&A(G)&\dots&A(G)\\ A(G)&O&O&\dots&O\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ A(G)&O&O&\dots&O\\ \end{bmatrix}_{(m+1)p}.

Proposition 2.3.

[15] Let GG be a (p,q)(p,q) graph. Then the energy of mm-splitting graph of GG is, ε(splm(G))=1+4mε(G).\varepsilon(spl_{m}(G))=\sqrt{1+4m}\varepsilon(G).

Definition 2.5.

[15] Let GG be a (p,q)(p,q) graph. Then the mm-shadow graph Dm(G)D_{m}(G) of a connected graph GG is obtained by taking m copies of GG say, G1,G2,,GmG_{1},G_{2},...,G_{m} then join each vertex uu in GiG_{i} to the neighbors of the corresponding vertex vv in Gj,1im,1jm.G_{j},1\leq i\leq m,1\leq j\leq m. The adjacency matrix of m-shadow graph of GG is A(Dm(G))=JmA(G).A(D_{m}(G))=J_{m}\otimes A(G).
Note that the number of vertices in Dm(G)D_{m}(G) is pmpm.

If m=2m=2, then the graph D2(G)D_{2}(G) is called shadow graph of GG.

Lemma 2.2.

[15] Let GG be any graph. Then ε(Dm(G))=mε(G).\varepsilon(D_{m}(G))=m\varepsilon(G).

Definition 2.6.

[13]. Let G=(V,E)G=(V,E) be a (p,q)(p,q) graph with vertex set VV and edge set EE. Let WW be a set such that VW=V\bigcap W=\emptyset, |V|=|W||V|=|W| and f:VWf:V\rightarrow W be bijective ((for aVa\in V we write f(a)f(a) as aa^{\prime} for convenience )). A duplicate graph of GG is D(G)=(V1,E1)D(G)=(V_{1},E_{1}), where the vertex set V1=VWV_{1}=V\cup W and the edge set E1E_{1} of D(G)D(G) is defined as, the edge ab is in EE if and only if both abab^{\prime} and aba^{\prime}b are in E1E_{1}.
In general m-duplicate graph Dm(G)D^{m}(G) is defined as Dm(G)=Dm1(D(G))D^{m}(G)=D^{m-1}(D(G)).
Note that the mm-duplicate graph has 2mp2^{m}p vertices and 2mq2^{m}q edges.

Note 1.[11] Energy of the duplicate graph D(G)D(G), ε(D(G))=2ε(G).\varepsilon(D(G))=2\varepsilon(G).

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 GG and HH be orderenergetic graphs, then GHG\cup H is orderenergetic. For example, the graph Kp,pmK2K_{p,p}\cup mK_{2} 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 GG be a connected orderenergetic graph of order pp. Then the m-shadow graph, Dm(G)D_{m}(G) is a connected orderenergetic graph.

Proof.

Since GG is orderenergetic, by Lemma 2.2, ε(Dm(G))=mε(G)=mp.\varepsilon(D_{m}(G))=m\varepsilon(G)=mp. So Dm(G)D_{m}(G) is orderenergetic. Also the mm-shadow graph of a connected graph is connected. ∎

Remark 3.1.

Let GG be an orderenergetic graph. Then the mm-shadow graph of a duplicate graph, Dm(D(G))D_{m}(D(G)) is orderenergetic.

Theorem 3.2.

Let GG be an rr-regular orderenergetic graph of order pp. Then GKn¯G\vee\overline{K_{n}} is orderenergetic if and only if n=4p2r.n=4p-2r.

Proof.

Let r=λ1,λ2,,λpr=\lambda_{1},\lambda_{2},...,\lambda_{p} be the eigenvalues of G.G. Since GG is orderenergetic, we have,

i=2p|λi|=pr.\displaystyle\sum_{i=2}^{p}|{\lambda_{i}}|=p-r.

From Proposition 2.2, the characteristic polynomial of GKn¯G\vee\overline{K_{n}} is given by

ϕ(GKn¯,x)=xn1(xλ2)(xλ3)(xλp)(x2rxnp).\phi(G\vee\overline{K_{n}},x)=x^{n-1}(x-\lambda_{2})(x-\lambda_{3})...(x-\lambda_{p})(x^{2}-rx-np).

Let α\alpha and β\beta be the roots of the equation x2rxnp=0x^{2}-rx-np=0. It is easy to observe that α\alpha and β\beta are of opposite sign. Without loss of generality we assume that α>0\alpha>0 and β<0\beta<0, then α+β=r\alpha+\beta=r, αβ=np.\alpha\beta=-np. Thus the spectrum of GKn¯G\vee\overline{K_{n}} is

spec(GKn¯)=(0λ2λ3λpαβn111111).spec(G\vee\overline{K_{n}})=\begin{pmatrix}0&\lambda_{2}&\lambda_{3}&...&\lambda_{p}&\alpha&\beta\\ n-1&1&1&...&1&1&1\\ \end{pmatrix}.

Hence

ε(GKn¯)=i=2p|λi|+|α|+|β|=i=2p|λi|+αβ.\varepsilon(G\vee\overline{K_{n}})=\displaystyle\sum_{i=2}^{p}|{\lambda_{i}}|+|\alpha|+|\beta|=\displaystyle\sum_{i=2}^{p}|{\lambda_{i}}|+\alpha-\beta.

If GKn¯G\vee\overline{K_{n}} is orderenergetic, then

ε(GKn¯)=p+n\displaystyle\varepsilon(G\vee\overline{K_{n}})=p+n pr+αβ=p+n\displaystyle\Longleftrightarrow p-r+\alpha-\beta=p+n
αβ=n+r\displaystyle\Longleftrightarrow\alpha-\beta=n+r

Also α+β=r\alpha+\beta=r and αβ=n+r\alpha-\beta=n+r implies that α=n+2r2\alpha=\frac{n+2r}{2} and β=n2.\beta=-\frac{n}{2}.

αβ=np\displaystyle\alpha\beta=-np αβ=n22nr4\displaystyle\Longleftrightarrow\alpha\beta=\frac{-n^{2}-2nr}{4}
np=n22nr4\displaystyle\Longleftrightarrow-np=\frac{-n^{2}-2nr}{4}
4np=n2+2nr\displaystyle\Longleftrightarrow 4np=n^{2}+2nr
n=4p2r.\displaystyle\Longleftrightarrow n=4p-2r.

. ∎

Example 3.1.

Let G=C4G=C_{4}. Then GK12¯G\vee\overline{K_{12}} is orderenergetic.

spec(G)=(202121).spec(G)=\begin{pmatrix}-2&0&2\\ 1&2&1\\ \end{pmatrix}.
spec(GK12¯)=(620811131).spec(G\vee\overline{K_{12}})=\begin{pmatrix}-6&-2&0&8\\ 1&1&13&1\\ \end{pmatrix}.

ε(GK12¯)=16\varepsilon(G\vee\overline{K_{12}})=16 and order of GK12¯G\vee\overline{K_{12}} is 16.

Example 3.2.

Consider K2K6¯,K_{2}\vee\overline{K_{6}},

Refer to caption
Figure 1: Graph K2K6¯K_{2}\vee\overline{K_{6}}
spec(K2K6¯)=(31041151).spec(K_{2}\vee\overline{K_{6}})=\begin{pmatrix}-3&-1&0&4\\ 1&1&5&1\\ \end{pmatrix}.

ε(K2K6¯)=8\varepsilon(K_{2}\vee\overline{K_{6}})=8 and order of K2K6¯K_{2}\vee\overline{K_{6}} is 8.

Theorem 3.3.

Let GG be an orderenergetic graph with pp vertices. Then the 22-splitting graph of GG , spl2(G)spl_{2}(G) is orderenergetic.

In[14], D.Stevanovic introduced the graph superpath SP(a1,a2,,am)SP(a_{1},a_{2},...,a_{m}) obtained by replacing each vertex viv_{i} of the path PmP_{m} with totally disconnected graph K¯ai\overline{K}_{a_{i}}. Two vertices uK¯aiu\in\overline{K}_{a_{i}} and wK¯ajw\in\overline{K}_{a_{j}} are adjacent in SP(a1,a2,,am)SP(a_{1},a_{2},...,a_{m}) if viv_{i} and vjv_{j} are adjacent in PmP_{m}, i,j{1,2,,m}i,j\in\{1,2,...,m\}. The order of SP(4,1,3,2,2,3,1,4)SP(4,1,3,2,2,3,1,4) is m(m+1).m(m+1).

For example, the superpath SP(4,1,3,2,2,3,1,4).SP(4,1,3,2,2,3,1,4).

Refer to caption
Figure 2: Graph SP(4,1,3,2,2,3,1,4).SP(4,1,3,2,2,3,1,4).

Note that the maximum degree \bigtriangleup of SP(m,1,m1,2,2,m1,1,m)SP(m,1,m-1,2,...2,m-1,1,m) is 2m12m-1.

Theorem 3.4.

[14] The superpath SP(m,1,m1,2,,2,m1,1,m)SP(m,1,m-1,2,...,2,m-1,1,m) is integral for each natural number m. Its spectrum consists of the simple eigenvalues ±m,±(m1),±(m2),,±1\pm m,\pm(m-1),\pm(m-2),...,\pm 1 and the eigenvalue 0 with multiplicity m(m1)m(m-1).

From this theorem, we can say that the eigenvalues of SP(m,1,m1,2,,2,m1,1,m)SP(m,1,m-1,2,...,2,m-1,1,m) are consecutive integers ±1,±2,±3,,±m\pm 1,\pm 2,\pm 3,...,\pm m.

Corollary 3.5.

The energy of SP(m,1,m1,2,2,m1,1,m)SP(m,1,m-1,2,...2,m-1,1,m) is m(m+1).m(m+1).

The following corollary gives the existence of orderenergetic graph of maximum degree 2m12m-1.

Corollary 3.6.

The graph SP(m,1,m1,2,2,m1,1,m)SP(m,1,m-1,2,...2,m-1,1,m) is orderenergetic for every mm.
Observation 1. The graph SP(m,1,m1,2,,2,m1,1,m)SP(m,1,m-1,2,...,2,m-1,1,m) is a graph with least maximum degree in the collection of all orderenergetic graphs having m2+mm^{2}+m vertices.

Observation 2. Let GG be an orderenergetic graph. Then GG 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 G1G_{1} and G2G_{2} be two hypoenergetic graphs with order n1n_{1} and n2n_{2} respectively. Then ε(G1)<n1\varepsilon(G_{1})<n_{1} and ε(G2)<n2\varepsilon(G_{2})<n_{2}. By Lemma 2.1, ε(G1×G2)=ε(G1)ε(G2)<n1n2\varepsilon(G_{1}\times G_{2})=\varepsilon(G_{1})\varepsilon(G_{2})<n_{1}n_{2}. Thus Kronecker product of G1G_{1} and G2G_{2}, G1×G2G_{1}\times G_{2} is hypoenergetic graph. ∎

The following theorem enable us to construct infinitely many hypoenergetic graphs.

Proposition 4.2.

Let G1G_{1} be an orderenergetic graph and G2G_{2} be a hypoenergetic graph. Then Kronecker product of G1G_{1} and G2G_{2}, G1×G2G_{1}\times G_{2} is hypoenergetic graph .

Proof.

Let G1G_{1} and G2G_{2} be two graphs with order n1n_{1} and n2n_{2} respectively. Since G1G_{1} is orderenergetic, ε(G1)=n1\varepsilon(G_{1})=n_{1} and G2G_{2} is hypoenergetic, ε(G2)<n2\varepsilon(G_{2})<n_{2}. By Lemma 2.1, ε(G1×G2)=ε(G1)ε(G2)<n1n2\varepsilon(G_{1}\times G_{2})=\varepsilon(G_{1})\varepsilon(G_{2})<n_{1}n_{2}. ∎

Example 4.1.

Let G=Kp,p×K1,3.G=K_{p,p}\times K_{1,3}. Then |V(Kp,p×K1,3)|=8p|V(K_{p,p}\times K_{1,3})|=8p and ε(Kp,p×K1,3)=43p<8p\varepsilon(K_{p,p}\times K_{1,3})=4\sqrt{3}p<8p. So Kp,p×K1,3K_{p,p}\times K_{1,3} is hypoenergetic for every pp .

Proposition 4.3.

Let GG be a hypoenergetic graph of order pp. Then the mm-shadow graph of GG, Dm(G)D_{m}(G) is hypoenergetic for every mm .

Example 4.2.

Let G=Kr,sG=K_{r,s} rsr\neq s. Then |V(Kr,s)|=r+s|V(K_{r,s})|=r+s and ε(Dm(Kr,s))=2mrs<m(r+s)=|V(Dm(Kr,s))|\varepsilon(D_{m}(K_{r,s}))=2m\sqrt{rs}<m(r+s)=|V(D_{m}(K_{r,s}))| .

Remark 4.1.

Let GG be a hypoenergetic graph. Then the mm-shadow graph of duplicate graph, Dm(D(G))D_{m}(D(G)) is hypoenergetic.

Proposition 4.4.

Let GG be a hypoenergetic graph of order pp. Then the mm-splitting graph of GG, splm(G)spl_{m}(G) is hypoenergetic for m>2m>2 .

Proof.

Since GG is a hypoenergetic graph, ε(G)<p\varepsilon(G)<p. Also |V(splm(G))|=p(m+1)|V(spl_{m}(G))|=p(m+1).
As m>2m>2,

m(m2)>0\displaystyle m(m-2)>0 (m+1)2>1+4m\displaystyle\Longrightarrow(m+1)^{2}>1+4m
1+4mε(G)<p(m+1)\displaystyle\Longrightarrow\sqrt{1+4m}\varepsilon(G)<p(m+1)
ε(splm(G))<p(m+1).\displaystyle\Longrightarrow\varepsilon(spl_{m}(G))<p(m+1).

Thus splm(G))spl_{m}(G)) is hypoenergetic graph. ∎

Let GG be a graph of order pp and we denote Grs=Kr,s×G,r,sNG_{r}^{s}=K_{r,s}\times G,r,s\in N.

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 G=KpG=K_{p} be a complete graph on pp vertices and m14m\geq 14. Then the graph G1mG_{1}^{m} is hypoenergetic.

Proof.

The energy of complete graph is 2(p1)2(p-1) and |V(G1m)|=p(1+m)|V(G_{1}^{m})|=p(1+m).
As m14m\geq 14,

m(m14)+1>0\displaystyle m(m-14)+1>0 m2+2m+1>16m\displaystyle\Longrightarrow m^{2}+2m+1>16m
4m<(m+1)\displaystyle\Longrightarrow 4\sqrt{m}<(m+1)
4m(p1)<p(m+1)\displaystyle\Longrightarrow 4\sqrt{m}(p-1)<p(m+1)
2mε(Kp)<p(m+1)\displaystyle\Longrightarrow 2\sqrt{m}\varepsilon(K_{p})<p(m+1)
ε(G1m)<p(1+m).\displaystyle\Longrightarrow\varepsilon(G_{1}^{m})<p(1+m). (4.0.1)

Thus G1mG_{1}^{m} is hypoenergetic whenever m14m\geq 14. ∎

Remark 4.2.

The graph G=KpG=K_{p} is non hypoenergetic but G1mG_{1}^{m} is hypoenergetic for m14m\geq 14.

Since 4m>(m+1)4\sqrt{m}>(m+1) for m<14m<14, so inequality (4.0.1) is satisfied for every pkp\leq k, where k=4m4m(m+1)k=\lfloor\frac{4\sqrt{m}}{4\sqrt{m}-(m+1)}\rfloor, x\lfloor x\rfloor is floor of x. Thus G1mG_{1}^{m}, (m<14m<14) is hypoenergetic whenever pkp\leq k.

Corollary 4.2.

Let GG be any non hyperenergetic graph. Then G1mG_{1}^{m} is hypoenergetic for every m14m\geq 14.

5 Equienergetic graphs

In this section, we construct some new pairs of equienergetic graphs.

Proposition 5.1.

Let GG be a (p,q)(p,q) graph. Then the graphs Dm(D(G))D_{m}(D(G)) and D2m(G)D_{2m}(G) are non-cospectral equienergetic graphs.

Proposition 5.2.

Let GG be a (p,q)(p,q) graph and Dm(G)D^{m}(G) be the m-duplicate graph of GG. Then ε(Dm(G))=2mε(G)\varepsilon(D^{m}(G))=2^{m}\varepsilon(G).

Proposition 5.3.

The graphs Dm(G)D^{m}(G) and D2m(G)D_{2^{m}}(G) are non-cospectral equienergetic graphs for all mm.

Proposition 5.4.

Let GG be a simple (p,q)(p,q) graph. Then GG is integral if and only if its mm-duplicate graph Dm(G)D^{m}(G) is integral.

The following propositions describes the class of equiorderenergetic graphs.

Proposition 5.5.

Let GG be an orderenergetic graph of order pp. Then the the graphs spl2(G)spl_{2}(G) and D3(G)D_{3}(G) are equiorderenergetic graphs.

Refer to caption
Figure 3: Graph SP(2,1,1,2).SP(2,1,1,2).
Refer to caption
Figure 4: Graph D3(SP(2,1,1,2)).D_{3}(SP(2,1,1,2)).
Refer to caption
Figure 5: Graph spl2(SP(2,1,1,2)).spl_{2}(SP(2,1,1,2)).

The graphs D3(SP(2,1,1,2))D_{3}(SP(2,1,1,2)) and spl2(SP(2,1,1,2))spl_{2}(SP(2,1,1,2)) are equiorderenergetic graphs.

Proposition 5.6.

Let GG be a hypoenergetic graph. Then the graphs spl2(G)spl_{2}(G) and D3(G)D_{3}(G) 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.