The Maximum and Minimum Value of Exponential Randić Indices of Quasi-Tree Graph

Abstract

The exponential Randić index has important applications in the fields of biology and chemistry. The exponential Randić index of a graph G is defined as the sum of the weights e 1 d( u )d( v ) of all edges uv of G, where d( u ) denotes the degree of a vertex u in G. The paper mainly provides the upper and lower bounds of the exponential Randić index in quasi-tree graphs, and characterizes the extremal graphs when the bounds are achieved.

Share and Cite:

Qiu, L. , Ruan, X. and Zhu, Y. (2024) The Maximum and Minimum Value of Exponential Randić Indices of Quasi-Tree Graph. Journal of Applied Mathematics and Physics, 12, 1804-1818. doi: 10.4236/jamp.2024.125112.

1. Introduction

Since the famous chemist Milan Randić proposed a structural descriptor called Randić index in 1975. The Randić index provides important references and guidance for the design and synthesis of new compounds, aiding chemists in better understanding the structure and properties of molecules, and thus facilitating the design and synthesis of molecular materials with specific properties and functions. Bollobás and Erdös [1] introduced the concept of the generalized Randić index and promoted the use of the indicator. For a simple connected graph G = ( V , E ) , V and E represent the set of vertices and edges of graph G, respectively. And d ( u ) refers to the degree of a vertex u in G. The Randić index of the graph G is defined as

χ ( G ) = u v E ( G ) 1 d ( u ) d ( v ) .

There are a lot of researcher on the mathematical properties of the Randić index and general Randić index of a graph. Hu and Li [2] [3] studied the maximum and minimum values of the generalized Randić index in all trees containing n vertices. Wu and Zhang [4] provided the minimum value of the generalized Randić index at Cn in single-cycle graphs with n vertices when α > 0 . When 1 α < 0 , the minimum value is obtained at S n + . Pavlović [5] classified and discussed the maximum value of the zeroth-order Randić index in graphs without cycles, multiple edges, containing n vertices and m edges. Li and Zhao [6] provided the maximum, second maximum, third maximum, and minimum, second minimum, third minimum zeroth-order generalized Randić indices in trees, and characterized the corresponding extremal graphs. Zhang [7] provided the maximum, second maximum, third maximum, and minimum, second minimum, third minimum zeroth-order generalized Randić indices in single-cycle graphs, and characterized the corresponding extremal graphs. Jahanbani and Murat [8] studied the minimum value attained by this index in n-th order trees at the path.

The paper only considers simple connected graphs. Let G x represent the graph obtained by removing vertex x and its associated edges from graph G. If there exists a vertex x V ( G ) such that the graph G x is a tree, then G is called a quasi-tree graph. This paper primarily focuses on the exponential Randić index of quasi-tree graphs, aiming to determine the maximum and minimum values of the exponential Randić index for quasi-tree graphs and provide corresponding extremal graphs. In practical applications, the exponential Randić index and the Wiener index can be analyzed from different perspectives to study the structure of graphs. The exponential Randić index can also play a role in the study of spectral properties, graph complexity, symmetry, centrality, reliability, and robustness of graphs. Deriving bounds of the exponential Randić index for quasi-tree graphs can aid in our understanding of chemical bonding, reaction mechanisms, and intermolecular interactions. The definition of exponential Randić index is as follows:

e χ ( G ) = u v E ( G ) e 1 d ( u ) d ( v ) .

Lu and Guo [9] provided the upper and lower bounds of the Randić index for quasi-tree graphs:

n 4 n 1 + 2 2 ( n 1 ) + 1 3 ( n 1 ) + 2 6 R ( G ) n 2 .

They also provided the extremal graph as shown in Figure 1.

The equality holds if and only if G Q 0 T ( n ) and G Q 1 T ( n ) .

Sun and Gao [10] studied the zeroth-order generalized Randić index of quasi-tree graphs and determined the extreme values of the zeroth-order general Randić index of quasi-trees with perfect matchings and p pendant vertices, and characterized the corresponding extremal graphs.

