- The paper derives exact spectra for degree-weighted adjacency matrices of complete multipartite and crown graphs using equitable partitions, reducing integrality to whether the relevant weight value φ(d,d) is an integer.
- The paper establishes a ratio-based condition under which deleting an edge lowers spectral radius and energy in complete graphs, while computational evidence supports broader monotonicity conjectures.
- The paper corrects prior ISI-energy claims, showing that edge deletion can increase energy in regular multipartite graphs and providing counterexamples for complete graphs and tripartite graphs.
Overview
This paper by Rather and Ganie (2603.08895) studies the general extended (weighted) adjacency matrix A˙(G)=Aϕ(G), whose off-diagonal entries are given by a symmetric degree-based weight function ϕ(du,dv) for adjacent vertices u∼v. This framework unifies a broad family of degree-based matrices: the adjacency matrix A (ϕ=1), the inverse sum indeg matrix ISI (ϕ(x,y)=xy/(x+y)), the arithmetic-geometric matrix AG, the geometric-arithmetic matrix GA, the first and second Zagreb matrices M1 and ϕ(du,dv)0, the atom-bond connectivity matrix ϕ(du,dv)1, the Randić matrix ϕ(du,dv)2, the Sombor matrix ϕ(du,dv)3, and its reciprocal variant ϕ(du,dv)4. The paper makes three principal contributions: an exact spectral decomposition of ϕ(du,dv)5 for complete multipartite graphs, together with characterizations of three-distinct-eigenvalue families and integrality; a correction of erroneous results in Bilal and Munir's study of ISI energy change under edge deletion (2603.08895); and new spectra for crown multipartite graphs.
Weighted spectra of complete multipartite graphs
The central structural result is an exact description of the spectrum of ϕ(du,dv)6 for a complete ϕ(du,dv)7-partite graph ϕ(du,dv)8. Writing ϕ(du,dv)9 for the common degree within part u∼v0, the authors prove that
u∼v1
where u∼v2 is the u∼v3 quotient matrix with zero diagonal and entries u∼v4 for u∼v5. The proof proceeds by exhibiting u∼v6 linearly independent null vectors supported on sums-zero subspaces within each part, then showing that the partition into parts is equitable, so that the remaining u∼v7 eigenvalues coincide with those of the quotient matrix. The argument relies only on symmetry of u∼v8 and constancy of degrees within parts, so it applies to every weight function in the family.
Two corollaries follow directly. First, for u∼v9 and A0, the matrix A1 has exactly three distinct eigenvalues if and only if the multipartite graph is regular (A2). The converse direction is proved via a spectral decomposition argument: since A3 is symmetric with zero trace and only two distinct eigenvalues, its Perron eigenvector must be flat, forcing all off-diagonal entries of A4 to be equal and hence all part sizes equal. The authors explicitly note the necessity of the hypotheses: for A5 the bipartite spectrum A6 already yields three distinct eigenvalues without regularity, and for A7 (i.e., A8) the eigenvalue A9 disappears entirely. Second, for the regular case ϕ=10 with degree ϕ=11,
ϕ=12
so the spectrum is integral exactly when ϕ=13. Evaluating this criterion for standard weights shows that the adjacency, ϕ=14, ϕ=15, first Zagreb, and second Zagreb spectra are always integral, whereas the ISI spectrum is integral if and only if ϕ=16 is even. These criteria reduce integrality questions to elementary arithmetic on the degree, avoiding any eigenvalue computation.
Energy change under edge deletion in complete graphs
The energy ϕ=17 of ϕ=18 equals ϕ=19, and deleting an edge ISI0 yields a graph whose weighted energy is
ISI1
where ISI2 and ISI3. Comparing these expressions gives a clean threshold: both the spectral radius and the energy of ISI4 decrease upon edge deletion whenever
ISI5
The practical value of this criterion is that it depends only on the ratio of two evaluations of ISI6, not on any spectral computation.
Applying it to the ISI weight gives ISI7, so the ISI energy of ISI8 does not increase upon edge deletion — contradicting Theorem 2 of Bilal and Munir. The authors give an explicit numerical witness at ISI9: the ISI spectrum of ϕ(x,y)=xy/(x+y)0 is ϕ(x,y)=xy/(x+y)1 with energy ϕ(x,y)=xy/(x+y)2, while that of ϕ(x,y)=xy/(x+y)3 is ϕ(x,y)=xy/(x+y)4 with energy ϕ(x,y)=xy/(x+y)5. A computational survey across all listed weight functions at comparable orders confirms that the complete-graph energy decreases upon edge deletion in every case examined, leading the authors to state as a conjecture that ϕ(x,y)=xy/(x+y)6 holds for almost all functions ϕ(x,y)=xy/(x+y)7. The conjecture is supported by computation rather than proved, and no class of exceptional weight functions is identified.
Correction of the tripartite ISI results
The paper then corrects two further claims from Bilal and Munir concerning the ISI energy of the regular tripartite graph ϕ(x,y)=xy/(x+y)8. For ϕ(x,y)=xy/(x+y)9 with AG0 joining vertices in the first two parts, the authors derive the full ISI spectrum using an equitable five-cell partition (the two endpoints of the deleted edge, the remainders of parts one and two, and the third part). The eigenvalue AG1 occurs with multiplicity exactly AG2; two simple eigenvalues are given in closed form,
AG3
and the remaining three eigenvalues are the roots of an explicit cubic polynomial AG4. Because the cubic cannot be solved in closed form, no closed formula for the resulting energy is available; the energy is expressed as AG5, where AG6 denotes the energy of the explicit AG7 restriction matrix.
Numerical evaluation shows that the formula in Theorem 6 of Bilal and Munir substantially understates the true energy — for example, at order AG8 the corrected value is AG9 against the previously published GA0. More significantly, comparing GA1 with GA2 yields counterexamples to Theorem 7 of that paper for every GA3: the energy increases upon edge deletion (e.g., GA4 at GA5), while the claim happens to hold only for GA6. Since GA7 for an GA8-regular graph, the authors transfer Akbari–Ghorbani–Oboudi's edge-addition result for adjacency energy to obtain a theorem covering all regular GA9-partite graphs with M10: deleting an edge strictly increases the ISI energy. This resolves the open problem posed in the earlier paper concerning energy change of multipartite graphs under edge deletion, and it demonstrates that the monotonicity behavior of ISI energy differs qualitatively between complete graphs (decrease) and regular multipartite graphs (increase).
Crown multipartite graphs and the star-plus-edge case
For the crown graph M11 (obtained from M12 by deleting a perfect matching), the weighted spectrum is M13 with M14, giving energy M15. The analysis extends to the M16-partite crown M17 of order M18: the spectrum consists of M19 with multiplicity ϕ(du,dv)00, ϕ(du,dv)01 with multiplicity ϕ(du,dv)02, ϕ(du,dv)03 simple, and ϕ(du,dv)04 with multiplicity ϕ(du,dv)05 (the last recovered from the trace condition), yielding energy ϕ(du,dv)06. As in the complete multipartite case, the spectrum is integral if and only if ϕ(du,dv)07 is an integer, so the ISI spectrum of the crown is integral exactly when ϕ(du,dv)08 is even, while the adjacency, ϕ(du,dv)09, ϕ(du,dv)10, ϕ(du,dv)11, and ϕ(du,dv)12 spectra are always integral.
Finally, the paper notes that Theorem 10 of Bilal and Munir concerning ISI energy of the star under edge deletion is ill-posed: deleting an edge from ϕ(du,dv)13 disconnects the graph, and omitting the isolated vertex compares energies of graphs of different orders. The authors instead compare the star ϕ(du,dv)14 with the unicyclic graph ϕ(du,dv)15 obtained by adding one edge. The three nonzero nontrivial eigenvalues of ϕ(du,dv)16 are roots of a cubic with no closed-form solution, so the comparison rests on computation: across tested orders from ϕ(du,dv)17 to ϕ(du,dv)18, ϕ(du,dv)19 throughout (e.g., ϕ(du,dv)20 versus ϕ(du,dv)21 at ϕ(du,dv)22), indicating that the ISI energy of the star increases upon edge addition. No analytic proof of this monotonicity is provided.
Limitations and open questions
Several limitations are stated plainly in the paper. The three-distinct-eigenvalue characterization excludes the bipartite case ϕ(du,dv)23 and the case ϕ(du,dv)24, where the equivalence fails. The conjecture that complete-graph energy decreases under edge deletion for almost all weight functions is empirical, with no characterization of potential exceptions. The tripartite ISI energy involves a cubic whose roots lack closed form, precluding an exact energy formula and leaving the analytic confirmation of the computed inequalities open. Similarly, the star-versus-ϕ(du,dv)25 comparison is computational only. The concluding section acknowledges that determining whether energy increases or decreases upon edge deletion for a general weighted matrix remains difficult and unresolved.
Conclusion
The paper delivers an exact equitable-partition-based spectral theory for degree-weighted adjacency matrices of complete multipartite and crown multipartite graphs, with clean integrality criteria reducing to whether ϕ(du,dv)26 is an integer. Its corrective contributions are substantive: a ratio-based threshold governing energy and spectral radius change for complete graphs, explicit counterexamples showing that prior published ISI energy claims fail for ϕ(du,dv)27 (ϕ(du,dv)28 sufficing) and for regular tripartite graphs with ϕ(du,dv)29, and a resolution of the open multipartite energy-change problem via the regularity reduction to known adjacency-energy results. The work also highlights how much of the remaining territory — closed-form energies involving irreducible cubics, and the "almost all" weight-function conjecture — still depends on computation rather than proof.