Volume 2022, Issue 1 6602899
Research Article
Open Access

[Retracted] On Acyclic Structures with Greatest First Gourava Invariant

Mariam Imtiaz

Mariam Imtiaz

University of Engineering and Technology, KSK Campus, Lahore, Pakistan uet.edu.pk

Search for more papers by this author
Maria Naseem

Maria Naseem

Department of Mathematics, Faculty of Science, University of Central Punjab, Lahore, Pakistan ucp.edu.pk

Search for more papers by this author
Misbah Arshad

Misbah Arshad

COMSATS University Islamabad, Sahiwal Campus, Pakistan comsats.edu.pk

Search for more papers by this author
Salma Kanwal

Corresponding Author

Salma Kanwal

Lahore College for Women University, Lahore, Pakistan lcwu.edu.pk

Search for more papers by this author
Maria Liaqat

Maria Liaqat

Lahore College for Women University, Lahore, Pakistan lcwu.edu.pk

Search for more papers by this author
First published: 25 April 2022
Citations: 2
Academic Editor: Haidar Ali

Abstract

Let ξ be a simple connected graph. The first Gourava index of graph ξ is defined as GO1(ξ) = ∑μηE(ξ)[d(μ) + d(η) + d(μ)d(η)], where d(μ) indicates the degree of vertex μ. In this paper, we will find the upper bound of GO1(ξ) for trees of given diameter, order, size, and pendent nodes, by using some graph transformations. We will find the extremal trees and also present an ordering of these trees having this index in decreasing order.

1. Introduction

Topological index is very basic tool in chemical modeling. In molecular graph, atoms are considered as vertices and chemical bonds as edges. In short, the graph is a combination of vertices and edges. First chemical index was Wiener index introduced by Wiener [1] in 1947 to compare the boiling points of few alkanes isomers; he revealed that this index is highly agreed with the boiling point of molecules of alkanes. Later study on QSAR manifested that this index is also helpful to correlate with other quantities like density, critical point, and surface tension. The mathematical formula of this index is given as
(1)
where dξ(μ, η) indicates the distance between the vertices μ and η in ξ. The most studied degree-based indices, i.e., Zagreb indices introduced by Gutman and Das [2], are defined as follows
(2)
Some properties about these indices are depicted in [3, 4]. The 1st and 2nd reformulated Zagreb indices were regenerated by Milievic et al. [5] in terms of edge degree, defined as
(3)
The 1st and 2nd Gourava indices were presented by V. R. Kulli in 2017 [6]. These indices are defined as
(4)

A topological index is a mathematical formula, which has significant applications in chemical graph theory, because it is used as a molecular descriptor to investigate physical as well as chemical properties of chemical structure. Therefore, it is a powerful technique in avoiding high-cost and long-term laboratory experiments. There are 3,000 topological invariants registered till now. All these indices have their applications in chemical graph theory. In these molecular descriptors, Gourava and hyper-Gourava invariants are used to find out the physical and chemical properties (such as entropy, acentric factor, and DHAVP) of octane isomers. The 1st and 2nd Gourava invariants highly correlate with entropy and acentric factor, respectively.

In [7], the graph operations for Gourava index are presented. In our present study, we considered that all graphs are simple and connected. For any graph, the degree of a vertex is defined as the number of edges attached to it. The smallest degree of graph ξ is represented by δ(ξ). The vertex in a graph whose degree is one is known as pendent vertex. The neighborhood of a vertex μ is the set of all nodes attached with μ, represented by N(μ). There are two types of neighborhood, open neighborhood and closed neighborhood. If N(μ) includes all the other nodes except μ, then it is called open neighborhood, but if it includes the node μ, then it is called closed neighborhood. Closed neighborhood is defined as N[μ] = N(μ) ∪ {μ} (for further notations in graph theory, we refer [8]).

Some bounds of reformulated Zagreb indices are given in [9]. In 2012, Xu and Das [10] established some graph transformations that maximize or minimize the multiplicative sum Zagreb index of graphs and used these graph transformations to determine the extremal graphs among trees, unicyclic, and bicyclic graphs for multiplicative sum Zagreb index. Two years later, in 2014, Ji et al. [11] extended the work of Xu and Das [10] for the 1st reformulated Zagreb index. In 2017, Gao et al. [12] used the same graph transformations as given in [11] to compute the similar results as computed in [11] but for the hyper-Zagreb index.