Figure 1. Q 0 T ( n ) and Q 1 T ( n ) .

Based on the proofs in the paper, we can derive the following conclusion:

Conclusion 1. Let G be a quasi-tree graph with n vertices and n 3 . Then, there exists:

e χ ( G ) 2 e 1 2 ( n 1 ) + ( n + 1 ) e 1 3 ( n 1 ) + 2 e 1 6 + ( n 4 ) e 1 3 .

The equality holds if and only if G = U n 0 (Figure 2).

Conclusion 2. Let G be a quasi-tree graph with n vertices and n 3 . Then, there exists:

e χ ( G ) ( n 3 ) e 1 n 1 + 2 e 1 2 ( n 1 ) + e 1 2 .

The equality holds if and only if G U n 1 (see Figure 3).

2. Preliminaries

In this section, we will delve into certain graph transformations that enhance the exponential Randić index. Additionally, we will present several lemmas. These transformations and lemmas will serve as valuable tools in substantiating our primary findings.

Lemma 2.1. For integer q 0 , when x 2 , the function f ( x ) = e 1 ( q + 1 ) x e 1 q x is monotonically increasing.

Proof. For x 2 , it can be obtained that:

d f ( x ) d x = q e 1 q x 2 ( x q ) 3 2 ( q + 1 ) e 1 ( q + 1 ) x 2 ( ( q + 1 ) x ) 3 2 = 1 2 x 3 2 ( q e 1 q x q 3 2 ( q + 1 ) e 1 ( q + 1 ) x ( q + 1 ) 3 2 ) = 1 2 x 3 2 ( e 1 q x q e 1 ( q + 1 ) x q + 1 ) > 0

First, we introduce some special graph transformations.

Figure 2. U n 0 .

Figure 3. U n 1 .

Graph transformation 1: In graph G1, select a subgraph H1 and add a new vertex v1 and v2 to a vertex u in it, such that v1 and v2 are adjacent to u, and their degrees are 2, 3, or 4, respectively. Then, attach two paths to G1 to obtain a new graph K 1 = G 1 u w 1 + u a w 1 . The resulting new graph K1 is called the graph obtained from G1 through graph transformation 1 (as shown in Figure 4).

Lemma 2.2. If K1 is obtained from G1 through graph transformation 1, then e χ ( G 1 ) < e χ ( K 1 ) .

Proof. Through graph transformation 1, let d ( v 1 ) = d 1 , d ( v 2 ) = d 2 , we can obtain:

e χ ( K 1 ) e χ ( G 1 ) = e 1 3 d 1 + e 1 3 d 2 + e 1 6 + ( a + b 2 ) e 1 2 + e 1 2 e 1 4 d 1 e 1 4 d 2 2 e 1 8 ( a + b 4 ) e 1 2 2 e 1 2 = e 1 3 d 1 e 1 4 d 1 + e 1 3 d 2 e 1 4 d 2 + e 1 6 2 e 1 8 + 2 e 1 2 e 1 2 > 0.0625 > 0

When x 2 , the function f ( x ) = e 1 ( q + 1 ) x e 1 q x is monotonically increasing.

Therefore:

e χ ( K 1 ) e χ ( G 1 ) > 0.0265 ,

The lemma holds.

Figure 4. Graph transformation 1.

Graph transformation 2: Given a path P = v 1 v 2 v t 1 v t connected to the vertex v1, then in the graph G2, select two adjacent vertices u and w different from v2, such that d ( u ) = 2 or d ( u ) = 3 , d ( w ) = 2 or d ( w ) = 3 , and d ( u ) d ( w ) . Finally, by removing some edges from graph G2 and adding some new edges, a new graph K2 is formed. We refer to this process as graph transformation 2 (Figure 5).

Lemma 2.3. If K2 is obtained from G2 through graph transformation 2, then e χ ( G 2 ) < e χ ( K 2 ) .

Proof. Through graph transformation 2, let d ( u ) = d 1 , d ( w ) = d 2 , and d ( u ) d ( w ) , we can obtain:

e χ ( K 2 ) e χ ( G 2 ) = e 1 2 d 1 + e 1 2 d 2 + ( t 1 ) e 1 2 e 1 3 d 1 e 1 3 d 2 e 1 6 e 1 2 ( t 3 ) e 1 2 = e 1 2 d 1 e 1 3 d 1 + e 1 2 d 2 e 1 3 d 2 + 2 e 1 2 e 1 6 e 1 2 > 0.0183 > 0

The lemma holds.

Graph transformation 3: For a given graph G3 and three paths P1, P2, and P3, if the endpoints connected by path P1 are u and a, the endpoints connected by path P2 are v and b, and the endpoints connected by path P3 are w and c, and it satisfies d ( u ) = d 1 (where d1 equals 2 or 3) and d ( v ) = d 2 (where d2 equals 2 or 3), then by connecting and disconnecting edges in a certain manner, a new graph K3 can be obtained from the graph. This operation can be referred to as graph transformation 3 (as shown in Figure 6).

Figure 5. Graph transformation 2.

Figure 6. Graph transformation 3.

Lemma 2.4. If K3 is obtained from G3 through graph transformation 3, then e χ ( G 3 ) < e χ ( K 3 ) .

Proof. Let d ( p ) = d 1 , d ( q ) = d 2 , we can obtain:

e χ ( K 3 ) e χ ( G 3 ) = e 1 2 d 1 + ( a + b + c + 2 ) e 1 2 + e 1 2 d 2 e 1 3 d 1 e 1 3 d 2 2 e 1 3 3 e 1 6 3 e 1 2 ( a + b + c 6 ) e 1 2 = e 1 2 d 1 e 1 3 d 1 + e 1 2 d 2 e 1 3 d 2 + 8 e 1 2 2 e 1 3 3 e 1 6 3 e 1 2 > 0.0188 > 0

The lemma holds.

To further study the exponential Randić index in quasi-tree graphs, here we first present quasi-tree graphs for n = 4 and n = 5 , and then calculate the exponential Randić index for each quasi-tree graph, observing the patterns.

When n = 4 , quasi-tree graphs with cycles are shown in Figure 7.

When n = 4 , the maximum value of the exponential Randić index for quasi-tree graphs is 4 e 1 6 + e 1 3 = 7.4123 , and the corresponding extremal graph is shown in Figure 7(3). When n = 4 , the minimum value of the exponential Randić index for quasi-tree graphs with cycles is 2 e 1 6 + e 1 3 + e 1 2 = 6.4384 , and the corresponding extremal graph is shown in Figure 7(1), and the exponential Randić index for Figure 7(2) is 4 e 1 2 = 6.5949 .

When n = 5 , quasi-tree graphs with cycles are shown in Figure 8.

The exponential Randić index for (1) is 3 e 1 6 + e 1 2 + e 1 2 = 8.1893 ; the exponential Randić index for (2) is 2 e 1 6 + 2 e 1 2 + e 1 3 = 8.0871 ; the exponential Randić index for (3) is 5 e 1 2 = 8.2436 ; the exponential Randić index for (4) is 2 e 1 6 + 3 e 1 3 + e 1 3 = 8.976 ; the exponential Randić index for (5) is 4 e 1 6 + e 1 3 + e 1 2 = 9.0611 ; the exponential Randić index for (6) is 2 e 1 8 + 2 e 1 12 + 2 e 1 6 + e 1 3 = 9.9215 ; the exponential Randić index for (7) is 2 e 1 6 + e 1 3 + 2 e 1 2 = 8.0871 ; the exponential Randić index for (8) is 2 e 1 8 + 3 e 1 2 = 7.7944 ; the exponential Randić index for (9) is 2 e 1 6 + e 1 12 + 2 e 1 8 + e 1 2 = 8.8400 ; the exponential Randić index for (10) is 6 e 1 6 = 9.0251 ; the exponential Randić index for (11) is 6 e 1 8 + e 1 4 = 9.8287 .

Figure 7. Quasi-tree graphs with cycles for n = 4 .

