INTRODUCTION
The study of networks pervades all kinds of science, from neurobiology to statistical
physics. The greatest challenge today has been the accurate and complete description
of complex systems. The booming complex network theory is a useful tool that
can help us to learn how the world compose and work. As a new branch of network
science, it comes from the random graph theory created by two Hungary mathematicians,
Erdos and Renyi (Albert and Barabasi, 2002; Watts,
2004).
With the development of complex network theory, many kinds of models are proposed
and researched broadly (Asad, 2009). In general, a network
is characterized by three widely-used topological features, i.e., degree distribution,
clustering coefficient and average path length. Regular networks and random
networks are two kinds of traditional models. The former possess large clustering
coefficients, while the latter bear short average path lengths. In the past
several decades, researchers have found that many real-life networks are in
possession of non-trivial topological features. Some of these features do not
occur in traditional regular lattices or random graphs. These networks are usually
called complex networks (Benzargua et al., 2006;
Li and Fang, 2009; Liu et al.,
2009; Tian et al., 2011; Wu
et al., 2010). Two most famous and extensively studied kinds of complex
networks are scale-free networks and small-world networks. The former can be
characterized by power-law degree distributions, while the latter possess short
path lengths and high clustering coefficients. Specially, small-world properties
are ubiquitous in real-life networks, such as the World Wide Web and the electric
power grid (Kwon et al., 2006; Babainejad
et al., 2010; Edriss et al., 2008).
Therefore, small-world networks become a recent research focus of complexity
theory.
From the view point of the randomness in model construction, network models
can be categorized into probabilistic models and deterministic models. For a
long time, researchers have focused on several famous stochastic models, such
as the WS small-world model (Watts and Strogatz, 1998),
the NW small-world model (Newman and Watts, 1999) and
the BA scale-free network (Barabasi and Albert, 1999).
Randomness is a common characteristic of many real-life networks, but it will
be hard for people to understand how these networks are formed and how nodes
in the network have interactions with each other (Barabasi
et al., 2001). In general, it is hard for people to get analytical
solutions to topological features from probabilistic network models. Therefore,
many researchers turn their steps to deterministic network models in order to
obtain analytical results. In recent years, the research on deterministic models
has made significant progress. The first deterministic model that is a variant
of uniform recursive tree (Smythe and Mahmoud, 1995)
known as deterministic uniform recursive tree. Based on graph theories, the
first deterministic small-world model was proposed by Comellas
et al. (2000). This pioneer model attracts a lot of interest from
researchers who become concern about deterministic small-world networks. For
example, a special type of deterministic small-world networks named Hanoi
Networks based on the famous tower of Hanoi puzzle was proposed by Boettcher
et al. (2008). A deterministic small-world network model based on
the Clayey graph was established by Xiao and Parhami (2006).
Through studying the prime factor decomposition, Corso (2001)
constructed a deterministic network whose each node stands for a natural number.
In addition, Chandra and Dasgupta (2005) constructed
a prime-number-based small-world network using a similar idea to Corsons
work.
Swirl is an important research branch of hydromechanics. To make up a swirl, three factors are required, i.e., viscosity, baroclinicity and non-conservative forces. Swirl is a complex movement form and its cause of formation is not clear now. In general, there are four causes that can be used to explain the source of swirl, i.e., naturally formed from the nonpolar energy, driven by existing swirls, separated or released from existing swirls and formed by coupling a number of exiting swirls. Inspired by the swirl phenomenon, the aim of this study is to construct a deterministic swirl-shaped model with several non-trivial topological features.
PROPOSED SWIRL-SHAPED DETERMINISTIC MODEL
The proposed idea comes from the swirl shape. Four directions are considered during the swirl-shaped model generation. When the swirl revolves round the centroid by one cycle, four new nodes are linked to the network with a specific manner. In other words, the proposed model grows by four nodes every time. Assume the obtained network after t iterations is Ut with Nt nodes and Et edges, where t = 0,1,2,
,T1 and T is the number of iterations performed, then the proposed network generation process can be illustrated as follows:
Step 0: Initialization. Set t=0, U0 is a complete network with four nodes. Obviously, N0 = 4 and E0 = 6
|
| Fig. 1: |
The first six iterations of the growth process of the proposed
network |
Step 1: Generation of Ut+1 from Ut. This step includes following two substeps
Step 1.1: Four new nodes are added to the network, each linked to its nearest old node and next nearest old node on the right side
Step 1.2: Each new node is linked to two nearest new nodes
Obviously, after above two substeps, Nt+1 = Nt+4 and Et+1 = Et +12 can be obtained
Step 2: If t<T1, set t = t+1 and go to Step 1. Otherwise, the algorithm is terminated
Above iterative process is repeated for T1 times and then a deterministic network with a high clustering coefficient can be obtained as shown below. Figure 1 shows the obtained network after the first six iterations. According to the relationships Nt+1 = Nt+4 and Et+1 = Et +12 together with the initial conditions N0 = 4 and E0 = 6, it can be easily proved that Nt = 4 t+4 and Et = 12t+6, thus the average node degree can be obtained as follows:
Since,
,
a conclusion can be drawn that the proposed network is a sparse graph whose
nodes have much fewer links than possible.
RELEVANT TOPOLOGICAL CHARACTERISTICS
From the network generation process, it is obvious that the proposed model
is symmetric such that there are strong similarities among the nodes. If the
model is divided into four parts, then any of three parts can be obtained by
rotating the fourth part. The nodes in the same iteration layer have the same
properties.
|
| Fig. 2: |
The evolvement of average clustering coefficient with the
number of nodes |
Therefore, in this section, the topological characteristics can be calculated
based on the layer-by-layer analysis method.
Degree distribution: Degree distribution is one of the most important topological features to characterize a network. The degree of a node is defined as the number of edges directly connected with it. Degree distribution P (k) is defined as the probability that a randomly selected node has exactly k edges directly connected with it. In the proposed model, for the first layer, all four nodes are with the same degree value 5. From the second layer to the t-th layer, all nodes are with the same degree value 6. For the last layer, i.e., the t+1-th layer, all four nodes are with the same degree value 4. On the whole, for t>2, the proposed model has a discrete degree distribution on three values {4, 5, 6} as follows:
When t→∞, the following degree distribution can be easily obtained
Therefore, the degree distribution of the proposed network focuses mainly on the degree value 5.
Clustering coefficient: The clustering coefficient is an important measure
of degree to which nodes in a network incline to clustering together. The clustering
coefficient can be obtained by averaging the local clustering coefficients over
all the nodes. The local clustering coefficient Ci for Node I with
degree ki is defined as the number of links Li that actually
exist between its nearest neighbors divided by the number of links that could
possibly exist between them, i.e., Ci = 2Li/[ki(ki1)].
In the proposed model, the nodes can be grouped into three classes according
to their degree values. For the first layer, when t>1, the clustering coefficient
for all nodes is 3/5.
|
| Fig. 3: |
The evolvement of diameter with the number of nodes |
From the second layer to the t-th layer, the clustering coefficient of all
nodes is 2/5. For the last layer, the clustering coefficient of all four nodes
is ½. Based on above results, the average clustering coefficient can
be easily computed as follows:
When t approaches infinity, the average clustering coefficient approaches a constant value 2/5 = 0.40 that is much bigger than the average clustering coefficient of a random network with the same size. Figure 2 shows how the average clustering coefficient changes as the number of nodes increases.
Diameter and average path length: In a network, the shortest distance between two nodes is defined as the minimum number of edges traveled from one node to another. The Average Path Length (APL) is defined as the average distance over all possible pairs of nodes in a connected network. In general, it is hard to obtain the analytic solution to APL. Diameter is defined as the largest or shortest distance between any two nodes in the network, which reflects the delay of the interaction between the network nodes. For the proposed network, when t<3, it is easy to obtain that the diameter is t+1. When t>2, via the swirl lines, each node in the last layer has the same distance from each node in the first layer. Therefore, the diameter of the network is the distance between a node in the last layer and a node in the first layer, which is just equal to the number of iterations t. Thus, the following equation can be easily obtained:
From above equation, it is easy to conclude that the diameter increases linearly
with the number of iterations as well as the number of nodes.
|
| Fig. 4: |
The evolvement of average distance with the number of nodes |
Figure 3 shows how the diameter changes as the number of
nodes increases.
The next step is to obtain the analytic solution to the average path length, as well as its asymptote. According to the layer-by-layer analysis, one can see that the four nodes in the same layer share the same importance. Based on this consideration, the sum of the distances between all possible node pairs can be easily calculated as follows:
Dividing Eq. 6 by the number of possible node pairs, the average path length can be obtained as follows:
Obviously, the APL approximates to (t+1)/3, which linearly increases with the number of iterations as well as the number of nodes. Figure 4 shows how the APL changes as the number of nodes increases.
DISCUSSION
From above two sections, one can see that the proposed network model is generated
by a very simple deterministic mechanism but it is with some interesting topological
features. Firstly, the proposed network is a sparse network, which complies
with most real-life networks. Secondly, the proposed network under a large size
nearly has a constant degree, which complies with some regular networks. Thirdly,
the proposed network is with a large average clustering coefficient, which complies
with small-world networks and regular networks. Generally, it is difficult for
people to calculate the average path length analytically, even for a regular
lattice. However, because the proposed model has a symmetrical structure with
a special layer-by-layer shape, its average path length can be fortunately calculated
with an analytical expression. Based on Eq. 7, it can be concluded
that the average path length increases linearly with the number of nodes, which
complies with a regular network. At first sight, this result makes the authors
disappointed for a small-world network is originally expected. In fact, the
result is also inspiring for it provides an analytical solution to the average
path length. Future work may concentrate on how to obtain a small-world network
by improving the iterative mechanism.
CONCLUSION
In this study, a deterministic network model has been proposed inspired by the shape of swirl. The proposed model is a growing network, where four new nodes are added to the network at each iteration. Topological features of the proposed network have been discussed both analytically and experimentally. The results have shown that the proposed network is a sparse network with constant degree distribution and high clustering coefficient, however the average path length increases linearly with the number of nodes. Therefore, the proposed network is actually a special kind of regular networks with an analytical solution to the average path length.
ACKNOWLEDGMENT
This study was supported by the National Natural Science Foundation of China under grant 61070208. This research project was conducted in China from January 2011 to December 2011.