You are on page 1of 29

This is the accepted manuscript made available via CHORUS.

The article has been


published as:

Dynamic hidden-variable network models


Harrison Hartle, Fragkiskos Papadopoulos, and Dmitri Krioukov
Phys. Rev. E 103, 052307 — Published 13 May 2021
DOI: 10.1103/PhysRevE.103.052307
Dynamic Hidden-Variable Network Models

Harrison Hartle,1 Fragkiskos Papadopoulos,2 and Dmitri Krioukov1, 3


1
Network Science Institute, Northeastern University, Boston, MA, USA
2
Department of Electrical Engineering, Computer Engineering and Informatics,
Cyprus University of Technology, 3036 Limassol, Cyprus
3
Northeastern University, Departments of Physics, Mathematics,
and Electrical&Computer Engineering, Boston, MA, USA

Models of complex networks often incorporate node-intrinsic properties abstracted as hidden


variables. The probability of connections in the network is then a function of these variables. Real-
world networks evolve over time, and many exhibit dynamics of node characteristics as well as
of linking structure. Here we introduce and study natural temporal extensions of static hidden-
variable network models with stochastic dynamics of hidden variables and links. The dynamics is
controlled by two parameters: one that tunes the rate of change of hidden variables, and another that
tunes the rate at which node-pairs re-evaluate their connections given the current values of hidden
variables. Snapshots of networks in the dynamic models are equivalent to networks generated by
the static models only if the link re-evaluation rate is sufficiently larger than the rate of hidden-
variable dynamics, or, if an additional mechanism is added whereby links actively respond to changes
in hidden variables. Otherwise, links are out of equilibrium with respect to hidden-variables and
network snapshots exhibit structural deviations from the static models. We examine the level of
structural persistence in the considered models and quantify deviations from static-like behavior.
We explore temporal versions of popular static models with community structure, latent geometry,
and degree heterogeneity. While we do not attempt to directly model real networks, we comment
on interesting qualitative resemblances to real systems. In particular, we speculate that links in
some real networks are out-of-equilibrium with respect to hidden variables, partially explaining
the presence of long-ranged links in geometrically-embedded systems and inter-group connectivity
in modular systems. We also discuss possible extensions, generalizations, and applications of the
introduced class of dynamic network models.

I. INTRODUCTION As a result, the overall probability of sampling any par-


ticular graph G ∈ G is equal to
Networks are ubiquitous in nature [1–9], and their
Z
study relies heavily on the mathematical and compu- P(G) = P(G|H)ρ(H)dH. (1)
H
tational analysis of simple models [10, 11], typically in
the form of random networks built according to some Hidden-variables models, due to their capacity to en-
stochastic rules. In many models, nodes are assigned code nodewise heterogeneity, are in many cases capa-
characteristics (such as fitnesses [12, 13] or spatial co- ble of exhibiting more structural realism than models
ordinates in a physical [14] or latent space [15–17]), without hidden variables. For example, hidden vari-
which in turn affect the network’s structural forma- ables underly network models incorporating realistic fea-
tion. Such models fall under the umbrella of hidden- tures such as community structure (stochastic block mod-
variables models [18], because they depend on internal els [20]), latent geometry (random geometric graphs
node-characteristics that are only implicitly expressed by [21]), and degree-heterogeneity (soft configuration mod-
the network structure, through effects on link-formation. els [22]).
Usually, hidden variables (HVs) are not externally spec- However, such models do not capture the dynamics
ified as parameters – rather, their probability distribu- of node-characteristics, nor the impact thereof on net-
tion is specified [12, 19], and they are sampled during work structure. The influence of dynamic node-states on
the network’s formation. Two sources of randomness un- evolving link-structure has been investigated in the con-
derly such networks: the random HVs of nodes, and the text of adaptive networks [23–28], but in that case node-
random formation of edges given those HVs. In general, states arise due to a highly complex feedback, interacting
hidden-variables models are defined by the following pro- with one another through co-evolving links. Such mod-
cedure: els are more realistic and have interesting features, but
they do not directly explore the impact of dynamic node-
1. A random hidden-variable configuration H is properties on dynamic network structure.
drawn with probability density ρ(H) from a set of There is a wide abundance of real-world examples of
possible hidden-variable configurations H. dynamic node-properties influencing dynamics of net-
work structure, such as:
2. Graph G is then drawn with conditional probability a) changing habits, interests, jobs, and other at-
P(G|H) from a set of possible graphs G. tributes of people in social networks [29],
2

b) changing geospatial coordinates of organisms dur- real networks which arise as deviations from static-model
ing formation of social ties, group-memberships, behavior. We obtain analytical and numerical results
and pathogenic contact networks [30–34], for effective connection probabilities (the probability of
a node-pair being connected given their current hidden-
c) changing phenotypic traits of species as they bio- variable values), directly quantifying deviations from
logically evolve in ecological networks [35, 36], static-model behavior in each case.
d) changing marketing and administrative strategies The family of models we introduce is demonstrated
of entities in economic networks [37, 38], to have wide generality, as exemplified by temporal ex-
tensions of four different static models with hidden vari-
e) changing demographic and infrastructural charac- ables: stochastic block models [20], random geometric
teristics of cities in evolving highway and airport graphs [21], soft configuration models [22], and hyper-
networks [39–41], bolic graphs [15]. These examples relate to, and par-
tially encompass, several models of networks with dy-
f) changing gene-expression levels of neurons in devel- namic node-properties that have been previously studied
oping connectomes [42, 43], – for instance dynamic latent space models [74–77], dy-
g) changing consumption-levels of residential nodes in namic random geometric graphs [78, 79], and dynamic
evolving power grids [44, 45], stochastic block models [72, 73]. The framework we study
is also widely generalizable to other contexts.
h) changing displayed content of websites on the Our study takes a step towards realistic modeling of
evolving world-wide web [46, 47]. dynamic networks with dynamic node properties. It in-
troduces a family of temporal network models that ex-
These examples motivate the development of a simple
tends static hidden-variables models to the temporal set-
modeling framework describing the impact of dynamic
ting, providing theoretical insight into the kinds of struc-
node-characteristics on dynamic link-structure. Such a
ture that can emerge as a consequence of the influence of
framework would provide a temporal analogue of how
hidden-variable dynamics on network-structure dynam-
node-properties influence network structure in hidden-
ics. The framework can be used for studying real-world
variables models. In fact, it is standard practice to derive
temporal networks under the null hypothesis that physi-
temporal versions of static-network concepts [48–66], as
cal or latent dynamic hidden variables drive the dynam-
has been done for several models of static networks with
ics of network structure. Additionally, motivated by the
hidden variables such as stochastic block models [67–73].
phenomenology emerging in these models, we speculate
Motivated by these considerations, here we study tem-
that links in some real systems are out of equilibrium with
poral extensions of general static hidden-variables mod-
respect to hidden-variables, partially explaining the pres-
els, obtained by introducing dynamics of hidden variables
ence of long-ranged links in geometrically-embedded sys-
and of links. In these models each node has an evolv-
tems and inter-group connectivity in modular systems.
ing hidden variable, and each node-pair has a pairwise
In Section II, we describe the properties that we use to
affinity (equal to the connection probability in the static
characterize the models we introduce. We then introduce
hidden-variables model), which is a function of the hid-
the static and temporal hidden-variables model families
den variables of both nodes. Pairwise affinities evolve
in Section III, followed by various limiting regimes in Sec-
over time due to their dependence on a pair of evolving
tion IV. Section V provides several examples illustrating
hidden variables. The network itself evolves via node-
temporal hidden-variables models. We then consider a
pairs being selected to re-evaluate their connections, re-
variant of the family of models in Section VI, incorpo-
sampling them with connection probability equal to the
rating an additional dynamic mechanism that enforces
pair’s affinity at the moment of re-evaluation. These sys-
static-model connection probabilities. The final sections
tems are governed by just two parameters beyond those
are dedicated to descriptions of related work (Section
of any static model: a rate of hidden-variable dynamics
VII) and a discussion of our results and the implications
σ, and a rate of link-resampling ω.
thereof (Section VIII). Appendices provide the details of
We find that these models have snapshots that are sta-
several calculations and procedures left out of the main
tistically equivalent to networks generated from the static
text.
model if:
a) the link-resampling rate is sufficiently larger than
the rate of hidden-variable dynamics, or II. DESIRED PROPERTIES OF DYNAMIC
HIDDEN-VARIABLES MODELS
b) if we add an additional dynamic mechanism
whereby links actively respond to changes in hidden
variables. This section outlines the properties that we use to char-
acterize the family of dynamic hidden-variables models
We also identify the conditions under which model net- that we introduce. Our goal is to construct natural tem-
works evolve gradually, i.e., exhibit link-persistence, and poral versions of static networks with hidden variables,
evaluate qualitative resemblances of snapshots to some and to understand the consequences of having introduced
3

such dynamics. Our approach is via a Markov chain on III. MODELING FRAMEWORK
graphs and hidden-variable configurations, with sources
of randomness in the original static model being replaced This section provides an overview of our modeling ap-
by random processes in the temporal model. proach, and then defines static and temporal hidden-
Specifically, given a static hidden-variables model, i.e., variables models. We first describe our approach to con-
a probability density on hidden-variable configurations structing temporal extensions of static models, which
H ∈ H and a conditional probability distribution on produce length-T sequences of graphs G with a probabil-
graphs G ∈ G given H, the temporal extension yields ity conditioned on a length-T sequence of hidden-variable
a probability distribution/density on temporal sequences configurations H. The latter arises from Markovian dy-
of graphs and hidden-variable configurations, denoted namics [81, 82] governed
 by conditional probability den-
 T  T
G = G(t) t=1 ∈ G T and H = H (t) t=1 ∈ HT , re- sity PH H (t+1) H (t) . The initial configuration H (1)
spectively. We will evaluate the conditions under which is sampled
 from the static-model hidden-variable density
models within our framework satisfy the following prop- ρ H (1) . Markovian dynamics yields a temporally-joint
erties: probability density p(H) as a product:

 −1
 TY  
p(H) = ρ H (1) PH H (t+1) H (t) . (2)
a) Equilibrium Property: The marginal probability of t=1
a graph at any timestep is identical to its probabil-
ity in the static model; likewise for hidden variables. Given H, the graph sequence G is produced via a Markov
chain with transition probability having auxiliary H-
b) Persistence Property: The level of structural per- dependence, PG G(t+1) G(t) , H . Herein, we primarily
sistence over time – quantified by, e.g., any graph consider graph dynamics with H-dependence of the form
similarity measure between graphs at adjacent PG G(t+1) G(t) , H (t+1) , but also consider dynamics of

timesteps – is high relative to the null expectation the form PG G(t+1) G(t) , H (t+1) , H (t) in Section VI. In
(of two i.i.d. static-model samples). general, we could consider any choice of 0H-dependence –
as long as G(t) is not influenced by H (t ) for any t0 > t,
c) Qualitative Realism: The graph-structure, HV- since that would entail graph-structure at time t being
geometry (e.g., link-lengths), and/or dynamic be- dependent on HVs at future-times t0 > t. The ini-
haviors resemble observed characteristics of some tial graph G(1) is sampled fromthe static-model con-
real-world systems at a qualitative level. ditional probability P G(1) H (1) . The H-conditioned
temporally-joint graph probability distribution P (G|H)
is then given by:
If the Equilibrium Property is satisfied, the tempo-  −1
 TY  
ral network in question is a strict extension of the static P (G|H) = P G(1) H (1) PG G(t+1) G(t) , H .
model – individual snapshots are then indistinguishable t=1
from static-model realizations. If the Equilibrium Prop- (3)
erty is not satisfied, snapshots deviate from the static Altogether, the temporally-joint graph probability distri-
model, the resulting phenomenology of which we seek to bution is given by
understand. The Persistence Property holding implies Z
a gradually evolving network, without sudden structural P (G) = P (G|H)p(H)dH, (4)
transitions between networks at adjacent timesteps. The HT
Persistence Property can be quantified by application of
graph similarity measures [80] to graphs at neighboring which is the temporal extension of Equation (1).
timesteps. In most cases the level of structural persis- It is this strategy that underlies all temporal exten-
tence is tunable, making the level of satisfaction of the sions of static models that we consider. Static graphs
Persistence Property fall along a continuum. The high- without hyperparameters may also be included by disre-
est accessible persistence-values arise when the graph is garding H above, leaving only Equation (3), which be-
completely unchanging over time, whereas the lowest ac- comes a general Markov chain on graphs governed by
cessible persistence-values correspond to graphs that are PG G(t+1) G(t) . Note that G can be seen as a multi-
completely resampled each timestep. To have Qualita- plex network [83, 84] with layers representing timesteps.
tive Realism simply means that the system exhibits some
characteristics and behaviors that are analogous to real-
world systems – regardless of whether the detailed mech- A. Static Hidden-Variables Model
anisms are realistic or quantitatively accurate. In partic-
ular, we are interested in qualitative features relating to Here we describe the static hidden-variables model [18]
the dynamics of node-characteristics, and the effects of (SHVM), which generates graphs by a two-step proce-
such dynamics on a network’s structural evolution. dure. First, each node j (out of n total, labeled as
4

{1, ..., n} = [n]) is assigned a hidden variable hj ∈ We implement the latter option by transforming the den-
X , drawn independently with probability density ν(hj ) sity ν(h) on X to the uniform density on [0, 1]D , where
from set X . Thus the hidden-variable configuration is D is the dimension of X , using the inverse CDF trans-
H = {hj }nj=1 ∈ H = X n and the joint hidden-variable form. We then do a random walk in [0, 1]D , with step-
Qn
density is ρ(H) = j=1 ν(hj ). Second, node-pairs ij size proportional to σ, preserving the uniform distribu-
(1 ≤ i < j ≤ n) connect with pairwise probability tion. Transformed back to X , the random walk incre-
f (hi , hj ), independently from one another. The condi- ments preserve the distribution ν(h). The details are in
tional probability P(G|H) of a graph G is thus given by Appendix D.
In both walk-dynamics and jump-dynamics, parameter
Y Aij 1−Aij σ encodes the rate of change of hidden variables. Also
P(G|H) = (f (hi , hj )) (1 − f (hi , hj )) ,
in both cases, the transition probability density PH is
1≤i<j≤n (t)
(5) separable due to independence of {hj }nj=1 :
where {Aij }1≤i<j≤n are elements of the adjacency matrix   Yn  
(t+1) (t)
of graph G. For a fixed H, this is an edge-independent PH H (t+1) H (t) = Ph hj hj . (7)
random graph. But since H is random, P(G) is a prob- j=1
abilistic mixture of Equation 5 over possible hidden-
variable configurations H ∈ X n via Equation 1. The stationary density of the above dynamics is equal to
the static-model hidden-variable density ρ. The density
(t)
of H = {{hj }nj=1 }Tt=1 is also separable,
B. Temporal Hidden-Variables Model n  −1
 TY  
!
(1) (t+1) (t)
Y
p(H) = ν hj Ph hj hj . (8)
We now describe a temporal version of the SHVM j=1 t=1
(Section III A), namely the temporal hidden-variables The probability of a graph-sequence G given H is the
(t)
model (THVM). We denote by Aij the ij-th element temporal product (3) of the following transition proba-
of G(t) ’s adjacency matrix. The initial conditions bilities,
(1)
(G(1) , {hj }nj=1 ) are sampled from the SHVM. For t ∈   Y A
(t+1) (t+1)

{1, ..., T − 1}, the system updates according to: PG G(t+1) G(t) , H (t+1) = Yij ij (1−Yij )1−Aij ,
1≤i<j≤n
(9)
a) Hidden-variable dynamics: Each node j samples
(t+1) (t+1) (t) with Yij denoting the conditional linking probability,
hj from a conditional density Ph (hj |hj ),  
discussed below. (t+1) (t+1) (t)
Yij = ωf hi , hj + (1 − ω)Aij , (10)
b) Link-resampling: Each node-pair ij, with probabil- encoding the fact that link-resampling happens with
(t+1)
ity ω, resamples Aij with connection probability probability ω, and that otherwise the link (or non-link)
(t+1)
f (hi
(t+1)
, hj ). Otherwise, Aij
(t+1) (t)
= Aij . remains the same.
We will primarily quantify the structure of THVM
Simply put, each node’s hidden variable undergoes snapshots via the effective connection probability,
Markovian dynamics (governed by Ph ), and each node-
 
