Skip to main content
Top
Published in: Complex & Intelligent Systems 2/2023

Open Access 05-11-2022 | Original Article

An investigation of edge F-index on fuzzy graphs and application in molecular chemistry

Authors: Sk Rabiul Islam, Madhumangal Pal

Published in: Complex & Intelligent Systems | Issue 2/2023

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The molecular descriptors are a useful tool in the spectral graph, molecular chemistry and several fields of chemistry and mathematics. The edge F-index is proposed for fuzzy graphs (FGs) here. Bounds of this index are calculated for FGs. The FG has been investigated for a given set of vertices as having maximum edge F-index. Some relations of this index with the second Zagreb index and hyper-Zagreb index are established. For an isomorphic FGs, it is shown that the value of this index is the same. Bounds of this index for some FG operations are determined. Also, an application of the index in mathematical chemistry is studied. For this, 18 octane isomers and 67 alkanes are considered and analyzed the correlation between this index with some properties of the octane isomers and alkanes. From the correlation coefficient value, we have obtained this index is highly correlated with enthalpy of vaporization, standard enthalpy of vaporization, entropy, acentric factor and heat of vaporization and less correlated with heat capacity for octane isomers. Also, this index is correlated with critical pressure, critical temperature, molar refraction, molar volume and boiling point and is less correlated with surface tension and heat of vaporization for alkanes. But, this index is inadequate to determine the melting point of alkanes.
Notes

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Introduction

Research gap and motivation

In 1965, Zadeh [39] first introduced the idea of uncertainty in a classical set and the new set is called by “Fuzzy set”. Jafar et al. studied distance and similarity measures of neutrosophic hypersoft environment [15], matrix theory for neutrosophic hypersoft environment [11], interval valued fuzzy soft environment [12], trigonometric similarity measures for neutrosophic hypersoft environment [14], similarity measures of tangent, cotangent and cosines in neutrosophic environment [13]. Kumar et al. studied type-1 to type-4 transportation problem [17, 18], intuitionistic fuzzy 3D assignment problem [21], optimization problem in fuzzy and intuitionistic fuzzy sets [20], intuitionistic fuzzy solid assignment problem [19], fully intuitionistic fuzzy transportation problem [17].
Rosenfeld [35] introduced the fuzzy graph (FG) in 1975. Samanta et al. [36] have discussed the fuzzy colouring of FGs. Mahapatra et al. has introduced the radio FG [23], edge colouring of FGs [24]. Rashmanlou et al. has introduced bipolar FGs [32], categorical properties of bipolar FGs [33], intuitionistic FGs [34]. Samanta and Pal [37] has introduced k-competition and p-competition FGs.
Topological indices are evaluated on a molecular graph for a chemical compound that describes the compound’s topology. An atom is considered a vertex and a bond is taken as an edge for a chemical compound. During the research on boiling point of paraffins, Wiener [38] first introduced a topological index: Wiener index (WI) in 1947. After that, Gutman and Trinajstic [4] has introduced the Zagreb index (ZI) and applied it to determine the energy of \(\pi \)-electron. F-index has introduced by Fortula and Gutman [3] in 2015. Neighbourhood-ZI [26] is introduced by Mondal et al. They also studied Neighbourhood-ZI in QSPR research [25].
Recently, Wiener index (WI) [2], connectivity index (CI) [1] of a FG is introduced by Binu et al. Islam et al. also discussed the WI [10] for a saturated FGs. Islam and Pal have also developed the concept of hyper-WI [8], hyper-CI [6], first ZI [7] and F-index [5, 9] in FGs. The Wiener absolute index [30], certain index [29] and Randic index [31] for bipolar FGs are introduced by Poulik et al. For many other topological indices for FGs one can see [16]. Motivated these article, here we have introduced hyper-ZI for FGs.

Main contributions

The molecular descriptors are a useful tool in the spectral graph, molecular chemistry and several fields of chemistry and mathematics. The main contributions of this article are:
  • The edge F-index is proposed for fuzzy graphs here. Bounds of this index are calculated for FGs. The FG has been investigated for a given set of vertices as having maximum edge F-index. For an isomorphic FGs, it is shown that the value of this index is the same.
  • Some relations of this index with the second Zagreb index and hyper-Zagreb index are established.
  • Bounds of this index for some FG operations are determined.
  • An application of the index in mathematical chemistry is studied. For this, 18 octane isomers and 67 alkanes are considered and analyzed the correlation between this index with some properties of the octane isomers and alkanes. From the correlation coefficient value, we have obtained this index is highly correlated with enthalpy of vaporization, standard enthalpy of vaporization, entropy, acentric factor and heat of vaporization and less correlated with heat capacity for octane isomers. Also, this index is correlated with critical pressure, critical temperature, molar refraction, molar volume and boiling point and is less correlated with surface tension and heat of vaporization for alkanes. But, this index is inadequate to determine the melting point of alkanes.

Paper organization

The article’s structure: the next section provides some basic definitions. In the subsequent section, edge F-index is introduced and provides some bounds for FGs. For a given set of vertices, the maximal FGs are investigated with respect to this index here. Also, the value of this index is studied for isomorphic FGs here. In the penultimate section, bounds of this index for some FG operations are established. In the final section, a chemical applicability of the index is studied.

Preliminaries

