Pith. sign in

REVIEW 2 minor 1 cited by

A Proof of a Conjecture on Positive and Negative Square Energies of Unicyclic Graphs

T0 review · 0 major / 2 minor · reviewed 2026-06-30 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Unicyclic graphs with odd cycle length k satisfy s+(G) > n > s-(G) if k ≡ 3 mod 4 and s+(G) < n < s-(G) if k ≡ 1 mod 4.

desk verdict Ning and Zeng supply a proof confirming the Akbari et al. conjecture on the square sums of positive and negative eigenvalues for unicyclic graphs with odd cycle length. read the letter →

arxiv 2605.24668 v1 pith:32A5STYG submitted 2026-05-23 math.CO

Bo Ning , Jing Zeng This is my paper · ORCID
classification math.CO MSC 05C50
keywords unicyclicgraphadjacencymatrixeigenvaluessquaresumpositivenegativeconjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes the truth of a conjecture on the sums of the squares of positive and negative adjacency eigenvalues in unicyclic graphs. The conjecture states that for a graph with a single odd-length cycle of length k, the relative sizes of these sums compared to the number of vertices n are fixed by k modulo 4. The proof confirms both directions of the inequality depending on whether k is congruent to 1 or 3 modulo 4. Readers interested in spectral graph theory would see this as resolving how the unique cycle influences the eigenvalue distribution in these graphs.

What carries the argument

The decomposition of the unicyclic graph into its cycle and attached trees, allowing the eigenvalue sums to be analyzed by separating the contributions from the cycle eigenvalues and the tree adjustments.

What would settle it

A counterexample would be any unicyclic graph with k=5 where s+(G) is not less than n, or explicit calculation of all eigenvalues for the cycle C_5 with an attached path showing the sums violate the inequality.

Watch

Extended reading notes

Core claim

Let G be a unicyclic graph of order n with unique cycle of odd length k. Then if k ≡ 3 (mod 4), s+(G) > n > s-(G); if k ≡ 1 (mod 4), s+(G) < n < s-(G). The authors prove this statement holds for every such graph G.

Load-bearing premise

The square sums s+ and s- for the full graph can be written as the corresponding sums for the cycle plus non-negative or controlled terms from the trees that preserve the sign of the difference from n.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper proves the conjecture of Akbari et al. that for any unicyclic graph G on n vertices whose unique cycle has odd length k, the sums s+(G) and s-(G) of the squares of the positive and negative adjacency eigenvalues satisfy: if k ≡ 3 (mod 4) then s+(G) > n > s-(G), while if k ≡ 1 (mod 4) then s+(G) < n < s-(G). The argument proceeds by decomposing G into its cycle plus attached trees and reducing the eigenvalue sums to quantities determined by the cycle length modulo 4.

Significance. The result settles a concrete conjecture in spectral graph theory for the entire class of unicyclic graphs. It supplies an explicit, case-by-case comparison of s+ and s- to the order n that depends only on the parity and residue class of the cycle length, thereby giving a complete classification for this family.

minor comments (2)
  1. The notation for the positive and negative square sums is introduced in the abstract but should be restated explicitly in the first paragraph of §2 before any calculations begin.
  2. Lemma 3.2 states that the contribution of each pendant path is independent of the attachment vertex; a one-sentence reminder of the underlying matrix-block argument would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of our manuscript and for recommending acceptance. The referee's summary correctly describes the main result: a proof of the conjecture of Akbari et al. for all unicyclic graphs with an odd cycle.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: proof of externally stated conjecture

full rationale

The manuscript proves a conjecture originally posed by Akbari, Kumar, Mohar, Pragada, and Zhang (distinct authors) on the sign-dependent comparison of s+(G) and s-(G) versus n for unicyclic graphs with odd cycle length k. The argument proceeds from the standard structural decomposition of any unicyclic graph into a cycle plus pendant trees, a fact independent of the target conjecture and not derived within the paper. No equations reduce a claimed prediction to a fitted input by construction, no uniqueness theorem is imported via self-citation, and no ansatz is smuggled through prior work by the same authors. The derivation therefore remains self-contained against the external conjecture statement and does not collapse to its own inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The paper is a proof in spectral graph theory and therefore rests on standard linear-algebra facts about real symmetric matrices and combinatorial reductions for unicyclic graphs; no free parameters or invented entities are introduced in the abstract.

assumptions (1)
  • standard math Adjacency matrix of a graph is real symmetric and therefore has real eigenvalues whose squares sum to twice the number of edges.
    Invoked implicitly when defining s+ and s- and comparing them to n.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Proof of a Conjecture on Positive and Negative Square Energies of Unicyclic Graphs." pith.science (2026). https://pith.science/paper/32A5STYG

@misc{pith2026260524668,
  author       = {Pith},
  title        = {Pith review of: A Proof of a Conjecture on Positive and Negative Square Energies of Unicyclic Graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/32A5STYG}},
  note         = {Machine review of arXiv:2605.24668}
}
abstract