(t) (t) (t)
f¯(h, h0 ) = lim P Aij = 1 hi = h, hj = h0 , (11)
pair ij is re-evaluated for linking (with probability ω each t→∞
timestep) with connection probability equal to ij’s cur- which, if the Equilibrium Property is satisfied, is the
(t+1) (t+1)
rent affinity-value f (hi , hj ). We separately con- same as the affinity-function f (h, h0 ). If the affinity is
sider two types of hidden-variable dynamics Ph : a function of a composite variable such as the distance
between or the product of the pair of hidden variables,
a) Jump-dynamics: Each node j, with probability the effective connection probability is defined analogously
σ ∈ [0, 1], resamples its hidden-variable to obtain but for those composite quantities. We note here that
(t+1)
hj . The conditional density for jump-dynamics the average degree (number of link-ends per node) is in-
is thus dependent of the values of σ and ω in THVM snapshots
(see Appendix A).
Ph (h0 |h) = σν(h0 ) + (1 − σ)1h (h0 ), (6)

with 1h (h0 ) being the Dirac measure. IV. PARAMETER SPACE AND RESULTING
DYNAMICS OF TEMPORAL HIDDEN
b) Walk-dynamics: The hidden variable of every node VARIABLES MODELS
moves to a nearby point in X using Brownian-like
motion with the average step-length proportional In this section we consider several limiting cases in
to parameter σ ∈ [0, 1]. the space of dynamics-parameters (σ, ω) ∈ [0, 1]2 , and
5

Name Parameter Regime Equilibrium Property Tunable Persistence


Single Static Graph ω=σ=0 Yes No
i.i.d. Graph Sequence ω=σ=1 Yes No
Quasi-Static α2 (σ, ω) ≈ 1 (Equation 12) Yes* Yes
Complete link-resampling ω = 1, σ ∈ (0, 1) Yes Depends on f **
Deterministic HV-to-graph ω = 1, f : X 2 → {0, 1} Yes Depends on f **
Complete HV-resampling σ = 1, ω ∈ (0, 1) No Yes ***
Fixed Hidden Variables σ=0 Yes Yes
Erdős-Rényi-like σ/ω  1 No No
Fixed graph structure ω=0 Yes**** No****

TABLE I. Table of limiting cases of dynamics-parameters (σ, ω) for THVMs. The first and second columns provide a
short-hand name and the associated parameter regime. The third column states whether the Equilibrium Property is satisfied,
whereas the fourth column states whether the Persistence Property is satisfied (in a way that is tunable at any desired level,
which for instance leaves out the case σ = ω = 0).
*In the quasi-static regime, G(t) will have arisen from an HV-configuration closely resembling H (t) , due to a timescale-separation. This
implies approximate, rather than exact, satisfaction of the Equilibrium Property.
** When ω = 1 although the persistence property is in general lost due to each possible edge being resampled at every timestep, there is still
some persistence present, tuned by σ and dependent upon the affinity function f .
*** When σ = 1 the persistence property is tunably satisfied at the level of graph-structure, but not at all at the level of hidden variables,
which are completely resampled every timestep.
**** In the case of ω = 0, the initial graph remains fixed for all time, while HVs change. Since the initial condition is sampled from the static
model, this regime technically satisfies the Equilibrium Property. It does so both at the level of graphs and at the level of hidden variables, but
not at all at the joint level. Persistence is not tunable at the level of graphs, but is at the level of hidden variables.

some special-case categories of affinity function f . The tity α2 (σ, ω) is a naturally-arising function characterizing
resulting regimes exhibit a variety of qualitatively dis- how effective connection probabilities differ from their
tinct behaviors. If σ = ω = 0, a single graph is sampled static-model counterparts (see Appendix A). The Equi-
from the static model, and all of its hidden variables and librium Property is satisfied due to sufficient timescale
links are held fixed for all t. To the opposite extreme, separation: link-resampling happens quickly enough rel-
if σ = ω = 1, at each timestep, every node’s hidden ative to hidden-variable motion for G(t) to remain caught
variable is fully randomized, and then all possible links up with H (t) . The dynamics can thus be considered
are re-evaluated, resulting in a sequence of independent quasi-static, in the sense of quasi-static transformations
and identically distributed (i.i.d.) instances of the static in classical equilibrium thermodynamics [85]. Over time,
model. In either case, the Equilibrium Property is satis- the HV-configuration and link-structure both fully ex-
fied – but the Persistence Property is not for σ = ω = 1 plore their respective spaces, functioning as a tempo-
(there is no persistence), whereas for σ = ω = 0 there is ral network whose stationary distribution is the static
complete persistence. hidden-variables model defined in Section III A. Note
In Sections IV A, IV B, IV D, and IV C, several other that the Equilibrium Property is only approximately sat-
parameter regimes are analyzed. We discuss the behavior isfied if α2 (σ, ω) < 1, that approximation becoming
of temporal networks in each case, how well they qual- exact only in limit of extreme timescale-separation or
ify in terms of the Equilibrium and Persistence Proper- α2 (σ, ω) = 1. Two regimes at the boundary of the
ties, and their relations to preexisting commonly studied quasi-static regime have exact satisfaction of the Equi-
static network ensembles. Table I shows the different librium Property: ω = 1 (Section IV B) and σ = 0 (Sec-
special cases, while a schematic picture of the space of tion IV C). Adding a third mechanism of dynamics allows
dynamics-parameters is shown in Figure 1. for exact satisfaction of the Equilibrium Property at all
(σ, ω) ∈ [0, 1]2 (see Section VI).

A. Quasi-Static Regime (α2 (σ, ω) ≈ 1)


B. Complete link-resampling (ω = 1)
Here we consider the parameter regime quantified by
the condition α2 (σ, ω) ≈ 1 (upper-left region of Figure Here we consider the case ω = 1 (top region of Figure
1), where 1). This case resembles that of the quasi-static regime,
ω but all links form based on current hidden-variable
α2 (σ, ω) = ∈ [0, 1], (12) configurations, so there is no graph-encoded memory:
1 − (1 − ω)(1 − σ)2 
PG G(t+1) G(t) , H = P G(t+1) H (t+1) . The result-
in which networks have both random link-structure and ing Markov chain on H × G thus satisfies the Equilib-
random hidden variables, and exhibit both the Persis- rium Property exactly, as opposed to approximately in
tence Property and the Equilibrium Property. The quan- the quasi-static regime (Subsection IV A). Link-structure
6

cases is given by a product of indicator functions:

ω=1
Y
Network structure fully resampled P(G|H) = 1 {Aij = f (hi , hj )} , (13)
1≤i<j≤n
Quasi- i.i.d.
static sequence
regime equal to 1 if and only if f (hi , hj ) = Aij for all ij, and
equal to zero otherwise. Since the HV-dynamics PH con-

ω
Hidden
serves ρ, and since ω = 1 ensures that all node-pairs
Hidden
variables Non-equilibrium variables have up-to-date links with respect to hidden variables,
regime fully this model satisfies the Equilibrium Property exactly.
fixed
resampled
The rate of HV-dynamics, and thus of link-dynamics,
is controlled by σ (but also influenced by the form of
Fixed f ). This regime encompasses sharp random geometric
graph &
HVs Erdős-Rényi-like graphs (RGGs) of any kind [21]; see Section V B for tem-
ω=0
poral RGGs with ω ∈ [0, 1].
Network structure fixed

σ=0
σ σ=1
C. Fixed Hidden Variables (σ = 0)

FIG. 1. Two-parameter space of possible dynam- Here we consider σ = 0 (left region of Figure 1),
ics. The two parameters (σ, ω) ∈ [0, 1]2 tune the rate of
in which case all HVs are frozen in place, ensuring
change of hidden variables and rate of resampling of links,
respectively. In general, with dynamic hidden variables, link- satisfaction of the Equilibrium Property. The ini-
structure is out-of-equilibrium relative to the configuration tial HV-configuration H (1) has the SHVM density ρ,
of hidden variables at any particular timestep, violating the but conditioning on some particular initial configura-
Equilibrium Property. In the quasi-static regime (upper left) tion H (1) yields fixed pairwise connection probabilities
and along the upper and leftward boundary regions (ω = 1 pij = f (hi , hj ), resulting in temporal versions of edge-
and σ = 0, respectively) the Equilibrium Property is re- independent static networks [88–90]. Analytical expres-
covered. In the lower-right regime, HVs are so randomized sions for link-dynamics can be written straightforwardly
that network snapshots resemble Erdős-Rényi graphs. At in terms of the set of values {pij }1≤i<j≤n and the pa-
σ = 1 (right-hand boundary), all hidden variables are re- 
rameter ω. The transition probability PG G(t+1) G(t)
sampled at every timestep, but only a fraction ω of links re-
sampled. If ω = 0 (lower boundary), the network structure
is
remains fixed for all time, regardless of the hidden-variable
(t) (t+1)
dynamics. The dashed curves distinguish, qualitatively, three
Y A →Aij
PG (G(t+1) |G(t) ) = pijij , (14)
regimes: the quasi-static regime lies above the upper dashed
1≤i<j≤n
curve, the Erdős-Rényi-like regime lies below the lower dashed
curve, and the general non-equilibrium regime lies in between.
The shapes of the dashed curves come from contours of the where p0→0 0→1 1→0
ij , pij , pij , and pij
1→1
are respectively the
function α2 (σ, ω): the upper curve approximately designates non-link persistence, link-formation, link-removal, and
α2 (σ, ω) = 0.85, whereas the lower curve approximately desig- link-persistence probabilities for node-pair ij. That is,
nates α2 (σ, ω) = 0.15 (see Section IV A and Figure 3). Both α→β (t+1) (t)
curves emanate from (0, 0) and reach the σ = 1 boundary pij = P(Aij = β|Aij = α), given by:
at the values of α2 (1, ω) = ω ≈ 0.85 (upper curve) and
α2 (1, ω) = ω ≈ 0.15 (lower curve), see Equation 12.
pα→β
ij =(1 − ωpij )(1−α)(1−β) (ωpij )(1−α)β
(15)
× (ω(1 − pij ))α(1−β) (1 − ω(1 − pij ))αβ .
when ω = 1 is more correlated over time than two
i.i.d. samples from the SHVM (due to persistence in Many static network models have independent edges
HV-configurations), but the specific level of persistence with pre-defined connection probabilities, and thus can
depends on the form of the affinity function f (h, h0 ) and be made temporal as THVMs with σ = 0. Examples in-
on σ. A variety of temporal network models have fully- clude the Erdős-Rényi (ER) model [91] the (soft) stochas-
resampled edges at each timestep [72, 86, 87]. tic block model (SBM) [92], and inhomogeneous random
As subset of the ω = 1 regime, consider THVMs with graphs [88] with fixed coordinates.
binary affinity function f : X 2 → {0, 1}. In this case The Persistence Property can be quantified by any of
all randomness comes from hidden variables, because f the numerous measures of graph dissimilarity [80], by
deterministically maps HV-configurations to graphs. The application to graph-pairs at neighboring timesteps. A
static model’s conditional probability distribution in such simple example in the σ = 0 setting is the expected Ham-
7

ming dissimilarity [93], whatever the initially sampled graph was, but with dy-
  namic hidden variables (for any σ > 0).
(t) (t+1)
X
P Aij 6= Aij
1≤i<j≤n
X V. TEMPORAL EXTENSIONS OF POPULAR
p1→0 0→1

= ij pij + pij (1 − pij ) (16) STATIC NETWORK MODELS
1≤i<j≤n
X
= 2ω pij (1 − pij ), This section contains several examples of THVMs. In
1≤i<j≤n each subsection, we describe a static hidden-variables
model, its temporal extension according to the model-
which simplifies substantially in some cases, for instance ing framework of Section III B, the effective connection
the ER model (pij = p for all ij), leaving 2ωp(1 − p) n2 .

probability that arises due to the dynamics, and offer
The parameter ω directly tunes the level of persistence, some additional discussion. We specifically consider tem-
with ω = 0 yielding the highest persistence (an unchang- poral extensions of the following static network models:
ing graph) and ω = 1 yielding the lowest persistence (a stochastic block models [20], random geometric graphs
fully resampled graph). [21], hypersoft configuration models [22], and hyperbolic
Edge-resampling dynamics with fixed pij -values closely graphs [15].
resembles dynamic percolation [94], which has been inves-
tigated in lattices [95], trees [96] and ER graphs [97, 98],
and also relates to edge-Markovian networks [99–101].
A. Temporal Stochastic Block Models

D. Complete resampling of hidden variables (σ = 1) This subsection considers temporal extensions of


stochastic block models (SBMs), which are used to model
Here we consider the case for which all hidden variables community structure in networks [20, 92, 102, 103].
are resampled at every timestep (σ = 1), so that no HV-
driven structural persistence exists (right region of Fig-
ure 1). Note that walk-dynamics is parameterized by σ so 1. Static Hyperparametric SBMs
that σ = 1 implies complete HV-randomization. If σ = 1,
correlations among links (and non-links) do still exist due We consider a static network with conditionally
to simultaneous resampling; the set of node-pairs selected Bernoulli-distributed edges amongst n nodes j ∈ [n], each
for link-resampling at timestep t form links based upon node having been randomly assigned to one of m groups
the same underlying hidden-variable configuration H (t) . (a.k.a. communities, blocks, colors). Each node j in-
In this setting, ω quantifies the level of agreement among dependently draws a group-index qj ∈ [m] = {1, ..., m}
node-pairs as to what the HV-configuration is. For in- from probability distribution % = {%q }q∈[m] . Each node-
stance in spatial network models, if σ = 1, then ω directly pair then connects with probability fqi ,qj . In this defini-
controls the level of geometry-induced correlations. tion, the group-memberships {qj }j∈[n] are not externally
Given the HV-configuration at time t and averaging specified as model parameters – rather, their distribution
over all past timesteps, node-pair ij is connected with % is specified. Thus, the group-memberships are hyperpa-
probability rameters, and we refer to these static networks as hyper-
    parameteric SBMs or hyper-SBMs (equivalent to inho-
(t) (t) (t) (t) (t)
P Aij = 1 hi , hj = ωf hi , hj + (1 − ω)hf i, mogeneous random graphs with hidden color [105, 106]).
(17) The expected number of nodes nq in a given block q is
where hf i = X 2 ν(h)ν(h0 )f (h, h0 )dhdh0 is the expected
R hnq i = n%q , and the joint distribution of {nq }q∈[m] is
affinity of a pair of nodes with randomized HVs. The multinomial. Note that this model could be formulated
expression 17 is an example of an effective connection with continuous HVs as per Section III A, but we instead
probability which deviates from the static-model affin- use discrete HVs for simplicity (see Appendix H for the
ity function. A more general formula for the effective continuous-to-discrete mapping). As an illustrative ex-
connection probability in the case of jump-dynamics and ample to be used throughout this section, we consider
arbitrary f (h, h0 ), σ, and ω is derived in Appendix A, the case of m = 2 groups, with %1 = 1 − %2 = u. The
and some special cases are described in the examples in within-group affinity is p = f1,1 = f2,2 , and the between-
Sections V A,V B,V C,V D. As ω → 0 with σ = 1 (and group affinity is zero (f1,2 = 0).
in general for σ/ω  1), the model approaches a tempo-
ral version of the ER model, since each node-pair at the
time of link-resampling will have completely randomized 2. Temporal hyper-SBMs
hidden variables; each edge will then independently exist
with probability hf i if 0 < ω  1. If ω = 0 we have fixed To make the hyper-SBM dynamic, at each timestep
graph structure, i.e. a network that simply remains as t ∈ {2, ..., T } each node i with probability σ resamples its
8

1.0
0.125

0.8 0.100

0.6 0.075

0.4 0.050

0.2 0.025

0.0 0
0.0 0.2 0.4 0.6 0.8 1.0

