A New Class of the Planar Networks with High Clustering and High Entropy

and Applied Analysis 3


Introduction
Over the past decade, a lot of authors in different scientific communities have made a concerted effort toward unveiling and understanding the generic properties of complex networked systems in nature and society [1][2][3][4][5].One of the most important things is the network modeling.Its importance lies in the fact that it cannot only capture correctly the processes that assembled the networks that we see today, but also help to know how various microscopic processes influence the network topology [6].At present, many papers related to complex network models are stochastic [7][8][9].But the randomness, while in line with the major features of real-life networks, makes it harder to gain a visual understanding of how networks are shaped and how do different nodes relate to each other [10].Therefore, it would be not only of major theoretical interest but also of great practical significance to construct models that lead to small-world networks in deterministic fashions.
The first successful attempt to generate networks with high clustering coefficients and small average path length (APL) is the model introduced by Watts and Strogatz (WS model) [11].This pioneering work of Watts and Strogatz started an avalanche of research on the properties of smallworld networks and the Watts-Strogatz (WS) model [12].A much-studied variant of the WS model was proposed by Newman and Watts [13,14].In 1999, Kasturirangan proposed an alternative model to WS small-world network [15].Actually, small-world networks are characterized by three main properties.First, their APL does not increase linearly with the system size, but grows logarithmically with the number of nodes or slower.Second, average node degree of the network is small.Third, the network has a strong average clustering [11] compared to an Erdös-Rényi (ER) random network [16,17] of equal size and average node degree.
In this paper, we propose a generation algorithm of a deterministic planar network model.And we analyze its topological properties; the results show that our model has a discrete exponential degree distribution, high clustering, and small diameter, which appears small-world effect.In addition, it is known to us that the number of spanning trees is an important quantity characterizing the reliability of a network.Generally, the number of spanning trees in a network can be obtained by directly calculating a related determinant corresponding to the network.However, for a large network, evaluating the relevant determinant is intractable [18].Therefore, we propose a generic linear algorithm to count the number of spanning trees of the general planar networks.Using the algorithm, we derive analytically the exact numbers of spanning trees in the planar networks.Based on the number of spanning trees, we determine the entropy of its spanning trees.

Network Construction
The studied network is constructed in an iterative way.We denote the network after  steps by ().Then, the network at step  is built as follows.For  = 1, (1) is a complete graph with 4 nodes.For  ≥ 2, () is obtained from ( − 1) by replacing each existing iterative edge in ( − 1) with (1).The process is repeated till the desired graph order is reached; see Figure 1.Now, we compute the order and size of ().Let  V (),   (), and   () denote, respectively, the set of vertices, edges, and iterative edges introduced at step , while () and () are the set of vertices and edges of the graph ().Notice that, at each iteration, an iterative edge is replaced by two new iterative edges and three noniterative edges.Therefore,

1). As each iterative edge introduces at the next iteration two new vertices and five new edges, we have |𝐿
The average degree is then Obviously, for large , it is approximately equal to 5.

Relevant Characteristics of the Deterministic Small-World Network
In the following, we concentrate on the degree distribution, clustering coefficient, and diameter.

Degree Distribution.
The degree is the simplest and the most intensively studied characteristic of an individual node.
The degree of a node  is the number of edges in the whole network connected to .The degree distribution () is defined as the probability that a randomly selected node has exactly  edges.Let   () be the degree of node  at step .All nodes can be divided into two categories.(i) Interior nodes; for those nodes that only connect to noniterative edges, their degree is always equal to 3. (ii) Noninterior nodes; one can see that at any iteration, a iterative edge is replaced by two new iterative edges and three new noniterative edges, so the degree of noninterior nodes is added 4 at each iteration.Thus, the degree   () of a node  satisfies the relation   (+1) =   ()+4.
Then,   () = 4 − 1.And we have Let   be the step at which a node  is created, then   (  ) = 3, and hence, for noninterior nodes, we have Other values of degree are absent in the spectrum.Due to the discreteness of this degree spectrum, it is convenient to obtain its cumulative degree distribution [18]; that is, Using (5), we have Obviously, when the size of the network is large, the degree distribution  cum () = 2 (3/4)−(/4) is an exponential of a power of degree .