Figure 8. Quasi-tree graphs with cycles for n = 5 .

When n = 5 , the maximum value of the exponential Randić index for quasi-tree graphs is 2 e 1 8 + 2 e 1 12 + 2 e 1 6 + e 1 3 = 9.9215 , and the corresponding extremal graph is shown in Figure 8(6). When n = 5 , the minimum value of the exponential Randić index for quasi-tree graphs is 2 e 1 8 + 3 e 1 2 = 7.7944 , and the corresponding extremal graph is shown in Figure 8(8). It is not difficult to see that when n = 5 , quasi-tree graphs with cycles can be clearly divided into three categories based on the number of edges, among which:

Number of edges is 5: (1) (2) (3) (7) (8),

Number of edges is 6: (4) (5) (9) (10),

Number of edges is 7: (6) (11).

Lemma 2.5. Monotonic properties of three functions:

1) The function g 1 ( x ) = e 1 x is monotonically decreasing for x 2 .

2) The function g 2 ( x ) = e 1 2 e 1 x 1 is monotonically increasing for x 2 .

3) The function g 3 ( x ) = ( 1 1 2 x 1 2 ) e 1 x is monotonically decreasing for x 2 .

Proof.

1) By definition of g ( t ) = e t , t ( x ) = ( x ) 1 it can be derived that is monotonically decreasing for x 2 .

2) Based on the conclusion of (1) and the expression of the function g 2 ( x ) , it can be concluded that g 2 ( x ) is monotonically increasing for x 2 .

3) For x 2 , through a series of transformations, it can be proved that g 3 ( x ) is monotonically decreasing for x 2 .

d g 3 ( x ) d x = 1 4 x 3 2 e 1 x 1 2 x 3 2 ( 1 1 2 x 1 2 ) e 1 x = 1 4 x 3 2 e 1 x ( 1 2 1 4 x 1 2 ) x 3 2 e 1 x = e 1 x x 3 2 ( 1 4 1 2 + 1 4 x 1 2 ) = 1 4 e 1 x x 3 2 ( 1 x 1 ) < 0

Therefore, (3) holds true.

Lemma 2.6. When x 2 , the function f ( x ) = 1 2 e 1 x 2 4 e 1 2 x is monotonically decreasing.

Proof. When x 2 , it can be derived that:

d f ( x ) d x = 1 4 e 1 x x 3 2 + 2 4 ( 2 x ) 3 2 e 1 2 x = 1 8 x 3 2 e 1 2 x 1 4 x 3 2 e 1 x < 0

Hence, the function f ( x ) is monotonically decreasing.

Lemma 2.7. Let x and y be positive integers, x 1 , y 2 , then:

l ( x , y ) = e 1 y + x ( e 1 y e 1 y 1 ) + ( y 1 x ) ( e 1 2 y e 1 2 ( y 1 ) )

is monotonically decreasing with respect to x.

Proof. For x 1 and y 2 , it can be derived that

l ( x , y ) x = ( e 1 y e 1 y 1 ) ( e 1 2 y e 1 2 ( y 1 ) )

By Lemma 2.1, l ( x , y ) x , l ( x , y ) is monotonically decreasing with respect to x.

Lemma 2.8. For x 2 the function

f ( x ) = e 1 x + ( x 2 ) ( e 1 x e 1 x 1 ) + ( e 1 2 x e 1 2 ( x 1 ) )

is monotonically decreasing with respect to x.

Proof. For x 2 , by applying Lemma 2.3.1 (3) and Lemma 2.2.1, it can be derived that

d f ( x ) d x = e 1 x ( 1 2 x 3 2 ) + ( e 1 x e 1 x 1 ) + ( x 2 ) [ e 1 x ( 1 2 x 3 2 ) e 1 x 1 ( 1 2 ( x 1 ) 3 2 ) ] e 1 2 x ( 2 x ) 3 2 + e 1 2 ( x 1 ) [ 2 ( x 1 ) ] 3 2 = 1 2 e 1 x x 3 2 + ( e 1 x e 1 x 1 ) + ( x 2 ) [ 1 2 e 1 x x 3 2 + 1 2 e 1 x 1 ( x 1 ) 3 2 ] 2 4 e 1 2 x x 3 2 + 2 4 e 1 2 ( x 1 ) ( x 1 ) 3 2 = ( 1 2 e 1 x 2 4 e 1 2 x ) x 3 2 + ( 2 4 e 1 2 ( x 1 ) e 1 x 1 ) ( x 1 ) 3 2 + e 1 x

