---
title: Diminished Sombor Index (DSO)
url: https://www.emergentmind.com/topics/diminished-sombor-index-dso
type: topic
---

# Diminished Sombor Index (DSO)

The diminished Sombor index (DSO) is a degree-based topological index for a simple graph \(G\), defined by
\[
DSO(G)=\sum_{uv\in E(G)}\frac{\sqrt{d_u^2+d_v^2}}{d_u+d_v},
\]
where \(d_u\) and \(d_v\) are the degrees of the endpoints of the edge \(uv\). In the recent literature it is treated as a normalized Sombor-type descriptor, with developments in extremal graph theory, chemical graph theory, and spectral graph theory. The index has been studied through sharp inequalities with classical graph invariants, through extremal problems on molecular graphs and molecular trees, and through the diminished Sombor matrix, spectral radius, and energy; one paper also reports notable linear correlation with density, melting point, and critical volume for octane isomers under a Pearson-correlation screening criterion \(|corr|>0.6\) [2508.06532], [2508.06531], [2509.12294], [2512.19710].

## 1. Definition and degree-pair formalism

The defining feature of DSO is that each edge contributes a normalized Euclidean degree term,
\[
\frac{\sqrt{d_u^2+d_v^2}}{d_u+d_v}.
\]
This places DSO in the Sombor family while distinguishing it from the ordinary Sombor index
\[
SO(G)=\sum_{uv\in E(G)}\sqrt{d_u^2+d_v^2},
\]
which omits the denominator and therefore weights high-degree edges more directly [2512.19710], [2508.06532].

For extremal analysis, the literature frequently rewrites DSO in terms of degree pairs. One paper introduces
\[
f(i,j)=\frac{\sqrt{i^2+j^2}}{i+j}
\]
and denotes by \(m_{i,j}(G)\) the number of edges whose endpoints have degrees \(i\) and \(j\). In that notation, DSO becomes an edge-type sum over the degree-pair profile of the graph. This degree-pair decomposition is central in recent proofs for molecular graphs, because once the admissible degrees are restricted to the molecular range \(1\le i,j\le 4\), comparisons among the values \(f(i,j)\) can be organized explicitly [2509.12294].

The same local-weight viewpoint underlies the diminished Sombor matrix. For a graph \(G\) with vertex set \(V=\{v_1,\dots,v_n\}\), the diminished Sombor matrix \(M_{DS}(G)=(\mu_{ij})\) is defined by
\[
\mu_{ij}=
\begin{cases}
\dfrac{\sqrt{d_i^2+d_j^2}}{d_i+d_j},& v_iv_j\in E,\\[4pt]
0,& \text{otherwise}.
\end{cases}
\]
Thus \(M_{DS}(G)\) is a weighted adjacency matrix whose nonzero off-diagonal entries are precisely the DSO edge weights [2508.06531].

## 2. Inequalities and relationships with classical indices

A substantial part of the 2025 DSO literature establishes sharp bounds in terms of classical topological indices. The most systematic treatment gives inequalities involving the Zagreb, Albertson, Harmonic, Randić, geometric-arithmetic, symmetric division degree, forgotten, and related indices [2508.06532].

One basic comparison is with the Albertson index \(Alb(G)\) and the geometric-arithmetic index \(GA(G)\):
\[
\frac{\sqrt{2}}{4\Delta}Alb(G)+\frac{1}{2}GA(G)\le DSO(G)\le \frac{1}{2\delta}Alb(G)+\frac{\sqrt{2}}{2}GA(G),
\]
where \(\Delta\) and \(\delta\) are the maximum and minimum degrees. The lower-bound equality holds iff \(G\simeq \overline{K_n}\), while the upper-bound equality holds iff \(G\) consists of components, each of which is a regular graph. A related upper bound is
\[
DSO(G)\le \frac{\sqrt2}{2}\bigl(Alb(G)+m\bigr),
\]
and for a connected graph this yields
\[
DSO(G)\le \frac{\sqrt2}{2}m(\Delta-\delta+1),
\]
with equality iff \(G\) is regular [2508.06532].

