Research article

The biharmonic index of connected graphs

  • Received: 19 October 2021 Revised: 07 January 2022 Accepted: 12 January 2022 Published: 17 January 2022
  • MSC : 05C05, 05C09, 05C35, 05C50, 05C76

  • Let G be a simple connected graph with the vertex set V(G) and dB(u,v) be the biharmonic distance between two vertices u and v in G. The biharmonic index BH(G) of G is defined as

    BH(G)=12uV(G)vV(G)d2B(u,v)=nni=21λ2i(G),

    where λi(G) is the i-th eigenvalue of the Laplacian matrix of G with n vertices. In this paper, we provide the mathematical relationships between the biharmonic index and some classic topological indices: the first Zagreb index, the forgotten topological index and the Kirchhoff index. In addition, the extremal value on the biharmonic index for all graphs with diameter two, trees and firefly graphs are given, respectively. Finally, some graph operations on the biharmonic index are presented.

    Citation: Zhen Lin. The biharmonic index of connected graphs[J]. AIMS Mathematics, 2022, 7(4): 6050-6065. doi: 10.3934/math.2022337

    Related Papers:

    [1] Mohammad Esmael Samei, Lotfollah Karimi, Mohammed K. A. Kaabar . To investigate a class of multi-singular pointwise defined fractional q–integro-differential equation with applications. AIMS Mathematics, 2022, 7(5): 7781-7816. doi: 10.3934/math.2022437
    [2] Asghar Ahmadkhanlu, Hojjat Afshari, Jehad Alzabut . A new fixed point approach for solutions of a p-Laplacian fractional q-difference boundary value problem with an integral boundary condition. AIMS Mathematics, 2024, 9(9): 23770-23785. doi: 10.3934/math.20241155
    [3] Reny George, Sina Etemad, Fahad Sameer Alshammari . Stability analysis on the post-quantum structure of a boundary value problem: application on the new fractional (p,q)-thermostat system. AIMS Mathematics, 2024, 9(1): 818-846. doi: 10.3934/math.2024042
    [4] Idris Ahmed, Sotiris K. Ntouyas, Jessada Tariboon . Separated boundary value problems via quantum Hilfer and Caputo operators. AIMS Mathematics, 2024, 9(7): 19473-19494. doi: 10.3934/math.2024949
    [5] Abdelatif Boutiara, Mohamed Rhaima, Lassaad Mchiri, Abdellatif Ben Makhlouf . Cauchy problem for fractional (p,q)-difference equations. AIMS Mathematics, 2023, 8(7): 15773-15788. doi: 10.3934/math.2023805
    [6] Donny Passary, Sotiris K. Ntouyas, Jessada Tariboon . Hilfer fractional quantum system with Riemann-Liouville fractional derivatives and integrals in boundary conditions. AIMS Mathematics, 2024, 9(1): 218-239. doi: 10.3934/math.2024013
    [7] Khalid K. Ali, K. R. Raslan, Amira Abd-Elall Ibrahim, Mohamed S. Mohamed . On study the fractional Caputo-Fabrizio integro differential equation including the fractional q-integral of the Riemann-Liouville type. AIMS Mathematics, 2023, 8(8): 18206-18222. doi: 10.3934/math.2023925
    [8] Nichaphat Patanarapeelert, Jiraporn Reunsumrit, Thanin Sitthiwirattham . On nonlinear fractional Hahn integrodifference equations via nonlocal fractional Hahn integral boundary conditions. AIMS Mathematics, 2024, 9(12): 35016-35037. doi: 10.3934/math.20241667
    [9] Reny George, Sina Etemad, Ivanka Stamova, Raaid Alubady . Existence of solutions for [p,q]-difference initial value problems: application to the [p,q]-based model of vibrating eardrums. AIMS Mathematics, 2025, 10(2): 2321-2346. doi: 10.3934/math.2025108
    [10] Changlong Yu, Jufang Wang, Huode Han, Jing Li . Positive solutions of IBVPs for q-difference equations with p-Laplacian on infinite interval. AIMS Mathematics, 2021, 6(8): 8404-8414. doi: 10.3934/math.2021487
  • Let G be a simple connected graph with the vertex set V(G) and dB(u,v) be the biharmonic distance between two vertices u and v in G. The biharmonic index BH(G) of G is defined as

    BH(G)=12uV(G)vV(G)d2B(u,v)=nni=21λ2i(G),

    where λi(G) is the i-th eigenvalue of the Laplacian matrix of G with n vertices. In this paper, we provide the mathematical relationships between the biharmonic index and some classic topological indices: the first Zagreb index, the forgotten topological index and the Kirchhoff index. In addition, the extremal value on the biharmonic index for all graphs with diameter two, trees and firefly graphs are given, respectively. Finally, some graph operations on the biharmonic index are presented.



    In the theory of quantum groups, the quantum universal enveloping algebra of three-dimensional simple Lie algebras sl2 plays an important role [1]. In 1983, the one-parameter quantized enveloping algebra Uq(sl2) was introduced by Kulish and Reshetikhin in the context of the Yang-Baxter equation for the integrable statistical models in the quantum inverse scattering method, and later its Hopf algebraic structure was discovered by Sklyanin [1,2,3]. A few years later, Drinfeld and Jimbo [4,5,6,7] independently discovered quantized enveloping algebras with higher ranks of complex simple-Lie algebras, which are quasi-triangular Hopf algebras. When q is not a root of unity, the representation theory of Uq(sl2) is very similar to that of the Lie algebra sl2, and has been basically solved. However, when q is a root of unity, the quantum group Uq(sl2) will become very complex. Many authors study representations of Uq(sl2) when q is a root of unity, and get some interesting results, see [8,9,10] for example.

    In 2020, Aziziheris et al. [11] defined the classical Lie algebra sl2(C) based on a new associative multiplication on the 2×2 matrix, and then obtained a new type quantum group Uq(sl2). In [12], Xu and Chen investigated the above new type quantum group Uq(sl2) and classified its all Hopf PBW-deformations in which the classical Drinfeld-Jimbo quantum group Uq(sl2) was almost the unique nontrivial one. In [13], the authors defined a new type restricted quantum group ¯Uq(sl2) and determined its Hopf PBW-deformations ¯Uq(sl2,κ) in which ¯Uq(sl2,0)=¯Uq(sl2) and the classical restricted Drinfeld-Jimbo quantum group ¯Uq(sl2) was included. They showed that ¯Uq(sl2) was a basic Hopf algebra, then uniformly realize ¯Uq(sl2) and ¯Uq(sl2) via some quotients of (deformed) preprojective algebras corresponding to the Gabriel quiver of ¯Uq(sl2).

    One of the basic problems in the theory of quantum groups is to decompose a tensor product of modules into a direct sum of indecomposable ones and hence to elucidate the structure of the corresponding fusion rule algebra. In [8], Suter decomposed the restricted quantum universal enveloping algebra Uq(sl2) in a canonical way into a direct sum of indecomposable left (or right) ideals. The indecomposable finite-dimensional Uq(sl2)-modules were classified and the tensor products of two simple modules, simple and projective modules were decomposed into indecomposable ones. Su and Yang [10] accurately characterized the structure of the representation ring of the restricted quantum group ¯Uq(sl2) when q is a primitive 2p-th (p2) root of unity. In [14], the authors classified all the finite dimensional indecomposable D(n) modules, and then gave the tensor product decomposition formulas between two indecomposables, at last described the representation ring by generators and relations clearly. In [15], for a class of 2n2 dimensional semisimple Hopf algebras H2n2, the authors classified all irreducible H2n2-modules, established the decomposition formulas of the tensor product of two irreducible H2n2-modules and described the Grothendieck rings r(H2n2) by generators and relations explicitly. In the present paper, we will consider the decomposition of tensor products and try to describe the projective class ring of ¯Uq(sl2).

    The paper is organized as follows. In Section 2, we recall the definition of the new type restricted quantum group ¯Uq(sl2) and its Hopf algebra structure, and some preliminaries used in the following sections. In Section 3, we construct the principal indecomposable projective module Pj through the primitive orthogonal idempotents of ¯Uq(sl2), and then study its composition series, radical series, socle series and some other related properties. In Section 4, we give the decomposition formulas of tensor products between two simple modules, two indecomposable projective modules and a simple module and an indecomposable projective module of ¯Uq(sl2). Furthermore, we describe the projective class ring by generators and relations explicitly.

    Throughout the paper, we work over the complex field C. The notations Z and Z0 denote the set of all integers, and the set of all nonnegative integers respectively.

    Fix an integer n3(n4). From now on, we always assume that q is a primitive n-th root of unity, and

    d={n,ifnisodd,n2,ifniseven.

    First, we recall the definition of the new type restricted quantum group ¯Uq(sl2) and some properities as follows.

    Definition 2.1. [13] The restricted quantum algebra ¯Uq(sl2) is an associative unital algebra generated by K,K1, E, F and subject to the following relations

    KK1=K1K=1,Kd=1,Ed=Fd=0,KE=q2EK,KF=q2FK,EF=FE.

    Lemma 2.2. [13] (1) The set {FiKkEj|i,j,kZ,0i,j,k<d} is a basis of ¯Uq(sl2), and the dimension of ¯Uq(sl2) is d3.

    (2) ¯Uq(sl2) is a Hopf algebra with coproduct Δ, counit ε and antipode S defined by

    Δ(K)=KK,  Δ(E)=EK+1E,  Δ(F)=F1+K1F,
    ε(E)=0,  ε(F)=0,  ε(K)=ε(K1)=1,
    S(E)=EK1,  S(F)=KF,  S(K)=K1.

    (3) ¯Uq(sl2) is a pointed, basic but not semisimple Hopf algebra.

    Lemma 2.3. [13] Let M be a finite dimensional simple ¯Uq(sl2)-module. Then dim(M)=1 and the module structure on M=Cv0 can be given as follows:

    Kv0=qlv0,Ev0=Fv0=0, (2.1)

    where l{0,1,,d1} when n is odd, l{0,2,,2(d1)} when n is even.

    Lemma 2.4. [13] For any iZd, set ϵi=1dd1l=0q2ilKl. Obviously one has

    ϵiK=q2iϵi,ϵiE=Eϵi1,ϵiF=Fϵi+1.

    {ϵi|iZd} is a complete set of primitive orthogonal idempotents of ¯Uq(sl2).

    Using the primitive orthogonal idempotents {ϵi|iZd} of ¯Uq(sl2), one has

    ¯Uq(sl2)=¯Uq(sl2)ϵ0¯Uq(sl2)ϵ1¯Uq(sl2)ϵd1.

    Let Pj=¯Uq(sl2)ϵj, then {Pj|jZd} is the set of the nonisomorphic principal indecomposable projective modules of ¯Uq(sl2). As in [8], Pj can be showed in Figure 1.

    Figure 1.  The structure of Pj.

    Each point represents a one-dimensional vector space generated by the vector at that point, the downward arrows indicate the left action of E, the right-oblique upward arrows indicate the left action of F. Figure 1 shows that there are d2 black dots, so the dimension of Pj is d2.

    From Figure 1, it is easy to see that if we delete one point and the arrows connecting it at a time, from left to right, and from top to bottom, then we get a modules series, in which the former module modulo the next one is a 1-dimensional simple module. Therefore, we obtain the composition series of Pj as follows.

    Proposition 3.1. The principal indecomposable projective module Pj(jZd) has the following composition series:

    Pj=Mj0Mj1Mj2Mjd2=0,

    where for all i{0,1,,d1},

    Mji=0k<d1l<dCEkFlϵjik<dCEkϵj,Mjd+i=0k<d2l<dCEkFlϵjik<dCEkFϵj,Mjd2d+i=ik<dCEkFd1ϵj.

    We can make the figures of Mj1 and Mj2 as follows (see Figures 2 and 3):

    Figure 2.  The structure of Mj1.
    Figure 3.  The structure of Mj2.

    Proposition 3.2. The principal indecomposable projective module Pj has a radical series as follows:

    Pjrad(Pj)rad2(Pj)rad2d1(Pj)=0,

    for all i{0,1,,2d1},

    radi(Pj)=0k,l<dik+lCEkFlϵj.

    Proof. Recall that rad(Pj) is exactly the intersection of all the maximal submodules of Pj, and Pj has a unique maximal submodule Mj1, so that rad(Pj)=Mj1, the figure is shown as before. rad2(Pj) is the intersection of the maximal submodules of rad(Pj), and is the submodule obtained by removing CEϵj and CFϵj and the connecting arrows, as shown in Figure 4. Proceed this way, we have rad2d2(Pj)=CEd1Fd1ϵj, rad2d1(Pj)=0.

    Figure 4.  The structure of rad2(Pj).

    Proposition 3.3. The principal indecomposable projective module Pj has a socle series as follows:

    0=soc0(Pj)soc(Pj)soc2(Pj)soc2d1(Pj)=Pj,

    for all i{0,1,,2d1},

    soci(Pj)=0k,l<d2d1ik+lCEkFlϵj.

    Proof. Recall that for iZ0, soci(Pj) is defined inductively as follows: soc0(Pj)=0, and if soci(Pj) is already defined and p:Pjsoc(Pj) denotes the canonical epimorphism, we get soci+1(Pj)=p1(soc(Pj/soci(Pj))). Thus, by the definition, we have soc0(Pj)=0, and as Pj has only one simple submodule CEd1Fd1ϵj, so soc(Pj)=CEd1Fd1ϵj. Inductively, we have soc2(Pj)=CEd1Fd1ϵjCEd1Fd2ϵjCEd2Fd1ϵj; and we obtain a general expression of the socle series of the module Pj as soci(Pj)=0k,l<d2d1ik+lCEkFlϵj, where i{0,1,,2d1}.

    More intuitively, we can draw the figures soc(Pj),soc2(Pj),soc3(Pj) as follows (see Figure 5):

    Figure 5.  The structures of soc(Pj), soc2(Pj) and soc3(Pj).

    Observe the radical series and socle series of Pj, it is easy to see that

    socs(Pj)=radt(Pj),

    where s+t=2d1,s,t{0,1,2d1}, and the length of the radical series(resp., the socle series) is 2d1.

    Note that dimCϵi¯Uq(sl2)ϵj=d, we have

    Proposition 3.4. (1) The dimensional vector of Pj is

    dimPj=[d,d,,d]T.

    (2) The Cartan matrix of the algebra ¯Uq(sl2) is

    (ddddddddd)Mn(Z).

    Let H be a finite dimensional Hopf algebra and M and N be two finite dimensional H-modules. Then MN is also a H-module defined by

    h(mn)=(h)h(1)mh(2)n

    for all hH and mM,nN, where Δ(h)=(h)h(1)h(2). By the Krull-Schmidt Theorem, any finite dimensional H-module can be decomposed into a direct sum of indecomposable H-modules.

    Now we consider the tensor products of two irreducible ¯Uq(sl2)-modules.

    From Lemma 2.3, we know that for ¯Uq(sl2) there are d non-isomorphic simple modules Si=Cvi,i{0,1,,d1}. Specifically, the module structure is:

    Evi=Fvi=0,Kvi=q2ivi.

    We have the following theorem:

    Theorem 4.1. SiSjS(i+j)(modd),(0i,jd1).

    Proof. Suppose that Si and Sj are two simple modules of ¯Uq(sl2), with basis vi,vj respectively. Then SiSj is also a ¯Uq(sl2)-module, with basis vivj and the actions of the generators are as follows

    E(vivj)=(EK+1E)(vivj)=0,F(vivj)=(F1+K1F)(vivj)=0,K(vivj)=(KK)(vivj)=q2(i+j)vivj.

    Therefore SiSjS(i+j)(modd),(0i,jd1).

    For the tensor products of a simple module with a projective module, we have

    Theorem 4.2. SiPjP(i+j)(modd)PjSi,0i,jd1.

    Proof. Note that the basis of Pj is {EkFlϵj|0k,ld1}, let

    l1=ϵj,l2=Eϵj,,ld=Ed1ϵj,
    ld+1=Fϵj,ld+2=EFϵj,,l2d=Ed1Fϵj,,
    ld2d+1=Fd1ϵj,ld2d+2=EFd1ϵj,,ld2=Ed1Fd1ϵj.

    Then the matrix of K on the basis of l1,l2,,ld,ld+1,ld+2,,l2d,,ld2d+1,ld2d+2,,ld2 is

    A1=(A11000A21000Ad1)d2×d2,

    where

    A11=(q2j000q2j+2000q2j+2d2)d×d,
    A21=(q2j2000q2j000q2j+2d4)d×d,
    Ad1=(q2j2d+2q2j2d+4q2j)d×d.

    The matrix of E acting on this basis is

    B1=(N000N000N)d2×d2,

    where

    N=(0000010000010000010000010)d×d.

    The matrix of F acting on this basis is

    C1=(0000I0000I0000I0)d2×d2,

    where I represents the identity matrix of order d.

    Next we consider SiPj. Note that the bases of Si and Pj are vi and EkFlϵj,{0i,k,ld1}, respectively, it is obvious that

    s1=viϵj,s2=viEϵj,,sd=viEd1ϵj,
    sd+1=viFϵj,sd+2=viEFϵj,,s2d=viEd1Fϵj,
    s2d+1=viF2ϵj,s2d+2=viEF2ϵj,,s3d=viEd1F2ϵj,
    sd2d+1=viFd1ϵj,sd2d+2=viEFd1ϵj,,sd2=viEd1Fd1ϵj

    is a basis of SiPj. Let

    t1=viϵj,t2=viEϵj,,td=viEd1ϵj,
    td+1=q2iviFϵj,td+2=q2iviEFϵj,,t2d=q2iviEd1Fϵj,
    t2d+1=q4iviF2ϵj,t2d+2=q4iviEF2ϵj,,t3d=q4iviEd1F2ϵj,
    td2d+1=q2(d1)iviFd1ϵj,td2d+2=q2(d1)iviEFd1ϵj,,
    td2=q2(d1)iviEd1Fd1ϵj.

    Then t1,t2,,td2 is also a basis of SiPj, since

    (t1,t2,,td2)=(s1,s2,,sd2)(P1000P2000Pd)d2×d2,

    where

    P1=(100010001)d×d,
    P2=(q2i000q2i000q2i)d×d,
    Pd=(q2(d1)i000q2(d1)i000q2(d1)i)d×d,

    and the transition matrix is invertible as q is a primitive n-th root of unity. The matrix of K on the basis of t1,t2,,td2 is

    A2=(A12000A22000Ad2)d2×d2

    where

    A12=(q2i+2j000q2i+2j+2000q2i+2j+2d2)d×d,
    A22=(q2i+2j2000q2i+2j000q2i+2j+2d4)d×d,
    Ad2=(q2i+2j2d+2q2i+2j2d+4q2i+2j)d×d.

    The matrix of E acting on this basis is B2=B1; the matrix of F is C2=C1. Therefore we have SiPjP(i+j)(modd),(0i,jd1). Now we consider PjSi. The bases of Pj and Si are ϵj,Eϵj,,Ed1Fd1ϵj and vi respectively. Then we can take a basis of PjSi as

    r1=ϵjvi,r2=q2iEϵjvi,,rd=q2(d1)iEd1ϵjvi,
    rd+1=Fϵjvi,rd+2=q2iEFϵjvi,,r2d=q2(d1)iEd1Fϵjvi,
    ,
    rd2d+1=Fd1ϵjvi,td2d+2=q2iEFd1ϵjvi,,td2=q2(d1)iEd1Fd1ϵjvi.

    Then the matrix of K acting on this set of basis is A3=A2; the matrix of E acting on this set of basis is B3=B1; the matrix of F acting on this set of basis is C3=C1. In summary,

    SiPjP(i+j)(modd)PjSi,(0i,jd1).

    As in [8], we can show the tensor product by the following diagram.

    Example 4.3. Let n=3, d=3 and q3=1, we can make the following structure diagram of K-eigenvalue, where a number l stands for the K-eigenvalue ql.

    P0S1P1P1S2P0(211000221)(2)(100222110),(100222110)(1)(211000221).

    Observe that, we have P0S1P1, P1S2P0. Other results can be showed similarly, such that both PjSi and SiPj are consistent with the K-eigenvalue of P(i+j)(mod3), and we have

    SiPjP(i+j)(mod3)PjSi,0i,j2.

    Now we consider the tensor products of two projective ¯Uq(sl2)-modules. We have

    Theorem 4.4. PiPj(P0P1Pd1)d,0i,jd1.

    Proof. Let P be a projective ¯Uq(sl2)-module. For any ¯Uq(sl2)-module M, PM, MP are also projective modules. Suppose there is a ¯Uq(sl2)-module short exact sequence

    0KMN0,

    then there exists a projective short exact sequence

    0KP(V)MP(V)NP(V)0,

    where P(V) is the projective cover of V, and we have

    MP(V)KP(V)NP(V).

    Now we calculate PiPj.

    Note that Pi is the projective cover of Si, and there is an epimorphism

    PiSi0.

    Let Ω(Si) be the kernel of the epimorphism, and we have the short exact sequence

    0Ω(Si)PiSi0,

    then

    0Ω(Si)PjPiPjSiPj0,

    and therefore

    PiPjΩ(Si)PjSiPj.

    We write the composition series of Pi below and find its composition factors. Let

    Ni0={0},Ni1=CEd1Fd1ϵi,Ni2=CEd1Fd1ϵi+CEd2Fd1ϵi,Nid2=Pi.

    Then

    0=Ni0Ni1Ni2Nid2=Pi

    is the composition series of Pi. By the short exact sequences

    0Nid21Nid2Nid2/Nid210,
    0Nid22Nid21Nid21/Nid220,
    0Ni1Ni2Ni2/Ni10,

    we have

    Nid2PjNid21PjNid2/Nid21Pj,
    Nid21PjNid22PjNid21/Nid22Pj,
    Ni2PjNi1PjNi2/Ni1Pj,

    it follows that

    PiPjNi1PjNi2/Ni1PjNi3/Ni2PjNid2/Nid21Pj.

    Note that

    KEd1Fd1ϵi=q2iFd1Ed1ϵi,
    KEd2Fd2ϵi=q2iFd2Ed2ϵi,,Kϵi=q2iϵi,

    then

    Ni1Nid+2/Nid+1Ni2d+3/Ni2d+2Nid2/Nid21Si,

    since

    KEd2Fd1ϵi=q2i2Fd1Ed2ϵi,
    KEd3Fd2ϵi=q2i2Fd2Ed3ϵi,,KFϵi=q2i2ϵi,

    then

    Ni2/Ni1Nid+3/Nid+2Ni2d+4/Ni2d+3Nid2d+1/Nid2dSi1+d(modd),

    as

    KFd1ϵi=q2i+2Fd1ϵi,KEd1Fd2ϵi=q2i+2Fd2Ed1ϵi,
    KEd2Fd3ϵi=q2i+2Fd3Ed2ϵi,,KEϵi=q2i+2ϵi,

    then

    Nid/Nid1Nid+1/NidNi2d+2/Ni2d+1Nid21/Nid22Si+1(modd).

    By Theorem 4.2, we have

    PiPj(SiPjSi1(modd)PjSi+1(modd)Pj)(Si+1(modd)PjSiPjSi+2(modd)Pj)(Si1(modd)PjSi2(modd)PjSiPj)(Pi+j(modd)Pi+j1(modd)Pi+j+1(modd))(Pi+j+1(modd)Pi+j(modd)Pi+j+2(modd))(Pi+j1(modd)Pi+j2(modd)Pi+j(modd))(P0P1Pd1)d.

    Let H be a finite dimensional Hopf algebra. The Green ring r(H) is defined as follows. r(H) is the Abelian group generated by the isomorphism classes [M] of finite dimensional H-modules M modulo the relations [MN]=[M]+[N]. The multiplication of r(H) is given by the tensor product [M][N]=[MN]. The Green ring r(H) is an associative ring with identity given by [kε], the trivial 1-dimensional H-module. The projective class ring P(H) of H is the subring of r(H) generated by projective modules and simple modules (see [16]).

    In this section we will describe the projective class ring P(¯Uq(sl2)) of the quantum group ¯Uq(sl2) explicitly by generators and generating relations.

    Let t=[S1] be the isomorphism class of the simple module S1, and f=[P1] the isomorphism class of the indecomposable projective module P1. Then we have:

    Lemma 4.5. The following statements hold in P(¯Uq(sl2)).

    (1)td=1,

    (2)tf=ft,

    (3)f2=d(f+tf+t2f++td1f).

    Proof. By Theorem 4.1, we know that [S1]d=[S0]=1, hence we get (1). By Theorem 4.2, we have tf=[S1][P1]=[S1P1]=[P1S1]=[P1][S1]=ft, so we obtain that tf=ft. By Theorems 4.1, 4.2 and 4.4, we have

    f2=[P1]2=[P1P1]=[(P0P1Pd1)d]=d(f+tf+t2f++td1f).

    Corollary 4.6. The set {tifj0id1,0j1} is a set of Z-basis of P(¯Uq(sl2)).

    Proof. P(¯Uq(sl2)) has a set of Z-basis {[Si],[Pi]0id1}, so the rank of P(¯Uq(sl2)) is 2d. From Lemma 3.5, it is known that [Si],[Pi] is Z-spanned by the set {tifj0id1,0j1}, so {tifj0id1,0j1} is actually a set of Z-basis of P(¯Uq(sl2)).

    Theorem 4.7. The projective class ring P(¯Uq(sl2)) is isomorphic to the quotient ring Z[x,y]/I, where I is the ideal generated by the relationship

    xd1,xyyx,y2d(y+xy+x2y+xd1y).

    Proof. Let π:Z[x,y]Z[x,y]/I be the natural epimorphism such that for any vZ[x,y], ˉv=π(v). We can straightforward to verify that the ring Z[x,y]/I is Z-spanned by the set {¯xiyj0id1,0j1}. On the other hand, because P(¯Uq(sl2)) is an commutative ring generated by t,f, there exists an unique ring epimorphism Φ:Z[x,y]P(¯Uq(sl2)), where Φ(x)=t,Φ(y)=f. From Lemma 4.5, it is easily verified that

    Φ(xd1)=0,Φ(xyyx)=0,
    Φ(y2d(y+xy+x2y+xd1y))=0,

    that is Φ(I)=0, thus Φ induces a ring epimorphism

    ¯Φ:Z[x,y]/IP(¯Uq(sl2)),

    such that for any vZ[x,y], ¯Φ(ˉv)=Φ(v). Then from Corollary 4.6, we can define a Z-module homomorphism

    Ψ:P(¯Uq(sl2))Z[x,y]/I,

    with Ψ(tifj)=¯xiyj for 0id1,0j1. Assume ˉv{¯xiyj0id1,0j1}, it is easy to check that Ψ¯Φ(ˉv)=ˉv. Therefore Ψ¯Φ=id, which means ¯Φ is a ring isomorphism.

    For the new type restricted quantum group ¯Uq(sl2) we give the decomposition formulas of tensor products between two simple modules, two indecomposable projective modules, and a simple module and an indecomposable projective module of ¯Uq(sl2). Furthermore, we describe the projective class ring by generators and relations explicitly.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This research is supported by the National Natural Science Foundations of China (Grant No. 11701019) and the Science and Technology Project of Beijing Municipal Education Commission (No. KM202110005012).

    The authors declare no conflicts of interest in this paper.



    [1] M. S. Alsharafi, M. M. Shubatah, A. Q. Alameri, The forgotten index of complement graph operations and its applications of molecular graph, Open J. Discret. Appl. Math., 3 (2020), 53–61. https://doi.org/10.30538/psrp-odam2020.0043 doi: 10.30538/psrp-odam2020.0043
    [2] S. Barik, R. B. Bapat, S. Pati, On the Laplacian spectra of product graphs, Appl. Anal. Discrete Math., 9 (2015), 39–58.
    [3] B. Borovićanin, K. C. Das, B. Furtula, I. Gutman, Bounds for Zagreb indices, MATCH Commun. Math. Comput. Chem., 78 (2017), 17–100.
    [4] M. Barahona, L. M. Pecora, Synchronization in small-world systems, Phys. Rev. Lett., 89 (2002), 054101. https://doi.org/10.1103/PhysRevLett.89.054101 doi: 10.1103/PhysRevLett.89.054101
    [5] M. V. Diudea, QSPR/QSAR Studies by molecular descriptors, Huntington: Nova, 2001.
    [6] K. C. Das, Proof of conjectures involving algebraic connectivity of graphs, Linear Algebra Appl., 438 (2013), 3291–3302. https://doi.org/10.1016/j.laa.2012.11.036 doi: 10.1016/j.laa.2012.11.036
    [7] J. Devillers, A. T. Balaban, Topological indices and related descriptors in QSAR and QSPR, Amsterdam: Gordon and Breach, 1999.
    [8] M. Fiedler, Algebraic connectivity of graphs, Czech. Math. J., 23 (1973), 298–305.
    [9] B. Furtula, I. Gutman, A forgotten topological index, J. Math. Chem., 53 (2015), 1184–1190. https://doi.org/10.1007/s10910-015-0480-z doi: 10.1007/s10910-015-0480-z
    [10] G. H. Fath-Tabar, Old and new Zagreb indices of graphs, MATCH Commun. Math. Comput. Chem., 65 (2011), 79–84.
    [11] J. M. Guo, On the second largest Laplacian eigenvalue of trees, Linear Algebra Appl., 404 (2005), 251–261. https://doi.org/10.1016/j.laa.2005.02.031 doi: 10.1016/j.laa.2005.02.031
    [12] A. Ghosh, S. Boyd, A. Saberi, Minimizing effective resistance of a graph, SIAM Rev., 50 (2008), 37–66. https://doi.org/10.1137/050645452 doi: 10.1137/050645452
    [13] I. Gutman, S. A Klavžar, B. Mohar, Fifty years of the Wiener index, MATCH Commun. Math. Comput. Chem., 1997, 1–259.
    [14] R. Grone, R. Merris, The Laplacian spectrum of a graph Ⅱ, SIAM J. Discrete Math., 7 (1994), 221–229. https://doi.org/10.1137/S0895480191222653 doi: 10.1137/S0895480191222653
    [15] I. Gutman, B. Mohar, The quasi-Wiener and the Kirchhoff indices coincide, J. Chem. Inf. Comput. Sci., 36 (1996), 982–985. https://doi.org/10.1021/ci960007t doi: 10.1021/ci960007t
    [16] R. Grone, R. Merris, V. S. Sunder, The Laplacian spectral of graphs, SIAM J. Matrix Anal. Appl., 11 (1990), 218–238. https://doi.org/10.1137/0611016 doi: 10.1137/0611016
    [17] W. Gao, M. K. Siddiqui, M. Imran, M. K. Jamil, M. R. Farahani, Forgotten topological index of chemical structure in drugs, Saudi Pharm. J., 24 (2016), 258–264. https://doi.org/10.1016/j.jsps.2016.04.012 doi: 10.1016/j.jsps.2016.04.012
    [18] I. Gutman, N. Trinajstić, Graph theory and molecular orbitals. Total p-electron energy of alternant hydrocarbons, Chem. Phys. Lett., 17 (1972), 535–538. https://doi.org/10.1016/0009-2614(72)85099-1 doi: 10.1016/0009-2614(72)85099-1
    [19] D. P. Jacobs, E. R. Oliveira, V. Trevisan, Most Laplacian eigenvalues of a tree are small, J. Comb. Theory B, 146 (2021), 1–33. https://doi.org/10.1016/j.jctb.2020.07.003 doi: 10.1016/j.jctb.2020.07.003
    [20] D. J. Klein, M. Randić, Resistance distance, J. Math. Chem., 12 (1993), 81–95. https://doi.org/10.1007/BF01164627 doi: 10.1007/BF01164627
    [21] M. Knor, R. Škrekovski, A. Tepeh, Mathematical aspects of Wiener index, Ars Math. Contemp., 11 (2016), 327–352. https://doi.org/10.26493/1855-3974.795.ebf doi: 10.26493/1855-3974.795.ebf
    [22] J. X. Li, J. M. Guo, W. C. Shiu, S. B. B. Altinda, D. Bozkurt, Bounding the sum of powers of normalized Laplacian eigenvalues of a graph, Appl. Math. Comput., 324 (2018), 82–92. https://doi.org/10.1016/j.amc.2017.12.003 doi: 10.1016/j.amc.2017.12.003
    [23] X. Li, R. N. Mohapatra, R. S. Rodriguez, Grüss-type inequalities, J. Math. Anal. Appl., 267 (2002), 434–443. https://doi.org/10.1006/jmaa.2001.7565 doi: 10.1006/jmaa.2001.7565
    [24] J. S. Li, Y. L. Pan, A note on the second largest eigenvalue of the Laplacian matrix of a graph, Linear Multilinear A, 48 (2000), 117–121. https://doi.org/10.1080/03081080008818663 doi: 10.1080/03081080008818663
    [25] Y. Lipman, R. M. Rustamov, T. A. Funkhouser, Biharmonic distance, ACM T. Graphic, 29 (2010), 1–11. https://doi.org/10.1145/1805964.1805971 doi: 10.1145/1805964.1805971
    [26] R. Merris, Laplacian matrices of graphs: a survey, Linear Algebra Appl., 197–198 (1994), 143–176. https://doi.org/10.1016/0024-3795(94)90486-3 doi: 10.1016/0024-3795(94)90486-3
    [27] R. Merris, Laplacian graph eigenvectors, Linear Algebra Appl., 278 (1998), 221–236. https://doi.org/10.1016/S0024-3795(97)10080-5 doi: 10.1016/S0024-3795(97)10080-5
    [28] L. A. J. Müller, K. G. Kugler, M. Netzer, A. Graber, M. Dehmer, A network-based approach to classify the three domains of life, Biol. Direct, 6 (2011), 53. https://doi.org/10.1186/1745-6150-6-53 doi: 10.1186/1745-6150-6-53
    [29] A. Mehler, A. Lücking, P. Wei, A network model of interpersonal alignment in dialog, Entropy, 12 (2010), 1440–1483. https://doi.org/10.3390/e12061440 doi: 10.3390/e12061440
    [30] M. R. Oboudi, A new lower bound for the energy of graphs, Linear Algebra Appl., 580 (2019), 384–395. https://doi.org/10.1016/j.laa.2019.06.026 doi: 10.1016/j.laa.2019.06.026
    [31] T. Puzyn, J. Leszczynski, M. T. D. Cronin, Recent advances in QSAR studies-methods and applications, Dordrecht: Springer, 2010.
    [32] G. Pólya, Aufgaben und Lehrsütze ans der analysis, Band I: Reihen, Integralrechnung, Funktiontheorie (in German), Berlin: Springer Verlag, 1970.
    [33] J. Radon, Über die absolut additiven mengenfunktionen, Wiener-Sitzungsber, 122 (1913), 1295–1438.
    [34] S. D. Stankov, M. M. Matejić, I. Ž. Milovanović, E. I. Milovanović, Ș. B. B. Altındağ, Some new bounds on the first Zagreb index, Electron. J. Math., 1 (2021), 101–107. https://doi.org/10.47443/ejm.2021.0014 doi: 10.47443/ejm.2021.0014
    [35] H. Wiener, Structural determination of paraffin boiling point, J. Amer. Chem. Soc., 69 (1947), 17–20. https://doi.org/10.1021/ja01193a005 doi: 10.1021/ja01193a005
    [36] Y. L. Wei, R. H. Li, W. H. Yang, Biharmonic distance of graphs, arXiv: 2110.02656.
    [37] Y. H. Yi, B. L. Yang, Z. Z. Zhang, S. Patterson, Biharmonic distance and the performance of second-order consensus networks with stochastic disturbances, 2018 Annual American Control Conference (ACC), 2018, 4943–4950. https://doi.org/10.23919/ACC.2018.8431294
    [38] Z. B. Zhang, W. Y. Xu, Y. H. Yi, Z. Z. Zhang, Fast approximation of coherence for second-order noisy consensus networks, IEEE T. Cybernetics, 52 (2022), 677–686. https://doi.org/10.1109/TCYB.2020.2965586 doi: 10.1109/TCYB.2020.2965586
  • Reader Comments
  • © 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2177) PDF downloads(77) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog