Next Article in Journal
Nonlinear Tolerancing: Variation Simulation and Assembly Analysis with Regard to Contact Interaction of Parts
Next Article in Special Issue
The Restricted Edge-Connectivity of Strong Product Graphs
Previous Article in Journal
Asymptotic Representation of Vorticity and Dissipation Energy in the Flux Problem for the Navier–Stokes Equations in Curved Pipes
Previous Article in Special Issue
Entropy and Multi-Fractal Analysis in Complex Fractal Systems Using Graph Theory
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Extremal Sombor Index of Graphs with Cut Edges and Clique Number

1
School of Mathematical Science, Xiamen University, Xiamen 361005, China
2
School of Statistics and Data Science, Xinjiang University of Finance and Economics, Urumqi 830012, China
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(1), 66; https://doi.org/10.3390/axioms13010066
Submission received: 11 October 2023 / Revised: 7 January 2024 / Accepted: 11 January 2024 / Published: 20 January 2024
(This article belongs to the Special Issue Advances in Graph Theory and Combinatorial Optimization)

Abstract

:
The Sombor index is defined as S O ( G ) = u v E ( G ) d 2 ( u ) + d 2 ( v ) , where d ( u ) and d ( v ) represent the number of edges in the graph G connected to the vertices u and v, respectively. In this paper, we characterize the largest and second largest Sombor indexes with a given number of cut edges. Moreover, we determine the upper and lower sharp bounds of the Sombor index with a given number of clique numbers, and we characterize the extremal graphs.
MSC:
05C35

1. Introduction

In graph theory, studying extremal graphs and indices for a class of graphs with given parameters is an interesting problem. Recently, Gutman introduced a novel topological index, named the Sombor index in [1] and defined as S O ( G ) = u v E ( G ) d 2 ( u ) + d 2 ( v ) , where d ( u ) and d ( v ) represent the number of edges connected to vertices u and v in G, respectively, and further established some mathematical properties for the index. Chen et al. in [2] considered the extremal values of the Sombor index of trees with some given parameters such as matching number, pendent vertices, diameter, segment number, and branching number. In the meantime, the corresponding extremal trees are characterized. Li et al. showed the extremal graphs with respect to the Sombor index among all the n-order trees with a given diameter [3]. In [4], Redžpović studied the chemical applicability of the Sombor index. In addition, Cruz et al. in [5] determined the extremal chemical graphs and hexagonal systems for the Sombor index. In [6], Zhou et al. studied the Sombor index of trees and unicyclic graphs with a given maximum degree. In [7], they found the maximum Sombor index of unicyclic graphs with a fixed girth. In [8], they showed applications of the Sombor index. For more studies in this direction, one may refer to [9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24].
Let G = ( V ( G ) , E ( G ) ) be a finite, simple, and connected graph with V ( G ) = i = 1 n V i and E ( G ) = i = 1 m E i . For any vertex v V ( G ) , we denote N G ( v ) = { u | u v E ( G ) } and N G [ v ] = { u | u v E ( G ) } { v } . The degree d ( v ) of the vertex v is the number of edges connected to the vertex v. The vertex v is called pendent vertex if d ( v ) = 1 . The stem is the vertex adjacent to at least one pendent vertex, and the pendent edge is the edge incident with the pendent vertex and the stem. If u , v G , then the distance d ( u , v ) is the length of the shortest path connecting the two vertices u and v. We use P n , C n , and K 1 , n 1 to represent the path, cycle, and star graph with n vertices, respectively.
A clique is a subset V V ( G ) that makes G [ V ] to a complete graph. The order of the largest complete subgraph in graph G is called the clique number ψ ( G ) of G. The chromatic number χ ( G ) of the graph G is the minimum number of colors needed to stain each vertex on a graph so that the two adjacent vertices are different colors. See reference [25] for some notations and terms that we have not mentioned here.
Let C n , k be a class of graphs having n vertices and k cut edges. Denote E = { e 1 , e 2 , , e k } . It can be divided into two classes, namely, pendent edges with size k , and non-pendent edges with size k k . We know the resulting graph G E are either 2-edge-connected graphs or isolated vertices. The maximum number of cut edges in a connected graph with n vertices and at least one cycle is limited to n 3 ; therefore, we assume that the graph G with cut edges and k ( k 1 ) is less than or equal to n 3 .
In this paper, we determine the Sombor index of the graph with a given number of cut edges and determine the types of the graphs with the largest and second largest Sombor indexes. At the same time, we use clique number to determine the upper and lower sharp bounds for the Sombor index in C n , k . We will introduce some graph transformations.

2. The Extremal Graph of the Sombor Index with Cut Edges