FIG. 2. Snapshots of a temporal stochastic block model: a modular network with dynamic group-assignments
and link-resampling. The n = 100 nodes are partitioned into two groups with group-membership probabilities %1 = 0.4 =
1−%2 , and group-memberships change in time by group-resampling with probability σ. The affinity function is fq,q0 = p1{q = q 0 }
with p = 0.25, disallowing inter-group connections in the static model. Network snapshots are displayed via a spring-force layout
algorithm [104], for various parameters (σ, ω) such that networks span a variety of structural outcomes. Node-coloration is
by group-membership, and link-coloration is black for within-group links and green for between-group links. In the central
panel, the effective connection probability f¯1,2 between communities is plotted. Outside of the quasi-static regime, group-
membership dynamics is fast enough for a substantial number of inter-group links to exist (f¯1,2 > 0), despite the inter-group
connection formation probability being f1,2 = 0.

(t)
group-index qi from distribution %, and then each node- 3. Effective connection probabilities in hyper-SBMs
(t)
pair ij with probability ω resamples Aij with connection
probability fq(t) ,q(t) . Thus,
i j
The block-dynamics of nodes in temporal hyper-SBMs
  introduces several novel features to the system. First,
(t) (t−1)
P qi = q 0 qi = q = (1−σ)1{q = q 0 }+σ%q0 , (18) pairwise affinities change over time. Second, the set of
all existing links at time t need not have arisen from
the group-assignments of time t. Temporal snapshots in
and general thus deviate from the static model – the Equi-
librium Property does not necessarily hold. However,

(t) (t−1) (t) (t)

(t−1) even if snapshots do not resemble the static model, they
P Aij = 1 Aij , qi , qj = (1−ω)Aij +ωfq(t) ,q(t) . do resemble a static model – an effective SBM. Consider
i j
(19) two nodes, with current group-indices q, q 0 . Averaging
See Figure 2 for visualized embeddings of network snap- over all past values of hidden variables, we obtain the
shots from the stationary distribution of the example effective connection probability f¯q,q0 for dynamic hyper-
m = 2, %1 = u = 1 − %2 , fq,q0 = p1{q = q 0 }. SBMs. Since the SBM case is directly obtainable from
9

discretization of the continuous model (see Appendix H) primarily carry ties to their original group – and thus
we can use a discrete version of the general formula de- upon changing group-membership, they suddenly have
rived in Appendix A, namely: many inter-group links – not because of inter-group link-
formation, but because of dynamic group-membership.
f¯q,q0 = α2 fq,q0 Likewise, within-group connectivity can be lower than
+ (α1 − α2 ) (hfq,· i + hfq0 ,· i) (20) in the static model, as is the case in real systems due
+ (1 − 2α1 + α2 )hf i, to nodes having recently arrived from another group, or
from neighbor-nodes having recently departed. These ef-
where coefficients αb (σ, ω) for b ∈ {1, 2} are given by fects arise outside the quasi-static regime, so we speculate
that in some cases the non-equilibrium regime can bet-
ω ter emulate real-world systems. We also note that we
αb = , (21)
1 − (1 − ω)(1 − σ)b here considered group-resampling HV-dynamics (a dis-
crete version of jump-dynamics), but we could also con-
and marginally-averaged affinities are sider a general Markov chain on group-assignments with
X stationary distribution %.
hfq,· i = %q0 fq,q0 ,
q0
X X (22)
hf i = %q hfq,· i = %q %q0 fq,q0 . B. Temporal Random Geometric Graphs
q q,q 0
In this section we describe THVMs arising from static
Note that when σ = 1 we have α1 (1, ω) = α2 (1, ω) = ω random geometric graphs (RGGs), which model the influ-
and Equation 20 reduces to the form of Equation 17. In ence of an underlying geometry on graph-structure [21].
the simple example case (m = 2, %1 = u, fq,q0 = p1{q =
q 0 }), terms in f¯q,q0 are evaluated as:
1. Static Random Geometric Graphs
hf1,· i = up,
hf2,· i = (1 − u)p, (23) In random geometric graphs (RGGs), nodes are as-
2
hf i = p(u + (1 − u) ), 2 signed spatial coordinates as hidden variables, and node-
pairs are linked if their coordinates are closer than
from which the formula for f¯q,q0 becomes some threshold distance r. Hence the affinity is binary,
f (hi , hj ) = 1{dX (hi , hj ) ≤ r}, with dX : X 2 → [0, ∞)
f¯q,q0 = α2 p1{q = q 0 } denoting the geodesic distance in latent space X . Ex-
 amples of well-studied RGGs include Euclidean RGGs

 2up, q = q0 = 1 with periodic or nonperiodic boundary conditions [21],
+ (α1 − α2 ) 2(1 − u)p, q = q 0 = 2 (24) spherical RGGs [107], and hyperbolic RGGs (the hyper-
6 q0

 p q= bolic model with inverse-temperature parameter β = ∞
[15]). As a primary example we consider a simple one-
+ (1 − 2α1 + α2 )p(u2 + (1 − u)2 ).
dimensional RGG with periodic boundary conditions:
In particular, the between-group effective connection X = [0, 1) and dX (hi , hj ) = 1/2 − |1/2 − |hi − hj ||.
probability becomes

f¯1,2 = p α1 − α2 + (1 − 2α1 + α2 )(u2 + (1 − u)2 ) , 2. Temporal RGGs



(25)
which is visualized in Figure 2. In the extreme case To go from static RGGs to temporal RGGs, we incor-
of σ/ω  1 all links form between nodes with ef- porate coordinate-dynamics and link-resampling dynam-
fectively random group-assignments, making all pairs ics. We consider here jump-dynamics, each node resam-
equally likely to connect, and reducing the system to a pling its coordinate according to the static-model density
temporal Erdős-Rényi network of connection probability ν, with probability σ, each timestep t ∈ {2, ..., T } (the co-
p(u2 + (1 − u)2 ). ordinate density follows Equation 6, with ν(h) = 1 for the
uniform density on the unit interval). Link-resampling
happens independently for each node-pair with proba-
4. Temporal hyper-SBMs discussion bility ω each timestep. Since RGGs have deterministic
connectivity, link-resampling of ij at time t guarantees
(t) (t) (t) (t)
Interesting examples of Qualitative Realism arise in that Aij = 1 if dX (hi , hj ) ≤ r and Aij = 0 otherwise.
temporal hyper-SBMs. For instance, group-dynamics of But if ij’s connectivity is not resampled at time t, links
nodes yields inter-group connectivity, as is observed in may fall out-of-equilibrium with respect to coordinates.
real systems. If someone joins a different club, switches Note that we could also study temporal RGGs with walk-
political party, or emigrates to a new country, they at first dynamics, with either periodic or reflecting boundary
10

1.0 1.00

0.8
0.75

0.6
0.50

0.4

0.25
0.2

0.0 0
0.0 0.2 0.4 0.6 0.8 1.0

FIG. 3. Snapshots of a temporal random geometric graphs: a geometrically-embedded network with dynamic
node-coordinates and link-resampling. Coordinates of n = 100 nodes are sprinkled uniformly into a 1D ring of unit
circumference, and change in time via jump-dynamics (coordinate-resampling with probability σ). The affinity as a function
of distance is f (x) = 1{x ≤ r}, where r = 0.1 is the connection radius, disallowing long-ranged links in the static model.
Snapshots are shown at various values of (σ, ω), with the displayed embedding having angular positions equal to 2π times
spatial coordinates, and radial positions set equal to 1 plus some added random noise to aid with visualization of network
connectivity amongst closeby node-pairs. Link coloration is according to length: black links are of distances x ≤ r whereas
green links are of distances x > r. In the central panel, the function α2 (σ, ω) ∈ [0, 1] is visualized, which encodes the level of
locality in temporal RGGs (see Equation 26).

conditions; for simplicity, we study jump-dynamics here, Appendix B, and the result is provided here:
leaving temporal RGGs with walk-dynamics for a future
study. f¯(x) = α2 1{x ≤ r} + 2r(1 − α2 ). (26)
The quantity α2 = α2 (σ, ω), defined in Equation 21, di-
rectly governs the level of locality in temporal RGGs.
See Figure 3 for a visualization of the function α2 (σ, ω)
3. Effective connection probabilities in temporal RGGs
and of network snapshots across a range of (σ, ω)-values.
The effective connection probability f¯(x) has a step-like
form, with connection probability α2 + 2r(1 − α2 ) for all
We now describe the effective connection probability x ≤ r and 2r(1 − α2 ) for all x > r. The above effective
f¯(x) for RGGs between pairs of nodes for arbitrary (σ, ω). connection probability agrees perfectly with the results
The expression for f¯(x) in temporal RGGs is derived in of numerical simulations, see Figure 4.
11

1.00
10

0.75
8

0.50
6

0.25
4

0.00
0.1 0.2 0.3 0.4 0.5 300 400 500 600 700 800 900

FIG. 4. The effective connection probability, in the- FIG. 5. Expected degree over time of a node in a
ory and simulation, for 1D RGGs at various values temporal hypersoft configuration model with jump-
of the dynamics-parameters (σ, ω). The static model dynamics of hidden variables. Each node’s expected de-
affinity-function f (x) is plotted with square markers. The gree (blue dotted curve) equilibrates towards its current
solid lines are numerical estimates of the effective connec- static-model expected degree (green solid curve), as per
tion probability f¯(x) (with ω increasing as colors change Equation 29. In any realization, the actual degree over time
from blue to yellow), whereas the dotted lines are the fluctuates (purple curve), but its ensemble-average (orange
theoretical effective connection probability (Equation 26). solid curve) behaves as predicted. The average was ob-
tained by simulating 1000 realizations with (n, hki, γ, ω, σ) =
(t)
(200, 8, 2.8, 0.04, 0.01), keeping the HV-trajectory {hj }Tt=1 of
a single node j fixed across trials.
4. Temporal RGGs discussion

The naturally arising function α2 (σ, ω) ∈ [0, 1] de- ative to f (x) occur in THVMs arising from soft random
scribes the level of locality in network snapshots (see Fig- geometric graphs [110–113], for example the H2 model
ure 3), and quantifies the Equilibrium Property. It inter- (see Section V D).
polates between the case of RGGs (α2 (σ, ω) = 1) and ER
graphs (α2 (σ, ω) = 0), resembling the structural transi-
tion of the Watts-Strogatz model [108]. In this case, all C. Temporal Hypersoft Configuration Model
links form locally, and it is dynamics of node positions
that induces the transition (alongside formation of lo-
In this section we consider a dynamic version of hy-
cal links at nodes’ new locations); a similar phenomenon
persoft configuration models (HSCMs), which model net-
has been observed in contagion-dynamics among mobile
works with degree-heterogeneity [22].
agents [109]. Also note, in dynamic RGGs, links can
exist that were not possible in the static model model:
links of length greater than r, since the effective connec-
tion probability f¯(x) no longer goes completely to zero 1. Static Hypersoft Configuration Model
for x > r (see Equation 26). This is related to phe-
nomena observed in real-world networks: pairs of people The static model we now consider is the hypersoft con-
may form friendships locally, but maintain those friend- figuration model [22, 114] (HSCM), a hyperparametric
ships after becoming geographically separated, resulting version of a soft configuration model (SCM). SCMs come
in the existence of long-ranged social ties that would not in several varieties such as the Chung-Lu model [115], in-
likely have formed at that distance. Likewise, the func- homogeneous random graphs [88], and the Norros-Reittu
tion f¯(x) is also less than one for distances x ≤ r, allow- model [116]. Node-pairs connect with Aij -values being
ing for non-links that would be impossible in the static independent (typically Bernoulli or Poisson distributed),
model. That phenomenon also appears in real-world sys- such that on average, each node has a particular degree-
tems: instead of individuals knowing everyone in their value. In hyperparametric SCMs, that degree-value is
local vicinity, non-links between closeby pairs may exist, randomly assigned, according to some specified distri-
due to them having only recently become proximate. As bution of expected degrees. For example, one way to
with the case of temporal hyper-SBMs, these examples of obtain SCMs with a degree distribution that is Pareto-
Qualitative Realism are in conflict with the Equilibrium mixed Poisson (with, say, power-law tail-exponent γ and
Property. Note also that similar deviations of f¯(x) rel- expected degree hki), is for nodes j ∈ [n] to be assigned
12

hidden variables hj ∈ [h− , ∞) drawn from a Pareto den- where α1 (σ, ω) = ω /(1 − (1 − ω)(1 − σ)) . In this
sity ν(h) = (γ − 1)hγ−1− h
−γ
, with minimal HV-value case α1 measures the level of equilibration of node-
h− = (γ − 2)hki/(γ − 1), and then for node-pairs to be neighborhoods to their expected sizes. Having α1 ≈ 1
connected with probability indicates the quasi-static regime whereas α1 ≈ 0 indi-
cates an averaged-out behavior so that the expected de-
1 hi hj gree of any given node is simply the expected average
f (hi , hj ) = ≈ , (27)
1 + nhki/hi hj nhki degree hki of the network.
the approximation holding when hi hj /nhki  1. The
expected degree of a node i in the static model is
3. Effective connection probabilities in temporal HSCMs
Z ∞
hki |hi i = (n − 1) f (hi , h)ν(h)dh ≈ hi . (28)
h− We now discuss effective connection probabilities in
HSCMs. The formula derived in Appendix A applies,
The actual degrees of nodes are sharply peaked around but note that the affinity f (h, h0 ) (Equation 27) is a func-
their expected degrees, and thus the above implies that tion only of the product ψ = hh0 . Thus we can examine
the degree distribution itself likewise has a power-law tail the effective connection probability as a function of ψ,
with exponent γ and mean hki. denoted f¯(ψ). In order to calculate f¯(ψ) we first must
compute the probability density of a product of hidden
variables in past timesteps, given the value of the prod-
2. Temporal HSCMs
uct at the current timestep. We then sum the expected
affinity given the product, weighted by ps = ω(1 − ω)s ,
Now we consider a temporal version of HSCMs. At over all past timesteps s > 0. These calculations require
each timestep, each node j, with probability σ, resamples a variety of intermediate steps, and are described in Ap-
(t)
its hidden variable hj from the static-model HV-density pendix C.
ν (jump-dynamics). Then, each node-pair ij (1 ≤ i <
(t)
j ≤ n), with probability ω, has its indicator-variable Aij
(t) (t) 4. Temporal HSCMs discussion
resampled from a Bernoulli of mean f (hi , hj ).
In the static model, the HV-value hj alone determines
Note that in HSCMs, non-equilibrium dynamics re-
the expected degree hkj |hj i. But in the temporal version,
(t) duces degree-heterogeneity; nodes with large HV-values
the quantity hi is time-evolving, and the expected de- only transiently retain them. Equilibration, on the other
gree dynamically trails behind the static-model expected hand, allows for a full structural expression of the nodes’
degree, equilibrating at a geometric pace (See Figure 5): internal heterogeneity. This implies that extremely het-
 n o  erogeneous real-world networks, if described by these
(t) (t−s)
E ki hi models, would typically be in the quasi-static regime.
s≥0
Z ∞   We only considered jump-dynamics here (resampling of
(t−s) static-model expected degree-values), but we could al-
X
= (n − 1)ω (1 − ω)s f hi , h ν(h)dh (29)
s≥0 h− ternatively study walk-dynamics, where nodes’ HVs un-
D E dergo Brownian-like motion in a way that preserves ν.
(t−s)
X
=ω (1 − ω)s ki hi . This could be achieved straightforwardly as described in
s≥0 D, alongside reflecting boundaries as studied in Appendix
E.
We can also average the above over all hidden-variable
values at timesteps earlier than t, to obtain an effective
(t)
expected degree that depends only on hj . To do this, D. Temporal Hyperbolic Graphs
(t−s) (t)
we use the probability density of hj given hj under
jump-dynamics: In this section we consider a temporal extension of

(t)
 the hyperbolic model [15] (the H2 model, for short), a
Ps x hj = (1 − σ)s 1h(t) (x) + (1 − (1 − σ)s ) ν(x), geometry-based network model simultaneously exhibit-
j
(30) ing sparsity, clustering, small-worldness [117, 118], degree
Averaging Equation 29 over HVs at all timesteps t − s heterogeneity, community structure [119], and renormal-
for s > 0, izability [120].
h i Z ∞  
(t) (t) (t)
X
s
E ki hi =ω (1 − ω) Ps x hi hki |xidx
s≥0 h− 1. Static H2 model
D E
(t)
= α1 ki hi + (1 − α1 )hki, The H2 model is parameterized by a number of nodes
(31) n, average degree hki, power-law exponent γ, and inverse-
13
A) B) C)

