This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

\setkeys

Grotunits=360

\catchline

Spectral Analysis and its applications for a class of scale-free network based on the weighted m-clique annex operation

Zhizhuo Zhang School of Mathematics, Southeast University,
Nanjing 211189, PR China
[email protected]
   Jinde Cao111Corresponding Author. School of Mathematics, Southeast University,
Nanjing 211189, PR China
Yonsei Frontier Lab, Yonsei University,
Seoul 03722, South Korea
[email protected]
   Bo Wu School of Applied Mathematics, Nanjing University of Finance and Economics,
Nanjing, 210023, P.R. China
[email protected]
   Ardak Kashkynbayev Department of Mathematics, Nazarbayev University,
Nur-Sultan 010000, Kazakhstan
[email protected]
Abstract

The spectrum of network is an important tool to study the function and dynamic properties of network, and graph operation and product is an effective mechanism to construct a specific local and global topological structure. In this study, a class of weighted mm-clique annex operation τmr()\tau_{m}^{r}(\cdot) controlled by scale factor mm and weight factor rr is defined, through which an iterative weighted network model GtG_{t} with small-world and scale-free properties is constructed. In particular, when the number of iterations tt tends to infinity, the network has transfinite fractal property. Then, through the iterative features of the network structure, the iterative relationship of the eigenvalues of the normalized Laplacian matrix corresponding to the network is studied. Accordingly, some applications of the spectrum of the network, including the Kenemy constant, Multiplicative Degree-Kirchhoff index and the number of weighted spanning trees, are further given. In addition, we also study the effect of the two factors controlling network operation on the structure and function of the iterative weighted network GtG_{t}, so that the network operation can better simulate the real network and have more application potential in the field of artificial network.

keywords:
Self-similarity, Transfinite fractal, Spectrum, Scale-free, Small-word.

1 Introduction

As a new and interdisciplinary science, complex network has attracted the attention of many scholars because of its application in various fieldsNewman [2003]. Modern science has confirmed that theory of graph spectra is an important tool for studying complex networksWu et al. [2019]; Yi et al. [2018]; Qi et al. [2018]; Zeng & Zhang [2021]; Van Mieghem [2010]. Many functions or dynamic properties on a complex network are difficult to directly respond to the topology of the network, but can be studied through the properties of the spectrum, such as: mixing time, Laplacian energy, hitting time, Kemeny constant, Multiplicative Degree-Kirchhoff index, the number of spanning trees, etcMehatari & Banerjee [2015]; Julaiti et al. [2013]; Tetali [1991]; Chen & Zhang [2007]; Chang et al. [2014]; Qi et al. [2015]. Moreover, studies of complex networks in real world show that these network models often have some common overall properties, such as small-world properties, scale-free properties, and so onWatts & Strogatz [1998]; Barabási & Albert [1999]. Therefore, it has become a hot topic in network science to study the dynamic properties of complex networks with this properties by using the spectrum of networks.

However, for large-scale random complex networks, it is often very difficult to study their spectra due to the complexity of their corresponding matrices. Therefore, considerable attention has been used to find the generation mechanism and model of the network showing the salient features of the real network, and to study the properties of the spectrum on itPrałat & Wang [2011]; Zhang & Comellas [2011]; Barrat et al. [2004b, a]. Graph operation and product is a representative of these network generation mechanisms, which has been widely used to generate regular network models with scale-free, small-world, and self-similarity properties. Furthermore, given that complex networks often have some special local structures, such as communities, motifs and cliquesGirvan & Newman [2002]; Milo et al. [2002]; Tsourakakis [2015], and graph operations and products can iteratively generate a large scale network with some special local structures from a small initial network, more and more attention has been paid to this generating mechanism of the complex network. In addition, due to the certainty of network operation rules, the properties of the spectrum are often studied systematically, which cannot be achieved in the real complex networkWu et al. [2019]; Yi et al. [2018]; Qi et al. [2018]; Zeng & Zhang [2021]. At present, many network operations have been used to design and construct complex network models and to study the topological and dynamic properties on them, including: qq-subdivision, planar triangulation, Cartesian product, hierarchical product, corona product, Kronecker product, etc.Wood [2005]; Jin et al. [2017]; Imrich & Klavzar [2000]; Barriere et al. [2016]; Sharma et al. [2017]; Mahdian & Xu [2007]. However, the network iteration methods in the above articles all use nodes as the basic unit, and the iterative model with local node sets as the unit has never been studied.

In this paper, we define a class of weighted mm-clique annex operation, in which we attach an mm-complete subgraph to each edge of the network. Therefore, the network model constructed by this operation has significant local characteristics. In addition, the weighted network model constructed by iterative operation has significant small world, scale-free and self-similarity. Moreover, when the number of iterations tt tends to infinity, the network has transfinite fractal property. Then, based on the change of network topology structure by the weighted mm-clique annex operation, the iterative relation of spectrum (eigenvalue) of normalized Laplacian matrix will be analysed. Furthermore, we will calculate the analytic expressions of three characteristic quantities on the weighted network model, which are Kemeny constant, Multiplicative Degree-Kirchhoff index and the number of weighted spanning trees. These characteristics are closely related to the overall topological or dynamic properties of the network, which can be used not only to analyze the influence of the special topological structure of the network on the network function and its topological properties, but also have application potential in the field of science and engineering. It is worth mentioning that the weighted mm-clique annex operation is controlled by the scale factor mm and the weight factor rr, in which the change of the scale factor mm will greatly affect the overall topology structure of the network, while the weight factor rr can affect the network functions and topological properties without changing the network structure. Therefore, the combination of the two factors can not only better simulate the real network model, but also provide better controllability for some artificial network systems.

This article will be divided into the following four parts: in the second Section, we will introduce the specific definition of the weighted mm-clique annex operation and some topological properties of the iterative weighted network constructed from it, including the number of nodes, degree distribution, and transfractal dimension. In the third Section, the iterative relationship of the normalized Laplaacian matrix from the changes in the network topology caused by network operations will be derived, and the iterative expression of its spectrum will be proved. In the fourth Section, three applications of network normalized Laplacian matrix spectrum will be presented. In addition, the relationship between Kenemy constants and scale factors and weight factors will be numerically simulated to analyze the impact of the above two factors on network functions and topological properties. Finally, in fifth Section, we will summarize the whole article.

2 Properties of weighted mm-clique annex operation

2.1 Construction method of the operation

In this Section, the construction of weighted mm-clique annex operation and some topological properties are introduced . First of all, it should be clear that the mm-clique mentioned here is a complete subgraph with mm nodes, denoted as KmK_{m}. Since the initial network is only required to be a connected network, which is denoted as G0G_{0}, the weighted mm-clique annex operation has strong applicability. Then, the construction of the weighted mm-clique annex operation is as follows: for any edge with weight of ω\omega in network G0G_{0}, add a clique KmK_{m}, and connect all nodes in the KmK_{m} to the two nodes connected by the edge, and then specify that the weight of all newly generated edges is rωr\omega. The new weighted network generated by the network operation of the initial network G0G_{0} is denoted as G1G_{1}. The weighted mm-clique annex operation is controlled by and only by two parameters, namely scale factor m(m+)m(m\in\mathbb{N}^{+}) and weight factor r(r+)r(r\in\mathbb{R}^{+}). Therefore, the network operation process is denoted as τmr()\tau^{r}_{m}(\cdot), so the following relation can be obtained:

G1=τmr(G0).G_{1}=\tau^{r}_{m}(G_{0}).

Obviously, in this operation, each edge in G0G_{0} will correspond to a weighted clique KmK_{m}, and the weight of the edge connected by all nodes in this clique is determined by the edge in this G0G_{0}, so we call this edge the ”parent” of this weighted clique KmK_{m}. For example, when the size factor m=4m=4, the process of network operation τ4r()\tau^{r}_{4}(\cdot) is shown in Fig.1.

Refer to caption
Figure 1: Schematic diagram of the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot) with m=4m=4: black nodes ii and jj are the nodes existing in the original network, and the weight of the edge connecting the two nodes is denoted as ωij\omega_{ij}; the blue nodes are the new nodes generated after network operation τ4r()\tau^{r}_{4}(\cdot), where the weight of the red edge is rωijr\omega_{ij}.

Naturally, for any initial network G0G_{0}, the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot) can be repeatedly used to generate a complex network model, denoted as GtG_{t}, where tt represents the number of iterations of the operation. Therefore, network GtG_{t} can be expressed as follows:

Gt=τmr(τmr(τmr(G0)))t.G_{t}=\underbrace{\tau^{r}_{m}(\tau^{r}_{m}(\cdots\tau^{r}_{m}(G_{0})\cdots))}_{t}.

According to the definition of operation τmr()\tau^{r}_{m}(\cdot), as the number of iterations increases, the size of the network will increase exponentially, but the diameter of the network will only increase linearly, so the iterative weighted network has a small-world property. In order to facilitate later calculation, when we consider the relevant properties of weighted iterative network GtG_{t}, each edge in the initial network G0G_{0} is set as unit weight.

Remark 2.1.

In the network operator τmr()\tau^{r}_{m}(\cdot), the introduction of the local weighted clique KmK_{m} has both practical and theoretical significance. Firstly, the reality is based on the fact that during the dynamic growth of the actual network, the newly generated nodes are to be connected to the original network not necessarily in the form of isolated nodes, but based on a certain local structure as the basic unit. Therefore, the designed network operator τmr()\tau^{r}_{m}(\cdot) can clearly reflect this feature. Second, by studying the dynamic characteristics of the network model generated by the network operator τmr()\tau^{r}_{m}(\cdot), the extent to which the dynamic growth network GtG_{t} is affected by such a local structure KmK_{m} will be explained theoretically.

2.2 Topological properties of operation

Then, the iterative rules of nodes, edges and strengths in the network under this operation will be studied. First, we specify that the symbol |||\cdot| represents the number of elements in the set. For any initial network G0G_{0}, the set of nodes and the set of edges are denoted as V0V_{0} and E0E_{0}, respectively. Obviously, after the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot), the number of nodes and the number of edges in network G1G_{1} satisfy the following relation:

|E1|=|E0|(12m2+32m+1)and|V1|=|V0|+m|E0|.|E_{1}|=|E_{0}|\cdot(\frac{1}{2}m^{2}+\frac{3}{2}m+1)~{}~{}~{}\textrm{and}~{}~{}~{}|V_{1}|=|V_{0}|+m\cdot|E_{0}|.

Then, the sets of nodes and edges in the iterated weighted network GtG_{t} are denoted as NtN_{t} and EtE_{t} respectively. From the above relationship, it can be naturally deduced that:

|Et|\displaystyle|E_{t}| =\displaystyle= |E0|(12m2+32m+1)t\displaystyle|E_{0}|\cdot(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t} (1)
|Vt|\displaystyle|V_{t}| =\displaystyle= |V0|+2|E0|m+3[(12m2+32m+1)t1].\displaystyle|V_{0}|+\frac{2|E_{0}|}{m+3}\Big{[}(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1\Big{]}. (2)

Then, the set of nodes already existing in the previous generation network Gt1G_{t-1} contained in VtV_{t} is denoted as V^t\hat{V}_{t}. Therefore, the rest nodes are newly generated after the tt-th operation τmr()\tau_{m}^{r}(\cdot), and the set of this nodes is denoted as V¯t\bar{V}_{t}. Moreover, for any node iVti\in V_{t}, the set formed by nodes adjacent to node ii is denoted as VtiV^{i}_{t}. Then, for any node jVtij\in V^{i}_{t}, there must be an edge between node ii and node jj, denoted as eije_{ij}, and the weight of this edge denoted as ωij\omega_{ij}. In addition, for the convenience of later calculation, the following provisions are made:

V¯ti=VtiV¯t,V^ti=VtiV^t,V¯tij=VtiVtjV¯t.\bar{V}_{t}^{i}=V_{t}^{i}\cap\bar{V}_{t},~{}~{}\hat{V}_{t}^{i}=V_{t}^{i}\cap\hat{V}_{t},~{}~{}\bar{V}_{t}^{ij}=V_{t}^{i}\cap V_{t}^{j}\cap\bar{V}_{t}.

Then, for any node iVti\in V_{t}, its strength is defined as:

sti=jVtiωij.s_{t}^{i}=\sum_{j\in V^{i}_{t}}\omega_{ij}.

Naturally, if iV^ti\in\hat{V}_{t}, from the construction mode of operation τmr()\tau_{m}^{r}(\cdot), it can be obtained that stis_{t}^{i} satisfies the following relation:

sti=(mr+1)st1it1.\displaystyle s_{t}^{i}=(mr+1)s_{t-1}^{i}~{}~{}~{}t\geq 1. (3)

If node ii belongs to set V¯t\bar{V}_{t}, the parent edge of this node is denoted as eie^{*}_{i}, and the weight of this edge is denoted as ωi\omega^{*}_{i}, then the strength of this node must satisfy:

sti=(m+1)rωi.\displaystyle s_{t}^{i}=(m+1)r\omega^{*}_{i}. (4)

Therefore, the total strength of the iterative weighted network GtG_{t}, denoted as StS_{t}, can be defined as:

St=eijEtωij=12iVtsti.S_{t}=\sum_{e_{ij}\in E_{t}}\omega_{ij}=\frac{1}{2}\sum_{i\in V_{t}}s_{t}^{i}.

The total strength StS_{t} of weighted iterative network GtG_{t} can be obtained by network operation τmr()\tau_{m}^{r}(\cdot), which satisfies the following relation:

St=(12rm2+32rm+1)St1=(12rm2+32rm+1)tS0.S_{t}=(\frac{1}{2}rm^{2}+\frac{3}{2}rm+1)S_{t-1}=(\frac{1}{2}rm^{2}+\frac{3}{2}rm+1)^{t}S_{0}.

In the iterative weighted network GtG_{t}, since the weight of each edge of the initial network G0G_{0} is defined as 11, it can be obtained that S0=E0S_{0}=E_{0}.

2.3 Degree distribution of the iterative network GtG_{t}

Next, the influence of the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot) on the network degree distribution will be discussed. Firstly, for any node iVti\in V_{t}, its degree, denoted as dtid_{t}^{i}, is defined as the number of adjacent nodes of the node ii, which satisfy dti=|Vti|d_{t}^{i}=|V_{t}^{i}|. Similar to the node strength in network GtG_{t}, it is easy to prove that for any node iVti\in V_{t}, its degree dtid_{t}^{i} must satisfy the following relation:

