The Multiplicative Sum Zagreb Indices of Graphs with Given Clique Number

Xiaoling Sun1, Jianwei Du1
1School of Mathematics, North University of China, Taiyuan, Shanxi 030051, China

Abstract

The multiplicative sum Zagreb index is a modified version of the well-known Zagreb indices. The multiplicative sum Zagreb index of a graph G is the product of the sums of the degrees of pairs of adjacent vertices. The mathematical properties of the multiplicative sum Zagreb index of graphs with given graph parameters deserve further study, as they can be used to detect chemical compounds and study network structures in mathematical chemistry. Therefore, in this paper, the maximal and minimal values of the multiplicative sum Zagreb indices of graphs with a given clique number are presented. Furthermore, the corresponding extremal graphs are characterized.

Keywords: Multiplicative sum Zagreb index, Chromatic number, Clique number

1. Introduction

In this paper, we focus exclusively on undirected simple connected graphs. Let G=(V(G),E(G)) denote a graph with vertex set V(G) and edge set E(G). The degree of a vertex uV(G) is denoted by dG(u) (or d(u) for short). We denote Guv as the graph obtained from G by deleting the edge uvE(G). Similarly, G+uv is the graph obtained from G by adding an edge uvE(G), where u,vV(G). A tree is a connected graph with n vertices and n1 edges. The chromatic number of a graph is the minimum number of colors required to color the graph such that no two adjacent vertices share the same color. We use χ(G) to denote the chromatic number of a graph G. A clique of a graph G is a subset S of V(G) such that any two vertices in G[S] (the subgraph of G induced by S) are adjacent. The clique number of G is the maximum size of a clique in G, denoted by ω(G). As usual, we use Pn and Kn to denote the n-vertex path and the n-vertex complete graph, respectively.

Topological indices are numbers that reflect certain structural features of organic molecules derived from the molecular graph. They play an important role in chemistry, pharmacology, etc. (see [1-3]). One of the oldest topological indices is the well-known Zagreb index, first introduced in [4], where Gutman and Trinajstic´ examined the dependence of total π-electron energy on molecular structure. For a (molecular) graph G, the first Zagreb index M1(G) and the second Zagreb index M2(G) [4] are, respectively, defined as: M1(G)=vV(G)dG(v)2,M2(G)=uvE(G)dG(u)dG(v).

These two classical topological indices (M1 and M2) and their modified versions have been used to study molecular complexity, chirality, ZE-isomerism, heterosystems, etc. Recently, Eliasi, Iranmanesh, and Gutman [5] introduced a variant of the Zagreb indices known as the multiplicative sum Zagreb index, defined as Π1(G)=uvE(G)(dG(u)+dG(v)). Eliasi, Iranmanesh, and Gutman [5] proved that the path has the minimal multiplicative sum Zagreb index among all connected graphs and determined the second minimal multiplicative sum Zagreb index of trees. In [6], Xu and Das characterized the trees, unicyclic, and bicyclic graphs with maximal and minimal multiplicative sum Zagreb indices. Božović et al. [7] provided a sharp upper bound for the multiplicative sum Zagreb index of chemical trees and characterized the corresponding extremal graphs. Azari and Iranmanesh [8] presented some lower bounds for the multiplicative sum Zagreb index of several graph operations such as union, join, corona product, and composition. The authors of this paper [9,10] presented the maximal Π1 with a given number of cut vertices, cut edges, vertex connectivity, and edge connectivity of graphs, and provided the maximal and minimal Π1 of trees with a fixed domination number. For other recent mathematical investigations of the multiplicative sum Zagreb index and its related indices, readers can refer to [11-18].

Figure 1 The Grapgh K9,5

Let Kn,nk be the graph obtained by identifying one vertex of Kk with a pendent vertex of the path Pnk+1. For example, K9,5 is shown in Figure 1. A complete k-partite graph whose partition sets differ in size by at most 1 is called a Turán graph, denoted by {T}n(k). We denote by χn,k the set of n-vertex graphs with chromatic number k, and Wn,k the set of n-vertex graphs with clique number k, respectively. See [19] for other notations.

In recent years, many scholars have been interested in finding the extremal values of topological indices with a given clique number [20-25]. Hence, by using graph transformations and properties of the multiplicative sum Zagreb index, we show here that for the graphs in Wn,k, the Turán graph {T}n(k) has the maximal value of the multiplicative sum Zagreb index, while the minimal value of the multiplicative sum Zagreb index is attained only by the graph Kn,nk.

2. Preliminaries

By the definition of the multiplicative sum Zagreb index, the following Lemma 2.1 is obvious and can be found in [6].

Lemma 1. [6] Let G=(V,E) be a simple connected graph. Then

  1. If e=uvE(G), u,vV(G), Π1(G)<Π1(G+e);

  2. If eE(G), Π1(G)>Π1(Ge).

