Introduction

Consider a contact network composed of four persons shown in Fig. 1. A node shown as a circle represents an individual. A link connecting two nodes represents a dyadic relationship. Suppose that you are in a managerial position to urge them to communicate with each other to induce coordination among them as soon as possible. Because communication is generally costly, you may be interested in making the number or total time of communication small. The four individuals are assumed to be too conservative or time-restricted to change the network structure themselves, such that they would only discuss the matter with their extant neighbours. In addition, pairwise communication events may be a main method to exchange information between individuals due to a social norm, the capacity of each individual or the property of the matter to be discussed. In this situation, which pair of individuals should initiate discussion first? Does coordination take place faster if you force them to discuss starting from the leftmost pair to the rightmost pair along the chain (Fig. 1(a); the number on the link represents the order of pairwise interaction). Alternatively, is it better for the two individuals in the middle to communicate last and after the other two pairs (Fig. 1(b)), or vice versa (Fig. 1(c))?

Figure 1
figure 1

The three possible link orders for the chain with N = 4 nodes.

The numbers attached to the links indicate the order with which the link is used. A large value of d implies that coordination occurs rapidly; d is defined in the Results section. The d values are calculated for , where is the length of time for which each link is applied.

Motivated by this fictive example, in the present study we ask how we can possibly accelerate coordination in a given social network by engineering the order of links to be used. For example, the chain network shown in Fig. 1 has four nodes and three links. Thanks to symmetry, the three orders with which to use all links just once shown in the figure exhaust all possibilities. The order of link usage, which we call the link order, may impact the speed of coordination among the four nodes (and it in fact does). Specificity of the link order generally influences dynamics occurring on temporal networks1,2,3. We examine linear diffusion on networks under link switching dynamics and quantify how different link orders yield different levels of coordination at a final time. We also propose a simple greedy algorithm to accelerate coordination.

The effect of the link order on collective dynamics or performance of networks has been examined in at least two fields. First, in the study of cellular automata including random Boolean networks, different methods to update the states of cells, such as synchronous updating (i.e., update all cells simultaneously) versus asynchronous updating (i.e., update cells one by one) and deterministic versus stochastic updating, have been shown to influence dynamics16,17,18. However, specific link orders do not seem to be of a primary question in this field. Second, scheduling of link orders has been formulated and optimised via mathematical programming techniques in the context of wireless networks, where links are used for transmission and conventionally interfere with each other19,20. However, the objective functions and constraints of these models are specific to wireless communications.

Results

Consider a static and unweighted network having N nodes and M links. We allow multiedges, which are counted as distinct links. We assume that each node carries continuous state xi () that varies over time according to linear diffusive dynamics. We sequentially apply links, say, , to the network to induce linear diffusive dynamics with a coupling strength of unity, corresponding to a pairwise conversation event towards coordination between the ith and jth nodes. The duration of a link is denoted by and takes a common value for all links. The states of the other nodes are unchanged in this period. The application of a single link shrinks the distance between xi and xj by a factor of . In other words, the original xi and xj are mapped to and , respectively (Eqs (4,5)). Then, we switch to a next link, which is applied for time . This procedure is repeated until all links are used exactly once. The model can be interpreted as the bounded confidence model21 on networks in which the interaction threshold is equal to zero (i.e., the two nodes interact regardless of the distance between xi and xj).

The dynamics depend on the link order. There are M! link orders. The actual number of link orders is usually much smaller than M! for at least three reasons. First, multiedges introduce obvious redundancy in the count of link orders. Second, symmetry in the network structure reduces the effective number of link orders. For example, the chain network shown in Fig. 1 has three distinct link orders, whereas . Third, swapping the order of the two links that are subsequently applied does not affect the dynamics afterwards if the corresponding single-link Laplacians commute. In undirected networks, this condition is met if and only if the two links that are subsequently applied are the same (i.e., multiedges) or they do not share a node (see Methods).

Measure of the speed of coordination