D) E) F)

FIG. 6. Hidden-variable dynamics of nodes in a temporal H2 model, at increasing values of σ, with fixed
ω = 0.1. In each subplot, node-coordinates for 100 random nodes are shown at two adjacent timesteps, from a network
with parameters (n, γ, β, R) = (500, 2.2, 5, 8). Each arrow points from the coordinate-location of a node at a given timestep
(grey) to the coordinate-location of the same node at the next timestep (black). Subplots (A,B,C) depict jump-dynamics
(coordinate-resampling with probability σ, otherwise remaining in place), whereas subplots (D,E,F) depict walk-dynamics
(all nodes move to neighboring locations, with mean step-length parameterized by σ). Marker sizes are proportional to node
degree-values. For small σ/ω (subplots A and D), nodes’ existing connections have arisen from approximately the present
coordinates, making snapshots closely resemble the static hyperbolic model, as seen e.g. by the exhibited degree-heterogeneity.
For larger σ/ω (subplots B and E), connections have arisen via mixtures of past and present coordinates, reducing degree-
heterogeneity. For very large σ/ω (subplots C and F), the system behaves similarly to a temporal Erdős-Rényi network.

temperature β (which tunes the level of clustering). Hid- with θij = π − |π − |θi − θj ||. The connection probabil-
den variables are polar coordinates, hj = (θj , rj ), namely ity and coordinate-density in this model result in power-
a radial coordinate rj ∈ [0, R] encoding the popularity law degree distributions (but could also give rise to other
of node j and an angular coordinate θj ∈ [0, 2π), en- degree distributions if the radial coordinate-density was
coding the similarity of node j to other nodes. These different), a similar feature to that exhibited by HSCMs
coordinates are sampled according to separable density – but also, the geometry arising from inclusion of the an-
ν(θ, r) = νang (θ)νrad (r) where angles are distributed uni- gular coordinate yields a large clustering coefficient and
formly (νang (θ) = 1/2π) and radii have an exponentially spatially localized link-structure, making this model also
growing density, similar to standard RGGs. Increasing the parameter β
yields more localized link-structure, approaching a step
γ−1

γ − 1 sinh 2 r function as β → ∞, leaving in that case an RGG (see
νrad (r) = , (32)
2 cosh γ−1 Section V B 1) on the hyperbolic disk. As β → 0, typi-

2 R −1
cal link-lengths approach the system size and the model
where R = R(n, hki, β, γ) is selected so that the mean behaves similarly to the HSCM (see Section V C 1).
degree is hki. The static-model affinity of node-pair ij is
a Fermi-Dirac function [121] (a sigmoid) of the hyperbolic
geodesic distance xij between i and j, 2. Temporal H2 model
. 
f (hi , hj ) = f (xij ) = 1 1 + e(β/2)(xij −R) , (33) To temporally extend the H2 model, we allow coor-
dinate dynamics so that each node j exhibits a trajec-
(t) (t) (t)
where xij = xij (hi , hj ) is given by tory in the hyperbolic disk, hj = (θj , rj ) for t ∈ [T ].
For jump-dynamics, each node jumps to a random lo-
cosh(xij ) = cosh(ri ) cosh(rj ) cation according to density ν(θ, r), with probability σ
(34)
− sinh(ri ) sinh(rj ) cos(θij ), each timestep. For walk-dynamics, each node j steps
14

jump-dynamics) or move to a nearly-randomized loca-


tion (in walk-dynamics). We note that many other natu-
ral and interesting choices for HV-dynamics exist, as we
A) 10
0 discuss in Section VIII and Appendix F.

10
-1 3. Effective connection probabilities in the temporal H2
model

-2
10 In the temporal H2 model considered here, the effec-
tive connection probability f¯(x) no longer remains in
the standard Fermi-Dirac form of f (x) (see Figure 7).
-3
10 With decreasing ω/σ, the connection probability func-
tion smooths out and extends to a longer range due to
3 6 9 12 15
links being stretched more rapidly (for walk-dynamics),
or more frequently (for jump-dynamics). This effect is
more uniform and extends all the way out to long ranges
for jump-dynamics, whereas it is more localized for walk-
dynamics, for any given non-equilibrium value of (σ, ω).
B) 0
Since the coordinates of H2 reflect popularity and simi-
10 larity attributes, the effective connection probability and
other non-equilibrium effects arising when outside of the
-1
quasi-static regime have specific interpretations. The
10 set of current links arose from nodes having been con-
nected at past timesteps when their previous similarity
-2
attributes were compatible (small hyperbolic distance);
10 in real networks, such links may persist into the future
even if the similarity attributes change. For instance with
-3
social networks, consider friendships on Facebook, follow-
10 ers on Twitter, or author collaborations: similarity be-
tween connected pairs may decrease over time, but they
3 6 9 12 15
tend to remain connected. Likewise, it could take some
time for two people that become more similar to discover
one another and to connect, in an online or traditional
FIG. 7. Effective connection probability function f¯(x) social network.
in snapshots of a temporal hyperbolic model with
(n, γ, β, R) = (500, 2.2, 5, 8), for various values of ω.
With slower link-resampling (smaller ω), links are increas- 4. Temporal H2 model discussion
ingly allowed to dynamically stretch before being removed by
link-resampling, resulting in deviations from the static-model
affinity f (x) (black dotted line). Coloration of the curve
Outside of the quasi-static regime, snapshots G(t) do
f¯(x) is from yellow to blue as ω increases. The upper panel, not fully resemble the static H2 model – the Equilibrium
A), shows the case of jump-dynamics of coordinates. The Property is in general violated (despite the fact that each
lower panel, B), shows the case of walk-dynamics of coor- link was formed via the static-model connection proba-
dinates. The choice of coordinate-dynamics is consequential bility corresponding to the pairwise distance at the time
in the non-equilibrium regime, despite each having the same of that link’s formation). This phenomenon results in re-
stationary density. duced clustering because links become spread out across
the space rather than being localized amongst neighbor-
ing groups of nodes. Degree-heterogeneity is also sup-
(t+1)
to a random location hj having angular and radial pressed, as is the case for the temporal HSCM (see Sec-
coordinates adjusted to relatively closeby values, with tion V C), because nodes accumulating large numbers of
increasingly large steps for larger σ-values; we describe links due to being near the disk’s center do not stay
the details of H2 walk-dynamics in Appendix F. Dynam- near the disk’s center indefinitely. Clustering and het-
ics of nodes on the hyperbolic disk is visualized in Fig- erogeneity arise in the static H2 model due to the corre-
ure 6, for both jump-dynamics and walk-dynamics. For lations in links from the underlying geometry. But in the
σ  1, nodes rarely resample their coordinates (in jump- static model, all links (and non-links) arise from the same
dynamics) and step to only very localized regions (in underlying coordinate-configuration. When coordinates
walk-dynamics). On the other hand for σ ≈ 1, almost are dynamical, these correlations are weaker; nodes are
all nodes resample their coordinates at each timestep (in linked with probabilities arising as a mixture of past and
15

(t)
present coordinate-configurations. where Kij (Aij , H) incorporates the link-response dy-
namics:
  n o   
(t) (t+1) (t) + (t) (t)
Kij Aij , H =1 pij ≥ pij qij 1 − Aij + Aij
VI. LINK-UPDATING IN RESPONSE TO
HIDDEN-VARIABLE DYNAMICS
n o
(t+1) (t) − (t)
+ 1 pij ≤ pij (1 − qij )Aij .
(37)
Finally, we describe an additional dynamical mecha-
With the inclusion of link-response, arbitrary static
nism that can be incorporated to achieve the Equilib-
hidden-variable networks can be extended to temporal
rium Property exactly in temporal hidden-variables mod-
settings while satisfying the Equilibrium Property ex-
els, while retaining the Persistence Property, for all val-
actly (See Appendix VI for a full derivation), and the Per-
ues of σ and ω: links are updated directly in response
sistence Property in a tunable fashion. Allowing ω > 0
to changes in hidden variables, rather than only through
does not alter the Equilibrium Property’s exact validity,
link-resampling, to keep connection probabilities up-to-
and it provides a more tunable level of structural persis-
date (we refer to this mechanism as link-response). In
tence.
this model variant, G(t+1) ’s probability distribution de-
With G(t) indistinguishable from a static-model real-
pends on each of G(t) , H (t+1) , and H (t) , rather than on
ization, all non-equilibrium phenomena of the types dis-
just the former two. We illustrate the mechanism at first
cussed in V A, V B, V C, and V D are prevented – this can
in the case of ω = 0. Suppose node-pair ij has a link
either enhance or hinder Qualitative Realism, depend-
with probability pij = f (hi , hj ), and that HVs (hi , hj )
ing on the context. If a single node’s HV is changed, it
are updated to become (h0i , h0j ) in the next timestep. To
will need to re-evaluate connections to all other nodes
ensure that the pair is then connected with probability
for which affinities have changed. This could be realis-
p0ij = f (h0i , h0j ), we selectively delete now-less-likely edges
tic in some cases, since nodes themselves may be at the
between connected pairs and selectively add now-more-
most liberty to re-evaluate their connections. In other
likely edges between unconnected pairs. In particular:
cases, more gradual structural transitions may be pre-
ferred. This model-variant could thus serve well as a tem-
a) If p0ij ≥ pij , then Aij = 1 ⇒ A0ij = 1, and Aij = poral null model, especially for temporal networks with
+
0 ⇒ add link with probability qij , snapshots well-described by an SHVM. Despite structure
of THVMs with link-response being identical to that of
b) If p0ij ≤ pij , then Aij = 0 ⇒ A0ij = 0, and Aij = SHVMs, all dynamical features are open for study and
1 ⇒ remove link with probability qij−
. for comparison to real-world networks.

The outcome needs to result in P(A0ij = 1|h0i , h0j ) = p0ij .


VII. RELATED WORK
Thus,

a) If p0ij ≥ pij , the new connection probability satisfies We briefly review existing lines of research related to
+ + 1−p0ij our study.
p0ij = pij + (1 − pij )qij . Hence, qij =1− 1−pij . Several temporal network models are worth mention-
ing. Temporal analogs of specific static models have
b) If p0ij ≤ pij , the new connection probability satisfies been considered [67–73, 122, 123], many of which pre-
− − p0ij serve the Equilibrium Property. Most such models have
1 − p0ij = pij qij + (1 − pij ). Hence, qij =1− pij . non-dynamic node properties, yielding models related to
edge-Markovian networks [99, 100, 124–126] and dynamic
+ −
Note that if p0ij = pij , then qij = qij = 0; no links will percolation [94–96]. The dynamic-S1 model [87] is a tem-
form or break unless pairwise affinities change. Denoting poral extension of the static S1 model [15] consisting of
(t) (t) (t)
pij = f (hi , hj ) for t ∈ {1, ..., T }, the graph transition a sequence of independent samples with HVs partially
probability given H becomes: inferred from real data and partially synthetically gener-
ated; the dynamics therein resembles THVMs with ω = 1
    and σ = 0, but with varying average degree parameter
PG G(t+1) G(t) , H =
Y (t+1)
Yij Aij
(t)
Aij , H , across snapshots. Although it is common practice to ex-
tend static-model concepts to temporal settings [48–66],
1≤i<j≤n
(35) many models of temporal networks are instead derived
with Yij : {0, 1} → [0, 1] denoting the conditional from first principles [127–132], and focus primarily on
adjacency-element probability distribution. For any ω ∈ inference techniques, real-world applicability [133–136],
[0, 1], we have: and/or the effects of temporality on spreading [86, 99].
Most relevant to THVMs are several existing works

(t)

(t+1)

(t)
 with dynamic HVs that influence link-dynamics. Sev-
Yij 1 Aij , H = ωpij + (1 − ω)Kij Aij , H , (36) eral dynamic latent space models [74–77] exist, as do dy-
16

namic random geometric graphs [78] (the latter being the Persistence Property is controllable. If, however, the
continuous-time and infinite-space, with nodes sprinkled static model has two layers of randomness and links are
as a Poisson process [137–139] and undergoing Brown- not completely refreshed each timestep (σ > 0 and ω <
ian motion [140], with links remaining up-to-date as for 1), THVM snapshots are not in general distributed ac-
THVMs with ω = 1). A model with both dynamic HVs cording to the static model. Rather, numerous structural
and persistent links [141] was recently introduced, along- deviations arise, due to links falling out-of-equilibrium
side rigorous inference techniques and applications – but with respect to hidden variables – for instance, the ef-
not in reference to static network models. Other stud- fective connection probability f¯(h, h0 ) can substantially
ies investigated spreading on dynamic RGG-like graphs differ from the affinity function f (h, h0 ) (see Figures 4
[79, 109]. A few versions of dynamic SBMs are of partic- and 7). Despite violating the Equilibrium Property, such
ular relevance; in one such paper [72], the model is a case models arise naturally and exhibit Qualitative Realism in
of the temporal hyper-SBM studied in Section V A with interesting ways – for instance, the appearance of long-
complete edge-resampling (ω = 1). Another study was of ranged links in temporal RGGs (Section V A 3) and inter-
a temporal hyper-SBM with ω < 1 which thus exhibits group links in temporal hyper-SBMs (Section V A 3). An
both link-persistence and group-assignment-persistence exception to the non-equilibrium dynamics arises in the
[73], influencing performance of community detection al- quasi-static regime (Section IV A) in which case the Equi-
gorithms and motivating the development of new ones. librium Property is approximately satisfied, due to all
Another area of relevant work is the rapidly emerging (t)
Aij -values arising from an HV-configuration closely re-
area of dynamic graph embeddings [75, 142–154], related sembling H (t) . A second exception arises if we add a
to the task of inference of hidden-variable trajectories third dynamical mechanism (Section VI), namely link-
[155]. updating in direct response to HV-changes, which allows
We also note some additional works that are less- exact satisfaction of the Equilibrium Property (see Ap-
directly related to ours. Adaptive network models (for pendix G) for all (σ, ω). Both situations also lend them-
instance, SIS-dynamics [156] alongside contact-switching selves to tunable satisfaction of the Persistence Property,
[23, 24]), have dynamic node-properties that evolve with governed σ and ω.
time and guide network evolution, a commonality with An assortment of possible modifications, improve-
THVMs. Networks with node-addition and node-removal ments, and extensions are worth mentioning. Although
[157–160] have dynamic node-properties (degree-values many questions are open within the present frame-
as opposed to hidden variables) that influence link- work, altered dynamics could also be considered. For
formation. In the fitness model of growing networks [12], HV-dynamics, correlated motion akin to Langevin dy-
static HVs and dynamic degrees both govern connection namics [170, 171] could provide insight into the for-
probabilities. Some static network models admit dual mation and persistence of communities. Altered link-
growing formulations [161] – analogously, if the Equlib- structure and link-dynamics could be considered as well:
rium Property holds, THVM snapshots can be seen as some examples include directed and/or weighted links,
dynamically produced static-model samples. Indeed, node-centric link-resampling dynamics [172], or pairwise-
network-rewiring and MCMC algorithms are widely used individualized resampling rates. Continuous-time formu-
to sample static networks [162–166]; in stationarity, these lations of THVMs could allow some theoretical simplifi-
can be viewed as temporal networks satisfying the Equi- cations; continuous time is used in studies of dynamical
librium Property, with a level of persistence tunable via percolation [94, 173, 174] and edge-Markovian networks
the number of iterations between adjacent snapshots. [97–101], which could each be extended to a THVM-
Dynamic variants of the configuration model [167–169] like framework by introducing hidden variables. Our re-
exemplify this. sults can also inform future studies of adaptive networks
[175–179]; THVMs provide a simple setting in which dy-
namic node-properties influence network-evolution. Un-
VIII. DISCUSSION derstanding such settings will provide a baseline for
what to expect when coevolutionary feedbacks are also
In this work we have studied temporal network models present. An example of real-world links influencing node-
that are natural counterparts of static hidden-variables properties is social influence, whereby acquainted pairs
models, obtained by inclusion of a dynamic mecha- can become more similar over time [180, 181] – or geo-
nism for node-characteristics (jump-dynamics or walk- graphically move to closer-by coordinate locations. The
dynamics) and dynamic mechanism for link-structure inclusion of interdependencies relating to dynamical pro-
(link-resampling). Due to the wide generality of the cesses [182, 183] can allow for more interesting dynamics
static hidden-variables framework, many popular static and realism, but at the cost of increased model complex-
network models can be made temporal as THVMs. ity.
With a single source of randomness in the static model, Real-world networks have dynamic node-properties
which includes ω = 1 with deterministic connectivity that influence dynamics of link-structure. Examples of
(Section IV B) and σ = 0 with fixed initial HVs (Section such phenomena were set forth in Section I, ranging
IV C), the Equilibrium Property is exactly satisfied and across a wide variety of systems and scales. One di-
17