Figure 2 Transformation of A

Definition 1 (Transformation A). Let G be a graph as shown in Figure 2, where G1K1 and yV(G1). That is, we use G to denote the graph obtained from identifying y with the vertex xr of a path x1x2xr1xrxn, 1<r<n. Let G=Gxr1xr+xnxr1, as shown in Figure 2.

Lemma 2. [6] Let G and G be graphs in Figure 2. Then Π1(G)<Π1(G).

Figure 3 The Grapgh in Remark 2.3

Corollary 1. [6] By repeating Transformation A, any tree T attached to a graph G can be changed into a path as shown in Figure 3. Furthermore, during this process, the multiplicative sum Zagreb indices decrease.

Figure 4 Transformation of B

Definition 2 (Transformation B). Let G be a graph as shown in Figure 4, where V(Kk)={v1,v2,,vk}. That is, we use G to denote the graph obtained from identifying vi with a pendant vertex of a path Pi, 1it, 2tk and k3, where v1 identifying the vertex v1,0 of a path v1,0v1,1v1,p and v2 identifying the vertex v2,0 of a path v2,0v2,1v2,q. G=Gv1v1,1+v2,qv1,1, as shown in Figure 4.

Lemma 3. Let G and G be graphs in Figure 4. Then Π1(G)<Π1(G).

Proof. We notice that Π1(G)Π1(G)=(i=2k(dG(vi)+dG(v1)))(dG(v1)+dG(v1,1))(dG(v2,q1)+dG(v2,q))(i=2k(dG(vi)+dG(v1)))(dG(v2,q1)+dG(v2,q))(dG(v2,q)+dG(v1,1))=i=2k(dG(vi)+dG(v1))i=2k(dG(vi)+dG(v1)1)(dG(v1)+dG(v1,1))(dG(v2,q1)+dG(v2,q))(dG(v2,q1)+dG(v2,q))(dG(v2,q)+dG(v1,1)).

If p=q=1, then Π1(G)Π1(G)>(k+1)(k+1)(k+2)(2+1)>1, since (k+1)23(k+2)=k2k5>0 for k3.

If p=1 and q>1, then Π1(G)Π1(G)=(k+1)(2+1)(2+2)(2+1)>1.

If p>1 and q=1, then Π1(G)Π1(G)>(k+2)(k+1)(k+2)(2+2)=k+141.

If p,q>1, then Π1(G)Π1(G)=i=2k(dG(vi)+dG(v1))i=2k(dG(vi)+dG(v1)1)(dG(v1)+2)(2+1)(2+2)(2+2). When k4, Π1(G)Π1(G)>1816>1.

When k=3, Π1(G)Π1(G)>(dG(v3)+3)(3+2)(2+1)(dG(v3)+2)(2+2)(2+2)15×(3+3)16×(3+2)>1, since x+3x+2=1+1x+2 is decreasing for 2x3◻

3. Main Results

Let GWn,k. If k=1, GK1. If k=n, GKn. So, next, we always assume that 1<k<n.

