Bounds for the general sum-connectivity index of composite graphs

Abstract

The general sum-connectivity index is a molecular descriptor defined as ${\chi }_{\alpha }(X)={\sum }_{xy\in E(X)}{(d_X(x)+d_X(y))}^{\alpha }$, where $d_X(x)$ denotes the degree of a vertex $x\in X$, and α is a real number. Let X be a graph; then let $R(X)$ be the graph obtained from X by adding a new vertex $x_e$ corresponding to each edge of X and joining $x_e$ to the end vertices of the corresponding edge $e\in E(X)$. In this paper we obtain the lower and upper bounds for the general sum-connectivity index of four types of graph operations involving R-graph. Additionally, we determine the bounds for the general sum-connectivity index of line graph $L(X)$ and rooted product of graphs.

Introduction

Topological indices are useful tools for theoretical chemistry. A structural formula of a chemical compound is represented by a molecular graph. The atoms of the compounds and chemical bonds represent the vertices and edges of the molecular graphs, respectively. Topological indices related to their use in quantitative structure-activity (QSAR) and structure-property (QSPR) relationships are very interesting. In the QSAR/QSPR study, physico-chemical properties and topological indices such as the Wiener index, the Szeged index, the Randić index, the Zagreb indices and the ABC index are used to predict the bioactivity of the chemical compounds.

A single number that characterizes some properties corresponding to a molecular graph represents a topological index. There are many classes of topological indices, some of them are distance-based topological indices, degree-based topological indices and counting related polynomials and indices of graphs. All topological indices are useful in different fields, but degree-based topological indices play an important role in chemical graph theory and particularly in theoretical chemistry.

In this paper, we consider simple, connected and finite graphs. Let X be a graph with vertex set $V(X)$ and edge set $E(X)$. For $x\in V(X)$, $N_X(x)$ denotes the set of neighbors of x. The degree of a vertex $x\in V(X)$ is the number of vertices adjacent to x and represented by $d_X(x)=N_X(x)$. The numbers of vertices and number of edges in the graph X are represented by $n_X$ and $m_X$, respectively. The maximum and minimum vertex degree of X are denoted by ${△}_X$ and ${\delta }_X$, respectively.

In the chemical and mathematical literature, several dozens of vertex-based graph invariants have been considered, in hundreds of published papers. For details see the books [1–3], and the surveys [4, 5].

The two oldest degree based molecular descriptors, called Zagreb indices [6], are defined as

$$M_1(X)=\sum _{x\in V(X)}{(d_X(x))}^2,M_2(X)=\sum _{xy\in E(X)}{d}_X(x)d_X(y).$$

The general Randić index of X was proposed by Bollobás and Erdős [7], denoted by $R_{\alpha }(X)$ and defined as follows:

$$R_{\alpha }(X)=\sum _{xy\in E(X)}{(d(x)d(y))}^{\alpha },$$

where α is a real number. Then $R_{-\frac{1}{2}}$ is the classical Randić index proposed by Randić [8] in 1975. Recently, a closely related topological index to the Randić index, called the sum-connectivity index [9], denoted by $\chi (X)$, is as follows:

$$\chi (X)=\sum _{xy\in E(X)}{(d_X(x)+d_X(y))}^{-\frac{1}{2}}.$$

Zhou and Trinajstić [10] introduced the general sum-connectivity index, denoted by ${\chi }_{\alpha }(X)$ and defined as follows:

$${\chi }_{\alpha }(X)=\sum _{xy\in E(X)}{(d_X(x)+d_X(y))}^{\alpha },$$ 1.1

where α is a real number. Then ${\chi }_{-\frac{1}{2}}$ is the sum-connectivity index. Su and Xu [11] introduced a new topological index, the general sum-connectivity co-index, denoted by $\overline{{\chi }_{\alpha }}$ and is defined as follows:

$$\overline{{\chi }_{\alpha }}(X)=\sum _{xy\notin E(X)}{(d_X(x)+d_X(y))}^{\alpha },$$

