Temporal network

Network science
Theory
Graph Complex network Contagion Small-world Scale-free Community structure Percolation Evolution Controllability Graph drawing Social capital Link analysis Optimization Reciprocity Closure Homophily Transitivity Preferential attachment Balance theory Network effect Social influence
Network types
Informational (computing) Telecommunication Transport Social Scientific collaboration Biological Artificial neural Interdependent Semantic Spatial Dependency Flow on-Chip
Graphs
Features Clique Component Cut Cycle Data structure Edge Loop Neighborhood Path Vertex Adjacency list / matrix Incidence list / matrix Types Bipartite Complete Directed Hyper Multi Random Weighted
Metrics Algorithms
Centrality Degree Motif Clustering Degree distribution Assortativity Distance Modularity Efficiency
Models
Topology Random graph Erdős–Rényi Barabási–Albert Fitness model Watts–Strogatz Exponential random (ERGM) Random geometric (RGG) Hyperbolic (HGN) Hierarchical Stochastic block Blockmodeling Maximum entropy Soft configuration LFR Benchmark Dynamics Boolean network agent based Epidemic/SIR
Lists Categories
Topics Software Network scientists Category:Network theory Category:Graph theory
v t

A temporal network, also known as a time-varying network, is a network whose links are active only at certain points in time. Each link carries information on when it is active, along with other possible characteristics such as a weight. Time-varying networks are of particular relevance to spreading processes, like the spread of information and disease, since each link is a contact opportunity and the time ordering of contacts is included.

Examples of time-varying networks include communication networks where each link is relatively short or instantaneous, such as phone calls or e-mails.^[1][2] Information spreads over both networks, and some computer viruses spread over the second. Networks of physical proximity, encoding who encounters whom and when, can be represented as time-varying networks.^[3] Some diseases, such as airborne pathogens, spread through physical proximity. Real-world data on time resolved physical proximity networks has been used to improve epidemic modeling.^[4] Neural networks and brain networks can be represented as time-varying networks since the activation of neurons are time-correlated.^[5]

Time-varying networks are characterized by intermittent activation at the scale of individual links. This is in contrast to various models of network evolution, which may include an overall time dependence at the scale of the network as a whole.

Applicability[]

Time-varying networks are inherently dynamic, and used for modeling spreading processes on networks. Whether using time-varying networks will be worth the added complexity depends on the relative time scales in question. Time-varying networks are most useful in describing systems where the spreading process on a network and the network itself evolve at similar timescales.^[6]

Let the characteristic timescale for the evolution of the network be ${\displaystyle t_{N}}$, and the characteristic timescale for the evolution of the spreading process be ${\displaystyle t_{P}}$. A process on a network will fall into one of three categories:

• Static approximation – where ${\displaystyle t_{N}\gg t_{P}}$. The network evolves relatively slowly, so the dynamics of the process can be approximated using a static version of the network.
• Time-varying network – where ${\displaystyle t_{N}\sim t_{P}}$. The network and the process evolve at comparable timescales so the interplay between them becomes important.
• Annealed approximation – where ${\displaystyle t_{N}\ll t_{P}}$. The network evolves relatively rapidly, so the dynamics of the process can be approximated using a time averaged version of the network.

The flow of data over the internet is an example for the first case, where the network changes very little in the fraction of a second it takes for a network packet to traverse it.^[7] The spread of sexually transmitted diseases is an example of the second, where the prevalence of the disease spreads in direct correlation to the rate of evolution of the sexual contact network itself.^[8] Behavioral contagion is an example of the third case, where behaviors spread through a population over the combined network of many day-to-day social interactions.^[9]

Representations[]

There are three common representations for time-varying network data.^[10]

• Contact sequences – if the duration of interactions are negligible, the network can be represented as a set ${\displaystyle C}$ of contacts ${\displaystyle (i,j,t)}$ where ${\displaystyle i}$ and ${\displaystyle j}$ are the nodes and ${\displaystyle t}$ the time of the interaction. Alternatively, it can be represented as an edge list ${\displaystyle E}$ where each edge ${\displaystyle e}$ is a pair of nodes and has a set of active times ${\displaystyle T_{e}=\{t_{1},\ldots ,t_{n}\}}$.
• Interval graphs – if the duration of interactions are non-negligible, ${\displaystyle T_{e}}$ becomes a set of intervals over which the edge ${\displaystyle e}$ is active. ${\displaystyle T_{e}=\{(t_{1},t_{1}'),\ldots ,(t_{n},t_{n}')\}}$
• Snapshots – time-varying networks can also be represented as a series of static networks, one for each time step.