Clustering Coefficient.
Clustering coefficient is another significant property of a network, which provides a measure of the local structure within the network.The most immediate measure of clustering is the clustering coefficient   for every node .By definition, clustering coefficient   of a node  is the ratio of the total number   of edges that actually exist between all   its nearest neighbors and the number   (  − 1)/2 of all possible edges between them; that is, Figure 2: (Color online) the network ().The solid links are iterated links, the dashed links are noniterated links.
whole network is the average of all individual    s.For this network, we can obtain the exact expression of the clustering coefficient   .By construction, for any given node  having a degree , there are   = 3 ⋅ ( − 1)/2 links that actually exist among the neighbor nodes.So, one can see that there is a one-to-one corresponding relation between the coefficient () of the node and its degree : () = 3/.This expression indicates that the local clustering scales as () ∼  −1 .
For infinite ,   approaches to a constant value of 0.8309, so the clustering is high.

Diameter.
Besides degree distribution and clustering coefficient, average path length (APL) is another important parameter to characterize a network.APL is defined as the average number of edges along the shortest paths for all possible pairs of network nodes.People have found the smallworld phenomenon in most real-life networks that behave with a short APL.For most network models, it is hard to obtain the analytic solution of APL.To demonstrate the short distance between any pair of nodes, we can adopt another parameter that is defined as the maximal communication delay in the network.If a network has a small diameter, then this network is undoubtedly with a short APL [19].For the network proposed, we denote the diameter at iteration  as ().According to Figure 1, we can clearly know that (1) = 1 and (2) = 2.At each iteration, one can see that the diameter always lies between a pair of newly created nodes at this iteration because at each iterative edge we paste a complete graph (1), so the diameter for the network proposed has the following simple formula, () = .
Notice that the logarithm value of total number of nodes |()| is approximately equal to  ln 2 for large .Thus, the diameter grows logarithmically with the number of nodes and the average path length increases more slowly than ln |()|.
Based on the above discussions, our model is a deterministic small-world network because it is a sparse one with high clustering and short diameter, which satisfies the necessary property for small-world network.

Spanning Trees in the Network
In this section, we investigate the number of spanning trees in this network.Our aim is to derive the exact formula for the number of spanning trees and determine its entropy.
Let () be a planar graph generated by  steps.Since () is symmetry, suppose that the edges V 1 V 2 , V 1 V 3 , and V 2 V 3 are weighted by ( −1 ,  −1 ), where  −1 denote the number of spanning trees of the subgraph  1 and  −1 denote the number of spanning forests of the subgraph  1 with two components such V 1 and V 2 belong to distinct components.Let  ST () be the number of spanning trees of ().Figure 3 gives all spanning trees of (1) and Figure 4 gives all spanning forests with two components.Then, by Figure 2, we have According to Figures 2, 3, and 4, we obtain the recursion relations between  −1 and  −2 as follows: Let  −1 =  −1 / −1 , by (10) it follows that with the initial condition  0 = 1.So, we get  1) is 16.The solid link indicates that one node is connected to another node; the dashed link indicates that one node is not connected to another node.
The number of spanning forests with two components of ( 1) is 8.The solid link indicates that one node is connected to another node; the dashed link indicates that one node is not connected to another node.
By (9), Substituting ( 11) and ( 12) with (13), we have From ( 14), together with (1), we determine the entropy of the number of spanning trees-an important quantity characterizing network structure-for () as the limiting value [20,21]: The obtained entropy of spanning trees in () can be compared to those found in other networks.In the pseudofractal fractal web [22], the entropy is 0.8959, a value less than 1, for the square lattice [23] and the two-dimensional Sierpinski gasket [24], their entropy of spanning trees is 1.16624 and 1.0486, respectively, and for the fractal scale-free lattice [25], the entropy is 1.0397.And all of them have the same average degree of 4. While in Apollonian network [26] having the average degree of 6, the entropy is 1.3540, the entropy of our model with average degree of 5 is between them.

Conclusion
In conclusion, we have investigated a simple model, which is constructed in a deterministic way.Then, we have presented an exhaustive analysis of many properties of the considered model and obtained the analytic solutions for most of the topological features, including degree distributions, clustering coefficient, and diameter.Finally, according to the special structure, we give a general algorithm to count the number of spanning trees of this model.Using the algorithm, we obtained entropies of spanning trees.

Figure 1 :
Figure 1: (Color online) construction of the deterministic planar network (), showing three steps of the iterative progress.The solid links are iterated links; the dashed links are noniterated links.

Figure 3 :
Figure 3: The number of spanning trees of (1) is 16.The solid link indicates that one node is connected to another node; the dashed link indicates that one node is not connected to another node.