Further sharp estimates connect DSO to harmonic and Zagreb data:
\[
DSO(G)\le \frac{\sqrt2}{2}\sqrt{H(G)\bigl(M_1(G)-H(G)\bigr)},
\]
and, using only the size \(m\),
\[
DSO(G)\le \frac{m}{m+1}\sqrt{(m+1)^2-2}.
\]
Lower bounds are also obtained through \(GAF(G)\),
\[
DSO(G)\ge \sqrt{\alpha m\left(m-GAF(G)\right)},
\]
with
\[
\alpha=\frac{2\sqrt{2}(\Delta+\delta)\sqrt{\Delta^2+\delta^2}}{\left(\sqrt{2(\Delta^2+\delta^2)}+(\Delta+\delta)\right)^2},
\]
and through a mixed Zagreb–inverse-sum-indeg–harmonic expression,
\[
DSO(G)\ge \frac{M_1(G)-2ISI(G)+\delta\Delta H(G)}{\sqrt2(\Delta+\delta)}.
\]
In each of these formulations, equality is characterized by regularity or by unions of regular components, except for the harmonic-type upper bound, where equality requires \(d_u^2+d_v^2\) to be constant over all edges [2508.06532].

The index is also sharply compared with the ordinary Sombor index:
\[
\frac{SO(G)}{2\Delta}\le DSO(G)\le \frac{SO(G)}{2\delta},
\]
with equality iff \(G\) is regular. Analogous two-sided inequalities are proved for
\[
\frac{\chi(G)^2}{SF(G)}\le DSO(G)\le \sqrt{F(G)\chi_{-2}(G)},
\]
for
\[
DSO(G)\ge \frac{R(G)^2}{BSO(G)},
\]
for
\[
\frac{\sqrt2}{2\Delta}SDD(G)\le DSO(G)\le \left(\frac{\Delta}{2\delta}\right)\sqrt{m\,SDD(G)},
\]
and for the forgotten and multiplicative forgotten indices,
\[
DSO(G)\ge \frac{1}{2\Delta}\sqrt{F(G)+m(m-1)\left(\Pi_F(G)\right)^{1/m}}.
\]
A recurring structural pattern is that most sharp equality cases are attained by regular graphs or unions of regular components [2508.06532].

## 3. Minimum DSO on fixed-order molecular graphs with cyclomatic number at least 3

A connected graph of maximum degree at most \(4\) is called a molecular graph. In that setting, the cyclomatic number is the smallest number of edges whose removal makes the graph acyclic. The fixed-order minimization problem for DSO on molecular graphs is solved for all orders \(n\) and cyclomatic numbers \(\ell\) satisfying
\[
n\ge 2(\ell-1)\ge 4
\]
in “On the Diminished Sombor Index of Fixed-Order Molecular Graphs With Cyclomatic Number at Least 3” [2509.12294].

The primary motivation is a conjecture from a recent paper of Movahedi, Gutman, Redžepović, and Furtula concerning connected graphs with cyclomatic number \(3\). That conjecture proposed as minimizers graphs “obtained by connecting two disjoint cycles by two edges, so that a quadrangle is formed.” The molecular-graph result confirms the minimization phenomenon but shows that the exact extremal structure is slightly different from that conjectured shape [2509.12294].

The main theorem gives a complete characterization of all minimizers. Using the stated edge-type counts together with \(f(i,j)=\frac{\sqrt{i^2+j^2}}{i+j}\), the minimum value is
\[
DSO(G)\ge \frac{n+\ell-3}{\sqrt2}+\frac{2\sqrt{13}}{5}.
\]
Equality holds in exactly two situations. If \(n=2(\ell-1)\), equality holds iff \(G\) is \(3\)-regular. If \(n>2(\ell-1)\), equality holds iff
\[
\delta(G)=2,\qquad \Delta(G)=3,
\]
and
\[
m_{3,3}(G)=3\ell-4,\qquad m_{2,3}(G)=2,\qquad m_{2,2}(G)=n-2\ell+1.
\]
Accordingly, the extremal graphs are either cubic graphs or graphs with only degrees \(2\) and \(3\), with exactly two \(2\)-\(3\) edges, exactly \(n-2\ell+1\) edges of type \(2\)-\(2\), and exactly \(3\ell-4\) edges of type \(3\)-\(3\). The final minimizers have no vertices of degree \(4\) [2509.12294].

