<p>Let <i>G</i> be a simple graph on <i>n</i> vertices with vertex set <i>V</i>(<i>G</i>). The energy of <i>G</i>, denoted by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is the sum of all absolute values of the eigenvalues of the adjacency matrix <i>A</i>(<i>G</i>). Recently, the concept of energy of a graph is extended to a self-loop graph. Let <i>S</i> be a subset of <i>V</i>(<i>G</i>) and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(\bar{S}=V(G)\backslash S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi>S</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mo>=</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo stretchy="true">\</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation>. The graph <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>S</mi> </msub> </math></EquationSource> </InlineEquation> is obtained from the graph <i>G</i> by attaching a self-loop at each of the vertices of <i>G</i> which are in the set <i>S</i>. The energy of the self-loop graph <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>S</mi> </msub> </math></EquationSource> </InlineEquation>, denoted by <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G_{S})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>S</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, is the sum of all absolute eigenvalues of the adjacency matrix of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>S</mi> </msub> </math></EquationSource> </InlineEquation>. In this paper, we first prove that if <i>S</i> is a vertex independent set of <i>G</i> and has no isolated vertices of <i>G</i>, then either <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G_{S})&gt;\mathcal {E}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>S</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mi mathvariant="script">E</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="105" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G_{\bar{S}})&gt;\mathcal {E}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mover accent="true"> <mrow> <mi>S</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> </msub> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mi mathvariant="script">E</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. As a result, we confirm a conjecture on the energy of graphs with self-loops. Next, we establish a relation between <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G_{S})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>S</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and we also obtain an upper bound for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}(G_{S})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>S</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in terms of maximum degree. Furthermore, we derive an upper bound for the spread of energies of graphs <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>S</mi> </msub> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq13.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> self-loops and present an upper bound of Nordhaus–Gaddum type for energy of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>S</mi> </msub> </math></EquationSource> </InlineEquation>. Finally, we construct pairs of equienergetic self-loop graphs of order 24<i>n</i> for all <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2909_Article_IEq15.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the Energy of Graphs with Self-loops

  • B. R. Rakshith,
  • Kinkar Chandra Das,
  • B. J. Manjunatha

摘要

Let G be a simple graph on n vertices with vertex set V(G). The energy of G, denoted by \(\mathcal {E}(G)\) E ( G ) , is the sum of all absolute values of the eigenvalues of the adjacency matrix A(G). Recently, the concept of energy of a graph is extended to a self-loop graph. Let S be a subset of V(G) and \(\bar{S}=V(G)\backslash S\) S ¯ = V ( G ) \ S . The graph \(G_{S}\) G S is obtained from the graph G by attaching a self-loop at each of the vertices of G which are in the set S. The energy of the self-loop graph \(G_{S}\) G S , denoted by \(\mathcal {E}(G_{S})\) E ( G S ) , is the sum of all absolute eigenvalues of the adjacency matrix of \(G_{S}\) G S . In this paper, we first prove that if S is a vertex independent set of G and has no isolated vertices of G, then either \(\mathcal {E}(G_{S})>\mathcal {E}(G)\) E ( G S ) > E ( G ) or \(\mathcal {E}(G_{\bar{S}})>\mathcal {E}(G)\) E ( G S ¯ ) > E ( G ) . As a result, we confirm a conjecture on the energy of graphs with self-loops. Next, we establish a relation between \(\mathcal {E}(G_{S})\) E ( G S ) and \(\mathcal {E}(G)\) E ( G ) , and we also obtain an upper bound for \(\mathcal {E}(G_{S})\) E ( G S ) in terms of maximum degree. Furthermore, we derive an upper bound for the spread of energies of graphs \(G_{S}\) G S with \(\alpha \) α self-loops and present an upper bound of Nordhaus–Gaddum type for energy of \(G_{S}\) G S . Finally, we construct pairs of equienergetic self-loop graphs of order 24n for all \(n\ge 1\) n 1 .