 Research
 Open
 Published:
Distribution and dependence of extremes in network sampling processes
Computational Social Networksvolume 2, Article number: 12 (2015)
Abstract
We explore the dependence structure in the sampled sequence of complex networks. We consider randomized algorithms to sample the nodes and study extremal properties in any associated stationary sequence of characteristics of interest like node degrees, number of followers, or income of the nodes in online social networks, which satisfy two mixing conditions. Several useful extremes of the sampled sequence like the kth largest value, clusters of exceedances over a threshold, and first hitting time of a large value are investigated. We abstract the dependence and the statistics of extremes into a single parameter that appears in extreme value theory called extremal index (EI). In this work, we derive this parameter analytically and also estimate it empirically. We propose the use of EI as a parameter to compare different sampling procedures. As a specific example, degree correlations between neighboring nodes are studied in detail with three prominent random walks as sampling techniques.
Introduction
Data from real complex networks shows that correlations exist in various forms, for instance the existence of social relationships and interests in social networks. Degree correlations between neighbors, correlations in income, followers of users, and number of likes of specific pages in social networks are some examples, to name a few. These kind of correlations have several implications in network structure. For example, degreedegree correlation manifests itself in assortativity or disassortativity of the network [1].
We consider very large complex networks where it is impractical to have a complete picture a priori. Crawling or sampling techniques can be employed in practice to explore such networks by making the use of application programming interface (API) calls or HTML scrapping. We look into randomized sampling techniques which generate stationary samples. As an example, random walkbased algorithms are in use in many cases because of several advantages offered by them [2, 3].
We focus on the extremal properties in the correlated and stationary sequence of characteristics of interest X _{1},…,X _{ n } which is a function of the node sequence, the one actually generated by sampling algorithms. The characteristics of interest, for instance, can be node degrees, node income, number of followers of the node in online social networks (OSN), etc. Among the properties, clusters of exceedances of such sequences over high thresholds are studied in particular. The cluster of exceedances is roughly defined as the consecutive exceedances of {X _{ n }} over the threshold {u _{ n }} between two consecutive nonexceedances. For more rigorous definitions, see [4–6]. It is important to investigate stochastic nature of extremes since it allows us to collect statistics or opinions more effectively in the clustered (network sampling) process.
The dependence structure of sampled sequence exceeding sufficiently high thresholds is measured using a parameter called extremal index (EI), θ. It is defined in extremal value theory as follows.
Definition 1.
([7], p. 53) The stationary sequence {X _{ n }}_{ n≥1}, with F as the marginal distribution function and M _{ n }= max{X _{1},...,X _{ n }}, is said to have the extremal index θ∈ [0,1] if for each 0<τ<∞ there is a sequence of real numbers (thresholds) u _{ n }=u _{ n }(τ) such that
The maxima M _{ n } is related to EI more clearly as ([4], p. 381)^{1}
When {X _{ n }}_{ n≥1} is independent and identically distributed (i.i.d.) (for instance, in uniform independent node sampling), θ=1 and point processes of exceedances over threshold u _{ n } converges weakly to homogeneous Poisson process with rate τ as n→∞ ([4], chapter 5). But when 0≤θ<1, point processes of exceedances converges weakly to compound Poisson process with rate θ τ and this implies that exceedances of high threshold values u _{ n } tend to occur in clusters for dependent data ([4], chapter 10).
EI has many useful interpretations and applications like

Finding distribution of order statistics of the sampled sequence. These can be used to find quantiles and predict the kth largest value which arise with a certain probability. Specifically for the distribution of maxima, Eq. 3 is available and the quantile of maxima is proportional to EI. Hence in case of samples with lower EI, lower values of maxima can be expected. When sampled sequence is the sequence of node degrees, these give many useful results.

Close relation to the distribution and expectation of the size of clusters of exceedances (see for e.g. [4, 6]).

Characterization of the first hitting time of the sampled sequence to (u _{ n },∞). Thus in case of applications where the aim is to detect large values of samples quickly, without actually employing sampling (which might be very costly), we can compare different sampling procedures by EI: smaller EI leads to longer waiting of the first hitting time.
These interpretations are explained later in the paper. The network topology as well as the sampling method determine the stationary distribution of the characteristics of interest under a sampling technique and is reflected on the EI.
Our contributions
The main contributions in this work are as follows. We associated extremal value theory of stationary sequences to sampling of large complex networks, and we study the extremal and clustering properties of the sampling process due to dependencies. In order to facilitate a painless future study of correlations and clusters of samples in large networks, we propose to abstract the extremal properties into a single and handy parameter, EI. For any general stationary samples meeting two mixing conditions, we find that knowledge of bivariate distribution or bivariate copula is sufficient to compute EI analytically and thereby deriving many extremal properties. Several useful applications of EI (first hitting time, order statistics, and mean cluster size) to analyze large graphs, known only through sampled sequences, are proposed. Degree correlations are explained in detail with a random graph model for which joint degree distribution exists for neighbor nodes. Three different random walkbased algorithms that are widely discussed in literature (see [2] and the references therein) are then revised for degree state space, and EI is calculated when the joint degree distribution is bivariate Pareto. We establish a general lower bound for EI in PageRank processes irrespective of the degree correlation model. Finally, using two estimation techniques, EI is numerically computed for a synthetic graph with neighbor degrees correlated and for two real networks (Enron email network andDBLP network).
The paper is organized as follows. In section “Calculation of extremal index (EI)”, methods to derive EI are presented. Section “Degree correlations” considers the case of degree correlations. In section “Description of the configuration model with degreedegree correlation”, the graph model and correlated graph generation technique are presented. Section “Description of random walkbased sampling processes” explains the different types of random walks studied and derives associated transition kernels and joint degree distributions. EI is calculated for different sampling techniques later in section “Extremal index for bivariate Pareto degree correlation”. In section “Applications of extremal index in network sampling processes”, we provide several applications of EI in graph sampling techniques. In section “Estimation of extremal index and numerical results”, we estimate EI and perform numerical comparisons. Finally, section “Conclusions” concludes the paper.
A shorter version of this work has appeared in [8].
Calculation of extremal index (EI)
We consider networks represented by an undirected graph G with N vertices and M edges. Since the networks under consideration are huge, we assume it is impossible to describe them completely, i.e., no adjacency matrix is given beforehand. Assume any randomized sampling procedure is employed and let the sampled sequence {X _{ i }} be any general sequence.
This section explains a way to calculate EI from the bivariate joint distribution if the sampled sequence admits two mixing conditions.
Condition (D(u _{ n })).
where $\alpha _{n,l_{n}} \to 0$ for some sequence l _{ n }=o(n) as n→∞, for any integers i _{1}≤…<i _{ p }<j _{1}<…≤j _{ q } with j _{1}−i _{ p }>l _{ n }.
Condition (D ^{″}(u _{ n })).
where $(n/r_{n})\alpha _{n,{l}_{n}} \to 0\phantom {\dot {i}\!}$ and l _{ n }/r _{ n }→0 with $\alpha _{n,l_{n}}$ , l _{ n } as in Condition D(u _{ n }) and r _{ n } as o(n).
Let C(u,v) be a bivariate copula [9] ([0,1]^{2}→[0,1]) and $\underline {1}\cdot \nabla {C}(u,v)$ is its directional derivative along the direction (1,1). Using Sklar’s theorem ([9], p. 18), with F as the marginal stationary distribution function of the sampling process, the copula is given by
where F ^{−1} denotes the inverse function of F. This representation is unique if the stationary distribution F(x) is continuous.
Theorem 1.
If the sampled sequence is stationary and satisfies conditions D(u _{ n }) and D ^{″}(u _{ n }), and the limits in Eqs. 1 and 2 take place, then the extremal index is given by
and 0≤θ≤1.
Proof.
For a stationary sequence {X _{ n }} holding conditions D(u _{ n }) and D ^{″}(u _{ n }), if the limits in Eqs. 1 and 2 take place, $\theta = {\lim }_{n \to \infty } \mathrm {P}(X_{2}\leq u_{n} X_{1}>u_{n})$ [10]. Then, we have
which completes the proof.
Remark 1.
Condition D ^{″}(u _{ n })can be made weaker to D ^{(k)}(u _{ n })presented in [11],
where r _{ n } is defined as in D ^{″}(u _{ n }). For the stationary sequence, D ^{(2)}(u _{ n })is identical to D ^{″}(u _{ n }). If we assume D ^{(k)} is satisfied for some k≥2along with D(u _{ n }), then following the proof of Theorem 1, EI can be derived as
where C _{ k }(x _{1},…,x _{ k })represents the copula of kdimensional vector (x _{1},…,x _{ k }), C _{ k−1} is its (k−1)th marginal, C _{ k−1}(x)=C _{ k−1}(x _{1},…,x _{ k−1},1), and $\underline {1}\cdot \nabla {C}_{k}(x_{1},\ldots,x_{k})$ denotes the directional derivative of C _{ k }(x _{1},…,x _{ k })along the kdimensional vector (1,1,…,1).
In some cases, it is easy to work with the joint tail distribution. Survival copula $\widehat {C}(\cdot,\cdot)$ which corresponds to
with $\overline {F}(x)=1F(x)$ , can also be used to calculate θ. It is related to copula as $\widehat {C}(u,u)=C(1u,1u)+2u1$ ([9], p. 32). Hence, $\theta =\underline {1}\cdot \nabla {C}(1,1)1=1\underline {1}\cdot \nabla \:\widehat {C}(0,0)$ .
Lower tail dependence function of survival copula is defined as [12]
Hence, $\underline {1}\cdot \nabla \:\widehat {C}(0,0)=\lambda (1,1)$ . λ can be calculated for different copula families. In particular, if $\widehat {C}$ is a bivariate Archimedean copula, then it can be represented as $\widehat {C}(u_{1},u_{2})=\psi \left (\psi ^{1}(u_{1})+\psi ^{1}(u_{2})\right)$ , where ψ is the generator function and ψ ^{−1} is its inverse with ψ: [0,∞]→[0,1] meeting several other conditions. If ψ is a regularly varying distribution with index −β, β>0, then $\lambda (x_{1},x_{2})=\left (x_{1}^{\beta ^{1}}+x_{2}^{\beta ^{1}}\right)^{\beta }$ and (X _{1},X _{2}) has a bivariate regularly varying distribution [12]. Therefore, for Archimedean copula family, EI is given by
As an example, bivariate Pareto distribution of the form P(X _{1}>x _{1},X _{2}>x _{2})=(1+x _{1}+x _{2})^{−γ}, γ>0 has Archimedean copula with generator function ψ(x)=(1+x)^{−γ}. This gives θ=1−1/2^{γ}. Bivariate exponential distribution of the form
0≤η≤1, also admits Archimedean copula.
Check of conditions D(u _{ n }) and D ^{″}(u _{ n }) for functions of Markov samples
If the sampling technique is assumed to be based on a Markov chain and the sampled sequence is a measurable function of stationary Markov samples, then such a sequence is stationary and [13] proved that another mixing condition AIM(u _{ n }) which implies D(u _{ n }) is satisfied. Condition D ^{″}(u _{ n }) allows clusters with consecutive exceedances and eliminates the possibility of clusters with upcrossing of the threshold u _{ n } (X _{ i }≤u _{ n }<X _{ i+1}). Hence in those cases, where it is tedious to check the condition D ^{″}(u _{ n }) theoretically, we can use numerical procedures to measure ratio of number of consecutive exceedances to number of exceedances and the ratio of number of upcrossings to number of consecutive exceedances in small intervals. Such an example is provided in section “Extremal index for bivariate Pareto degree correlation”.
Remark 2.
The EI derived in [14] has the same expression as in Eq. 4 . But [14] assumes {X _{ n }}is sampled from a firstorder Markov chain. We relax the Markov property requirement to D and D ^{″} conditions, and the example below demonstrates a hidden Markov chain that can satisfy D and D ^{″}.
Let us consider a hidden Markov chain with the observations {X _{ k }}_{ k≥1} and the underlying homogeneous Markov chain as {Y _{ k }}_{ k≥1} in stationarity. The underlying Markov chain is finite state space, but the conditional distributions of the observations P(X _{ k }≤ xY _{ k }=y)=F _{ y }(x) have infinite support and condition Eq. 1 holds for F _{ y }(x).
Proposition 1.
When condition Eq. 1 holds for F _{ y }(x), the observation sequence {X _{ k }}_{ k≥1} of the hidden Markov chain satisfies Condition D ^{″}.
Proof.
Let the transition probability matrix of {Y _{ k }}_{ k≥1} be P (with P(Y _{2}=jY _{1}=i)=P _{ i j }) and the stationary distribution be π (with P(Y _{1}=i)=π _{ i }). We have,
Thus
since r _{ n }=o(n), which completes the proof.
Proposition 1 essentially tells that if the graph is explored by a Markov chainbased sampling algorithm and the samples are taken as any measurable functions of the underlying Markov chain, satisfying Condition (1) then Condition D ^{″} holds. Measurable functions, for example, can represent various attributes of the nodes such as income or frequency of messages in social networks.
Degree correlations
The techniques established in section “Calculation of extremal index (EI)” are very general, applicable to any sampling techniques and any sequence of samples which satisfy certain conditions. In this section, we illustrate the calculation of EI for dependencies among degrees. We revise different sampling techniques. We denote the sampled sequence {X _{ i }} as {D _{ i }} in this section, since the sampled degree sequence will be a case study in this section.
Description of the configuration model with degreedegree correlation
To test the proposed approaches and the derived formulas, we use a synthetically generated configuration type random graph with a given joint degreedegree probability distribution, which takes into account correlation in degrees between neighbor nodes. The dependence structure in the graph is described by the joint degreedegree probability density function f(d _{1},d _{2}) with d _{1} and d _{2} indicating the degrees of adjacent nodes or equivalently by the corresponding tail distribution function $\overline {F}(d_{1},d_{2})=\mathrm {P}(D_{1} \ge d_{1}, D_{2} \ge d_{2})$ with D _{1} and D _{2} representing the degree random variables (see e.g., [1, 15, 16]).
The probability that a randomly chosen edge has the end vertices with degrees d _{1}≤d≤d _{1}+Δ(d _{1}) and d _{2}≤d≤d _{2}+Δ(d _{2}) is $(2\delta _{d_{1}d_{2}})f(d_{1},d_{2})\Delta (d_{1})\Delta (d_{2})$ . Here $\delta _{d_{1}d_{2}}=1$ if d _{1}=d _{2}, otherwise $\delta _{d_{1}d_{2}}=0$ . The multiplying factor 2 appears on the above expression when d _{1}≠d _{2} because of the symmetry in f(d _{1},d _{2}), f(d _{1},d _{2})=f(d _{2},d _{1}) due to the undirected nature of the underlying graph and the fact that both f(d _{1},d _{2}) and f(d _{2},d _{1}) contribute to the edge probability under consideration.
The degree density f _{ d }(d _{1}) can be related to the marginal of f(d _{1},d _{2}) as follows:
where E[D] denotes the mean node degree,
f(.) can be interpreted as the degree density of a vertex reached by following a randomly chosen edge. The approximation for f(d _{1}) is obtained as follows: in the righthand side (R.H.S.) of Eq. 6, roughly, d _{1} f _{ d }(d _{1})N is the number of half edges from nodes with degree around d _{1} and E[D]N is the total number of half edges. For discrete distributions, Eq. 6 becomes equality.
From the above description, it can be noted that the knowledge of f(d _{1},d _{2}) is sufficient to describe this random graph model and for its generation.
Most of the results in this paper are derived assuming continuous probability distributions for f(d _{1},d _{2}) and f _{ d }(d _{1}) because an easy and unique way to calculate EI exists for continuous distributions in our setup (more details in section “Calculation of extremal index (EI)”). Also the EI might not exist for many discrete valued distributions [7].
Random graph generation
A random graph with bivariate joint degreedegree distribution can be generated as follows ([17]):

1.
Degree sequence is generated according to the degree distribution, $f_{d}(d)=\frac {f(d)E[D]}{d}$

2.
An uncorrelated random graph is generated with the generated degree sequence using configuration model ([1, 18])

3.
Metropolis dynamics is now applied on the generated graph: choose two edges randomly (denoted by the vertex pairs (v _{1},w _{1}) and (v _{2},w _{2})) and measure the degrees, (j _{1},k _{1}) and (j _{2},k _{2}), that correspond to these vertex pairs and generated a random number, y, according to uniform distribution in [0,1]. If y≤ min(1,(f(j _{1},j _{2})f(k _{1},k _{2}))/(f(j _{1},k _{1})f(j _{2},k _{2}))), then remove the selected edges and construct news ones as (v _{1},v _{2}) and (w _{1},w _{2}). Otherwise, keep the selected edges intact. This dynamics will generate an instance of the random graph with the required joint degreedegree distribution. Run Metropolis dynamics well enough to mix the generating process.
As an example, we shall often use the following bivariate Pareto model for the joint degreedegree tail function of the graph,
where σ, μ, and γ are positive values. The use of the bivariate Pareto distribution can be justified by the statistical analysis in [19].
Description of random walkbased sampling processes
In this section, we explain three different random walkbased algorithms for exploring the network. They have been extensively studied in previous works [2, 3, 20] where they are formulated with vertex set as the state space of the underlying Markov chain on graph. The walker in these algorithms, after reaching each node, moves to another node randomly by following the transition kernel of the Markov chain. However, the quantity of interest is generally a measurable function of the Markov chain. As a case study, let us again take the degree sequence. We use ${f}_{\mathscr {X}}$ and $\mathrm {P}_{\mathscr {X}}$ to represent the probability density function and probability measure under the algorithm $\mathscr {X}$ with the exception that f _{ d } represents the probability density function of degrees.
Random walk (RW)
In a random walk, the next node to visit is chosen uniformly among the neighbors of the current node. Let V _{1},V _{2},… be the nodes crawled by the RW and D _{1},D _{2},… be the degree sequence corresponding to the sequence V _{1},V _{2},….
Theorem 2.
The following relation holds in the stationary regime
where f(d _{1},d _{2})is the joint degreedegree distribution and f _{RW}(d _{1},d _{2}) is the bivariate joint distribution of the degree sequences generated by the standard random walk.
Proof.
We note that the sequence {(V _{ i },V _{ i+1})}_{ i≥1} also forms a Markov chain. With the assumption that the graph is connected, the ergodicity holds for any function g, i.e.,
where E_{ π } is the expectation under stationary distribution π of {(V _{ i },V _{ i+1})} (which is uniform over edges) and (V _{ ξ },V _{ ξ+1}) indicates a randomly picked edge. The ergodicity can then be extended to functions of the degree sequence {(D _{ i },D _{ i+1})} corresponding to {(V _{ i },V _{ i+1})}, and in particular
where 1{} denotes the indicator function for the event. L.H.S. of (9) is an estimator of f _{RW}(d _{1},d _{2}). This means that when the RW is in stationary regime E[1{D _{ i }=d _{1},D _{ i+1}=d _{2}}]=E_{ π }[1{D _{ ξ }=d _{1},D _{ ξ+1}=d _{2}}] and hence Eq. 8 holds.
PageRank (PR)
Using Eq. 6, we can approximate the degree sequence by a random walk on degree space with the following transition kernel:
where the present node has degree d _{ t } and the next node is with degree d _{ t+1}. The above relation holds with equality for discrete degree distribution, but some care needs to be taken if one uses continuous version for the degree distributions.
If the standard random walk on the vertex set is in the stationary regime, its stationary distribution (probability of staying at a particular vertex i) is proportional to the degree (see e.g., [20]) and is given by d _{ i }/2M, M being the number of edges. Then in the standard random walk on degree set, the stationary distribution of staying at any node with degree around d _{1} can be approximated as N f _{ d }(d _{1})(d _{1}/2M), with N as the number of nodes. Thus
Check of the approximation
We provide comparison of simulated values and theoretical values of transition kernel of RW in Fig. 1. To be specific, we use the bivariate Pareto distribution given (7). In the figure, N is 5,000. μ=10, γ=1.2 and σ=15. These choices of parameters provide E[D]=21.0052. At each instant Metropolis dynamics will choose two edges and it has run 200,000 times (provides sufficient mixing). The figure shows satisfactory fitting of the approximation.
PageRank is a modification of the random walk which with a fixed probability 1−c samples a random node with uniform distribution and with a probability c, it follows the random walk transition [3]. Its evolution on degree state space can be described as follows:
Here the 1/N corresponds to the uniform sampling on vertex set and $\frac {1}{N} N f_{d}(d_{t+1})$ indicates the net probability of jumping to all the nodes with degree around d _{ t+1}.
Consistency with PageRank value distribution
We make a consistency check of the approximation derived for transition kernel by studying tail behavior of degree distribution and PageRank value distribution. It is known that under some strict conditions, for a directed graph, PageRank and Indegree have same tail exponents [21]. In our formulation in terms of degrees, for uncorrelated and undirected graph, PageRank for a given degree d, PR(d), can be approximated from the basic definition as,
This is a deterministic quantity. We are interested in the distribution of the random variable PR(D), PageRank of a randomly chosen degree class D. PageRank PR(d) is also the long term proportion or probability that PageRank process ends in a degree class with degree d. This can be scaled suitably to provide a ranktype information. Its tail distribution is
where D∼f _{ d }(.). The PageRank of any vertex inside the degree class d is PR(d)/(N f _{ d }(d)). The distribution of PageRank of a randomly chosen vertex i, P(PR(i)>x) after appropriate scaling for comparison with degree distribution is $P(N.\text {PR}(i)>\hat {d})$, where $\hat {d}=Nx$ . Now
This of the form $P(D>A\hat {d}+B)$ with A and B as appropriate constants and hence will have the same exponent of degree distribution tail when the graph is uncorrelated.
There is no convenient expression for the stationary distribution of PageRank, to the best of our knowledge, and it is difficult to come up with an easy to handle expression for the joint distribution. Therefore, along with other advantages, we consider another modification of the standard random walk.
Random walk with jumps (RWJ)
RW sampling leads to many practical issues like the possibility to get stuck in a disconnected component, biased estimators etc. RWJ overcomes such problems [2].
In this algorithm, we follow random walk on a modified graph which is a superposition of the original graph and complete graph on same vertex set of the original graph with weight α/N on each artificially added edge, α∈ [0,∞] being a design parameter [2]. The algorithm can be shown to be equivalent to select c=α/(d _{ t }+α) in the PageRank algorithm, where d _{ t } is the degree of the present node. The larger the node’s degree, the less likely is the artificial jump of the process. This modification makes the underlying Markov chain time reversible, significantly reduces mixing time, improves estimation error, and leads to a closed form expression for stationary distribution.
Before proceeding to formulate the next theorem, we recall that the degree distribution f _{ d }(d _{1}) is different from the marginal of f(d _{1},d _{2}), f(d _{1}).
Theorem 3.
The following relation holds in the stationary regime
where f(d _{1},d _{2})is the joint degreedegree distribution, f _{ d }(d _{1}) is the degree distribution, and f _{RWJ}(d _{1},d _{2}) is the bivariate joint distribution of the degree sequences generated by the random walk with jumps.
Proof.
On the similar lines in the analysis of RW, f _{RWJ}(d _{1},d _{2}) can be calculated as follows. The stationary distribution, f _{RWJ}(p), for node p (on the vertex set) is (d _{ p }+α)/(2M+N α). The transition probability from node p to node q, f _{RWJ}(qp), is (α/N+1)/(d _{ p }+α) when there is a link from p to q, and when there is no link, it is (α/N)/(d _{ p }+α) [2]. Then, the joint distribution between nodes is given by
Therefore
Here E[D]=2M/N. The multiplying factor 2 is introduced in (a) because of the symmetry in the joint distribution f _{RWJ}(p,q) over the nodes, terms outside the summation in the R.H.S. The factor 1/2 in R.H.S. in (b) is to take into account the fact that only half of the combinations of (p,q) is needed.
We also have the following. The stationary distribution on degree set by collecting all the nodes with same degree is
Moreover, the associated tail distribution has a simple form,
Remark 3.
Characterizing Markov chainbased sampling in terms of degree evolution has some advantages.

In the different random walk algorithms considered on the vertex set, all the nodes with same degree have same stationary distribution. This also implies that it is more natural to formulate the random walk evolution in terms of degree.

For uncorrelated networks, f _{RW}(d _{1},d _{2})=f _{RW}(d _{1})f _{RW}(d _{2}), f _{PR}(d _{1},d _{2})=f _{PR}(d _{1})f _{PR}(d _{2}) and f _{RWJ}(d _{1},d _{2})=f _{RWJ}(d _{1})f _{RWJ}(d _{2}).
Extremal index for bivariate Pareto degree correlation
As explained in the “Introduction” section, EI is an important parameter in characterizing dependence and extremal properties in a stationary sequence. We assume that we have waited sufficiently long that the underlying Markov chain of the three different graph sampling algorithms are in stationary regime now. Here, we derive EI of RW and RWJ for the model with degree correlation among neighbors as bivariate Pareto (7).
The two mixing conditions D(u _{ n }) and D ^{″}(u _{ n }) introduced in section “Calculation of extremal index (EI)” are needed for our EI analysis. Condition D(u _{ n }) is satisfied as explained in section “Check of conditions D(u _{ n }) and D ^{″}(u _{ n }) for functions of Markov samples”. An empirical evaluation of D ^{″}(u _{ n }) is provided in section “Check of condition D ^{″} ”.
EI for random walk sampling
We use the expression for EI given in Theorem 1. As f _{RW}(x,y) is same as f(x,y), we have,
Thus $\theta =1\underline {1}\cdot \nabla \:\widehat {C}(0,0)=11/2^{\gamma }$ . For γ=1, we get θ=1/2. In this case, we can also use expression obtained in Eq. 5.
EI for random walk with jumps sampling
Although it is possible to derive EI as in RW case above, we provide an alternative way to avoid the calculation of tail distribution of degrees and inverse of RWJ marginal (with respect to the bivariate Pareto degree correlation). We assume the existence of EI in the following proposition.
Proposition 2.
When the bivariate joint degree distribution of neighboring nodes are Pareto distributed as given by Eq. 7 and random walk with jumps is employed for sampling, the EI is given by
where E[D] is the expected degree, α is the parameter of the random walk with jumps, and γ is the tail index of the bivariate Pareto distribution.
Proof.
Under the assumption of D ^{″},
Now using the Condition 1 on the marginal and joint tail distribution of RWJ in Eq. 14, we can write^{2}
The asymptotics in the last term of the numerator is due to the following:
and hence $\overline {F}_{d}(u_{n})=O(\tau /n)$ . Therefore, Eq. 16 becomes
Then in the case of the bivariate Pareto distribution in Eq. 7, we obtain Eq. 15.
Lower bound of EI of the PageRank
We obtain the following lower bound for EI in the PageRank processes.
Proposition 3.
For the stationary PageRank process on degree state space Eq. 10 with EI θ, irrespective of the degree correlation structure in the underlying graph, the EI is bounded by
where c is the damping factor in the PageRank algorithm.
Proof.
From [13], with another mixing condition AIM(u _{ n }) which is satisfied for functions of stationary Markov samples (e.g., degree samples) the following representation of EI holds,
where {p _{ n }} is an increasing sequence of positive integers, p _{ n }=o(n) as n→∞ and $M_{1,p_{n}}=\max \{D_{2},..., D_{p_{n}}\}$ . Let $\mathcal {A}$ be the event that the node corresponding to D _{2} is selected uniformly among all the nodes, not following random walk from the node for D _{1}. Then, $\mathrm {P}_{\text {PR}}(\mathcal {A})=1c$ . Now, with Eq. 11,
where {p _{ n }} is the same sequence as in Eq. 17 and (i) follows mainly from the observation that conditioned on $\mathcal {A}$ , $\{M_{1,p_{n}}\le u_{n} \}$ is independent of {D _{1}>u _{ n }}, and (i i) and (i i i) result from the limits in Eqs. 3 and 1, respectively.
Assuming p _{ n }−1=n ^{1/2} and since $(1\tau /n)^{p_{n}1}\sim e^{\tau /\sqrt n}\rightarrow 1$ as n→∞, from Eqs. 17 and 18,
The PageRank transition kernel (Eq. 11) on the degree state space does not depend upon the random graph model in section “Description of the configuration model with degreedegree correlation”. Hence, the derived lower bound of EI is useful for any degree correlation model.
Applications of extremal index in network sampling processes
This section provides several applications of EI in inferring the sampled sequence. This emphasizes that the analytical calculation and estimation of EI are practically relevant.
The limit of the point process of exceedances, N _{ n }(.), which counts the times, normalized by n, at which $\{X_{i}\}_{i=1}^{n}$ exceeds a threshold u _{ n } provides many applications of EI. A cluster is considered to be formed by the exceedances in a block of size r _{ n } (r _{ n }=o(n)) in n with cluster size $\xi _{n}=\sum _{i=1}^{r_{n}}1(X_{i}>u_{n})$ when there is at least one exceedance within r _{ n }. The point process N _{ n } converges weakly to a compound poisson process (CP) with rate θ τ and i.i.d. distribution as the limiting distribution of cluster size, under Condition 1 and a mixing condition, and the points of exceedances in CP correspond to the clusters (see [4], Section 10.3 for details). We also call this kind of clusters as blocks of exceedances.
The applications below require a choice of the threshold sequence {u _{ n }} satisfying Eq. 1. For practical purposes, if a single threshold u is demanded for the sampling budget B, we can fix u= max{u _{1},…,u _{ B }}.
The applications in this section are explained with the assumption that the sampled sequence is the sequence of node degrees. But the following techniques are very general and can be extended to any sampled sequence satisfying conditions D(u _{ n }) and D ^{″}(u _{ n }).
Order statistics of the sampled degrees
The order statistics X _{ n−k,n }, (n−k)th maxima is related to N _{ n }(.) and thus to θ by
where we apply the result of convergence of N _{ n } to CP ([4], Section 10.3.1).
Distribution of maxima
The distribution of the maxima of the sampled degree sequences can be derived as Eq. 3 when n→∞.
Hence if the EI of the underlying process is known then from Eq. 3, one can approximate the (1−η)th quantile x _{ η } of the maximal degree M _{ n } as
i.e.,
In other words, quantiles can be used to find the maxima of the degree sequence with certain probability.
If the sampling procedures have same marginal distribution, with calculation of EI, it is possible to predict how much large values can be achieved. Lower EI indicates lower value for x _{ η } and higher represents high x _{ η }.
For the random walk example in section “EI for random walk sampling” for the degree correlation model, with the use of Eq. 19, we get the (1−η)th quantile of the maxima M _{ n }
The following example demonstrates the effect of neglecting correlations on the prediction of the largest degree node. The largest degree, with the assumption of Pareto distribution for the degree distribution, can be approximated as KN^{1/δ} with K≈1, N as the number of nodes and γ as the tail index of complementary distribution function of degrees [22]. For Twitter graph (recorded in 2012), δ=1.124 for outdegree distribution and N=537,523,432 [23]. This gives the largest degree prediction as 59,453,030. But the actual largest outdegree is 22,717,037. This difference is because the analysis in [22] assumes i.i.d. samples and does not take into account the degree correlation. With the knowledge of EI, correlation can be taken into account as in Eq. 3. In the following section, we derive an expression for such a case.
Estimation of largest degree when the marginals are Pareto distributed
It is known that many social networks have the degree asymptotically distributed as Pareto [18]. We find that in these cases, the marginal distribution of degrees of the random walk based methods also follow Pareto distribution (though we have derived only for the model with degree correlations among neighbors, see section “Degree correlations”.)
Proposition 4.
For any stationary sequence with marginal distribution following Pareto distribution $\bar {F}(x)=Cx^{\delta }$ , the largest value, approximated as the median of the extreme value distribution, is given by
Proof.
From extreme value theory [4], it is known that when {X _{ i },i≥1} are i.i.d.,
where H _{ γ }(x) is the extreme value distribution with index γ and {a _{ n }} and {b _{ n }} are appropriately chosen deterministic sequences. When {X _{ i },i≥1} are stationary with EI θ, the limiting distribution becomes H γ ^{′}′(x) and it differs from H _{ γ }(x) only through parameters. H _{ γ }(x)= exp(−t(x)) with $t(x)=\left (1+\left (\frac {x\mu }{\sigma } \right) \gamma \right)^{1/ \gamma }$ . With the normalizing constants (μ=0 and σ=1), H γ ^{′}′ has the same shape as H _{ γ } with parameters γ ^{′}=γ, σ ^{′}=θ ^{γ} and μ ^{′}=(θ ^{γ}−1)/γ ([4], Section 10.2.3).
For Pareto case, $\overline {F}(x)=Cx^{\delta }$ , γ=1/δ, a _{ n }=γ C ^{γ} n ^{γ}, and b _{ n }=C ^{γ} n ^{γ}. From Eq. 20, for large n, M _{ n } is stochastically equivalent to a _{ n } χ+b _{ n }, where χ is a random variable with distribution H γ ^{′}′. It is observed in [22] that median of χ is an appropriate choice for the estimation of M _{ n }. Median of $\chi =\mu '+\sigma '\left (\frac {(\log 2)^{\gamma '}1}{\gamma '} \right)= (\theta ^{\gamma }(\log 2)^{\gamma }1)\gamma ^{1}$ . Hence,
Relation to first hitting time and interpretations
Extremal index also gives information about the first time {X _{ n }} hits (u _{ n },∞). Let T _{ n } be this time epoch. As N _{ n } converges to compound poisson process, it can be observed that T _{ n }/n is asymptotically an exponential random variable with rate θ τ, i.e., ${\lim }_{n\to \infty }\mathrm {P}(T_{n}/n>x)=\exp (\theta \tau x)$. Therefore, ${\lim }_{n \to \infty }\mathrm {E}(T_{n}/n)=1/(\theta \tau)$ . Thus, the smaller EI is, the longer it will take to hit the extreme levels as compared to independent sampling. This property is particularly useful to compare different sampling procedures. It can also be used in quick detection of high degree nodes [22, 24].
Relation to mean cluster size
If Condition D ^{″}(u _{ n }) is satisfied along with D(u _{ n }), asymptotically, a run of the consecutive exceedances following an upcrossing is observed, i.e., {X _{ n }} crosses the threshold u _{ n } at a time epoch and stays above u _{ n } for some more time before crossing u _{ n } downwards and stays below it for some time until next upcrossing of u _{ n } happens. This is called cluster of exceedances and is more practically relevant than blocks of exceedances at the starting of this section and is shown in [10] that these two definitions clusters are asymptotically equivalent resulting in similar cluster size distribution.
The expected value of cluster of exceedances converges to inverse of EI ([4], p. 384), i.e.,
where {π _{ n }(j),j≥1} is the distribution of size of cluster of exceedances with n samples. Asymptotical cluster size distribution and its mean are derived in [6].
Estimation of extremal index and numerical results
This section introduces two estimators for EI. Two types of networks are presented: synthetic correlated graph and real networks (Enron email network and DBLP network (http://dblp.unitrier.de/)). For the synthetic graph, we compare the estimated EI to its theoretical value. For the real network, we calculate EI using the two estimators.
We take {X _{ i }} as the degree sequence and use RW, PR, and RWJ as the sampling techniques. The methods mentioned in the following are general and are not specific to degree sequence or random walk technique.
Empirical copulabased estimator
We have tried different estimators for EI available in literature [4, 14] and found that the idea of estimating copula and then finding value of its derivative at (1,1) works without the need to choose and optimize several parameters found in other estimators. We assume that {X _{ i }} satisfies D(u _{ n }) and D ^{″}(u _{ n }), and we use Eq. 4 for calculation of EI. Copula C(u,v) is estimated empirically by
with $R_{i_{k}}^{X}$ indicates rank of the element $X_{i_{k}}$ in $\{X_{i_{k}},1\leq k \leq n\}$ and $R_{i_{k}}^{Y}$ is defined respectively. The sequence $\{X_{i_{k}}\}$ is chosen from the original sequence {X _{ i }} in such a way that $X_{i_{k}}$ and $X_{i_{k+1}}$ are sufficiently apart to make them independent to a certain extent and $Y_{i_{k}}=X_{i_{k}+1}$ . The large sample distribution of C _{ n }(u,v) is normal and centered at copula C(u,v). Now, to get θ, we use linear least squares error fitting to find the slope at (1,1) or use cubic spline interpolation for better results.
Intervals estimator
This estimator does not assume any conditions on {X _{ i }} but has the parameter u to choose appropriately. Let $N=\sum _{i=1}^{n} 1(X_{i} > u)$ be the number of exceedances of u at time epochs 1≤S _{1}<…<S _{ N }≤n and let the interexceedance times be T _{ i }=S _{ i+1}−S _{ i }. Then intervals estimator is defined as ([4], p. 391),
where
and
We choose u as δ percentage quantile thresholds, i.e., δ percentage of {X _{ i },1≤i≤n} falls below u,
We plot θ _{ n } vs δ for the intervals estimator in the following sections. The EI is usually selected as the value corresponding to the stability interval in this plot.
Synthetic graph
The simulations in the section follow the bivariate Pareto model and parameters introduced in Eq. 7. We use the same set of parameters as for Fig. 1, and the graph is generated according to the Metropolis technique in section “Random graph generation”.
For the RW case, Fig. 2a shows copula estimator, and theoretical copulabased on the continuous distribution in Eq. 7, and is given by
Though we take quantized values for degree sequence, it is found that the copula estimated matches with theoretical copula. The value of EI is then obtained after cubic interpolation and numerical differentiation of copula estimator at point (1,1). For the theoretical copula, EI is 1−1/2^{γ}, where γ=1.2. Figure 2b displays the comparison between the theoretical value of EI and intervals estimate.
For the RWJ algorithm, Fig. 3 shows the interval estimate and theoretical value for different α. We used Eq. 15 for theoretical calculation. The small difference in theory and simulation results is due to the assumption of continuous degrees in the analysis, but the practical usage requires quantized version. Here α=0 case corresponds to RW sampling.
Figure 4 displays the interval estimate of EI with PR sampling. It can be seen that the lower bound proposed in Proposition 3 gets tighter as c decreases. When c=1, PR sampling becomes RW sampling.
Check of condition D ^{″}
The mixing conditions D(u _{ n }) and D ^{″}(u _{ n }) need to be satisfied for using the theory in section “Calculation of extremal index (EI)”. Though intervals estimator does not require them, these conditions will provide the representation by Eq. 4. Condition D(u _{ n }) works in this case as explained in previous sections and for D ^{″}(u _{ n }), we do the following empirical test. We collect samples for each of the techniques RW, PR, and RWJ with parameters given in respective figures. Intervals are taken of duration 5,10,15, and 20 time samples. The ratio of number of upcrossings to number of exceedances r _{up} and ratio of number consecutive exceedances to number of exceedances r _{cluster} are calculated in Table 1. These proportions are averaged over 2000 occurrences of each of these intervals and over all the different intervals. The statistics in the table indicates strong occurrence of Condition D ^{″}(u _{ n }). We have also observed that the changes in the parameters does not affect this inference.
Real network
We consider two realworld networks: Enron email network and DBLP network. The data is collected from [25]. Both the networks satisfy the check for Condition D ^{″}(u _{ n }) reasonably well.
For the RW sampling, Fig. 5 a shows the empirical copula, and it also mentions corresponding EI. Intervals estimator is presented in Fig. 5 b. After observing plateaux in the plots, we took EI as 0.25 and 0.2 for DBLP and Enron email graphs, respectively.
In case of RWJ sampling, Fig. 6 a, b presents the intervals estimator for emailEnron and DBLP graphs, respectively.
Conclusions
In this work, we have associated extreme value theory of stationary sequences to sampling of large networks. We show that for any general stationary samples (function of node samples) meeting two mixing conditions, the knowledge of bivariate distribution or bivariate copula is sufficient to derive many of its extremal properties. The parameter extremal index (EI) encapsulates this relation. We relate EI to many relevant extremes in networks like order statistics, first hitting time, and mean cluster size. In particular, we model dependence in degrees of adjacent nodes and examine random walkbased degree sampling. Finally, we have obtained estimates of EI for a synthetic graph with degree correlations and find a good match with the theory. We also calculate EI for two realworld networks. In future, we plan to investigate the relation between assortativity coefficient and EI and intends to study in detail the EI in real networks.
Endnotes
^{1} F ^{k}(.)kth power of F(.) throughout the paper except when k=−1 where it denotes the inverse function.
^{2} ∼’ stands for asymptotically equal, i.e., f(x)∼g(x)⇔f(x)/g(x)→1 as x→a, x∈M where the functions f(x) and g(x) are defined on some set M, and a is a limit point of M. f(x)=o(g(x)) means ${\lim }_{x\to a}f(x)/g(x)=0$ . Also f(x)=O(g(x)) indicates that there exist δ>0 and M>0 such that f(x)≤Mg(x) for x−a<δ.
References
 1
Barrat, A, Barthelemy, M, Vespignani, A: Dynamical Processes on Complex Networks. Cambridge University Press, New York (2008).
 2
Avrachenkov, K, Ribeiro, B, Towsley, D: Improving random walk estimation accuracy with uniform restarts. In: LNCS, pp. 98–109. Springer, Berlin Heidelberg (2010).
 3
Brin, S, Page, L: The anatomy of a largescale hypertextual web search engine. Comput. Netw. ISDN Syst. 30(1), 107–117 (1998).
 4
Beirlant, J, Goegebeur, Y, Teugels, J, Segers, J: Statistics of Extremes: Theory and Applications. Wiley, Chichester, West Sussex (2004).
 5
Ferro, CAT, Segers, J: Inference for clusters of extreme values. J. R. Stat. Soc. Ser. B. 65, 545–556 (2003).
 6
Markovich, NM: Modeling clusters of extreme values. Extremes. 17(1), 97–125 (2014).
 7
Leadbetter, MR, Lindgren, G, Rootzén, H: Extremes and Related Properties of Random Sequences and Processes, Vol. 21. Springer, New York (1983).
 8
Avrachenkov, K, M. Markovich, N, Sreedharan, JK: Distribution and dependence of extremes in network sampling processes. In: Third International IEEE Workshop on Complex Networks and Their Applications. IEEE, Marrakesh, Morocco (2014).
 9
Nelsen, RB: An Introduction to Copulas. 2nd edn. Springer, New York (2007).
 10
Leadbetter, MR, Nandagopalan, S: On exceedance point processes for stationary sequences under mild oscillation restrictions. In: Extreme Value Theory. Lecture Notes in Statistics, pp. 69–80. Springer, New York (1989).
 11
Chernick, MR, Hsing, T, McCormick, WP: Calculating the extremal index for a class of stationary sequences. Adv. Appl. Probab.23(4), 835–850 (1991).
 12
Weng, C, Zhang, Y: Characterization of multivariate heavytailed distribution families via copula. J. Multivar. Anal. 106(0), 178–186 (2012).
 13
O’Brien, GL: Extreme values for stationary and Markov sequences. Ann. Probab. 15(1), 281–291 (1987).
 14
Ferreira, A, Ferreira, H: Extremal functions, extremal index and Markov chains. Technical report, Notas e comunicações CEAUL (December 2007).
 15
Boguna, M, PastorSatorras, R, Vespignani, A: Epidemic spreading in complex networks with degree correlations. Stat. Mech. Complex Netw. Lect. Notes Physica. 625, 127–147 (2003).
 16
Goltsev, AV, Dorogovtsev, SN, Mendes, JFF: Percolation on correlated networks. Phys. Rev. E. 78, 051105 (2008).
 17
Newman, ME: Assortative mixing in networks. Phys. Rev. Lett. 89(20), 208701 (2002).
 18
Van Der Hofstad, R: Random graphs and complex networks Vol. i. (2014). Available on http://www.win.tue.nl/~rhofstad/NotesRGCN.pdf. accessed on 23 December 2014.
 19
Zhukovskiy, M, Vinogradov, D, Pritykin, Y, Ostroumova, L, Grechnikov, E, Gusev, G, Serdyukov, P, Raigorodskii, A: Empirical validation of the BuckleyOsthus model for the web host graph: degree and edge distributions. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management, pp. 1577–1581. ACM, Sheraton, Maui Hawaii (2012).
 20
Lovász, L: Random walks on graphs: a survey. Combinatorics, Paul erdos is eighty. 2(1), 1–46 (1993).
 21
Litvak, N, Scheinhardt, W. R, Volkovich, Y: Indegree and PageRank: why do they follow similar power laws?. Internet Math. 4(23), 175–198 (2007).
 22
Avrachenkov, K, Litvak, N, Sokol, M, Towsley, D: Quick detection of nodes with large degrees. In: Algorithms and Models for the Web Graph. Lecture Notes in Computer Science, pp. 54–65. Springer, Berlin Heidelberg (2012).
 23
Gabielkov, M, Rao, A, Legout, A: Studying social networks at scale: macroscopic anatomy of the twitter social graph. SIGMETRICS Perform. Eval. Rev. 42(1), 277–288 (2014).
 24
Avrachenkov, K, Litvak, N, Prokhorenkova, L. O, Suyargulova, E: Quick detection of highdegree entities in large directed networks. In: Proceedings of IEEE ICDM (2014).
 25
Stanford Large Network Dataset Collection. (2014). https://snap.stanford.edu/data/index.html, accessed on 11 December 2014.
Acknowledgements
The work of the first and third authors is partly supported by ADR “Network Science” of the AlcatelLucent Inria joint lab. The second author was partly supported by the Russian Foundation for Basic Research, grant 130800744 A, and Campus France—Russian Embassy bilateral exchange programme.
The authors are thankful to Remco van der Hofstad for helpful suggestions during the preparation of this manuscript.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The contribution of all three authors to the manuscript is quite balanced. All authors read and approved the final manuscript.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 Network sampling
 Extreme value theory
 Extremal index
 Random walks on graph