We introduce d, which quantifies the level of coordination when all links have been applied just once, i.e., at time . We define d as the normalised mean distance between a pair of nodes when the initial state of each node, (), obeys an independent and identical normal distribution with mean zero and standard deviation . A practical sufficient condition for full coordination as is the connectedness of the temporal network aggregated over time interval for each i, where ti can be selected arbitrarily22,23,24. We do not consider asymptotic relaxation time, which is more commonly studied, because the present model is motivated by social settings in which pairwise interaction, i.e., a link, is considered to be costly and would not be used infinitely many times.

Denote the state vector by , where represents the transposition. We calculate d in terms of matrix T that maps the initial state vector x(0) to the final state vector , where T is explicitly given by Eq. (9). The mean square distance between the states of two nodes is initially equal to . The mean square distance at averaged over all node pairs and normalised by the value at t = 0 is given by

where E denotes the expectation, represents the ith row of T, denotes the L2-norm of the vector and we have used the independence between and () to derive the second last equality in Eq. (1). Equation (1) indicates that d is small if the rows of T are close to each other in terms of the L2-norm. The d value depends on , i.e., how long each link is applied. The d values for the three link orders for the network shown in Fig. 1 are presented in the figure with . In the following analysis, we discuss the speed of coordination in terms of d unless otherwise stated.

Real temporal networks

We start numerical analysis with two real temporal networks obtained from human interaction data. The first data set was obtained from the SocioPatterns Project and was recorded from participants in a conference25. Although the original data have 113 nodes and 20818 links, we have excluded one node and the two links incident to the deleted node because the speed of coordination is very sensitive to the presence or absence of this node5. The reduced network has N = 112 and M = 20816 links. We call this data set the conference data set. The second data set was obtained from the Reality Mining Project and was recorded from students, staff and faculty members at the Massachusetts Institute of Technology26. Although the original network contains 106 nodes, we use the largest connected component containing N = 104 nodes and M = 782682 links. Both networks contain multiedges. We respect the link orders in the original data sets and calculate d. Because of the finite time resolution in the recording, there are often more than one links appearing in the same time window. In this case, we follow the link order as dictated in the original data.

The d values are plotted against for the conference and Reality Mining data sets by the circles in Fig. 2(a,b), respectively. The average and standard deviation of d on the basis of 103 randomly generated link orders while the structure of the aggregate (i.e., static) network is kept intact are shown by the error bars in Fig. 2. The figure indicates that coordination occurs on real temporal networks much more slowly than for typical random link orders. This result is consistent with our previous results in which we looked at the spectral gap, an alternative measure of coordination, for the same data sets5. The difference between the real temporal networks and random link orders is more significant for larger values of . Real temporal networks are slow to coordinate possibly because of temporally correlated appearance of links27. In addition, coordination is not enhanced as increases when is large.

Figure 2
figure 2

Speed of coordination, d, for the real temporal networks and random link orders.

The error bar represents the average ± standard deviation. (a) Conference data set. (b) Reality Mining data set.

Small networks

Small networks allow us to enumerate the link orders and compare the performance of them. In this section, we consider three small networks with M = 10 links.

We first consider the complete graph, i.e., all node pairs are adjacent by a link. When N = 5, there are M = 10 links and M! = 3628800 link orders. We set and calculate d for all the possible link orders. The cumulative distribution of d is shown in Fig. 3(a). The figure indicates that the link order, in combination with the normally distributed initial states, affects d despite that the underlying network is structureless. The value of d is more than 20 times different between the fastest and slowest link orders. Furthermore, both approximately fastest and approximately slowest cases are attained by some fractions of link orders, i.e., not only by exponentially rare link orders.

Figure 3
figure 3

Distribution of d for small networks.

(a) Cumulative distribution for all possible link orders for the complete graph with nodes. We set . (b) Statistics of d for the complete graph with nodes on the basis of all link orders. The error bar indicates the average ± standard deviation. The minimum and maximum values of d for each are shown by the curves. (c) Statistics of d for the cycle with nodes. (d) Statistics of d for the random graph with nodes and links.