The proof has two central ingredients. First, a structural lemma shows that a minimizing graph cannot contain a pendent edge incident with a degree-\(2\) vertex. This is proved by local edge rearrangement: if such a configuration exists, an edge is moved from a branching region toward the pendant vertex, and the DSO value strictly decreases, contradicting extremality. Second, once that configuration is excluded, degree-counting identities and inequalities among the values \(f(i,j)\) for \(1\le i,j\le 4\) are used to derive the lower bound and to characterize the equality cases. The paper further employs a table of auxiliary positive coefficients \(h(i,j)\) to show that any deviation from the candidate extremal structure strictly increases DSO [2509.12294].

In chemical-graph-theoretic terms, the restriction \(\Delta(G)\le 4\) reflects valence constraints of atoms in many organic molecules. The result is therefore both extremal and chemically meaningful within the molecular class [2509.12294].

## 4. Maximum DSO on molecular trees with a perfect matching

A complementary extremal direction is studied for molecular trees with a perfect matching. Here a molecular tree is a tree whose maximum degree is at most \(4\). For molecular trees of order \(n\ge 12\) with a perfect matching, the maximum DSO is determined exactly, and the extremal trees are fully characterized [2512.19710].

The paper begins from a chemical-motivated perspective. It treats DSO as a chemical descriptor and tests its applicability to octane isomers using Pearson correlation coefficients with experimental physicochemical properties. The reported correlations retained under \(|corr|>0.6\) include at least density, melting point, and critical volume [2512.19710].

The extremal analysis is based on three structural lemmas. If \(T\) is a molecular tree with maximum DSO among trees of order \(n\ge 12\) with a perfect matching \(M\), then every matched edge is pendant:
\[
e=uv\in M \quad\Longrightarrow\quad e \text{ is a pendant edge of }T.
\]
A second lemma states that if \(d_T(u)=3\), then every neighbor \(v\in N_T(u)\) has degree in \(\{1,4\}\). Thus a degree-\(3\) vertex in an extremal tree is not adjacent to degree-\(2\) or degree-\(3\) vertices. A third lemma gives
\[
e_{4,4}\le 2.
\]
All three lemmas are proved by local rewiring arguments that strictly increase DSO when a forbidden configuration is present [2512.19710].

These constraints motivate three extremal families. Starting from \(\mathcal T_{1,3}\), the family of trees in which all vertices have degree \(1\) or \(3\), the paper defines \(\mathcal H_0,\mathcal H_1,\mathcal H_2\) by inserting exactly one vertex into every \(3\)-\(3\) edge, into all but one such edge, or into all but two such edges, respectively. For each \(i\in\{0,1,2\}\), \(\mathcal G_i\) is then obtained from a tree in \(\mathcal H_i\) by adding one new leaf to every existing vertex. These families are exactly the extremal structures for the three congruence classes of \(n\) modulo \(6\): equality in the corresponding piecewise linear upper bound holds precisely for \(T\in\mathcal G_0\), \(T\in\mathcal G_1\), or \(T\in\mathcal G_2\) according as \(n-12\equiv 2,0,4\pmod 6\) [2512.19710].

The proof then passes to degree counts. If \(n_i\) denotes the number of vertices of degree \(i\), then
\[
n_1+n_2+n_3+n_4=n,\qquad n_1+2n_2+3n_3+4n_4=2(n-1),
\]
and the pendant-edge lemma forces \(n_1=n/2\). Combined with the other structural restrictions, this yields
\[
n_2=n_4+2,\qquad n_3=-2n_4+\frac n2-2,\qquad e_{4,4}=3n_4-\frac n2+1.
\]
The explicit DSO values are then computed from the edge-type constants
\[
f(1,2)=\frac{2\sqrt5}{3},\quad
f(1,3)=\frac{\sqrt{10}}{4},\quad
f(1,4)=\frac{\sqrt{17}}{5},\quad
f(2,4)=\frac{\sqrt5}{3},\quad
f(3,4)=\frac{\sqrt{13}}{7},\quad
f(4,4)=\frac{\sqrt2}{2},
\]
where \(f(i,j)=\frac{\sqrt{i^2+j^2}}{i+j}\) [2512.19710].