rect real-world application of THVMs could be to serve effective connection probability is given by
as null models [65, 184] for evolving networks with dy- X h 
(t−s) (t−s)

(t) (t)
i
namic node-properties [75]. Dynamic embedding meth- f¯(h, h0 ) = ps E f hi , hj hi = h, hj = h0 .
ods [142–154], or generalizations of inference methods s≥0
from dynamic SBMs [73], could potentially allow retrieval (A2)
of H (and perhaps also σ, ω, and f ) from an observed To evaluate the above, we introduce a density Ps (x|h),
(t−s) (t)
G. Links of real evolving networks may not in general namely the density of hi (evaluated at x) given hi =
be fully equilibrated relative to the current set of node- h. In our case, by jump-dynamics and conditioning on
characteristics, which is a dynamical behavior exhibited (t)
hi = h, we have
by THVMs outside of the quasi-static regime. Hence
in some cases, the Equilibrium Property and Qualita- Ps (x|h) = (1 − σ)s 1h (x) + (1 − (1 − σ)s ) ν(x), (A3)
tive Realism may be in conflict, implying that caution because h will have arisen from x after s timesteps via
should be used when applying static models to snap- either (a) zero jumps having occurred, that event hav-
shots of evolving networks. That said, static models do ing probability (1 − σ)s , or via (b) at least one jump
in many cases accurately describe such snapshots; the having occurred, in which case the density is completely
internet, for example, has exhibited a clear power-law randomized to ν(x). The expectation value appearing in
degree-tail for decades [155, 185], evidently remaining in Equation A2 is equal to
equilibrium from the perspective of THVMs (see the dis- h   i
(t−s) (t−s) (t) (t)
cussion in V C). We expect that the present study will E f hi , hj hi = h, hj = h0
usefully inform general classifications of real-world net- Z Z (A4)
works according to the dynamics of node-properties and = f (x, x0 )Ps (x|h)Ps (x0 |h0 )dxdx0 ,
of how those properties influence link-dynamics. X X

which, using Equation A3 and integrating over (x, x0 ),


evaluates to:
(1 − σ)2s f (h, h0 )
IX. ACKNOWLEDGEMENTS
+ (1 − σ)s (1 − (1 − σ)s ) (hf (·, h0 )i + hf (h, ·)i) (A5)
s 2
We thank B. Klein, S. Redner, M. Shrestha, L. + (1 − (1 − σ) ) hf i,
Torres, R. Van der Hofstad, and I. Voitalov for use- where
R
hf (·, h)i = hf (h, ·)i = X f (h, x)ν(x)dx and hf i =
ful discussions and suggestions. This work was sup-
f (x, x0 )ν(x)ν(x0 )dxdx0 . Finally, plugging Equation
R
ported by ARO Grant Nos. W911NF-16-1-0391 and X2
A5 back into Equation A2, using ps = ω(1 P − ω)s and
W911NF-17-1-0491, and by NSF Grant Nos. IIS-
summing the geometric series that appear ( s≥0 y s =
1741355 and DMS-1800738. F.P. acknowledges support
1/(1 − y)), we obtain
by the TV-HGGs project (OPPORTUNITY/0916/ERC-
CoG/0003), funded through the Cyprus Research and f¯(h, h0 ) = α2 f (h, h0 )
Innovation Foundation. + (α1 − α2 ) (hf (·, h0 )i + hf (h, ·)i) (A6)
+ (1 − 2α1 + α2 )hf i,
where αb = αb (σ, ω) for b ∈ {1, 2} are given by
Appendix A: Effective connection probabilities ω
αb (σ, ω) = . (A7)
1 − (1 − ω)(1 − σ)b
Here we calculate effective connection probabilities for
As an aside, we note that the average degree of the
general THVMs with HVs evolving by jump-dynamics
network is independent of (σ, ω). This can be seen
(HV-resampling with probability σ). We define the effec- 0
by averagingR Equation A2 over h and h and mak-
tive connection probability f¯(h, h0 ) to be the probability
(t) (t) (t) ing use of X Ps (x|h)ν(h)dh = ν(x) (which is true be-
of Aij = 1 given hi = h and hj = h0 , in the limit as cause Ps (x|h) describes the stationary distribution, re-
t → ∞. That is, gardless of whether we consider walk-dynamics or jump-
  dynamics). The result is hf i, regardless of σ and ω. This
(t) (t) (t)
f¯(h, h0 ) = lim P Aij = 1 hi = h, hj = h0 , (A1) can be seen more directly in the case of jump-dynamics
t→∞ by averaging Equation A6 over h and h0 .

where the limit t → ∞ is to wash out any initial condi-


tion. Due to the edge-resampling dynamics, the current Appendix B: Temporal RGG effective connection
(t) probability
value of Aij arose from being last resampled at some
time t − s, with s being a random nonnegative integer
having distribution ps = ω(1 − ω)s (where ω is the prob- This section contains calculations of the effective con-
ability of link-resampling at any given timestep). The nection probability for random geometric graphs on
18

the unit interval with periodic boundaries and jump- Appendix C: Effective connection probability in
dynamics. This result could be obtained from Equation terms of products of hidden variables
A6, but we show here an alternate derivation. The effec-
tive connection probability as a function of distances is This section describes effective connection probabili-
defined as the probability of two nodes being connected ties arising in temporal HSCMs, as studied in Section
(t)
given that they are a distance dij = x apart, as t → ∞: V C. The static-model affinity f is a function of the prod-
  uct of hidden variables, motivating study of the effective
(t) (t)
f¯(x) = lim P Aij = 1 dij = x . (B1) connection probability f¯ as a function of the product of
t→∞
HVs as well.
To calculate the above, we introduce the probability den- Consider one-dimensional hidden variables {hj }j∈[n]
sity on distances between node-pairs s timesteps prior to each distributed uniformly on X = [0, 1]. This is appli-
when the distance-value is x, denoted Ps (y|x). We make cable to HSCMs via the CDF-transform of arbitrary 1D
(t)
use of the fact that dij can evolve in either of two ways: probability densities: if h has density ν, then u = F (h) =
Rh
with probability (1 − σ)2 each timestep, neither i nor j h−
ν(h0 )dh0 is distributed uniformly on [0, 1] (h− is the
jumps, and thus the density is preserved. Otherwise, one minimum value of h). Denote Ps (φ|ψ) as the probabil-
or both do jump, and their distance becomes completely ity density of φ = hi
(t−s) (t−s)
hj for some arbitrary pair ij
randomized. The stationary density of distance x is the (t) (t)
uniform on [0, 1/2], i.e., equal to 2 for all x ∈ [0, 1/2]. In given that hi hj = ψ. Then,
a single time-advancement, jump-dynamics thus yields
X Z 1
P1 (y|x) = (1 − σ)2 1x (y) + 2 1 − (1 − σ)2 . f¯(ψ) = ω (1 − ω)s

(B2) Ps (φ|ψ)f (φ)dφ. (C1)
s≥0 0
Iterating the above logic, Ps (y|x) has two contributions:
either neither node jumps at any time, or at least one For products of HVs each independently undergoing
node jumps at least once. Therefore, jump-dynamics, we have
Ps (y|x) = (1 − σ)2s 1x (y) + 2 1 − (1 − σ)2s . (B3)

Ps (φ|ψ) = (1 − σ)2s 1ψ (φ)
We can compute f¯(x) via averaging the affinity + (1 − (1 − σ)s ) (1 − σ)s p1 (φ|ψ) (C2)
(t)
f (hi , hj ) = 1{dij ≤ r} over the distance-variable. That s 2
+ (1 − (1 − σ) ) µ(φ),
is,
with µ(φ) denoting the product density of hidden vari-
h n o i
(t−s) (t)
X
f¯(x) = ps E 1 dij ≤ r dij = x , (B4)
ables and p1 (φ|ψ) the product HV-density conditioned
s≥0
on a single jump. Then,
where the expectation term is
h n o i f¯(ψ) = αf (ψ)
(t−s) (t)
E 1 dij ≤ r dij = x X Z 1
s
Z 1/2 +ω ((1 − σ)(1 − ω)) (1 − (1 − σ)s ) f (φ)p1 (φ|ψ)dφ
0
= Ps (y|x)1{y ≤ r}dy s≥0

Z0 r (B5) X 2
Z 1
+ω (1 − ω)s (1 − (1 − σ)s ) f (φ)µ(φ)dφ.
(1 − σ)2s 1x (y) + 2 1 − (1 − σ)2s dy

= s≥0 0
0
(C3)
= (1 − σ)2s 1{x ≤ r} + 2r 1 − (1 − σ)2s .

R1
Note that 0
f (φ)µ(φ)dφ = hf i = hki/n. Then, evaluat-
Let s ∈ {0, 1, ...} be the delay since any given edge- ing sums,
indicator was last resampled. Recall that s has distri-
bution ps = ω(1 − ω)s . Then, using the above, we find f¯(ψ) = α2 f (ψ)+(α1 −α2 )f1 (ψ)+(1−2α1 +α2 )hf i, (C4)
X
f¯(x) = ω (1 − ω)s (1 − σ)2s 1{x ≤ r} with αb = ω/(1−(1−ω)(1−σ)b ), and the quantity f1 (ψ)
s≥0 being defined as
X
(1 − ω)s 2r 1 − (1 − σ)2s (B6)

+ω Z
s≥0 f1 (ψ) = f (φ)p1 (φ|ψ)dφ, (C5)
= α2 1{x ≤ r} + (1 − α2 )2r,
where p1 (φ|ψ) is the distribution of the product of a uni-
with α2 = α2 (σ, ω) arising from
Phaving evaluated sums form random variable and of one factor of a product,
of geometric series of the form s≥0 ((1 − ω)(1 − σ)2 )s :
given that the value of that product is ψ. In the follow-
ω ing, we walk through the remaining required calculations
α2 (σ, ω) = . (B7)
1 − (1 − ω)(1 − σ)2 to obtain f1 (ψ).
19

Density of hidden variable x given product xy = Density of product = xy0 given product xy =
= 0.00 101
p(x|xy = ) = 1{xx ln(1/[ , 1]}
) = 0.25
= 0.50 100
p(x|xy = )

101 -- theoretical = 0.75


. empirical

p1( | )
10 1

100 10 2 = 0.05
= 0.30
p1( | ) = min(1/ln(1/, 1/) ) 1
= 0.55
= 0.80 -- theoretical
10 3 . empirical
0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0
x
FIG. 8. The probability density of the value of one member FIG. 9. The probability density of the value φ of the product
x of a product xy conditioned on xy = ψ. In the absence of φ = xy 0 , where y 0 is uniformly sampled after having previ-
the conditionality, both x and y are distributed uniformly on ously had random value y, and where xy was conditioned
[0, 1]. to have value xy = ψ. Without any conditioning, all three
x, y, y 0 have marginal density uniform on [0, 1].

1. Finding p(x|xy = ψ)
2. Finding p1 (φ|ψ)
Suppose that x and y are sampled uniformly on [0, 1].
Now condition on the fact that their product, xy, takes
on the particular value xy = ψ. Then, what is the proba- Now suppose that one variable, say y, undergoes a ran-
bility density of x alone? Note first that it must reside in dom jump (i.e., is resampled) and thus becomes a new
[ψ, 1], since ψ is the product of two numbers each in the uniform variable on [0, 1]. The equality xy = ψ no longer
range [0, 1], i.e., each reducing the value of the product. holds, but since it did hold prior to the jump, the vari-
Within the acceptable range, the density is obtained as able x remains distributed according to p(x|xy = ψ).
follows: Therefore the new product’s value, which we denote by
φ = xy 0 (where y 0 is the post-jump version of y), has a
Z 1 density p1 (φ|ψ) of the following form:
p(x|xy = ψ) ∝ 1ψ (xy)dy
0
Z 1  
1 1
Z
(C6) 0 φ 1 0
∝ 1ψ/x (y)dy p1 (φ|ψ) = 1{y ∈ [0, 1]}p xy = ψ dy
x 0 0 y0 y0
1
1{φ/y 0 ∈ [ψ, 1]} dy 0
Z
= 1/x,
=
0 (φ/y 0 ) ln(1/ψ) y 0
where the ratio ψ/x is guaranteed to be in the range 1
Z 1
[0, 1] since x ≥ ψ. Combining the above with the range = 1{φ/y 0 ∈ [ψ, 1]}dy 0 .
of acceptable values of x given xy = ψ, we have propor- φ ln(1/ψ) 0
tionality (C10)
Continuing with a change of variables,
1{x ∈ [ψ, 1]}
p(x|xy = ψ) = c , (C7)
x 1
Z 1/φ
p1 (φ|ψ) = 1{y 0 /φ ∈ [1, 1/ψ]}d(y 0 /φ)
and c is determined by normalization: ln(1/ψ) 0
min(1/φ, 1/ψ) − 1
Z 1 Z 1
dx = .
1= p(x|xy = ψ)dx = c = c ln(1/ψ) ln(1/ψ)
0 ψ x (C11)
(C8)
1 The above is validated numerically in Figure 9.
⇒c= .
ln(1/ψ)

Therefore,
3. Calculating f¯1 (ψ)
1{x ∈ [ψ, 1]}
p(x|xy = ψ) = , (C9)
x ln(1/ψ)
We now average the affinity over p1 (φ|ψ), to get the
as is confirmed numerically in Figure 8. contribution to the effective connection probability com-
20

ing from one hidden variable jumping. This goes as Appendix E: Walk-dynamics with reflecting
boundary conditions
Z 1
f¯1 (ψ) = f (φ)p1 (φ|ψ)dφ In this appendix we study walk-dynamics on X = [0, 1]
0
1 with reflecting boundary conditions under uniform noise.
min(1/φ, 1/ψ) − 1
Z
= f (φ) dφ In particular, we show that the stationary density is uni-
0 ln(1/ψ) form on [0, 1]. In turn, that implies that arbitrary 1D
!
1 1 ψ
Z Z 1
f (φ) dynamics with density ν(h) can be made into a random
= f (φ)dφ + dφ − 1 . walk of this type, by mapping initial h-values to [0, 1]
ln(1/ψ) ψ 0 ψ φ
via the inverse-CDF transform, performing the reflect-
(C12) ing random walk on [0, 1], then transforming the random
Using Equation C12, we can compute f¯(ψ) for a given walk trajectories back to the original space (see Appendix
f (ψ) via Equation C4. D).
Let X = [0, 1] be the HV-space and denote by
x ←- U [0, 1] the value of a hidden variable. Then let
x̂ ∈ [−r, 1 + r] be an intermediate variable defined as
Appendix D: Walk-Dynamics
x̂ = x + u, where u ←- U [−r, r] is the uniform additive
noise which we use to simulate walk-dynamics. Lastly,
Here we describe walk-dynamics in detail. Through- let x0 = Z(x̂) be the reflected variable, where the func-
out this work, walk-dynamics in 1D is simulated by first tion Z encodes the reflecting boundary conditions. Note
mapping random variables to the unit interval (by the that values of x0 in the ranges [0, r] and [1 − r, 1] are
inverse-CDF method [186]), doing a random walk on obtained from one of two different of values of x̂: the
[0, 1], then mapping back. For any one-dimensional prob- case when reflected, and the case when not reflected. To
ability density ν(x) where x ∈ R+ , weR define random
x
transform the density of x̂ into that of x0 , we write x0
variable u(x) = Fν (x), where Fν (x) = 0 ν(y)dy. The as a function of ẑ, as x0 = Z(x̂) and use the general-
probability density of u(x) is the uniform on [0, 1]. A ran- ized change-of-variables formula for probability densities
dom walk on [0, 1] is constructed via addition of uniform [187]. We denote the densities of x, x̂, x0 as P (x), P̂ (x̂),
noise in the range [−2σ, 2σ], parameterized by σ ∈ [0, 1]. and P 0 (x0 ), respectively. The density of x̂ given x is
That is, after rescaling we have hidden-variable dynamics
1{x̂ ∈ [x − r, x + r]} 1{x ∈ [x̂ − r, x̂ + r]}
P̂ (x̂|x) = = .
1 {|u0 − u| ≤ 2σ} 2r 2r
Ph (u0 |u) = . (D1) (E1)