The average, standard deviation, minimum and maximum of d calculated on the basis of all M! link orders are shown in Fig. 3(b) for a range of . The error bar indicates the average ± standard deviation. First, except when is small, d is substantially different between the fastest and slowest link orders, which extends the observation made with Fig. 3(a). Second, a large value of indicates that each link is applied for a long time, which might lead one to suspect that a large value improves coordination. However, this is not the case. d decreases as increases only when is small. The fastest coordination is realised between and depending on either the average, minimum or maximum of d is considered. When is large, d increases as increases, deteriorating coordination. Anecdotally, forcing each pair of individuals to have long discussion to ensure strong pairwise consensus does not necessarily facilitate coordination at the network level.

The average, standard deviation, minimum and maximum of d for all link orders for the cycle with nodes are shown in Fig. 3(c). The average of d is the smallest at . The d value beyond increases as increases just slightly for this network. The difference between the minimal and maximal d values is smaller than in the case of the complete graph. Nevertheless, the results are qualitatively the same as those for the complete graph. The results are similar for a network with nodes and links generated from the Erdös-Rényi random graph with the probability of link between a pair of nodes equal to 0.4 (Fig. 3(d)).

Optimising the link order for larger networks

For larger networks, it is prohibitive to determine the best link order. Therefore, we seek to accelerate coordination in terms of d by running a simple greedy algorithm (see Methods). For simplicity, we focus on static and unweighted model and empirical networks in this section.

We first analyse the karate-club network in which a node represents a member of the club and a link represents casual interaction between two members. The network has nodes and links28. The link order optimised with yields . For comparison, we also sample 103 random link orders on the same static network and calculate the average and standard deviation of d. Randomly sampled link orders yield at (average ± standard deviation). This result indicates that the greedy algorithm can find a link order that by far outperforms most link orders.

It may be difficult to measure in real settings. Therefore, we assess how the link order optimised for performs when the dynamics are actually implemented with different values. For the link order optimised for , d is plotted against by the circles in Fig. 4(a). The average and standard deviation for randomly sampled link orders are shown by the error bars in the same figure. Figure 4(a) indicates that the link order optimised for also behaves fairly well for other values, in the sense that d is smaller than those for typical random link orders. For the link orders optimised for and , d is plotted against by the squares and triangles, respectively, in Fig. 4(a). The link orders optimised for these values also yield d values significantly smaller than those for typical random link orders for a range of . Therefore, up to our numerical efforts, engineering a link order for a certain value of accelerates coordination for a range of .

Figure 4
figure 4

Speed of coordination, d, for the optimised and random link orders.

The symbols correspond to different values of for which the link order is optimised in terms of d. The error bar represents the average ± standard deviation. (a) Karate-club network. (b) BA model. (c) Jazz musician network. (d) Collaboration network.

We repeated the same analysis for three other networks. The results for a heterogeneous network generated by the Barabási-Albert preferential attachment model (BA model) having nodes links29 are shown in Fig. 4(b). We set the initial network to the triangle and the number of links that each new node possesses to three. The results for a network of jazz musicians having nodes and links30 are shown in Fig. 4(c). The results for the largest connected component of the collaboration network among major network science researchers31, which has and links, are shown in Fig. 4(d). The results for the three networks are qualitatively the same as those for the karate-club network.

For all four networks, d for the optimised or random link orders decreases as increases when is small. However, d would not decrease further as increases when is large. Therefore, leaving pairs of individuals for a long time to ensure strong pairwise consensus does not accelerate the formation of consensus at a network level. This result is consistent with that for real temporal networks (Fig. 2) and small networks (Fig. 3(b–d)).

Spectral gap