## 5. Diminished Sombor matrix, spectral radius, and energy

The diminished Sombor matrix extends DSO from a scalar invariant to a weighted spectral object. Its eigenvalues are real, are denoted
\[
\lambda_1\ge \lambda_2\ge \cdots \ge \lambda_n,
\]
and satisfy
\[
\sum_{i=1}^n\lambda_i=0
\]
because the diagonal of \(M_{DS}(G)\) is zero. The characteristic polynomial is
\[
\phi(G,\lambda)=\det(\lambda I-M_{DS}(G)),
\]
the largest eigenvalue \(\lambda_1\) is the diminished Sombor spectral radius, and the diminished Sombor energy is
\[
E_{DSO}(G)=\sum_{i=1}^n|\lambda_i|.
\]
Trace identities include
\[
\operatorname{tr}(M_{DS}(G))=0
\]
and
\[
\operatorname{tr}(M_{DS}(G)^2)=2\sum_{v_iv_j\in E}\frac{d_i^2+d_j^2}{(d_i+d_j)^2}.
\]
Thus the second trace is twice the sum of squared DSO edge weights [2508.06531].

For connected \(k\)-regular graphs, every edge has weight
\[
\frac{\sqrt{k^2+k^2}}{k+k}=\frac{\sqrt2}{2},
\]
so
\[
M_{DS}(G)=\frac{\sqrt2}{2}A(G).
\]
Accordingly, the diminished Sombor spectrum of a regular graph is exactly \(\frac{\sqrt2}{2}\) times its adjacency spectrum [2508.06531].

Several standard families admit explicit spectra. For the complete graph,
\[
\operatorname{Spec}(M_{DS}(K_n))=
\left\{
\frac{\sqrt2}{2}(n-1),\;
\underbrace{-\frac{\sqrt2}{2},\dots,-\frac{\sqrt2}{2}}_{n-1\text{ times}}
\right\}.
\]
For the cycle,
\[
\operatorname{Spec}(M_{DS}(C_n))=
\left\{
\sqrt2\cos\left(\frac{2\pi j}{n}\right)\mid j=0,1,\dots,n-1
\right\}.
\]
For the complete bipartite graph,
\[
\operatorname{Spec}(M_{DS}(K_{p,q}))=
\left\{
\pm \sqrt{pq}\,\frac{\sqrt{p^2+q^2}}{p+q},\;
\underbrace{0,\dots,0}_{p+q-2\text{ times}}
\right\},
\]
and for the star \(S_n=K_{1,n-1}\),
\[
\operatorname{Spec}(M_{DS}(S_n))=
\left\{
\pm \sqrt{n-1}\,\frac{\sqrt{n^2-2n+2}}{n},\;
\underbrace{0,\dots,0}_{n-2\text{ times}}
\right\}.
\]
The paper also proves that if \(M_{DS}(G)\) has \(t\ge 2\) distinct eigenvalues, then \(\operatorname{diam}(G)\le t-1\); that \(G\) has exactly two distinct diminished Sombor eigenvalues iff \(G\cong K_n\); and that
\[
|\lambda_1|=\cdots=|\lambda_n|
\quad\Longleftrightarrow\quad
G\cong \overline{K_n}\ \text{or}\ G\cong \frac n2 K_2
\]
[2508.06531].

The spectral radius is bounded sharply by DSO and by the degree-based quantity
\[
M_{1,-2}(G)=\sum_{uv\in E}\frac{2d_ud_v}{(d_u+d_v)^2}:
\]
\[
\frac{2DSO(G)}{n}\le \lambda_1\le
\sqrt{\frac{2(n-1)}{n}\bigl(m-M_{1,-2}(G)\bigr)}.
\]
The left equality holds iff \(G\) is regular, and the right equality holds iff \(G\cong K_n\). There are also comparison bounds with the adjacency spectral radius \(\rho_1\),
\[
\frac{\sqrt2\,\delta}{\Delta}\rho_1\le \lambda_1\le \frac{\sqrt2\,\Delta}{2\delta}\rho_1,
\]
again with equality iff \(G\) is regular [2508.06531].

