Structure Properties of Generalized Farey graphs based on Dynamical Systems for Networks.

Farey graphs are simultaneously small-world, uniquely Hamiltonian, minimally 3-colorable, maximally outerplanar and perfect. Farey graphs are therefore famous in deterministic models for complex networks. By lacking of the most important characteristics of scale-free, Farey graphs are not a good model for networks associated with some empirical complex systems. We discuss here a category of graphs which are extension of the well-known Farey graphs. These new models are named generalized Farey graphs here. We focus on the analysis of the topological characteristics of the new models and deduce the complicated and graceful analytical results from the growth mechanism used in generalized Farey graphs. The conclusions show that the new models not only possess the properties of being small-world and highly clustered, but also possess the quality of being scale-free. We also find that it is precisely because of the exponential increase of nodes' degrees in generalized Farey graphs as they grow that caused the new networks to have scale-free characteristics. In contrast, the linear incrementation of nodes' degrees in Farey graphs can only cause an exponential degree distribution.

Introduction

There are two types of common feature that exist in real-life complex networks: one is the scale-free distribution of degree, and the other is small-world behavior. To mimic the two main features existing in most real-life networks, researchers have proposed a wide variety of models. Random networks models, including the famous WS small-world models[1] and BA scale-free networks[2], stimulated an in-depth understanding of the various physical mechanisms in empirical complex networks from 1998 onwards. However, the uncertain creation mechanism and huge computation requirements for analysis are two main shortcomings of random models. Deterministic models can be designed that have the same important properties similar as random models, such as being scale-free, small-world and highly clustered, and thus can be used to imitate empirical networks appropriately. Hence the study of the deterministic models of complex networks has increased recently.

The first deterministic model is deduced by Comellas[3]; it presents the property of being small-world. Barabási confirms that the scale-free property can also emerge in deterministic networks, just as it emerges in random models[4]. Deterministic uniform recursive tree is a deterministic version of the random uniform recursive tree; Zhang studies the topological characteristics and spectral properties of the Laplacian matrix in it[5]. Moreover, inspired by the simple recursive operation, techniques of plane filling and generating processes of fractals, several deterministic models[6-14] have been created and studied carefully.

Recently, the famous Farey sequence of irreducible fractions between 0 and 1 has been related to graph constructions known as Farey graphs[15]. The graphs have many interesting properties: they are minimally 3-colorable, uniquely Hamiltonian, maximally outerplanar and perfect[15]. Researchers show that Farey graphs are an appropriate model for networks associated with some complex systems[16-19].

We here propose another family of complex network based on Farey graphs, named generalized Farey graphs. We rigorously derive the main topological properties of generalized Farey graphs found in such graphs, including average degree, degree distribution, clustering coefficient, network diameter and average path length. We find that our generalized Farey graphs are different from Farey graphs in that they possess the new property of being scale-free. In other words, the new models are more suitable for depicting and revealing complexity and universality of complex network systems than standard Farey graphs.

Definition, Order and Size of Generalized Farey Graphs

To ensure the integrity of the paper, we here duplicate the construction method and main properties of Farey graphs found in ref.[15]. Farey graphs are constructed in an iterative manner; let be the Farey graph after iterations.

Definition 1.

Farey graph , for , is constructed as follows:

For , has two vertices and a single edge joining them together.

For , is obtained from by adding a new vertex adjacent to both the end vertices of every edge introduced at step .

Remark 2.

Figure 1 shows the case of a Farey graph after step . The number of vertices and edges of the graph are and respectively. The average degree is ; for large t, it is small and approximately equal to 4. The cumulative degree distribution follows an exponential distribution . The clustering coefficient is , where denotes Lerch’s transcendent function; the clustering coefficient tends to for large value of t, thus the clustering coefficient of is high. The diameter is , , and the average path length is ; therefore the Farey graph is a small-world network.

Figure 1

Farey graph . The vertices, which are added to at time from to 6, are marked with different colors: black, red, green, blue, yellow, purple and cyan, respectively.

Remark 3.

The two hub vertices in are marked with X and Y. By then comparing the two distances from itself to the two hub nodes, all the nodes in can be divided into three parts: , and . Each node in has shorter distance from itself to X than to Y. in Fig. 1 is enclosed by the red dotted line. On the contrary, the nodes in have shorter distance to Y than to X, which are enclosed by the blue dotted line in Fig. 1. The remaining nodes are assigned to , in which the two distances are equal. From this point of view, . It is worth pointing out that the number of nodes in and are equal for every Farey graph due to the symmetry of their construction.

Although several papers show that Farey graphs are a good model for networks associated with some complex systems[16-19], but they have not the important characteristic of being scale-free. In this paper, we generalize the construction method of Farey graphs, to construct generalized Farey graphs, and we focus on analytic solutions to derive their topological properties. The construction of generalized Farey graphs is shown below.

Definition 4.

The generalized Farey graph (where ) is constructed in an iterative way:

For , is a triangle whose three vertices connect one another;

For , is obtained from by adding for each edge created at step an additional m new vertices, and attaching the m new nodes to both end vertices of that edge.

