Abstract

The study of structure-property relations including the transformations of molecules is of utmost importance in correlations with corresponding physicochemical properties. The graph topological indices have been used effectively for such study and, in particular, bond-based indices play a vital role. The bond-additive topological indices of a molecular graph are defined as a sum of edge measures over all edges in which edge measures can be computed based on degrees, closeness, peripherality, and irregularity. In this study, we provide the mathematical characterization of the transformation of a structure that can be accomplished by the novel edge adjacency and incidence relations. We derive the exact expressions of bond type indices such as second Zagreb, sigma indices, and their coindices of total transformation and two types of semitransformations of the molecules which in turn can be used to characterize the topochemical and topostructural properties.

1. Introduction

Topological indices are graph invariants that play an important role in chemical and pharmaceutical sciences, since they can be used to predict physicochemical properties of organic compounds in view of successful applications in QSAR and QSPR techniques [15]. These indices are mainly classified into distance-based and degree-based. Development of such topological indices is of immense value in quantitative structure-activity relations. The first and second Zagreb indices were the oldest degree-based indices and found significant applications [6, 7]. The Zagreb indices have first appeared in the topological formula for the total -energy of conjugated molecules and also useful in the study of anti-inflammatory activities of chemical instances. The generalization of the first Zagreb index is named as general sum-connectivity index [8] and there are many types of generalization and reformulation on the Zagreb indices based on vertex and edge degrees [811], in particular, the forgotten index is recently revisited with important applications to drug molecular structures [12, 13].

It was known that most of the molecular structures are not regular and, hence, the quantitative measure based on irregularity is of great importance in mathematical chemistry. In the case of octane isomers, the application of various degree-based irregularity measures for the prediction of physicochemical properties such as boiling point, standard enthalpy of vaporization, acentric factor, enthalpy of vaporization, and entropy was tested and predicted with good accuracy [14]. As a result of which many topological indices of this kind have been discussed and a few of them are Collatz–Sinogowitz, degree variance, discrepancy, Albertson, Bell, and total irregularity and sigma indices [1417].

The Albertson index is the most commonly used irregularity measures that provide the structural perfection of chemical compounds. For this purpose, the imbalance of an edge is defined as the absolute difference between the degrees of end vertices and the summation is taken over all edges. In this paper, we focus our attention on the recently popular, sigma index, which is defined as the sum of squares of imbalance of every edge. Moreover, there is a nice relationship between second Zagreb, forgotten, and sigma indices which states that the difference between forgotten and sigma indices is twice the second Zagreb index [18] and some properties of the sigma index discussed in [19].

The structure of a molecular graph can be transformed into another graph by imposing desired rules based on the original structure of so that there is a one-to-one correspondence between original graph and the transformation graph . Such a transformation of graphs and their characterization was attempted by many researchers in chemical graph theory [2026] because the complex structure of transformation graph can be easily analyzed by the original graph. For instance, the first Zagreb index [21, 25], second Zagreb index [21, 27], forgotten index [20, 28] of transformation graphs, and Zagreb indices of transformation of line graph of subdivision graphs [29] were discussed. In this, we observe that the entire process of the second Zagreb index [27] was wrongly dealt and we will discuss with details in Section 3. Moreover, the forgotten index [20, 28] of transformation of graphs was considered with vertex a-Zagreb and (a, b)-Zagreb indices. In this study, we give the correct expressions for the second Zagreb index of transformation graphs and rewrite for the forgotten index via general sum-connectivity index. Finally, we derive the analytical expressions for the sigma index of two types of semitransformations and a total transformation.