Some useful definitions are given here, most of them are taken from [27, 28].
For a universal set X, a pair \(S = (X,\mu )\) is called a fuzzy set where \(\mu \) is a called membership function of S whose domain is X and co-domain is [0,1].
Definition 1
A FG is a triplet, \(G=(V,\sigma ,\mu )\), where V is called vertex set of the fuzzy graph with vertex membership function \(\sigma : V \rightarrow [0,1]\) and edge membership function \(\mu : V\times V \rightarrow [0,1]\) satisfying \(\mu (x,y) \le \min \{\sigma (x), \sigma (y)\}\).
The edge set of G is defined as \(E = \{(x,y)\in V\times V: \mu (x,y) > 0\}\). Note that, the edge (xy) and (yx) are considered as same and sometimes it called the edge xy or yx. Some times we have denoted \(G=(V,E)\) as a fuzzy graph with vertex set V and edge set E.
Degree of a vertex \(v \in V\) is defined as: \(d(v) = \sum _{x\in V}^{} \mu (xv).\) Let \(\varDelta \) and \(\delta \) be the maximum and minimum degree of G, respectively. Throughout this article, we consider, \( G_1 = (V_1, E_1)\) with \(n_1\)-vertices, \(m_1\)-edges and \( G_2 = (V_2, E_2)\) with \(n_2\)-vertices, \(m_2\)-edges be two FGs and \( \varDelta _1= \varDelta (G_1), \varDelta _2= \varDelta (G_2), \delta _1= \delta (G_1), \delta _2= \delta (G_2).\) Cartesian product, composition, join and union of two FGs is defined in [7]. Here direct product, strong product and semi-strong product of two FGs are defined.
Definition 2
Let \( G_1 = (V_1, E_1), G_2 = (V_2, E_2)\) be two FGs. Suppose, \(V_1 \cap V_2 = \phi \), then the direct product of \( G_1\) and \( G_2\) is a FG \( G_1\prod G_2 = (V, E)\), where \(V= V_1\times V_2\), \(E = \{((u_1,v_1)(u_2,v_2)): u_1u_2 \in E_1 \text { and } v_1v_2 \in E_2\}\), \(\sigma (u,v) = \sigma _1(u) \wedge \sigma _2(v)\) and \(\mu ((u_1,v_1)(u_2,v_2)) = \mu _1(u_1u_2) \wedge \mu _2 (v_1v_2)\).
Definition 3
Let \( G_1 = (V_1, E_1), G_2 = (V_2, E_2)\) be two FGs. Suppose, \(V_1 \cap V_2 = \phi \), then the semi-strong product of \( G_1\) and \( G_2\) is a FG \( G_1 \bullet G_2 = (V, E)\), where \(V= V_1\times V_2\), \(E = \{((u_1,v_1)(u_2,v_2)): u_1u_2 \in E_1 \text { and } v_1v_2 \in E_2\} \cup \{((u,v_1)(u,v_2)): u\in V_1, v_1v_2 \in E_2 \}\), \(\sigma (u,v) = \sigma _1(u) \wedge \sigma _2(v)\) and
$$\begin{aligned}{} & {} \mu ((u_1,v_1)(u_2,v_2)) \\{} & {} \quad ={\left\{ \begin{array}{ll} \mu _1(u_1u_2) \wedge \mu _2 (v_1v_2) &{}\text { if } u_1u_2\in E_1 \text { and } v_1v_2 \in E_2\\ \sigma _1(u) \wedge \mu _2 (v_1v_2) &{}\text { if } u_1 = u_2 = u \in V_1 \text { and } v_1v_2 \in E_2.\\ \end{array}\right. } \end{aligned}$$
Definition 4
Let \( G_1 = (V_1, E_1), G_2 = (V_2, E_2)\) be two FGs. Suppose, \(V_1 \cap V_2 = \phi \), then the strong product of \( G_1\) and \( G_2\) is a FG \( G_1 \otimes G_2 = (V, E)\), where \(V= V_1\times V_2\), \(E = \{((u_1,v_1)(u_2,v_2)): u_1u_2 \in E_1 \text { and } v_1v_2 \in E_2\} \cup \{((u,v_1)(u,v_2)): u\in V_1, v_1v_2 \in E_2 \}\), \(\sigma (u,v) = \sigma _1(u) \wedge \sigma _2(v)\) and
$$\begin{aligned}{} & {} \mu ((u_1,v_1)(u_2,v_2)) \\{} & {} \quad ={\left\{ \begin{array}{ll} \mu _1(u_1u_2) \wedge \mu _2 (v_1v_2) &{}\text { if } u_1u_2\in E_1 \text { and } v_1v_2 \in E_2\\ \sigma _1(u) \wedge \mu _2 (v_1v_2) &{}\text { if } u_1 = u_2 = u \in V_1 \text { and } v_1v_2 \in E_2\\ \sigma _2(v) \wedge \mu _1 (u_1u_2) &{}\text { if } u_1 u_2 \in E_1 \text { and } v_1 = v_2 = v \in V_2.\\ \end{array}\right. } \end{aligned}$$
The definition of ZI of crisp graph are
$$\begin{aligned}&{\textbf {First ZI: }} M_1(G) = \sum _{v\in V}^{} d^2(v) = \sum _{uv\in E}^{}[d(u) + d(v)].\\&{\textbf {Second ZI: }} M_2(G) = \sum _{uv\in E}^{} d(u)d(v). \end{aligned}$$
In [16], ZI for a FG is defined as
$$\begin{aligned}&{\textbf {First ZI: }} M(G) = \sum _{v\in V}^{} \sigma (v) d^2(v).\\&{\textbf {Second ZI: }} ZF_2(G) = \sum _{uv\in E}^{} \sigma (u) \sigma (v) d(u) d(v). \end{aligned}$$
Islam and Pal [7] modified the definition of first Zagreb index in FG as
$$\begin{aligned}&{\textbf {First ZI: }} ZF_1(G) = \sum _{v\in V}^{} [\sigma (v) d(v)]^2. \end{aligned}$$
Another topological indices for FGs are
$$\begin{aligned}&{\textbf {Edge first ZI: }} ZF_1^*(G) = \sum _{uv\in E}^{} [\sigma (u) d(u) + \sigma (v) d(v)].\\&{\textbf {Hyper-ZI: }} HZI(G) = \sum _{uv\in E}^{} [\sigma (u) d(u) + \sigma (v) d(v)]^2. \end{aligned}$$

Edge F-index for a fuzzy graph

In 2015, Fortula and Gutman introduced the F-index for crisp graph as:
$$\begin{aligned} F(G) = \sum _{u\in V}^{}d^3(u) = \sum _{uv\in E}[d^2(u) + d^2(v)]. \end{aligned}$$
For an edge \(uv\in E\), suppose, \(x = d(u) \ge d(v) = y\). The ordered pair (xy) is called the degree coordinate of the edge uv. Then, \(x^2 + y^2\) is the square of the distance of the degree coordinate of uv from the origin. Hence, F-index is the sum of such square of the distances. Here the idea is introduced in the fuzzy graph.
Definition 5
For a FG G, the edge F-index for G is defined by
$$\begin{aligned} EFI(G) = \sum _{uv\in E}^{}\{[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\}. \end{aligned}$$
For an edge \(uv\in E\), we define \(x = \sigma (u) d(u) \ge \sigma (v) d(v) = y\). The order pair (xy) is called the vertex-degree co-ordinate of the edge uv. Then \(x^2 + y^2\) is square of the distance of the vertex-degree co-ordinate of uv from origin. Hence, edge F-index is sum of such square of the distances.
Also, followed by the definition of the F-index for crisp graph, this index for a FG is introduced by Islam and Pal.
$$\begin{aligned} FI(G) = \sum _{u\in V}\sigma ^3(u) d^3(u). \end{aligned}$$
For crisp graph, the two definition of F-index are same but the next example shows that the two definition of F-index for a FG are different.
Example 1
Suppose G be a FG depicted in Fig. 1. Then, \(d(v_1) = 1.3, d(v_2) = 1.0, d(v_3) = 1.5, d(v_4) = 1.0\). Hence,
$$\begin{aligned}&FI(G) = \sum _{u\in V}\sigma ^3(u) d^3(u)\\&\quad \quad \quad \quad = [0.5\times 1.3]^2 + [0.6 \times 1.0]^2 + [0.7 \times 1.5]^2 \\&\quad \quad \quad \quad \quad + [0.6\times 1.0]^2\\&\quad \quad \quad \quad = 1.86425.\\&\text {But, } EFI(G) = \sum _{uv\in E}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 = 6.015. \end{aligned}$$
Therefore, for a FG G, \(FI(G) \ne EFI(G)\), in general.
Some bounds of this index are provided here.
Theorem 1
Suppose, G be a fuzzy graph. Then, \(EFI(G) \le 2\,m \varDelta ^2 \le 2\,m (n-1)^2\).
Now, this index is studied for a partial fuzzy subgraph (Partial-FSG).
Theorem 2
Suppose H be a partial-FSG of a FG G. Then, \(EFI(H) \le EFI(G).\)
Proof
As H be a partial-FSG of G, then, \(0 \le \sigma _H(v) \le \sigma _G(v), \mu _H(uv)\le \mu _G(uv), \forall v\in V(H) \subset V(G), \forall uv\in E(H) \subset E(G).\) Therefore, for \(v\in V(H)\),
$$\begin{aligned} d_H (v)&= \sum _{u\in V(H)}^{} \mu _H(uv) \le \sum _{u\in V(G)}^{}\mu _G(uv) = d_G (v).\\ \text { Hence, } EFI(H)&= \sum _{uv\in E(H)}[\sigma _H (u) d_H(u)]^2 + [\sigma _H (v) d_H(v)]^2\\&\le \sum _{uv\in E(G)}[\sigma _G (u) d_G(u)]^2 + [\sigma _G (v) d_G(v)]^2\\&= FHZI(G). \end{aligned}$$
As a FSG is also a partial-FSG, the above result is also true for a FSG.
Corollary 1
Suppose, V be a given set of vertices. Then complete-FG spanned by V has maximum edge F-index among the FGs spanned by V.
The edge F-index for isomorphic FGs are studied below.
Theorem 3
Suppose \(G_1\) and \(G_2\) be two isomorphic FGs. Then, \(EFI(G_1) = EFI(G_2)\).
Proof
As \(G_1\) and \(G_2\) be two isomorphic FGs, there exist a bijective map \(\psi : V(G_1) \rightarrow V(G_2)\) such that, \(\sigma _{G_1}(v) = \sigma _{G_2}(\psi (v))\) and \(\mu _{G_1}(uv) = \mu _{G_2}(\psi (u)\psi (v))\), \(\forall u,v\in V(G_1) \) and \(u\not = v.\) Then
$$\begin{aligned} d_{G_1}(v)&= \sum _{u \in V{G_1}}^{}\mu _{G_1}(uv) \\&\quad = \sum _{\psi (u) \in V{G_2}}^{} \mu _{G_2}(\psi (u)\psi (v)) = d_{G_2}(\psi (v)). \end{aligned}$$
$$\begin{aligned}&\text { Therefore, } EFI(G_1) \\&\quad = \sum _{uv\in E(G_1)}[\sigma _{G_1} (u) d_{G_1}(u)]^2 \\&\qquad + [\sigma _{G_1} (v) d_{G_1}(v)]^2\\&\quad = \sum _{\psi (u)\psi (v)\in E(G_2)}[\sigma _{G_2} (\psi (u)) d_{G_2}(\psi (u))]^2 \\&\qquad + [\sigma _{G_2} (\psi (v)) d_{G_2}(\psi (v))]^2\\&\quad = EFI(G_2). \end{aligned}$$

Relation of edge F-index with other topological indices for fuzzy graph

Here, we have established some relations of this index with other TIs for fuzzy graph. First we have studied the relation between this index and second Zagreb index for fuzzy graphs.
Theorem 4
Suppose G be a FG. Then, \(EFI (G) \ge 2 ZF_2 (G)\).
Proof
For any two real numbers x and y,
$$\begin{aligned}&(x-y)^2 \ge 0\nonumber \\ \text { or }&x^2 + y^2 \ge 2 xy. \end{aligned}$$
(1)
In Eq. (1), put \(x = \sigma (u) d(u)\) and \(y = \sigma (v)d(v)\), we get,
$$\begin{aligned}&[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \ge 2 \sigma (u) d(u) \sigma (v) d(v)\\ \text { or }&\sum _{uv\in E}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&\quad \ge 2 \sum _{uv\in E}^{}\sigma (u) d(u) \sigma (v) d(v)\\ \text { or }&EFI(G) \ge ZF_2(G). \end{aligned}$$
The next theorem provides the relation this index and hyper-Zagreb index for FGs.
Theorem 5
Suppose G be a FG. Then, \(EFI (G) \ge \frac{1}{2} HZI (G)\).
Proof
For any two real numbers x and y, from Eq. (1), we have
$$\begin{aligned}&(x^2 + y^2) \ge \frac{1}{2} (x+y)^2. \end{aligned}$$
(2)
In Eq. (2), put \(x = \sigma (u) d(u)\) and \(y = \sigma (v)d(v)\), we get
$$\begin{aligned}&[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \ge \frac{1}{2} [\sigma (u) d(u) + \sigma (v) d(v)]^2\\&\text { or } \sum _{uv\in E}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \\&\qquad \quad \ge \frac{1}{2} \sum _{uv\in E}^{}[\sigma (u) d(u) + \sigma (v) d(v)]^2\\&\text { or } EFI(G) \ge \frac{1}{2} HZI (G). \end{aligned}$$
The relation among edge F-index, hyper-ZI and second ZI for fuzzy graphs is determined below.
Theorem 6
Suppose G be a FG. Then, \(EFI(G) = HZI (G) - 2ZF_2(G)\).
Proof
For \(u,v \in V\), we have,
$$\begin{aligned}&[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&\quad = [\sigma (u)d(u) + \sigma (v)d(v)]^2 - 2\sigma (u)d(u)\sigma (v)d(v)\\&\text { or } \sum _{uv\in E}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \\&= \sum _{uv\in E}^{}[\sigma (u)d(u) + \sigma (v)d(v)]^2\\&\qquad - 2 \sum _{uv\in E}^{} \sigma (u)d(u)\sigma (v)d(v)\\&\text { or } EFI(G) = HZI(G) - 2ZF_2(G). \end{aligned}$$

Edge F-index for fuzzy graph operations

In this section, edge F-index is studied for some FG operations.
Theorem 7
\(EFI(G_1 \times G_2) \le 2[m_1ZF_1(G_2) + m_2ZF_1(G_1)] + 2[n_1\varDelta _1ZF_1^*(G_2) + n_2\varDelta _2 ZF_1^*(G_1)] + [n_1EFI(G_2) + n_2EFI(G_1)]\).
Proof
As \( G_1\times G_2\) is Cartesian product of \( G_1\) and \( G_2\), then for \((u,v), (u_1,v_1) \in V, \sigma (u,v) = \wedge \{\sigma _1(u), \sigma _2(v)\}\) and
$$\begin{aligned}{} & {} \mu ((u,v)(u_1, v_1)) \\{} & {} \quad = {\left\{ \begin{array}{ll} \wedge \{\sigma _1(u), \mu _2(v,v_1)\} \text { if } u = u_1 \text { and } v v_1\in E_2\\ \wedge \{\sigma _2(v), \mu _1(u,u_1)\} \text { if } u u_1\in E_1 \text { and } v = v_1\\ 0 \text { otherwise.} \end{array}\right. } \end{aligned}$$
$$\begin{aligned} \text { Then, } d(u,v)&= \sum _{v_i v\in E_2}^{} \mu \{(u,v),(u,v_i)\} \\&\quad + \sum _{u_i u\in E_1}^{} \mu \{(u,v),(u_i,v)\}\\&= \sum _{v_i v\in E_2}^{} \wedge \{\sigma _1(u) , \mu _2(v,v_i)\} \\&\quad + \sum _{u_i u \in E_1}^{} \wedge \{\sigma _2(v) , \mu _1(u,u_i)\}\\&\le \sum _{v_i v\in E_2}^{} \mu _2(v,v_i) + \sum _{u_i u\in E_1}^{} \mu _1(u,u_i)\\&= d_1(u) + d_2(v). \end{aligned}$$
Then the edge F-index of \( G_1 \times G_2\) is
$$\begin{aligned}&EFI(G_1\times G_2) \\&\quad = \sum _{(u_1,v_1)(u_2,v_2) \in E} [\sigma (u_1,v_1) d(u_1,v_1)]^2 \\&\qquad + [\sigma (u_2,v_2) d(u_2,v_2)]^2\\&\quad = \underbrace{\sum _{u\in V_1, v_1v_2 \in E_2} [\sigma (u,v_1) d(u,v_1)]^2 + [\sigma (u,v_2) d(u,v_2)]^2}_{K_1} \\&\qquad + \underbrace{\sum _{v \in V_2, u_1u_2 \in E_1} [\sigma (u_1,v) d(u_1,v)]^2 + [\sigma (u_2,v) d(u_2,v)]^2}_{K_2}.\\&\text { Now, } K_1\\&\quad = \sum _{u\in V_1, v_1v_2 \in E_2} [\sigma (u,v_1) d(u,v_1)]^2 + [\sigma (u,v_2) d(u,v_2)]^2\\&\quad \le \sum _{u\in V_1, v_1v_2 \in E_2} \left[ \{\sigma _1(u) d_1(u) + \sigma _2(v_1) d_2(v_1)\}^2 \right. \\&\qquad \left. + \{\sigma _1(u) d_1(u) + \sigma _2(v_2) d_2(v_2)\}^2 \right] \\&\quad = \sum _{u\in V_1, v_1v_2 \in E_2} \Big [2 \sigma _1^2(u)d_1^2(u) + 2 \sigma _1(u)d_1(u)\{\sigma _2(v_1)d_2(v_1) \\&\qquad + \sigma _2(v_2)d_2(v_2)\} + \{\sigma ^2_2(v_1)d^2_2(v_1) + \sigma ^2_2(v_2)d^2_2(v_2)\} \Big ]\\&\therefore K_1 \le 2m_2ZF_1(G_1) + 2n_1\varDelta _1 ZF_1^*(G_2) + n_1 EFI(G_2)\\&\text { Similarly, } K_2 \\&\quad \le 2m_1ZF_1(G_2) + 2n_2\varDelta _2 ZF_1^*(G_1) + n_2 EFI(G_1). \end{aligned}$$
Hence, the result follows.
Corollary 2
\(EFI(G_1 \times G_2) \le (n_1m_2 + n_2m_1) (\varDelta _1 + \varDelta _2)^2 \).
Proof
By Theorem 7, we have
$$\begin{aligned} EFI(G_1 \times G_2)&\le 2[m_1ZF_1(G_2) + m_2ZF_1(G_1)] \\&+ 2[n_1\varDelta _1ZF_1^*(G_2) + n_2\varDelta _2 ZF_1^*(G_1)]\\&+ [n_1EFI(G_2) + n_2EFI(G_1)]. \end{aligned}$$
Also, the following are holds:
$$\begin{aligned}&ZF_1(G) \le n \varDelta ^2\\&ZF_1^*(G) \le 2m \varDelta \\&\text { and } EFI(G) \le 2m \varDelta ^2.\\ \end{aligned}$$
From those results and Theorem 7, the result follows.
Theorem 8
\( EFI(G_1[G_2]) \le n_2^4EFI(G_1) + 2n_2^2m_2ZF_1 (G_1) + 4n_2^3\varDelta _2 ZF_1^*(G_1) + 2n_1n_2\varDelta _1ZF_1^*(G_2) + n_1EFI(G_2) + 2m_1ZI(G_2).\)
Proof
As \( G_1[G_2]\) is composition graph of \( G_1\) and \( G_2\), then for \((u,v), (u_1,v_1) \in V, \sigma (u,v) = \wedge \{\sigma _1(u), \sigma _2(v)\}\) and
$$\begin{aligned}{} & {} \mu ((u,v)(u_1, v_1)) \nonumber \\{} & {} \quad = {\left\{ \begin{array}{ll} \wedge \{\sigma _1(u), \mu _2(v,v_1)\} &{}\text { if } u= u_1 \text { and } v v_1\in E_2\\ \wedge \{\sigma _2(v), \sigma _2(v_1), \mu _1(u,u_1)\} &{}\text { if } u u_1\in E_1\\ 0 &{}\text { otherwise.} \end{array}\right. } \end{aligned}$$
Then,
$$\begin{aligned} d(u,v)&= \sum _{v_i v\in E_2}^{} \mu \{(u,v),(u,v_i)\}\\&\quad + \sum _{u_i u\in E_1, v_j\in V_2}^{} \mu \{(u,v),(u_i,v_j)\}\\&= \sum _{v_i v\in E_2}^{} \wedge \{\sigma _1(u) , \mu _2(v,v_i)\} \\&\quad + \sum _{u_i u\in E_1, v_j \in V_2}^{} \wedge \{\sigma _2(v),\sigma _2(v_j) \mu _1(u,u_i)\}\\&\le \sum _{v_i v\in E_2}^{} \mu _2(v,v_i) + \sum _{u_i u\in E_1, v_j \in V_2}^{} \mu _1(u,u_i)\\&= n_2 d_1(u) + d_2(v). \end{aligned}$$
Then the edge index of \(G_1[G_2]\) is
$$\begin{aligned}&EFI(G_1[G_2]) \\&\quad = \sum _{(u_1,v_1)(u_2,v_2) \in E} [\sigma (u_1,v_1) d(u_1,v_1)]^2 + [\sigma (u_2,v_2) d(u_2,v_2)]^2\\&\quad = \underbrace{\sum _{u\in V_1, v_1v_2 \in E_2} [\sigma (u,v_1) d(u,v_1)]^2 + [\sigma (u,v_2) d(u,v_2)]^2}_{K_1} \\&\qquad + \underbrace{\sum _{u_1u_2 \in E_1, v_1,v_2 \in V_2} [\sigma (u_1,v_1) d(u_1,v_1)]^2 + [\sigma (u_2,v_2) d(u_2,v_2)]^2}_{K_2}. \\&\text { Now, } K_1 \\&\quad = \sum _{u\in V_1, v_1v_2 \in E_2} [\sigma (u,v_1) d(u,v_1)]^2 + [\sigma (u,v_2) d(u,v_2)]^2\\&\quad \le \sum _{u\in V_1, v_1v_2 \in E_2} [n_2\sigma _1(u) d_1(u) + \sigma _2(v_1) d_2(v_1)]^2 \\&\qquad + [n_2\sigma _1(u) d_1(u) + \sigma _2(v_2) d_2(v_2)]^2\\&\quad = \sum _{u\in V_1, v_1v_2 \in E_2} \left[ 2n_2^2 \sigma _1^2(u) d_1^2(u) \right. \\&\qquad \left. + 2n_2\sigma _1(u)d_1(u)\{ \sigma _2(v_1)d_2(v_1) +\sigma _2(v_2)d_2(v_2) \}\right. \\&\qquad \left. + \{ \sigma _2^2(v_1)d_2^2(v_1) + \sigma _2^2(v_2)d_2^2(v_2) \}\right] \\&\quad \le 2n_2^2m_2ZF_1(G_1) + 2n_1n_2\varDelta _1ZF_1^*(G_2) + n_1 EFI(G_2).\\&\text { Again, } K_2\\&\quad = \sum _{u_1u_2 \in E_1,v_1,v_2 \in V_2} [\sigma (u_1,v_1) d(u_1,v_1)]^2 \\&\qquad + [\sigma (u_2,v_2) d(u_2,v_2)]^2\\&\quad \le \sum _{u_1u_2 \in E_1, v_1,v_2 \in V_2} [n_2\sigma _1(u_1) d_1(u_1) + \sigma _2(v_1) d_2(v_1)]^2 \\&\qquad + [n_2\sigma _1(u_2) d_1(u_2) + \sigma _2(v_2) d_2(v_2)]^2\\&\quad \le \sum _{u_1u_2 \in E_1, v_1,v_2 \in V_2}\left[ n_2^2 \{\sigma _1^2(u_1) d_1^2(u_1) + \sigma _1^2(u_2) d_1^2(u_2)\}\right. \\&\qquad \left. + \{ \sigma _2^2(v_1)d_2^2(v_1) + \sigma _2^2(v_2)d_2^2(v_2) \}\right. \\&\qquad \left. + 2n_2\{ \sigma _1(u_1)d_1(u_1) + \sigma _1(u_2)d_1(u_2)\}\right. \\&\qquad \left. \{ \sigma _2(v_1)d_2(v_1) + \sigma _2(v_2)d_2(v_2) \} \right] \\&\quad \le n^4_2 EFI(G_1) + 2m_1 ZF_1(G_2) + 4n_2^3\varDelta _2 ZF_1^*(G_1). \end{aligned}$$
Hence, the result follows.
Theorem 9
\(EFI(G_1 + G_2) \ge HZI(G_1) + HZI(G_2) + n_2ZF_1(G_1) + n_1ZF_1(G_2) -2ZF_2(G_1) - 2ZF_2(G_2)\).
Proof
As \( G_1+ G_2\) is join graph of \( G_1\) and \( G_2\), then for \(u,v,u_1,v_1 \in V\),
$$\begin{aligned} \sigma (u) = {\left\{ \begin{array}{ll} \sigma _1(u) \text { if } u\in V_1\\ \sigma _2(u) \text { if } u\in V_2 \end{array}\right. } \end{aligned}$$
and
$$\begin{aligned} \mu (u,v) = {\left\{ \begin{array}{ll} \wedge \{\sigma _1(u), \sigma _2(v)\} \text { if } u\in V_1 \text { and } v\in V_2\\ \mu _1(u,v) \text { if } uv\in E_1\\ \mu _2(u,v) \text { if } uv\in E_2\\ 0 \text { otherwise.} \end{array}\right. } \end{aligned}$$
Then,
$$\begin{aligned} d(u)&= {\left\{ \begin{array}{ll} d_1(u) + \sum _{v\in V_2}^{} \wedge \{\sigma _1(u), \sigma _2(v)\} \text { if } u\in V_1\\ d_2(u) + \sum _{v\in V_1}^{} \wedge \{\sigma _2(u), \sigma _1(v)\} \text { if } u\in V_2 \end{array}\right. }\\&\ge {\left\{ \begin{array}{ll} d_1(u) \text { if } u\in V_1\\ d_2(u) \text { if } u\in V_2. \end{array}\right. } \end{aligned}$$
Then the edge F-index of \( G_1+ G_2\) is
$$\begin{aligned}&EFI(G_1+G_2) = \sum _{uv\in E} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&= \underbrace{\sum _{uv\in E_1} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2}_{K_1} \\&\quad + \underbrace{\sum _{uv\in E_2} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2}_{K_2} \\&+ \underbrace{\sum _{u\in V_1, v\in V_2} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2}_{K_3}\\ \\&\text { Now, } K_1 = \sum _{uv\in E_1} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&\ge \sum _{uv\in E_1} [\sigma _1(u)d_1(u)]^2 + [\sigma _1(v)d_1(v)]^2\\&= \sum _{uv\in E_1} [\sigma _1(u)d_1(u) + \sigma _1(v)d_1(v)]^2 \\&\quad -2\sum _{uv\in E_1} \sigma _1(u)d_1(u) \sigma _1(v)d_1(v) \\ \therefore K_1&\ge HZI(G_1) -2ZF_2(G_1).\\&\text { Similarly, } K_2 \ge HZI(G_2) -2ZF_2(G_2).\\&\text { Again, } K_3 = \sum _{u\in V_1, v\in V_2} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&\ge \sum _{u\in V_1, v\in V_2} [\sigma _1(u)d_1(u)]^2 \\&\quad + \sum _{u\in V_1, v\in V_2} [\sigma _2(v)d_2(v)]^2\\&\therefore K_3 \ge n_2ZF_1(G_1) \\&\quad + n_1ZF_1(G_2). \end{aligned}$$
Hence, the result follows.
Theorem 10
\(EFI(G_1 + G_2) \le EFI(G_1) + EFI(G_2) + 2n_2ZF_1(G_1) + 2n_1ZF_1(G_2) +n_2ZF_1(G_1) + n_1ZF_1(G_2) + 2[n_1^2m_2 + n_2^2m_1] + n_1n_2[n_1^2 + n_2^2] + 2n_1n_2[n_2\varDelta _1 + n_1\varDelta _2]\).
Proof
As \( G_1+ G_2\) is join graph of \( G_1\) and \( G_2\), then for \(u,v,u_1,v_1 \in V\),
$$\begin{aligned} \sigma (u) = {\left\{ \begin{array}{ll} \sigma _1(u) \text { if } u\in V_1\\ \sigma _2(u) \text { if } u\in V_2 \end{array}\right. } \end{aligned}$$
and
$$\begin{aligned} \mu (u,v) = {\left\{ \begin{array}{ll} \wedge \{\sigma _1(u), \sigma _2(v)\} \text { if } u\in V_1 \text { and } v\in V_2\\ \mu _1(u,v) \text { if } uv\in E_1\\ \mu _2(u,v) \text { if } uv\in E_2\\ 0 \text { otherwise.} \end{array}\right. } \end{aligned}$$
Then,
$$\begin{aligned} d(u)&= {\left\{ \begin{array}{ll} d_1(u) + \sum _{v\in V_2}^{} \wedge \{\sigma _1(u), \sigma _2(v)\} \text { if } u\in V_1\\ d_2(u) + \sum _{v\in V_1}^{} \wedge \{\sigma _2(u), \sigma _1(v)\} \text { if } u\in V_2 \end{array}\right. }\\&\le {\left\{ \begin{array}{ll} d_1(u) + \sum _{v\in V_2}^{}\sigma _1(u), \text { if } u\in V_1\\ d_2(u) + \sum _{v\in V_1}^{}\sigma _2(u), \text { if } u\in V_2 \end{array}\right. }\\&\le {\left\{ \begin{array}{ll} d_1(u) + n_2 \text { if } u\in V_1\\ d_2(u) + n_1 \text { if } u\in V_2. \end{array}\right. } \end{aligned}$$
Then the edge F-index of \( G_1+ G_2\) is:
$$\begin{aligned} EFI(G_1+G_2)&= \sum _{uv\in E} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&= \underbrace{\sum _{uv\in E_1} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2}_{K_1} \\&\quad + \underbrace{\sum _{uv\in E_2} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2}_{K_2} \\&+ \underbrace{\sum _{u\in V_1, v\in V_2} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2}_{K_3}\\\\ \text { Now, } K_1&= \sum _{uv\in E_1} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&\le \sum _{uv\in E_1} [\sigma _1(u)d_1(u) + n_2]^2 + [\sigma _1(v)d_1(v) + n_2]^2\\&= \sum _{uv\in E_1} [\sigma _1^2(u)d_1^2(u) + \sigma _1^2(v)d_1^2(v)] \\&\quad + 2n_2 \sum _{uv\in E_1} [\sigma _1(u)d_1(u) + \sigma _1(v)d_1(v)] + 2n_2^2 \\ \therefore K_1&\le EFI(G_1) + 2n_2 ZF_1^*(G_1) + 2n_2^2m_1.\\ \text { Similarly, } K_2&\le EFI(G_2) + 2n_1 ZF_1^*(G_2) + 2n_1^2m_2.\\ \text { Again, } K_3&= \sum _{u\in V_1, v\in V_2} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&\le \underbrace{\sum _{u\in V_1, v\in V_2} [\sigma _1(u)d_1(u) + n_2]^2}_{P_1} \\&\quad + \underbrace{\sum _{u\in V_1, v\in V_2} [\sigma _2(v)d_2(v) + n_1]^2}_{P_2}\\ \text { Now, } P_1&= \sum _{u\in V_1, v\in V_2} [\sigma _1(u)d_1(u) + n_2]^2\\&= \sum _{u\in V_1, v\in V_2} [\sigma _1^2(u)d^2_1(u) + 2n_2 \sigma _1(u)d_1(u) + n_2^2]\\ \therefore P_1&\le n_2ZF_1(G_1) + 2n_1n_2^2\varDelta _1 +n_1n_2^3. \\ \text { Similarly, } P_2&\le n_1ZF_1(G_2) + 2n_2n_1^2\varDelta _1 +n_2n_1^3.\\ \text { Therefore, } K_3&\le n_2ZF_1(G_1) + n_1ZF_1(G_2)\\&\quad + n_1n_2[n_1^2 + n_2^2] + 2n_1n_2[n_2\varDelta _1 + n_1\varDelta _2]. \end{aligned}$$
Hence, the result follows.
Theorem 11
\( EFI( G_1\cup G_2) \ge EFI( G_1) + EFI( G_2) -2p\varDelta ^2\), where \(p = |E_1\cap E_2|, \varDelta = \max \{\varDelta _1,\varDelta _2\}\).
Proof
As \(G_1 \cup G_2\) is union of \(G_1\) and \(G_2\), then for any \(u,v\in V,\)
$$\begin{aligned}&\sigma (u) = {\left\{ \begin{array}{ll} \sigma _1(u) \text { if } u\in V_1\setminus V_2\\ \sigma _2(u) \text { if } u\in V_2\setminus V_1\\ \vee \{\sigma _1(u),\sigma _2(u)\} \text { if } u\in V_1\cap V_2 \end{array}\right. }\\&\text { and } \mu (uv) = {\left\{ \begin{array}{ll} \mu _1(uv) \text { if } uv\in E_1\setminus E_2\\ \mu _2(uv), \text { if } uv\in E_2\setminus E_1\\ \vee \{\mu _1(uv), \mu _2(uv)\}, \text { if } uv\in E_1\cap E_2\\ 0 \text { otherwise.} \end{array}\right. }\\&\text { Then, } d(u) \ge {\left\{ \begin{array}{ll} d_1(u), \text { if } u\in V_1\setminus V_2\\ d_2(u), \text { if } u\in V_2\setminus V_1\\ d_1(u) \text { or } d_2(u), \text { if } u\in V_1\cap V_2. \end{array}\right. } \end{aligned}$$
Hence, the edge F-index for \(G_1\cup G_2\) is:
$$\begin{aligned} EFI(G_1\cup G_2)&= \sum _{uv\in E}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2\\&= \sum _{uv\in E_1} [\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \\&\quad + \sum _{uv\in E_2}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \\&\quad - \sum _{uv\in E_1\cap E_2}^{}[\sigma (u)d(u)]^2 + [\sigma (v)d(v)]^2 \\&\ge EFI(G_1) + EFI(G_2) - 2p\varDelta ^2. \end{aligned}$$
Theorem 12
\(EFI(G_1 \otimes G_2) \le 8 [EFI(G_1) + EFI(G_2) + m_2ZF_1(G_1) + m_1ZF_1(G_2) + ZF_1^*(G_1)ZF_1^*(G_2) + n_1\varDelta _1 ZF_1^*(G_1) + n_2\varDelta _2ZF_1^*(G_2)]\).
Proof
As \(G_1 \otimes G_2\) is strong product graph of \(G_1\) and \(G_2\), then, \(\sigma (u,v) = \sigma _1(u) \wedge \sigma _2(v)\) and
$$\begin{aligned}&\mu ((u_1,v_1)(u_2,v_2)) \\&\quad = {\left\{ \begin{array}{ll} \mu _1(u_1u_2) \wedge \mu _2 (v_1v_2) \text { if } u_1u_2\in E_1 \text { and } v_1v_2 \in E_2\\ \sigma _1(u) \wedge \mu _2 (v_1v_2) \text { if } u_1 = u_2 = u \in V_1 \text { and } v_1v_2 \in E_2\\ \sigma _2(v) \wedge \mu _1 (u_1u_2) \text { if } u_1 u_2 \in E_1 \text { and } v_1 = v_2 = v \in V_2.\\ \end{array}\right. } \end{aligned}$$
Hence,
$$\begin{aligned} d (u,v) =&\sum _{uu_1 \in E_1, vv_1 \in E_2}^{} \mu ((u,v)(u_1,v_1))\\&+ \sum _{vv_1 \in E_2}^{} \mu ((u,v)(u,v_1))\\&+ \sum _{uu_1 \in E_1}^{} \mu ((u,v)(u_1,v))\\ =&\sum _{uu_1 \in E_1, vv_1 \in E_2}^{} \mu _1(uu_1) \wedge \mu _2 (vv_1)\\&+ \sum _{vv_1 \in E_2}^{} \sigma _1(u) \wedge \mu _2 (vv_1)\\&+ \sum _{uu_1 \in E_1}^{} \sigma _2(v) \wedge \mu _1 (uu_1) \\ \le&\sum _{uu_1 \in E_1}^{} \mu _1(uu_1) + \sum _{vv_1 \in E_2}^{} \mu _2 (vv_1)\\&+ \sum _{vv_1 \in E_2}^{} \mu _2 (vv_1) + \sum _{uu_1 \in E_1}^{} \mu _1 (uu_1)\\ =&2[d_1(u) + d_2(v)]. \end{aligned}$$
Therefore, the edge F-index of \(G_1 \otimes G_2\) is:
$$\begin{aligned}&EFI(G_1 \otimes G_2) = \sum _{(u_1,v_1)(u_2,v_2)\in E}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 \\&\quad + [\sigma (u_2,v_2)d(u_2,v_2)]^2\\&= \underbrace{\sum _{u_1u_2 \in E_1, v_1v_2 \in E_2}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 + [\sigma (u_2,v_2)d(u_2,v_2)]^2}_{K_1} \\&\quad + \underbrace{\sum _{u \in V_1, v_1v_2 \in E_2}^{} [\sigma (u,v_1)d(u,v_1)]^2 + [\sigma (u,v_2)d(u,v_2)]^2}_{K_2} \\&\quad + \underbrace{\sum _{u_1u_2 \in E_1, v \in V_2}^{}[\sigma (u_1,v)d(u_1,v)]^2 + [\sigma (u_2,v)d(u_2,v)]^2}_{K_3}.\\&\text { Now, } K_1 = \sum _{u_1u_2 \in E_1, v_1v_2 \in E_2}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 \\&\quad + [\sigma (u_2,v_2)d(u_2,v_2)]^2\\&\le 4 \sum _{u_1u_2 \in E_1, v_1v_2 \in E_2}^{} [\sigma _1(u_1)d_1(u_1) + \sigma _2(v_1)d_2(v_1)]^2 \\&\quad + [\sigma _1(u_2)d_1(u_2) + \sigma _2(v_2)d_2(v_2)]^2\\&\le 4 \sum _{u_1u_2 \in E_1, v_1v_2 \in E_2}^{} [\{\sigma _1^2(u_1)d_1^2(u_1) + \sigma _1^2(u_2)d_1^2(u_2) \} \\&\quad + \{\sigma _2^2(v_1)d_2^2(v_1) + \sigma _2^2(v_2)d_2^2(v_2) \} \\&+ 2\{ \sigma _1(u_1)d_1(u_1) + \sigma _1(u_2)d_1(u_2)\} \{\sigma _2(v_1)d_2(v_1) \\&\quad + \sigma _2(v_2)d_2(v_2)\}].\\&\therefore K_1 \le 4[EFI(G_1) + EFI(G_2) \\&\quad + 2ZF_1^*(G_1)ZF_1^*(G_2)].\\&\text { Again, } K_2 = \sum _{u \in V_1, v_1v_2 \in E_2}^{} [\sigma (u,v_1)d(u,v_1)]^2 \\&\quad + [\sigma (u,v_2)d(u,v_2)]^2\\&\le 4 \sum _{u \in V_1, v_1v_2 \in E_2}^{} [\sigma _1(u)d_1(u) + \sigma _2(v_1)d_2(v_1)]^2 \\&\quad + [\sigma _1(u)d_1(u) + \sigma _2(v_2)d_2(v_2)]^2\\&= 4 \sum _{u \in V_1, v_1v_2 \in E_2}^{} [2\sigma _1^2(u)d_1^2(u) \\&\quad + 2\sigma _1(u)d_1(u)\{ \sigma _2(v_1)d_2(v_1) + \sigma _2(v_2)d_2(v_2) \} \\&\quad + \{ \sigma _2^2(v_1)d_2^2(v_1) + \sigma _2^2(v_2)d_2^2(v_2) \}]\\&\therefore K_2 \le 4 [2m_2ZF_1(G_1) + 2n_1\varDelta _1ZF_1^*(G_2) + EFI(G_2)].\\&\text { Similarly, } K_3 \le 4 [2m_1ZF_1(G_2) + n_2\varDelta _2ZF_1^*(G_1)\\&\quad + EFI(G_1)]. \end{aligned}$$
Hence, the result follows.
Theorem 13
\(EFI(G_1 \prod G_2) \le \frac{1}{4} [m_2EFI(G_1) + m_1 EFI(G_2) + 2ZF_1^*(G_1)ZF_1^*(G_2)]\).
Proof
As \(G_1 \prod G_2\) is direct product graph of \(G_1\) and \(G_2\), then, \(\sigma (u,v) = \sigma _1(u) \wedge \sigma _2(v)\) and \(\mu ((u_1,v_1)(u_2,v_2)) = \mu _1(u_1u_2) \wedge \mu _2 (v_1v_2)\). Hence,
$$\begin{aligned} d (u,v)&= \sum _{(u_1,v_1) \in V}^{} \mu ((u,v)(u_1,v_1))\\&= \sum _{(u_1,v_1) \in V}^{} \mu _1(u,u_1) \wedge \mu _2(v,v_1)\\&\le d_1(u) \wedge d_2(v)\\&\le \frac{1}{2} [d_1(u) + d_2(v)]. \end{aligned}$$
Therefore, the edge F-index for \(G_1 \prod G_2\) is:
$$\begin{aligned}&EFI(G_1 \prod G_2) = \sum _{(u_1,v_1)(u_2,v_2)\in E}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 \\&\quad + [\sigma (u_2,v_2)d(u_2,v_2)]^2\\&\le \frac{1}{4} \sum _{u_1u_2 \in E_1, v_1v_2 \in E_2}^{} [\sigma _1(u_1)d_1(u_1) + \sigma _2(v_1)d_2(v_1)]^2 \\&\quad + [\sigma _1(u_2)d_1(u_2) + \sigma _2(v_2)d_2(v_2)]^2\\&\le \frac{1}{4} \sum _{(u_1,v_1)(u_2,v_2)\in E}^{} [\{\sigma _1^2(u_1)d_1^2(u_1) + \sigma _1^2(u_2)d_1^2(u_2)\} \\&\quad + \{\sigma _2^2(v_1)d_2^2(v_1) + \sigma _2^2(v_2)d_2^2(v_2)\} \\&\quad + 2 \{\sigma _1(u_1)d_1(u_1) + \sigma _1(u_2)d_1(u_2)\}\\&\quad \{\sigma _2(v_1)d_2(v_1) + \sigma _2(v_2)d_2(v_2)\}]\\&\le \frac{1}{4} [m_2EFI(G_1) + m_1EFI(G_2) + 2ZF_1^*(G_1)ZF_1^*(G_2)]. \end{aligned}$$
Theorem 14
\(EFI(G_1 \bullet G_2) \le 2m_2ZF_1(G_1) + m_2EFI(G_1) + 4(m_1+n_1) EFI(G_2) + 4n_1\varDelta _1ZF_1^*(G_2) + 4ZF_1^*(G_1) ZF_1^*(G_2)\).
Proof
As \(G_1 \bullet G_2\) is semi-strong product graph of \(G_1\) and \(G_2\), then, \(\sigma (u,v) = \sigma _1(u) \wedge \sigma _2(v)\) and
$$\begin{aligned}&\mu ((u_1,v_1)(u_2,v_2)) \\&\quad = {\left\{ \begin{array}{ll} \mu _1(u_1u_2) \wedge \mu _2 (v_1v_2) &{}\text { if } u_1u_2 \in E_1 \text { and } v_1v_2 \in E_2\\ \sigma _1(u) \wedge \mu _2 (v_1v_2) &{}\text { if } u_1 = u_2 = u \in V_1 \text { and }\\ &{} v_1v_2 \in E_2. \end{array}\right. } \end{aligned}$$
Hence,
$$\begin{aligned} d (u,v)&= \sum _{uu_1 \in E_1, vv_1 \in E_2}^{} \mu ((u,v)(u_1,v_1)) \\&\quad + \sum _{vv_1 \in E_2}^{} \mu ((u,v)(u,v_1)) \\&= \sum _{uu_1 \in E_1, vv_1 \in E_2}^{} \mu _1(uu_1) \wedge \mu _2 (vv_1) \\&\quad + \sum _{vv_1 \in E_2}^{} \sigma _1(u) \wedge \mu _2 (vv_1) \\&\le \sum _{uu_1 \in E_1}^{} \mu _1(uu_1) + \sum _{vv_1 \in E_2}^{} \mu _2 (vv_1) \\&\quad + \sum _{vv_1 \in E_2}^{} \mu _2 (vv_1)\\&= d_1(u) + 2d_2(v). \end{aligned}$$
Therefore, the edge F-index for \(G_1 \bullet G_2\) is:
$$\begin{aligned}&EFI(G_1 \bullet G_2)\\&\quad = \sum _{(u_1,v_1)(u_2,v_2)\in E}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 \\&\qquad + [\sigma (u_2,v_2)d(u_2,v_2)]^2\\&\quad = \underbrace{\sum _{u_1u_2\in E_1, v_1v_2\in E_2}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 + [\sigma (u_2,v_2)d(u_2,v_2)]^2}_{K_1} \\&\qquad + \underbrace{\sum _{u\in V_1, v_1v_2\in E_2}^{} [\sigma (u,v_1)d(u,v_1)]^2 + [\sigma (u,v_2)d(u,v_2)]^2}_{K_2}.\\&\text { Now, } K_1\\&\quad = \sum _{u_1u_2\in E_1, v_1v_2\in E_2}^{} [\sigma (u_1,v_1)d(u_1,v_1)]^2 \\&\qquad + [\sigma (u_2,v_2)d(u_2,v_2)]^2\\&\quad \le \sum _{u_1u_2\in E_1, v_1v_2\in E_2}^{} [\sigma _1(u_1)d_1(u_1) + 2 \sigma _2(v_1)d_2(v_1)]^2 \\&\qquad + [\sigma _1(u_2)d_1(u_2) + 2 \sigma _2(v_2)d_2(v_2)]^2\\&\quad = \sum _{u_1u_2\in E_1, v_1v_2\in E_2}^{} [\{\sigma _1^2(u_1)d_1^2(u_1) + \sigma _1^2(u_2)d_1^2(u_2)\} \\&\qquad + 4 \{\sigma _2^2(v_1)d_2^2(v_1) + \sigma _2^2(v_2)d_2^2(v_2)\}\\&\qquad + 4 \{\sigma _1(u_1)d_1(u_1) + \sigma _1(u_2)d_1(u_2)\}\{\sigma _2(v_1)d_2(v_1) \\&\qquad + \sigma _2(v_2)d_2(v_2)\}]\\&\quad \le m_2EFI(G_1) + 4m_1EFI(G_2) + 4ZF_1^*(G_1)ZF_1^*(G_2). \\&\text { Again, } K_2\\&\quad = \sum _{u\in V_1, v_1v_2\in E_2}^{} [\sigma (u,v_1)d(u,v_1)]^2 \\&\qquad + [\sigma (u,v_2)d(u,v_2)]^2\\&\quad \le \sum _{u\in V_1, v_1v_2\in E_2}^{} [\sigma _1(u)d_1(u) + 2 \sigma _2(v_1)d_2(v_1)]^2 \\&\qquad + [\sigma _1(u)d_1(u) + 2 \sigma _2(v_2)d_2(v_2)]^2\\&\le \sum _{u\in V_1, v_1v_2\in E_2}^{} [2\sigma _1^2(u)d_1^2(u) + 4 \{\sigma _2^2(v_1)d_2^2(v_1)\\&\qquad + \sigma _2^2(v_2)d_2^2(v_2)\}\\&\qquad + 4 \sigma _1(u)d_1(u) \{\sigma _2(v_1)d_2(v_1) + \sigma _2(v_2)d_2(v_2)\}]\\&\quad \le 2m_2ZF_1(G_1) + 4n_1EFI(G_2) \\&\qquad + 4n_1\varDelta _1 FZ_1^*(G_2). \end{aligned}$$
Hence, The result follows.

Application of edge F-index in mathematical chemistry

To study the fruitfulness of a TI, we have to correlate this index with at least one physico-chemical characteristic of a chemical compound. Due to the International Academy of Mathematical Chemistry instruction, we studied regression analysis of that index with physico-chemical properties of chemical compounds. As octane isomers and alkanes are a large, diverse group for the preliminary testing of indices, they are helpful for such a type of investigation. We construct a fuzzy graph for these chemical compounds, where each carbon atom represents a vertex and the bond between two carbon atoms represents an edge. The formula defines the MV of vertices and edges are defined as
$$\begin{aligned} \sigma (v)&= \frac{\hbox { Atomic energy of}\ v}{\text {Maximum atomic energy among all vertices}}\\ \mu (uv)&= \frac{\hbox { Bond energy of the edge}\ uv}{\vee \{\sigma (u), \sigma (v)\}}. \end{aligned}$$
Note that the atomic energy of Carbon is 1086.5 kj/mol and the bond energy of C-C is 345 kj/mol. Hence, \( \sigma (C) = 1.00\) and \(\mu (C-C) = 0.32\). This index is studied to model some physico-chemical properties of octane isomers and alkanes.

QSPR analysis of edge F-index for octane isomers

Here 18 octane isomers are considered. For octane isomers, the below six properties are considered:
(i)
Heat capacity (HC) This is a physical property of a substance, which is the quantity of heat supplied to a body for a single change of its temperature. Here we have considered the heat capacity of octane isomers at a fixed pressure.
 
(ii)
Enthalpy of vaporization (EV) This is the amount of enthalpy that must be added to a liquid to convert an amount of matter into a gas. The enthalpy of evaporation is a function of pressure where that transformation takes place.
 
(iii)
Standard enthalpy of vaporization (SEV) This is the quantity of heat required to evaporate one unit of a liquid at a constant temperature.
 
(iv)
Entropy (E) Entropy is a measure of how much energy is spread between atoms and molecules in a process and can be defined in terms of the statistical potential of a system or in terms of other thermodynamic quantities.
 
(v)
Acentric factor (AF) This is a conceptual number introduced by Pitzer Kenneth in 1955, which proved to be very effective in describing matter. It has become a standard for the phase properties of single and pure components.
 
(vi)
Heat of vaporization (HV) Here, we have considered the heat of vaporization of octane isomers at a fixed temperature (25 \(^{\circ }\)C).
 
Table 1
The value of some properties and edge F-index for octane isomers
Octane isomers
HC
EV
SEV
HV
AF
E
EFI
n-octane
24.64
73.19
9.915
41.48
0.397898
111.67
5.12
2-Methyl heptane
24.8
70.3
9.484
39.68
0.377916
109.84
6.3488
3-Methyl heptane
25.6
70.91
9.521
39.83
0.371002
111.26
6.3488
4-Methyl heptane
25.6
70.91
9.483
39.69
0.371504
109.32
6.3488
3-Ethyl hexane
25.74
71.7
9.476
39.4
0.362472
109.43
6.3488
2,2-Dimethyl hexane
25.6
67.7
8.915
37.29
0.339426
103.42
9.4208
2,3-Dimethyl hexane
26.6
70.2
9.272
38.79
0.348247
108.02
7.5776
2,4-Dimethyl hexane
25.8
68.5
9.029
37.76
0.344223
106.98
7.5776
2,5-Dimethyl hexane
25
68.6
9.051
37.86
0.35683
105.72
7.5776
3,3-Dimethyl hexane
27.2
68.5
8.973
37.93
0.322569
104.74
9.4208
3,4-Dimethyl hexane
27.4
70.2
9.316
39.02
0.340345
106.59
7.5776
2-Methyl-3-ethyl pentane
27.4
69.7
9.209
38.52
0.332433
106.06
7.5776
3-Methyl-3-ethyl pentane
28
69.3
9.081
37.99
0.306899
101.48
9.4208
2,2,3-Trimethyl pentane
28.2
67.3
8.826
36.91
0.300816
101.31
10.6496
2,2,4-Trimethyl pentane
25.5
64.87
8.402
35.13
0.30537
104.09
10.6496
2,3,3-Trimethyl pentane
29
68.1
8.897
37.22
0.293177
102.06
9.9328
2,3,4-Trimethyl pentane
27.6
68.37
9.014
37.61
0.317422
102.39
8.8064
2,2,3,3-Tetramethyl butane
 
66.2
8.41
 
0.255294
93.06
13.7216
The values of these properties for octane isomers are taken from http://​www.​moleculardescrip​tors.​eu and listed in Table 1. Also, the value of the edge F-index for octane isomers is listed in Table 1. Now the regression (linear, quadratic, cubic, exponential, logarithmic, power) analysis is studied below:
(i)
Heat capacity (HC)
$$\begin{aligned}&\text {Linear: } HC = 0.4933(EFI) + 22.485, |R| = 0.6247,\\&\text {Quadratic: } HC = -0.1144(EFI)^2 + 2.3471(EFI) \\&\quad + 15.272, |R|= 0.6630,\\&\text {Cubic: } HC = -0.0439(EFI)^3 + 0.9325(EFI)^2\\&\quad - 5.7446(EFI) + 35.542, |R| = 0.6780,\\&\text {Exponential: } HC = 22.763 e^{0.0185(EFI)}, |R| = 0.6214,\\&\text {Logarithmic: } HC = 3.9782ln(EFI) + 18.242,\\&|R| = 0.6420,\\&\text {Power: } HC = 19.398(EFI)^{0.1497}, |R| = 0.6399. \end{aligned}$$
 
Remark 1
As \(0.62 \le |R| \le 0.68\), this index may be applied to determine the heat capacity of octane isomers. As \(|R| \le 0.70\), we do not prefer to use this index to determine the heat capacity of octane isomers.
(ii)
Enthalpy of vaporization (EV)
$$\begin{aligned}&\text {Linear: } EV = -0.8458(EFI) + 76.231, |R| = 0.8768,\\&\text {Quadratic: } EV = 0.0874(EFI)^2 - 2.4428 (EFI) \\&\quad + 83.112, |R|= 0.9119,\\&\text {Cubic: } EV = -0.0001(EFI)^3 + 0.0905(EFI)^2\\&\quad - 2.4707 (EFI) + 83.192, |R| = 0.9119,\\&\text {Exponential: } EV = 76.594 e^{-0.012(EFI)}, |R| = 0.8810,\\&\text {Logarithmic: } EV = -7.502ln(EFI) + 84.876,\\&|R| = 0.9044,\\&\text {Power: } EV = 86.777(EFI)^{0.109}, |R| = 0.9061. \end{aligned}$$
 
Remark 2
As \(0.87 \le |R| \le 0.92,\) this index is applicable to determine the enthalpy of vaporization of octane isomers. For quadratic, cubic, logarithmic and power regressions, \(|R| \ge 0.90,\) implies these models are highly preferable to determine the enthalpy of vaporization of octane isomers.
(iii)
Standard enthalpy of vaporization (SEV)
$$\begin{aligned}&\text {Linear: } SEV = -0.1695(EFI) + 10.543,\\&|R| = 0.9288,\\&\text {Quadratic: } SEV = 0.0124(EFI)^2 - 0.3969 (EFI) \\&\quad + 11.522, |R|= 0.9477,\\&\text {Cubic: } SEV = -0.0019(EFI)^3 + 0.0659(EFI)^2 \\&\quad - 0.8793 (EFI) + 12.905, |R| = 0.9499,\\&\text {Exponential: } SEV = 10.66 e^{-0.019(EFI)}, |R| = 0.9333,\\&\text {Logarithmic: } SEV = -1.488ln(EFI) + 12.243,\\&|R| = 0.9483,\\&\text {Power: } SEV = 12.843(EFI)^{0.163}, |R| = 0.9496. \end{aligned}$$
 
Remark 3
As \(0.92 \le |R| \le 0.95,\) this index is applicable to determine the SEV of octane isomers. As \(|R| \ge 0.90,\) implies these models are highly preferable to determine the SEV of octane isomers.
(iv)
Entropy (E)
$$\begin{aligned}&\text {Linear: } E = -2.054(EFI) + 122.58, |R| = 0.9551,\\&\text {Quadratic: } E = -0.0287(EFI)^2 - 1.5287 (EFI) \\&\quad + 120.32, |R|= 0.9558,\\&\text {Cubic: } E = -0.034(EFI)^3 + 0.9383(EFI)^2 \\&\quad - 10.261 (EFI) + 145.34, |R| = 0.9610,\\&\text {Exponential: } E = 124.37 e^{-0.02(EFI)}, |R| = 0.9538,\\&\text {Logarithmic: } E = -17.4ln(EFI) + 141.86,\\&|R| = 0.9410,\\&\text {Power: } E = 194.65(EFI)^{0.168}, |R| = 0.9367. \end{aligned}$$
 
Remark 4
As \(0.93 \le |R| \le 0.97,\) this index is applicable to determine the entropy of octane isomers. As \(|R| \ge 0.90,\) implies these models are highly preferable to determine the entropy of octane isomers.
(v)
Acentric factor (AF)
$$\begin{aligned}&\text {Linear: } AF = -0.0162(EFI) + 0.4709, |R| = 0.9584,\\&\text {Quadratic: } AF = 0.0006(EFI)^2 - 0.0266 (EFI) \\&\quad + 0.5159, |R|= 0.9630,\\&\text {Cubic: } AF = -0.0002(EFI)^3 + 0.0051(EFI)^2 \\ {}&\quad - 0.0674 (EFI) + 0.6329, |R| = 0.9648,\\&\text {Exponential: } AF = 0.507 e^{-0.05(EFI)}, |R| = 0.9627,\\&\text {Logarithmic: } AF = -0.14ln(EFI) + 0.6285,\\&|R| = 0.9630,\\&\text {Power: } AF = 0.8168(EFI)^{0.427}, |R| = 0.9586. \end{aligned}$$
 
Remark 5
As \(0.95 \le |R| \le 0.97,\) this index is applicable to determine the AF of octane isomers. As \(|R| \ge 0.90,\) implies these models are highly preferable to determine the acentric factor of octane isomers.
(vi)
Heat of vaporization (HV):
$$\begin{aligned}&\text {Linear: } HV = -0.7947(EFI) + 44.749, |R| = 0.9156,\\&\text {Quadratic: } HV = 0.0583(EFI)^2 - 1.7393 (EFI) \\&\quad + 48.424, |R|= 0.9214,\\&\text {Cubic: } HV = -0.0694(EFI)^3 + 1.7111 (EFI)^2 \\&\quad - 14.514 (EFI) + 80.427, |R| = 0.9437,\\&\text {Exponential: } HV = 45.283 e^{-0.021(EFI)}, |R| = 0.9172,\\&\text {Logarithmic: } HV = -6.294 ln(EFI) + 51.346,\\&|R| = 0.9241,\\&\text {Power: } HV = 53.737(EFI)^{-0.164}, |R| = 0.9247. \end{aligned}$$
 
Remark 6
As \(0.91 \le |R| \le 0.95,\) this index is applicable to determine the heat of vaporization of octane isomers. As \(|R| \ge 0.90,\) implies these models are highly preferable to determine the HV of octane isomers.
The correlations of this index with different properties of octane isomers are depicted in Figs. 2, 3, 4, 5, 6 and 7. Edge F-index is highly correlated with EV, SEV, entropy, acentric factor and heat of vaporization and less correlated with heat capacity for octane isomers.

QSPR analysis of edge F-index for alkanes

Here 67 alkanes are considered. For alkanes, the below properties are considered:
(i)
Melting point (MP) This is the temperature at which a substance changes from solid to liquid.
 
(ii)
Surface tension (ST) This is the tendency of the resting liquid surfaces to shrink to the lowest possible surface area. Here we have considered the surface tensions of alkanes at a fixed temperature (20 \(^{\circ }\)C).
 
(iii)
Critical pressure (CP) Critical pressure of a substance is the stress associated with the CP of a substance. The CP of a substance can be defined as the point on the scale of temperature and pressure where a liquid can coexist with its vapour.
 
(iv)
Critical temperature (CT) The critical temperature is the maximum temperature where a substance can exist as a liquid.
 
(v)
Heat of vaporization (HV) Here, we have considered the heat of vaporization of alkanes at a fixed temperature (25 \(^{\circ }\)C).
 
(vi)
Molar refraction (MR) It is a measure of the total polarization of a mole of a substance and depends on its temperature, refractive index and pressure. Here we have considered the molar refraction of alkanes at a fixed temperature (20 \(^{\circ }\)C).
 
(vii)
Molar volume (MV) This is equal to the molar mass per unit mass density. Here we have considered the molar volume of alkanes at a fixed temperature (20 \(^{\circ }\)C).
 
(viii)
Boiling point (BP) It is the temperature where the vapor pressure of a liquid is equal to the pressure surrounding the liquid and the liquid is converted to vapor.
 
The values of these properties for alkanes are taken from http://​www.​moleculardescrip​tors.​eu and https://​pubchem.​ncbi.​nlm.​nih.​gov and listed in Table 2. Also, the value of edge F-index for alkanes are listed in Table 2. Now the regression (linear, quadratic, cubic, exponential, logarithmic, power) analysis is studied below:
(i)
Melting point (MP)
$$\begin{aligned}&\text {Linear: } MP = 2.3613(EFI) -127.86, |R| = 0.2518,\\&\text {Quadratic: } MP = -0.2081(EFI)^2 + 5.7461(EFI) \\&\quad - 139.92, |R| = 0.2651,\\&\text {Cubic: } MP = 0.1493(EFI)^3 - 3.938(EFI)^2 \\&\quad + 33.484(EFI) - 198.87, |R| = 0.3438,\\&\text {Logarithmic: } MP = 17.892ln(EFI) - 144.8,\\&|R| = 0.2814. \end{aligned}$$
 
Remark 7
As \(|R| \le 0.30,\) this index is inadequate to determine the melting point of alkanes.
(ii)
Surface tension (ST)
$$\begin{aligned}&\text {Linear: } ST = 0.4069(EFI) + 17.579, |R| = 0.5152,\\&\text {Quadratic: } ST = - 0.0647 (EFI)^2 + 1.5064 (EFI) \\&\quad - 13.297, |R| = 0.5896,\\&\text {Cubic: } ST = 0.0081(EFI)^3 - 0.2772 (EFI)^2 \\&\quad + 3.2164 (EFI) + 9.1642, |R| = 0.6024,\\&\text {Exponential: } ST = 17.575e^{0.0206(EFI)}, |R| = 0.5046,\\&\text {Logarithmic: } ST = 3.3939ln(EFI) + 13.938,\\&\quad |R| = 0.5731,\\&\text {Power: } ST = 14.574(EFI)^{0.1734}, |R| = 0.5647. \end{aligned}$$
 
Remark 8
As \(0.50 \le |R| \le 0.61,\) this index may be applied to determine the surface tension of alkanes. As \(|R| \le 0.70\), we do not prefer to use this index to determine the surface tension of alkanes.
(iii)
Critical pressure (CP)
$$\begin{aligned}&\text {Linear: } CP = -0.6071(EFI) + 31.551 , |R| = 0.5114 ,\\&\text {Quadratic: } CP = 0.1439 (EFI)^2 -2.9439 (EFI) \\&\quad + 40.052 , |R| = 0.6852 ,\\&\text {Cubic: } CP = -0.0187 (EFI)^3 + 0.611 (EFI)^2 \\&\quad -6.4379 (EFI) + 47.568 , |R| = 0.7192 ,\\&\text {Exponential: } CP = 31.301e^{-0.021(EFI)}, |R| = 0.5289,\\&\text {Logarithmic: } CP = -5.092 ln(EFI) +36.961 ,\\&|R| = 0.6294 ,\\&\text {Power: } CP = 37.576(EFI)^{ -0.173}, |R| = 0.6462 . \end{aligned}$$
 
Remark 9
As \(0.51 \le |R| \le 0.72,\) this index may be applied to determine the ST of alkanes. For cubic regression, \(|R| \ge 0.70,\) implies this model is preferable to determine the ST of alkanes.
(iv)
Critical temperature (CT)
$$\begin{aligned}&\text {Linear: } CT = 11.816(EFI) + 190.78 , |R| = 0.6812 ,\\&\text {Quadratic: } CT = -1.5366 (EFI)^2 +36.763 (EFI) \\&\quad + 100.03 , |R| = 0.7583,\\&\text {Cubic: } CT = 0.1245(EFI)^3 -4.646 (EFI)^2\\&\quad + 60.025(EFI) + 49.989 , |R| = 0.7648,\\&\text {Exponential: } CT = 191.68e^{0.0477(EFI)}, |R| = 0.6488,\\&\text {Logarithmic: } CT = 88.647ln(EFI) +106.69,\\&\quad |R| = 0.7499 ,\\&{\textbf {Power: }} CT = 134.18(EFI)^{ 0.3662}, |R| = 0.7304. \end{aligned}$$
 
Remark 10
As \(0.64 \le |R| \le 0.77,\) this index may be applied to determine the critical temperature of alkanes. For quadratic, cubic and logarithmic regressions, \(|R| \ge 0.70,\) implies these models are preferable to determine the critical temperature of alkanes.
(v)
Heat of vaporization (HV)
$$\begin{aligned}&\text {Linear: } HV = 0.979(EFI) + 30.66, |R| = 0.4458,\\&\text {Quadratic: } HV = -0.2051(EFI)^2 + 4.4695(EFI) \\&\quad + 17.061, |R| = 0.5525,\\&\text {Cubic: } HV = 0.0152(EFI)^3 -0.6044(EFI)^2\\&\quad +7.6803(EFI) +9.295, |R| = 0.5589,\\&\text {Exponential: } HV = 30.225e^{ 0.0287(EFI)}, |R| = 0.4287,\\&\text {Logarithmic: } HV = 8.4234ln(EFI) + 21.376,\\&|R| = 0.5109,\\&\text {Power: } HV = 23.058(EFI)^{0.2463}, |R| = 0.4969. \end{aligned}$$
 
Remark 11
As \( |R| \le 0.5\) for linear, exponential and power regressions, these models are inadequate to determine the heat of vaporization of alkanes. As \(0.50 \le |R| \le 0.56\) for quadratic, cubic and logarithm regressions, these models may use to determine the heat of vaporization of alkanes. But, as \( |R| \le 0.7\), we do not prefer to use this index to determine the surface tension of alkanes.
(vi)
Molar refraction (MR)
$$\begin{aligned}&\text {Linear: } MR = 1.3995(EFI)+ 27.816, |R| =0.6528 ,\\&\text {Quadratic: } MR = -0.1931(EFI)^2 + 4.6847(EFI) \\&\quad +15.016, |R| = 0.7248,\\&\text {Cubic: } MR = 0.0154(EFI)^3 -0.5974(EFI)^2\\&\quad +7.9358(EFI) +7.1531, |R| = 0.7300,\\&\text {Exponential: } MR = 28.234e^{ 0.039(EFI)}, |R| = 0.6298,\\&\text {Logarithmic: } MR = 11.418ln(EFI) +15.829,\\&\quad |R| =0.7096,\\&{\textbf {Power: }} MR = 20.067(EFI)^{0.3219}, |R| = 0.6950. \end{aligned}$$
 
Remark 12
As \(0.62 \le |R| \le 0.73,\) this index may applicable to determine the molar refraction of alkanes. For quadratic, cubic and logarithmic regressions, \(|R| \ge 0.70,\) implies these models are preferable to determine the molar refraction of alkanes.
Table 2
The value of some properties and edge F-index for alkanes
Alkanes
MP
ST
CP
HV
MR
MV
BP
EFI
Butane
\(-\)138.35
 
37.47
   
\(-\)0.05
1.8432
2-Methyl propane
\(-\)159.6
 
36
   
\(-\)11.73
3.072
Pentane
\(-\)129.72
16
33.31
26.42
25.2656
115.205
36.074
2.6624
2-Methyl butane
\(-\)159.9
15
32.9
24.59
25.2923
116.426
27.852
3.8912
2,2-Dimethyl propane
\(-\)16.55
 
31.57
21.78
25.7243
112.074
9.503
6.9632
Hexane
\(-\)95.35
18.42
29.92
31.55
29.9066
130.688
68.74
3.4816
2-Methyl pentane
\(-\)153.67
17.38
29.95
29.86
29.945
131.933
60.271
4.7104
3-Methyl pentane
\(-118\)
18.12
30.83
30.27
29.8016
129.717
63.282
4.7104
2,2-Methyl butane
\(-\)99.87
16.3
30.67
27.69
29.9347
132.744
4.741
7.7824
2,3-Dimethyl butane
\(-\)128.54
17.37
30.99
29.12
29.8104
130.24
57.988
5.9392
Heptane
\(-\)90.61
20.26
27.01
36.55
34.5504
146.54
98.427
4.3008
2-Methyl hexane
\(-\)118.28
19.29
27.2
34.8
34.5908
147.656
90.052
5.5296
3-Methyl hexane
\(-\)119.4
19.79
28.1
35.08
34.4597
145.821
91.85
5.5296
3-Ethyl pentane
\(-\)118.6
20.44
28.6
35.22
34.2827
143.517
93.475
5.5296
2,2-Dimethyl pentane
\(-\)123.81
18.02
28.4
32.43
34.6166
148.695
79.197
8.6016
2,3-Dimethyl pentane
\(-\)119.1
19.96
29.2
34.24
34.3237
144.153
89.784
6.7584
2,4-Dimethyl pentane
\(-\)119.24
18.15
27.4
32.88
34.6192
148.949
80.5
6.7584
3,3-Dimethyl pentane
\(-\)134.46
19.59
30
33.02
34.3323
144.53
86.064
8.6016
n-Octane
\(-\)56.79
21.76
24.64
41.48
39.1922
162.592
125.665
5.12
2-Methyl heptane
\(-\)109.04
20.6
24.8
39.68
39.2316
163.663
117.647
6.3488
3-Methyl heptane
\(-\)120.5
21.17
25.6
39.83
39.1001
161.832
118.925
6.3488
4-Methyl heptane
\(-\)120.95
21
25.6
39.67
39.1174
162.105
117.709
6.3488
3-Ethyl hexane
 
21.51
25.74
39.4
38.94
160.07
118.53
6.3488
2,2-Dimethyl hexane
\(-\)121.18
19.6
25.6
37.29
39.25
164.28
10.84
9.4208
2,3-Dimethyl hexane
 
20.99
26.6
38.79
38.98
160.39
115.607
7.5776
2,4-Dimethyl hexane
\(-\)137.5
20.05
25.8
37.76
39.13
163.09
109.42
7.5776
2,5-Dimethyl hexane
\(-\)91.2
19.73
25
37.86
39.25
164.69
109.1
7.5776
3,3-Dimethyl hexane
\(-\)126.1
20.63
27.2
37.93
39
160.87
111.96
9.4208
3,4-Dimethyl hexane
 
21.64
27.4
39.02
38.84
158.81
117.72
7.5776
2-Methyl-3-ethyl pentane
\(-\)114.96
21.52
27.4
38.52
38.83
158.79
115.65
7.5776
3-Methyl-3-ethyl pentane
\(-\)90.87
21.99
28
37.99
38.71
157.02
118.25
9.4208
2,2,3-Trimethyl pentane
\(-\)112.27
20.67
28.2
36.91
38.92
159.52
109.84
10.6496
2,2,4-Trimethyl pentane
\(-\)107.38
18.77
25.5
35.13
39.26
165.08
99.23
10.6496
2,3,3-Trimethyl pentane
\(-\)100.7
21.56
29
37.22
38.76
157.29
114.76
9.9328
2,3,4-Trimethyl pentane
\(-\)109.21
21.14
27.6
37.61
38.86
158.85
113.46
8.8064
Nonane
\(-\)53.52
22.92
22.74
46.44
43.84
178.71
150.76
5.9392
2-Methyl octane
\(-\)80.4
21.88
23.6
44.65
43.87
179.77
143.26
7.168
3-Methyl octane
\(-\)107.64
22.34
23.7
44.75
43.72
177.5
144.18
7.168
4-Methyl octane
\(-\)113.2
22.34
23.06
44.75
43.76
178.15
142.48
7.168
3-Ethyl heptane
\(-\)114.9
22.81
23.98
44.81
43.64
176.41
143
7.168
4-Ethyl heptane
 
22.81
23.98
44.81
43.69
175.68
141.2
7.168
2,2-Dimethyl heptane
-113
20.8
22.8
42.28
43.91
180.5
132.69
10.24
2,3-Dimethyl heptane
-116
22.34
23.79
43.79
43.63
176.65
140.5
8.3968
2,4-Dimethyl heptane
 
23.3
22.7
42.87
43.73
179.12
133.5
8.3968
2,5-Dimethyl heptane
 
21.3
22.7
43.87
43.84
179.37
136
8.3968
2,6-Dimethyl heptane
\(-\)102.9
20.83
23.7
42.82
43.92
180.91
135.21
8.3968
3,3-Dimethyl heptane
 
22.01
24.19
42.66
43.687
176.897
137.3
10.24
3,4-Dimethyl heptane
 
22.8
24.77
43.84
43.5473
175.349
140.6
8.3968
3,5-Dimethyl heptane
 
21.77
23.59
42.98
43.6379
177.386
136
8.3968
4,4-Dimethyl heptane
 
22.01
24.18
42.66
43.6022
176.897
135.2
10.24
3-Ethyl-2-methyl hexane
 
22.8
24.77
43.84
43.655
175.445
138
8.3968
4-Ethyl-2-methyl hexane
 
21.77
25.56
42.98
43.6472
177.386
133.8
8.3968
3-Ethyl-3-methyl hexane
 
23.22
25.66
44.04
43.268
173.077
140.6
10.24
2,2,4-Trimethyl hexane
\(-120\)
20.51
23.39
40.57
43.7638
179.22
126.54
10.1376
2,2,5-Trimethyl hexane
\(-\)105.78
20.04
22.41
40.17
43.9356
181.346
124.084
11.4688
2,3,3-Trimethyl hexane
\(-\)116.8
22.41
25.56
42.23
43.4347
173.78
137.68
11.4688
2,3,4-Trimethyl hexane
 
22.8
25.46
42.93
43.4917
173.498
139
9.6256
2,3,5-Trimethyl hexane
\(-\)127.8
21.27
23.49
41.42
43.6474
177.656
131.34
9.6256
3,3,4-Trimethyl hexane
\(-\)101.2
23.27
26.45
42.28
43.3407
172.055
140.46
10.4448
3,3-Diethyl pentane
\(-\)33.11
23.75
26.94
43.36
43.1134
170.185
146.168
10.24
2,2-Dimethyl-3-ethyl pentane
\(-\)99.2
22.38
25.96
42.02
43.4571
174.537
133.83
10.1376
2,3-Dimethyl-3-ethyl pentane
 
23.87
26.94
42.55
42.9542
170.093
142
11.4688
2,4-Dimethyl-3-ethyl pentane
\(-\)122.2
22.8
25.46
42.93
43.4037
173.804
136.73
9.6256
2,2,3,3-Tetramethyl pentane
\(-99\)
23.38
27.04
41
43.2147
169.495
140.274
14.5408
2,2,3,4-Tetramethyl pentane
\(-121.09\)
21.8
25.66
41
43.4359
173.557
133.016
12.6976
2,2,4,4-Tetramethyl pentane
\(-\)66.54
20.37
24.58
38.1
43.8747
178.256
122.284
14.5408
2,3,3,4-Tetramethyl pentane
\(-\)102.12
23.31
26.85
41.75
43.2016
169.928
141.551
12.6976
(vii)
Molar volume (MV)
$$\begin{aligned}&\text {Linear: } MV = 4.4036(EFI) +125.77, |R| = 0.6113,\\&\text {Quadratic: } MV = -0.6906(EFI)^2 + 16.155 (EFI) \\&\quad + 79.989 , |R| = 0.6973,\\&\text {Cubic: } MV = 0.0543(EFI)^3 -2.1156(EFI)^2\\&\quad +27.613(EFI) +52.275, |R| = 0.7033,\\&\text {Exponential: } MV = 126.39e^{ 0.0294(EFI)}, |R| = 0.5934,\\&\text {Logarithmic: } MV = 36.431ln(EFI) +87.019,\\&\quad |R| = 0.6739,\\&\text {Power: } MV = 97.299(EFI)^{0.2445}, |R| = 0.6615. \end{aligned}$$
 
Remark 13
As \(0.59 \le |R| \le 0.71,\) this index may be applied to determine the molar volume of alkanes. For cubic regression, \(|R| \ge 0.70,\) implies this model is preferable to determine the molar volume of alkanes.
(viii)
Boiling point (BP)
$$\begin{aligned}&\text {Linear: } BP = 8.9325(EFI) + 38.333, |R| =0.6290 ,\\&\text {Quadratic: } BP = -1.3837(EFI)^2 +31.397(EFI) \\&\quad -43.39, |R| = 0.7280,\\&\text {Cubic: } BP = 0.1307(EFI)^3 -4.6497(EFI)^2\\&\quad +55.83(EFI) -95.947, |R| = 0.7391 ,\\&\text {Logarithmic: } BP = 68.744ln(EFI)-28.744,\\&|R| = 0.7104. \end{aligned}$$
 
Remark 14
As \(0.62 \le |R| \le 0.74,\) this index may be applied to determine the boiling point of alkanes. For quadratic, cubic and logarithmic regressions, \(|R| \ge 0.70,\) implies these models are preferable to determine the boiling point of alkanes.
Hence edge F-index is correlated with critical pressure, critical temperature, molar refraction, molar volume and boiling point and is less correlated with surface tension and heat of vaporization for alkanes. Also, this index is inadequate to determine the melting point of alkanes.

Conclusion

The molecular descriptors are a very much useful tool in mathematical chemistry. The edge F-index is proposed for FGs here. Bounds of this index are calculated for fuzzy graphs. The maximal FG has been investigated concerning this index for a given set of vertices. Some relations of this index with the second Zagreb index and hyper-Zagreb index are established. For an isomorphic FGs, it is shown that the value of this index is the same. Bounds of this index for some FG operations are determined. Also, an application of the index in mathematical chemistry is studied. For this, 18 octane isomers and 67 alkanes are considered and analyzed the correlation between this index with some properties of the octane isomers and alkanes. From the correlation coefficient value, we obtained this index is highly correlated with EV, SEV, E, AF and heat of vaporization and less correlated with heat capacity for octane isomers. Also, this index is correlated with critical pressure, critical temperature, molar refraction, molar volume and boiling point and is less correlated with surface tension and heat of vaporization for alkanes. But, this index is inadequate to determine the melting point of alkanes. Also, there are many problems related to this index on FGs which are unsolved till now. Some of the problems are:
(i)
Find the minimal n-vertex FG concerning this index.
 
(ii)
Find the maximal n-vertex tree (fuzzy) concerning this index.
 
(iii)
Find the minimal n-vertex tree (fuzzy) concerning this index.
 

Acknowledgements

The first author is thankful to University Grant Commission (UGC) Govt. of India for financial support under UGC-Ref. No.: 1144/ (CSIR-UGC NET JUNE 2017) dated 26/12/2018.

Declarations

Conflict of interest

No potential conflict of interest was reported by the authors.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.
Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://​creativecommons.​org/​licenses/​by/​4.​0/​.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Literature
1.
go back to reference Binu M, Mathew S, Mordeson JN (2019) Connectivity index of a fuzzy graph and its application to human trafficking. Fuzzy Sets Syst 360:117–136MathSciNetCrossRefMATH Binu M, Mathew S, Mordeson JN (2019) Connectivity index of a fuzzy graph and its application to human trafficking. Fuzzy Sets Syst 360:117–136MathSciNetCrossRefMATH
2.
go back to reference Binu M, Mathew S, Mordeson JN (2020) Wiener index of a fuzzy graph and application to illegal immigration networks. Fuzzy Sets Syst 384:132–147MathSciNetCrossRefMATH Binu M, Mathew S, Mordeson JN (2020) Wiener index of a fuzzy graph and application to illegal immigration networks. Fuzzy Sets Syst 384:132–147MathSciNetCrossRefMATH
4.
go back to reference Gutman I, Trinajstic N (1972) Graph theorem and molecular orbitals. Total \(\pi \)-electron energy of alternant hydrocarbons. Chem Phys Lett 17:535–538CrossRef Gutman I, Trinajstic N (1972) Graph theorem and molecular orbitals. Total \(\pi \)-electron energy of alternant hydrocarbons. Chem Phys Lett 17:535–538CrossRef
5.
go back to reference Islam SR, Pal M (2021) F-index for fuzzy graph with application. TWMS J Appl Eng Math (To appear) Islam SR, Pal M (2021) F-index for fuzzy graph with application. TWMS J Appl Eng Math (To appear)
6.
go back to reference Islam SR, Pal M (2021) Hyper-connectivity index for fuzzy graph with application. TWMS J Appl Eng Math (To appear) Islam SR, Pal M (2021) Hyper-connectivity index for fuzzy graph with application. TWMS J Appl Eng Math (To appear)
7.
go back to reference Islam SR, Pal M (2021) First Zagreb index on a fuzzy graph and its application. J Intell Fuzzy Syst 40(6):10575–10587CrossRef Islam SR, Pal M (2021) First Zagreb index on a fuzzy graph and its application. J Intell Fuzzy Syst 40(6):10575–10587CrossRef
8.
go back to reference Islam SR, Pal M (2021) Hyper-wiener index for fuzzy graph and its application in share market. J Intell Fuzzy Syst 41(1):2073–2083CrossRef Islam SR, Pal M (2021) Hyper-wiener index for fuzzy graph and its application in share market. J Intell Fuzzy Syst 41(1):2073–2083CrossRef
10.
go back to reference Islam SR, Maity S, Pal M (2020) Comment on “Wiener index of a fuzzy graph and application to illegal immigration networks’’. Fuzzy Sets Syst 384:148–151MathSciNetCrossRefMATH Islam SR, Maity S, Pal M (2020) Comment on “Wiener index of a fuzzy graph and application to illegal immigration networks’’. Fuzzy Sets Syst 384:148–151MathSciNetCrossRefMATH
12.
go back to reference Jafar MN, Khan MR, Sultan H, Ahmed N (2020) Interval valued fuzzy soft sets and algorithm of IVFSS applied to the risk analysis of prostate cancer. Int J Comput Appl 117(38):1–9 Jafar MN, Khan MR, Sultan H, Ahmed N (2020) Interval valued fuzzy soft sets and algorithm of IVFSS applied to the risk analysis of prostate cancer. Int J Comput Appl 117(38):1–9
13.
go back to reference Jafar MN, Farooq A, Javed K, Nawaz N (2020) Similarity measures of tangent, cotangent and cosines in neutrosophic environment and their application in selection of academic programs. Int J Comput Appl 177(46):17–24 Jafar MN, Farooq A, Javed K, Nawaz N (2020) Similarity measures of tangent, cotangent and cosines in neutrosophic environment and their application in selection of academic programs. Int J Comput Appl 177(46):17–24
14.
go back to reference Jafar MN, Saeed M, Saqlain M, Yang MS (2021) Trigonometric similarity measures for neutrosophic hypersoft sets with application to renewable energy source selection. IEEE Access 9:129178–129187CrossRef Jafar MN, Saeed M, Saqlain M, Yang MS (2021) Trigonometric similarity measures for neutrosophic hypersoft sets with application to renewable energy source selection. IEEE Access 9:129178–129187CrossRef
15.
go back to reference Jafar MN, Saeed M, Khan KM, Alamri FS, Khalifa HAEW (2022) Distance and similarity measures using Max-Min operators of neutrosophic hypersoft sets With application in site selection for solid waste management systems. IEEE Access 10:11220–11235CrossRef Jafar MN, Saeed M, Khan KM, Alamri FS, Khalifa HAEW (2022) Distance and similarity measures using Max-Min operators of neutrosophic hypersoft sets With application in site selection for solid waste management systems. IEEE Access 10:11220–11235CrossRef
16.
go back to reference Kalathian S, Ramalingam S, Raman S, Srinivasan N (2020) Some topological indices in fuzzy graphs. J Intell Fuzzy Syst 39(5):6033–6046CrossRef Kalathian S, Ramalingam S, Raman S, Srinivasan N (2020) Some topological indices in fuzzy graphs. J Intell Fuzzy Syst 39(5):6033–6046CrossRef
17.
go back to reference Kumar PS (2016) A simple method for solving type-2 and type-4 fuzzy transportation problems. Int J Fuzzy Log Intell Syst 16(4):225–237MathSciNetCrossRef Kumar PS (2016) A simple method for solving type-2 and type-4 fuzzy transportation problems. Int J Fuzzy Log Intell Syst 16(4):225–237MathSciNetCrossRef
18.
go back to reference Kumar PS (2017) PSK method for solving type-1 and type-3 fuzzy transportation problems. Fuzzy Syst Conc Methodol Tools Appl 1–3:367–393CrossRef Kumar PS (2017) PSK method for solving type-1 and type-3 fuzzy transportation problems. Fuzzy Syst Conc Methodol Tools Appl 1–3:367–393CrossRef
19.
go back to reference Kumar PS (2019) Intuitionistic fuzzy solid assignment problems: a software-based approach. Int J Syst Assur Eng Manag 10(4):661–675CrossRef Kumar PS (2019) Intuitionistic fuzzy solid assignment problems: a software-based approach. Int J Syst Assur Eng Manag 10(4):661–675CrossRef
20.
go back to reference Kumar PS (2020) Algorithms for solving the optimization problems using fuzzy and intuitionistic fuzzy set. Int J Syst Assur Eng Manag 11(1):189–222CrossRef Kumar PS (2020) Algorithms for solving the optimization problems using fuzzy and intuitionistic fuzzy set. Int J Syst Assur Eng Manag 11(1):189–222CrossRef
22.
go back to reference Kumar PS, Hussain RJ (2016) Computationally simple approach for solving fully intuitionistic fuzzy real life transportation problems. Int J Syst Assur Eng Manag 7(1):90–101CrossRef Kumar PS, Hussain RJ (2016) Computationally simple approach for solving fully intuitionistic fuzzy real life transportation problems. Int J Syst Assur Eng Manag 7(1):90–101CrossRef
23.
go back to reference Mahapatra R, Samanta S, Allahviranloo T, Pal M (2019) Radio fuzzy graphs and assignment of frequency in radio stations. Comput Appl Math 38(3):1–20MathSciNetCrossRefMATH Mahapatra R, Samanta S, Allahviranloo T, Pal M (2019) Radio fuzzy graphs and assignment of frequency in radio stations. Comput Appl Math 38(3):1–20MathSciNetCrossRefMATH
25.
go back to reference Mondal S, Dey A, De N, Pal A (2021) QSPR analysis of some novel neighbourhood degree-based topological descriptors. Complex Intell Syst 7:977–996CrossRef Mondal S, Dey A, De N, Pal A (2021) QSPR analysis of some novel neighbourhood degree-based topological descriptors. Complex Intell Syst 7:977–996CrossRef
27.
go back to reference Mordeson JN, Mathew S, Binu M (2019) Fuzzy indices with applications to human trafficking. New Math Natl Comput 15(3):411–425CrossRefMATH Mordeson JN, Mathew S, Binu M (2019) Fuzzy indices with applications to human trafficking. New Math Natl Comput 15(3):411–425CrossRefMATH
29.
go back to reference Poulik S, Ghorai G (2020) Certain indices of graphs under bipolar fuzzy environment with applications. Soft Comput 24:5119–5131CrossRefMATH Poulik S, Ghorai G (2020) Certain indices of graphs under bipolar fuzzy environment with applications. Soft Comput 24:5119–5131CrossRefMATH
30.
go back to reference Poulik S, Ghorai G (2021) Determination of journeys order based on graph’s Wiener absolute index with bipolar fuzzy information. Inform Sci 545:608–619 Poulik S, Ghorai G (2021) Determination of journeys order based on graph’s Wiener absolute index with bipolar fuzzy information. Inform Sci 545:608–619
32.
33.
go back to reference Rashmanlou H, Samanta S, Pal M, Borzooei RA (2015) Bipolar fuzzy graphs with categorical properties. Int J Comput Intell Syst 8(5):808–818CrossRefMATH Rashmanlou H, Samanta S, Pal M, Borzooei RA (2015) Bipolar fuzzy graphs with categorical properties. Int J Comput Intell Syst 8(5):808–818CrossRefMATH
34.
go back to reference Rashmanlou H, Samanta S, Pal M, Borzooei RA (2015) Intuitionistic fuzzy graphs with categorical properties. Fuzzy Inform Eng 7(3):317–334MathSciNetCrossRef Rashmanlou H, Samanta S, Pal M, Borzooei RA (2015) Intuitionistic fuzzy graphs with categorical properties. Fuzzy Inform Eng 7(3):317–334MathSciNetCrossRef
35.
go back to reference Rosenfeld A (1975) Fuzzy graphs. In: Zadeh LA, Fu KS, Shimura M (eds) Fuzzy Sets and Their Applications. Academic Press, New York, pp 77–95 Rosenfeld A (1975) Fuzzy graphs. In: Zadeh LA, Fu KS, Shimura M (eds) Fuzzy Sets and Their Applications. Academic Press, New York, pp 77–95
36.
38.
go back to reference Wiener H (1947) Structural determination of paraffin boiling points. J Am Chem Soc 69:17–20CrossRef Wiener H (1947) Structural determination of paraffin boiling points. J Am Chem Soc 69:17–20CrossRef
Metadata
Title
An investigation of edge F-index on fuzzy graphs and application in molecular chemistry
Authors
Sk Rabiul Islam
Madhumangal Pal
Publication date
05-11-2022
Publisher
Springer International Publishing
Published in
Complex & Intelligent Systems / Issue 2/2023
Print ISSN: 2199-4536
Electronic ISSN: 2198-6053
DOI
https://doi.org/10.1007/s40747-022-00896-2

Other articles of this Issue 2/2023

Complex & Intelligent Systems 2/2023 Go to the issue

Premium Partner