e 1 x 1 1 2 e 1 x x 1 2 + 1 2 e 1 x 1 x ( x 1 ) 3 2 ( 1 2 e 1 x 2 4 e 1 2 x ) ( x 1 ) 3 2 + ( 2 4 e 1 2 ( x 1 ) e 1 x 1 ) ( x 1 ) 3 2 + e 1 x e 1 x 1 1 2 e 1 x x 1 2 + 1 2 e 1 x 1 x ( x 1 ) 3 2 = ( e 1 x 2 4 e 1 2 x ) ( x 1 ) 3 2 + ( 2 4 e 1 2 ( x 1 ) e 1 x 1 ) ( x 1 ) 3 2 + e 1 x e 1 x 1 1 2 e 1 x x 1 2 + 1 2 e 1 x 1 x ( x 1 ) 3 2 1 2 e 1 x ( x 1 ) 3 2

= ( 1 2 e 1 x 2 4 e 1 2 x + 2 4 e 1 2 ( x 1 ) 1 2 e 1 x 1 ) ( x 1 ) 3 2 + e 1 x e 1 x 1 1 2 e 1 x x 1 2 1 2 e 1 x ( x 1 ) 3 2 + 1 2 e 1 x 1 x ( x 1 ) 3 2 + 1 2 ( e 1 x e 1 x 1 ) ( x 1 ) 3 2 e 1 x e 1 x 1 1 2 e 1 x x 1 2 1 2 e 1 x ( x 1 ) 3 2 + 1 2 e 1 x 1 x ( x 1 ) 3 2 + 1 2 ( e 1 x e 1 x 1 ) ( x 1 ) 3 2 < 0

Hence, f ( x ) is monotonically decreasing.

Lemma 2.9. Let n be a positive integer and n 6 , it can be obtained

3 e 1 2 ( n 2 ) e 1 2 ( n 3 ) 2 e 1 2 ( n 1 ) > ( n 3 ) ( e 1 n 1 e 1 n 2 ) + ( n 4 ) ( e 1 n 3 e 1 n 2 )

Proof. Let

f ( n ) = 3 e 1 2 ( n 2 ) e 1 2 ( n 3 ) e 1 2 ( n 1 ) ( n 3 ) ( e 1 n 1 e 1 n 2 ) ( n 4 ) ( e 1 n 3 e 1 n 2 ) .

We use MATLAB to calculate and plot the function graph to determine the validity of the inequality.

Define the horizontal axis variable as a one-dimensional array x, with the first element being 3, an increment of 0.01, and the final element being 15 (as shown in Figure 9).

Figure 9. The graph of the function.

From the figure, it can be seen that the graph of f ( n ) always lies above the coordinate axis. Calculated by MATLAB, the point of intersection of f ( n ) and the horizontal axis is (0, −27852563104487148.539894396758705−23751291381668762.757332046522084 * i). Therefore, when n 6 , f ( n ) 0 always holds true.

3. Main Results

In this section, we will give the upper and lower bounds on the exponential Randić indices of quasi-tree graph.

3.1. The Upper Bounds and Extreme Graph

Theorem 3.1. If T is a tree graph with n vertices, then T is not the maximum value of e χ in Tn.

Proof. Pn can be continuously transformed from T through graph transformation 1, graph transformation 2, and graph transformation 3, and by Lemma 2.2, Lemma 2.3, and Lemma 2.4. Therefore, G ( T ) < G ( P n ) .

The theorem is proven.

Theorem 3.2. Let G be a quasi-tree graph with n vertices, then:

e χ ( G ) 2 e 1 2 ( n 1 ) + ( n + 1 ) e 1 3 ( n 1 ) + 2 e 1 6 + ( n 4 ) e 1 3 .

Proof. When the number of edges is equal to n 1 , G is a tree graph. By Theorem 3.1, it is known that in an n-order tree graph, e χ attains its maximum value on the path Pn. At this point:

e χ ( G ) ( n 3 ) e 1 2 + 2 e 1 2 .

When G is a cycle graph, increasing the pendant edges will decrease the value of the exponential Randić index. By repeatedly applying Lemma 2.2, Lemma 2.3, and Lemma 2.4 to the sun graph until the sun graph becomes the cycle Cn, it is proven that e χ attains an extremal graph at Cn, with the corresponding maximum value being e χ ( G ) n e 1 2 .

The sum of the above two maximum values is 3 e 1 2 2 e 1 2 > 0 , which implies that the exponential Randić index for a cycle graph is greater than the exponential Randić index for a tree graph.

It is not difficult to observe that as the number of edges increases, the maximum value of the exponential Randić index for quasi-tree graphs also increases. Furthermore, by Lemma 2.2, Lemma 2.3, Lemma 2.4, and Theorem 3.1, it can be concluded that when the number of edges is fixed, the quasi-tree graph achieves the maximum value of the exponential Randić index when G x P n .

Therefore, when the number of edges is 2 n 3 , the maximum value of the exponential Randić index is:

e χ ( G ) 2 e 1 2 ( n 1 ) + ( n + 1 ) e 1 3 ( n 1 ) + 2 e 1 6 + ( n 4 ) e 1 3 .

The maximum value is attained if and only if G x belongs to P n , and the equality holds if and only if G = U n 0 (Figure 2).

3.2. The Lower Bounds and Extreme Graph

Theorem 3.2. Let G be a quasi-tree graph with n vertices and n 3 . Then, there exists:

e χ ( G ) ( n 3 ) e 1 n 1 + 2 e 1 2 ( n 1 ) + e 1 2

The equality holds if and only if G U n 1 (see Figure 3).

Proof. From the above conclusion, we can obtain that the exponential Randić index of a quasi-tree graph attains its maximum value at U n 0 . Moreover, as the number of edges in G decreases, the exponential Randić index may also decrease. Here, we do not consider the exponential Randić index of a tree graph. Therefore, we only need to consider the case where the number of edges is n, i.e., when the quasi-tree graph is a cycle graph.

In the following proof, we assume that the graph G is a quasi-tree graph and we prove that f ( n ) e χ ( G ) holds if and only if G U n 1 .

We proceed with mathematical induction on n. Since G U n 1 , it follows that n 4 . When n = 4 , 5 , the theorem holds (see Figure 10). In the following proof, we assume G U n 1 , where n 6 . Let M be the set of vertices in V ( G ) with degree 1 (i.e., M = { u V ( G ) | d ( u ) = 1 } ). Due to the previous conclusion, G is not a cycle graph, so M is not empty. Let u M and let v be its neighbor, then d ( v ) 2 . Let W ( u ) = { y | y N ( v ) \ { u } , d ( y ) = 1 } . Choose a vertex u 0 such that

1) The set W ( u 0 ) is as large as possible;

2) Under condition (1), d ( v ) is as small as possible.

Let G = G u 0 , then G U n 1 , d ( v ) = d and N G ( v ) = { y 1 , y 2 , y 3 , , y d 1 } . The e χ value of all edges adjacent to v in G, except u 0 v , is denoted as S, and we can then obtain that,

S = i = 1 d 1 e 1 d d y i .

Figure 10. The values of e χ when n = 4 , 5 .

The e χ value of all edges adjacent to v in G' is denoted as S', then we can obtain

S = i = 1 d 1 e 1 ( d 1 ) d y i .

By the inductive hypothesis, we can obtain,

