An Analytical Approach for Degree Correlations in Complex Network

We investigate correlations between neighbor degrees in the scale-free network. According to the empirical studies, it is known that the degree correlations exhibit nontrivial statistical behaviors. With using an analytical approach, we show that the scale-freeness and one of statistical laws for degree correlations can be reproduced consistently in a unified framework. Our result would have its importance in understanding the mechanisms which generate the complex network.


Introduction
It is known that a diversity of complex networks includeing sociological, technological, and biological ones exhibit the scale-freeness [1 -13].These results pose us a problem about the origin of this feature and about mechanisms which produce such organized behavior in complex networks.Naturally it is considered that the complex networks are generated through processes in which nodes are correlated to each other.The experimental data which exhibits the organized and hierarchical structures enhances the importance of the node correlations in the complex networks [14][15][16][17][18]. Indeed the model based studies have shown that, in order to reproduce the network structure in the real world, additional ingredients other than the simple rule such as the preferential attachment are required in the simulation [11][12][13][14][15][16][17][18].
Recent empirical studies have revealed that there exist ordered structures of node correlations in real world complex networks.One example of these structures would be given by fractality which characterize geometrical structures of various complex systems, in which they show the self-similarity on all length scales [14,15].On the other hand, more primitive relation between nodes would be represented by a joint probability for two neighbor nodes of degree 1 and 2 connected by an edge.In this paper, we investigate this basic statistics, the degree-degree correlation in the complex network.One characteristic feature of with a constant p  for the interaction and regulatory networks of proteins [16].The same tendency is also confirmed with the Internet, another typical example of the complex networks [17].
The ubiquity of scale-free networks in the real world is one of the fundamental issues in the complex network studies.It would suggest that there exist common mechanisms which underlie complex networks.Then one of our final goals is to obtain a theory which can describe various complex networks and their statistical behaviors in a unified framework.For this aim, we have introduced in the recent study an analytical approach in which conditions required for the scale-free degree distribution are considered [19].Due to the ubiquity of the scale-freeness, it is expected that the analytical conditions are given by those which are independent to specific systems and common to a wide variety of networks.Indeed, it has been shown that the power law distribution can be obtained without introducing conditions except for general ones.In this paper we extend the framework given in this previous study and show that it gives the degree correlation which agrees to the experimental measurement represented by Equation (1).
can be quantified by for each fixed 1 , the average of the neighbor degrees for a given value of 1 .It has been reported that the profile is fitted with a

Framework for P(k 1 , k 2 )
With using a framework introduced in the recent study [19], we investigate the degree correlation   X Y which take their values respectively on the finite interval . For example, relations between X and are given by where the former example is taken for cases such as 1,min 1,max 1  and the latter for 1,max .These normalizations are summarized by the expression with constants 1  , 2  , and 3  .Under the transforms between   and (X, Y) given by the expression (3), the probability is represented by In this approach we take an analytical expression of .Also in order to investigate the scaling behavior of   , X Y , we take ( , )  x y For the single variable case, is transformed to  , the expansion of x.If is scale-free and given in the power law is given by the first order expansion which satisfies 2 ( ) 0 Although, according to the result given in the recent study [19], the converse fact has been shown that the condition (8) is derived without introducing special conditions except for the continuous conditions for x and .The point of this result is that this condition ( 8) is obtained with using the identical relations which the continuous distribution function satisfies generally.Then this condition is required for arbitrary variables such as ( ) P x X and .Y

The Representation of P(k 1 , k 2 )
Extending the analysis with the single variable given in the reference [19], we can show that representation is uniquely determined in our framework.At first we take a conditional probability , the function with respect to for each fixed value of ( , ) P x y ( ) Then we can represent it as ( ) .0 ( ) with an expansion , 1 ( ) where , ( )  x n x  is given by the other expansion of x .According to these definitions, is given by ( ) ( , ) ( , ) 0 If we take the conditional probability with respect to x, then from the condition (11) it is required to have the form ( ) Introducing and by ( )   , P x y is represented by the equivalent two forms and we obtain the identical relation

Degree Correlations in Real World
In order to confirm our result in the previous section, we

Networks
give a comparison to the experimental measurement of the real world networks.For the degree-degree correlations   At first, with using the expression (3) for the normaliza or each f tion of 1 k , the correspondence between 1 k and x is given by with constants 1  , 1,0  , and 1,1  .While, from the rep- resentation (21) nsform tween 2 k and , the tra be   , x y is generally given by given by Equation (9) and Equation (21), the aver iven by for .Furthermore, using the approximation , Equation ( 26) is approximate ln l 

Discussions ned in the introduction, our final goal of the fr
As we have mentio is to give a description of the complex network in a unified framework.For this aim, it is required to obtain a theory which explains the organized structure of the complex network and allows to deal with different networks.In this final section, we discuss this issue.
In this paper we have shown that the extension amework introduced in the recent study [19] consistently produces the degree correlation in the form which agrees to the experimental data.Applying the analytical condition (8) for the single variable distribution to the joint probability, we obtain a unique representation for   1 2 , P k k , the distribution of the neighbor degrees.We tice that some properties of the complex network, the scale-free distribution and the degree correlation represented by Equation (1), can be derived from the same condition (8).It would suggest that the rules which generate scale-free networks and their correlated structures can be described in a unified framework.
Also we should notice that our framework w should no hich gives th r final goal, further investigations sh

REFERENCES
[1] A.-L. Barabás ence of Scaling in e condition (8) does not depend on the specific system.Then we can apply our results straightforwardly to various complex networks such as the protein networks and the Internet.Then our result would provide a clue to understand the mechanism which underlies various types of complex networks.
Although, for ou ould be required.At first we should take into account some exceptional cases for which we can not apply our representation.An example is given by a random network, in which distributions take forms such as the Gaussian or the Poisson distributions.Then it would be required for us to describe explicitly the difference between our framework and these random systems.Also we should notice that the condition (8) is derived under the assumption that the variable is continuous.However some variables such as the degree take only the discrete number.We will deal with issues such as above in the future works.
the expanded form and consider the condition required for this function.Then, for variables (X, Y) and the probability  , P  X Y , we require conditions that X and are continuous and that Y  , a positive function which takes its value in the finite interval   0,1 , the analytical representation of  , P  X Y as the function of( , )  x y is given in the form independent to x and y respectively, the condition (16) for

1 2 ,
P k k given from Equation (21), we calculate 2 k f ixed value of 1 k and compare it to the experimental representation (1).
the linear equations of x , th erm in the above equation is estimated as