The relaxation speed of linear diffusive dynamics is usually characterised by the eigenvalue that determines the relaxation time of the dynamics. Because T (Eq. (9)) is a linear map from the initial state vector to the final state vector, the relevant eigenvalue is the second largest eigenvalue of T in terms of the modulus, denoted by . The largest eigenvalue of T is always equal to unity, corresponding to the perfectly synchronous mode, or the right eigenvector . Here we examine , which corresponds to the spectral gap of the Laplacian dynamics in continuous time under switching dynamics5. If the spectral gap calculated for the ordered link sequence , , is large, coordination occurs fast when we periodically apply links , , , , infinitely many times. We prefer d to the spectral gap because pairwise conversations would not probably repeat periodically in real social situations. Nevertheless, in this section we assess whether minimisation of d also enhances the spectral gap.

We compared the spectral gap for the link orders optimised in terms of d and that for random link orders. The results for the karate-club network, BA model, jazz musician network and collaboration network are shown in Fig. 5(a–d), respectively. For the karate-club, jazz and collaboration networks, the link orders optimised in terms of d for the three values of yield larger spectral gaps than the mean value for random link orders, in a range of . For example, in the karate-club network (Fig. 5(a)), the link order optimised in terms of d at produces the spectral gap values that are larger than the average plus the standard deviation of typical link orders for all the examined values of . However, the spectral gap is only slightly larger than in the random case for the link orders optimised with and . In the BA model (Fig. 5(b)), the optimisation in terms of d sometimes makes the spectral gap smaller than that for typical link orders. For this network, the link order optimised with is the only case in which the spectral gap for the optimised link order is larger than that for typical link orders.

Figure 5
figure 5

Spectral gap for the optimised and random link orders.

The symbols represent the results for the three optimised link orders used in Fig. 4. (a) Karate-club network. (b) BA model. (c) Jazz musician network. (e) Collaboration network.

Discussion

The present study may be extended in the following aspects.

First, we provided a simple heuristic greedy algorithm to search for a link order to accelerate coordination in terms of d. The search space is composed of all permutations on M links. Although multiedges, symmetry in the network structure and commuting single-link Laplacians reduce the search space, the effective search space is generally huge even for a network with a small number of links. The current problem is a permutation-based combinatorial optimisation problem, whose famous examples include the travelling salesman problem and the quadratic assignment problem. Such a problem is typically NP-hard. The optimised solutions found in the present study may be local optimums. However, various approximate algorithms can find nearly optimal solutions for famous permutation-based problems32. It may be possible to build heuristic algorithms for the present model that provide better solutions than those obtained in the Results section.

Second, we only allowed isolated pairwise communications in each time period, corresponding to single-link Laplacians. In real situations, communications towards consensus may occur in a group33,34,35. It is straightforward to extend the current framework to the case of group conversation. For single-link Laplacians, we used Eq. (6) to transform the linear diffusive dynamics in continuous time to that in discrete time to simplify the computation of T, the mapping from the initial state vector to the final state vector. Otherwise, the calculation of T requires computationally burdening matrix exponentials. A group conversation corresponds to a clique in the network. If cliques do not overlap in each snapshot and are of the same size within and across snapshots, a relation similar to Eq. (6) holds true27, facilitating the computation of T.

Third, we imposed the condition that all links are used exactly once. In real situations, it may be allowed to use the same link multiple times and some links may not have to be used. Burstiness of links and other higher-order temporal and structural correlation as present in empirical data1 may impact the speed of coordination. In this situation, a plausible constraint may be to fix the total number of times that single links are applied. Then, the structure of the aggregate network composed of the actually used links varies across link orders. The structure of the static network is generally a strong determinant of the level of coordination (i.e., synchronisation)36,37,38. Therefore, the structure of the aggregate network, such as community structure and different levels of heterogeneity in the node’s degree, may have a larger impact on d than the link order.

Fourth, we assumed that the initial states of the nodes, (), are independently and identically distributed. If the information about the initial or intermediate states is available, it is probably possible to devise a link order to accelerate coordination. For example, if the states of all nodes are monitored, always forcing the most distant pair of nodes in terms of to communicate may considerably hasten coordination of the entire network.