Since x is uniform on [0, 1] the density of x̂ is then
Note that the choice of [−2σ, 2σ] results in a mean jump- Z 1
length equal to σ, neglecting boundary conditions; when P̂ (x̂) = P̂ (x̂|x)dx
implementing boundary conditions, one needs only to ad- 0
just the probability density Ph (u0 |u) according to the cir- 1 Z
1 (E2)
cumstance. See Appendix E for the case of reflecting = 1{x ∈ [x̂ − r, x̂ + r]}dx
2r 0
boundaries. 1
Drawing h(1) from ν, we initialize u(1) = Fν (h(1) ) = |[0, 1] ∪ [x̂ − r, x̂ + r]| ,
2r
and iteratively time-advance as per the above to ob-
tain {u(t) }Tt=1 . We then simply transform back via or
h(t) = Fν−1 (u(t) ), to obtain one-dimensional dynamics 
 x̂ + r, x̂ < r,
whose stationary distribution is ν. 1 
P̂ (x̂) = 2r x̂ ∈ [r, 1 − r], (E3)
In dimensions greater than 1, walk-dynamics can be 2r 
simulated by first taking the multidimensional inverse-
 1 + r − x̂, x̂ > 1 − r.
CDF transform, mapping the space X to a unit cube.
Walk-dynamics can then be performed with whatever where the x̂-dependent coefficients of the first and third
custom boundary conditions are required on that unit terms arise from reflections of the form x̂ − (−r) and
cube (boundary conditions that correspond to those of 1−(x̂−1). We seek a function Z : [−r, 1+r] → [0, 1] that
X ), and the results can then be mapped back to the orig- encodes the reflection properties of the walk-dynamics.
inal space X . For example in the H2 model (Appendix The necessary Z is given by
F), increments of change in the angular and radial coor- 
dinates were chosen to be independent; this option was  −x̂,
 x̂ < 0,
taken for simplicity, but non-independent cases would Z(x̂) = x̂, x̂ ∈ [0, 1], (E4)

also be interesting to explore. Any transitional proba-  2 − x̂, x̂ > 1.
bility density preserving the uniform on the unit cube
would fall within the same framework. The values of x̂ mapping to a given value of x0 , namely
21

those making up the inverse of Z, are given by Note that we use reflecting boundary conditions for
 the radial coordinate, rather than, for example, peri-
 {−x0 , x0 },
 x0 < r, odic boundary conditions, or reflecting boundary condi-
0 0 0 tions with an associated angular reversal at any timestep
{x̂ : Z(x̂) = x } = {x }, x ∈ [r, 1 − r], (E5)
 {x0 , 2 − x0 }, x0 > 1 − r.
 that a node reflects from the origin of the radial coor-
dinate (as would also seem like a natural choice for the
Let us compute the derivative of Z(x̂), neglecting the disk). The reason to not incorporate such angular flip-
measure-zero points of 0 and 1: ping is due to the interpretation of the angular coordi-
 nates as similarity-encoding variables [188]. From that
 −1, x̂ < 0, perspective, it is more realistic to have nodes reflect off of
dZ(x̂)  the disk’s origin and retain their similarity-coordinates,
= 1, x̂ ∈ (0, 1), (E6)
dx̂ 
 −1, x̂ > 1. rather than to pass through the origin and reverse their
similarity-coordinates.
We now transform to find the density after one step of
dynamics, as
Appendix G: Stationarity with Link-Response
−1
X dZ(x̂)
P 0 (x0 ) = P̂ (x̂) In this appendix, we show that the static-model graph
dx̂
x̂:Z(x̂)=x0 probability distribution is preserved via the effect of link-
response as described in Section VI. Specifically, we show

 P̂ (−x0 ) + P̂ (x0 ),
 x0 < r, (E7)
0 0 that
= P̂ (x ), x ∈ [r, 1 − r],
 P̂ (x0 ) + P̂ (2 − x0 ), x0 > 1 − r.
 Z !
G→G0
X
P(G|H)PH,H 0 ρ(H)dH = P(G0 |H 0 ), (G1)
= 1. H G∈G

Therefore, the stationary distribution is uniform. (t)


G →G (t+1)
where PH (t) ,H (t+1) = PG (G(t+1) |G(t) , H (t+1) , H (t) ). We
for now set ω = 0 and later argue that link-resampling
Appendix F: Hyperbolic walk-dynamics does not influence the results in question. First, we note
that the transition probability given (H, H 0 ) is separable:
(1) G→G0
Q Aij →A0ij
To sample h̃ = (r̃, θ̃), and also to sample hj (a coordi- PH,H 0 = 1≤i<j≤n Pij , with transition probabil-
nate from the initial timestep, i.e. the static H2 model), ity Pijα→β = P(A0ij = β|Aij = α, h0i , h0j , hi , hj ). Denoting
0
we first draw two independent random variables Ur and fij = f (hi , hj ) and fij = f (h0i , h0j ), we evaluate the dif-
Uθ , each from the uniform distribution on [0, 1]. These ferent transition probabilities:
are then set equal to the cumulative density functions of

 0 0
νrad and νang , evaluated at r̃ and θ̃, respectively: Pij1→1 = 1 fij ≥ fij + (1 − qij )1{fij < fij },
0→0
 0 + 0
(G2)
Z θ̃ Pij = 1 fij < fij + (1 − qij )1{fij ≥ fij },
θ̃
Uθ = νang (θ)dθ = ,
0 2π −
with qij 0
= 1 − fij +
/fij , qij 0
= 1 − (1 − fij )/(1 − fij ) as
r̃ γ−1
 (F1)
cosh 2 r̃ − 1
Z
defined in Section VI. The remaining probabilities are
Ur = νrad (r)dr = γ−1
 . obtained by normalization:
0 cosh 2 R −1

 0
From the above, we can solve to obtain h̃ in terms of Pij1→0 = 1 − Pij1→1 = qij 1 fij < fij ,
0→1 0→0 +
 0 (G3)
(Ur , Uθ ): Pij = 1 − Pij = qij 1 fij ≥ fij .

θ̃ = 2πUθ , G→G 0
      Noting that PH,H 0 and P(G|H) are both separable into
2 γ−1 a product over ij : 1 ≤ i < j ≤ n, we write
r̃ = cosh−1 1 + cosh R − 1 Ur .
γ−1 2
(F2) G→G 0 Y A Aij →A0ij
P(G|H)PH,H 0 = fij ij (1 − fij )1−Aij Pij .
In the temporal setting, those initial variables are set 1≤i<j≤n
(1) (1)
to Uθ and Ur , after which we perform walk dynamics (G4)
(t) (t) The sum over all graphs G of this product becomes a
on the transformed variables to obtain (Uθ , Ur ) for
t ∈ {2, ..., T }. Walk-dynamics occurs independently for product over all pairs ij of a sum over Aij ∈ {0, 1}:
the two variables, with periodic boundary conditions for X Y Y X
angular coordinates and reflecting boundary conditions y(Aij ) = y(Aij ). (G5)
for radial coordinates. G∈G 1≤i<j≤n 1≤i<j≤n Aij ∈{0,1}
22

Using the above, and Equation 5, the parenthesized term Appendix H: Discrete hidden variables
in Equation G1 is equal to
Y We consider THVMs formulated with discrete hidden
fij Pij1→0 + (1 − fij )Pij0→0

variables, and describe their relation to continous-HV
ij:A0ij =0 models.
Y (G6) We take for example the case of SBMs, described in
fij Pij1→1 + (1 − fij )Pij0→1 .

×
Section V A entirely in terms of discrete HVs, namely
ij:A0ij =1
group-indices which are naturally thought of as discrete.
We then have a set of discrete HVs {qj }j∈[n] , each dis-
Applying equations (G2, G3) and using the expressions
± 0 0 tributed into a discrete set [m] = {1, ..., m} according to
for qij , as well as the facts that 1{fij ≥ fij } + 1{fij <
R a probability distribution % : [m] → [0, 1], and connecting
fij } = 1 and H ρ(H)dH = 1, Equation G1 becomes via a discrete affinity-function fq,q0 .
Y Y In a dual continuous-HV system which maps to the
0 0
fij (1 − fij ) = P(G0 |H 0 ). (G7) above-described discrete system, suppose each node j’s
ij:A0ij =1 ij:A0ij =0 hidden variable hj has uniform density on [0, 1], and
pairwise affinities are encoded in a piecewise constant
The left-hand side of the above is exactly the static graphon function according to occupancy of points in
model’s graph probability distribution given a hidden- nonoverlapping subregions {Lw }w∈[m] ⊆ [0, 1]m such
variable configuration (see Equation 5 of the main text). that |Lw | = %w and such that
Thus the static hidden-variables model is the stationary X
distribution of time-advancements with the link-response f (h, h0 ) = fw,z 1{h ∈ Lw , h0 ∈ Lz }. (H1)
mechanism. (w,z)∈[m]2
To show that these results hold even upon inclusion
of the link-resampling mechanism (allowing ω > 0), con- Discrete node-labels can also be written directly in terms
sider the following reasoning. Regardless of what the of continuous HV-values, as
link-response step yielded, each node-pair undergoing X
link-resampling at rate ω will result in either (a) link- qi = q1{hi ∈ Lq }. (H2)
ing according to the connection probability of the newly q∈[m]
updated hidden-variable configuration (with probability
ω) or (b) linking as before (ω = 0), without altering the The probability distribution % thus arises from integra-
connection probability. Given the fact that stationarity tion of the uniform density on [0, 1], namely ν(h) =
holds without link-resampling, in the latter case we also 1, over the regions {Lq }q∈[m] corresponding to specific
have a connection probability equal to that of the up- group-labels q ∈ [m]:
dated hidden-variable configuration. Z Z
Thus, upon inclusion of the link-response mechanism
%q = ν(h)1{h ∈ Lq }dh = dh = |Lq |. (H3)
whereby both H (t+1) and H (t) impact the transition from X Lq
G(t) to G(t+1) , we have temporal extensions of arbi-
trary static hidden-variables models that exactly satisfy In the temporal setting, we can again relate dis-
the Equilibrium property, while retaining the Persistence crete HVs to continuous ones. To reproduce the HV-
Property. Such a link-response mechanism may better resampling dynamics for temporal SBMs, we can simply
reflect reality in cases where connectivity among nodes have continuous HVs undergo jump-dynamics in [0, 1].
changes directly in response to changes in their internal Jumping to a random point in [0, 1] amounts to jumping
characteristics. into a random subset Lq with probability %q = |Lq |.

[1] Heeralal Janwa, Steven Massey, Julian Velev, and nomena with complex networks: a survey of applica-
Bud Bhubaneswar Mishra, “On the origin of biomolec- tions,” Advances in Physics 60, 329–412 (2011).
ular networks,” Frontiers in genetics 10, 240 (2019). [4] Luis EC Rocha, Fredrik Liljeros, and Petter Holme,
[2] Niklas Boers, Bedartha Goswami, Aljoscha Rheinwalt, “Information dynamics shape the sexual networks of
Bodo Bookhagen, Brian Hoskins, and Jürgen Kurths, internet-mediated prostitution,” Proceedings of the Na-
“Complex networks reveal global pattern of extreme- tional Academy of Sciences 107, 5706–5711 (2010).
rainfall teleconnections,” Nature 566, 373 (2019). [5] Geoffrey B West, James H Brown, and Brian J Enquist,
[3] Luciano da Fontoura Costa, Osvaldo N Oliveira Jr, “A general model for the origin of allometric scaling laws
Gonzalo Travieso, Francisco Aparecido Rodrigues, in biology,” Science 276, 122–126 (1997).
Paulino Ribeiro Villas Boas, Lucas Antiqueira, [6] Romualdo Pastor-Satorras and Alessandro Vespignani,
Matheus Palhares Viana, and Luis Enrique Cor- Evolution and structure of the Internet: A statistical
rea Rocha, “Analyzing and modeling real-world phe- physics approach (Cambridge University Press, 2004).
23