For the diminished Sombor energy, the paper proves
\[
2\lambda_1\le E_{DSO}(G)\le
\lambda_1+\sqrt{(n-1)\left(\operatorname{tr}(M_{DS}(G)^2)-\lambda_1^2\right)},
\]
as well as
\[
2\sqrt{\sum_{v_iv_j\in E}\frac{d_i^2+d_j^2}{(d_i+d_j)^2}}
\le E_{DSO}(G)\le
\sqrt{2n\sum_{v_iv_j\in E}\frac{d_i^2+d_j^2}{(d_i+d_j)^2}}.
\]
For connected graphs, the lower equality in the latter bound holds iff \(G\) is complete bipartite; the upper equality holds for a graph with no edges or with all vertices of degree one. The paper also derives a closed form for complete bipartite graphs,
\[
E_{DSO}(K_{p,q})=
\frac{2}{p+q}\sqrt{p^3q+pq^3},
\]
and shows that among \(K_{p,q}\) with \(p+q=n\), this quantity is minimized at the star and maximized at the balanced complete bipartite graph [2508.06531].

## 6. Variants, terminology, and neighboring Sombor constructions

Recent work places DSO inside a broader family of normalized Sombor-type indices. The hyperbolic Sombor index is defined by
\[
HSO(G)=\sum_{uv\in E(G)}\frac{\sqrt{d(u)^2+d(v)^2}}{\min\{d(u),d(v)\}},
\]
while the complementary diminished Sombor index (CDSO) is
\[
{}^cDSO(G)=\sum_{uv\in E(G)}\frac{\sqrt{d(u)^2+d(v)^2}}{\max\{d(u),d(v)\}}.
\]
In this framework, HSO arises from DSO by replacing the denominator \(d(u)+d(v)\) with \(\min\{d(u),d(v)\}\), and CDSO replaces it with \(\max\{d(u),d(v)\}\). The basic edgewise comparison
\[
{}^cDSO(G)\le HSO(G)
\]
holds with equality iff \(G\) is regular. The same paper emphasizes that neither HSO nor CDSO is monotone under edge addition in general, and it provides explicit sufficient conditions for both increase and decrease under the operation \(G\mapsto G+uv\) [2510.24809].

A persistent source of confusion is terminological rather than mathematical. Several papers in the broader Sombor literature use names that are close to “diminished Sombor index” for different formulas. One 2021 paper on silicon-carbide graphs uses the term “decreasing Sombor index” and the notation \(Sored(G)\) for
\[
Sored(G)=\sum_{uv\in E(G)}\sqrt{(d_u-1)^2+(d_v-1)^2},
\]
and explicitly notes that it does not define the present DSO separately [2112.09947]. Another paper on the general \((a,\beta)\)-KA index treats
\[
mSO(G)=\sum_{uv\in E(G)}\frac{1}{\sqrt{d_u^2+d_v^2}}
\]
as a “modified Sombor index,” corresponding to \(KA_{2,-1/2}(G)\), and again does not use the 2025 DSO definition [2108.05224]. Likewise, work on extremal cacti with respect to the Sombor index studies the ordinary Sombor index and the reduced Sombor index but does not define DSO [2103.07924]. The contemporary DSO literature therefore uses a specific normalized edge weight \(\sqrt{d_u^2+d_v^2}/(d_u+d_v)\), and this should not be conflated with the reduced/decreasing or reciprocal/modified Sombor variants [2508.06532].

Within chemical graph theory, the DSO literature is tied especially to molecular graphs, where the bound \(\Delta(G)\le 4\) encodes valence restrictions, and to QSPR/QSAR-style reasoning through degree-based descriptors. Within pure graph theory, the dominant themes are now clear: sharp inequalities against classical indices, extremal graph characterization under structural constraints such as cyclomatic number or perfect matching, and matrix-based spectral theory built directly from the DSO edge weights [2509.12294], [2512.19710], [2508.06531].

Source: https://www.emergentmind.com/topics/diminished-sombor-index-dso