Fifth, we assumed the linear diffusion dynamics for simplicity. Extening the present framework to nonlinear synchronisation dynamics and other types of dynamics is straightforward. In fact, effects of temporal networks on collective dynamics have been investigated with various models3. Examples include nonlinear coupled dynamics towards synchronisation4, the voter model6,7,8, the naming game9,10, the information cascade model11, dynamics of triangular social balance12, evolutionary game dynamics13, and, above all, epidemic processes14,15. The link order may add another dimension to the impact of temporal networks on these and other dynamics.

Methods

Model

The model for linear coordination dynamics is the same as that considered in our previous work, in which links are sequentially sampled without replacement5. Assume a static, undirected and unweighted network having N nodes and M links. Multiedges (i.e., multiple links connecting the same pair of nodes) are allowed and are counted as distinct unweighted links. The following formulation can be generalised to the case of directed and weighted networks.

Denote the state of the th node by (). The network undergoes a sequence of Laplacian dynamics in continuous time in which each link is sequentially applied for time . The dynamics for period during which link is applied are described by

The states of the other nodes are not altered during this period. The states after the application of link are equal to and . They are given in terms of the states before the application of the link, i.e., and , as follows:

In short, the application of the link lessens the distance between and by factor of . Then, we apply the next link for and so forth. The dynamics terminate at , when all M links are applied exactly once.

To describe the entire switching dynamics, we introduce the N × N single-link Laplacian matrix for link , denoted by . The matrix is defined by and . The other elements of are equal to zero. Equations (4,5) are rewritten as

where , I is the N × N identity matrix, and

Therefore, for the sequence of links , , , the final state of the network is determined by

where

The multiplication of () to affects the ith and jth rows, modifying at most 2N elements. Therefore, the computation of T requires O(NM) time.

Commutator of single-link Laplacians

Two link orders yield the same d value if T is the same for the two link orders. On the basis of Eq. (9), a sufficient condition for this is that matrices and commute for consecutively used links and . In this case, exchanging the order of and does not affect the d value. Regardless of the value of , this condition is equivalent to

where is the Lie bracket, also called the commutator.

Equation (10) is satisfied when two links and do not share a node or when they are identical. If the two links share just one node, i.e., and , we obtain

where matrix contains three elements equal to +1 at , , , three elements equal to −1 at , , and zero everywhere else.

Although the main text focuses on undirected networks, the framework is also applicable to directed networks. As in the case of undirected networks, the d value does not change after swapping the order of two directed links that are successively applied if the corresponding single-link Laplacians commute (i.e., the Lie bracket is equal to zero). However, the calculation of the Lie bracket for undirected networks does not generalise to the case of directed networks. We denote by the Laplacian matrix for the network composed of just a single directed link from the th node to the th node. In other words, , and all the other elements of are equal to zero. is an asymmetric matrix. As in the case of the undirected network, the directed single-link Laplacian matrices commute if the two directed links do not share a node. If the two links share one or two nodes, we obtain

Equations (12)–(15) exhaust all cases in which two links share at least one node. Because the right-hand sides of Eqs (12)–(15), are linear sums of single-link Laplacians, () forms a Lie algebra. The coefficients of on the right-hand sides, which are equal to −1, 0, or 1 in the present case, are called structure constants.

Greedy algorithm

The greedy algorithm aims at finding a link order that makes d as small as possible. For a given network and the value of , we proceeded as follows. First, we randomly ordered the M links and calculated d. Second, we swapped the order of a pair of randomly selected links. The order of the other links was unchanged. Third, we calculated d for the new link order. Fourth, if d decreased by the proposed link swapping, we adopted it. Otherwise, we discarded it. We repeated this procedure times. We verified that d did not notably decrease near the end of the repetition in all runs.

Additional Information

How to cite this article: Masuda, N. Accelerating coordination in temporal networks by engineering the link order. Sci. Rep. 6, 22105; doi: 10.1038/srep22105 (2016).