where α is a real number. Researchers introduced many graph operations such as the cartesian product, join of graphs, line graphs, the corona product, the edge corona product, the subdivision-vertex join, the subdivision edge join, the neighborhood corona, the subdivision vertex neighborhood corona and the subdivision edge neighborhood corona. Much work has been done related to these graph operations. Lan and Zhou [12] defined four new graph operations based on R-graphs and determined the adjacency (respectively, Laplacian and singles Laplacian) spectra of these graph operations. Godsil and McKay [13] introduced a new graph operation (rooted product) and then found its spectrum. Recently, Azari et al. [14] determined the Zagreb indices of chemical graphs that are constructed by a rooted product. Khalifeh et al. [15] gave the exact formulas for the Zagreb indices of several graph operations. For a detailed study of the topological indices of graph operations, we refer to [16–27].

Methods

In this paper, we obtain the lower and upper bounds for the general sum-connectivity index of four types of graph operations involving the R-graph. Additionally, we determine the bounds for the general sum-connectivity index of line graph $L(X)$ and the rooted product of graphs by using graph-theoretic tools and mathematical inequalities.

Results and discussion

In this section, we derive some bounds on the general sum-connectivity index of several graph operations such as R-graphs, line graphs and the rooted product. Let X and Y be two simple connected graphs whose vertex sets are disjoint. For each $x\in V(X)$ and $y\in V(Y)$, we have

$$\begin{array}{c}{△}_X\ge d_X(x),{\delta }_X\le d_X(x),\\ {△}_Y\ge d_Y(y),{\delta }_Y\le d_Y(y).\end{array}$$ 3.1

The equality holds if and only if X and Y are regular graphs.

R-graphs

Let X be a graph; then $R(X)$ is the graph obtained from X by adding a new vertex $x_e$ corresponding to each edge of X and joining $x_e$ to the end vertices of the corresponding edge $e\in E(X)$. Let $V(R(X))=V(X)\cup I(X)$, where $I(X)=V(R(X))\setminus V(X)$ is the set of newly added vertices.

The corona product of two graphs X and Y, denoted by $X•Y$, is a graph obtained by taking one copy of graph X and $n_X$ copies of graph Y and joining the vertex X, that is, on the ith position in X to every vertex in ith copy of Y. The order and size of $X•Y$ are $n_X(1+n_Y)$ and $m_X+n_X{m}_Y+n_X{n}_Y$, respectively. The degree of a vertex $x\in V(X•Y)$ is given by