[7] Muhua Zheng, Antoine Allard, Patric Hagmann, Yasser New Journal of Physics 13, 073022 (2011).
Alemán-Gómez, and M Ángeles Serrano, “Geomet- [26] Vincent Marceau, Pierre-André Noël, Laurent Hébert-
ric renormalization unravels self-similarity of the multi- Dufresne, Antoine Allard, and Louis J Dubé, “Adaptive
scale human connectome,” Proceedings of the National networks: Coevolution of disease and topology,” Physi-
Academy of Sciences 117, 20244–20253 (2020). cal Review E 82, 036116 (2010).
[8] Giulio Cimini, Tiziano Squartini, Fabio Saracco, Diego [27] Guven Demirel, Federico Vazquez, GA Böhme, and
Garlaschelli, Andrea Gabrielli, and Guido Caldarelli, Thilo Gross, “Moment-closure approximations for dis-
“The statistical physics of real-world networks,” Nature crete adaptive networks,” Physica D: Nonlinear Phe-
Reviews Physics 1, 58–71 (2019). nomena 267, 68–80 (2014).
[9] Hyunju Kim, Harrison B Smith, Cole Mathis, Jason [28] Thilo Gross and Hiroki Sayama, “Adaptive networks,”
Raymond, and Sara I Walker, “Universal scaling across in Adaptive networks (Springer, 2009) pp. 1–8.
biochemical networks on earth,” Science advances 5, [29] I Barry Crabtree and Stuart J Soltysiak, “Identifying
eaau0149 (2019). and tracking changing interests,” International Journal
[10] Paul L Krapivsky and Sidney Redner, “A statistical on Digital Libraries 2, 38–53 (1998).
physics perspective on web growth,” Computer Net- [30] Ben B Chapman, Christer Brönmark, Jan-Åke Nilsson,
works 39, 261–276 (2002). and Lars-Anders Hansson, “The ecology and evolution
[11] Albert-László Barabási and Réka Albert, “Emergence of partial migration,” Oikos 120, 1764–1775 (2011).
of scaling in random networks,” science 286, 509–512 [31] Yannis Vardanis, Raymond HG Klaassen, Roine Strand-
(1999). berg, and Thomas Alerstam, “Individuality in bird mi-
[12] Ginestra Bianconi and A-L Barabási, “Competition and gration: routes and timing,” Biology letters 7, 502–505
multiscaling in evolving networks,” EPL (Europhysics (2011).
Letters) 54, 436 (2001). [32] Sonia Altizer, Rebecca Bartel, and Barbara A Han,
[13] Guido Caldarelli, Andrea Capocci, Paolo De Los Rios, “Animal migration and infectious disease risk,” science
and Miguel A Munoz, “Scale-free networks from vary- 331, 296–302 (2011).
ing vertex intrinsic fitness,” Physical review letters 89, [33] Martin Pfeffer and Gerhard Dobler, “Emergence of
258702 (2002). zoonotic arboviruses by animal trade and migration,”
[14] Marc Barthelemy, Morphogenesis of spatial networks Parasites & vectors 3, 35 (2010).
(Springer, 2018). [34] Andrew M Hein, Chen Hou, and James F Gillooly, “En-
[15] Dmitri Krioukov, Fragkiskos Papadopoulos, Maksim ergetic and biomechanical constraints on animal migra-
Kitsak, Amin Vahdat, and Marián Boguná, “Hyper- tion distance,” Ecology letters 15, 104–110 (2012).
bolic geometry of complex networks,” Physical Review [35] Scott P Carroll, Andrew P Hendry, David N Reznick,
E 82, 036106 (2010). and Charles W Fox, “Evolution on ecological time-
[16] M Ángeles Serrano, Marián Boguná, and Francesc scales,” Functional Ecology 21, 387–393 (2007).
Sagués, “Uncovering the hidden geometry behind [36] Torsten Held, Armita Nourmohammad, and Michael
metabolic networks,” Molecular biosystems 8, 843–850 Lässig, “Adaptive evolution of molecular phenotypes,”
(2012). Journal of Statistical Mechanics: Theory and Experi-
[17] Maksim Kitsak, Fragkiskos Papadopoulos, and Dmitri ment 2014, P09029 (2014).
Krioukov, “Latent geometry of bipartite networks,” [37] Henk W Volberda and Arie Y Lewin, “Co-evolutionary
Physical Review E 95, 032309 (2017). dynamics within and between firms: From evolution to
[18] Marián Boguná and Romualdo Pastor-Satorras, “Class co-evolution,” Journal of management studies 40, 2111–
of correlated random networks with hidden variables,” 2136 (2003).
Physical Review E 68, 036112 (2003). [38] Michael Stoica and Minet Schindehutte, “Understand-
[19] Mark Newman, Networks (Oxford university press, ing adaptation in small firms: Links to culture and per-
2018). formance,” Journal of Developmental Entrepreneurship
[20] Brian Karrer and Mark EJ Newman, “Stochastic block- 4, 1 (1999).
models and community structure in networks,” Physical [39] Kenneth M Johnson, “Demographic trends in rural and
review E 83, 016107 (2011). small town america,” (2006), 10.34051/p/2020.6.
[21] Mathew Penrose et al., Random geometric graphs, Vol. 5 [40] Dowell Myers, “Demographic dynamism and metropoli-
(Oxford university press, 2003). tan change: Comparing los angeles, new york, chicago,
[22] Pim van der Hoorn, Gabor Lippner, and Dmitri Kri- and washington, dc,” Housing Policy Debate 10, 919–
oukov, “Sparse maximum-entropy random graphs with 954 (1999).
a given power-law degree distribution,” Journal of Sta- [41] Juste Raimbault, “Modeling the co-evolution of
tistical Physics 173, 806–844 (2018). cities and networks,” arXiv preprint arXiv:1804.09430
[23] Sebastián Risau-Gusmán and Damián H Zanette, “Con- (2018).
tact switching as a control strategy for epidemic out- [42] Siobhan G Kuhar, Lei Feng, Susana Vidan, M Elizabeth
breaks,” Journal of theoretical biology 257, 52–60 Ross, Mary E Hatten, and Nathaniel Heintz, “Changing
(2009). patterns of gene expression define four stages of cerebel-
[24] Suwakan Piankoranee and Surachate Limkumnerd, “Ef- lar granule neuron differentiation,” Development 117,
fects of global and local rewiring on sis epidemic adap- 97–104 (1993).
tive networks,” in Journal of Physics: Conference Se- [43] Matthew A McCormack, Kenneth M Rosen, Lydia
ries, Vol. 1144 (IOP Publishing, 2018) p. 012080. Villa-Komaroff, and George D Mower, “Changes in im-
[25] Cristián Huepe, Gerd Zschaler, Anne-Ly Do, and Thilo mediate early gene expression during postnatal devel-
Gross, “Adaptive-network models of swarm dynamics,” opment of cat cortex and cerebellum,” Molecular brain
research 12, 215–223 (1992).
24

[44] Mohammad Moradi Dalvand, Seyed Bahram Zahir [61] Kaiyuan Sun, Andrea Baronchelli, and Nicola Perra,
Azami, and Hadi Tarimoradi, “Long-term load fore- “Contrasting effects of strong ties on sir and sis pro-
casting of iranian power grid using fuzzy and artificial cesses in temporal networks,” The European Physical
neural networks,” in 2008 43rd International Univer- Journal B 88, 326 (2015).
sities Power Engineering Conference (IEEE, 2008) pp. [62] Dandan Li, Dun Han, Jing Ma, Mei Sun, Lixin Tian,
1–4. Timothy Khouw, and H Eugene Stanley, “Opinion dy-
[45] Matteo De Felice, Andrea Alessandri, and Paolo M namics in activity-driven networks,” EPL (Europhysics
Ruti, “Electricity demand forecasting over italy: Poten- Letters) 120, 28002 (2018).
tial benefits using numerical weather prediction mod- [63] Daniel M Dunlavy, Tamara G Kolda, and Evrim Acar,
els,” Electric Power Systems Research 104, 71–79 “Temporal link prediction using matrix and tensor fac-
(2013). torizations,” ACM Transactions on Knowledge Discov-
[46] Natalia Pasichnyk, Mykola Dyvak, and Roman Pasich- ery from Data (TKDD) 5, 10 (2011).
nyk, “Mathematical modeling of website quality charac- [64] Yugchhaya Dhote, Nishchol Mishra, and Sanjeev
teristics in dynamics,” in Journal of Applied Computer Sharma, “Survey and analysis of temporal link pre-
Science, Vol. 22 (Technical University Press, 2014) pp. diction in online social networks,” in 2013 Interna-
171–183. tional Conference on Advances in Computing, Commu-
[47] Sandra J Bean, “Emerging and continuing trends in vac- nications and Informatics (ICACCI) (IEEE, 2013) pp.
cine opposition website content,” Vaccine 29, 1874–1880 1178–1183.
(2011). [65] Marta Sarzynska, Elizabeth A Leicht, Gerardo Chow-
[48] Vincenzo Nicosia, John Tang, Cecilia Mascolo, Mirco ell, and Mason A Porter, “Null models for community
Musolesi, Giovanni Russo, and Vito Latora, “Graph detection in spatially embedded, temporal networks,”
metrics for temporal networks,” in Temporal networks Journal of Complex Networks 4, 363–406 (2016).
(Springer, 2013) pp. 15–40. [66] Laetitia Gauvin, André Panisson, and Ciro Cattuto,
[49] Elisenda Ortiz, Michele Starnini, and M Ángeles Ser- “Detecting the community structure and activity pat-
rano, “Navigability of temporal networks in hyperbolic terns of temporal networks: a non-negative tensor fac-
space,” Scientific reports 7, 15054 (2017). torization approach,” PloS one 9, e86028 (2014).
[50] Dane Taylor, Sean A Myers, Aaron Clauset, Mason A [67] Tiago P Peixoto and Martin Rosvall, “Modelling se-
Porter, and Peter J Mucha, “Eigenvector-based central- quences and temporal networks with dynamic commu-
ity measures for temporal networks,” Multiscale Mod- nity structures,” Nature communications 8, 582 (2017).
eling & Simulation 15, 537–574 (2017). [68] Kevin S Xu and Alfred O Hero, “Dynamic stochastic
[51] Hyoungshick Kim and Ross Anderson, “Temporal node blockmodels for time-evolving social networks,” IEEE
centrality in complex networks,” Physical Review E 85, Journal of Selected Topics in Signal Processing 8, 552–
026107 (2012). 562 (2014).
[52] Raj Kumar Pan and Jari Saramäki, “Path lengths, cor- [69] Kevin Xu, “Stochastic block transition models for dy-
relations, and centrality in temporal networks,” Physi- namic networks,” in Artificial Intelligence and Statistics
cal Review E 84, 016105 (2011). (2015) pp. 1079–1087.
[53] Aming Li, Sean P Cornelius, Y-Y Liu, Long Wang, and [70] Catherine Matias and Vincent Miele, “Statistical clus-
A-L Barabási, “The fundamental advantages of tempo- tering of temporal networks through a dynamic stochas-
ral networks,” Science 358, 1042–1046 (2017). tic block model,” Journal of the Royal Statistical Soci-
[54] Suyu Liu, Nicola Perra, Márton Karsai, and Alessandro ety: Series B (Statistical Methodology) 79, 1119–1141
Vespignani, “Controlling contagion processes in activity (2017).
driven networks,” Physical review letters 112, 118702 [71] Marianna Pensky, Teng Zhang, et al., “Spectral cluster-
(2014). ing in the dynamic stochastic block model,” Electronic
[55] Nicola Perra, Andrea Baronchelli, Delia Mocanu, Bruno Journal of Statistics 13, 678–709 (2019).
Gonçalves, Romualdo Pastor-Satorras, and Alessandro [72] Amir Ghasemian, Pan Zhang, Aaron Clauset, Cristo-
Vespignani, “Random walks and search in time-varying pher Moore, and Leto Peel, “Detectability thresholds
networks,” Physical review letters 109, 238701 (2012). and optimal algorithms for community structure in dy-
[56] Ashwin Paranjape, Austin R Benson, and Jure namic networks,” Physical Review X 6, 031005 (2016).
Leskovec, “Motifs in temporal networks,” in Proceedings [73] Paolo Barucca, Fabrizio Lillo, Piero Mazzarisi, and
of the Tenth ACM International Conference on Web Daniele Tantari, “Disentangling group and link persis-
Search and Data Mining (ACM, 2017) pp. 601–610. tence in dynamic stochastic block models,” Journal of
[57] Petter Holme, “Temporal network structures control- Statistical Mechanics: Theory and Experiment 2018,
ling disease spreading,” Physical Review E 94, 022305 123407 (2018).
(2016). [74] Daniel K Sewell and Yuguo Chen, “Latent space mod-
[58] Quan-Hui Liu, Xinyue Xiong, Qian Zhang, and Nicola els for dynamic networks with weighted edges,” Social
Perra, “Epidemic spreading on time-varying multiplex Networks 44, 105–116 (2016).
networks,” Physical Review E 98, 062303 (2018). [75] Bomin Kim, Kevin H Lee, Lingzhou Xue, and Xiaoyue
[59] Matthieu Nadini, Kaiyuan Sun, Enrico Ubaldi, Michele Niu, “A review of dynamic network models with latent
Starnini, Alessandro Rizzo, and Nicola Perra, “Epi- variables,” Statistics surveys 12, 105 (2018).
demic spreading in modular time-varying networks,” [76] Purnamrita Sarkar, Sajid M Siddiqi, and Geogrey J
Scientific reports 8, 2352 (2018). Gordon, “A latent space approach to dynamic embed-
[60] Naoki Masuda and Petter Holme, Temporal network epi- ding of co-occurrence data,” in Artificial Intelligence
demiology (Springer, 2017). and Statistics (2007) pp. 420–427.
[77] Purnamrita Sarkar and Andrew W Moore, “Dynamic
25

social network analysis using latent space models,” in times of the critical dynamical erdős–rényi graph,” The
Advances in Neural Information Processing Systems Annals of Applied Probability 28, 2275–2308 (2018).
(2006) pp. 1145–1152. [98] Raphaël Rossignol, “Scaling limit of dynamical perco-
[78] Yuval Peres, Alistair Sinclair, Perla Sousi, and Alexan- lation on critical erdös-rényi random graphs,” arXiv
dre Stauffer, “Mobile geometric graphs: Detection, cov- preprint arXiv:1710.09101 (2020).
erage and percolation,” Probability Theory and Related [99] Andrea EF Clementi, Claudio Macci, Angelo Monti,
Fields 156, 273–305 (2013). Francesco Pasquale, and Riccardo Silvestri, “Flooding
[79] Andrea Clementi and Riccardo Silvestri, “Parsimonious time of edge-markovian evolving graphs,” SIAM journal
flooding in geometric random-walks,” Journal of Com- on discrete mathematics 24, 1694–1712 (2010).
puter and System Sciences 81, 219–233 (2015). [100] John Whitbeck, Vania Conan, and Marcelo Dias
[80] Harrison Hartle, Brennan Klein, Stefan McCabe, de Amorim, “Performance of opportunistic epidemic
Alexander Daniels, Guillaume St-Onge, Charles Mur- routing on edge-markovian dynamic graphs,” IEEE
phy, and Laurent Hébert-Dufresne, “Network compari- Transactions on communications 59, 1259–1263 (2011).
son and the within-ensemble graph distance,” Proceed- [101] Aurelie Faure de Pebeyre, Fabien Tarissan, and Julien
ings of the Royal Society A 476, 20190744 (2020). Sopena, “On the relevance of the edge-markovian evolv-
[81] James R Norris, Markov chains, 2 (Cambridge univer- ing graph model for real mobile networks,” in 2013 IFIP
sity press, 1998). Wireless Days (WD) (IEEE, 2013) pp. 1–6.
[82] Ehrhard Behrends, Introduction to Markov chains, Vol. [102] Tiago P Peixoto, “Entropy of stochastic blockmodel en-
228 (Springer, 2000). sembles,” Physical Review E 85, 056122 (2012).
[83] Ginestra Bianconi, Multilayer networks: structure and [103] Tiago P Peixoto, “Nonparametric bayesian inference of
function (Oxford university press, 2018). the microcanonical stochastic block model,” Physical
[84] Manlio De Domenico, Albert Solé-Ribalta, Emanuele Review E 95, 012317 (2017).
Cozzo, Mikko Kivelä, Yamir Moreno, Mason A Porter, [104] Stephen G Kobourov, “Spring embedders and force
Sergio Gómez, and Alex Arenas, “Mathematical for- directed graph drawing algorithms,” arXiv preprint
mulation of multilayer networks,” Physical Review X 3, arXiv:1201.3011 (2012).
041022 (2013). [105] Bo Söderberg, “Random graphs with hidden color,”
[85] Peter T Landsberg, “Foundations of thermodynamics,” Physical Review E 68, 015102 (2003).
Reviews of modern physics 28, 363 (1956). [106] Bo Söderberg, “General formalism for inhomogeneous
[86] Nicola Perra, Bruno Goncalves, Romualdo Pastor- random graphs,” Physical review E 66, 066121 (2002).
Satorras, and Alessandro Vespignani, “Activity driven [107] Alfonso Allen-Perkins, “Random spherical graphs,”
modeling of time varying networks,” Scientific Reports Physical Review E 98, 032310 (2018).
2, 469 (2012). [108] Duncan J Watts and Steven H Strogatz, “Collective dy-
[87] Fragkiskos Papadopoulos and Marco Antonio Rodrı́guez namics of small-worldnetworks,” nature 393, 440–442
Flores, “Latent geometry and dynamics of proximity (1998).
networks,” Physical Review E 100, 052313 (2019). [109] Arturo Buscarino, Luigi Fortuna, Mattia Frasca, and
[88] Béla Bollobás, Svante Janson, and Oliver Rior- Vito Latora, “Disease spreading in populations of mov-
dan, “The phase transition in inhomogeneous random ing agents,” EPL (Europhysics Letters) 82, 38002
graphs,” Random Structures & Algorithms 31, 3–122 (2008).
(2007). [110] Mathew D Penrose et al., “Connectivity of soft random
[89] Roberto Imbuzeiro Oliveira, “Concentration of the adja- geometric graphs,” The Annals of Applied Probability
cency matrix and of the laplacian in random graphs with 26, 986–1028 (2016).
independent edges,” arXiv preprint arXiv:0911.0600 [111] Michael Wilsher, Carl P Dettmann, and Ayalvadi
(2009). Ganesh, “Connectivity in one-dimensional soft random
[90] Linyuan Lu and Xing Peng, “Spectra of edge- geometric graphs,” arXiv preprint arXiv:2007.06301
independent random graphs,” arXiv preprint (2020).
arXiv:1204.6207 (2012). [112] Marcus Kaiser and Claus C Hilgetag, “Spatial growth
[91] Paul Erdos and Alfred Renyi, “On random graphs i,” of real-world networks,” Physical Review E 69, 036103
Publ. math. debrecen 6, 18 (1959). (2004).
[92] Carolyn J Anderson, Stanley Wasserman, and Kather- [113] Carl P Dettmann and Orestis Georgiou, “Random geo-
ine Faust, “Building stochastic blockmodels,” Social metric graphs with general connection functions,” Phys-
networks 14, 137–161 (1992). ical Review E 93, 032313 (2016).
[93] Richard W Hamming, “Error detecting and error cor- [114] Ivan Voitalov, Pim van der Hoorn, Maksim Kit-
recting codes,” The Bell system technical journal 29, sak, Fragkiskos Papadopoulos, and Dmitri Krioukov,
147–160 (1950). “Weighted hypersoft configuration model,” Physical Re-
[94] Jeffrey E Steif, “A survey of dynamical percolation,” view Research 2, 043157 (2020).
in Fractal geometry and stochastics IV (Springer, 2009) [115] Fan Chung and Linyuan Lu, “Connected components in
pp. 145–174. random graphs with given expected degree sequences,”
[95] Yuval Peres and Jeffrey E Steif, “The number of infinite Annals of combinatorics 6, 125–145 (2002).
clusters in dynamical percolation,” Probability theory [116] Ilkka Norros and Hannu Reittu, “On a conditionally
and related fields 111, 141–165 (1998). poissonian graph process,” Advances in Applied Proba-
[96] Davar Khoshnevisan, “Dynamical percolation on gen- bility 38, 59–75 (2006).
eral trees,” Probability theory and related fields 140, [117] Karl Bringmann, Ralph Keusch, and Johannes Lengler,
169–193 (2008). “Average distance in a general class of scale-free
[97] Matthew I Roberts, Batı Şengül, et al., “Exceptional networks with underlying geometry,” arXiv preprint
26