dti={(m+1)dt1i,iV^tm+1,iV¯t.d_{t}^{i}=\left\{\begin{array}[]{lcl}(m+1)d_{t-1}^{i}{}{}&,&i\in\hat{V}_{t}\\ m+1{}{}&,&i\in\bar{V}_{t}\end{array}\right..

From the above relation, it can be further obtained:

dti={d0i(m+1)t,ifiV0(m+1)kand1kt,other,d_{t}^{i}=\left\{\begin{array}[]{lcl}d_{0}^{i}(m+1)^{t}{}{}&,&\textrm{if}~{}~{}i\in V_{0}\\ (m+1)^{k}~{}~{}\textrm{and}~{}~{}1\leq k\leq t{}{}&,&\textrm{other}\end{array}\right.,

where d0id_{0}^{i} represents the degree of node ii in network G0G_{0}.

Then, for the iterative network GtG_{t}, its degree distribution, denoted as Pt(α)P^{t}(\alpha), is defined as the probability that a node is randomly selected from set VtV_{t} with degree α\alpha. However, since the degree distribution of the network is generally a discrete function, we pay more attention to the cumulative degree distribution on the iterative network GtG_{t}, denoted as Pcumt(α)P^{t}_{cum}(\alpha), which is defined as the probability that the degree of randomly selected node is greater than or equal to α\alpha, that is:

Pcumt(α)=x=αPt(x).P^{t}_{cum}(\alpha)=\sum_{x=\alpha}^{\infty}P^{t}(x).

Since the network structure of the initial network G0G_{0} is known, the degree distribution P0(α)P^{0}(\alpha) and the accumulative degree distribution Pcum0(α)P^{0}_{cum}(\alpha) on the network are known initial conditions. Therefore, for node iV0i\in V_{0} in iterative network GtG_{t}, its degree distribution must satisfy the following conditions:

Pt(dti)=Pt(d0i(m+1)t)=|V0||Vt|P0(d0i)=P0(d0i)(1+2|E0||V0|(m+3)[(12m2+32m+1)t1])1\displaystyle P^{t}(d_{t}^{i})=P^{t}(d_{0}^{i}(m+1)^{t})=\frac{|V_{0}|}{|V_{t}|}P^{0}(d_{0}^{i})=P^{0}(d_{0}^{i})\cdot\Big{(}1+\frac{2|E_{0}|}{|V_{0}|(m+3)}\Big{[}(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1\Big{]}\Big{)}^{-1} (5)

According to the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot), the degree of nodes generated in the same iteration operation in the iterative network GtG_{t} is equal, and the degree of nodes generated in different generations must not be equal. Therefore, based on the iterative rule of node degree, it is easy to prove that the number of nodes with degree (m+1)k(m+1)^{k} belonging to set Vt/V0V_{t}/V_{0} is E0m(12m2+32m+1)tkE_{0}\cdot m(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t-k}, where 1kt1\leq k\leq t. Therefore, for node iVt/V0i\in V_{t}/V_{0} with degree (m+1)k(m+1)^{k} in network GtG_{t}, its degree distribution satisfies the following relation:

Pt(dti)=Pt((m+1)k)=E0m(12m2+32m+1)tk|V0|+2|E0|m+3[(12m2+32m+1)t1].\displaystyle P^{t}(d_{t}^{i})\!=\!P^{t}((m+1)^{k})\!=\!\frac{E_{0}\cdot m(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t-k}}{|V_{0}|+\frac{2|E_{0}|}{m+3}\big{[}(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1\big{]}}. (6)

From Eq.(5) and Eq.(6), the degree distribution on the iterative network GtG_{t} can be obtained, and then its cumulative degree distribution can be solved.

If α+\alpha\in\mathbb{R}^{+} and α(m+1)t\alpha\leq(m+1)^{t}, according to the definition, the cumulative degree distribution Pcumt(α)P^{t}_{cum}(\alpha) on the iterative network GtG_{t} can be expressed as:

Pcumt(α)\displaystyle P^{t}_{cum}(\alpha) =\displaystyle= 1k=1βPt((m+1)k)\displaystyle 1-\sum_{k=1}^{\beta}P^{t}((m+1)^{k}) (7)
=\displaystyle= 1k=1βE0m(12m2+32m+1)tk|V0|+2|E0|m+3[(12m2+32m+1)t1]\displaystyle 1-\sum_{k=1}^{\beta}\frac{E_{0}\cdot m(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t-k}}{|V_{0}|+\frac{2|E_{0}|}{m+3}\big{[}(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1\big{]}}
=\displaystyle= |V0|(m+3)+2|E0|[(12m2+32m+1)tβ1]|V0|(m+3)+2|E0|[(12m2+32m+1)t1],\displaystyle\frac{|V_{0}|(m+3)+2|E_{0}|[(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t-\beta}-1]}{|V_{0}|(m+3)+2|E_{0}|[(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1]},

where β\beta is the largest positive integer that satisfy (m+1)β<α(m+1)^{\beta}<\alpha, so it can be obtained that β=lnαln(m+1)1\beta=\lceil\frac{\ln\alpha}{\ln(m+1)}\rceil-1.

If α+\alpha\in\mathbb{R}^{+} and α>(m+1)t\alpha>(m+1)^{t}, it is easy to deduce from Eq.(5) that the accumulative degree distribution Pcumt(α)P_{cum}^{t}(\alpha) on the iterative network GtG_{t} satisfies the following relation:

Pcumt(α)=|V0||Vt|Pcum0(β)=Pcum0(β)(1+2|E0||V0|(m+3)[(12m2+32m+1)t1])1,\displaystyle P^{t}_{cum}(\alpha)=\frac{|V_{0}|}{|V_{t}|}P^{0}_{cum}(\beta)=P^{0}_{cum}(\beta)\Big{(}1+\frac{2|E_{0}|}{|V_{0}|(m+3)}\Big{[}(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1\Big{]}\Big{)}^{-1},

where β=α(m+1)t\beta=\lceil\frac{\alpha}{(m+1)^{t}}\rceil. Therefore, from Eq.(7) and Eq.(2.3), the analytic expression of the accumulative degree distribution of iterated network GtG_{t} have obtained.

When the number of iterations in the network GtG_{t} is large enough so that |Vt||V0||V_{t}|\gg|V_{0}|, we can obtain:

Pcumt(α)=|V0||Vt|Pcum0(β)0,α>(m+1)t.P^{t}_{cum}(\alpha)=\frac{|V_{0}|}{|V_{t}|}P^{0}_{cum}(\beta)\approx 0,~{}~{}\alpha>(m+1)^{t}.

Therefore, the accumulative degree distribution Pcumt(α)P^{t}_{cum}(\alpha) on network GtG_{t} can be approximately expressed as:

Pcumt(α)|V0|(m+3)+2|E0|[α1γ(12m2+32m+1)t1]|V0|(m+3)+2|E0|[(12m2+32m+1)t1],P^{t}_{cum}(\alpha)\approx\frac{|V_{0}|(m+3)+2|E_{0}|[\alpha^{1-\gamma}(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1]}{|V_{0}|(m+3)+2|E_{0}|[(\frac{1}{2}m^{2}+\frac{3}{2}m+1)^{t}-1]},

where γ=2+ln(m2+1)ln(m+1)\gamma=2+\frac{\ln(\frac{m}{2}+1)}{\ln(m+1)}. Naturally, for large number of iterations tt, it can be proofed that:

Pcumt(α)α1γandPt(α)αγ.P^{t}_{cum}(\alpha)\sim\alpha^{1-\gamma}~{}~{}~{}\textrm{and}~{}~{}~{}P^{t}(\alpha)\sim\alpha^{-\gamma}.

where 2<γ<32<\gamma<3. Therefore, when the number of iterations tt is large enough, the iterated network GtG_{t} generated by this weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot) is a scale-free network model with power exponent γ=2+ln(m2+1)ln(m+1)\gamma=2+\frac{\ln(\frac{m}{2}+1)}{\ln(m+1)}.Barabási & Albert [1999]

2.4 Transfractal dimension of the iterative network GtG_{t}

Due to the global self-similarity of the network, the network GtG_{t} will have transfinite fractal properties when the number of iterations tt\rightarrow\infty.Rozenfeld et al. [2007] First, based on the network architecture, it is easy to prove that the network diameter LtL_{t} satisfies:

Lt=L0+t,L_{t}=L_{0}+t,

where, L0L_{0} is the diameter of the initial network G0G_{0}. Then, the network transfinite fractal dimension d¯f\bar{d}_{f} satisfies Rozenfeld et al. [2007]:

|VLt+|=ed¯f|VLt|,t.|V_{L_{t}+\ell}|=e^{\ell\bar{d}_{f}}|V_{L_{t}}|,~{}~{}~{}t\rightarrow\infty.

Therefore, the transfinite fractal dimension d¯f\bar{d}_{f} of the iterative network GtG_{t} is:

d¯f=ln(12m2+32m+1).\bar{d}_{f}=\ln(\frac{1}{2}m^{2}+\frac{3}{2}m+1).

3 Spectral analysis

3.1 Definition of matrix and its spectrum

In this Section, the spectral properties of the normalized Laplacian matrix corresponding to the iterative weighted network GtG_{t} will be studied. Firstly, the relevant definitions need to be given. For the iterative weighted network GtG_{t} (t0)(t\geq 0), the corresponding generalized adjacency matrix, denoted as WtW_{t}, is the square matrix with |Vt||V_{t}| rows and |Vt||V_{t}| columns, where the element of the ii-th row and the jj-th column is denoted as Wt(i,j)W_{t}(i,j), which satisfies the following relation:

Wt(i,j)={ωij,ij0,otherwise,W_{t}(i,j)=\left\{\begin{array}[]{rcl}\omega_{ij}{}{}&,&i\sim j\\ 0{}{}&,&\textrm{otherwise}\end{array}\right.,

where ii and jj correspond to two nodes in the network GtG_{t} respectively, while iji\sim j represents that two nodes are adjacent. Then, the diagonal strength matrix of iterative weighted network GtG_{t} can be defined as: Dt=diag{st1,st2,,st|Vt|}D_{t}=diag\{s_{t}^{1},s_{t}^{2},\ldots,s_{t}^{|V_{t}|}\}. Based on the generalized adjacency matrix WtW_{t} and diagonal strength matrix DtD_{t}, the probability transfer matrix, denoted as TtT_{t}, can be defined as: Tt=Dt1WtT_{t}=D_{t}^{-1}W_{t}, where the element Tt(i,j)T_{t}(i,j) in the ii-th row and the jj-th column represents the probability of the walker transferring from node ii to node jj. It is noteworthy that the probability transfer matrix TtT_{t} is an asymmetric matrix in most cases. In order to make it symmetric, the normalized adjacency matrix PtP_{t} of iterative weighted network GtG_{t} can be defined as:

Pt=Dt12WtDt12=Dt12TtDt12.\displaystyle P_{t}=D_{t}^{-\frac{1}{2}}W_{t}D_{t}^{-\frac{1}{2}}=D_{t}^{-\frac{1}{2}}T_{t}D_{t}^{\frac{1}{2}}. (8)

Clearly, the normalized adjacency matrix PtP_{t} is similar to the probability transfer matrix TtT_{t}, so they have the same eigenvalues. Then, we can define the normalized Laplacian matrix LtL_{t} as:

Lt=I|Vt|Dt12TtDt12=I|Vt|Pt,\displaystyle L_{t}=I_{|V_{t}|}-D_{t}^{-\frac{1}{2}}T_{t}D_{t}^{\frac{1}{2}}=I_{|V_{t}|}-P_{t}, (9)

where I|Vt|I_{|V_{t}|} is the identity matrix with rank |Vt||V_{t}|.

To represent the spectrum of normalized Laplacian matrix of the iterative weighted network GtG_{t}, the eigenvalues of matrix LtL_{t} are denoted as σti\sigma_{t}^{i} (1i|Vt|)(1\leq i\leq|V_{t}|) which satisfy σt1σt2σt|Vt|\sigma_{t}^{1}\leq\sigma_{t}^{2}\leq\cdots\leq\sigma_{t}^{|V_{t}|}, and the set of all its eigenvalues is denoted as Ψt={σt1,σt2,,σt|Vt|}\Psi_{t}=\{\sigma_{t}^{1},\sigma_{t}^{2},\ldots,\sigma_{t}^{|V_{t}|}\}. Similarly, the eigenvalues of normalized adjacency matrix PtP_{t} of the network GtG_{t} are defined as λti\lambda_{t}^{i} (1i|Vt|)(1\leq i\leq|V_{t}|), which satisfies λt1λt2λt|Vt|\lambda_{t}^{1}\geq\lambda_{t}^{2}\geq\cdots\geq\lambda_{t}^{|V_{t}|}, and the set of all eigenvalues is denoted as: Λt={λt1,λt2,,λt|Vt|}\Lambda_{t}=\{\lambda_{t}^{1},\lambda_{t}^{2},\ldots,\lambda_{t}^{|V_{t}|}\}. From the Eq.(9), it is easy to prove that its eigenvalues satisfy the following relation:

σti=1λti,i[1,|Vt|].\displaystyle\sigma_{t}^{i}=1-\lambda_{t}^{i},~{}~{}~{}i\in\big{[}1,|V_{t}|\big{]}. (10)

Therefore, only by solving all the eigenvalues of the normalized adjacency matrix PtP_{t} of the iterative weighted network GtG_{t}, the spectrum of normalized Laplacian matrix can be given by Eq.(10). In addition, previous studies have proved that the eigenvalue λti\lambda_{t}^{i} of normalized adjacency matrix PtP_{t} of weighted connected network must satisfy the following properties:Chung & Graham [1997]

1=λt1>λt2λt|Vt|1.1=\lambda_{t}^{1}>\lambda_{t}^{2}\geq\cdots\geq\lambda_{t}^{|V_{t}|}\geq-1.

Therefore, the spectrum of the normalized Laplacian matrix LtL_{t} of the iterative weighted network GtG_{t} that satisfies the following condition:

0=σt1<σt2σt|Vt|2,0=\sigma_{t}^{1}<\sigma_{t}^{2}\leq\cdots\leq\sigma_{t}^{|V_{t}|}\leq 2,

whih is very important for us to solve the eigenvalues of the matrices PtP_{t} and LtL_{t} later.

3.2 Iteration relation of spectrum of the Laplacian matrix

Since the iterative weighted network GtG_{t} is generated by the operation τmr()\tau^{r}_{m}(\cdot), the spectrum of the normalized Laplacian matrix between two successive generations may also have some correlation. In this Subsection, the iterative relationship of the eigenvalues of the normalized Laplacian matrix LtL_{t} will be revealed.

For any eigenvalue λtΛt\lambda_{t}\in\Lambda_{t} of the normalized adjacency matrix PtP_{t}, the corresponding eigenvector is denoted as ψt\psi_{t}, where ψt\psi_{t} can be expressed as ψt=[ψt1,ψt2,,ψt|Vt|]\psi_{t}=[\psi_{t}^{1},\psi_{t}^{2},\ldots,\psi_{t}^{|V_{t}|}]^{\top}, and the element ψti\psi_{t}^{i} in the vector corresponds to the node ii in the network GtG_{t}. According to the definition given by Eq.(8), the elements in the normalized adjacency matrix can be expressed as:

Pt(i,j)=ωi,jstistj.P_{t}(i,j)=\frac{\omega_{i,j}}{\sqrt{s_{t}^{i}\cdot s_{t}^{j}}}.

If node ii is specified to satisfy iV^ti\in\hat{V}_{t}, the following equation can be obtained from the relationship between eigenvalues and eigenvectors:

λtψti\displaystyle\lambda_{t}\cdot\psi_{t}^{i} =\displaystyle= jVtiPt(i,j)ψtj\displaystyle\sum_{j\in V_{t}^{i}}P_{t}(i,j)\psi_{t}^{j} (11)
=\displaystyle= jV^tiωijstistjψtj+kV¯tiωi,kstistkψtk.\displaystyle\sum_{j\in\hat{V}_{t}^{i}}\frac{\omega_{ij}}{\sqrt{s_{t}^{i}\cdot s_{t}^{j}}}\psi_{t}^{j}+\sum_{k\in\bar{V}_{t}^{i}}\frac{\omega_{i,k}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{k}.

From Eq(3), the first term of Eq.(11) can be simplified to obtain the following relation:

jV^tiωijstistjψtj=1mr+1jVt1iωijst1ist1jψtj.\displaystyle\sum_{j\in\hat{V}_{t}^{i}}\frac{\omega_{ij}}{\sqrt{s_{t}^{i}\cdot s_{t}^{j}}}\psi_{t}^{j}=\frac{1}{mr+1}\sum_{j\in V_{t-1}^{i}}\frac{\omega_{ij}}{\sqrt{s_{t-1}^{i}\cdot s_{t-1}^{j}}}\psi_{t}^{j}. (12)

When kV¯tik\in\bar{V}_{t}^{i}, it can be obtained from the definition in the first Section that

V¯ti=jV^tiV¯tij.\bar{V}_{t}^{i}=\bigcup_{j\in\hat{V}_{t}^{i}}\bar{V}_{t}^{ij}.

Therefore, the second term of Eq.(11) can be expressed as:

kV¯tiωikstistkψtk=jV^tikV¯tijωikstistkψtk\displaystyle\sum_{k\in\bar{V}_{t}^{i}}\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{k}=\sum_{j\in\hat{V}_{t}^{i}}\sum_{k\in\bar{V}_{t}^{ij}}\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{k} (13)

Obviously, the number of nodes in V¯tij\bar{V}_{t}^{ij} is mm and these nodes are equivalent to each other, so it is easy to prove that Eq.(13) can be simplified to the following form:

kV¯tiωikstistkψtk\displaystyle\sum_{k\in\bar{V}_{t}^{i}}\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{k} =\displaystyle= jV^tikV¯tijωikstistkψtk=jV^timrωijsti(m+1)rωijψtk.\displaystyle\sum_{j\in\hat{V}_{t}^{i}}\sum_{k\in\bar{V}_{t}^{ij}}\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{k}=\sum_{j\in\hat{V}_{t}^{i}}\frac{mr\omega_{ij}}{\sqrt{s_{t}^{i}\cdot(m+1)r\omega_{ij}}}\psi_{t}^{k}. (14)

Then, when kV¯tijk\in\bar{V}_{t}^{ij}, the relation between its corresponding eigenvector and eigenvalue can be expressed as:

λtψtk\displaystyle\lambda_{t}\cdot\psi_{t}^{k} =\displaystyle= hVtkPt(k,h)ψth\displaystyle\sum_{h\in V_{t}^{k}}P_{t}(k,h)\psi_{t}^{h} (15)
=\displaystyle= ωikstistkψti+ωjkstjstkψtj+hV¯tij/{k}ωkhstksthψth\displaystyle\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{i}+\frac{\omega_{jk}}{\sqrt{s_{t}^{j}\cdot s_{t}^{k}}}\psi_{t}^{j}+\sum_{h\in\bar{V}_{t}^{ij}/\{k\}}\frac{\omega_{kh}}{\sqrt{s_{t}^{k}\cdot s_{t}^{h}}}\psi_{t}^{h}
=\displaystyle= ωikstistkψti+ωjkstjstkψtj+m1m+1ψtk,\displaystyle\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{i}+\frac{\omega_{jk}}{\sqrt{s_{t}^{j}\cdot s_{t}^{k}}}\psi_{t}^{j}+\frac{m-1}{m+1}\psi_{t}^{k},

where we used the conclusions: ωkh=rωij\omega_{kh}=r\omega_{ij}, stk=sth=(m+1)rωijs_{t}^{k}=s_{t}^{h}=(m+1)r\omega_{ij} and the equivalence relation of the inner nodes of set V¯tij\bar{V}_{t}^{ij}. Therefore, the eigenvector element ψtk\psi_{t}^{k} corresponding to node kV¯tijk\in\bar{V}_{t}^{ij} satisfies the following relation:

ψtk=m+1λt(m+1)m+1rωijstk(ψtisti+ψtjstj),\displaystyle\psi_{t}^{k}=\frac{m+1}{\lambda_{t}(m+1)-m+1}\cdot\frac{r\omega_{ij}}{\sqrt{s_{t}^{k}}}\Big{(}\frac{\psi_{t}^{i}}{\sqrt{s_{t}^{i}}}+\frac{\psi_{t}^{j}}{\sqrt{s_{t}^{j}}}\Big{)}, (16)

where the eigenvalue λt\lambda_{t} must satisfy: λtm1m+1\lambda_{t}\neq\frac{m-1}{m+1}. Then, the eigenvector element ψtk\psi_{t}^{k} in Eq.(16) is substituted into Eq.(14) to obtain:

kV¯tiωikstistkψtk\displaystyle\sum_{k\in\bar{V}_{t}^{i}}\frac{\omega_{ik}}{\sqrt{s_{t}^{i}\cdot s_{t}^{k}}}\psi_{t}^{k} =\displaystyle= jV^timrωijλt(m+1)m+1(ψtisti+ψtjstistj)\displaystyle\sum_{j\in\hat{V}_{t}^{i}}\frac{mr\omega_{ij}}{\lambda_{t}(m+1)-m+1}\Big{(}\frac{\psi_{t}^{i}}{s_{t}^{i}}+\frac{\psi_{t}^{j}}{\sqrt{s_{t}^{i}s_{t}^{j}}}\Big{)} (17)
=\displaystyle= 1mr+1jVt1imrωijλt(m+1)m+1(ψtist1i+ψtjst1ist1j).\displaystyle\frac{1}{mr+1}\sum_{j\in V_{t-1}^{i}}\frac{mr\omega_{ij}}{\lambda_{t}(m+1)-m+1}\Big{(}\frac{\psi_{t}^{i}}{s_{t-1}^{i}}+\frac{\psi_{t}^{j}}{\sqrt{s_{t-1}^{i}s_{t-1}^{j}}}\Big{)}.~{}~{}~{}

Therefore, if Eq.(12) and Eq.(17) are substituted into Eq.(11), the following relation can be obtained:

λtψti\displaystyle\lambda_{t}\cdot\psi_{t}^{i} =\displaystyle= 1mr+1jVt1i[mrωijλt(m+1)m+1(ψtist1i+ψtjst1ist1j)+ωijst1ist1jψtj]\displaystyle\frac{1}{mr+1}\sum_{j\in V_{t-1}^{i}}\Big{[}\frac{mr\omega_{ij}}{\lambda_{t}(m+1)-m+1}\Big{(}\frac{\psi_{t}^{i}}{s_{t-1}^{i}}+\frac{\psi_{t}^{j}}{\sqrt{s_{t-1}^{i}s_{t-1}^{j}}}\Big{)}+\frac{\omega_{ij}}{\sqrt{s_{t-1}^{i}\cdot s_{t-1}^{j}}}\psi_{t}^{j}\Big{]} (18)
=\displaystyle= λt(m+1)m+1+mr(λt(m+1)m+1)(mr+1)jVt1iωijst1ist1jψtj+mrψtj(λt(m+1)m+1)(mr+1).\displaystyle\frac{\lambda_{t}(m+1)-m+1+mr}{(\lambda_{t}(m+1)-m+1)(mr+1)}\sum_{j\in V_{t-1}^{i}}\frac{\omega_{ij}}{\sqrt{s_{t-1}^{i}\cdot s_{t-1}^{j}}}\psi_{t}^{j}+\frac{mr\psi_{t}^{j}}{(\lambda_{t}(m+1)-m+1)(mr+1)}.

Then simplify Eq.(18) to obtain the following equation:

λt(λt(m+1)m+1)(mr+1)mrλt(m+1)m+1+mrψti=jVt1iPt1(i,j)ψtj,\displaystyle\frac{\lambda_{t}(\lambda_{t}(m+1)-m+1)(mr+1)-mr}{\lambda_{t}(m+1)-m+1+mr}\psi_{t}^{i}=\sum_{j\in V_{t-1}^{i}}P_{t-1}(i,j)\psi_{t}^{j}, (19)

where λtm1m+1\lambda_{t}\neq\frac{m-1}{m+1} and λtm1mrm+1\lambda_{t}\neq\frac{m-1-mr}{m+1}. From Eq.(19), it is easy to prove that when iV^ti\in\hat{V}_{t}, the new vector ψt\psi_{t}^{*} composed of the eigenvector element ψti\psi_{t}^{i} satisfies the following relation:

λt(λt(m+1)m+1)(mr+1)mrλt(m+1)m+1+mrψtλtψt=Pt1ψt.\displaystyle\frac{\lambda_{t}(\lambda_{t}(m+1)-m+1)(mr+1)-mr}{\lambda_{t}(m+1)-m+1+mr}\psi_{t}^{*}\triangleq\lambda_{t}^{*}\cdot\psi_{t}^{*}=P_{t-1}\cdot\psi_{t}^{*}.

Thus, it can be determined that λt\lambda_{t}^{*} is the eigenvalue of normalized adjacency matrix Pt1P_{t-1}, and ψt\psi_{t}^{*} is the eigenvector corresponding to the eigenvalue λt\lambda_{t}^{*}. The above Eq.(3.2) reflects the relationship between the eigenvalues of two successive generations of normalized adjacency matrices. Thus, it is easy to prove that, for λt1Λt1\forall\lambda_{t-1}\in\Lambda_{t-1}, there is λtΛt\lambda_{t}\in\Lambda_{t} such that the following relationship holds:

(mr+1)(m+1)λt2[(m1)(mr+1)+(m+1)λt1]λt[mr+(mr+1m)λt1]=0\displaystyle(mr+1)(m+1)\lambda_{t}^{2}-\big{[}(m-1)(mr+1)+(m+1)\lambda_{t-1}\big{]}\lambda_{t}-\big{[}mr+(mr+1-m)\lambda_{t-1}\big{]}=0 (20)

Then, we define the equations f1(x)f_{1}(x) and f2(x)f_{2}(x) as follows:

f1(x)=\displaystyle f_{1}(x)= 12(mr+1)(m+1)[(m1)(mr+1)+(m+1)x+\displaystyle\frac{1}{2(mr+1)(m+1)}\Bigg{[}(m-1)(mr+1)+(m+1)x+
[(m1)(mr+1)+(m+1)x]2+4(mr+1)(m+1)[mr+(mr+1m)x]],\displaystyle\sqrt{\big{[}(m-1)(mr+1)+(m+1)x\big{]}^{2}+4(mr+1)(m+1)\big{[}mr+(mr+1-m)x\big{]}}\Bigg{]}, (21)
f2(x)=\displaystyle f_{2}(x)= 12(mr+1)(m+1)[(m1)(mr+1)+(m+1)x\displaystyle\frac{1}{2(mr+1)(m+1)}\Bigg{[}(m-1)(mr+1)+(m+1)x-
[(m1)(mr+1)+(m+1)x]2+4(mr+1)(m+1)[mr+(mr+1m)x]].\displaystyle\sqrt{\big{[}(m-1)(mr+1)+(m+1)x\big{]}^{2}+4(mr+1)(m+1)\big{[}mr+(mr+1-m)x\big{]}}\Bigg{]}. (22)

Therefore, it can be concluded that for λt1Λt1\forall\lambda_{t-1}\in\Lambda_{t-1}, f1(λt1)f_{1}(\lambda_{t-1}) and f2(λt1)f_{2}(\lambda_{t-1}) are the eigenvalues of the adjacency matrix PtP_{t}, that is f1(λt1),f2(λt1)Λtf_{1}(\lambda_{t-1}),f_{2}(\lambda_{t-1})\in\Lambda_{t}. Here, it is worth noting that, according to the properties of matrix eigenvalues in Section 3.1 above, there is only one maximum eigenvalue in Λt1\Lambda_{t-1} that satisfies: λt11=1\lambda_{t-1}^{1}=1, so it can be obtained that:

f1(λt11)=1andf2(λt11)=2mr+1m(mr+1)(m+1).f_{1}(\lambda_{t-1}^{1})=1~{}~{}~{}\textrm{and}~{}~{}~{}f_{2}(\lambda_{t-1}^{1})=-\frac{2mr+1-m}{(mr+1)(m+1)}.

The monotonicity of f1(x)f_{1}(x) and f2(x)f_{2}(x) also ensures that the eigenvalues generated by f1(x)f_{1}(x) and f2(x)f_{2}(x) meet the following requirements:

1>f1(λt1)>f2(λt1)1whereλt1Λt1/{λt11}.1>f_{1}(\lambda_{t-1})>f_{2}(\lambda_{t-1})\geq-1~{}~{}~{}\textrm{where}~{}~{}~{}\lambda_{t-1}\in\Lambda_{t-1}/\{\lambda_{t-1}^{1}\}.

Then, combining Eq(10) and Eq(20), it is easy to prove that the eigenvalues of the Laplacian matrix LtL_{t} satisfy the following relationship:

(mr+1)(m+1)σt2[(m+1)σt1+mr(m+3)+2]σt+(m+2)σt1=0.\displaystyle(mr+1)(m+1)\sigma_{t}^{2}-\big{[}(m+1)\sigma_{t-1}+mr(m+3)+2\big{]}\sigma_{t}+(m+2)\sigma_{t-1}=0. (23)

Similarly, equations g1(x)g_{1}(x) and g2(x)g_{2}(x) can be defined as follows:

g1(x)\displaystyle g_{1}(x) =\displaystyle= 12(mr+1)(m+1)[(m+1)σt1+mr(m+3)+2\displaystyle\frac{1}{2(mr+1)(m+1)}\Bigg{[}(m+1)\sigma_{t-1}+mr(m+3)+2 (24)
+[(m+1)σt1+mr(m+3)+2]24(mr+1)(m+1)(m+2)σt1],\displaystyle+\sqrt{\big{[}(m+1)\sigma_{t-1}+mr(m+3)+2\big{]}^{2}-4(mr+1)(m+1)(m+2)\sigma_{t-1}}\Bigg{]},
g2(x)\displaystyle g_{2}(x) =\displaystyle= 12(mr+1)(m+1)[(m+1)σt1+mr(m+3)+2\displaystyle\frac{1}{2(mr+1)(m+1)}\Bigg{[}(m+1)\sigma_{t-1}+mr(m+3)+2 (25)
[(m+1)σt1+mr(m+3)+2]24(mr+1)(m+1)(m+2)σt1].\displaystyle-\sqrt{\big{[}(m+1)\sigma_{t-1}+mr(m+3)+2\big{]}^{2}-4(mr+1)(m+1)(m+2)\sigma_{t-1}}\Bigg{]}.

Therefore, for σt1Ψt1\forall\sigma_{t-1}\in\Psi_{t-1}, g1(σt1)g_{1}(\sigma_{t-1}) and g2(σt1)g_{2}(\sigma_{t-1}) are the eigenvalues of the normalized Laplacian matrix LtL_{t} of the tt generation respectively, that is g1(σt1),g2(σt1)Ψtg_{1}(\sigma_{t-1}),g_{2}(\sigma_{t-1})\in\Psi_{t}. In addition, for σt11=1\sigma_{t-1}^{1}=1, it can be obtained that

g1(σt11)=m2r+3mr+2(mr+1)(m+1)andg2(σt11)=0.g_{1}(\sigma_{t-1}^{1})=\frac{m^{2}r+3mr+2}{(mr+1)(m+1)}~{}~{}~{}\textrm{and}~{}~{}~{}g_{2}(\sigma_{t-1}^{1})=0.

For σt1Ψt1/{σt11}\sigma_{t-1}\in\Psi_{t-1}/\{\sigma_{t-1}^{1}\}, the following relation can be obtained from the monotonicity of g1(x)g_{1}(x) and g2(x)g_{2}(x):

0<g2(σt1)<g1(σt1)2.0<g_{2}(\sigma_{t-1})<g_{1}(\sigma_{t-1})\leq 2.

Hence, iterative relation of eigenvalues of the normalized Laplacian matrix LtL_{t} has been derived. But it’s worth noting that Eq.(24) and Eq.(25) indicate that each eigenvalue in the matrix Lt1L_{t-1} will correspond to two eigenvalues in the matrix LtL_{t}. Therefore, the iterative relationship can only determine 2|Vt1|2|V_{t-1}| eigenvalues in the matrix LtL_{t}, and there are still |Vt|2|Vt1||V_{t}|-2|V_{t-1}| eigenvalues need to be confirmed.

3.3 Spectrum of Laplacian matrix of weighted iterative network GtG_{t}

According to the definition of weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot), it is easy to prove that the normalized adjacency matrix PtP_{t} corresponding to the weighted iterative network GtG_{t} satisfies the following iterative relation:

Pt=[Pt1mr+1X1X2X|Et1|X1A00X20A0X|Et1|00A]P_{t}=\left[\begin{array}[]{ccccc}\frac{P_{t-1}}{mr+1}&X_{1}&X_{2}&\cdots&X_{|E_{t-1}|}\\ X_{1}^{\top}&A&0&\cdots&0\\ X_{2}^{\top}&0&A&\cdots&0\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ X_{|E_{t-1}|}^{\top}&0&0&\cdots&A\end{array}\right] (26)

where the matrix Xe(1e|Et1|)X_{e}(1\leq e\leq|E_{t-1}|) is a matrix with |Vt1||V_{t-1}| rows and mm columns, and AA is the square matrix with mm rows. In the matrix XeX_{e}, ee corresponds to an edge in the set Et1E_{t-1}, and the two nodes connected by this edge are denoted as iei_{e} and jej_{e}, respectively. Therefore, the all elements of row iei_{e} and the all elements of row jej_{e}, denoted as Xe(ie,k)X_{e}(i_{e},k) and Xe(je,k)X_{e}(j_{e},k) 1km1\leq k\leq m respectively, of matrix XeX_{e} satisfy:

Xe(ie,k)=rωij(mr+1)(m+1)st1ie,\displaystyle X_{e}(i_{e},k)=\sqrt{\frac{r\omega_{ij}}{(mr+1)(m+1)s^{i_{e}}_{t-1}}},
Xe(je,k)=rωij(mr+1)(m+1)st1je\displaystyle X_{e}(j_{e},k)=\sqrt{\frac{r\omega_{ij}}{(mr+1)(m+1)s^{j_{e}}_{t-1}}}

and the other elements are all 0. In matrix AA, the diagonal elements are all 0, and the other elements are all 1m+1\frac{1}{m+1}. It is easy to prove that the eigenvalues of matrix AA are 1m+1-\frac{1}{m+1} and m1m+1\frac{m-1}{m+1}, respectively, and their multiples are mm and 11. Since matrix AA reflects the local structure characteristics of network GtG_{t}, we assume that the eigenvalue of matrix AA is also the eigenvalue of normalized adjacency matrix PtP_{t}. Through the relationship between the matrix and the eigenvalue, it can be proved that if the t1t-1th generation network Gt1G_{t-1} satisfies |Et1||Vt1||E_{t-1}|\geq|V_{t-1}|, both 1m+1-\frac{1}{m+1} and m1m+1\frac{m-1}{m+1} are the eigenvalues of the matrix PtP_{t}, and their multiples are |Vt||Et1||Vt1||V_{t}|-|E_{t-1}|-|V_{t-1}| and |Et1||Vt1||E_{t-1}|-|V_{t-1}| respectively; if the t1t-1th generation network Gt1G_{t-1} satisfies |Et1|<|Vt1||E_{t-1}|<|V_{t-1}|, 1m+1-\frac{1}{m+1} is the eigenvalue of the matrix PtP_{t}, and its multiple is |Vt|2|Vt1||V_{t}|-2|V_{t-1}|. Obviously, according to the fundamental theorem of connected network, if |Et1|<|Vt1||E_{t-1}|<|V_{t-1}|, there must be |Vt1|=|Et1|+1|V_{t-1}|=|E_{t-1}|+1, in terms of network structure, which means that there is no loop in network Gt1G_{t-1}, that is, Gt1G_{t-1} is a tree. Then, considering the definition of network operation τmr()\tau^{r}_{m}(\cdot), there must be a loop structure on the network after one iteration. Therefore, only the initial network G0G_{0} may be a tree, so it needs to be divided into two categories for discussion.

3.3.1 G0G_{0} is not a tree or t>1t>1

Based on the above analysis, we can divide the set Λt\Lambda_{t} composed of the eigenvalues of the matrix PtP_{t} into four subsets, which can be expressed as:

Λt=Λt1Λt2Λt3Λt4,\displaystyle\Lambda_{t}=\Lambda_{t}^{1}\cup\Lambda_{t}^{2}\cup\Lambda_{t}^{3}\cup\Lambda_{t}^{4}, (27)

where

Λt1\displaystyle\Lambda_{t}^{1} =\displaystyle= {1,2mr+1m(mr+1)(m+1)},Λt2={f1(λt12),f2(λt12),,f1(λt1|Vt1|),f2(λt1|Vt1|)},\displaystyle\{1,-\frac{2mr+1-m}{(mr+1)(m+1)}\},~{}~{}\Lambda_{t}^{2}=\{f_{1}(\lambda_{t-1}^{2}),f_{2}(\lambda_{t-1}^{2}),\ldots,f_{1}(\lambda_{t-1}^{|V_{t-1}|}),f_{2}(\lambda_{t-1}^{|V_{t-1}|})\},
Λt3\displaystyle\Lambda_{t}^{3} =\displaystyle= {1m+1,,1m+1}|Vt||Vt1||Et1|,andΛt4={m1m+1,,m1m+1}|Et1||Vt1|.\displaystyle\underbrace{\{-\frac{1}{m+1},\ldots,-\frac{1}{m+1}\}}_{|V_{t}|-|V_{t-1}|-|E_{t-1}|},~{}~{}\textrm{and}~{}~{}\Lambda_{t}^{4}=\underbrace{\{\frac{m-1}{m+1},\ldots,\frac{m-1}{m+1}\}}_{|E_{t-1}|-|V_{t-1}|}.

Thus, the spectrum Ψt\Psi_{t} of the normalized Laplacian matrix LtL_{t} can also be obtained and expressed as:

Ψt=Ψt1Ψt2Ψt3Ψt4,\displaystyle\Psi_{t}=\Psi_{t}^{1}\cup\Psi_{t}^{2}\cup\Psi_{t}^{3}\cup\Psi_{t}^{4}, (28)

where

Ψt1\displaystyle\Psi_{t}^{1} =\displaystyle= {0,m2r+3mr+2(mr+1)(m+1)},Ψt2={g1(σt12),g2(σt12),,g1(σt1|Vt1|),g2(σt1|Vt1|)},\displaystyle\{0,\frac{m^{2}r+3mr+2}{(mr+1)(m+1)}\},~{}~{}\Psi_{t}^{2}=\{g_{1}(\sigma_{t-1}^{2}),g_{2}(\sigma_{t-1}^{2}),\ldots,g_{1}(\sigma_{t-1}^{|V_{t-1}|}),g_{2}(\sigma_{t-1}^{|V_{t-1}|})\},
Ψt3\displaystyle\Psi_{t}^{3} =\displaystyle= {m+2m+1,,m+2m+1}|Vt||Vt1||Et1|,andΨt4={2m+1,,2m+1}|Et1||Vt1|.\displaystyle\underbrace{\{\frac{m+2}{m+1},\ldots,\frac{m+2}{m+1}\}}_{|V_{t}|-|V_{t-1}|-|E_{t-1}|},~{}~{}\textrm{and}~{}~{}\Psi_{t}^{4}=\underbrace{\{\frac{2}{m+1},\ldots,\frac{2}{m+1}\}}_{|E_{t-1}|-|V_{t-1}|}.

3.3.2 G0G_{0} is a tree and t=1t=1

According to the previous analysis, in network G1G_{1} generated by tree network G0G_{0} after one operation τmr()\tau_{m}^{r}(\cdot), the spectrum Λ1\Lambda_{1} of its normalized adjacency matrix P1P_{1} can be expressed as:

Λ1=Λ11Λ12Λ13,\displaystyle\Lambda_{1}=\Lambda_{1}^{1}\cup\Lambda_{1}^{2}\cup\Lambda_{1}^{3}, (29)

where

Λ11\displaystyle\Lambda_{1}^{1} =\displaystyle= {1,2mr+1m(mr+1)(m+1)},Λ12={f1(λ02),f2(λ02),,f1(λ0|V0|),f2(λ0|V0|)},\displaystyle\{1,-\frac{2mr+1-m}{(mr+1)(m+1)}\},~{}~{}\Lambda_{1}^{2}=\{f_{1}(\lambda_{0}^{2}),f_{2}(\lambda_{0}^{2}),\ldots,f_{1}(\lambda_{0}^{|V_{0}|}),f_{2}(\lambda_{0}^{|V_{0}|})\},
andΛ13\displaystyle~{}~{}\textrm{and}~{}~{}\Lambda_{1}^{3} =\displaystyle= {1m+1,,1m+1}|V1|2|V0|.\displaystyle\underbrace{\{-\frac{1}{m+1},\ldots,-\frac{1}{m+1}\}}_{|V_{1}|-2|V_{0}|}.

Therefore, under the above conditions, the set of eigenvalues of normalized Laplacian matrix L1L_{1} can be divided into three subsets, which can be expressed as:

Ψ1=Ψ11Ψ12Ψ13,\displaystyle\Psi_{1}=\Psi_{1}^{1}\cup\Psi_{1}^{2}\cup\Psi_{1}^{3}, (30)

where

Ψ11\displaystyle\Psi_{1}^{1} =\displaystyle= {0,m2r+3mr+2(mr+1)(m+1)},Ψ12={g1(σ02),g2(σ02),,g1(σ0|V0|),g2(σ0|V0|)},\displaystyle\{0,\frac{m^{2}r+3mr+2}{(mr+1)(m+1)}\},~{}~{}\Psi_{1}^{2}=\{g_{1}(\sigma_{0}^{2}),g_{2}(\sigma_{0}^{2}),\ldots,g_{1}(\sigma_{0}^{|V_{0}|}),g_{2}(\sigma_{0}^{|V_{0}|})\},
andΨ13\displaystyle~{}~{}\textrm{and}~{}~{}\Psi_{1}^{3} =\displaystyle= {m+2m+1,,m+2m+1}|V1|2|V0|.\displaystyle\underbrace{\{\frac{m+2}{m+1},\ldots,\frac{m+2}{m+1}\}}_{|V_{1}|-2|V_{0}|}.

Hence, when the spectrum Ψ0\Psi_{0} of the initial network G0G_{0} is known, the spectrum Ψt\Psi_{t} of the iterative weighted network GtG_{t} can be obtained from the above relation.

Remark 3.1.

The spectrum of the dynamic growth network τmr(G0)\tau^{r}_{m}(G_{0}) shows that: (1) The eigenvalues corresponding to the original network G0G_{0} will be controlled by the change rule g1()g_{1}(\cdot) and g2()g_{2}(\cdot) after one iteration, which are completely determined by the weight factor rr and the scale factor mm; (2) The remaining eigenvalues are completely determined by the scale factor mm. Based on the importance of the eigenvalues of the Laplacian matrix, we can infer that the local structure KmK_{m} introduced here will have a profound and important impact on the overall characteristics of τmr(G0)\tau^{r}_{m}(G_{0}). Furthermore, it can be deduced that in the growth process of the actual dynamic growth network, the local topology of the newly added node block will have an important impact on the overall properties.

4 Application of the spectrum

After obtaining the spectrum of the iterated weighted network GtG_{t}, the related applications will be presented in this Section, including the Kemeny constant K(Gt)K(G_{t}), the multiplicative degree-Kirchhoff index 𝒦~(Gt)\tilde{\mathcal{K}}(G_{t}), and the number of weighted spanning trees NtN_{t}.

4.1 Kemeny constant K(Gt)K(G_{t})

The random walk on the weighted network GtG_{t} is defined as: if the walker starts from node ii, then after a unit time, the walker will transfer from node ii to its neighbor node jVtij\in V_{t}^{i} with probability ωijsti\frac{\omega_{ij}}{s_{t}^{i}}. Reviewing the definition of probability transfer matrix TtT_{t} of network GtG_{t}, it can be found that the random walk process can be completely described by this matrix, where the element Tt(i,j)T_{t}(i,j) in the ii-th row and jj-th column of the matrix represents the probability of the particle moving from node ii to node jj.

Then, the mean first-passage time FijF_{ij} from the node ii to the node jj on the weighted network GtG_{t} can be defined as: the expectation of the time required for the random walker departing from node ii and arriving at node jj for the first time.Redner [2001] In addition, the stationary distribution πt\pi_{t} on the weighted network GtG_{t} be defined as:Lovász et al. [1993]; Aldous & Fill [1995]

πt=[πt1,πt2,,πt|Vt|],\pi_{t}=[\pi_{t}^{1},\pi_{t}^{2},\ldots,\pi_{t}^{|V_{t}|}],

where for 1i|Vt|1\leq i\leq|V_{t}|, πti=sti2St\pi_{t}^{i}=\frac{s_{t}^{i}}{2S_{t}}. It is easy to prove that the stationary distribution πt\pi_{t} satisfies the following two properties:

πtTt=πtandi=1|Vt|πti=1.\pi_{t}T_{t}=\pi_{t}~{}~{}~{}\textrm{and}~{}~{}~{}\sum_{i=1}^{|V_{t}|}\pi_{t}^{i}=1.

Thus, Kemeny constant K(Gt)K(G_{t}) on the weighted network GtG_{t} can be defined as the mean value of the first passage time FijF_{ij} from any node ii to the target node jj, where the target node jj is randomly selected according to the stationary distribution πt\pi_{t}. The mathematical expression of this definition is:Aldous & Fill [1995]

K(Gt)=j=1|Vt|πtjFij.K(G_{t})=\sum_{j=1}^{|V_{t}|}\pi_{t}^{j}F_{ij}.

In fact, the Kemeny constant K(Gt)K(G_{t}) is independent of the selection of starting node ii, so the constant reflects the global property of random walk on weighted network GtG_{t}. Moreover, previous work has proved that Kemeny constant K(Gt)K(G_{t}) can be completely determined by the reciprocal sum of non-zero eigenvalues of the normalized Laplacian matrix of the network GtG_{t}, that is:Aldous & Fill [1995]; Levene & Loizou [2002]

K(Gt)=i=2|Vt|11λti=i=2|Vt|1σti.\displaystyle K(G_{t})=\sum_{i=2}^{|V_{t}|}\frac{1}{1-\lambda_{t}^{i}}=\sum_{i=2}^{|V_{t}|}\frac{1}{\sigma_{t}^{i}}. (31)

Therefore, according to the spectrum analysis of Laplacian matrix of network GtG_{t}, the analytical expression of K(Gt)K(G_{t})can be derived.

When the number of iterations t>1t>1, the following relationship can be obtained according to the classification of the spectrum in Eq.(28):

K(Gt)=(mr+1)(m+1)m2r+3mr+2+σtΨt21σt+σtΨt31σt+σtΨt41σt.\displaystyle K(G_{t})=\frac{(mr+1)(m+1)}{m^{2}r+3mr+2}+\sum_{\sigma_{t}\in\Psi_{t}^{2}}\frac{1}{\sigma_{t}}+\sum_{\sigma_{t}\in\Psi_{t}^{3}}\frac{1}{\sigma_{t}}+\sum_{\sigma_{t}\in\Psi_{t}^{4}}\frac{1}{\sigma_{t}}. (32)

Using Vieta formulas for Eq.(23) is easy to prove the following relationship:

g1(σt1)+g2(σt1)\displaystyle g_{1}(\sigma_{t-1})+g_{2}(\sigma_{t-1}) =\displaystyle= (m+1)σt1+mr(m+3)+2(mr+1)(m+1),\displaystyle\frac{(m+1)\sigma_{t-1}+mr(m+3)+2}{(mr+1)(m+1)}, (33)
g1(σt1)g2(σt1)\displaystyle g_{1}(\sigma_{t-1})\cdot g_{2}(\sigma_{t-1}) =\displaystyle= (mr+2)σt1(mr+1)(m+1),\displaystyle\frac{(mr+2)\sigma_{t-1}}{(mr+1)(m+1)}, (34)

where σt1Ψt1/{0}\sigma_{t-1}\in\Psi_{t-1}/\{0\}. Therefore, the sum of the reciprocal of the elements in set Ψt2\Psi_{t}^{2} satisfies the following relation:

σtΨt21σt\displaystyle\sum_{\sigma_{t}\in\Psi_{t}^{2}}\frac{1}{\sigma_{t}} =\displaystyle= i=2Vt1(1g1(σt1i)+1g2(σt1i))=i=2Vt1(m+1mr+2+(m+3)mr+2mr+21σt1i)\displaystyle\sum_{i=2}^{V_{t-1}}\big{(}\frac{1}{g_{1}(\sigma_{t-1}^{i})}+\frac{1}{g_{2}(\sigma_{t-1}^{i})}\big{)}=\sum_{i=2}^{V_{t-1}}\Big{(}\frac{m+1}{mr+2}+\frac{(m+3)mr+2}{mr+2}\cdot\frac{1}{\sigma_{t-1}^{i}}\Big{)} (35)
=\displaystyle= 2|E0|(m+1)(mr+2)(m+3)(m2+3m+22)t1+(m+3)mr+2mr+2K(Gt1)+m+1mr+2(|V0|2|E0|m+21).\displaystyle\frac{2|E_{0}|(m\!+\!1)}{(mr\!+\!2)(m\!+\!3)}(\frac{m^{2}\!+\!3m\!+\!2}{2})^{t-1}\!+\!\frac{(m+3)mr+2}{mr+2}\!\cdot\!K(G_{t-1})\!+\!\frac{m+1}{mr+2}(|V_{0}|\!-\!\frac{2|E_{0}|}{m+2}\!-\!1).

Similarly, through the spectral analysis in Eq.(28), the third and fourth terms in Eq.(32) can be expressed as:

σtΨt31σt\displaystyle\sum_{\sigma_{t}\in\Psi_{t}^{3}}\frac{1}{\sigma_{t}} =\displaystyle= (|Vt||Et1||Vt1|)m+1m+2=|E0|m21m+2(m2+3m+22)t1\displaystyle(|V_{t}|-|E_{t-1}|-|V_{t-1}|)\frac{m+1}{m+2}=|E_{0}|\frac{m^{2}-1}{m+2}(\frac{m^{2}+3m+2}{2})^{t-1} (36)
σtΨt41σt\displaystyle\sum_{\sigma_{t}\in\Psi_{t}^{4}}\frac{1}{\sigma_{t}} =\displaystyle= (|Et1||Vt1|)m+12=|E0|(m+1)22(m+3)(m2+3m+22)t1m+12(|V0|2|E0|m+3).\displaystyle(|E_{t-1}|-|V_{t-1}|)\frac{m+1}{2}=|E_{0}|\frac{(m+1)^{2}}{2(m+3)}(\frac{m^{2}+3m+2}{2})^{t-1}-\frac{m+1}{2}(|V_{0}|-\frac{2|E_{0}|}{m+3}).~{}~{}~{} (37)

Then, after the Eq.(35), Eq.(36) and Eq.(37) are brought into Eq.(32), the iterative expression of Kemeny constant K(Gt)K(G_{t}) can be expressed as:

K(Gt)\displaystyle K(G_{t}) =\displaystyle= (m+3)mr+2mr+2K(Gt1)+|E0|(2(m+1)(mr+2)(m+3)+m21m+2+(m+1)22(m+3))\displaystyle\frac{(m+3)mr+2}{mr+2}K(G_{t-1})+|E_{0}|\Big{(}\frac{2(m+1)}{(mr+2)(m+3)}+\frac{m^{2}-1}{m+2}+\frac{(m+1)^{2}}{2(m+3)}\Big{)}\cdot (38)
(m2+3m+22)t1+m+1mr+2(|V0|2|E0|m+21)m+12(|V0|2|E0|m+3)+(mr+1)(m+1)m2r+3mr+2.\displaystyle(\frac{m^{2}+3m+2}{2})^{t-1}\!+\!\frac{m+1}{mr+2}(|V_{0}|\!-\!\frac{2|E_{0}|}{m+2}-1)\!-\!\frac{m+1}{2}(|V_{0}|-\frac{2|E_{0}|}{m+3})\!+\!\frac{(mr+1)(m+1)}{m^{2}r+3mr+2}.

From the above iterative relation of Kemeny constant K(Gt)K(G_{t}), it is easy to deduce the relation between K(Gt)K(G_{t}) and K(G1)K(G_{1}) as follows:

K(Gt)\displaystyle K(G_{t}) =\displaystyle= ((m+3)mr+2mr+2)t1K(G1)+|E0|(2(m+1)(mr+2)(m+3)+m21m+2+(m+1)22(m+3))\displaystyle\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{t-1}K(G_{1})+|E_{0}|\Big{(}\frac{2(m+1)}{(mr+2)(m+3)}+\frac{m^{2}-1}{m+2}+\frac{(m+1)^{2}}{2(m+3)}\Big{)}\cdot (39)
i=0t2((m+3)mr+2mr+2)i(m2+3m+22)t1i+[m+1mr+2(|V0|2|E0|m+21)\displaystyle\sum_{i=0}^{t-2}\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{i}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t-1-i}+\Big{[}\frac{m+1}{mr+2}(|V_{0}|-\frac{2|E_{0}|}{m+2}-1)
m+12(|V0|2|E0|m+3)+(mr+1)(m+1)m2r+3mr+2]i=0t2((m+3)mr+2mr+2)i.\displaystyle-\frac{m+1}{2}(|V_{0}|-\frac{2|E_{0}|}{m+3})+\frac{(mr+1)(m+1)}{m^{2}r+3mr+2}\Big{]}\sum_{i=0}^{t-2}\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{i}.

Then, from the spectrum analysis in the previous Section, it can be seen that the spectrum of network G1G_{1} will be different according to whether G0G_{0} is a tree, so it needs to be classified and discussed.

4.1.1 Case 1: G0G_{0} is not a tree

When the initial network G0G_{0} is not a tree, the following relationship between K(G1)K(G_{1}) and K(G0)K(G_{0}) can be naturally obatined:

K(G1)\displaystyle K(G_{1}) =\displaystyle= (m+3)mr+2mr+2K(G0)+|E0|(2(m+1)(mr+2)(m+3)+m21m+2+(m+1)22(m+3))\displaystyle\frac{(m+3)mr+2}{mr+2}K(G_{0})+|E_{0}|\Big{(}\frac{2(m+1)}{(mr+2)(m+3)}+\frac{m^{2}-1}{m+2}+\frac{(m+1)^{2}}{2(m+3)}\Big{)} (40)
+m+1mr+2(|V0|2|E0|m+21)m+12(|V0|2|E0|m+3)+(mr+1)(m+1)m2r+3mr+2.\displaystyle+\frac{m+1}{mr+2}(|V_{0}|-\frac{2|E_{0}|}{m+2}-1)-\frac{m+1}{2}(|V_{0}|-\frac{2|E_{0}|}{m+3})+\frac{(mr+1)(m+1)}{m^{2}r+3mr+2}.

Obviously, by combining Eq.(39) with Eq.(40), the relation between K(Gt)K(G_{t}) and K(G0)K(G_{0}) can be deduced, but it is not an analytic expression for K(Gt)K(G_{t}). To find an analytic expression for K(Gt)K(G_{t}), the relationship between (m+3)mr+2mr+2\frac{(m+3)mr+2}{mr+2} and m2+3m+22\frac{m^{2}+3m+2}{2} must be discussed. Since scale factor m+m\in\mathbb{N}^{+} and weight factor r+r\in\mathbb{R}^{+}, it is easy to prove the following relation:

{(m+3)mr+2mr+2>m2+3m+22,m=1andr>4(m+3)mr+2mr+2=m2+3m+22,m=1andr=4(m+3)mr+2mr+2<m2+3m+22,others.\displaystyle\left\{\begin{array}[]{ll}\frac{(m+3)mr+2}{mr+2}>\frac{m^{2}+3m+2}{2},&m=1~{}~{}\textrm{and}~{}~{}r>4\\ \frac{(m+3)mr+2}{mr+2}=\frac{m^{2}+3m+2}{2},&m=1~{}~{}\textrm{and}~{}~{}r=4\\ \frac{(m+3)mr+2}{mr+2}<\frac{m^{2}+3m+2}{2},&\textrm{others.}\end{array}\right. (44)

Therefore, when m1m\neq 1 or r4r\neq 4, we can deduce the analytic expression of Kemeny constant K(Gt)K(G_{t}) as follows:

K(Gt)=(K(G0)k1k2)((m+3)mr+2mr+2)t+k1(m2+3m+22)t+k2,\displaystyle K(G_{t})=\Big{(}K(G_{0})-k_{1}-k_{2}\Big{)}\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{t}+k_{1}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t}+k_{2}, (45)

where the coefficients k1k_{1} and k2k_{2} are determined by the number of nodes |V0||V_{0}|, the number of edges |E0||E_{0}|, the size factor mm, and the weight factor rr in the initial network, which are expressed as:

k1\displaystyle k_{1} =\displaystyle= |E0|(m+1)(20m4mr+7m2r+3m3r+6m2+4)m(m2+5m+6)(2m4r+mr+m2r+6),\displaystyle\frac{|E_{0}|(m+1)(20m-4mr+7m^{2}r+3m^{3}r+6m^{2}+4)}{m(m^{2}+5m+6)(2m-4r+mr+m^{2}r+6)}, (46)
k2\displaystyle k_{2} =\displaystyle= (mr+2)(m+1)2(m+2)(m+3)(m3r2+3m2r2+2m2r+8mr+4)(6|V0|4|E0|+6m+2|V0|m\displaystyle\frac{(mr+2)(m+1)}{2(m+2)(m+3)(m^{3}r^{2}+3m^{2}r^{2}+2m^{2}r+8mr+4)}(6|V_{0}|-4|E_{0}|+6m+2|V_{0}|m (47)
6mr2m2r+2m26|E0|mr+9|V0|mr2|E0|m2r+6|V0|m2r+|V0|m3r).\displaystyle-6mr-2m^{2}r+2m^{2}-6|E_{0}|mr+9|V_{0}|mr-2|E_{0}|m^{2}r+6|V_{0}|m^{2}r+|V_{0}|m^{3}r).

When m=1m=1 and r=4r=4, it is easy to calculate that the analytic expression of K(Gt)K(G_{t}) can be expressed as follows:

K(Gt)=(K(G0)+16|E0|13|V0|+19)3t+|E0|43tt(16|E0|13|V0|+19).\displaystyle K(G_{t})=(K(G_{0})+\frac{1}{6}|E_{0}|-\frac{1}{3}|V_{0}|+\frac{1}{9})\cdot 3^{t}+\frac{|E_{0}|}{4}3^{t}\cdot t-(\frac{1}{6}|E_{0}|-\frac{1}{3}|V_{0}|+\frac{1}{9}). (48)

After obtaining the analytic expression of K(Gt)K(G_{t}), we can naturally obtain that when the number of iteration tt is large enough, the main term of Kemeny constant K(Gt)K(G_{t}) obeys:

K(Gt){(K(G0)k1k2)((m+3)mr+2mr+2)t(K(G0)k1k2)((m+3)2|E0||Vt|)ln2(m+3)mr+4(mr+2)(m2+3m+2),m=1andr>4|E0|43tt|Vt|ln|Vt|2ln3,m=1andr=4k1(m2+3m+22)tk1(m+3)2|E0||Vt|,others.\displaystyle K(G_{t})\sim\left\{\begin{array}[]{ll}\Big{(}K(G_{0})-k_{1}-k_{2}\Big{)}\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{t}\sim&\\ \Big{(}K(G_{0})-k_{1}-k_{2}\Big{)}\Big{(}\frac{(m+3)}{2|E_{0}|}|V_{t}|\Big{)}^{\ln{\frac{2(m+3)mr+4}{(mr+2)(m^{2}+3m+2)}}},&m=1~{}~{}\textrm{and}~{}~{}r>4\\ \frac{|E_{0}|}{4}3^{t}\cdot t\sim\frac{|V_{t}|\ln|V_{t}|}{2\ln 3},&m=1~{}~{}\textrm{and}~{}~{}r=4\\ k_{1}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t}\sim\frac{k_{1}(m+3)}{2|E_{0}|}|V_{t}|,&\textrm{others.}\end{array}\right. (53)

Therefore, when the initial network G0G_{0} is not a tree, the analytical expression and approximate expression of Kemeny constant K(Gt)K(G_{t}) on the weighted iterative network GtG_{t} have been fully figured out.

4.1.2 Case 2: G0G_{0} is a tree

When the initial network G0G_{0} is a tree, it is easy to prove the relationship between K(G1)K(G_{1}) and K(G0)K(G_{0}) by the spectral relationship in Eq.(30) and E0=N01E_{0}=N_{0}-1 as follows:

K(G1)\displaystyle K(G_{1}) =\displaystyle= (|V1|2|V0|)m+1m+2+σ0Ψ0/{0}(m+1mr+2+m2r+3mr+2(mr+2)σ0σ0)+(mr+1)(m+1)m2r+3mr+2\displaystyle(|V_{1}|-2|V_{0}|)\frac{m+1}{m+2}+\sum_{\sigma_{0}\in\Psi_{0}/\{0\}}\Big{(}\frac{m+1}{mr+2}+\frac{m^{2}r+3mr+2}{(mr+2)\sigma_{0}}\sigma_{0}\Big{)}+\frac{(mr+1)(m+1)}{m^{2}r+3mr+2} (54)
=\displaystyle= m2r+3mr+2mr+2K(G0)+[(m1)|V0|m]m+1m+2+(|V0|1)m+1mr+2+(mr+1)(m+1)m2r+3mr+2.\displaystyle\frac{m^{2}r+3mr+2}{mr+2}K(G_{0})\!+\!\Big{[}(m-1)|V_{0}|-m\Big{]}\frac{m+1}{m+2}\!+\!(|V_{0}|-1)\frac{m+1}{mr+2}\!+\!\frac{(mr+1)(m+1)}{m^{2}r+3mr+2}.

Similarly, when calculating the analytic expression of Kemeny constant K(Gt)K(G_{t}), the magnitude relation between (m+3)mr+2mr+2\frac{(m+3)mr+2}{mr+2} and m2+3m+22\frac{m^{2}+3m+2}{2} in Eq.(44) need to be considered. Therefore, when m1m\neq 1 or r4r\neq 4, from Eq.(39) and |E0|=|V0|1|E_{0}|=|V_{0}|-1, K(Gt)K(G_{t}) can be expressed as:

K(Gt)=(K(G0)+k5)((m+3)mr+2mr+2)t+k3(m2+3m+22)t+k4,\displaystyle K(G_{t})=\Big{(}K(G_{0})+k_{5}\Big{)}\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{t}+k_{3}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t}+k_{4}, (55)

where the coefficients k3k_{3} and k4k_{4} can be expressed as:

k3\displaystyle k_{3} =\displaystyle= (|V0|1)(m+1)(20m4mr+7m2r+3m3r+6m2+4)m(m2+5m+6)(2m4r+mr+m2r+6),\displaystyle\frac{(|V_{0}|-1)(m+1)(20m-4mr+7m^{2}r+3m^{3}r+6m^{2}+4)}{m(m^{2}+5m+6)(2m-4r+mr+m^{2}r+6)}, (56)
k4\displaystyle k_{4} =\displaystyle= (mr+2)(m+1)2(2|V0|+2m+3|V0|mr+|V0|m2r+4)2(m+2)(m+3)(m3r2+3m2r2+2m2r+8mr+4),\displaystyle\frac{(mr+2)(m+1)^{2}(2|V_{0}|+2m+3|V_{0}|mr+|V_{0}|m^{2}r+4)}{2(m+2)(m+3)(m^{3}r^{2}+3m^{2}r^{2}+2m^{2}r+8mr+4)}, (57)
k5\displaystyle k_{5} =\displaystyle= mr+2(m+3)mr+2([(m1)|V0|m]m+1m+2+(|V0|1)m+1mr+2+(mr+1)(m+1)m2r+3mr+2k3k4).\displaystyle\frac{mr+2}{(m+3)mr+2}\Big{(}\Big{[}(m-1)|V_{0}|-m\Big{]}\frac{m+1}{m+2}+(|V_{0}|-1)\frac{m+1}{mr+2}+\frac{(mr+1)(m+1)}{m^{2}r+3mr+2}-k_{3}-k_{4}\Big{)}. (58)

In addition, in the special case, namely m=1m=1 and r=4r=4, it is easy to prove that the analytic expression of K(Gt)K(G_{t}) is:

K(Gt)=|V0|143tt+(K(G0)29144|V0|+35432)3t+3|V0|+116.\displaystyle K(G_{t})=\frac{|V_{0}|-1}{4}3^{t}\cdot t+(K(G_{0})-\frac{29}{144}|V_{0}|+\frac{35}{432})3^{t}+\frac{3|V_{0}|+1}{16}. (59)

Hence, when the initial network G0G_{0} is a tree, the analytic expression of Kemeny constant K(Gt)K(G_{t}) on weighted iterative network GtG_{t} have been solved. Similarly, according to the analytic expression, when the number of iterations tt is sufficiently large, the main term of K(Gt)K(G_{t}) obeys the following approximate relation:

K(Gt){(K(G0)+k5)((m+3)mr+2mr+2)t(K(G0)+k5)((m+3)2|E0||Vt|)ln2(m+3)mr+4(mr+2)(m2+3m+2),m=1andr>4|V0|143tt|Vt|ln|Vt|2ln3,m=1andr=4k3(m2+3m+22)tk3(m+3)2|E0||Vt|,others.\displaystyle K(G_{t})\sim\left\{\begin{array}[]{lr}\Big{(}K(G_{0})+k_{5}\Big{)}\big{(}\frac{(m+3)mr+2}{mr+2}\big{)}^{t}\sim&\\ \Big{(}K(G_{0})+k_{5}\Big{)}\Big{(}\frac{(m+3)}{2|E_{0}|}|V_{t}|\Big{)}^{\ln{\frac{2(m+3)mr+4}{(mr+2)(m^{2}+3m+2)}}},&m=1~{}~{}\textrm{and}~{}~{}r>4\\ \frac{|V_{0}|-1}{4}3^{t}\cdot t\sim\frac{|V_{t}|\ln|V_{t}|}{2\ln 3},&m=1~{}~{}\textrm{and}~{}~{}r=4\\ k_{3}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t}\sim\frac{k_{3}(m+3)}{2|E_{0}|}|V_{t}|,&\textrm{others.}\end{array}\right. (64)

Therefore, for arbitrary initial network G0G_{0}, scale factor m+m\in\mathbb{N}^{+}, weight factor r+r\in\mathbb{R}^{+}, the analytic expression and approximate expression of Kemeny constant K(Gt)K(G_{t}) have been fully derived.

Refer to caption
Figure 2: Numerical simulation diagram of Kemeny constant K(Gt)K(G_{t}) with r=1r=1.
Refer to caption
Figure 3: Numerical simulation diagram of Kemeny constant K(Gt)K(G_{t}) with m=1m=1.
Refer to caption
Figure 4: Numerical simulation diagram of K(Gt)/K(Gt)K(G_{t})/K(G_{t}^{*}) with m=4m=4, where GtG_{t}^{*} represents the network model generated by the network operation τ41()\tau_{4}^{1}(\cdot).

Finally, based on the initial network complete network K3K_{3}, a numerical simulation of Kemmeny constant is carried out, and the results are shown in Fig.2, Fig.3 and Fig.4. In Fig.2, with the fixed weight factor r=1r=1, it can be found that adjusting the scale factor mm will have a huge impact on the Kemeny constant of the network. The reason is that the change of scale factor mm will have a strong impact on the overall topology of the network. Then, it can be found from Fig.3 that the fixed size factor m=1m=1, when r<4r<4, Kemeny constant is less affected by the weight factor rr, but when r4r\geq 4, the influence will be significantly increased. According to Eq.(53), if and only if m=1m=1 and r4r\geq 4, the power base in the leading term of Kemeny constant will be affected by the weight factor rr. Therefore, when m>1m>1, the weight factor rr affects the Kemmeny constant of the network by changing the coefficient of leading term. In Fig.4, a numerical simulation is carried out for K(Gt)/K(Gt)K(G_{t})/K(G_{t}^{*}) with a fixed size factor m=4m=4, where K(Gt)K(G_{t}^{*}) represents the Kemeny constant when the weight factor r=1r=1. Obviously, by adjusting the weight factor rr, the overall dynamic properties of the network can be regulated within a certain range without changing the topological structure of the network.

4.2 The Multiplicative Degree-Kirchhoff Index 𝒦^(Gt)\widehat{\mathcal{K}}(G_{t})

The Kichhoff index is a very important characteristic quantity in the resistance network, and it can be used to measure the overall connectivity of the network.Klein & Randić [1993]; Li & Zhang [2018] In recent years, some scholars have improved on the basis of the Kirchhoff index, and proposed the definition of the Multiplicative Degree-Kirchhoff index 𝒦^(Gt)\widehat{\mathcal{K}}(G_{t}) on the resistance network GtG_{t} as follows:Chen & Zhang [2007]

𝒦^(Gt)=12i,j=1|Vt|stistjrij={i,j}Vtstistjrij,\widehat{\mathcal{K}}(G_{t})=\frac{1}{2}\sum_{i,j=1}^{|V_{t}|}s_{t}^{i}s_{t}^{j}\cdot r_{ij}=\sum_{\{i,j\}\subseteq V_{t}}s_{t}^{i}s_{t}^{j}\cdot r_{ij},

where rijr_{ij} represents the resistance distance between node ii and node jj in the resistance network GtG_{t}. In addition, the Multiplicative Degree-Kirchhoff Index 𝒦^(Gt)\widehat{\mathcal{K}}(G_{t}) can also be determined by the spectrum of the normalized adjacency matrix PtP_{t}, that is, the following relationship is satisfied:

𝒦^(Gt)=2|Et|i=2|Vt|11λt(i)=2|Et|K(Gt).\widehat{\mathcal{K}}(G_{t})=2|E_{t}|\sum_{i=2}^{|V_{t}|}\frac{1}{1-\lambda_{t}(i)}=2|E_{t}|\cdot K(G_{t}).

Since the analytic expression of Kemeny constant K(G)K(G) on the iterative weighted network GtG_{t} has been solved, the analytic expression of 𝒦^(Gt)\widehat{\mathcal{K}}(G_{t}) naturally satisfies the following relation:

4.2.1 Case 1: G0G_{0} is not a tree

𝒦^(Gt)={(𝒦^(G0)2|E0|(k1+k2))([(m+3)mr+2](m2+3m+2)2(mr+2))t+2|E0|k1(m2+3m+22)2t+2|E0|k2(m2+3m+22)t,if m1 or r4;(𝒦^(G0)+13|E0|223|V0||E0|+29|E0|)32t+|E0|2232tt(13|E0|223|V0||E0|+29|E0|)3t,if m=1 and r=4.\displaystyle\widehat{\mathcal{K}}(G_{t})=\left\{\footnotesize\begin{array}[]{ll}\Big{(}\widehat{\mathcal{K}}(G_{0})-2|E_{0}|(k_{1}+k_{2})\Big{)}\big{(}\frac{[(m+3)mr+2](m^{2}+3m+2)}{2(mr+2)}\big{)}^{t}&\\ +2|E_{0}|k_{1}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{2t}+2|E_{0}|k_{2}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t},\\ \textrm{if $m\neq 1$ or $r\neq 4$;}\\ &\\ (\widehat{\mathcal{K}}(G_{0})+\frac{1}{3}|E_{0}|^{2}-\frac{2}{3}|V_{0}||E_{0}|+\frac{2}{9}|E_{0}|)\cdot 3^{2t}+\frac{|E_{0}|^{2}}{2}3^{2t}\cdot t&\\ -(\frac{1}{3}|E_{0}|^{2}-\frac{2}{3}|V_{0}||E_{0}|+\frac{2}{9}|E_{0}|)\cdot 3^{t},\\ \textrm{if $m=1$ and $r=4$.}\end{array}\right. (68)

Therefore, as the number of iterations tt approaches infinity, the leading term of 𝒦^(Gt)\widehat{\mathcal{K}}(G_{t}) satisfy the following approximate relationship:

𝒦^(Gt){(𝒦^(G0)2|E0|(k1+k2))([(m+3)mr+2](m2+3m+2)2(mr+2))t,if m=1 and r>4;|E0|2232tt,if m=1 and r=4;2|E0|k1(m2+3m+22)2t,others.\displaystyle\widehat{\mathcal{K}}(G_{t})\sim\left\{\footnotesize\begin{array}[]{ll}\Big{(}\widehat{\mathcal{K}}(G_{0})-2|E_{0}|(k_{1}+k_{2})\Big{)}\big{(}\frac{[(m+3)mr+2](m^{2}+3m+2)}{2(mr+2)}\big{)}^{t},\\ \textrm{if $m=1$ and $r>4$;}\\ \frac{|E_{0}|^{2}}{2}3^{2t}\cdot t,\\ \textrm{if $m=1$ and $r=4$};\\ 2|E_{0}|k_{1}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{2t},\\ \textrm{others}.\end{array}\right.

4.2.2 Case 2: G0G_{0} is a tree

𝒦^(Gt)={(𝒦^(G0)+2(|V0|1)k5)([(m+3)mr+2](m2+3m+2)2(mr+2))t+2(|V0|1)k3(m2+3m+22)2t+2(|V0|1)k4(m2+3m+22)t,if m1 or r4;(𝒦^(G0)2972|V0|2+61108|V0|35216)32t+(|V0|1)2232tt+3|V0|22|V0|183t,if m=1 and r=4.\displaystyle\widehat{\mathcal{K}}(G_{t})=\left\{\footnotesize\begin{array}[]{ll}\Big{(}\widehat{\mathcal{K}}(G_{0})+2(|V_{0}|-1)k_{5}\Big{)}\big{(}\frac{[(m+3)mr+2](m^{2}+3m+2)}{2(mr+2)}\big{)}^{t}&\\ +2(|V_{0}|-1)k_{3}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{2t}+2(|V_{0}|-1)k_{4}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{t},\\ \textrm{if $m\neq 1$ or $r\neq 4$;}\\ &\\ (\widehat{\mathcal{K}}(G_{0})-\frac{29}{72}|V_{0}|^{2}+\frac{61}{108}|V_{0}|-\frac{35}{216})\cdot 3^{2t}+\frac{(|V_{0}|-1)^{2}}{2}3^{2t}\cdot t&\\ +\frac{3|V_{0}|^{2}-2|V_{0}|-1}{8}\cdot 3^{t},\\ \textrm{if $m=1$ and $r=4$.}\end{array}\right. (73)

Naturally, when tt\rightarrow\infty, the leading term of 𝒦^(Gt)\widehat{\mathcal{K}}(G_{t}) obey:

𝒦^(Gt){(𝒦^(G0)+2(|V0|1)k5)([(m+3)mr+2](m2+3m+2)2(mr+2))t,if m=1 and r>4;(|V0|1)2232tt,if m=1 and r=4;2(|V0|1)k3(m2+3m+22)2t,others.\displaystyle\widehat{\mathcal{K}}(G_{t})\sim\left\{\footnotesize\begin{array}[]{ll}\Big{(}\widehat{\mathcal{K}}(G_{0})+2(|V_{0}|-1)k_{5}\Big{)}\big{(}\frac{[(m+3)mr+2](m^{2}+3m+2)}{2(mr+2)}\big{)}^{t},\\ \textrm{if $m=1$ and $r>4$;}\\ \frac{(|V_{0}|-1)^{2}}{2}3^{2t}\cdot t,\\ \textrm{if $m=1$ and $r=4$;}\\ 2(|V_{0}|-1)k_{3}\big{(}\frac{m^{2}+3m+2}{2}\big{)}^{2t},\\ \textrm{others.}\\ \end{array}\right.

4.3 The Number of Weighted Spanning Trees

A spanning tree of a connected network is a minimal connected subgraph containing all nodes in the network. As a global structure of the network, it is closely related to many aspects of the network, so a study on the spanning tree number of the network can enable us to have a deeper understanding of the influence of the network structure on the process of dynamics. For example, the redundancy of a network can be measured by the number of spanning trees, which is an important indicator to measure the robustness and stability of the network. Moreover, for a connected network, it is found that the spanning tree has the best synchronization capability when the total number of nodes remains unchanged. In addition, the study of weighted spanning tree can also be used to determine the location of hub nodes in the network.

In weighted iterative network GtG_{t}, the number of weighted spanning trees is denoted as NtrtN_{tr}^{t}. Chung et al. have shown that the number of spanning trees in the network can be determined by the non-zero eigenvalues of the normalized Laplacian matrix, which satisfies the following relationship:Chang et al. [2014]; Chung & Graham [1997]

Ntrt=i=1|Vt|stii=2|Vt|σtii=1|Vt|sti.N_{tr}^{t}=\frac{\prod_{i=1}^{|V_{t}|}s_{t}^{i}\prod_{i=2}^{|V_{t}|}\sigma_{t}^{i}}{\sum_{i=1}^{|V_{t}|}s_{t}^{i}}.

Obviously, the ratio of the number of weighted spanning trees for two successive generations is:

NtrtNtrt1\displaystyle\frac{N_{tr}^{t}}{N_{tr}^{t-1}}\! =\displaystyle= i=1|Vt1|st1ii=1|Vt|stii=1|Vt|stii=1|Vt1|st1ii=2|Vt|σtii=2|Vt1|σt1i.\displaystyle\!\frac{\sum_{i=1}^{|V_{t-1}|}\!s_{t-1}^{i}}{\sum_{i=1}^{|V_{t}|}\!s_{t}^{i}}\!\cdot\!\frac{\prod_{i=1}^{|V_{t}|}\!s_{t}^{i}}{\prod_{i=1}^{|V_{t-1}|}\!s_{t-1}^{i}}\!\cdot\!\frac{\prod_{i=2}^{|V_{t}|}\!\sigma_{t}^{i}}{\prod_{i=2}^{|V_{t-1}|}\!\sigma_{t-1}^{i}}. (75)

The first term on the right side of Eq.(75) obviously satisfies:

i=1|Vt1|st1ii=1|Vt|sti=St1St=2m2r+3mr+2.\displaystyle\frac{\sum_{i=1}^{|V_{t-1}|}\!s_{t-1}^{i}}{\sum_{i=1}^{|V_{t}|}\!s_{t}^{i}}=\frac{S_{t-1}}{S_{t}}=\frac{2}{m^{2}r+3mr+2}. (76)

The second term on the right side of Eq.(75) can be decomposed and expressed as:

i=1|Vt|stii=1|Vt1|st1i=iV^tstist1iiV¯tsti=(mr+1)|Vt1|iV¯tsti.\displaystyle\frac{\prod_{i=1}^{|V_{t}|}\!s_{t}^{i}}{\prod_{i=1}^{|V_{t-1}|}\!s_{t-1}^{i}}=\prod_{i\in\widehat{V}_{t}}\frac{s_{t}^{i}}{s_{t-1}^{i}}\cdot\prod_{i\in\bar{V}_{t}}s_{t}^{i}=(mr+1)^{|V_{t-1}|}\cdot\prod_{i\in\bar{V}_{t}}s_{t}^{i}. (77)

According to the definition of the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot), the weight of edges in the iterated weighted network GtG_{t} must be rkr^{k} (0kt)(0\leq k\leq t), so the number of edges with weight rkr^{k} is denoted as Et(rk)E_{t}(r^{k}). In addition, it is easy to prove that Et(rk)E_{t}(r^{k}) satisfies the following two relationships:

|Et|=k=0tEt(rk)|E_{t}|=\sum_{k=0}^{t}E_{t}(r^{k})

and

Et(rk)={Et1(rk)+m2+3m2Et1(rk1),1kt1m2+3m2Et1(rk1),k=t.\displaystyle E_{t}(r^{k})=\left\{\begin{array}[]{ll}E_{t-1}(r^{k})+\frac{m^{2}+3m}{2}E_{t-1}(r^{k-1}),&1\leq k\leq t-1\\ \frac{m^{2}+3m}{2}E_{t-1}(r^{k-1}),&k=t.\end{array}\right.

For node iV¯ti\in\bar{V}_{t}, stis_{t}^{i} is completely determined by its parent edge eie_{i}^{*}, so the following relationship can be obtained:

iV¯tsti\displaystyle\prod_{i\in\bar{V}_{t}}s_{t}^{i} =\displaystyle= iV¯t(m+1)ωi=k=0t1[(m+1)rk+1]mEt1(rk)=(m+1)m|Et1|rmχ(t1),\displaystyle\prod_{i\in\bar{V}_{t}}(m+1)\omega_{i}^{*}=\prod_{k=0}^{t-1}\Big{[}(m+1)r^{k+1}\Big{]}^{mE_{t-1}(r^{k})}=(m+1)^{m|E_{t-1}|}\cdot r^{m\chi(t-1)}, (79)

where χ(t1)=k=0t1(k+1)Et1(rk)\chi(t-1)=\sum_{k=0}^{t-1}(k+1)E_{t-1}(r^{k}).

By decomposing χ(t)\chi(t), the following iterative relationship can be obtained:

χ(t)\displaystyle\chi(t) =\displaystyle= k=0t(k+1)Et(rk)=|Et|+k=1tkEt(rk)\displaystyle\sum_{k=0}^{t}(k+1)E_{t}(r^{k})=|E_{t}|+\sum_{k=1}^{t}kE_{t}(r^{k}) (80)
=\displaystyle= |Et|+k=1t1k[Et1(rk)+m2+3m2Et1(rk1)]+m2+3m2tEt1(rt1)\displaystyle|E_{t}|+\sum_{k=1}^{t-1}k\Big{[}E_{t-1}(r^{k})+\frac{m^{2}+3m}{2}E_{t-1}(r^{k-1})\Big{]}+\frac{m^{2}+3m}{2}tE_{t-1}(r^{t-1})
=\displaystyle= |Et|+k=1t1kEt1(rk)+m2+3m2k=0t1(k+1)Et1(rk)\displaystyle|E_{t}|+\sum_{k=1}^{t-1}kE_{t-1}(r^{k})+\frac{m^{2}+3m}{2}\sum_{k=0}^{t-1}(k+1)E_{t-1}(r^{k})
=\displaystyle= |Et||Et1|+m2+3m+22χ(t1)\displaystyle|E_{t}|-|E_{t-1}|+\frac{m^{2}+3m+2}{2}\chi(t-1)
=\displaystyle= |E0|m2+3m2(m2+3m+22)t1+m2+3m+22χ(t1)\displaystyle|E_{0}|\frac{m^{2}+3m}{2}(\frac{m^{2}+3m+2}{2})^{t-1}+\frac{m^{2}+3m+2}{2}\chi(t-1)

Because of χ(0)=|E0|\chi(0)=|E_{0}|, the analytical expression of χ(t)\chi(t) can be deduced from the iterative relationship in Eq.(80) as follows:

χ(t)=|E0|[m2+3m+22+m2+3m2t](m2+3m+22)t1.\displaystyle\chi(t)\!=\!|E_{0}|\!\cdot\!\Big{[}\frac{m^{2}\!+\!3m\!+\!2}{2}\!+\!\frac{m^{2}\!+\!3m}{2}t\Big{]}\!\cdot\!(\frac{m^{2}\!+\!3m\!+\!2}{2})^{t-1}. (81)

By substituting Eq.(81) and Eq.(79) into Eq.(77), it can be obtained that:

i=1|Vt|stii=1|Vt1|st1i\displaystyle\frac{\prod_{i=1}^{|V_{t}|}\!s_{t}^{i}}{\prod_{i=1}^{|V_{t-1}|}\!s_{t-1}^{i}} =\displaystyle= (mr+1)|Vt1|(m+1)m|Et1|rm|E0|[1+m2+3m2t](m2+3m+22)t2.\displaystyle(mr+1)^{|V_{t-1}|}\cdot(m+1)^{m|E_{t-1}|}\cdot r^{m|E_{0}|\cdot\big{[}1+\frac{m^{2}+3m}{2}t\big{]}(\frac{m^{2}+3m+2}{2})^{t-2}}. (82)

Then, when the number of iterations t>1t>1 or G0G_{0} is not tree, the following relation can be obtained according to the spectral analysis and Eq.(34):

i=2|Vt|σti\displaystyle\prod_{i=2}^{|V_{t}|}\!\sigma_{t}^{i} =\displaystyle= (m+2m+1)|Vt||Vt1||Et1|(2m+1)|Et1||Vt1|m2r+3mr+2(mr+1)(m+1)i=2|Vt1|(g1(σt1i)g2(σt1i))\displaystyle(\frac{m+2}{m+1})^{|V_{t}|-|V_{t-1}|-|E_{t-1}|}\cdot(\frac{2}{m+1})^{|E_{t-1}|-|V_{t-1}|}\cdot\frac{m^{2}r+3mr+2}{(mr+1)(m+1)}\cdot\prod_{i=2}^{|V_{t-1}|}\big{(}g_{1}(\sigma_{t-1}^{i})g_{2}(\sigma_{t-1}^{i})\big{)}
=\displaystyle= (m+2m+1)|Vt||Vt1||Et1|(2m+1)|Et1||Vt1|m2r+3mr+2(mr+1)(m+1)i=2|Vt1|σt1i(mr+2(mr+1)(m+1))|Vt|1.\displaystyle(\frac{m+2}{m+1})^{|V_{t}|-|V_{t-1}|-|E_{t-1}|}\cdot(\frac{2}{m+1})^{|E_{t-1}|-|V_{t-1}|}\cdot\frac{m^{2}r+3mr+2}{(mr+1)(m+1)}\prod_{i=2}^{|V_{t-1}|}\sigma_{t-1}^{i}\cdot(\frac{mr+2}{(mr+1)(m+1)})^{|V_{t}|-1}.

Therefore, the last term on the right side of Eq.(75) can be written as:

i=2|Vt|σtii=2|Vt1|σt1i=(m+2m+1)|Vt||Vt1||Et1|(2m+1)|Et1||Vt1|m2r+3mr+2(mr+1)(m+1)(mr+2(mr+1)(m+1))|Vt1|1\displaystyle\frac{\prod_{i=2}^{|V_{t}|}\!\sigma_{t}^{i}}{\prod_{i=2}^{|V_{t-1}|}\!\sigma_{t-1}^{i}}=(\frac{m\!+\!2}{m\!+\!1})^{|V_{t}|-|V_{t-1}|-|E_{t-1}|}\!\cdot\!(\frac{2}{m\!+\!1})^{|E_{t-1}|-|V_{t-1}|}\!\cdot\!\frac{m^{2}r\!+\!3mr\!+\!2}{(mr\!+\!1)(m\!+\!1)}\!\cdot\!(\frac{mr\!+\!2}{(mr\!+\!1)(m\!+\!1)})^{|V_{t-1}|-1} (83)

By substituting Eq.(76), Eq.(82) and Eq.(83) into Eq.(75), it can be obtained that:

NtrtNtrt1\displaystyle\frac{N_{tr}^{t}}{N_{tr}^{t-1}} =\displaystyle= rm|E0|[1+m2+3m2t](m2+3m+22)t2(m+2)|Vt||Vt1||Et1|2|Et1||Vt1|+1(mr+2)|Vt1|1\displaystyle r^{m|E_{0}|\cdot\big{[}1+\frac{m^{2}+3m}{2}t\big{]}(\frac{m^{2}+3m+2}{2})^{t-2}}\cdot(m+2)^{|V_{t}|-|V_{t-1}|-|E_{t-1}|}\cdot 2^{|E_{t-1}|-|V_{t-1}|+1}\cdot(mr+2)^{|V_{t-1}|-1} (84)

In addition, when t=1t=1 and G0G_{0} is tree, according to the above calculation method, it can be obtained that:

i=2|V1|σ1ii=2|V0|σ0i=(m+2m+1)|V1|2|V0|m2r+3mr+2(mr+1)(m+1)(mr+2(mr+1)(m+1))|V0|1\displaystyle\frac{\prod_{i=2}^{|V_{1}|}\!\sigma_{1}^{i}}{\prod_{i=2}^{|V_{0}|}\!\sigma_{0}^{i}}=(\frac{m+2}{m+1})^{|V_{1}|-2|V_{0}|}\cdot\frac{m^{2}r+3mr+2}{(mr+1)(m+1)}\cdot(\frac{mr+2}{(mr+1)(m+1)})^{|V_{0}|-1}

and

Ntr1Ntr0=2rm(|V0|1)(m+2)|V1|2|V0|(mr+2)|V0|1\displaystyle\frac{N_{tr}^{1}}{N_{tr}^{0}}=2r^{m(|V_{0}|-1)}\cdot(m+2)^{|V_{1}|-2|V_{0}|}\cdot(mr+2)^{|V_{0}|-1} (85)

where it can be noticed that Ntr0=1N_{tr}^{0}=1.

In view of the influence of different initial network topologies on the number of weighted spanning trees NtrtN_{tr}^{t}, we need to conduct a classification discussion on this.

4.3.1 Case 1: G0G_{0} is not a tree

Under this condition, only the iterative relation of NtrtN_{tr}^{t} in Eq.(84) can be used to obtain following analytic expression:

Ntrt\displaystyle N_{tr}^{t} =\displaystyle= i=1tNtriNtri1Ntr0\displaystyle\prod_{i=1}^{t}\frac{N_{tr}^{i}}{N_{tr}^{i-1}}\cdot N_{tr}^{0} (86)
=\displaystyle= Ntr02|E0|2m(m+3)[(m+1)(2m+1)t+4mtm1](|V0|1)tr|E0|4m(2m+1)[(4m2t+2mt1)(2m+1)t+1]\displaystyle N_{tr}^{0}\cdot 2^{\frac{|E_{0}|}{2m(m+3)}[(m+1)(2m+1)^{t}+4mt-m-1]-(|V_{0}|-1)t}\cdot r^{\frac{|E_{0}|}{4m(2m+1)}[(4m^{2}t+2mt-1)(2m+1)^{t}+1]}
(mr+2)(|V0|1)t+2|E0|m+3[(2m+1)t12mt](m+2)3|E0|(m1)2m(m+3)[(2m+1)t1].\displaystyle(mr+2)^{(|V_{0}|-1)t+\frac{2|E_{0}|}{m+3}[\frac{(2m+1)^{t}-1}{2m}-t]}\cdot(m+2)^{\frac{3|E_{0}|(m-1)}{2m(m+3)}[(2m+1)^{t}-1]}.

4.3.2 Case 2: G0G_{0} is a tree

When the initial network G0G_{0} is a tree, Eq.(84) and Eq.(85) need be combined to obtain the analytic expression of NtrtN_{tr}^{t}, which can be expressed as follows:

Ntrt\displaystyle N_{tr}^{t} =\displaystyle= i=2tNtriNtri1Ntr1\displaystyle\prod_{i=2}^{t}\frac{N_{tr}^{i}}{N_{tr}^{i-1}}\cdot N_{tr}^{1} (87)
=\displaystyle= 2|V0|12m(m+3)[(m+1)(2m+1)t+4mt7m2m21](|V0|1)(t1)+1\displaystyle 2^{\frac{|V_{0}|-1}{2m(m+3)}[(m+1)(2m+1)^{t}+4mt-7m-2m^{2}-1]-(|V_{0}|-1)(t-1)+1}
rm(|V0|1)[4m2t+2mt14m2(2m+1)2(2m+1)t+14m2+2m14m2+1]\displaystyle\cdot r^{m(|V_{0}|-1)[\frac{4m^{2}t+2mt-1}{4m^{2}(2m+1)^{2}}(2m+1)^{t+1}-\frac{4m^{2}+2m-1}{4m^{2}}+1]}
(mr+2)(|V0|1)[2m+3((2m+1)t12mt)+t]\displaystyle\cdot(mr+2)^{(|V_{0}|-1)[\frac{2}{m+3}(\frac{(2m+1)^{t}-1}{2m}-t)+t]}
(m+2)|E0|12m(m+3)[3(m1)(2m+1)t+3(m+1)6m2]+4mm+3(|V0|1)|V0|.\displaystyle\cdot(m+2)^{\frac{|E_{0}|-1}{2m(m+3)}[3(m-1)(2m+1)^{t}+3(m+1)-6m^{2}]+\frac{4m}{m+3}(|V_{0}|-1)-|V_{0}|}.

Hence, the analytic expressions for the number of the weighted spanning tree NtrtN_{tr}^{t} have been derived in the iterated weighted network GtG_{t} generated by the weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot).

5 Conclusion

In this paper, a weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot) has been proposed and through this operation, a type of weighted iterative network model been constructed. The network model has global small-world property, scale-free property, and clique structures on local features. Then, based on the iterative property of the network structure, the iterative relationship of the eigenvalues of the normalized Laplacian matrix is analyzed, and three spectral applications are given, namely, Kenemy constant, Multiplicative Degree-Kirchhoff Index and the number of weighted spanning trees.

In addition, because Kemeny constant is closely related to the first-passage time of the network, which can reflect the functions and dynamic properties of the network remarkably, this characteristic quantity is taken as an example to analyze the impact of size factor mm and weight factor rr on network model. The results show that under the same number of iterations, by changing the size factor mm, the topology of the network can be significantly changed, and the overall function and dynamic properties of the network can be dramatically affected, which is consistent with the inference in Remark 2. In comparison, adjusting the weight factor rr can only control the dynamic properties and functions of the network in a small range, but its advantage is that the structure of the network has not changed, so the cost of regulation is lower. Spontaneously, the simultaneous regulation of the above two factors can make the function and dynamic properties of the network model reach the ideal state. Given the wide application of the first-passage time and Kemeny constant in measuring navigation efficiency, random search cost and efficiency of robotic surveillance in the network,Levene & Loizou [2002]; Patel et al. [2015] we believe that this adjustable weighted mm-clique annex operation τmr()\tau^{r}_{m}(\cdot) and the complex network model generated by it have great application potential in the field of artificial networks.

Acknowledgments

This work was supported by Key Project of Natural Science Foundation of China (No. 61833005) and National Natural Science Foundation of China (No. 12026214).

Data Availability Statement

The data that support the findings of this study are available within the article.

References

  • Aldous & Fill [1995] Aldous, D. & Fill, J. [1995] Reversible Markov chains and random walks on graphs (Berkeley, The United States).
  • Barabási & Albert [1999] Barabási, A.-L. & Albert, R. [1999] “Emergence of scaling in random networks,” Science 286, 509–512.
  • Barrat et al. [2004a] Barrat, A., Barthélemy, M. & Vespignani, A. [2004a] “Modeling the evolution of weighted networks,” Physical Review E 70, 066149.
  • Barrat et al. [2004b] Barrat, A., Barthélemy, M. & Vespignani, A. [2004b] “Weighted evolving networks: coupling topology and weight dynamics,” Physical Review Letters 92, 228701.
  • Barriere et al. [2016] Barriere, L., Comellas, F., Dalfo, C. & Fiol, M. A. [2016] “Deterministic hierarchical networks,” Journal of Physics A: Mathematical and Theoretical 49, 225202.
  • Chang et al. [2014] Chang, X., Xu, H. & Yau, S.-T. [2014] “Spanning trees and random walks on weighted graphs,” Pacific Journal of Mathematics 273, 241–255.
  • Chen & Zhang [2007] Chen, H. & Zhang, F. [2007] “Resistance distance and the normalized laplacian spectrum,” Discrete Applied Mathematics 155, 654–661.
  • Chung & Graham [1997] Chung, F. R. & Graham, F. C. [1997] Spectral graph theory, 92 (American Mathematical Society, The United States).
  • Girvan & Newman [2002] Girvan, M. & Newman, M. E. [2002] “Community structure in social and biological networks,” Proceedings of The National Academy of Sciences 99, 7821–7826.
  • Imrich & Klavzar [2000] Imrich, W. & Klavzar, S. [2000] Product graphs: structure and recognition (Wiley, The United States).
  • Jin et al. [2017] Jin, Y., Li, H. & Zhang, Z. [2017] “Maximum matchings and minimum dominating sets in apollonian networks and extended tower of hanoi graphs,” Theoretical Computer Science 703, 37–54.
  • Julaiti et al. [2013] Julaiti, A., Wu, B. & Zhang, Z. [2013] “Eigenvalues of normalized laplacian matrices of fractal trees and dendrimers: Analytical results and applications,” The Journal of Chemical Physics 138, 204116.
  • Klein & Randić [1993] Klein, D. J. & Randić, M. [1993] “Resistance distance,” Journal of Mathematical Chemistry 12, 81–95.
  • Levene & Loizou [2002] Levene, M. & Loizou, G. [2002] “Kemeny’s constant and the random surfer,” The American Mathematical Monthly 109, 741–745.
  • Li & Zhang [2018] Li, H. & Zhang, Z. [2018] “Kirchhoff index as a measure of edge centrality in weighted networks: Nearly linear time algorithms,” Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (SIAM), pp. 2377–2396.
  • Lovász et al. [1993] Lovász, L. et al. [1993] “Random walks on graphs: A survey,” Combinatorics, Paul erdos is eighty 2, 1–46.
  • Mahdian & Xu [2007] Mahdian, M. & Xu, Y. [2007] “Stochastic kronecker graphs,” International workshop on algorithms and models for the web-graph (Springer, The United States), pp. 179–186.
  • Mehatari & Banerjee [2015] Mehatari, R. & Banerjee, A. [2015] “Effect on normalized graph laplacian spectrum by motif attachment and duplication,” Applied Mathematics and Computation 261, 382–387.
  • Milo et al. [2002] Milo, R., Shen-Orr, S., Itzkovitz, S., Kashtan, N., Chklovskii, D. & Alon, U. [2002] “Network motifs: simple building blocks of complex networks,” Science 298, 824–827.
  • Newman [2003] Newman, M. E. [2003] “The structure and function of complex networks,” SIAM Review 45, 167–256.
  • Patel et al. [2015] Patel, R., Agharkar, P. & Bullo, F. [2015] “Robotic surveillance and markov chains with minimal weighted kemeny constant,” IEEE Transactions on Automatic Control 60, 3156–3167.
  • Prałat & Wang [2011] Prałat, P. & Wang, C. [2011] “An edge deletion model for complex networks,” Theoretical Computer Science 412, 5111–5120.
  • Qi et al. [2015] Qi, X., Fuller, E., Luo, R. & Zhang, C.-q. [2015] “A novel centrality method for weighted networks based on the kirchhoff polynomial,” Pattern Recognition Letters 58, 51–60.
  • Qi et al. [2018] Qi, Y., Li, H. & Zhang, Z. [2018] “Extended corona product as an exactly tractable model for weighted heterogeneous networks,” The Computer Journal 61, 745–760.
  • Redner [2001] Redner, S. [2001] A guide to first-passage processes (Cambridge University Press, The United Kingdom).
  • Rozenfeld et al. [2007] Rozenfeld, H. D., Havlin, S. & ben Avraham, D. [2007] “Fractal and transfractal recursive scale-free nets,” New Journal of Physics 9, 175–175, 10.1088/1367-2630/9/6/175, URL https://doi.org/10.1088/1367-2630/9/6/175.
  • Sharma et al. [2017] Sharma, R., Adhikari, B. & Mishra, A. [2017] “Structural and spectral properties of corona graphs,” Discrete Applied Mathematics 228, 14–31.
  • Tetali [1991] Tetali, P. [1991] “Random walks and the effective resistance of networks,” Journal of Theoretical Probability 4, 101–109.
  • Tsourakakis [2015] Tsourakakis, C. [2015] “The k-clique densest subgraph problem,” Proceedings of the 24th international conference on world wide web, pp. 1122–1132.
  • Van Mieghem [2010] Van Mieghem, P. [2010] Graph spectra for complex networks (Cambridge University Press, United Kingdom).
  • Watts & Strogatz [1998] Watts, D. J. & Strogatz, S. H. [1998] “Collective dynamics of ”small-world” networks,” Nature 393, 440–442.
  • Wood [2005] Wood, D. R. [2005] “Acyclic, star and oriented colourings of graph subdivisions,” Discrete Mathematics and Theoretical Computer Science 7, 37–50.
  • Wu et al. [2019] Wu, B., Zhang, Z. & Su, W. [2019] “Spectral analysis for weighted iterated q-triangulation networks,” Chaos: An Interdisciplinary Journal of Nonlinear Science 29, 123107.
  • Yi et al. [2018] Yi, Y., Zhang, Z. & Patterson, S. [2018] “Scale-free loopy structure is resistant to noise in consensus dynamics in complex networks,” IEEE Transactions on Cybernetics 50, 190–200.
  • Zeng & Zhang [2021] Zeng, Y. & Zhang, Z. [2021] “Spectra, hitting times and resistance distances of q-subdivision graphs,” The Computer Journal 64, 76–92.
  • Zhang & Comellas [2011] Zhang, Z. & Comellas, F. [2011] “Farey graphs as models for complex networks,” Theoretical Computer Science 412, 865–875.