$$d_{X•Y}(x)=\{\begin{array}{cc}{d}_X(x)+n_Y\hfill & \text{if }x\in V(X),\hfill \\ d_Y(x)+1\hfill & \text{if }x\in V(Y).\hfill \end{array}$$ 3.2

Let X and Y be two connected and vertex-disjoint graphs. The R-vertex corona product of $R(X)$ and Y, denoted by $R(X)\odot Y$, is a graph obtained from one copy of vertex-disjoint graph $R(X)$ and $n_X$ copies of Y and joining a vertex of $V(X)$, that is, on the ith position in $R(X)$ to every vertex in the ith copy of Y. The graph $R(X)\odot Y$ has a number of $n_X+m_X+n_X{n}_Y$ vertices and $3m_X+n_X{m}_Y+n_X{n}_Y$ edges. The degree of a vertex $x\in V(R(X)\odot Y)$ is given by

$$d_{R(X)\odot Y}(x)=\{\begin{array}{cc}2d_X(x)+n_Y\hfill & \text{if }x\in V(X),\hfill \\ 2\hfill & \text{if }x\in I(X),\hfill \\ d_Y(x)+1\hfill & \text{if }x\in V(Y).\hfill \end{array}$$ 3.3

The R-edge corona product of $R(X)$ and Y, denoted by $R(X)\ominus Y$, is a graph obtained from one copy of vertex-disjoint graph $R(X)$ and $m_X$ copies of Y and joining a vertex of $I(X)$, that is, on ith position in $R(X)$ to every vertex in the ith copy of Y. The graph $R(X)\ominus Y$ has $n_X+m_X+m_X{n}_Y$ number of vertices and $3m_X+m_X{m}_Y+m_X{n}_Y$ number of edges. The degree of a vertex $x\in V(R(X)\ominus Y)$ is given by

$$d_{R(X)\ominus Y}(x)=\{\begin{array}{cc}2d_X(x)\hfill & \text{if }x\in V(X),\hfill \\ 2+n_Y\hfill & \text{if }x\in I(X),\hfill \\ d_Y(x)+1\hfill & \text{if }x\in V(Y).\hfill \end{array}$$ 3.4

The R-vertex neighborhood corona product of $R(X)$ and Y, denoted by $R(X)⊡Y$, is a graph obtained from one copy of vertex-disjoint graph $R(X)$ and $n_X$ copies of Y and joining the neighbors of a vertex of X in $R(X)$, that is, on the ith position in $R(X)$ to every vertex in the ith copy of Y. The graph $R(X)⊡Y$ has $n_X+m_X+n_X{n}_Y$ vertices and $3m_X+n_X{m}_Y+4m_X{n}_Y$ edges. The degrees of vertices of $R(X)⊡Y$ are given by

$$\begin{array}{c}{d}_{R(X)⊡Y}(x)=d_X(x)(2+n_Y)\text{if }x\in V(X),\\ d_{R(X)⊡Y}(x)=2(n_Y+1)\text{if }x\in I(X),\\ d_{R(X)⊡Y}(y)=d_Y(y)+2d_X(x)\text{if }y\in V(Y),x\in V(X).\end{array}$$ 3.5

In the last expression, $y\in V(Y)$ is the vertex in ith copy of Y corresponding to ith vertex $x\in V(X)$ in $R(X)$.

The R-edge neighborhood corona product of $R(X)$ and Y, denoted by $R(X)\boxminus Y$, is a graph obtained from one copy of vertex-disjoint graph $R(X)$ and $m_X$ copies of Y and joining the neighbors of a vertex of $I(X)$ in $R(X)$, that is, on the ith position in $R(X)$ to every vertex in the ith copy of Y. The graph $R(X)\boxminus Y$ has $n_X+m_X+m_X{n}_Y$ vertices and $3m_X+m_X{m}_Y+2m_X{n}_Y$ edges. The degree of a vertex $x\in V(R(X)\boxminus Y)$ is given by

$$d_{R(X)\boxminus Y}(x)=\{\begin{array}{cc}{d}_X(x)(2+n_Y)\hfill & \text{if }x\in V(X),\hfill \\ 2\hfill & \text{if }x\in I(X),\hfill \\ d_Y(x)+2\hfill & \text{if }x\in V(Y).\hfill \end{array}$$ 3.6

In the following theorem, we compute the bounds on the general sum-connectivity index of R-vertex corona product of $R(X)$ and Y.

Theorem 3.1

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of $R(X)\odot Y$ are given by

$$\begin{array}{c}\begin{array}{rl}{\chi }_{\alpha }(R(X)\odot Y)& \ge 2^{\alpha }{m}_X{(2{△}_X+n_Y)}^{\alpha }+2m_X{(2{△}_X+n_Y+2)}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({△}_Y+1)}^{\alpha }\\ & +n_X{n}_Y{(2{△}_X+{△}_Y+n_Y+1)}^{\alpha },\end{array}\hfill \\ \begin{array}{rl}{\chi }_{\alpha }(R(X)\odot Y)& \le 2^{\alpha }{m}_X{(2{\delta }_X+n_Y)}^{\alpha }+2m_X{(2{\delta }_X+n_Y+2)}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({\delta }_Y+1)}^{\alpha }\\ & +n_X{n}_Y{(2{\delta }_X+{\delta }_Y+n_Y+1)}^{\alpha }.\end{array}\hfill \end{array}$$

The equality holds if and only if X and Y are regular graphs.

Proof

Using (3.1) and (3.3) in equation (1.1), we get

$$\begin{array}{rl}& {\chi }_{\alpha }(R(X)\odot Y)\\ & =\sum _{xy\in E(R(X)}{(d_{R(X)}(x)+d_{R(X)}(y))}^{\alpha }+n_X\sum _{xy\in E(Y)}{(d_Y(x)+d_Y(y))}^{\alpha }\\ & +\sum _{x\in V(R(X))}\sum _{y\in V(Y)}{(d_{R(X)}(x)+d_Y(y))}^{\alpha }\\ & =\sum _{\begin{array}{c}xy\in E(R(X)),\\ x,y\in V(X)\end{array}}{(2d_X(x)+2d_Y(y)+2n_Y)}^{\alpha }+\sum _{\begin{array}{c}xy\in E(R(X)),\\ x\in V(X),y\in I(X)\end{array}}{(2d_X(x)+n_Y+2)}^{\alpha }\\ & +n_X\sum _{xy\in E(Y)}{(d_Y(x)+d_Y(y)+2)}^{\alpha }+\sum _{\begin{array}{c}x\in V(R(X))\\ x\in V(X)\end{array}}\sum _{y\in V(Y)}{(2d_X(x)+n_Y+d_Y(y)+1)}^{\alpha }\\ & \ge 2^{\alpha }{m}_X{(2{△}_X+n_Y)}^{\alpha }+2m_X{(2{△}_X+n_Y+2)}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({△}_Y+1)}^{\alpha }\\ & +n_X{n}_Y{(2{△}_X+{△}_Y+n_Y+1)}^{\alpha }.\end{array}$$ 3.7

One can analogously compute the following:

$$\begin{array}{rl}{\chi }_{\alpha }(R(X)\odot Y)& \le 2^{\alpha }{m}_X{(2{\delta }_X+n_Y)}^{\alpha }+2m_X{(2{\delta }_X+n_Y+2)}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({\delta }_Y+1)}^{\alpha }\\ & +n_X{n}_Y{(2{\delta }_X+{\delta }_Y+n_Y+1)}^{\alpha }.\end{array}$$ 3.8

The equality in (3.7) and (3.8) obviously holds if and only if X and Y are regular graphs. This completes the proof. □

We compute the bounds on the general sum-connectivity index for the R-edge corona product of $R(X)$ and Y in the following theorem.

Theorem 3.2

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of $R(X)\ominus Y$ are given by

$$\begin{array}{c}\begin{array}{rl}{\chi }_{\alpha }(R(X)\ominus Y)& \ge 4^{\alpha }{m}_X{△}_X^{\alpha }+2m_X{(2{△}_X+n_Y+2)}^{\alpha }+2^{\alpha }{m}_X{m}_Y{({△}_Y+1)}^{\alpha }\\ & +m_X{n}_Y{({△}_Y+n_Y+3)}^{\alpha },\end{array}\hfill \\ \begin{array}{rl}{\chi }_{\alpha }(R(X)\ominus Y)& \le 4^{\alpha }{m}_X{\delta }_X^{\alpha }+2m_X{(2{\delta }_X+n_Y+2)}^{\alpha }+2^{\alpha }{m}_X{m}_Y{({\delta }_Y+1)}^{\alpha }\\ & +m_X{n}_Y{({\delta }_Y+n_Y+3)}^{\alpha }.\end{array}\hfill \end{array}$$

The equality holds if and only if X and Y are regular graphs.

Proof

Using (3.1) and (3.4) in equation (1.1), we get

$$\begin{array}{rl}& {\chi }_{\alpha }(R(X)\ominus Y)\\ & =\sum _{xy\in E(R(X)}{(d_{R(X)}(x)+d_{R(X)}(y))}^{\alpha }+m_X\sum _{xy\in E(Y)}{(d_Y(x)+d_Y(y))}^{\alpha }\\ & +\sum _{x\in V(R(X))}\sum _{y\in V(Y)}{(d_{R(X)}(x)+d_Y(y))}^{\alpha }\\ & =\sum _{\begin{array}{c}xy\in E(R(X)),\\ x,y\in V(X)\end{array}}{(2d_X(x)+2d_Y(y))}^{\alpha }+\sum _{\begin{array}{c}xy\in E(R(X)),\\ x\in V(X),y\in I(X)\end{array}}{(2d_X(x)+n_Y+2)}^{\alpha }\\ & +m_X\sum _{xy\in E(Y)}{(d_Y(x)+d_Y(y)+2)}^{\alpha }+\sum _{\begin{array}{c}x\in V(R(X))\\ x\in I(X)\end{array}}\sum _{y\in V(Y)}{(n_Y+2+d_Y(y)+1)}^{\alpha }\\ & \ge 4^{\alpha }{m}_X{△}_X^{\alpha }+2m_X{(2{△}_X+n_Y+2)}^{\alpha }+2^{\alpha }{m}_X{m}_Y{({△}_Y+1)}^{\alpha }\\ & +m_X{n}_Y{({△}_Y+n_Y+3)}^{\alpha }.\end{array}$$ 3.9

Similarly, we can show that

$$\begin{array}{rl}{\chi }_{\alpha }(R(X)\ominus Y)& \le 4^{\alpha }{m}_X{\delta }_X^{\alpha }+2m_X{(2{\delta }_X+n_Y+2)}^{\alpha }+2^{\alpha }{m}_X{m}_Y{({\delta }_Y+1)}^{\alpha }\\ & +m_X{n}_Y{({\delta }_Y+n_Y+3)}^{\alpha }.\end{array}$$ 3.10

The equality in (3.9) and (3.10) obviously holds if and only if X and Y are regular graphs. This completes the proof. □

In the following theorem, we calculate bounds on the general sum-connectivity index for the R-vertex neighborhood corona product of $R(X)$ and Y.

Theorem 3.3

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of $R(X)⊡Y$ are given by

$$\begin{array}{c}\begin{array}{rl}{\chi }_{\alpha }(R(X)⊡Y)& \ge 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{△}_X^{\alpha }+2m_X{(n_Y({△}_X+2)+2({△}_Y+1))}^{\alpha }\\ & +2^{\alpha }{n}_X{m}_Y{({△}_Y+2{△}_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({△}_X(n_Y+2)+{△}_Y+2{△}_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in I(X)\end{array}}{(2(n_Y+1)+{△}_Y+2{△}_X)}^{\alpha },\end{array}\hfill \\ \begin{array}{rl}{\chi }_{\alpha }(R(X)⊡Y)& \le 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{\delta }_X^{\alpha }+2m_X{(n_Y({\delta }_X+2)+2({\delta }_Y+1))}^{\alpha }\\ & +2^{\alpha }{n}_X{m}_Y{({\delta }_Y+2{\delta }_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({\delta }_X(n_Y+2)+{\delta }_Y+2{\delta }_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in I(X)\end{array}}{(2(n_Y+1)+{\delta }_Y+2{\delta }_X)}^{\alpha }.\end{array}\hfill \end{array}$$

The equality holds if and only if X and Y are regular graphs.

Proof

Using (3.1) and (3.5) in equation (1.1), we get

$$\begin{array}{rl}{\chi }_{\alpha }(R(X)⊡Y)& =\sum _{xy\in E(R(X)}{(d_{R(X)}(x)+d_{R(X)}(y))}^{\alpha }+n_X\sum _{xy\in E(Y)}{(d_Y(x)+d_Y(y))}^{\alpha }\\ & +\sum _{x\in V(R(X))}\sum _{y\in V(Y)}{(d_{R(X)}(x)+d_Y(y))}^{\alpha }\\ & =\sum _{\begin{array}{c}xy\in E(R(X)),\\ x,y\in V(X)\end{array}}{(d_X(x)(n_Y+2)+d_Y(y)(n_Y+2))}^{\alpha }\\ & +\sum _{\begin{array}{c}xy\in E(R(X)),\\ x\in V(X),y\in I(X)\end{array}}{(d_X(x)(n_Y+2)+2(n_Y+1))}^{\alpha }\\ & +n_X\sum _{xy\in E(Y)}{(d_Y(x)+2d_X(w_i)+d_Y(y)+2d_X(w_i))}^{\alpha }\\ & +\sum _{\begin{array}{c}x\in V(X)\\ w_i\in N_X(x),w_i\in V(X)\end{array}}\sum _{y\in V(Y)}{(d_X(w_i)(n_Y+2)+d_Y(y)+2d_X(x))}^{\alpha }\\ & +\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in I(X)\end{array}}\sum _{y\in V(Y)}{(2(n_Y+1)+d_Y(y)+2d_X(x))}^{\alpha }\\ & \ge 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{△}_X^{\alpha }+2m_X{(n_Y({△}_X+2)+2({△}_Y+1))}^{\alpha }\\ & +2^{\alpha }{n}_X{m}_Y{({△}_Y+2{△}_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({△}_X(n_Y+2)+{△}_Y+2{△}_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in I(X)\end{array}}{(2(n_Y+1)+{△}_Y+2{△}_X)}^{\alpha }.\end{array}$$ 3.11

Similarly, we can show that

$$\begin{array}{rl}{\chi }_{\alpha }(R(X)⊡Y)& \le 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{\delta }_G^{\alpha }\\ & +2m_X{(n_Y({\delta }_X+2)+2({\delta }_Y+1))}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({\delta }_Y+2{\delta }_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({\delta }_X(n_Y+2)+{\delta }_Y+2{\delta }_X)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in V(X),\\ w_i\in N_X(x),w_i\in I(X)\end{array}}{(2(n_Y+1)+{\delta }_Y+2{\delta }_X)}^{\alpha }.\end{array}$$ 3.12

The equality in (3.11) and (3.12) obviously holds if and only if X and Y are regular graphs. This completes the proof. □

In the following theorem, we compute lower and upper bounds on the general sum-connectivity index for R-edge neighborhood corona product of $R(X)$ and Y.

Theorem 3.4

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of $R(X)\boxminus Y$ are given by

$$\begin{array}{c}\begin{array}{rl}{\chi }_{\alpha }(R(X)\boxminus Y)& \ge 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{△}_X^{\alpha }+2m_X{(n_Y{△}_X+2({△}_X+1))}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({△}_Y+2)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in I(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({△}_X(n_Y+2)+{△}_Y+2)}^{\alpha },\end{array}\hfill \\ \begin{array}{rl}{\chi }_{\alpha }(R(X)\boxminus Y)& \le 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{\delta }_X^{\alpha }+2m_X{(n_Y{\delta }_X+2({\delta }_X+1))}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({\delta }_Y+2)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in I(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({\delta }_X(n_Y+2)+{\delta }_Y+2)}^{\alpha }.\end{array}\hfill \end{array}$$

The equality holds if and only if X and Y are regular graphs.

Proof

Using (3.1) and (3.6) in equation (1.1), we get

$$\begin{array}{rl}& {\chi }_{\alpha }(R(X)\boxminus Y)\\ & =\sum _{xy\in E(R(X)}{(d_{R(X)}(x)+d_{R(X)}(y))}^{\alpha }+m_X\sum _{xy\in E(Y)}{(d_Y(x)+d_Y(y))}^{\alpha }\\ & +\sum _{x\in V(R(X))}\sum _{y\in V(Y)}{(d_{R(X)}(x)+d_Y(y))}^{\alpha }\\ & =\sum _{\begin{array}{c}xy\in E(R(X)),\\ x,y\in V(X)\end{array}}{(d_X(x)(n_Y+2)+d_X(y)(n_Y+2))}^{\alpha }\\ & +\sum _{\begin{array}{c}xy\in E(R(X)),\\ x\in V(X),y\in I(X)\end{array}}(d_X(x)(n_Y+2)+2){)}^{\alpha }+n_X\sum _{xy\in E(Y)}{(d_Y(x)+2+d_Y(y)+2)}^{\alpha }\\ & +\sum _{\begin{array}{c}x\in I(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}\sum _{y\in V(Y)}{(d_X(w_i)(n_Y+2)+d_Y(x)+2)}^{\alpha }\\ & \ge 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{△}_X^{\alpha }+2m_X{(n_Y{△}_X+2({△}_X+1))}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({△}_Y+2)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in I(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({△}_X(n_Y+2)+{△}_Y+2)}^{\alpha }.\end{array}$$ 3.13

Analogously, one can compute the upper bound,

$$\begin{array}{rl}{\chi }_{\alpha }(R(X)\boxminus Y)& \le 2^{\alpha }{m}_X{(n_Y+2)}^{\alpha }{\delta }_X^{\alpha }+2m_X{(n_Y{\delta }_X+2({\delta }_X+1))}^{\alpha }+2^{\alpha }{n}_X{m}_Y{({\delta }_Y+2)}^{\alpha }\\ & +n_Y\sum _{\begin{array}{c}x\in I(X),\\ w_i\in N_X(x),w_i\in V(X)\end{array}}{({\delta }_X(n_Y+2)+{\delta }_Y+2)}^{\alpha }.\end{array}$$ 3.14

The equality in (3.13) and (3.14) obviously holds if and only if X and Y are regular graphs. This completes the proof. □

Line graph

The line graph of X, denoted by $L(X)$, is a graph with vertex set $V(L(X))=E(X)$ and any two vertices $e_1$ and $e_2$ have an arc in $L(X)$ if and only if they share a common endpoint in X. The graph $L(X)$ has $m_X$ vertices and $\frac{1}{2}{M}_1(X)-m_X$ edges. The degree of a vertex $x\in L(X)$ is given by

$$d_{L(X)}(x)=d_X(w_i)+d_X(w_j)-2\text{if }x=w_i{w}_j,\mathrm{\forall }{w}_i,w_j\in V(X).$$ 3.15

We compute lower and upper bounds on the general sum-connectivity index of $L(X)$ in the following theorem.

Theorem 3.5

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of $L(X)$ are given by

$$4^{\alpha }{({△}_X-1)}^{\alpha }(\frac{1}{2}{M}_1(X)-m_X)\le {\chi }_{\alpha }(L(X))\le 4^{\alpha }{({\delta }_X-1)}^{\alpha }(\frac{1}{2}{M}_1(X)-m_X).$$

The equality holds if and only if X is a regular graph.

Proof

Using (3.1) and (3.15) in equation (1.1), we get

$$\begin{array}{rl}{\chi }_{\alpha }(L(X))& =\sum _{xy\in E(L(X)}{(d_{L(X)}(x)+d_{L(X)}(y))}^{\alpha }\\ & =\sum _{\begin{array}{c}x=w_i{w}_j\in E(X),y=w_j{w}_k\end{array}}(d_X(w_i)+d_X(w_j)-2+d_X(w_j)+d_X(w_k)-2)\\ & \ge 4^{\alpha }{({△}_X-1)}^{\alpha }(\frac{1}{2}{M}_1(X)-m_X).\end{array}$$ 3.16

One can analogously compute the following:

$${\chi }_{\alpha }(L(X))\le 4^{\alpha }{({\delta }_X-1)}^{\alpha }(\frac{1}{2}{M}_1(X)-m_X).$$ 3.17

The equality in (3.16) and (3.17) holds if and only if X is a regular graph. □

Rooted product

A rooted graph is graph in which one vertex is labeled as a special vertex and that vertex is called root vertex of graph. The rooted graph is also known as a pointed graph and a flow graph. Let Y be a labeled graph with $n_Y$ and X be a sequence of $n_Y$ rooted graphs $X_1,X_2,\dots ,X_{n_Y}$. The rooted product of X and Y, denoted by $Y(X)$, is a graph that obtained from one copy of Y and $n_Y$ copies of X and identifying the rooted vertex of $X_i$ ($1\le i\le n_Y$) with ith vertex of Y. The number of vertices and edges in $Y(X)$ are $n_X=n_{X_1}+n_{X_2}+\cdots +n_{X_{n_Y}}$ and $m_X+m_Y$. The degree of a vertex $x\in V(Y(X))$ (where $w_i$ is a rooted vertex of $X_i$) is given by

$$d_{Y(X)}(x)=\{\begin{array}{cc}{d}_Y(x)+d_{X_i}(w_i)\hfill & \text{if }x\in V(Y),\hfill \\ d_Y(x)+d_{X_i}(w_i)\hfill & \text{if }x\in V(X),x=w_i,\hfill \\ d_{X_i}(x)\hfill & \text{if }x\in V(X),x\ne w_i.\hfill \end{array}$$ 3.18

In the following theorem, the bounds on the general sum-connectivity index of rooted product are computed.

Theorem 3.6

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of $Y(X)$ are given by

$$\begin{array}{c}\begin{array}{rl}{\chi }_{\alpha }(Y(X))& \ge \sum _{ij\in E(Y)}{(2{△}_Y+{\omega }_i+{\omega }_j)}^{\alpha }+\sum _{i=1}^{n_Y}{\chi }_{\alpha }(X_i)\\ & +\sum _{i=1}^{n_Y}|N_{X_i}(w_i)|[{(2{△}_{X_i}+{△}_Y)}^{\alpha }-2^{\alpha }{△}_{X_i}^{\alpha }],\end{array}\hfill \\ {\chi }_{\alpha }(Y(X))\le \sum _{ij\in E(Y)}{(2{\delta }_Y+{\omega }_i+{\omega }_j)}^{\alpha }+\sum _{i=1}^{n_Y}{\chi }_{\alpha }(X_i)+\sum _{i=1}^{n_Y}|N_{X_i}(w_i)|[{(2{\delta }_{X_i}+{\delta }_Y)}^{\alpha }-2^{\alpha }{\delta }_{X_i}^{\alpha }].\hfill \end{array}$$

The equality holds if and only if Y and $X_i$ are regular graphs.

Proof

Let the degree of $w_i$ in $X_i$ be denoted by ${\omega }_i$ and the number of neighbors of $w_i$ in $X_i$ be denoted by $|N_{X_i}(w_i)|$. Using (3.1) and (3.18) in equation (1.1), we get

$$\begin{array}{rl}& {\chi }_{\alpha }(Y(X))\\ & =\sum _{ij\in E(Y)}{(d_Y(i)+{\omega }_i+d_Y(j)+{\omega }_j)}^{\alpha }\\ & +\sum _{i=1}^{n_Y}[\sum _{\begin{array}{c}xy\in E(X_i),\\ x,y\ne w_i\end{array}}{(d_{X_i}(x)+d_{X_i}(y))}^{\alpha }+\sum _{\begin{array}{c}xy\in E(X_i),\\ x\in V(X_i),y=w_i\end{array}}{(d_{X_i}(x)+d_Y(i)+{\omega }_i)}^{\alpha }]\\ & =\sum _{ij\in E(Y)}{(d_Y(i)+{\omega }_i+d_Y(j)+{\omega }_j)}^{\alpha }\\ & +\sum _{i=1}^{n_Y}[{\chi }_{\alpha }(X_i)-\sum _{\begin{array}{c}xy\in E(X_i),\\ x\in V(X_i),y=w_i\end{array}}{(d_{X_i}(x)+{\omega }_i)}^{\alpha }+\sum _{\begin{array}{c}xy\in E(X_i),\\ x\in V(X_i),y=w_i\end{array}}{(d_{X_i}(x)+d_Y(i)+{\omega }_i)}^{\alpha }]\\ & \ge \sum _{ij\in E(Y)}{(2{△}_Y+{\omega }_i+{\omega }_j)}^{\alpha }+\sum _{i=1}^{n_Y}{\chi }_{\alpha }(X_i)+\sum _{i=1}^{n_Y}|N_{X_i}(w_i)|[{(2{△}_{X_i}+{△}_Y)}^{\alpha }-2^{\alpha }{△}_{X_i}^{\alpha }].\end{array}$$

Similarly, we can show that

$${\chi }_{\alpha }(Y(X))\le \sum _{ij\in E(Y)}{(2{\delta }_Y+{\omega }_i+{\omega }_j)}^{\alpha }+\sum _{i=1}^{n_Y}{\chi }_{\alpha }(X_i)+\sum _{i=1}^{n_Y}|N_{X_i}(w_i)|[{(2{\delta }_{X_i}+{\delta }_Y)}^{\alpha }-2^{\alpha }{\delta }_{X_i}^{\alpha }].$$

The equality in (3.13) and (3.14) obviously holds if and only if Y and $X_i$ are regular graphs. This completes the proof. □

In the special case, when all $X_1,X_2,X_3,\dots ,X_{n_Y}$ are isomorphic to a graph G, then the rooted product of Y and G is denoted by $Y\{G\}$. This rooted product is called a cluster of Y and G. The following corollary is an easy consequence of Theorem 3.6.

Corollary 3.1

Let $\alpha <0$. Then the bounds for the general sum-connectivity index of cluster $Y\{G\}$ are given by

$$\begin{array}{c}{\chi }_{\alpha }(Y\{G\})\ge 2^{\alpha }{m}_Y{({△}_Y+\omega )}^{\alpha }+n_Y{\chi }_{\alpha }(G)+n_Y|N_G(w)|[{(2{△}_G+{△}_Y)}^{\alpha }-2^{\alpha }{△}_G^{\alpha }],\hfill \\ {\chi }_{\alpha }(Y\{G\})\le 2^{\alpha }{m}_Y{({\delta }_Y+\omega )}^{\alpha }+n_Y{\chi }_{\alpha }(G)+n_Y|N_G(w)|[{(2{\delta }_G+{\delta }_Y)}^{\alpha }-2^{\alpha }{\delta }_G^{\alpha }],\hfill \end{array}$$

where $\omega =d_G(w)$ and $|E(G)|=m_Y$.

Conclusion

In this article, we obtained the lower and upper bounds for the general sum-connectivity index of four types of graph operations involving R-graph. Additionally, we have determined the bounds for the general sum-connectivity index of line graph $L(X)$ and the rooted product of graphs.