Theorem 1. Let GWn,k, where n3, 2kn1. Then Π1(G){324n3,if k=2,3(k+2)4nk2(2k1)k1(2k2)(k12),if 3kn2,n(2n3)n2(2n4)(n22),if k=n1, with the equality holding if and only if GKn,nk.

Proof. Choose a graph GWn,k such that G has the minimum multiplicative sum Zagreb index. By the definition of the set Wn,k, G contains a clique Kk as a subgraph. From Lemma 1, G must be the graph that results from Kk by attaching some trees rooted at some vertices of Kk. By Corollary 1, we conclude that, in G, all the trees attached at some vertices of Kk must be paths.

If k=2, then GPnKn,n2 and the result hold obviously. If k3, now we claim that GKn,nk. Otherwise, suppose that there are two paths P1 and P2 attached at two vertices v1 and v2 of Kk, respectively. From Lemma 3, G can be changed to G by transformation B with a smaller multiplicative sum Zagreb index, which contradicts the choice of G. Therefore GKn,nk.

By the definition of multiplicative sum Zagreb index, we have Π1(Kn,nk)={324n3,if k=2,3(k+2)4nk2(2k1)k1(2k2)(k12),if 3kn2,n(2n3)n2(2n4)(n22),if k=n1. The proof is completed. ◻

Let Kn1,n2,,nk denote the n-vertex complete k-partite graph whose partition sets size are n1,n2,,nk, respectively. Then n1+n2++nk=n.

Lemma 4. Let Gχn,k be a graph with maximum multiplicative sum Zagreb index. Then GKn1,n2,,nk for some n1,n2,,nk that sum to n.

Proof. By the definition of the set χn,k and Lemma 1, the lemma holds obviously. ◻

In order to get the maximum multiplicative sum Zagreb index, we first consider the multiplicative sum Zagreb indices of graphs Gχn,k in the following. Let n=ka+b, where 0b<k, i.e., a=nk.

Theorem 2. Let Gχn,k, where 2kn1. Then Π1(G) Π1(Tn(k))=(2n2nk)(kb2)nk2(2n2nk2)(b2)(nk+1)2(2n2nk1)b(kb)nk(nk+1) with the equality holding if and only if GTn(k).

Proof. In view of the definition of chromatic number, any graph Gχn,k has k color classes each of which is an independent set. Let the size of the k classes be n1,n2,,nk, respectively. By Lemma 4, the graph Gχn,k which reaches the maximum multiplicative sum Zagreb indices will be a complete k-partite graph Kn1,n2,,nk. Choose the graph Gχn,k such that G has the maximum multiplicative sum Zagreb indices.

Now we claim that G{T}n(k). Otherwise, there exist two classes of size nr and ns, respectively, satisfy nsnr2, that is, ns1nr+1, without loss of generality, we assume that 1r<sk. We will find a contradiction.

By the definition of the multiplicative sum Zagreb index, we have Π1(Kn1,,nr,,ns,,nk)=(1i<jki,jr,s(2nninj)ninj)(i=1ir,sk(2nninr)ninr)(i=1ir,sk(2nnins)nins)(2nnrns)nrns, and Π1(Kn1,,nr+1,,ns1,,nk)=(1i<jki,jr,s(2nninj)ninj)(i=1ir,sk(2nninr1)ni(nr+1))(i=1ir,sk(2nnins+1)ni(ns1))(2nnrns)(nr+1)(ns1). Since (nr+1)(ns1)nrns=nsnr11, 2nninr12nnins+1 and (2nninr1)(2nnins+1)(2nninr)(2nnins)=nsnr11, where 1ik, ir,s, then Π1(Kn1,,nr+1,,ns1,,nk)Π1(Kn1,,nr,,ns,,nk)=(i=1ir,sk(2nninr1)ni(nr+1)(2nnins+1)ni(ns1)(2nninr)ninr(2nnins)nins)(2nnrns)(nr+1)(ns1)nrns>i=1ir,sk((2nninr1)nr(2nnins+1)ns(2nninr)nr(2nnins)ns2nninr12nnins+1)nii=1ir,sk(((2nninr1)(2nnins+1)(2nninr)(2nnins))nr(2nnins+12nnins)nsnr)ni>1. Thus, if G{T}n(k), we have Π1(Kn1,,nr+1,,ns1,,nk)>Π1(Kn1,,nr,,ns,,nk), which contradicts the supposition that G has the maximum multiplicative sum Zagreb indices. So G{T}n(k).

Recall that n=knk+b=(kb)nk+b(nk+1). By the definition of the multiplicative sum Zagreb index, we obtain the value of Π1({T}n(k)) immediately.

Conversely, it is easy to see that the equality holds when G{T}n(k). The proof is completed. ◻

Lemma 5. [26] Let G=(V,E) be a graph with ω(G)k. Then there is a k-partite graph G=(V,E) such that for every vertex vV, dG(v)dG(v).

Theorem 3. Let GWn,k, where 2kn1. Then Π1(G)Π1({T}n(k))=(2n2nk)(kb2)nk2(2n2nk2)(b2)(nk+1)2(2n2nk1)b(kb)nk(nk+1) with the equality holding if and only if GTn(k).

Proof. Choose a graph GWn,k such that G has the maximum multiplicative sum Zagreb indices. We claim that Gχn,k. Otherwise, since ω(G)=k, by Lemma 5, we can get a k-partite graph H with V(H)=V(G) such that for every vertex vV(G)=V(H), dG(v)dH(v), i.e., H is the extremal k-partite graph with V(H)=V(G) and ω(H)=ω(G)=k such that the degree of vertices in H is as large as possible. Obviously, HWn,k. By the definition of multiplicative sum Zagreb index, we have Π1(H) Π1(G).

By Theorem 2, considering the uniqueness of the extremal graph in the set χn,k, the theorem holds immediately. ◻

4. Conclusions

Recently, the extremal values of the multiplicative Zagreb-related indices of graphs with given graph parameters have been widely explored. At present, we have obtained the maximum and minimum multiplicative sum Zagreb indices on the graphs of order n with given clique number k, and we also identified the corresponding extremal graphs. Next we will consider the extremal multiplicative Zagreb indices of graphs with given other graph parameters as a near future work.

Funding

Sun is supported by the Natural Science Foundation of Shanxi Province of China (202303021211154).

References:

  1. Gutman, I. and Furtula (Eds.) B., 2010. Novel Molecular Structure Descriptors – Theory and Applications I. University of Kragujevac, Kragujevac.

  2. Gutman, I. and Furtula (Eds.) B., 2010. Novel Molecular Structure Descriptors – Theory and Applications II. University of Kragujevac, Kragujevac.

  3. Todeschini, R. and Consonni, V., 2000. Handbook of Molecular Descriptors. Wiley-VCH, Weinheim.

  4. Gutman, I. and Trinajstic´, N., 1972. Graph theory and molecular orbitals. III. Total π-electron energy of alternant hydrocarbons. Chemical Physics Letters, 17, pp.535-538.

  5. Eliasi, M., Iranmanesh, A. and Gutman, I., 2012. Multiplicative versions of first Zagreb index. MATCH Communications in Mathematical and in Computer Chemistry, 68, pp.217-230.

  6. Xu, K. and Das, K. Ch., 2012. Trees, unicyclic, and bicyclic graphs extremal with respect to multiplicative sum Zagreb index. MATCH Communications in Mathematical and in Computer Chemistry, 68, pp.257-272.

  7. Bozˇovic´, V., Kovijanic´, Zˇ. K. and Popivoda, G., 2016. Chemical trees with extreme values of a few types of multiplicative Zagreb indices. MATCH Communications in Mathematical and in Computer Chemistry, 76, pp.207-220.

  8. Azari, M. and Iranmanesh, A., 2015. Some inequalities for the multiplicative sum Zagreb index of graph operations. Journal of Mathematical Inequalities, 9, pp.727-738.

  9. Du, J. and Sun, X., 2020. On the multiplicative sum Zagreb index of graphs with some given parameters. Journal of Mathematical Inequalities, 14, pp.1165-1181.

  10. Sun, X., Gao, Y. and Du, J., 2023. On multiplicative sum Zagreb index of trees with fixed domination number. Journal of Mathematical Inequalities, 17, pp.83-98.

  11. Ali, A., Noureen, S., Moeed, A., Iqbal, N. and Hassan, T. S., 2024. Fixed-order chemical trees with given segments and their maximum multiplicative sum Zagreb index. Mathematics, 12, p.1259.

  12. Dehgardi, N., Du, Z. and Shang, Y., 2024. Multiplicative Sombor index of trees. Notes on Number Theory and Discrete Mathematics, 30, pp.453-460.

  13. Du, J. and Sun, X., 2023. Extremal quasi-unicyclic graphs with respect to the general multiplicative Zagreb indices. Discrete Applied Mathematics, 325, pp.200-211.

  14. Du, J. and Sun, X., 2024. On bond incident degree index of chemical trees with a fixed order and a fixed number of leaves. Applied Mathematics and Computation, 464, p.128390.

  15. Horoldagva, B., Xu, C., Buyantogtokh, L. and Dorjsembe, S., 2020. Extremal graphs with respect to the multiplicative sum Zagreb index. Match Communications in Mathematical and in Computer Chemistry, 84, pp.773-786.

  16. Ismail, R., Azeem, M., Shang, Y., Imran, M. and Ahmad, A., 2023. A unified approach for extremal general exponential multiplicative Zagreb indices. Axioms, 12, p.675.

  17. Noureen, S., Ali, A., Bhatti, A. A., Alanazi, A. M. and Shang, Y., 2024. Predicting enthalpy of formation of benzenoid hydrocarbons and ordering molecular trees using general multiplicative Zagreb indices. Heliyon, 10, p.e30913.

  18. Xu, C., Horoldagva, B. and Buyantogtokh, L., 2021. Cactus graphs with maximal multiplicative sum Zagreb index. Symmetry, 13, p.913.

  19. Bondy, J. A. and Murty, U. S. R., 1976. Graph Theory with Applications. Elsevier, New York.

  20. Du, J., Shao, Y. and Sun, X., 2020. The zeroth-order general Randić index of graphs with a given clique number. Korean Journal of Mathematics, 28, pp.405-419.

  21. Vetrík, T. and Balachandran, S., 2019. General multiplicative Zagreb indices of graphs with given clique number. Opuscula Mathematics, 39, pp.433-446.

  22. Wali, M. and Guji, R., 2024. Extremal Sombor index of graphs with cut edges and clique number. Axioms, 13, p.66.

  23. Xu, K., 2011. The Zagreb indices of graphs with a given clique number. Applied Mathematics Letters, 24, pp.1026-1030.

  24. Xu, K., 2010. On the Hosoya index and the Merrifield-Simmons index of graphs with a given clique number. Applied Mathematics Letters, 23, pp.395-398.

  25. Yang, J., Liu, H. and Wang, Y., 2024. Vertex-degree function index for concave functions of graphs with a given clique number. Journal of Applied Mathematics and Computing, 70, pp.2197-2208.

  26. Erdo¨s, P., 1970. On the graph theorem of Tura´n. Matematikai Lapok, 21, pp.249-251.