Positive and negative 3-energies of graphs
Pith reviewed 2026-05-10 08:29 UTC · model grok-4.3
The pith
Every connected n-vertex graph except K1, K2 and P3 has positive 3-energy at least (sqrt(5)/2)n, and the complete graph minimizes negative p-energy for p at least 3.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that every connected n-vertex graph, except for K1, K2, and P3, satisfies E^+_3(G) >= (sqrt(5)/2)n. Moreover, we show that for any integer p >= 3, every connected n-vertex graph G satisfies E^-_p(G) >= E^-_p(K_n).
What carries the argument
The positive p-energy and negative p-energy, which sum the p-th powers of the absolute values of the positive and negative eigenvalues of the adjacency matrix.
If this is right
- The Akbari-Kumar-Mohar-Pragada conjecture on negative p-energy holds for all p >= 3.
- A linear lower bound in n exists for positive 3-energy outside the three exceptional graphs.
- The complete graph is the unique minimizer of negative p-energy for p >= 3 among connected graphs.
- The earlier result that the negative p-energy bound holds for p >= 4 is strengthened to all p >= 3.
Where Pith is reading between the lines
- The bounds suggest that connectedness forces a minimum amount of spectral mass on the positive side except in the smallest cases.
- Similar minimization statements might be testable computationally for small n by enumerating connected graphs and comparing their negative p-energies.
- The separation into positive and negative energies could be combined with other spectral invariants such as the total energy to derive new comparisons between graph families.
Load-bearing premise
The graphs are simple, undirected and connected, so their adjacency matrices have real eigenvalues that can be cleanly partitioned into positive and negative sets for the power sums.
What would settle it
A connected graph on n=4 vertices other than the listed exceptions whose sum of the cubes of its positive eigenvalues falls below (sqrt(5)/2)*4, or any connected graph whose sum of the cubes of its negative eigenvalues falls below the corresponding sum for the complete graph on the same number of vertices.
Figures
read the original abstract
For a simple graph $G$ with $n$ vertices, let $A_G$ denote the adjacency matrix of $G$, and let $\lambda_1(G) \geq \lambda_2(G) \geq \dots \geq \lambda_n(G)$ be its eigenvalues. For an integer $p \geq 2$, the positive $p$-energy and negative $p$-energy of $G$, denoted $\mathcal{E}^+_p(G)$ and $\mathcal{E}^-_p(G)$, are defined as follows: $\mathcal{E}^+_p(G) = \sum_{\lambda_i(G) > 0} |\lambda_i(G)|^p$ and $\mathcal{E}^-_p(G) = \sum_{\lambda_i(G) < 0} |\lambda_i(G)|^p,$ respectively. Tang, Liu, and Wang proposed a conjecture that, for any integer $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^+_p(G) \geq \mathcal{E}^+_p(P_n)$. Akbari, Kumar, Mohar, and Pragada conjectured that, for any $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, and they proved this conjecture for $p \geq 4$. In this paper, we prove that every connected $n$-vertex graph, except for $K_1$, $K_2$, and $P_3$, satisfies $\mathcal{E}^+_3(G) \geq \frac{\sqrt{5}}{2}n$. Moreover, we show that for any integer $p \geq 3$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, which improves upon the previously known result.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the positive p-energy E^+_p(G) as the sum of |lambda_i|^p over positive eigenvalues and the negative p-energy E^-_p(G) as the sum over negative eigenvalues of the adjacency matrix of a simple undirected graph G. It proves that every connected n-vertex graph except K_1, K_2, and P_3 satisfies E^+_3(G) >= (sqrt(5)/2)n, and that for every integer p >= 3 every connected n-vertex graph G satisfies E^-_p(G) >= E^-_p(K_n), extending the known case p >= 4.
Significance. If the derivations hold, the results advance spectral graph theory by confirming a lower bound on positive 3-energy with an explicit constant and only three exceptions, and by settling the negative p-energy conjecture for p=3 (in addition to p>=4) via direct arguments on ordered real eigenvalues of connected graphs. The proofs rely on standard properties of the adjacency spectrum without introducing free parameters or ad-hoc adjustments, providing falsifiable comparisons that can be checked on small graphs.
minor comments (3)
- [Abstract] The abstract states the two main theorems clearly but does not indicate the section in which the case analysis for the three exceptional graphs (K_1, K_2, P_3) is carried out; adding an explicit forward reference would improve navigation.
- In the statement of the negative-energy result, the comparison is with K_n; it would be helpful to note explicitly whether the inequality is strict for non-complete graphs or whether equality holds only for K_n.
- The paper cites the conjectures of Tang-Liu-Wang and Akbari-Kumar-Mohar-Pragada; ensure that the full bibliographic details appear in the reference list with consistent formatting.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript, for confirming the significance of the results on positive 3-energy and the resolution of the negative p-energy conjecture for p=3, and for recommending acceptance. No major comments were raised in the report.
Circularity Check
No significant circularity identified
full rationale
The paper defines positive and negative p-energies directly as sums of absolute p-powers of positive and negative eigenvalues of the adjacency matrix. It then proves the stated lower bound for E^+_3(G) (with three explicit exceptions) and the inequality E^-_p(G) >= E^-_p(K_n) for p >= 3 by applying standard spectral ordering and summation inequalities to connected graphs. These derivations rely on external mathematical facts about eigenvalues and do not reduce any claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claims remain independent of the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Adjacency matrix of an undirected simple graph is real symmetric and therefore has real eigenvalues
- domain assumption The graph is connected and has n vertices
Forward citations
Cited by 1 Pith paper
-
Path-Minimality of $p$-Energy for Connected Graphs
For p ≥ 2 the p-energy of any connected graph on n vertices is minimized by the path P_n, with equality only for the path when p > 2.
Reference graph
Works this paper leans on
-
[1]
Aida Abiad, Leonardo de Lima, Dheer Noal Desai, Krystal Guo, Leslie Hogben, and Jos´ e Madrid. Positive and negative square energies of graphs.Electronic Journal of Linear Algebra, 39:307–326, 2023
work page 2023
-
[2]
Saieed Akbari, Hitesh Kumar, Bojan Mohar, and Shivaramakrishna Pragada. A lin- ear lower bound for the square energy of graphs.Electronic Journal of Combinatorics, 32(3):P3.53, 2025
work page 2025
-
[3]
Vertex partitioning andp-energy of graphs.Linear Algebra and its Applications, 724:96–107, 2025
Saieed Akbari, Hitesh Kumar, Bojan Mohar, and Shivaramakrishna Pragada. Vertex partitioning andp-energy of graphs.Linear Algebra and its Applications, 724:96–107, 2025
work page 2025
-
[4]
The graph energy game.Discrete Applied Mathematics, 330:128–140, 2023
Gerardo Arizmendi and Octavio Arizmendi. The graph energy game.Discrete Applied Mathematics, 330:128–140, 2023
work page 2023
-
[5]
On thep-schatten energy of bipartite graphs
Octavio Arizmendi and Jos´ e Guerrero. On thep-schatten energy of bipartite graphs. Acta Mathematica Hungarica, 169(2):503–509, 2023
work page 2023
-
[6]
Cambridge University Press, Cambridge, UK, 2010
Dragoˇ s Cvetkovi´ c, Peter Rowlinson, and Slobodan Simi´ c.An Introduction to the Theory of Graph Spectra. Cambridge University Press, Cambridge, UK, 2010
work page 2010
-
[7]
Clive Elphick, Miriam Farber, Felix Goldberg, and Pawel Wocjan. Conjectured bounds for the sum of squares of positive eigenvalues of a graph.Discrete Math- ematics, 339(9):2215–2223, 2016
work page 2016
-
[8]
Clive Elphick and William Linz. Symmetry and asymmetry between positive and negative square energies of graphs.Electronic Journal of Linear Algebra, 40:418– 432, 2024
work page 2024
-
[9]
Clive Elphick, Quanyu Tang, and Shengtong Zhang. A spectral lower bound on chromatic numbers usingp-energy.European Journal of Combinatorics, 132:104252, 2026
work page 2026
-
[10]
Vladimir Nikiforov. Beyond graph energy: Norms of graphs and matrices.Linear Algebra and its Applications, 506:82–138, 2016
work page 2016
-
[11]
Quanyu Tang, Yinchen Liu, and Wei Wang. On the positive and negativep-energies of graphs under edge addition.arXiv preprint, arXiv:2410.09830, 2025
-
[12]
Certification failed on [{lo},{hi}] at depth {depth}
Shengtong Zhang. Extremal values for the square energies of graphs.arXiv preprint, arXiv:2409.15504, 2024. 23 Appendix Lemma 3.3.Letnbe a positive integer withn≥4. IfGis a graph formed fromK n−1 by attaching a pendant vertex to one of its vertices, thenE − 3 (G)≥n. Proof.Assume thatn≥4. LetV(G) ={v 1, v2, . . . , vn−1, u},whereG[{v 1, . . . , vn−1}] is is...
- [13]
-
[14]
In particular, we note thatf 4(− 3√
increases asnincreases. In particular, we note thatf 4(− 3√
-
[15]
= 3 3√ 3− 3√ 9−2≈0.246>0. Sof n(− 3√ 3)>0 for everyn≥4. On the other hand, for a fixedn≥4, lim λ→−∞ fn(λ) =−∞.By continuity, the negative rootλ 0 off(λ) satisfiesλ 0 <− 3√ 3,which implies|λ 0|> 3√
-
[16]
Therefore,|λ 0|3 >3. This completes the proof. Lemma 3.4.Letnbe a positive integer withn≥6. IfGis a graph formed fromK n−2 by adding an extra edgeuvand connectinguandvto one same vertex ofK n−2, then E − 3 (G)> n+ 1. Proof.Letybe the vertex ofK n−2 adjacent to bothuandv. We consider the vertex partitionP={{u},{v},{y}, V(K n−2)\ {y}}.This partition is equi...
-
[17]
= (7− 3√ 42 −3 3√ 4)n+18 3√ 4−27, where 7− 3√ 42 −3 3√ 4<0. So the functionf n(− 3√
-
[18]
In particular, we note thatf 6(− 3√
(in terms ofn) decreases asnincreases. In particular, we note thatf 6(− 3√
-
[19]
= 15−6 3√ 16≈ −0.118<0. Sof n(− 3√ 4)<0 for everyn≥6. On the other hand, for a fixedn≥6, lim λ→−∞ fn(λ) = +∞.By continuity, the negative rootλ 0 off(λ) satisfiesλ 0 <− 3√ 4,which implies|λ 0|> 3√
-
[20]
Therefore,|λ 0|3 >4. This completes the proof. Lemma 3.5.Letnbe a positive integer. IfGis a graph formed fromK 1,n by subdividing tedges each once, thenSpec(G) ={± √x1,± √x2,0 n−t−1,1 t−1,(−1) t−1}, wherex 1 andx 2 are the roots ofx 2 −(n+ 1)x+ (n−t) = 0withx 1 > x2 >0. Proof.Letvbe the center of the originalK 1,n. LetPbe the set oftleaves whose incident ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.