e χ ( G ) = e χ ( G ) + e 1 d + S S f ( n 1 ) + e 1 d + S S = f ( n ) ( n 3 ) e 1 n 1 2 e 1 2 ( n 1 ) e 1 2 + ( n 4 ) e 1 n 2 + 2 e 1 2 ( n 2 ) + e 1 2 + e 1 d + S S = f ( n ) + ( n 4 ) e 1 n 2 + 2 e 1 2 ( n 2 ) ( n 3 ) e 1 n 1 2 e 1 2 ( n 1 ) + e 1 d + S S

For i = 1 , 2 , 3 , , d 1 , d ( y i ) 2 . If d ( v ) = 2 ,

e χ ( G ) f ( n ) + ( n 4 ) e 1 n 2 + 2 e 1 2 ( n 2 ) ( n 3 ) e 1 n 1 2 e 1 2 ( n 1 ) + e 1 2 + e 1 2 d y i e 1 d y i = f ( n ) + [ ( n 3 ) e 1 n 2 ( n 3 ) e 1 n 1 ] + [ 2 e 1 2 ( n 2 ) 2 e 1 2 ( n 1 ) ] + [ e 1 2 e 1 n 2 + e 1 2 d y 1 e 1 d y 1 ]

By Lemma 2.5(2) and Lemma 2.1, we can get

e 1 2 e 1 n 2 + e 1 2 d y 1 e 1 d y 1 e 1 2 e 1 4 + e 1 2 e 1 2 = 0 ,

the inequality e χ ( G ) > f ( n ) holds.

If d ( v ) = 3 and n 9 , by Lemma 2.1, then

e χ ( G ) f ( n ) + [ ( n 3 ) e 1 n 2 ( n 3 ) e 1 n 1 ] + [ 2 e 1 2 ( n 2 ) 2 e 1 2 ( n 3 ) ] e 1 n 2 + e 1 3 + e 1 3 d y 1 e 1 2 d y 1 + e 1 3 d y 2 e 1 2 d y 2 = f ( n ) + [ ( n 3 ) e 1 n 2 ( n 3 ) e 1 n 1 ] + 2 e 1 2 ( n 2 ) 2 e 1 2 ( n 1 ) + e 1 3 e 1 n 2 + e 1 3 d y 1 e 1 2 d y 1 + e 1 3 d y 2 e 1 2 d y 2 f ( n ) + [ ( n 3 ) e 1 n 2 ( n 3 ) e 1 n 1 ] + [ 2 e 1 2 ( n 2 ) 2 e 1 2 ( n 1 ) ] + 0.0329 > f ( n )

If d ( v ) = 3 and n = 6 , 7 , 8 , there is

[ ( n 3 ) e 1 n 2 ( n 3 ) e 1 n 1 ] + [ 2 e 1 2 ( n 2 ) 2 e 1 2 ( n 1 ) ] + e 1 3 e 1 n 2 + e 1 3 d y 1 e 1 2 d y 1 + e 1 3 d d 2 e 1 2 d d y 2 > 0

The theorem has been proven to hold when the vertex degree is 2 or 3.

For the case of vertex degree greater than or equal to 4, we can deduce that there exists at least one vertex for which the graph G, when the vertex is removed, forms a subgraph H that is a tree with at least 2 vertices. This is because for all vertices u in M, there exists a vertex u' in H that is adjacent to v', such that the degree of v' is 2 and W ( u ) is not empty, which contradicts the premise. Therefore, the vertex degree d ( v ) is not greater than 3.

For d ( y 1 ) = d ( y 2 ) = = d ( y k ) = 1 , ( k 1 ) and d ( y i ) 2 . By Lemma 2.1, we can obtain,

S S = k e 1 d + i = k + 1 d 1 e 1 d d y i k e 1 d 1 + i = k + 1 d 1 e 1 ( d 1 ) d y i = k ( e 1 d e 1 d 1 ) + i = k + 1 d 1 e 1 d d y i i = k + 1 d 1 e 1 ( d 1 ) d y i k ( e 1 d e 1 d 1 ) + ( d 1 k ) ( e 1 2 d e 1 2 ( d 1 ) )

Since G U n , k d 2 , and d ( v ) = d n 2 . By Lemma 2.7, Lemma 2.8, we can obtain,