Properties[]

The measures used to characterize static networks are not immediately transferable to time-varying networks. See Path, Connectedness, Distance, Centrality. However, these network concepts have been adapted to apply to time-varying networks.

Time respecting paths[]

Time respecting paths are the sequences of links that can be traversed in a time-varying network under the constraint that the next link to be traversed is activated at some point after the current one. Like in a directed graph, a path from ${\displaystyle i}$ to ${\displaystyle j}$ does not mean there is a path from ${\displaystyle j}$ to ${\displaystyle i}$. In contrast to paths in static and evolving networks, however, time respecting paths are also non-transitive. That is to say, just because there is a path from ${\displaystyle i}$ to ${\displaystyle j}$ and from ${\displaystyle j}$ to ${\displaystyle k}$ does not mean that there is a path from ${\displaystyle i}$ to ${\displaystyle k}$. Furthermore, time respecting paths are themselves time-varying, and are only valid paths during a specific time interval.^[11]

Reachability[]

While analogous to connectedness in static networks, reachability is a time-varying property best defined for each node in the network. The set of influence of a node ${\displaystyle i}$ is the set of all nodes that can be reached from ${\displaystyle i}$ via time respecting paths, note that it is dependent on the start time ${\displaystyle t}$. The source set of a node ${\displaystyle i}$ is the set of all nodes that can reach ${\displaystyle i}$ via time respecting paths within a given time interval. The reachability ratio can be defined as the average over all nodes ${\displaystyle i}$ of the fraction of nodes within the set of influence of ${\displaystyle i}$.^[12]

Connectedness of an entire network is less conclusively defined, although some have been proposed. A component may be defined as strongly connected if there is a directed time respecting path connecting all nodes in the component in both directions. A component may be defined as weakly connected if there is an undirected time respecting path connecting all nodes in the component in both directions.^[13] Also, a component may be defined as transitively connected if transitivity holds for the subset of nodes in that component.

The connectedness of temporal networks can be studied by a mapping to the directed percolation problem.^[14] The probability of temporal links has a critical value below which the connectedness is zero while above almost all nodes can be connected. This can be regarded as a phase transition.

Causal fidelity[]

Causal fidelity quantifies the goodness of the static approximation of a temporal network. Such a static approximation is generated by aggregating the edges of a temporal network over time. The idea of causal fidelity is to compare the number of paths between all node pairs in the temporal network ${\displaystyle P_{temp}}$ (that is, all time respecting paths) with the number of paths ${\displaystyle P_{stat}}$ between all nodes in the static approximation of the network.^[15] The causal fidelity is then defined by

${\displaystyle c={\frac {P_{temp}}{P_{stat}}}}$.

Since in ${\displaystyle P_{temp}}$ only time respecting paths are considered, ${\displaystyle P_{temp}\leq P_{stat}}$, and consequently ${\displaystyle 0\leq c\leq 1}$. A high causal fidelity ${\displaystyle c\approx 1}$ means that the considered temporal network is well approximated by its static (aggregated) counterpart. If ${\displaystyle c\ll 1}$, then most node pairs that are reachable the static representation are not connected by time respecting paths in the temporal network.

Latency[]

Also called temporal distance, latency is the time-varying equivalent to distance. In a time-varying network any time respecting path has a duration, namely the time it takes to follow that path. The fastest such path between two nodes is the latency, note that it is also dependent on the start time. The latency from node ${\displaystyle i}$ to node ${\displaystyle j}$ beginning at time ${\displaystyle t}$ is denoted by ${\displaystyle \lambda _{i,t}(j)}$.

Centrality measures[]

Measuring centrality on time-varying networks involves a straightforward replacement of distance with latency.^[16] For discussions of the centrality measures on a static network see Centrality.

• Closeness centrality is large for nodes ${\displaystyle i}$ that are close to all other nodes (i.e. have small latency ${\displaystyle \lambda _{i}(j)}$ for all ${\displaystyle j}$)