Remark 5.

Figure 2 shows the first three steps of the construction of in the cases of and 2. If m = 1, degenerates into the union of three Farey graphs (i = 1, 2 and 3), created by merging a different hub node from each Farey graph pair and (i ≠ j) to create three shared hub nodes for the generalized Farey graph (see Fig. 2a).

Figure 2

The first three steps of generalized Farey graphs , when and , 1, 2, respectively. (a) The generalized Farey graphs , and . (b) The generalized Farey graphs , and .

Next, we study the detailed structure of , which is shown in Fig. 3.

Figure 3

The detailed construction patterns in and . (a) is the merging of three sub-networks: , where . (b) is constructed by 2 m copies of , where and .

Firstly, as shown in Fig. 3a, is divided into three sub-networks, denoted as , . Every sub-network shares with each of the other sub-networks a common hub. As described in Remark 5, is exactly the combination of three equivalent sub-networks, created by merging six hubs into three nodes in a triangle arrangement. Just as for a Farey graph, each sub-network has two initial nodes, and , and all the nodes in it can be divided into three parts based on the distance from each node to the two hubs: , and .

Secondly, based on the construction pattern used to create , we can infer that is also recursively constructed by copies of , in which . This combination method is shown in Fig. 3b.

We now infer the number of vertices and edges in generalized Farey graphs .

We first denote and as the number of new vertices and edges which are added to at step t. The number of vertices and edges in are therefore and respectively.

Using the construction method above, we deduce that, when :

Combined with the initial conditions and , we prove that, when :

We can then infer that:

Thus, the average degree can be calculated as follows:

For large values of t, the average degree is also small and approximately equal to 4, same as regular Farey graphs. We can also see that the proposed new models are sparse network. The reason for this is that the largest proportion of nodes in two graphs and have only a degree of 2 (being newly added).

Relevant Characteristics of Generalized Farey Graphs

In the following section we concentrate on the degree distribution, clustering coefficient, network diameter and average path length of generalized Farey graphs. Thanks to the deterministic nature of , we can give exact values for the relevant topological properties of this graph family for different values of t.

Degree distribution

The degree distribution is one of the most important statistical characteristics of a network. By the definition, the degree of a node v is the number of edges incident from v. We denote the degree of a node v originally added to graph at iteration by . Referring to the creation mechanism for generalized Farey graphs defined earlier, we deduce that:

Obviously, when m is larger than 1, any node’s degree increases exponentially. When m = 1, the degree is , which is a linear increase[15].

Furthermore, the degree spectrum of the network is discrete. By simplifying as k, and from equation (8), we obtain:

The degree distribution for a network gives the probability that a randomly selected vertex has exactly k edges. In the analysis of the degree distribution of real life networks, it is usual to consider their cumulative degree distribution, . The probability that the degree of a vertex is greater than or equal to k corresponds to the cumulative degree distribution. The earlier that the vertices are added to the network, the higher the degree they will have. Hence, the cumulative degree distribution is the sum of all vertices added to the graph from steps to , such that . It follows that:

Substituting equation (9) for in this expression gives:

Applying the rule , we can infer than that

From the principle in ref.[2], when considering the relation between the cumulative degree distribution and the degree distribution as a histogram of the probability density, the size of histogram bins (i.e., the separation between adjacent k values) is proportional to k itself. Therefore, for the cumulative degree distribution, means the degree distribution follows a power-law form [2]. For equation 12, we obtain that with the exponent , which belongs to the interval [2, 3]. When m increases from 2 to infinity, γ decreases from 3 to 2. It should be stressed that the exponent of degree distribution of most real scale-free networks also lies in the same range between 2 and 3[2,3].

The scale-free characteristic emerges from generalized Farey graphs when m is larger than 1, and this property is not found in Farey graphs in which m = 1. Clearly, the scale-free property originates from the exponential increase of nodes’ degrees in generalized Farey graphs, instead of the linear incrementation found in regular Farey graphs.

Clustering coefficient

The clustering coefficient defines a measure of the level of cohesiveness around any given node. Supposing any node v has neighbor nodes, and there are edges among these neighbors; the maximum possible value of is then . The clustering coefficient of node v is therefore twice the ratio between them:

The clustering coefficient of the whole graph is the average of all clustering coefficients individual nodes. Therefore, we next compute the clustering coefficient of every node in a generalized Farey graph and their average value.

Suppose that a node v is added to the graph at iteration . From the definition of clustering coefficient, can also denote the number of triangles (connected triplets of nodes) added to the graph at iteration by the addition of this node. We then get the relationship:

Using the abbreviating and substituting equation (8) into (13), we obtain:

This expression indicates that the local clustering scales is .

The clustering coefficient () of the whole network at arbitrary step t can then be easily computed:

For large values of m, we get:

The clustering coefficient tends to for large value of t. Therefore, for large value of t and m, the clustering coefficient approaches a constant value 1. We know that only the complete graph has a clustering coefficient of 1. In contrast, the value for regular Farey graphs is [15]. Node degrees increase exponentially as generalized Farey graphs grow, while the growth for regular Farey graphs is linear, which leads to generalized Farey graphs having higher clustering coefficients than Farey graphs. The basic motif in each growth step is the creation of new closed triplets of nodes, which causes high clustering coefficients both in generalized Farey graphs and Farey graphs.