e χ ( G ) f ( n ) + ( n 4 ) e 1 n 2 + 2 e 1 2 ( n 2 ) ( n 3 ) e 1 n 1 2 e 1 2 ( n 1 ) + e 1 d + k ( e 1 d e 1 d 1 ) + ( d 1 k ) ( e 1 2 d e 1 2 ( d 1 ) ) f ( n ) + ( n 4 ) e 1 n 2 + 2 e 1 2 ( n 2 ) ( n 3 ) e 1 n 1 2 e 1 2 ( n 1 ) + e 1 d + ( d 2 ) ( e 1 d e 1 d 1 ) + ( e 1 2 d e 1 2 ( d 1 ) )

f ( n ) + ( n 4 ) e 1 n 2 + 2 e 1 2 ( n 2 ) ( n 3 ) e 1 n 1 2 e 1 2 ( n 1 ) + e 1 n 2 + ( n 4 ) ( e 1 n 2 e 1 n 3 ) + ( e 1 2 ( n 2 ) e 1 2 ( n 3 ) ) = f ( n ) + ( n 3 ) ( e 1 n 2 e 1 n 1 ) + ( n 4 ) ( e 1 n 2 e 1 n 3 ) + 2 ( e 1 2 ( n 2 ) e 1 2 ( n 1 ) ) + ( e 1 2 ( n 2 ) e 1 2 ( n 3 ) ) > f ( n )

Proof completed.

4. Conclusion

In this paper, based on existing research results, we have studied the exponential Randić index. By using mathematical induction and various structural transformations of graphs, we have obtained extremal values and extremal graphs, and have got some new conclusions.

Acknowledgements

The authors are grateful to the referees for their careful reading and helpful suggestion, which have led to consider able improvement of the presentation of this paper.

Conflicts of Interest

The authors declare that they have no conflicts of interest to this work.

References

[1] Bollobás, B. and Erdös, P. (1998) Graphs of Extremal Weights. Ars Combinatorial, 50, 225-233.
[2] Hu, Y.M., Li, X.L. and Yuan, Y. (2004) Trees with Minimum General Randić Index. MATCH Communications in Mathematical and in Computer Chemistry, 52, 119-128.
[3] Li, X.L., Shi, Y.T. and Xu, T.Y. (2006) Unicyclic Graphs with Maximum General Randic Index for alpha> 0. MATCH Communications in Mathematical and in Computer Chemistry, 56, 557-570.
[4] Wu, B.Y.D.R. and Zhang, L. (2005) Unicyclic Graphs with Minimum General Randic Index. MATCH Communications in Mathematical and in Computer Chemistry, 54, 455-464.
[5] Pavlović, L. (2003) Maximal Value of the Zeroth-Order Randić Index. Discrete Applied Mathematics, 127, 615-626.
https://doi.org/10.1016/S0166-218X(02)00392-X
[6] Li, X.L. and Zhao, H.X. (2004) Trees with the First Three Smallest and Largest Generalized Topological Indices. MATCH Communications in Mathematical and in Computer Chemistry, 50, 57-62.
[7] Zhang, S.G. and Zhang, H.L. (2006) Unicyclic Graphs with the First Three Smallest and Largest First General Zagreb Index. MATCH Communications in Mathematical and in Computer Chemistry, 55, 427-438.
[8] Jahanbani, A., Cancan, M. and Motamedi, R. (2022) Extremal Trees for the Exponential of Forgotten Topological Index. Journal of Mathematics, 2022, Article ID: 7455701.
https://doi.org/10.1155/2022/7455701
[9] Lu, M. and Gao, J.W. (2007) On the Randić Index of Quasi-Tree Graphs. Journal of Mathematical Chemistry, 42, 297-310.
https://doi.org/10.1007/s10910-006-9089-6
[10] Sun, X.L., Gao, Y.B. and Du, J.W. (2022) The Zeroth-Order Generalized Randić Index of Quasi-Tree Graphs. Journal of Shandong University (Natural Science), 57, 96-102.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.