${\displaystyle C_{C}(i,t)={\frac {N-1}{\sum _{j\not =i}{\lambda _{i,t}(j)}}}}$

• Betweenness centrality is large for nodes that are often a part of the smallest latency paths between other pairs of nodes. It is defined as the ratio of the number of smallest latency paths from ${\displaystyle j}$ and ${\displaystyle k}$ that pass through ${\displaystyle i}$ to the total number of smallest latency paths from ${\displaystyle j}$ and ${\displaystyle k}$

${\displaystyle C_{B}(i,t)={\frac {\sum _{i\not =j\not =k}{\nu _{i}(j,k)}}{\sum _{i\not =j\not =k}{\nu _{(}j,k)}}}}$

The time-varying nature of latency, specifically that it will become infinity for all node pairs as the time approaches the end of the network interval used, makes an alternative measure of closeness useful. Efficiency uses instead the reciprocal of the latency, so the efficiency approaches zero instead of diverging. Higher values for efficiency correspond to more central nodes in the network.

${\displaystyle C_{E}(i,t)={\frac {1}{N-1}}\sum _{j\not =i}{\frac {1}{\lambda _{i,t}(j)}}}$

Temporal patterns[]

Time-varying network allow for analysis of explicit time dependent properties of the network. It is possible to extract recurring and persistent patterns of contact from time-varying data in many ways. This is an area of ongoing research.

• Characteristic times of the system can be found by looking for distinct changes in a variable, such as the reachability ratio. For example, if one allows only a finite waiting time at all nodes in calculating latency, one can find interesting patterns in the resulting reachability ratio. For a mobile call network, the reachability ratio has been found to increase dramatically if one allows delays of at least two days, and for the airline network the same effect has been found at around 30 minutes.^[17] Moreover, the characteristic time scale of a temporal network is given by the mode of the distribution of shortest path durations. This distribution can be calculated using the reachability between all node pairs in the network.^[15]
• Persistent patterns are ones that reoccur frequently in the system. They can be discovered by averaging over different ${\displaystyle \Delta t}$ across the time interval of the system and looking for patterns that reoccur over a specified threshold.^[18]
• Motifs are specific temporal patterns that occur more often the expected in a system. The time-varying network of Facebook wall postings, for example, has higher frequency of chains, stars, and back and forth interactions that could be expected for a randomized network.^[19]
• Detecting missing links

Dynamics[]

Time-varying networks allow for the analysis of an entirely new dimension of dynamic processes on networks. In cases where the time scales of evolution of the network and the process are similar, the temporal structure of time-varying networks has a dramatic impact on the spread of the process over the network.

Burstiness[]

The time between two consecutive events, for an individual node or link, is called the inter-event time. The distribution of inter-event times of a growing number of important, real-world, time-varying networks have been found to be bursty, meaning inter-event times are very heterogeneous – they have a heavy-tailed distribution. This translates to a pattern of activation where activity comes in bursts separated by longer stretches of inactivity.^[20]

Burstiness of inter-event times can dramatically slow spreading processes on networks,^[21] which has implications for the spread of disease, information, ideas, and computer viruses. However, burstiness can also accelerate spreading processes, and other network properties also have an effect on spreading speed.^[22] Real-world time-varying networks may thus promote spreading processes despite having a bursty inter-event time distribution.^[23]

Burstiness as an empirical quantity can be calculated for any sequence of inter-event times, ${\displaystyle \tau }$, by comparing the sequence to one generated by a Poisson process. The ratio of the standard deviation, ${\displaystyle \sigma }$, to the mean, ${\displaystyle m}$, of a Poisson process is 1. This measure compares ${\displaystyle \sigma _{\tau }/m_{\tau }\ }$ to 1.

${\displaystyle B={\frac {\sigma _{\tau }/m_{\tau }\ -1}{\sigma _{\tau }/m_{\tau }\ +1}}}$

Burstiness varies from −1 to 1. B = 1 indicates a maximally bursty sequence, B = 0 indicates a Poisson distribution, and B = −1 indicates a periodic sequence.^[24]

See also[]

• Complex contagion
• Complex network
• Epidemic model
• Directed percolation
• Dynamic network analysis
• Exponential random graph models
• Link-centric preferential attachment
• Scale-free network
• Percolation theory

References[]