Tomescu and Kanwal [13] in 2013 introduced some graph transformations to compute the general sum-connectivity index for acyclic connected graphs of given diameter, order, and pendant vertices and determined the corresponding extremal trees and gave the ordering of trees with minimum general sum-connectivity index. Ilic et al. in 2011 [14] used some graph transformations to find the bounds for unicyclic and bicyclic graphs with respect to degree distance index. Liu et al. [15] analyzed the newly introduced chemical invariant termed as Mostar invariant for tree-like phenylenes and provided a detailed discussion for the obtained results. Liu et al. [16], provided an ordering of acyclic, bicyclic, and tricyclic structures with respect to recently introduced invariants Sombor and reduced Sombor invariants. In [17], Liu et al. determined some degree-based chemical invariants for octahedron networks. Qi et al. [18] put forward computations of several degree-based chemical invariants for rhombus-type silicate and oxide structures. In [19], the authors investigated several degree-based invariants for planar octahedron networks and made comparison of obtained numerical results. Hu et al. [20] analyzed certain distance-based invariants for chemical interconnection networks and analyzed their behavior.

In this work, we are aimed to determine the acyclic structures having maximum values of first Gourava invariant and put forward acyclic structures attaining first five greatest values of first Gourava invariant. Plan of work and methodology behind attaining main results of this work is to apply certain edge swapping transformations to acyclic graphs and observe the behavior of first Gourava invariant. We will see that it increased for the resultant graph and eventually leads us to acyclic structures with the first five bigger values of above-mentioned invariant.

2. Gourava Index and Graph Transformations

In this section, we use certain graph transformations presented by Ji et al. [11]. Further, we will notice that these transformations increase the GO1 for trees. These transformations are narrated below.

In B1-transformation, let ξ be a nontrivial connected graph having vertices η, μξ, such that N(η1) = μ1, η1,1, η1,2, ⋯, η1,h and N(μ1) = η1, μ1,1, μ1,2, ⋯, μ1,f, where η1 and μ1 have no common neighbors in ξ, f ≥ 0 and h ≥ 1.

Let ξ be the graph obtained after applying B1 − transformation, such that ξ = ξη1η1,1, η1η1,2, ⋯, η1η1,h + μ1η1,1, μ1η1,2, ⋯, μ1η1,h as explained in Figure 1.

Lemma 1. Let ξ be a connected graph with no cycle and ξ be a graph obtained after applying B1-transformation (as shown in Figure 1), and then, GO1(B1(ξ)) = GO1(ξ) > GO1(ξ) for any f, h ≥ 1.

Proof. From Figure 1, dξ = f + h + 1 and . We can easily guess that degree of μ1 increases, while degree of η1 decreases after applying transformation, and all other vertices preserve their degrees.

(5)

Lemma 2. Let ξ be an acyclic graph, and ξ is obtained after applying B2-transformation (as shown in Figure 2) where dξ(γ1, b1) ≥ 1; then,

(6)
for any f > 1 and h, ≥ 1.

Proof. Here , and , and after transformation, and .

(7)

Lemma 3. Let ξ be an acyclic graph and B3(ξ) = ξ is obtained after applying B3-transformation (as shown in Figure 3), where and . If f > 1, h, ≥ 1, then,

(8)

Proof. Like the previous lemma, we have

(9)

Lemma 4. Let ξ be acyclic connected graph, and ξ = B4(ξ) is obtained after applying B4-transformation(as shown in Figure 4) for any f > ( − 1); we have GO1(B4(ξ)) = GO(ξ) > GO1(ξ).

Proof. Since dξ(μ1, γ1) ≥ 1, and if dξ(μ1, γ1) ≥ 2, then dξ(μ1) + dξ(γ1) = (f + 1) + ( + 1) = dξ(μ1) + dξ(γ1); now by using definition of GO1(ξ), we have

(10)

If dξ(μ1, γ1) = 1, then

(11)

Details are in the caption following the image
Details are in the caption following the image
Details are in the caption following the image
Details are in the caption following the image

3. Ordering Trees Having Maximum GO1

In this section, we identify the trees having maximum first Gourava index, and also, we give a sequence of these trees having first five largest values of GO1.

Theorem 5. Let T be a set of trees having order λ and diameter d, where λ ≥ 3 and 2 ≤ dλ − 1. Then, GO1 is maximum value for .

Proof. First, we apply B1-transformation to those vertices of T which are other than diametral path, and we observe that maximum value of GO1 is obtained for . Then, we apply all those transformations which are explained above, and we conclude that the maximum value is acquired only for for .

Corollary 6. (a) Let T denotes the set of trees with order λ. Then,

(12)
where 2 ≤ mλ − 1.

(b) Let the order of set of trees of T be λ with diameter 3 ≤ dλ − 2; then the greatest value of GO1(T) for these graphs is in the following order: MS(λd, 0, ⋯, 0, 1), MS(λd − 1, 0, ⋯, 0, 2), ⋯, MS(⌈λd + 1/2⌉, 0, ⋯, 0, ⌊λd + 1/2⌋).

Proof. We can achieve MS(λ, 0, ⋯, 0, 1) from MS(λm, 0, ⋯, 0, 1) by repeated use of first transformation (as described in Lemma 1).

(b) We use first three transformations (as explained in Lemmas 1 to 3, and then, we use the fourth transformation to multistars MS(g1, 0, ⋯, 0, g2) with order λ where g1 + g2 = λd + 1.

Theorem 7. For λ > 10, the trees having the greatest 1st Gourava index can be given in the following order (shown in Figure 5):

(13)

Proof. In the family of trees having diameter 2, the star K1,λ−1 is the only tree which by above corollary possesses the greatest 1st Gourava index. The second maximum value of 1st Gourava index reaches for for the trees having diameter 3. The third maximum value of this sequence can be obtained for BS(λ − 4, 2) which also belongs to the class of trees having diameter 3. For λ = 5, the BS(λ − 4, 2) coincides with BS(λ − 3, 1). The next graph in the class of trees with diameter 3 is BS(λ − 5, 3). The next maximum value is obtained by which has diameter 4. We obtain

(14)

Details are in the caption following the image
Applying τ1-transform to , we obtain BS(λ − 4, 2). It follows that for λ ≥ 6, the order of trees possessing maximum value is GO1(K1,λ−1) > GO1(BS(λ − 3, 1)) > GO1(BS(λ − 4, 2)). For the fourth term of this series, we have
(15)
This implies that for λ > 10. So for λ > 10, the fourth member in the above constructed sequence is . For next member, we calculate
(16)

For λ > 4, MS(λ − 5, 0, 2) gets the 2nd maximum value of GO1 in the set of trees of diameter 4. Applying 1st transformation (as described earlier) to MS(λ − 5, 0, 2), we get MS(λ − 5, 0, 0, 1) which attains maximum value of 1st Gourava index in the set of trees of diameter 5 and MS(λ − 5, 0, 0, 1) < MS(λ − 5, 0, 2) which terminates the proof.

For example, for λ = 12, we see that
(17)
which as a result verifies our main result of this work.
(18)
Hence proved
(19)

Table 1 provides certain trees of order λ, along with their value of GO1.

Theorem 8. Let T be a tree having order λ ≥ 5 with α-leaf nodes, where 3 ≤ αλ − 2. Then,

(20)

Equality holds if .

Proof. First under the supposition of theorem, we prove that if x is a pendant node attached to a vertex y, then

(21)

Equality holds for and for d(y) = α. Here, we notice that there exist a vertex 0N(y)\{x} such that d(0) ≥ 2 since otherwise T would be a star, which is against the supposition of theorem. Now,

(22)

Since d(0 ≥ 2, we have

(23)

For the remaining d(y) − 2 nodes N(y)\{x, 0}, we conclude that

(24)

This implies that

(25)

Since d(y) ≤ α,

(26)

Equality holds if d(y) = α, one neighbor of y has degree two, while all the neighbor are leaf nodes, i.e., .

Now, the proof follows by induction on λ. For λ = 5, we obtain α = 3, and is a single tree of order 5 having three pendant nodes.

Let α ≥ 6 and suppose that the theorem is true for all the trees of order λ − 1 having α-leaf nodes where 3 ≤ αλ − 3. Let x be the pendant node that is attached to node y. Here, we examine two subcases:

  • (a)

    When d(y) = 2

  • (b)

    When d(y) ≥ 3

  • (a)

    For d(y) = 2, we have

    (27)

Equality holds for d() = 2. If α = λ − 2, then Tx has λ − 1 nodes and λ − 2 pendent nodes, i.e., Tx = κ1,λ−2 and .

  • (b)

    For d(y) ≥ 3, then Tx has λ − 1 nodes and α − 1 leaf nodes. Then, by induction, we obtain

    (28)

Equality holds if and d(y) = α, i.e., .

1. Comparison of different values of for λ = 14.
κ1,13 351
BS(11, 1) 318
BS(10, 2) 291
S14,11 278
BS(9, 3) 270

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Data Availability

The data used to support the findings of this study are cited at relevant places within the articles in references.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.