Indexed metadata

A general algebraic characterization of extremal ΔΔ-trees and kk-cyclic graphs for degree-homogeneous VDB indices

Milan Bašić

Source record

Source: arXiv

Published: Oct 25, 2026

arXiv: 2610.34361

Open original source ↗

Source abstract

We present a general algebraic method for maximizing a vertex-degree-based (VDB) topological index TI(G)=∑uv∈E(G)f(d(u),d(v))TI(G) = \sum_{uv \in E(G)} f(d(u),d(v)) over the class of nn-vertex trees with a prescribed maximum degree Δ≥3Δ\ge 3. By expressing the edge multiplicities of the basis B={(1,Δ),(Δ,Δ)}\mathcal{B} = \{(1,Δ), (Δ,Δ)\} via degree-sum identities, we reduce the maximization of TI(T)TI(T) to the minimization of an explicit discrete penalty function G(x,y)G(x,y) over the non-basic edges. We formulate five analytical conditions on the weight function f(x,y)f(x,y) that dictate the optimal edge distributions, yielding a complete characterization of the extremal trees across all congruence classes of n(modΔ−1)n \pmod{Δ- 1}. Additionally, we provide their explicit construction by attaching leaves to a core of internal vertices. Applying this framework, we obtain the complete characterization of extremal ΔΔ-trees for the Degree-Ratio Sombor (DRSODRSO), Symmetric Division Deg (SDDSDD), and Hyperbolic Sombor (HSOHSO) indices for all Δ≥3Δ\ge 3. Furthermore, the analytical conditions identify the exact degree thresholds for the Arithmetic-Geometric (AGAG) and Diminished Sombor (DSODSO) indices, showing that the same extremal family maximizes AGAG if and only if 3≤Δ≤83 \le Δ\le 8, and DSODSO if and only if 3≤Δ≤43 \le Δ\le 4. Finally, since changing the edge count from m=n−1m = n - 1 to m=n−1+km = n - 1 + k affects only the constant term in the decomposition while leaving the penalty function G(x,y)G(x,y) invariant, the method extends directly to connected kk-cyclic graphs.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.