If any graphs G 1 and G 2 with V ( G 1 ) V ( G 2 ) = { v } , then label the graph as G 1 v G 2 . If the graphs G 1 , G 2 , , G t ( t 2 ) share a common vertex v, then the graph is labeled as G 1 v G 2 v v G t . In the same way, if there is a cut edge u v between any graphs G 1 and G 2 with u V ( G 1 ) and v V ( G 2 ) , in the same way, we label this graph as G 1 u v G 2 . According to the definition and direct computation, we can obtain the following results.
Lemma 1. 
Let G = ( V , E ) be a graph and u , v V ( G ) . If u v is not an edge in E ( G ) , we have S O ( G ) < S O ( G + u v ) . If u v is an edge in E ( G ) , then we have S O ( G ) > S O ( G u v ) .
Proof. 
Since the increase (or decrease) in a new edge in the graph increases (or decreases) by some vertex degree, the lemma obviously holds. □
Here, we explain the graph transformation I on graph G C n , k . Denote that G = G 1 u v G 2 is a graph that does not contain cut edge u v , where G 1 and G 2 are both 2-edge-connected graphs (Figure 1a). Let G * = G { u v } + { u ( v ) w } (Figure 1b). Then, the resulting graph G * is obtained from G via the graph transformation I. Since the graph G * posses k cut edges, the number of pendent vertices increases by 1.
Lemma 2. 
Suppose that G * is the graph derived by G C n , k using the graph transformation I, as described in Figure 1. Then, S O ( G * ) > S O ( G ) .
Proof. 
Set N G ( u ) { v } = { u 1 , u 2 , , u r } and N G ( v ) { u } = { v 1 , v 2 , , v s } with r , s 2 . Then, d G ( u ) = r + 1 , d G ( v ) = s + 1 , and d G * ( u ( v ) ) = r + s + 1 . It is clear that the vertices u 1 , u 2 , , u r are in V ( G 1 ) ; and v 1 , v 2 , , v s are in V ( G 2 ) by assumption. Further,
S O ( G * ) S O ( G ) = x N G * ( u ) d G * 2 ( x ) + d G * 2 ( u ) x N G ( u ) \ v d G 2 ( x ) + d G 2 ( u ) x N G ( v ) \ u d G 2 ( x ) + d G 2 ( v ) = 1 + ( r + s + 1 ) 2
+ x N G ( u ) \ v d G 2 ( x ) + ( r + s + 1 ) 2 + x N G ( v ) \ u d G 2 ( x ) + ( r + s + 1 ) 2 x N G ( u ) \ v d G 2 ( x ) + ( r + 1 ) 2 x N G ( v ) \ u d G 2 ( x ) + ( s + 1 ) 2 ( r + 1 ) 2 + ( s + 1 ) 2 = 1 + ( r + s + 1 ) 2 + i = 1 r d G 2 ( u i ) + ( r + s + 1 ) 2 + j = 1 s d G 2 ( v j ) + ( r + s + 1 ) 2 i = 1 r d G 2 ( u i ) + ( r + 1 ) 2 j = 1 s d G 2 ( v j ) + ( s + 1 ) 2 ( r + 1 ) 2 + ( s + 1 ) 2 = 1 + ( r + s + 1 ) 2 ( r + 1 ) 2 + ( s + 1 ) 2 + i = 1 r d G 2 ( u i ) + ( r + s + 1 ) 2 i = 1 r d G 2 ( u i ) + ( r + 1 ) 2 + j = 1 s d G 2 ( v j ) + ( r + s + 1 ) 2 j = 1 s d G 2 ( v j ) + ( s + 1 ) 2 .
Note that
1 + ( r + s + 1 ) 2 ( r + 1 ) 2 + ( s + 1 ) 2 > 0 . i = 1 r d G 2 ( u i ) + ( r + s + 1 ) 2 i = 1 r d G 2 ( u i ) + ( r + 1 ) 2 > 0 . j = 1 s d G 2 ( v j ) + ( r + s + 1 ) 2 j = 1 s d G 2 ( v j ) + ( s + 1 ) 2 > 0 .
where d G ( u i ) , d G ( v j ) 1 and S O ( G * ) S O ( G ) > 0 . We have finished. □
Here, we explain the graph transformation II on a graph G C n , k . Set u v as not a pendent cut edge in G = G 1 u v K 1 , r , Figure 2a. Let G * * = G 1 u K 1 , r + 1 (Figure 2b). In this way, the graph G * * is attained at G by applying graph transformation II.
Based on the graph transformation II, we obtain:
Lemma 3. 
Let G 1 be a 2-edge-connected graph and u v be a non-pendent cut edge of G = G 1 u v K 1 , r ; G * * will be the resulting graph from G by applying the graph transformation II (Figure 2). Then, we have S O ( G * * ) > S O ( G ) .
Either a cut edge or a non-pendent edge can be transformed into a pendent edge via graph transformations I and II, as shown in Figure 3.
Here, we explain the graph transformation III on graph G C n , k . Assume that u , v V ( G ) and the vertices u 1 , u 2 , , u s are pendent vertices adjacent to vertex u; the vertices v 1 , v 2 , , v t are pendent vertices adjacent to vertex v, as shown in Figure 4a. Let G = G { u u 1 , u u 2 , , u u s } + { v u 1 , v u 2 , , v u s } , as shown in Figure 4b. Then, G is the resulting graph from G through graph transformation III.
Lemma 4. 
Let G be a graph obtained from G by applying the graph transformation III (Figure 3). Then, S O ( G ) > S O ( G ) .
By repeating this transformation in the graph, all pendent edges are connected to the same vertex.
We will discuss the graph of C n , k with the largest Sombor index in the following. Let K n be a complete graph with n vertices, and Q n k be a graph obtained by connecting k independent vertices to one of the vertices of K n k .
Theorem 1. 
In all connected graphs in C n , k , the Sombor index takes the maximum value on Q n k , i.e., the graph obtained by connecting k independent vertices to one of the vertex of the graph K n k .
Proof. 
According to above lemmas, we provide the Sombor index for graphs in C n , k that achieve the upper bound.
Claim 1. If a graph G C n , k , then S O ( G ) S O ( G * ) .
Let G C n , k and G G * , then based on the above lemmas, we know S O ( G ) < S O ( G * ) . Obviously, the equality holds when G G * .
Claim 2. For two graphs G * and H in Figure 4, S O ( G * ) S O ( H ) , the equality holds when G * H .
Assume G C n , k is a graph with cut edges { e 1 , e 2 , e k } . Then, via Lemma 1, we have S O ( G + e ) > S O ( G ) , where e E ( G ) . Recall that by adding some edges to 2-edge-connected graphs S i for i { 1 , 2 , , m } , it is converted to the complete subgraphs K n i + 1   f o r ( i { 1 , 2 , , m } ; therefore, the graph G * is converted to the graph H, which has k cut edges, so that H G C n , k . According to Lemma 1, if G * H , then we have S O ( G * ) < S O ( H ) and the equality holds when G * H .
Claim 3. For two graphs H and Q n k in Figure 5, we have S O ( H ) S O ( Q n k ) , and the equality holds when H Q n k , i.e., m = 1 .
The graph H becomes the graph Q n k if we connect every pair of vertices in the complete subgraphs K n i + 1 ( i { 1 , 2 , , m } ) of H and it has k cut edges. Obviously, Q n k C n , k and H Q n k . Therefore, using Lemma 1, we obtain S O ( H ) < S O ( Q n k ) , and the equality holds when H Q n k , i.e., m = 1 .
With the above three claims, the theorem holds. □
In the following, we characterize the graph with the second largest Sombor index in C n , k .
Theorem 2. 
In all graphs G C n , k and G Q n k , it holds that S O ( G ) S O ( G 2 ) ; the equality holds when G G 2 .
Proof of Theorem 2. 
For all graphs G C n , k , if G achieves the maximum S O ( G ) , then it must be one of the graphs shown in Figure 6, namely G 1 , G 2 , or G 3 .
Recall that either a cut edge or a non-pendent cut edge can eventually be transformed into a pendent edge by repeating the graph transformation I or II. We denote the resulting graph as G k * in Figure 3, where S i for 1 i m represents the 2-edge-connected graphs. Then, we have S O ( G k * ) S O ( G ) . In Figure 3, k represents the number of non-pendent vertices attached to cut edges. In the following, we will discuss two cases according to parameters m and k .
Case 1. If m = 1 .
If k = 1 , additional edges are added to the vertices of the subgraph S 1 which is 2-edge-connected; via transformation, S 1 turns into G 2 or G 3 (see Figure 7). By adding an additional edge to either G 2 or G 3 , then it becomes the graph Q n k . Therefore, based on the Lemma 1, it holds that
S O ( G ) S O ( G k * ) S O ( G 2 ) S O ( Q n k ) or S O ( G ) S O ( G k * ) S O ( G 3 ) S O ( Q n k ) .
If k 2 , edges are initially added to the vertices of the S 1 which is a 2-edge-connected subgraph, and it is converted to K n k , denoting the graph as H 1 (See Figure 8). By applying Lemma 1, we obtain S O ( H ) S O ( G k * ) . Next, repeating the graph transformation III on graph H, at last we obtain G 1 . If we move only one edge from G 1 , it becomes Q n k . By repeating this transformation in the graph, each pendent edge is attached to the same vertex. Via Lemma 4, we have S O ( G ) S O ( H 1 ) S O ( G 1 ) S O ( Q n k ) .
Case 2. If m 2 , we consider the same way in Case 1.
If k = 1 , the complete graphs K i + 1 ( i = 1 , 2 , , m ) are constructed by adding edges to the 2-edge-connected subgraphs S i ( i = 1 , 2 , , m ) in G k * , forming the graph H 2 (Figure 9). Then, we have S O ( H 2 ) S O ( G k * ) via Lemma 1. Add some edges between K n i + 1 ( i = 1 , 2 , , m ) , composing the graph G 2 (Figure 9). If adding another edge to G 2 , it becomes Q n k . Via Lemma 1, it holds that S O ( G k * ) S O ( H 2 ) S O ( G 2 ) S O ( Q n k ) .
If k 2 , add some edges to S i ( i = 1 , 2 , , m ) of G k * to obtain the complete graph K n i + 1 ( i = 1 , 2 , , m ) ; by adding edges among K n i + 1 ( i = 1 , 2 , , m ) , we can obtain the graph H 3 . Finally, we can obtain the graph G 1 by applying the graph transformation III on H 3 , and we can obtain the graph Q n k by adding an edge to G 1 (Figure 10). Then, according to the above lemmas, it holds that S O ( G k * ) S O ( H 3 ) S O ( G 1 ) S O ( Q n k ) .
From the above cases, we know that the second largest value of the Sombor index is taken by one of the graphs G 1 , G 2 , and G 3 . In our next work, we only need to compare the Sombor index of G 1 , G 2 , and G 3 . Therefore,
S O ( G 1 ) = ( k 1 ) ( n 2 ) 2 + 1 + ( n 2 ) 2 + ( n k ) 2 + ( n k ) 2 + 1 + ( n 2 ) 2 + ( n k 1 ) 2 ( n k 2 ) + ( n k ) 2 + ( n k 1 ) 2 + 2 ( n k 1 ) 2 ( n k 3 ) . S O ( G 2 ) = k ( n 1 ) 2 + 1 + ( n 1 ) 2 + ( n k 2 ) 2 + ( n 1 ) 2 + ( n k 1 ) 2 ( n k ) + 2 ( n k 1 ) 2 ( n k 4 ) + ( n k 2 ) 2 + ( n k 1 ) 2 ( 2 n 2 k 5 ) . S O ( G 3 ) = k ( n 2 ) 2 + 1 + ( n k 2 ) ( ( n k 2 ) 2 + ( n k 1 ) 2 + ( n 2 ) 2 + ( n k 1 ) 2 ) + 2 ( n k 1 ) 2 ( n k 3 ) .
Therefore, we compare the graph G 2 with the graph G 1 , where n k + 3 and k 1 , then, through direct calculation, we have S O ( G 2 ) S O ( G 1 ) > 0 .
Next, we compare the graph G 2 with the graph G 1 using easy calculation, where n k + 3 and k 1 , then S O ( G 2 ) S O ( G 3 ) > 0 . Therefore, the Sombor index attained the maximum value on G 2 . The theorem is proven. □

3. Extremal Sombor Index of Graphs with a Clique Number

Let χ n , k and ψ n , k be a class of graphs with n vertices, and chromatic number k and clique number k, respectively.
Let Q n ( k ) be a complete k-partite graph with a partition set differing in size by no more than 1. Let T k ( ( n k ) 1 ) be the graph in which a vertex of a a complete graph K k is connected to a path graph P n k + 1 (see Figure 11). Next, we will prove that the graph Q n ( k ) and the tadpole graph T k ( ( n k ) 1 ) has a maximal and minimal Sombor index in ψ n , k , respectively.
In order to obtain our main result, we first provide some necessary lemmas. From the definition of the Sombor index of the graph, these lemmas are obvious and fundamental.
Assume that i = 1 k n i = n . Set Q n 1 , n 2 , , n k as the complete k-partite graph with n vertices, and the number of the partition set as n 1 , n 2 , , n k , respectively.
Lemma 5. 
S O ( Q n 1 , n 2 , , n k ) = s = 1 k t = s + 1 k n s n t ( n n s ) 2 + ( n n t ) 2 .
Proof. 
In a partition set of size n j of Q n 1 , n 2 , , n k for j { 1 , 2 , , k } , the degree of each vertex is n n j between two partition sets of sizes n i , n j , where 1 i < j k , respectively. In Q n 1 , n 2 , , n k , there are n i n j edges connected to two sets. In addition, the degrees of the two vertices incident with each of these edges are n n i and n n j , respectively. Then, we have S O ( Q n 1 , n 2 , , n k ) = s = 1 k t = s + 1 k n s n t ( n n s ) 2 + ( n n t ) 2 , and we complete the proof of the lemma. □
In the next, we consider the maximal Sombor index of graphs from χ n , k . The set χ n , k contains connected graph K 1 when k = 1 , and the only graph in χ n , k is the complete graph K n when k = n .
Lemma 6. 
Let G χ n , k be the graph with a maximal Sombor index. Then, G Q n 1 , n 2 , , n k .
Proof. 
The lemma holds immediately based on Lemma 1, and by the definition of the set χ n , k . □
Further, we will introduce some notations. If u , v V ( G ) are not the same vertices in graph G for p , q > 0 , we denote by G u , v ( p , q ) the graph from G by attaching a path of length p and q at the vertex u and v of G, respectively. For v V ( G ) , let G v ( l ) be the graph attaining at v a path of length l. Let 1 k n 2 , and through the graph transformations, we get the following Lemma:
Lemma 7. 
Let G be a connected graph with G K 1 ; v is a vertex in G. G v ( k , n 1 k ) is the graph resulting from attaching at v two paths of lengths k and n 1 k , respectively. Then, S O G v ( k , n 1 k ) > S O G v ( n 1 ) .
By repeating the above lemma, it is easy to obtain the following result.
Remark 1 
([6]). When the tree T with t vertices on the graph G is replaced by the path P t + 1 , then S O ( G ) of the graph decreases.
Remark 2 
([6]). Assume s , t > 0 , and two vertices u , v V ( G ) so that d ( u ) d ( v ) > 1 . Then, S O ( G u , v ( s , t ) ) > S O ( G v ( s + t ) ) .
Now, we first consider the maximal Sombor index for a graph from χ n , k . In the discussion in this part, we assume that the graph G has k chromatic numbers for 1 < k < n and n = k q + r , ( 0 r < k ) , where q = n k .
Lemma 8. 
Let G χ n , k , then
S O ( G ) S O ( Q n ( k ) ) = k r 2 n k 2 2 ( n n k ) 2 + r ( k r ) n k n k ( n n k ) 2 + ( n n k ) 2 + r 2 n k 2 2 ( n n k 2 ) ,
where the first equality holds when G Q n ( k ) .
Proof. 
For any graph G χ n , k , there are k color classes, and each color class is an independent set. If the order of k classes is n 1 , n 2 , , n k , according to Lemma 6 and by χ n , k , it takes the maximal Sombor index, which is the complete k-partite graph Q n 1 , n 2 , , n k . Suppose that a graph G χ n , k takes the maximal Sombor index. We claim that G is Q n ( k ) . On the contrary, suppose that n p and n q represent the size of vertices of two classes, 1 p < q k , such that n q n p 2 . Let i j n i = 0 if j < i for convenience. Thus, using Lemma 5, we obtain:
S O ( Q n 1 , n 2 , , n p , , n q , , n k ) = i = 1 p 1 j = i + 1 k n i n j ( n n i ) 2 + ( n n j ) 2 + i = p + 1 q 1 j = i + 1 j q k n i n j ( n n i ) 2 + ( n n j ) 2 + i = q + 1 k j = i + 1 k n i n j ( n n i ) 2 + ( n n j ) 2 + n p ( n n p ) ( i = 1 p 1 ( n n i ) 2 + ( n n j ) 2 + j = p + 1 k ( n j ) 2 + ( n n j ) 2 ) + n q ( n n q ) ( i = 1 p 1 n i 2 + ( n n j ) 2 + j = p + 1 q 1 n j 2 + ( n n j ) 2 + j = q + 1 k n j 2 + ( n n j ) 2 ) .
Let
A 1 = i = 1 p 1 j = i + 1 k n i n j ( n n i ) 2 + ( n n j ) 2 , A 2 = i = p + 1 q 1 j = i + 1 j q k n i n j ( n n i ) 2 + ( n n j ) 2 , A 3 = i = q + 1 k j = i + 1 k n i n j ( n n i ) 2 + ( n n j ) 2 , a n d B = i = 1 p 1 n i 2 + ( n n i ) 2 + i = q + 1 q 1 n i 2 + ( n n i ) 2 + j = q + 1 k n i 2 + ( n n i ) 2 .
Then, we have
S O ( Q n 1 , n 2 , , n p , , n q , , n k ) = A 1 + A 2 + A 3 + n ( n p + n q ) ( n p 2 + n q 2 ) i = 1 p 1 n i 2 + ( n n i ) 2 + n n p ( 1 p ) + n q ( n n q ) i = p + 1 q 1 n i 2 + ( n n i ) 2 + n p ( n n p ) + n q ( n n q ) j = q + 1 k n i 2 + ( n n i ) 2 + n p n q ( n n p ) ( n n q ) = A 1 + A 2 + A 3 + n ( n p + n q ) ( n p 2 + n q 2 ) B + n n p n q ( 1 p ) ( n n q ) ,
S O ( Q n 1 , n 2 , , n p + 1 , , n q 1 , , n k ) = A 1 + A 2 + A 3 + ( n p + 1 ) ( n n p 1 ) + ( n q 1 ) ( n n q + 1 ) B + ( n p + 1 ) ( n q 1 ) ( n n p 1 ) ( n n q + 1 ) .
Therefore,
S O ( Q n 1 , n 2 , , n p + 1 , , n q 1 , , n k ) S O ( Q n 1 , n 2 , , n p , , n q , , n k ) = 2 ( n q n p 1 ) B + ( n p n q + n q n p 1 ) ( n n p 1 ) ( n n q + 1 ) n p n q ( n n p ) ( n n q ) n p n q ( n n p ) ( n n q ) 1 > n q n p 1 > 0 .
This contradicts the maximality of the Sombor index of G. We know that n = r + k n k = r n k + ( k r ) n k . Combining with Lemma 5, the values of Sombor index S O ( Q n ( k ) ) can be obtained immediately. □
Lemma 9 
([26]). Assume that G 1 = ( V , E 1 ) is the graph, ψ ( G ) k . Then, there is a k-partite graph G 2 = ( V , E 2 ) , and it holds that d G 1 ( v ) d G 2 ( v ) for v V .
According to the above lemmas, we obtain:
Theorem 3. 
Let G ψ n , k . Then,
S O ( G ) k r 2 n k 2 2 ( n n k ) 2 + r ( k r ) n k n k ( n n k ) 2 + ( n n k ) 2 + r 2 n k 2 2 ( n n k 2 ) ,
the equality holds when G Q n ( k ) .
Proof. 
It is trivial that when k = n , then we assume that k < n . Assume that G from ψ n , k has the maximum Sombor index. Let G χ n , k . If not, from the case ψ ( G ) = k of Lemma 9, we obtain the k-partite graph G 2 with the same set of vertices as G makes v V ( G ) = V ( G 2 ) , d G ( v ) d G 2 ( v ) . Clearly, G 2 ψ n , k . According to the definition, we obtain S O ( G 2 ) S O ( G ) . According to Lemma 8, this theorem holds immediately due to the uniqueness of extremal graphs in χ n , k . □
Theorem 4. 
Let G ψ n , k , then S O ( G ) k 2 ( k 1 ) 2 ( k 1 ) 2 + ( k 1 ) k 2 + ( k 1 ) 2 + k 2 + 4 + 2 2 ( n k 2 ) + 5 , where equality holds when G T k ( ( n k ) 1 ) .
Proof. 
Assume that the graph G 1 ψ n , k has the smallest Sombor index. Using the definition of ψ n , k , G 1 has a subgraph Q k , which is a complete graph. Let V ( Q k ) = { v 1 , v 2 , , v k } . Via Lemma 1, G 1 is a graph obtained via Q k by connecting some trees rooted in some vertices of Q k . From G 1 , let V 0 = { v i | i { 1 , 2 , , k } , d G 1 ( v i ) > k 1 (i.e., there is a tree connected to v i for any vertex v i V 0 , and vertices in V 0 are labeled as v 1 , v 2 , , v t , with k t .
From Lemma 9, all trees connected to some vertices of Q k must be paths in G 1 , i.e., all vertices of V 0 of G 1 have degree k. Suppose that | V 0 | = 1 . Contrary to assumption, we can find two vertices at least, such that v i , v j V 0 . The graph G v i , v j ( p i , p j ) is denoted by G 1 . However, from the graph transformation, G 1 G v i , v j ( p i , p j ) is converted into G v i ( p i + p j ) or G v j ( p i + p j ) with a smaller Sombor index. In this way, it contradicts the choice of G 1 . Hence, G 1 T k ( ( n k ) 1 ) , and through simple calculation, we have S O T k ( ( n k ) 1 ) = k 2 ( k 1 ) 2 ( k 1 ) 2 + ( k 1 ) k 2 + ( k 1 ) 2 + k 2 + 4 + 2 2 ( n k 2 ) + 5 .
This theorem is proven. □

4. Conclusions

In this paper, firstly, we determine the Sombor index of the graph with a given number of cut edges and we determine the types of graphs with the largest and second largest Sombor indexes through the graph transformations I, II, and III. Secondly, we use the clique number to characterize the extremal graphs for the Sombor index, and we provide the upper and lower bounds for the index. As a result, we provide the following results in Table 1.

5. Notations

We provide some symbols in Table 2 in the following.

Author Contributions

These authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the Research Fund of Xinjiang University of Finance and Economics (2022XGC068); the Base Tender Project of Humanities, Social Sciences, funded by the Ministry of Education (ZX20230042); and is sponsored by the Natural Science Foundation of Xinjiang Uyghur Autonomous Region (2023D01A72).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors are very grateful to the anonymous referees and editors for their constructive suggestions and insightful comments, which have considerably improved the presentation of this paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Gutman, I. Geometric approach to degree-based topological indices: Sombor Indices. MATCH Commun. Math. Comput. Chem. 2021, 86, 11–16. [Google Scholar]
  2. Chen, H.; Li, W.; Wang, J. Extremal values on the Sombor index of trees. MATCH Commun. Math. Comput. Chem. 2022, 87, 23–49. [Google Scholar] [CrossRef]
  3. Li, S.; Wang, Z.; Zhang, M. On the extremal Sombor index of trees with a given diameter. Appl. Math. Comput. 2022, 416, 126731. [Google Scholar] [CrossRef]
  4. Redžepović, I. Chemical applicability of Sombor indices. J. Serb. Chem. Soc. 2021, 86, 445–457. [Google Scholar] [CrossRef]
  5. Cruz, R.; Gutman, I.; Rada, J. Sombor index of chemical graphs. Appl. Math. Comput. 2021, 399, 126018. [Google Scholar] [CrossRef]
  6. Zhou, T.; Lin, Z.; Miao, L. The Sombor index of trees and unicyclic graphs with given maximum degree. Discret. Math. Lett. 2021, 7, 24–29. [Google Scholar]
  7. Senthilkumar, B.; Venkatakrishnan, Y.B.; Balachandran, S.; Ali, A.; Alraqad, T.A.; Hamza, A.E. On the Maximum Sombor Index of unicyclic graphs with a fixed girth. J. Math. 2022, 2022, 8202681. [Google Scholar] [CrossRef]
  8. Réti, T.; Došlić, T.; Ali, A. On the Sombor index of graphs. Contrib. Math. 2021, 3, 8–11. [Google Scholar]
  9. Kulli, V.R.; Gutman, I. Computation of Sombor indices of certain networks. Int. J. Appl. Chem. 2021, 8, 1–5. [Google Scholar]
  10. Lin, Z.; Zhou, T.; Kullic, V.R.; Miao, L. On the first Banhatti-Sombor index. J. Int. Math. Virtual Inst. 2021, 11, 53–58. [Google Scholar]
  11. Zhao, W.; Yaping, M.; Yue, L.; Furtula, B. On relations between Sombor and other degree-based indices. J. Appl. Math. Comput. 2021, 68, 1–17. [Google Scholar]
  12. Liu, H. Proof of an open problem on the Sombor index. J. Appl. Math. Comput. 2023, 69, 2465–2471. [Google Scholar] [CrossRef]
  13. Alikhani, S.; Ghanbari, N. Sombor Index of Polymers. MATCH Commun. Math. Comput. Chem. 2021, 86, 715–728. [Google Scholar]
  14. Hayat, S.; Rehman, A. On Sombor index of graphs with a given number of cut-vertices. MATCH Commun. Math. Comput. Chem. 2023, 89, 437–450. [Google Scholar] [CrossRef]
  15. Horoldagva, B.; Xu, C. On Sombor index of graphs. MATCH Commun. Math. Comput. Chem. 2021, 86, 703–713. [Google Scholar]
  16. Cruz, R.; Rada, J. Extremal values of the Sombor index in unicyclic and bicyclic graphs. J. Math. Chem. 2021, 59, 1098–1116. [Google Scholar] [CrossRef]
  17. Liu, H.; Lu, M.; Tian, F. On the spectral radius of graphs with cut edges. Linear Algebra Appl. 2004, 389, 139–145. [Google Scholar] [CrossRef]
  18. Hayat, S.; Arshad, M.; Gutman, I. Proofs to some open problems on the maximum Sombor index of graphs. J. Appl. Math. 2023, 42, 279–289. [Google Scholar] [CrossRef]
  19. Cruz, R.; Rada, J.; Sigarreta, J.M. Sombor Index of trees with at most three branch vertices. Appl. Math. Comput. 2021, 409, 126–414. [Google Scholar] [CrossRef]
  20. Chen, S.B.; Liu, W.J. Extremal Zagreb indices of graphs with a given number of cut edges. Graphs Comb. 2014, 30, 109–118. [Google Scholar] [CrossRef]
  21. Xiang, X. The Zagreb indices of graphs with a given clique number. Appl. Math. Lett. 2011, 24, 1026–1030. [Google Scholar]
  22. Gutman, I.; Furtula, B. Novel Molecular Structure Descriptors-Theory and Applications I; University of Kragujevac: Kragujevac, Serbia, 2010. [Google Scholar]
  23. Zhao, Q.; Li, S.C. On the maximum Zagreb indices of graphs with k cut vertices. Acta Appl. Math. 2010, 111, 93–106. [Google Scholar] [CrossRef]
  24. Das, K.C.; Çevik, A.S.; Cangul, I.N.; Shang, Y. On Sombor index. Symmetry 2021, 13, 140. [Google Scholar] [CrossRef]
  25. Bondy, J.A.; Murty, U.S.R. Graph Theory and Its Applications; Macmillan: London, UK; Elsevier: New York, NY, USA, 1976. [Google Scholar]
  26. Erdös, P. On the graph theorem of Turán. Math. Fiz. Lapok 1970, 21, 249–251. [Google Scholar]
Figure 1. The graph transformation I: G G * . (a) G. (b) G * .
Figure 1. The graph transformation I: G G * . (a) G. (b) G * .
Axioms 13 00066 g001
Figure 2. The graph transformation II: G G * * . (a) G. (b) G * * .
Figure 2. The graph transformation II: G G * * . (a) G. (b) G * * .
Axioms 13 00066 g002
Figure 3. The graph G k * .
Figure 3. The graph G k * .
Axioms 13 00066 g003
Figure 4. The graph transformation III: G G . (a) G. (b) G .
Figure 4. The graph transformation III: G G . (a) G. (b) G .
Axioms 13 00066 g004
Figure 5. Simple graphs G * , H and Q n k with k cut edges. (a) G * . (b) H. (c) Q n k .
Figure 5. Simple graphs G * , H and Q n k with k cut edges. (a) G * . (b) H. (c) Q n k .
Axioms 13 00066 g005
Figure 6. Simple graphs G 1 , G 2 , and G 3 with cut edges. (a) G 1 . (b) G 2 . (c) G 3 .
Figure 6. Simple graphs G 1 , G 2 , and G 3 with cut edges. (a) G 1 . (b) G 2 . (c) G 3 .
Axioms 13 00066 g006
Figure 7. The graphs with m = 1 , k = 1 . (a) G k * . (b) G 2 . (c) G 3 .
Figure 7. The graphs with m = 1 , k = 1 . (a) G k * . (b) G 2 . (c) G 3 .
Axioms 13 00066 g007
Figure 8. The graph transformation with m = 1 , k 2 . (a) G k * . (b) H 1 . (c) G 1 .
Figure 8. The graph transformation with m = 1 , k 2 . (a) G k * . (b) H 1 . (c) G 1 .
Axioms 13 00066 g008
Figure 9. The graph transformation with m 2 , k = 1 . (a) G k * . (b) H 2 . (c) G 2 .
Figure 9. The graph transformation with m 2 , k = 1 . (a) G k * . (b) H 2 . (c) G 2 .
Axioms 13 00066 g009
Figure 10. The graph transformation with m 2 , k 2 .
Figure 10. The graph transformation with m 2 , k 2 .
Axioms 13 00066 g010
Figure 11. The tadpole graph T k ( ( n k ) 1 ) .
Figure 11. The tadpole graph T k ( ( n k ) 1 ) .
Axioms 13 00066 g011
Table 1. Main results.
Table 1. Main results.
Class of GraphExtremal GraphMaximum or Minimum
C n , k Q n k maximum
χ n , k Q n ( k ) maximum
ψ n , k T k ( ( n k ) 1 ) minimum
Table 2. Notations.
Table 2. Notations.
SymbolDefinition
C n , k The set of graphs having n vertices and k cut edges
Q n k The graph obtained by connecting k independent vertices to one of the vertices of K n k
χ n , k The set of chromatic number k of connected graphs with n vertices
ψ n , k The set of clique number k of connected graphs with n vertices
Q n ( k ) The complete k-partite graph and its partition sets differ in size by no more than 1
T k ( ( n k ) 1 ) The graph in which a vertex on a complete graph K k is connected to a pendent vertex on a path graph P n k + 1
Q n 1 , n 2 , , n k The complete k-partite graph with n vertices; the number of the partition set is n 1 , n 2 , , n k , respectively
G u , v ( p , q ) The graph attained from G by attaching at u a path of length p and at v a path of length q
G v ( l ) The graph attained at v a path of length l
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Wali, M.; Guji, R. Extremal Sombor Index of Graphs with Cut Edges and Clique Number. Axioms 2024, 13, 66. https://doi.org/10.3390/axioms13010066

AMA Style

Wali M, Guji R. Extremal Sombor Index of Graphs with Cut Edges and Clique Number. Axioms. 2024; 13(1):66. https://doi.org/10.3390/axioms13010066

Chicago/Turabian Style

Wali, Mihrigul, and Raxida Guji. 2024. "Extremal Sombor Index of Graphs with Cut Edges and Clique Number" Axioms 13, no. 1: 66. https://doi.org/10.3390/axioms13010066

APA Style

Wali, M., & Guji, R. (2024). Extremal Sombor Index of Graphs with Cut Edges and Clique Number. Axioms, 13(1), 66. https://doi.org/10.3390/axioms13010066

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop