Triadic closure dynamics drives scaling-laws in social multiplex networks

Peter Klimek, Stefan Thurner

Results

The model is built around the process of triadic closure, the principle that links tend to be created between nodes that share a neighbor. The model includes the addition and removal of nodes. The network is initialized with NN nodes, each node having one link to a randomly chosen node. The dynamics is completely specified by an iteration of the following steps, starting at tt.

Pick a node ii at random. If ii has less than two links, create a link between ii and any randomly chosen node, and continue with step (iii). If ii has two or more links, choose one of its neighbors at random, say node jj, and continue with step (ii).

With probability rr (triadic closure parameter), create a link between jj and another randomly chosen neighbor of ii, say kk. With probability 1−r1-r, create a link between jj and a node randomly chosen from the entire network, see figure 1.

With probability pp (node-turnover parameter) remove a randomly chosen node from the network along with all its links, and introduce a new node linking to mm randomly chosen nodes. Then continue with time-step t+1t+1.

For p>0p>0 nodes have a finite lifetime, which implies that the network reaches a stationary state where the total number of links L(t)L(t) and the network measures Π(k)\Pi(k), P(k)P(k), and c(k)c(k) fluctuate around steady state levels. The model is a variant of the model proposed in , which is contained as the special case r=1r=1 in the above protocol. Our model can also be seen as a stationary version of the connecting-nearest-neighbors-model in . Combinations of triadic closure and random edge attachment have also been studied in growing , and weighted networks. Reaching a stationary state is independent of mm. The model is completely specified by four parameters, NN, rr, pp, and mm.

2 Estimation of model parameters

Social ties are often established between two individuals by being introduced by a mutual acquaintance. Other modes of social tie formation, such as random encounters may not lead to triadic closure. Step (ii) in the above protocol captures these two linking processes. Ties also change because people enter and leave social circles, for example they change workplaces, move to different cities, or change their hobbies. This is incorporated in step (iii). To calibrate the model to a real social multiplex network, MαM_{\alpha} with NαN_{\alpha} nodes and LαL_{\alpha} links, the stationarity assumption has to be checked, and the parameters for triadic closure rr, and node-turnover pp have to be estimated. Consider the average number of nodes entering (Δnα+\Delta n^{+}_{\alpha}) and leaving (Δnα−\Delta n^{-}_{\alpha}) the network MαM_{\alpha} per time unit. For stationarity to hold we demand

i.e. the net growth rate is much smaller than the rates at which nodes enter or leave the network. The triadic closure parameter rαr_{\alpha} can be directly measured as the ratio between the number of links in network MαM_{\alpha} which – at their creation – close at least one triangle, and the total number of created links. The node-turnover parameter pp can be estimated by demanding for the number of links in the model and in the real network to be the same. To see this, note that one adds on average Δl+\Delta l^{+} and removes Δl−\Delta l^{-} links per time-step. Stationarity means that Δl+=Δl−\Delta l^{+}=\Delta l^{-}. Since one link is created at each time-step in either step (i) or (ii), and with probability pp, mm links are added in step (iii), we have Δl+=1+pm\Delta l^{+}=1+pm. Denoting the average degree by kˉ=2NL\bar{k}=\frac{2N}{L}, with probability pp, in step (iii), one removes on average kˉ\bar{k} links per time-step, Δl−=pkˉ\Delta l^{-}=p\bar{k}. To calibrate the model to a network MαM_{\alpha} the turnover parameter pαp_{\alpha} is

The model is initialized with NαN_{\alpha} nodes and the dynamics follows the protocol with parameters rαr_{\alpha} and pαp_{\alpha}. After a transient phase the number of links fluctuates around LαL_{\alpha}, and the scaling exponents γ,q,β\gamma,q,\beta approach stationary values.

Calibration of the model requires complete, time-resolved topological information Mα(t)M_{\alpha}(t) over a large number of link-creation processes. Suitable data is available for example in the social multiplex network of the online game ’Pardus’ , see the Methods section. Table 1 summarizes key features of MαM_{\alpha}, including the number of nodes NαN_{\alpha}, links LαL_{\alpha} for the Pardus friendship (α=1\alpha=1), communication (α=2\alpha=2), and trade (α=3\alpha=3) networks. Table 1 also lists the average degree kˉα\bar{k}_{\alpha}, as measured on the last day of the observation record, and the average number of nodes entering (Δnα+\Delta n^{+}_{\alpha}) and leaving (Δnα−\Delta n^{-}_{\alpha}) per day, confirming that the networks are in fact stationary in the sense of equation (4). Estimates for rr and pp are also shown in table 1.

3 Characteristic exponents

Simulation results for the values of the characteristic exponents γ,q\gamma,q, and β\beta in the model depend on the parameters pp and rr, as shown in figure 2. We fix N=103N=10^{3} and m=0m=0. Results are averaged over 500 realizations for each parameter pair (p,r)(p,r). All three scaling exponents, equations (1-3), can be explained by the model.

Model exponents for γ\gamma fall in the range 0<γ<10<\gamma<1, depending on pp and rr, figure 2(a). γ\gamma is close to one for high pp and high rr. The preferential attachment associated with triadic closure is therefore sub-linear. The dependence of the exponent qq on both pp and rr is shown in figure 2(b). Note that for q=1q=1 the qq-exponential is equivalent to the exponential. Values of qq above (below) one indicate that the distribution decays slower (faster) than the exponential. For small pp and large rr, qq is significantly larger than one and degree distributions are fat-tailed. For large pp the values of qq approach one, independent of rr. Values for β\beta are close to zero for r=0r=0 or pp going to 00. β\beta approaches a plateau at β=−1\beta=-1 for high values of pp and rr, see figure 2(c).

For the experimental validation of the model, figure 3 shows the attachment kernel Πα(kα)\Pi_{\alpha}(k_{\alpha}), degree distribution Pα(kα)P_{\alpha}(k_{\alpha}), and clustering coefficients cα(kα)c_{\alpha}(k_{\alpha}) for the three sub-networks MαM_{\alpha} of the empirical multiplex data. They are compared to the respective distributions of the calibrated model (results averaged over 20 realizations). Data and model results are logarithmically binned, a version of figure 3 showing raw data can be found in the supplementary information.

The observed preferential attachment in the data is in good agreement with model results for each network MαM_{\alpha}, see top row of figure 3. We find exponents of γ=0.88(4)\gamma=0.88(4) for the data and γmod=0.77(2)\gamma_{mod}=0.77(2) in the model for the friendship network, γ=0.84(1)\gamma=0.84(1), γmod=0.76(2)\gamma_{mod}=0.76(2) for communication, and γ=0.83(1)\gamma=0.83(1), γmod=0.80(1)\gamma_{mod}=0.80(1) for trade. Data and model curves for Πα(kα)\Pi_{\alpha}(k_{\alpha}) are barely distinguishable from each other. The model fits the number of friends per player with exponents q=1.16(1)q=1.16(1) and qmod=1.116(2)q_{mod}=1.116(2) for α=1\alpha=1, q=1.24(1)q=1.24(1), qmod=1.148(3)q_{mod}=1.148(3) for α=2\alpha=2, and q=1.073(1)q=1.073(1) and qmod=1.102(1)q_{mod}=1.102(1) for α=3\alpha=3. Results are shown in the middle row in figure 3. Data and model show similar scaling of the average clustering coefficient of nodes cα(kα)c_{\alpha}(k_{\alpha}) as a function of their degree kαk_{\alpha}, see bottom row in figure 3. For friendships (α=1\alpha=1) we find β=0.66(3)\beta=0.66(3), for the model βmod=0.69(3)\beta_{mod}=0.69(3). For communication (α=2\alpha=2) the data yields β=0.59(3)\beta=0.59(3), the model gives βmod=0.78(3)\beta_{mod}=0.78(3). For trade (α=3\alpha=3) there is good agreement between data and model with β=0.63(3)\beta=0.63(3) and βmod=0.60(3)\beta_{mod}=0.60(3), respectively. The model results for cα(kα)c_{\alpha}(k_{\alpha}) show a curvature and are not straight lines. Comparing the curves for α=1,2,3\alpha=1,2,3 suggests that this curvature increases with the average degree kˉα\bar{k}_{\alpha}. Values for βmod\beta_{mod} should be interpreted as first order approximations for the slopes of these curves. Results for the exponents γ,q,β\gamma,q,\beta for data and model are summarized in table 1.

Discussion

We reported strong evidence that the process of triadic closure may play an even more fundamental role in social network formation than previously anticipated . Given that all model parameters can be measured in the data, it is remarkable that three important scaling laws are simultaneously explained by this simple triadic closure model. Since exponents γ\gamma, qq, and β\beta are sensitive to choices of the model parameters pp and rr, the agreement between data and model is even more remarkable.

The Pardus multiplex data contains three other social networks, where links express negative relationships between players, such as enmity, attacks, and revenge . Triadic closure is known to be not a good network formation process for negative ties, ”the enemy of my enemy is in general not my enemy” . It was shown that the probability of triadic closure between three players is one order of magnitude smaller for enmity links when compared to friendship links in the Pardus multiplex . The model is therefore not suited to describe network formation processes of links expressing negative sentiments.

The findings in the current model also compare well to several facts of real-world social networks. Sub-linear preferential attachment has been reported in scientific collaboration networks and the actor co-starring network (Π(k)∝k0.79\Pi(k)\propto k^{0.79} and ∝k0.81\propto k^{0.81}, respectively ). Degree distributions of many social networks often fall between exponential and power-law distributions , and scaling of the average clustering coefficients as a function of degree, has been observed in the scientific collaboration and actor networks with values for c(k)∝k−0.77c(k)\propto k^{-0.77} and ∝k−0.31\propto k^{-0.31}, respectively (when same fitting as in figure 3 is applied). Mobile phone and communication networks give ∝k−1\propto k^{-1} .

In the Pardus dataset players are removed if they choose to leave the game or if they are inactive for some time . In the mobile communication, actor, and collaboration networks, a link is established by a single action (phone call, movie, or publication) and persists from then on. Note that our model addresses the empirically relevant case where node-turnover rates (Δnα+,Δnα−\Delta n^{+}_{\alpha},\Delta n^{-}_{\alpha}) are significantly larger than the effective network growth rate (Δnα+−Δnα−\Delta n^{+}_{\alpha}-\Delta n^{-}_{\alpha}). For growing networks (without node deletion) it has been shown that sub-linear preferential attachment (γ<1\gamma<1) leads to degree distributions with power-law tail with an exponent proportional to γ\gamma . Something similar can be observed in the present model. If we keep the node-turnover parameter pp fixed and decrease the triadic closure parameter rr, figures 3(a) and (b) show that γ\gamma decreases and qq approaches one. The network is dominated by randomly created links. However, if we fix r=1r=1 (only triadic closure, no random links) and increase pp, figures 3(a) and (b) show that qq approaches one despite an increase in γ\gamma. An increase of the node-turnover parameter pp implies a shorter life-time for individual nodes and hence a shorter time in which they may acquire new links. Consequently, the degree distribution only has a substantial right-skew if both, p≲0.25p\lesssim 0.25, and r≳0.5r\gtrsim 0.5 holds.

Methods

The Pardus dataset allows to continuously track all actions of more than 370,000 players in an open-ended, virtual, futuristic game universe where players interact in a multitude of ways to achieve their self-posed goals, such as accumulating wealth and influence. Players can establish friendship links, exchange one-to-one messages (similar to phone calls) and trade with each other. We focus on three sub-networks (friendship, communication, trade) of the multiplex, over one year from Sep 2007 to Sep 2008. Network label α=1\alpha=1 refers to the friendship network, α=2\alpha=2 for communication, and α=3\alpha=3 for trade. In the friendship network a node is present on a given day if at least one friendship link to another node exists on that day. A node is removed if the player either leaves the game or has no friendship link. The same holds for the message and trade networks, where a link exists between two nodes on day tt if at least one message (trade) is exchanged within the period of six days, [t−6,t]\left[t-6,t\right]. For details of structural and dynamical properties of the Pardus multiplex, see .

To measure the degree distributions Pα(kα)P_{\alpha}(k_{\alpha}) and clustering coefficients cα(kα)c_{\alpha}(k_{\alpha}), we use the adjacency matrix of the networks MαM_{\alpha} on the last day of the data record. The preferential attachment probability Πα(kα)\Pi_{\alpha}(k_{\alpha}) is measured by counting (over the entire observation period) the number of link-creation events in which a node with degree kk acquires a new link, and then dividing this by the average number of nodes with degree kk, where the average is again taken over the observation period.

2 Fitting procedures

Power-law fits (least-squares) to the logarithms of the logarithmically binned data in figure 3 are shown for γ{\gamma}, for 2<k(α)<1002<k_{(\alpha)}<100, and for β{\beta} over the range 5<k(α)<1005<k_{(\alpha)}<100, for each α{\alpha}, for data and model. The reported errors are the standard deviations of the coefficients. For the degree distributions the data is also logarithmically binned and fitted over the entire range k(α)>0k_{(\alpha)}>0 in figure 3 with equation (2). The coefficients are obtained as maximum likelihood estimates, reported errors correspond to the 95% confidence intervals. For better comparison and to diminish the effect of outliers, data and model results for Πα(kα)\Pi_{\alpha}(k_{\alpha}) are normalized over the range kα≤100k_{\alpha}\leq 100. Higher values correspond to data outliers, often due to behavior of non-serious players.

Acknowledgments

This work was supported by Austrian science fund FWF P23378 and EU FP7 projects CRISIS no. 288501 and LASAGNE no. 318132. We thank B. Fuchs and M. Szell for data issues.

References

Supplementary Information