Some New Results on Energy of Graphs with Self Loops
Pith reviewed 2026-05-10 04:44 UTC · model grok-4.3
The pith
There are graphs for which the energy remains unchanged even after attaching self-loops to some but not all vertices.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that there exists a family of graphs G such that for σ between 1 and n-1, the energy E(G_σ) defined using the shifted eigenvalues equals the energy of the original graph G.
What carries the argument
The shifted energy sum |λ_i - σ/n| over the eigenvalues of the graph with σ self-loops, which reduces to the standard energy sum |λ_i| when σ is zero or n.
If this is right
- If σ equals zero or n, the equality E(G) = E(G_σ) holds for any graph G.
- The authors provide an explicit family of graphs that satisfy E(G) = E(G_σ) for 0 < σ < n.
- This equality means the total absolute deviation from the shift is the same as without the shift for these graphs.
- The family serves as examples where partial self-loop addition preserves energy.
Where Pith is reading between the lines
- These graphs likely have eigenvalue sets whose absolute deviations are unaffected by the uniform shift.
- This invariance might extend to other spectral measures or graph modifications.
- One could test if random graphs or other common families exhibit similar behavior.
Load-bearing premise
The definition of the modified energy using the absolute deviation from σ/n captures a useful notion of energy for graphs with self-loops.
What would settle it
Computing the eigenvalues of the graphs in the family and checking if sum |λ_i| equals sum |λ_i - σ/n| for the relevant σ.
read the original abstract
The graph $G_\sigma$ is obtained from graph $G$ by attaching self loops on $\sigma$ vertices. The energy $ E(G_\sigma)$ of the graph $G_\sigma$ with order $n$ and eigenvalues $\lambda_1,\lambda_2,\dots,\lambda_n$ is defined as $ E(G_\sigma)= \displaystyle \sum_{i=1}^n\left|\lambda_i-\dfrac{\sigma}{n}\right| $. It has been proved that if $\sigma=0\; or\; n$ then $ E(G)=E(G_\sigma) $. The obvious question arise: Are there any graph such that $E(G)=E(G_\sigma)$ and 0$<\sigma<n$? We have found an affirmative answer of this question and contributed a graph family which satisfies this property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines G_σ as the graph obtained from G by adding self-loops to σ vertices. It defines the energy E(G_σ) = ∑ |λ_i − σ/n| where λ_i are the eigenvalues of the adjacency matrix of G_σ. It proves that E(G) = E(G_σ) when σ = 0 or σ = n, and claims to construct an infinite family of graphs G for which the equality holds for some 0 < σ < n.
Significance. If the claimed family is explicitly constructed and the eigenvalue compensation is verified, the result would show that the centering shift by the mean eigenvalue can leave the L1-norm of the spectrum unchanged for non-trivial looped graphs. This would be a modest but concrete addition to the literature on graph energies and spectral invariants under local modifications such as self-loops. The boundary-case proofs already supplied constitute a clear foundation.
major comments (2)
- [Abstract] Abstract: the central claim asserts an affirmative answer together with an explicit graph family, yet the manuscript supplies neither the family description, the adjacency matrix of any member, nor the eigenvalue calculation demonstrating that the deviations from σ/n exactly compensate to recover the unshifted energy sum. This verification is load-bearing for the main result.
- [Definition of E(G_σ)] The definition E(G_σ) = ∑ |λ_i − σ/n| is introduced without deriving or exhibiting the spectrum of A(G_σ) relative to A(G), leaving open whether any non-boundary equality can hold beyond the trace identity already noted.
minor comments (2)
- [Abstract] Grammatical error: 'The obvious question arise' should read 'arises'.
- [Abstract] Notation inconsistency: '0$<σ<n$' mixes plain text and inline LaTeX; use consistent mathematical formatting.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need for explicit verification of the central claim. We agree that the submitted version did not sufficiently detail the graph family, its adjacency matrices, or the eigenvalue compensation, and we will revise the manuscript to include these elements.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim asserts an affirmative answer together with an explicit graph family, yet the manuscript supplies neither the family description, the adjacency matrix of any member, nor the eigenvalue calculation demonstrating that the deviations from σ/n exactly compensate to recover the unshifted energy sum. This verification is load-bearing for the main result.
Authors: We acknowledge that the abstract announces an explicit infinite family but the submitted manuscript did not provide a concrete description, an example adjacency matrix, or the explicit eigenvalue list showing exact compensation. In the revised version we will add a dedicated section that (i) defines the family via a recursive or parametric construction, (ii) exhibits the adjacency matrix of the smallest member, and (iii) computes its spectrum of A(G_σ) relative to A(G) to verify that the absolute deviations from σ/n sum to the same value as the unshifted energy. revision: yes
-
Referee: [Definition of E(G_σ)] The definition E(G_σ) = ∑ |λ_i − σ/n| is introduced without deriving or exhibiting the spectrum of A(G_σ) relative to A(G), leaving open whether any non-boundary equality can hold beyond the trace identity already noted.
Authors: The definition follows directly from the observation that the trace of A(G_σ) equals σ (each self-loop contributes 1), hence the average eigenvalue is σ/n; the energy is then the L1 deviation from this mean. The boundary proofs for σ = 0 and σ = n are already given. For the non-boundary case we will supply, in the revision, the explicit spectrum of the constructed family together with the algebraic verification that the positive and negative deviations cancel in the L1 sense, thereby establishing that equality holds for 0 < σ < n. revision: yes
Circularity Check
No significant circularity
full rationale
The paper introduces a definition of centered energy E(G_σ) = ∑ |λ_i - σ/n| for graphs with σ self-loops, proves the boundary cases σ=0 and σ=n reduce to ordinary energy by direct substitution into the definition, and then constructs an explicit infinite family of graphs where the equality E(G)=E(G_σ) holds for intermediate 0<σ<n. No parameters are fitted to data, no results are renamed as predictions, and the central existence claim rests on an explicit construction rather than any self-referential equation or load-bearing self-citation. The derivation chain is therefore self-contained and non-circular.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The energy of a graph is the sum of absolute values of the eigenvalues of its adjacency matrix.
- domain assumption Adding a self-loop to a vertex increases the corresponding diagonal entry of the adjacency matrix by 1.
Reference graph
Works this paper leans on
- [1]
-
[2]
D. Cvetkovi`c, P. Rowlison, S. Simi`c,An Introduction to the Theory of Graph Spectra, Cambridge university press, 2010
work page 2010
-
[3]
G. Indulal, A. Vijaykumar, A Note on Energy of Some Graphs, MATCH Commun. Math.Comput. Chem.59(2008) 269 - 274
work page 2008
-
[4]
Gutman, The energy of a graph,Ber
I. Gutman, The energy of a graph,Ber. Math. Statist. Sekt. Forsch- ungszentram Graz.103(1978) 1 - 22
work page 1978
- [5]
-
[6]
I. Jovanovi`c, E. Zogi`c, E. Glogi`c, On the Conjecture Related to the Energy of Graphs with Self–Loops,MATCH Commun. Math. Com- put. Chem.89(2023) 479 - 488
work page 2023
- [7]
-
[8]
Balakrishnan, The Energy of graph,Linear Algebra Appl
R. Balakrishnan, The Energy of graph,Linear Algebra Appl. 387(2004), 287–295
work page 2004
-
[9]
R. Balakrishnan, K. Ranganathan,A Textbook of Graph Theory, Springer, New York, 2000
work page 2000
-
[10]
R. B. Bapat, S. Pati, Energy of a graph is never an odd integer,Bull. Kerala Math. Assoc.1(2004) 129–132
work page 2004
- [11]
-
[12]
S. B. Bozkurt, A. D. Gungor, I Gutman, Note on Distance Energy of Graphs,SIAM J. Discrete Math.64(2010) 129–134
work page 2010
-
[13]
X. Li, Y. Shi, I. Gutman,Graph Energy, Springer, New York, 2012
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.