Diameter

The longest shortest path between all pairs of nodes is called the diameter. Diameter is one of the most important evaluation indexes because it characterizes the maximum communication delay in the network. Below we give the precise analytical computation of the diameter of denoted by .

From Proposition 3.7 in ref.[15], the diameter of a Farey graph is when . That is to say, the distance from any vertex to an initial vertex, which is added to graphs at time , is less than or equal to t.

By examining the structured construction of in Fig. 3a, if the shortest distance between any two vertices goes through an initial vertex, the distance between any pair of vertices is less than or equal to 2t + 1,

Because the network diameter is proportional to the logarithm of the network nodes, just liking Farey graphs, generalized Farey graphs are small world networks, as well.

Average path length

One of the most important properties of complex networks is average path length. Average path length is the average value of the distances (the shortest path length) between every two nodes in the network, and it is much more difficult to calculate than connectivity. Most real networks have been shown to be small-world or ultra-small-world networks, that is, their average path length behaves as a logarithmic or double logarithmic scaling with the network size. Average path length is relevant in many fields regarding real-life networks, including the design of routes in architectural design, signal integrity in communication networks, the propagation of diseases or beliefs in social networks or of technology in industrial networks. Moreover, many processes such as routing, searching, and spreading become more efficient when average path length is smaller. So far, much attention has been paid to the question of average path length. But the calculation of the characteristic path length in random networks is based on the renormalization group method or the mean field method, and there are no accurate and analytical expressions of average path length. For some deterministic models, there are some accurate solutions using various methods. Next, we find the exact analytical expression for the average distance of generalized Farey graphs .

The definition of average path length in is as follows:where is total distance between all couples of nodes, i.e.where is the shortest distance between node i and j in .

The total distance in can be derived based on recursive characteristics of the network structure. The network has the following structure: is the merge of two sub-networks and , where is the combination of two sub-networks and . The three sub-networks (i = 1, 2, 3) are the same, so that we only need compute the total distance for any of the three sub-networks. The sub-networks have the same recursively increased structure. Moreover, just as for regular Farey graphs, all the nodes in these three sub-networks can be divided into three parts based on their distances to two hub nodes. With the help of the initial conditions , we first deduce the total distance in a sub-network. Then we derived the total distance in from the merger of three sub-networks. The detailed derivation process is shown in the Supplementaly information.

From the last equation (A19) in the Supplementaly information, we deduce that:

By substituting it into equation (19), the averaged path length of generalized Farey graphs is calculated as follows:

Given an infinite network size limit (), this becomes:

Based on the above discussions, our model is a deterministic small-world network, because it is a sparse with exponential degree distribution, high clustering, short diameter and short average path length, which satisfy the four main necessary properties for small-world and scale-free networks.

Conclusion

The scale-free characteristic emerges from the generalized Farey graphs, and this property is not found in the Farey graphs, because generalized Farey graphs have similar but not identical evolutionary mechanisms in comparison with Farey graphs. The degree distribution in genialized Farey graphs follows a power-law form where the exponent belongs to the interval [2, 3], while degree distribution is exponential in Farey graphs. The difference of topological properties among them are rooted in their different growth mechanisms. In other words, scale-free originates from the exponential increase mechanism of nodes’ degrees in generalized Farey graphs, while exponential degree distribution is caused by the linear incremental in Farey graphs.

The clustering coefficient tends to for large value of t in genialized Farey graphs. Therefore, for large value of t and m, the clustering coefficient approaches a constant value 1. That value in Farey graph is . Nodes’ degrees increase exponentially in generalized Farey graphs, while that growth in Farey graphs is linear, which leads to generalized Farey graphs having higher clustering coefficient than Farey graphs. The basic motif in each growth step is a triangle, which causes high clustering coefficients both in generalized Farey graphs and Farey graphs.

Average degrees are all small and approximately equal to 4 in generalized Farey graphs and Farey graphs. The proposed new models are sparse network as well. This is because the largest proportion of nodes in the two types of graphs only have a degree of 2.

We here also provided an appropriate example for a wide family of generalized Farey graphs, including the networks created by edge iterations[20], or evolving networks with geographical attachment preference[21], or the general geometric growth model for pseudo-fractal scale-free webs with parameters and [22]. It should be mentioned that the final expressions in this paper are the extension of networks in ref[20-22], so the explicit calculation presented here is a solution with more general usefulness.

The family of generalized Farey networks, being scale-free, with high clustering coefficients, small diameter and average path length, and small-world properties, successfully reproduces some remarkable characteristics in many natural and man-made networks and has special advantages in the research of some physical mechanisms such as random walks in complex networks. With the help of our results, the deterministic generalized Farey models will have unique virtues in contrast with more usually probabilistic approaches in understanding the underlying mechanisms between dynamical processes (random walks, consensus, stabilization, synchronization, etc.) applied to the structure of complex networks.