s⁺(G) and s⁻(G) Extremal Characterization via Trees

Conjecture 9.2 · arXiv:2506.07264

arXiv Conjecture high confidence— first stated 2025-06-08

Authors: Saieed Akbari, Hitesh Kumar, Bojan Mohar, Shivaramakrishna Pragada, Shengtong Zhang

Status open high confidence

Conjecture 9.2 of arXiv:2506.07264 characterises the equality cases in the Elphick–Farber–Goldberg–Wocjan lower bound: s+(G)=n-1 if and only if G is a tree, and s-(G)=n-1 if and only if G is a tree or a complete graph. No follow-up paper resolving or partially resolving this conjecture was found in a search of the literature up to May 2026, roughly 11 months after the paper was posted.

Reviewer notes. No follow-up found. The conjecture is an open-problems section item (Section 9) of a June 2025 paper; related work on p-energies (arXiv:2604.15656, arXiv:2410.09830) addresses generalisations to p≠2 but not the specific equality characterisation for square energy. Absence of follow-up is consistent with the conjecture being very recent.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Conjecture. Let $G$ be a connected graph of order $n$. $s^{+}(G)=n-1$ if and only if $G$ is a tree. $s^{-}(G)=n-1$ if and only if $G$ is a tree or a complete graph.

Context

After establishing Conjecture 1.1 for several families, the authors propose a characterisation of the equality case $s^{+}(G)=n-1$ (resp. $s^{-}(G)=n-1$) in Conjecture 1.1.

Source paper

Refinement of a conjecture on positive square energy of graphs
Saieed Akbari, Hitesh Kumar, Bojan Mohar, Shivaramakrishna Pragada, Shengtong Zhang · 2025-06-08
https://arxiv.org/abs/2506.07264