Let $G$ be a unicyclic graph of order $n$, and let $k$ be the length of the unique cycle of $G$. For the adjacency eigenvalues of $G$, let $s^{+}(G)$ and $s^{-}(G)$ denote the sums of the squares of the positive and negative eigenvalues, respectively. Akbari, Kumar, Mohar, Pragada, and Zhang conjectured that, when $k$ is odd, the value of $k$ modulo $4$ determines which of $s^+(G)$ and $s^-(G)$ is greater than $n$. More precisely, if $k\equiv 3\pmod 4$, then $s^+(G)>n>s^-(G)$; if $k\equiv 1\pmod 4$, then $s^+(G)<n<s^-(G)$. We confirm this conjecture.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The positive and negative square-energy conjecture

    math.CO 2026-07 accept novelty 8.0 of 10

    Every connected graph G on n vertices satisfies min{s+(G), s−(G)} ≥ n−1, confirming the Elphick–Farber–Goldberg–Wocjan conjecture.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper

  1. [1]

    Abiad, L

    A. Abiad, L. de Lima, D. N. Desai, K. Guo, L. Hogben, and J. Madrid, Positive and negative square energies of graphs,Electron. J. Linear Algebra39(2023), 307–326. 1, 2

    work page 2023

  2. [2]

    Akbari, H

    S. Akbari, H. Kumar, B. Mohar, and S. Pragada, A linear lower bound for the square energy of graphs,Electron. J. Combin.32(3) (2025), Paper No. P3.53. 2

    work page 2025

  3. [3]

    Akbari, H

    S. Akbari, H. Kumar, B. Mohar, S. Pragada, and S. Zhang, Refinement of a conjecture on positive square energy of graphs, arXiv:2506.07264, 2025. 2

    work page arXiv 2025

  4. [4]

    Ando and M

    T. Ando and M. Lin, Proof of a conjectured lower bound on the chromatic number of a graph,Linear Algebra Appl.485(2015), 480–484. 1, 2 7

    work page 2015

  5. [5]

    C. A. Coulson, On the calculation of the energy in unsaturated hydrocarbon molecules, Proc. Cambridge Philos. Soc.36(1940), 201–203. 4

    work page 1940

  6. [6]

    Elphick, M

    C. Elphick, M. Farber, F. Goldberg, and P. Wocjan, Conjectured bounds for the sum of squares of positive eigenvalues of a graph,Discrete Math.339(2016), 2215–2223. 1, 2

    work page 2016

  7. [7]

    Elphick and W

    C. Elphick and W. Linz, Symmetry and asymmetry between positive and negative square energies of graphs,Electron. J. Linear Algebra40(2024), 418–432. 1, 2

    work page 2024

  8. [8]

    C. D. Godsil and I. Gutman, On the theory of the matching polynomial,J. Graph Theory 5(1981), 137–144. 3

    work page 1981

Show all 19 references
  1. [9]

    Hong, A bound on the spectral radius of graphs,Linear Algebra Appl.108(1988), 135–139

    Y. Hong, A bound on the spectral radius of graphs,Linear Algebra Appl.108(1988), 135–139. 1

    1988

  2. [10]

    Hoffman, On eigenvalues and colourings of graphs in: Graph Theory and its Applica- tions, Academic Press, 1970

    A.J. Hoffman, On eigenvalues and colourings of graphs in: Graph Theory and its Applica- tions, Academic Press, 1970. 1

    1970

  3. [11]

    Nikiforov, Beyond graph energy: norms of graphs and matrices,Linear Algebra Appl

    V. Nikiforov, Beyond graph energy: norms of graphs and matrices,Linear Algebra Appl. 506(2016), 82–138. 1

    2016

  4. [12]

    L. Qiao, S. Zhang, B. Ning, and J. Li, Coulson-type integral formulas for the general Laplacian-energy-like invariant of graphs I,J. Math. Anal. Appl.435(2) (2016), 1249–1261. 3

    2016

  5. [13]

    L. Qiao, S. Zhang, and J. Li, Coulson-type integral formulas for the general Laplacian energy-like invariant of graphs II,J. Math. Anal. Appl.449(2) (2017), 1725–1740. 3

    2017

  6. [14]

    L. Qiao, S. Zhang, J. Li, and N. Gao, Coulson-type integral formulas for the general energy of a vertex,J. Math. Anal. Appl.517(1) (2023), Paper No. 126565, 13 pp. 3

    2023

  7. [15]

    Sachs, Beziehungen zwischen den in einem Graphen enthaltenen Kreisen und seinem charakteristischen Polynom,Publ

    H. Sachs, Beziehungen zwischen den in einem Graphen enthaltenen Kreisen und seinem charakteristischen Polynom,Publ. Math. Debrecen11(1964), 119–134. 3

    1964

  8. [16]

    Stanley, A bound on the spectral radius of graphs with e edges,Linear Algebra Appl

    P.R. Stanley, A bound on the spectral radius of graphs with e edges,Linear Algebra Appl. 87(1987) 267–269. 1

    1987

  9. [17]

    Wocjan and C

    P. Wocjan and C. Elphick, New spectral bounds on the chromatic number encompassing all eigenvalues of the adjacency matrix,Electron. J. Combin.20(3) (2013) #P39. 1

    2013

  10. [18]

    Wu and C

    B. Wu and C. Elphick, Upper bounds for the achromatic and coloring numbers of a graph, Discrete Appl. Math.217(2017), part 2, 375–380. 1

    2017

  11. [19]

    Zhang, Extremal values for the square energies of graphs, arXiv:2409.15504, 2024

    S. Zhang, Extremal values for the square energies of graphs, arXiv:2409.15504, 2024. 1, 2 8

    2024

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.