arXiv:1602.05712 (2016). temporal models of social networks,” Electronic Journal


[118] Tobias Friedrich and Anton Krohmer, “On the diam- of Statistics 4, 585–605 (2010).
eter of hyperbolic random graphs,” SIAM Journal on [136] Andrew Mellor, “Event graphs: Advances and applica-
Discrete Mathematics 32, 1314–1334 (2018). tions of second-order time-unfolded temporal network
[119] Ali Faqeeh, Saeed Osat, and Filippo Radicchi, “Char- models,” Advances in Complex Systems 22, 1950006
acterizing the analogy between hyperbolic embedding (2019).
and community structure of complex networks,” Physi- [137] Roger E Miles, “On the homogeneous planar poisson
cal review letters 121, 098301 (2018). point process,” Mathematical Biosciences 6, 85–127
[120] Guillermo Garcı́a-Pérez, Marián Boguñá, and (1970).
M Ángeles Serrano, “Multiscale unfolding of real net- [138] Jesper Møller and Rasmus P Waagepetersen, “Mod-
works by geometric renormalization,” Nature Physics ern statistics for spatial point processes,” Scandinavian
14, 583–589 (2018). Journal of Statistics 34, 643–684 (2007).
[121] Mehran Kardar, Statistical physics of particles (Cam- [139] Matthias Reitzner, “Poisson point processes: large de-
bridge University Press, 2007). viation inequalities for the convex distance,” (2013),
[122] Xiao Zhang, Cristopher Moore, and Mark EJ New- 10.1214/ecp.v18-2851.
man, “Random graph models for dynamic networks,” [140] SR Srinivasa Varadhan, Stochastic processes, Vol. 16
The European Physical Journal B 90, 200 (2017). (American Mathematical Soc., 2007).
[123] Michel Mandjes, Nicos Starreveld, René Bekker, and [141] P Mazzarisi, P Barucca, F Lillo, and D Tantari, “A
Peter Spreij, “Dynamic erdős-rényi graphs,” in Comput- dynamic network model with persistent links and node-
ing and Software Science (Springer, 2019) pp. 123–140. specific latent variables, with an application to the in-
[124] Andrea EF Clementi, Francesco Pasquale, Angelo terbank market,” European Journal of Operational Re-
Monti, and Riccardo Silvestri, “Information spreading search 281, 50–65 (2020).
in stationary markovian evolving graphs,” in 2009 IEEE [142] Ranran Bian, Yun Sing Koh, Gillian Dobbie, and
International Symposium on Parallel & Distributed Pro- Anna Divoli, “Network embedding and change mod-
cessing (IEEE, 2009) pp. 1–12. eling in dynamic heterogeneous networks,” in Proceed-
[125] Ruijie Du, Hanxing Wang, and Yunbin Fu, ings of the 42nd International ACM SIGIR Conference
“Continuous-time independent edge-markovian random on Research and Development in Information Retrieval
graph process,” Chinese Annals of Mathematics, Series (2019) pp. 861–864.
B 37, 73–82 (2016). [143] Palash Goyal, Sujit Rokka Chhetri, Ninareh Mehrabi,
[126] Ioannis Lamprou, Russell Martin, and Paul Spirakis, Emilio Ferrara, and Arquimedes Canedo, “Dynam-
“Cover time in edge-uniform stochastically-evolving icgem: A library for dynamic graph embedding meth-
graphs,” Algorithms 11, 149 (2018). ods,” arXiv preprint arXiv:1811.10734 (2018).
[127] Lorenzo Zino, Alessandro Rizzo, and Maurizio Por- [144] Yuanfu Lu, Xiao Wang, Chuan Shi, Philip S Yu, and
firi, “Continuous-time discrete-distribution theory for Yanfang Ye, “Temporal network embedding with micro-
activity-driven networks,” Physical review letters 117, and macro-dynamics,” in Proceedings of the 28th ACM
228–302 (2016). International Conference on Information and Knowl-
[128] Iacopo Pozzana, Kaiyuan Sun, and Nicola Perra, “Epi- edge Management (2019) pp. 469–478.
demic spreading on activity-driven networks with at- [145] Yu Xie, Chunyi Li, Bin Yu, Chen Zhang, and Zhouhua
tractiveness,” Physical Review E 96, 042310 (2017). Tang, “A survey on dynamic network embedding,”
[129] Angélica Sousa da Mata and Romualdo Pastor-Satorras, arXiv preprint arXiv:2006.08093 (2020).
“Slow relaxation dynamics and aging in random walks [146] Mounir Haddad, Cécile Bothorel, Philippe Lenca,
on activity driven temporal networks,” The European and Dominique Bedart, “Temporalnode2vec: Tempo-
Physical Journal B 88, 12 (2015). ral node embedding in temporal networks,” in Inter-
[130] Laura Alessandretti, Kaiyuan Sun, Andrea Baronchelli, national Conference on Complex Networks and Their
and Nicola Perra, “Random walks on activity-driven Applications (Springer, 2019) pp. 891–902.
networks with attractiveness,” Physical Review E 95, [147] Di Jin, Sungchul Kim, Ryan A Rossi, and Danai
052318 (2017). Koutra, “From static to dynamic node embeddings,”
[131] Alessandro Rizzo and Maurizio Porfiri, “Innovation dif- arXiv preprint arXiv:2009.10017 (2020).
fusion on time-varying activity driven networks,” The [148] Simeon Spasov, Alessandro Di Stefano, Pietro Lio, and
European Physical Journal B 89, 20 (2016). Jian Tang, “Grade: Graph dynamic embedding,” arXiv
[132] Michele Starnini and Romualdo Pastor-Satorras, “Tem- preprint arXiv:2007.08060 (2020).
poral percolation in activity-driven networks,” Physical [149] Chuanchang Chen, Yubo Tao, and Hai Lin, “Dynamic
Review E 89, 032807 (2014). network embeddings for network evolution analysis,”
[133] Adrian Silvescu and Vasant Honavar, “Temporal arXiv preprint arXiv:1906.09860 (2019).
boolean network models of genetic networks and their [150] Pengyu Cheng, Yitong Li, Xinyuan Zhang, Liqun Chen,
inference from gene expression time series,” Complex David Carlson, and Lawrence Carin, “Dynamic em-
systems 13, 61–78 (2001). bedding on textual networks via a gaussian process,” in
[134] Sophie Lebre, Jennifer Becq, Frederic Devaux, Proceedings of the AAAI Conference on Artificial Intel-
Michael PH Stumpf, and Gaelle Lelandais, “Statis- ligence, Vol. 34 (2020) pp. 7562–7569.
tical inference of the time-varying structure of gene- [151] Linhong Zhu, Dong Guo, Junming Yin, Greg Ver Steeg,
regulation networks,” BMC systems biology 4, 130 and Aram Galstyan, “Scalable temporal latent space in-
(2010). ference for link prediction in dynamic social networks,”
[135] Steve Hanneke, Wenjie Fu, Eric P Xing, et al., “Discrete IEEE Transactions on Knowledge and Data Engineering
28, 2765–2777 (2016).
27

[152] John Boaz Lee, Giang Nguyen, Ryan A Rossi, Nes- cesses and their Applications 129, 3360–3375 (2019).
reen K Ahmed, Eunyee Koh, and Sungchul Kim, [169] Luca Avena, Hakan Güldaş, Remco van der Hofstad,
“Dynamic node embeddings from edge streams,” IEEE Frank den Hollander, and Oliver Nagy, “Linking the
Transactions on Emerging Topics in Computational In- mixing times of random walks on static and dynamic
telligence (2020), 10.1109/tetci.2020.3011432. random graphs,” arXiv preprint arXiv:2012.11012
[153] Uriel Singer, Ido Guy, and Kira Radinsky, “Node (2020).
embedding over temporal graphs,” arXiv preprint [170] Tamar Schlick, Molecular modeling and simulation:
arXiv:1903.08889 (2019). an interdisciplinary guide: an interdisciplinary guide,
[154] Srijan Kumar, Xikun Zhang, and Jure Leskovec, Vol. 21 (Springer Science & Business Media, 2010).
“Learning dynamic embeddings from temporal interac- [171] Marco Antonio Rodrı́guez Flores and Fragkiskos Pa-
tions,” arXiv preprint arXiv:1812.02289 (2018). padopoulos, “Similarity forces and recurrent compo-
[155] Fragkiskos Papadopoulos, Constantinos Psomas, and nents in human face-to-face interaction networks,”
Dmitri Krioukov, “Network mapping by replaying hy- Physical review letters 121, 258301 (2018).
perbolic growth,” IEEE/ACM Transactions on Net- [172] Emmanuel Jacob and Peter Mörters, “The contact pro-
working 23, 198–211 (2014). cess on scale-free networks evolving by vertex updat-
[156] Romualdo Pastor-Satorras, Claudio Castellano, Piet ing,” Royal Society open science 4, 170081 (2017).
Van Mieghem, and Alessandro Vespignani, “Epidemic [173] Häggström Olle, Peres Yuval, and E Steif Jeffrey, “Dy-
processes in complex networks,” Reviews of modern namical percolation,” in Annales de l’Institut Henri
physics 87, 925 (2015). Poincare (B) Probability and Statistics, Vol. 33 (Else-
[157] Sergey N Dorogovtsev and Jose FF Mendes, “Evolution vier, 1997) pp. 497–528.
of networks,” Advances in physics 51, 1079–1187 (2002). [174] Christophe Garban, Gábor Pete, and Oded Schramm,
[158] Cristopher Moore, Gourab Ghoshal, and Mark EJ New- “The scaling limits of near-critical and dynamical perco-
man, “Exact solutions for models of evolving networks lation,” Journal of the European Mathematical Society
with addition and deletion of nodes,” Physical Review 20, 11951268 (2018).
E 74, 036121 (2006). [175] Kevin E Bassler, Erwin Frey, and RKP Zia, “Coevolu-
[159] Heiko Bauke, Cristopher Moore, Jean-Baptiste tion of nodes and links: Diversity-driven coexistence in
Rouquier, and David Sherrington, “Topological phase cyclic competition of three species,” Physical Review E
transition in a network model with preferential at- 99, 022309 (2019).
tachment and node removal,” The European Physical [176] Hiroki Sayama, Irene Pestov, Jeffrey Schmidt, Ben-
Journal B 83, 519–524 (2011). jamin James Bush, Chun Wong, Junichi Yamanoi, and
[160] Luca Becchetti, Andrea Clementi, Francesco Pasquale, Thilo Gross, “Modeling complex systems with adaptive
Luca Trevisan, and Isabella Ziccardi, “Expansion and networks,” Computers & Mathematics with Applica-
flooding in dynamic random networks with node churn,” tions 65, 1645–1664 (2013).
arXiv preprint arXiv:2007.14681 (2020). [177] Krzysztof Choromański, Michal Matuszak, and Jacek
[161] Dmitri Krioukov and Massimo Ostilli, “Duality between Mikisz, “Scale-free graph with preferential attachment
equilibrium and growing networks,” Physical Review E and evolving internal vertex structure,” Journal of Sta-
88, 022808 (2013). tistical Physics 151, 1175–1183 (2013).
[162] Piet Van Mieghem, Huijuan Wang, Xin Ge, Siyu Tang, [178] Guido Caldarelli, Andrea Capocci, and Diego Gar-
and Fernando A Kuipers, “Influence of assortativity and laschelli, “A self-organized model for network evolu-
degree-preserving rewiring on the spectra of networks,” tion,” The European Physical Journal B 64, 585–591
The European Physical Journal B 76, 643–652 (2010). (2008).
[163] Jean-Gabriel Young, Giovanni Petri, Francesco Vac- [179] Lia Papadopoulos, Jason Z Kim, Jürgen Kurths, and
carino, and Alice Patania, “Construction of and effi- Danielle S Bassett, “Development of structural correla-
cient sampling from the simplicial configuration model,” tions and synchronization from adaptive rewiring in net-
Physical Review E 96, 032312 (2017). works of kuramoto oscillators,” Chaos: An Interdisci-
[164] Tom Bannink, Remco van der Hofstad, and Clara plinary Journal of Nonlinear Science 27, 073115 (2017).
Stegehuis, “Switch chain mixing times and triangle [180] RTAJ Leenders, “Longitudinal behavior of network
counts in simple random graphs with given degrees,” structure and actor attributes: modeling interdepen-
Journal of Complex Networks 7, 210–225 (2019). dence of contagion and selection,” Evolution of social
[165] Shankar Bhamidi, Guy Bresler, and Allan Sly, “Mix- networks 1, 165–184 (1997).
ing time of exponential random graphs,” in 2008 49th [181] Young-Ho Eom, Stefano Boccaletti, and Guido Cal-
Annual IEEE Symposium on Foundations of Computer darelli, “Concurrent enhancement of percolation and
Science (IEEE, 2008) pp. 803–812. synchronization in adaptive networks,” Scientific re-
[166] Ryan DeMuse, Terry Easlick, and Mei Yin, “Mixing ports 6, 1–7 (2016).
time of vertex-weighted exponential random graphs,” [182] Marco Mancastroppa, Raffaella Burioni, Vittoria Col-
Journal of Computational and Applied Mathematics izza, and Alessandro Vezzani, “Active and inactive
362, 443–459 (2019). quarantine in epidemic spreading on adaptive activity-
[167] Luca Avena, Hakan Güldaş, Remco van der Hofstad, driven networks,” arXiv preprint arXiv:2004.07902
Frank den Hollander, et al., “Mixing times of random (2020), 10.1103/physreve.102.020301.
walks on dynamic configuration models,” Annals of Ap- [183] Genki Ichinose, Yoshiki Satotani, Hiroki Sayama, and
plied Probability 28, 1977–2002 (2018). Takashi Nagatani, “Reduced mobility of infected agents
[168] Luca Avena, Hakan Güldaş, Remco van der Hofstad, suppresses but lengthens disease in biased random
and Frank den Hollander, “Random walks on dynamic walk,” arXiv preprint arXiv:1807.01195 (2018).
configuration models: a trichotomy,” Stochastic Pro- [184] Nicholas J Gotelli, “Research frontiers in null model
28

analysis,” Global ecology and biogeography 10, 337–343 Handbooks in operations research and management sci-
(2001). ence 13, 83–121 (2006).
[185] Georgos Siganos, Michalis Faloutsos, Petros Faloutsos, [187] Patrick Billingsley, Probability and measure (John Wi-
and Christos Faloutsos, “Power laws and the as-level in- ley & Sons, 2008).
ternet topology,” IEEE/ACM Transactions on network- [188] Fragkiskos Papadopoulos, Maksim Kitsak, M Ángeles
ing 11, 514–524 (2003). Serrano, Marián Boguná, and Dmitri Krioukov, “Pop-
[186] Luc Devroye, “Nonuniform random variate generation,” ularity versus similarity in growing networks,” Nature
489, 537–540 (2012).

You might also like