Throughout this paper, we write to denote a simple connected graph with vertex set and edge set . The number of elements in the vertex set and the edge set, respectively, is denoted by (order) and (size). The number of edges incident with a vertex is called the degree of the vertex , denoted by . The neighborhood of a vertex , denoted by , is a set of all vertices which are adjacent to . Two edges are said to be adjacent if they share a common vertex and we write as and in case they are not adjacent, . In the same line of notation, , , and mean that is an end vertex of while that is not an end vertex of . The degree of an edge , denoted by , is the number of edges that are adjacent to , i.e., . The complement of a graph , represented by , is a graph obtained from with the same vertex set of such that is adjacent to in if and only if is not adjacent to in . Hence, the size of is , and the degree of each vertex is .

We close this section by listing down (in Table 1) certain bond-additive topological indices [713, 18, 28, 30, 31] and their coindices which are needed for our study.

2. Transformation Graphs

The concept of transformation graphs is to construct a new graph from the original graph based on the structural connectivity. Generally, we can transform the original graph by imposing any combinations of the following:

For , , , and , ,(1), is adjacent to in if and is not adjacent to in if (2), is adjacent to in if and is not adjacent to in if (3) and , is incident to in if and is not incident to in if

The type-I semitransformation of a graph , denoted by , is a graph with the vertex set , and for , and are adjacent in if and only if (#1) and (#3) hold [21]. Following this, it is natural to define another semitransformation, called type-II semitransformation and denoted by , whose vertex set is , and for , and are adjacent in if and only if (#2) and (#3) hold. The total transformation graph is a graph with the same vertex set as above , and for , and are adjacent in if and only if (#1), (#2), and (#3) hold [32].

The concept of semitotal point, semitotal line, and total graphs came into the literature earlier [33, 34] and these three graphs are particular cases of our , , and , i.e., is the semitotal point graph, is the semitotal line graph, and is the total graph. Since there are four distinct 2-permutations of , we can construct totally eight different graphs from two types of semitransformations. For a graph G depicted in Figure 1, the two types of semitransformation graphs are shown in Figure 2. In the same way, there are eight distinct 3-permutations of and again totally eight graphs can be constructed from the total transformation in which , , , and . For the same graph in Figure 1, the eight classes of total transformation graphs are given in Figure 3.

Lemma 1 (see [21]). Let be graph with and as its order and size, respectively. Then, the order of is , and the size is

Lemma 2. Let be graph with and as its order and size, respectively. Then, the order of is , and the size is

Lemma 3. Let be graph with and as its order and size, respectively. Then, the order of is , and the size is

We now recall the results pertaining to the first and second Zagreb indices of type-I semitransformation graphs and the first Zagreb index of total transformation graph which are helpful for our study.

Lemma 4 (see [21, 25]). Let be a graph with order and size . Then,(i)(ii)(iii)(iv)

Lemma 5 (see [21]). Let be a graph with order and size . Then,(i)(ii)(iii)(iv)

Lemma 6 (see [25]). Let be a graph with order and size . Then,(i)(ii)(iii)(iv)(v)(vi)(vii)(viii)

3. Main Results

In this section, we derive the analytic expressions for the sigma index and coindex of semi and total transformations of graphs. Bearing the relation in mind, we first study the second Zagreb index and then the forgotten index and finally deduce the results for the sigma index.

3.1. Second Zagreb Index of Transformation Graphs

The second Zagreb index of total transformation of graphs was expressed in [27], and by careful inspection, we notice that the entire process is vague and results in incorrect expressions. For instance, it was proved [27] that . Suppose , a path on vertices. Then, is a graph on vertices and edges in which 2 vertices of degrees 2 and 3 each and vertices of degree 4 while 2 edges with degrees of end vertices and each, and 4 edges with and edges with . Hence, . However, , , and , resulting that . Hence, we now compute the correct analytic expressions of the second Zagreb index and coindex of total transformation graphs using reformulated Zagreb indices. Moreover, the type-II semitransformation is newly introduced in this paper, and hence we also obtain the exact expressions for first and second Zagreb indices. The following theorem gives the exact expression for second Zagreb indices of first four transformations in terms of edge version of first and second Zagreb indices of the arbitrary graph.

Theorem 1. Let be a graph with order and size . Then,(i)(ii)(iii)(iv)

Proof. The graph has vertices and edges in which edges are actual edges in by condition (#1), edges are produced by condition (#2) called edge adjacency relation edges (line graph edges), and edges are edges produced by condition (#3) called incidence relation edges. For any vertex ,Therefore,This completes the proof of assertion (i). Next, for any vertex ,It can be seen thatTo complete the proof of assertion (iii), we notice that for any vertex, ,As before, we can easily write thatThe final assertion follows from the fact that for any vertex ,

Theorem 2. Let be a graph with order and size . Then,(1)(2)(3)(4)

Proof. It was proved [35] thatand known that , , , and . By Lemma 6 and Theorem 1, we can easily complete the proof.

The Zagreb coindices are introduced in [36] with extensive applications in the field of chemical graph theory and widely discussed in [9, 10, 3739]. Therefore, it will be worth finding the second Zagreb coindices of total transformations.

Theorem 3. Let be a graph with order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

Proof. It was shown in [35] thatand combining the results of Lemma 6 and Theorem 1, we can finish the proof by simple mathematical calculations.

The following theorem fills the gap in the literature with respect to the results found in [21, 25].

Theorem 4. Let be a graph with order and size . Then,(1) [25](2)(3)(4)(5) [25](6)(7)(8)

Proof. From the construction of type-II semitransformation, it is easily seen that for any vertex such that ,In the same way, for any vertex such that ,The proof follows from routine mathematical simplifications and, in addition, using the relation [35].

In [25], the authors have made an attempt to find the second Zagreb index of type-I semitransformation and left the calculations of type-II semitransformation due to its computational complexity. The following theorem gives the exact analytical expressions of the second Zagreb indices for type-II transformations of an arbitrary graph.

Theorem 5. Let be a graph with order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

Proof. The proof of (i)–(iv) is similar to Theorem 1, and for the sake the completeness, we give the proof of (i). The graph has vertices and edges in which edges are produced by condition (#2) called edge adjacency relation edges (line graph edges) and edges are edges produced by condition (#3) called incidence relation edges. Also, for any vertex, ,Hence,To complete the remaining parts, we apply equation (12) with the help of Theorem 4.

3.2. F-Index of Transformation Graphs

The forgotten index and coindex of type-I semi and total transformations of graphs have been obtained [20, 28] in terms of first Zagreb, second Zagreb, vertex a-Zagreb, and (a, b)-Zagreb indices. In this section, we rewrite vertex a-Zagreb and (a, b)-Zagreb indices in terms of the sum-connectivity index. Before proceeding to this, we shall state a basic lemma.

Lemma 7 (see [28]). Let be a connected graph of order and size . Then,(i)(ii)

The following theorem is crucial for finding the sigma index of the transformation of an arbitrary graph.

Theorem 6. Let be a connected graph of order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

Proof. The proof of (i)–(iv) can be derived using the degrees of vertices from the proof of Theorem 1 and the remaining parts from Lemma 7.

The following theorem is an easy consequence of combining Lemma 7 and Theorem 6, which will be used to compute the analytical expressions of the forgotten coindices of total transformations of an arbitrary graph.

Theorem 7. Let be a connected graph of order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

Theorem 8 (see [20]). Let be a connected graph of order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

Theorem 9. Let be a connected graph of order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

Proof. The proof of the theorem follows from using the degrees of vertices as given in the proof of Theorem 4 and Lemma 7.

3.3. -Index of Transformation Graphs

In this section, we first derive a relation between -index of a graph and its coindex. Following this, we derive another relation between -coindex of a graph and -index of the complement graph. Finally, we list down the -index and coindex of semi and total transformations of graphs from the above subsections. The following theorem gives the relationship between the sigma index and its coindex.

Theorem 10. Let be any graph with vertices and edges. Then,

Proof. The proof is completed from the definitions of -index and coindex as explained in the following:

Corollary 1. Let be any graph with vertices and edges. Then,

The following theorem establishes interesting result that the sigma index of the complement of a graph and sigma coindex of a graph is one and the same.

Theorem 11. Let be any graph with vertices and edges. Then,

Proof. For any vertex , , and we have

Corollary 2. Let be any graph with vertices and edges. Then,

The main objective of this section is the following theorem.

Theorem 12. Let be a connected graph of order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

In sequence to Theorems 3 and 7, we have the following.

Theorem 13. Let be a connected graph of order and size . Then,(1)(2)(3)(4)(5)(6)(7)(8)

The following theorems give the exact expressions of the sigma index of type-I and type-II semitransformations.

Theorem 14. Let be graph with and as its order and size, respectively. Then,(1)(2)(3)(4)(5)(6)(7)(8)

Theorem 15. Let be graph with and as its order and size, respectively. Then,(1)(2)(3)(4)(5)(6)(7)(8)

4. Results and Discussion

The various expressions for the Zagreb and sigma topological indices computed here can be extremely useful in the thermodynamic properties such as the heat of formation and entropy for the structure-property predictions of the transformation of molecular materials when combined with total and semitype transformations. Since the enumeration and construction of different structures under given specific constraints have found potential applications in drug discovery via topological indices [40, 41], it can help the chemists by reducing the number of potential drug compounds that need to be experimentally considered. We computed expressions based on the degree measures of the given graph, and hence it can be considered as an efficient technique for vibrational spectroscopic chemical analysis through the vertex partitioning and providing significant simplifications in the vibrational mode analysis. Moreover, sigma indices obtained here offer the regularity perfection of the structure.

The semi and total transformation considered here provide 16 classes of new structures for the given graph based on the edge adjacency and incidence relations. Once we compute the topological indices such as Zagreb, reformulated Zagreb, forgotten, sum-connectivity, and sigma for the base graph and then using the results from Theorems 115 , one can readily obtain the Zagreb and sigma indices for the new structures.

We now present the applications of our computed results for perhydrophenalene. The molecular graph of perhydrophenalene is shown in Figure 4 and has 13 vertices and 15 edges. Moreover, has 9 vertices of degree 2 and 4 vertices of degree 3. Clearly, the edge partition of has three classes based on the degree of end vertices, namely, , , and while the number of edges in the classes, respectively, are 6, 6, and 3.

From the above data, one can easily derive , , , , , , , , , , and . Then, the calculations of second Zagreb and sigma indices of total and semitransformations of are obtained from Theorems 1–15 and presented in Tables 2 and 3, respectively. These values are compared graphically and depicted in Figure 5.

In the case of the second Zagreb index of the molecular graph of perhydrophenalene, we infer that and .

On the other side, for the sigma index, we observe that and .

5. Conclusion

The topological characterization of graphs and their transformations has been discussed in many research papers, in particular to Zagreb indices. Unfortunately, we have noticed the study on the second Zagreb index in total transformation graphs with some technical failures such as missing out edge degree-based indices and giving incorrect expressions. In this paper, we made a detailed study and derived the exact analytic expressions by incorporating reformulated Zagreb indices. As a byproduct, we have derived the sigma index of transformation graphs effectively using the forgotten index, and in addition, we have considered all possible semitransformations. The locus of this work will be definitely useful in computing other pending topological indices which are not computed for total transformation of graphs.

Data Availability

The data used to support the findings of this study are included within paper.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

M.A., S.P., and M.A.J. conceptualized the study; M.A. and S.P. investigated the study; S.P. and M.A.J. prepared the original draft; M.A. and S.P. reviewed and edited the manuscript; Z.Y., M.A., and J.-B.L. supervised the study; and Z.Y. was responsible for funding acquisition.

Acknowledgments

This work was supported by the Chongqing Nature Science Foundation (Grant No. CSTC2020jcyj-msxmX0546).