 Research
 Open Access
 Published:
A multiagent model to study epidemic spreading and vaccination strategies in an urbanlike environment
Applied Network Science volume 5, Article number: 68 (2020)
Abstract
Worldwide urbanization calls for a deeper understanding of epidemic spreading within urban environments. Here, we tackle this problem through an agentbased model, in which agents move in a twodimensional physical space and interact according to proximity criteria. The planar space comprises several locations, which represent bounded regions of the urban space. Based on empirical evidence, we consider locations of different density and place them in a coreperiphery structure, with higher density in the central areas and lower density in the peripheral ones. Each agent is assigned to a base location, which represents where their home is. Through analytical tools and numerical techniques, we study the formation mechanism of the network of contacts, which is characterized by the emergence of heterogeneous interaction patterns. We put forward an extensive simulation campaign to analyze the onset and evolution of contagious diseases spreading in the urban environment. Interestingly, we find that, in the presence of a coreperiphery structure, the diffusion of the disease is not affected by the time agents spend inside their base location before leaving it, but it is influenced by their motion outside their base location: a strong tendency to return to the base location favors the spreading of the disease. A simplified onedimensional version of the model is examined to gain analytical insight into the spreading process and support our numerical findings. Finally, we investigate the effectiveness of vaccination campaigns, supporting the intuition that vaccination in central and dense areas should be prioritized.
Introduction
The number of people living in urban areas has already exceeded 4 billions and it is estimated to reach 7 billions by 2050 (Ritchie and Roser 2020). Global urbanization poses new challenges in different sectors, ranging from transportation to energy supply, environmental degradation, and healthcare (Cohen 2006). Among these challenges, understanding how urban environments shape the evolution of epidemic outbreaks and designing effective containment strategies have recently drawn considerable attention from researchers and media. Paradigmatic are the examples of recent outbreaks, such as the 2003 SARS (Smith 2006), 2012 MERS (de Groot et al. 2013), and the ongoing COVID19 (Chang et al. 2020; Chinazzi et al. 2020; Ferguson et al. 2020).
Analyzing how diseases spread within urban environments has been the topic of various experimental and theoretical studies (Eubank et al. 2004; Satterthwaite 2007; Alirol et al. 2011; Neiderud 2015; Telle et al. 2016; Massaro et al. 2019). Experimental studies have offered a detailed analysis of urban environments (Satterthwaite 2007; Neiderud 2015), suggesting specific preventive measures for both urban residents and travelers (Alirol et al. 2011). Theoretical studies have provided insights on how to contain outbreaks (Eubank et al. 2004), as well on possible key drivers of contagion, such as the role of human mobility patterns (Massaro et al. 2019) and socioeconomical risk factors (Telle et al. 2016).
Despite the importance of urban environments in the global diffusion of diseases (Brockmann and Helbing 2013), how epidemic outbreaks unfold therein is yet to be fully elucidated. Some attempts to mathematically describe the diffusion of diseases within and among cities can be found in metapopulation models (Colizza and Vespignani 2007; Colizza and Vespignani 2008; Liu et al. 2013). In these models, a fixed network of spatial localities is used to model the mobility patterns between cities, where homogeneouslymixed populations are affected by the epidemic. While metapopulation models can be, at least partially, tackled through analytical methods (Colizza and Vespignani 2007; Colizza and Vespignani 2008; Liu et al. 2013), considerable experimental evidence challenges the assumption of homogeneouslymixed populations, which could yield misleading estimates of the extent of epidemic outbreaks (PastorSatorras et al. 2015).
On the other side of the spectrum of epidemic models, agentbased models (Eubank et al. 2004; Degli Atti et al. 2008; Gilbert 2008) constitute a valuable framework to offer a realistic description of how diseases diffuse within urban environments. Currently, this class of models is being leveraged to predict the diffusion of the COVID19 (Chang et al. 2020; Ferguson et al. 2020), informing the design and implementation of timely containment measures. However, those advantageous features are accompanied by some drawbacks, including the need of mobility data and models, the use of massive computational resources when the system size scales up, and the lack of analytical techniques for model characterizations. A viable approach to agentbased modeling is based on twodimensional representations, where agents move and interact according to proximity criteria (Frasca et al. 2006; Frasca et al. 2008; Zhou and Liu 2009; Buscarino et al. 2010; Yang et al. 2012; Buscarino et al. 2014; Huang et al. 2016; Peng et al. 2019). As a first approximation, the motion of the agents can be described according to a random walk with sporadic long range jumps (Frasca et al. 2006). Building on this approximation, it is possible to include realistic features such as nonhomogeneous infection rates (Buscarino et al. 2014) and heterogeneous radii of interaction (Huang et al. 2016; Peng et al. 2019). Much work is needed, however, to fully capture and describe realistic patterns of human mobility, which are shaped by the complex structure of urban environments (Alessandretti et al. 2017).
Here, we contribute to the field of agentbased modeling by presenting a twodimensional model that is capable of reproducing a spatially inhomogeneous urbanlike environment, in which a heterogeneous population follows realistic rules of mobility. Inspired by previous theoretical studies (Huang et al. 2016; Peng et al. 2019), we assume that agents have a heterogeneous radius of interaction, which accounts for variations among individuals in their involvement in social behavior and activities.
We consider a urbanlike environment composed of multiple locations, each of them representing a welldefined region of the urban space (that is, a neighborhood of a city). Through this spatial organization, our model is able to encapsulate two key features of urban environments. First, it can reproduce typical coreperiphery structures, where central regions are more densely populated than peripheral ones (Makse et al. 1998; De Nadai et al. 2016). Second, it allows to mimic the inhomogeneity in movement patterns of humans, where people tend to spend most of their time in a few neighborhoods — for example, experimental studies suggest that individuals spend most time either at home or at work, while only sporadically visiting other neighborhoods (Brasche and Bischof 2005; Schweizer et al. 2007; Matz et al. 2015).
To reproduce realistic conditions for agents’ movement patterns, we posit two different mobility schemes, applied within and outside the agents’ base location (that is, where their home is). While the homogeneous mixing assumption seems reasonable within the agents’ base location, we assume that agents tend to move outside of their base location following a gravity model and a biased random walk. Hence, agents are more likely to explore regions close to their base location rather than remotelylocated regions (Brasche and Bischof 2005; Schweizer et al. 2007; Matz et al. 2015). From this mobility pattern, we construct a network of contacts, whose topology is examined in this study. Through some mathematical derivations and numerical simulations, we seek to identify analogies between the proposed agentbased model and existing temporal network approaches, where spatial mobility is lumped into nodal parameters (Perra et al. 2012; Zino et al. 2016; Zino et al. 2018; Nadini et al. 2018; Nadini et al. 2020).
We adopt the proposed framework to study how urbanlike environments shape the diffusion of infectious diseases, using the illustrative epidemic models with the possibility of reinfection (susceptible–infected–susceptible, or SIS) or permanent removal (susceptible–infected–removed, or SIR) (Keeling and Rohani 2011). Our results confirm the intuition that agents’ density plays a critical role on the diffusion of both SIS and SIR processes. In the limit case where the entire urban area consists of one location, agents that move outside the location only seldom interact with other agents, thereby hindering the contagion process.
In the more realistic scenario of a coreperiphery structure with multiple locations, we unexpectedly find that the time spent by agents in their base location does not influence the endemic prevalence in the SIS model and the epidemic size in the SIR model, which are measures of the overall fraction of population that is affected by the disease. A possible explanation for this counterintuitive phenomenon may be found in the agents’ mobility rules. In fact, commuting patterns that bring agents from central areas to peripheral ones may yield a reduction in the diffusion in the central areas. Contrarily, commuting patterns from peripheral to central areas lead to the opposite effects. To detail the working principles of this unexpected result, we present a minimalistic onedimensional version of the model, which is amenable to a complete analytical treatment, thereby offering some preliminary analytical insight into the role of model parameters on epidemic spreading.
We also explore the interplay between the agents’ radius of interaction and their positioning in the coreperiphery structure. We find that when agents’ with larger radii are assigned to the less dense and peripheral locations, then the endemic prevalence (in the SIS model) and the epidemic size (in the SIR model) strongly decrease with respect to a random assignment. Moreover, when agents’ with larger radii are assigned to denser (and central) locations, the fraction of population affected by the disease is not sensibly increased. Hence, our results support the intuition that more central areas are the crossroads of individuals commuting in a city and are critical for the spread of diseases.
Finally, we numerically analyze the effect of targeted vaccination strategies, which consist of immunizing a portion of the population in a specific location, prior to the disease onset. Consistent with the intuition that central locations play a key role on the spread of epidemic diseases, we find that the best strategy is to prioritize the vaccination of agents belonging to central urban areas.
The rest of the manuscript is organized as follows. In Table 1, we summarize the notation and the nomenclature used throughout the paper. In “Model”, we introduce the model of agents’ mobility. In “Temporal network of contacts”, we describe and analyze the temporal network formation mechanism. In “Epidemic processes”, we analytically and numerically study the spread of epidemic processes and compare several vaccination strategies. In “Discussion and conclusion” sections, we discuss our main findings and propose further research directions.
Model
We consider N≥1 agents, labeled by positive integers \(\mathcal V:=\{1, \dots, N\}\). Agents move in a square planar space with side length D>0 and with periodic boundary conditions (Frasca et al. 2006), that is, when an agent exits through one side of the square planar space, it reappears on the opposite side. The position of agent \(i\in \mathcal V\) at the discrete time \(t\in \mathbb Z_{\geq 0}\) in a Cartesian reference frame is denoted by (x_{i}(t),y_{i}(t))∈[0,D]×[0,D].
Urbanlike environment
We deploy the N agents over L locations, each of them representing a bounded portion of the square space. The set of all locations is \(\mathcal {L} = \{1, \dots, L \}\) and each location \(\ell \in \mathcal {L}\) occupies a convex region of the planar space Ω_{ℓ}⊂[0,D]×[0,D] with area A_{ℓ}. We assume that all the locations are mutually disjoint and we order them in ascending order according to their area, that is, \(A_{1}\leq \dots \leq A_{L}\). We hypothesize that A_{L}≪D^{2}, that is, each location is much smaller than the whole square space. Each agent is assigned a specific base location (that is, their home) according to a map: \(\beta :\mathcal V\longrightarrow \mathcal {L}\); we assume that each base location is associated with the same number of agents, n=N/L.^{Footnote 1} As a result, the density of agents assigned to location ℓ,
varies with the location. Also, locations are sorted in descending order of density, that is \(\rho _{1}\geq \dots \geq \rho _{L}\).
For simplicity, in the numerical simulations implemented throughout this paper, the convex regions are taken as circles with nondecreasing radii \(\Sigma _{1}\leq \dots \leq \Sigma _{L}\). Inspired by empirical and theoretical studies (Witten Jr and Sander 1981; Vicsek 1992; Makse et al. 1998; De Nadai et al. 2016), radii of the locations are extracted from a power law distribution with probability density function P(Σ)∝Σ^{−γ}, with bilateral cutoffs such that Σ_{ℓ}∈[Σ_{min},Σ_{max}], for any \(\ell \in \mathcal {L}\). The upper bound guarantees that all locations fit in the square, and the lower bound sets a maximum to the locations’ density. Since the radii are power law distributed with exponent −γ, the areas of the locations are also power law distributed with exponent −2γ and cutoffs such that \(A_{\ell }\in \left [\pi {\Sigma }^{2}_{\text {min}},\pi {\Sigma }^{2}_{\text {max}}\right ]\).
Empirical studies on urban environments suggest that cities are constructed according to a coreperiphery structure, whereby locations with smaller areas and denser population are located in their center, while locations with larger areas and sparser population pertain to peripheral areas (Makse et al. 1998; De Nadai et al. 2016), as shown in Fig. 1a. We implement a heuristic algorithm to generate a locations’ layout according to a coreperiphery structure and qualitatively reproduce empirical results. Figure 1b shows the output generated by our algorithm, whose structure is qualitatively consistent with the empirical observations reported in Fig. 1a. Details of the algorithm used to create such a coreperiphery structure are presented in Appendix A.
At the present time, the technical literature has yet to empirically study the relationship between the agents’ radius of interaction and the density of their base location. In this paper, we explore different scenarios aiming at offering a first theoretical understanding of the impact of this potential relationship on the evolution of disease processes. Unless otherwise specified, we consider that the n members of each location are randomly chosen, independently of their radius of interaction. We also examine the cases in which there is a correlation (positive or negative) between the agents’ radius of interaction and the density in their base location: a positive correlation means that agents with larger radius are assigned to denser (central) locations, while a negative correlation identifies the case in which agents with larger radius are placed in the less dense (peripheral) locations.
Law of motion
Agents’ positions evolve according to a discretetime dynamics. Hence, their positions are updated at each discrete timestep \(t\in \mathbb Z_{\geq 0}\). The law of motion of the generic agent i depends on whether it is outside or inside its base location \(\beta (i) \in \mathcal {L}\). If agent \(i\in \mathcal { V}\) is outside its base location, that is, (x_{i}(t),y_{i}(t))∉Ω_{β(i)}, it performs a biased random walk toward its base location;^{Footnote 2} on the contrary, if it is inside its base location, it can move to a random position (within its base location), or exit according to a probabilistic mechanism.
Specifically, if the agent is not in its base location, then
Here, v>0 is the (constant) speed and θ_{i}(t) is an angle, determined as the sum of two terms:
The first term, Φ_{i}(t), represents the angle of the direction of the shortest path from (x_{i}(t),y_{i}(t)) to the region Ω_{β(i)}, that is, to the agent base location. This quantity is formally defined by introducing
so that
The second term, αΔθ_{it}, is modulated by Δθ_{it}, which is a random variable that takes values uniformly in [−π,π] and is extracted independently at every time t and for every agent i, and by α∈[0,1], which is a randomness parameter that regulates how much the agents tend to deviate from the shortest path to return to their base location, when they are outside it. When α=1, the agent moves completely at random, while, when α=0, it moves along the shortest path toward its location.
When the agent is in its base location, (x_{i}(t),y_{i}(t))∈Ω_{β(i)}, the law of motion is defined as follows. Given a parameter p∈[0,1] (constant in time and equal for all agents), with probability 1−p, the agent moves to a position chosen uniformly at random within its base location, so that its position is completely uncorrelated with the previous one. Otherwise, with probability p, the agent jumps outside its base location, ending in a position of the remaining space according to a distance decay law. In particular, we assume that the distance from the border of the base location at which an agent jumps is the realization of a random variable exponentially distributed with exponent c>0. The corresponding probability density function P_{jump}(d) is equal to
for d≥0. Hence, the expected distance at which an agent jumps is equal to 1/c. A sensible choice of the exponent in the law in Eq. (6) yields a typical behavior observed in many empirical studies (Levinson and ElGeneidy 2009; Boussauw et al. 2011), whereby agents tend to gravitate within and around their base location, while sporadically initiating journeys toward further locations (Liu et al. 2014). Two salient snapshots of agents’ motion are illustrated in Fig. 2a and c.
Temporal network of contacts
Upon the mobility model, we construct the network of contacts, which is the means through which the disease is transmitted. In this vein, agents create undirected temporal links based on proximity with other agents. Specifically, agent \(i\in \mathcal V\) contacts all other agents located within a circle of radius σ_{i} centered in its current position (x_{i}(t),y_{i}(t)). We assume that agents have heterogeneously distributed radii, extracted from a power law distribution with probability density function G(σ)∝σ^{−ω}, with suitable cutoffs so that σ∈[σ_{min},σ_{max}].
An undirected temporal link between two agents i and j is created when the Euclidean distance at time t between the position of agent i, (x_{i}(t),y_{i}(t)), and the position of agent j, (x_{j}(t),y_{j}(t)), is less than or equal to the maximum of the two radii σ_{i} and σ_{j}, that is,
Figure 2b and d show two consecutive instances of the network formation process. Toward modeling of epidemics in urban environments, our model allows agents inside a location to interact with agents outside the location, see, for example, agents 2 and 3 in Fig. 2a and b.
The intricacy of the motion patterns and the nonsmooth process for generating the network of contacts hinder the analytical tractability of the model in its general formulation. However, for some cases it is possible to establish analytical insight on some model features. In Appendix B, we analyze the system in the two specific cases of: i) a free space without any location (L=0), and ii) when the law of motion of the agents outside their base locations is deterministic (α=0) and the locations are uniformly distributed in the plane. In these two cases it is possible to apply a meanfield approach in the limit of large systems (N→∞) to analytically study the number of connections generated by the agents, which represent potential paths of infection throughout the population. Therein, numerical simulations for large systems are provided to validate theoretical findings. The general case of a coreperiphery structure and stochasticity in the motion out of the location is treated only through numerical simulations, in which we record all the interactions and use their timeevolution over sufficiently long timewindows (T≫1, where T is the duration of the observation) to study key topological features (average degree and clustering coefficient).
In Fig. 3a, we consider the case without locations. Our numerical results are consistent with analytical predictions in Appendix B, which are exact in the thermodynamic limit of large systems N→∞. Specifically, the expected degree of agent i is equal to
so that agents with a larger radius of interaction have a greater average degree. Note that when the agent radius is close to the minimum, that is, σ_{i}≈σ_{min}, Eq. (8) is dominated by the second summand, while when the radius is close to the maximum, that is, σ_{i}≈σ_{max}, the righthand side of Eq. (8) scales with \({\sigma }_{i}^{2}\). Equation 8 highlights a nontrivial relationship between the expected degree of an agent and its radius of interaction, which is due to the links passively received by the agent when it is located within the radii of interaction of other agents. This relationship is different from the case of directed interactions analyzed in Huang et al. (2016); Peng et al. (2019), where E[k_{i}] is proportional to \(\sigma _{i}^{2}\).
In Fig. 3b, we examine the case of multiple locations uniformly distributed in the plane. Based on the theoretical derivations in Appendix B, we obtain the following expression for the expected number of interactions that agent i establishes in its own location in the thermodynamic limit of large systems N→∞:
We observe that E [k_{in,i}] is inversely proportional to the square of the radius of location β(i), that is, \(\Sigma ^{2}_{\beta (i)}\). In Fig. 3b, we multiply the numerical estimation of each agents’ average degree by the square of the radius of the corresponding location, to allow a graphical representation of the comparison between numerical estimations and analytical predictions. Numerical results in finitesize systems are in close agreement with analytical predictions of Eq. (9), which are exact in the limit of large systems.
In order to offer insight into the influence that a coreperiphery structure has on the agents’ average degree, we analyze three different scenarios. First, we study the case in which agents are strongly tied to their base location, such that they have low probability of jumping outside their base location (small p) and low probability of deviating from the shortest path to return to the base location, when they are outside (small randomness α), in Fig. 4a. Second, we examine the case in which the probability of jumping outside their base location and the agents’ randomness in the random walk are intermediate, in Fig. 4b. Finally, we investigate the case in which agents tend to spend most of their time outside their base location (large p and α), in Fig. 4c.
As expected from the formulation of the model, we determine that agents with larger radii of interaction tend to have larger average degrees. Also, agents with larger radii of interaction are more likely to contact agents outside of their base location, thereby leading to lower clustering coefficients \(\mathcal {C}\) (Saramäki et al. 2007), which is a measure of the agents’ tendency to form clusters.^{Footnote 3} The results of our simulations are reported in Figs. 4d–f. During the evolution of an epidemic process, agents with large radii might act as “superspreaders (LloydSmith et al. 2005),” which are known to have a key role on the disease spreading, by creating many connections and infecting agents from different locations.
Less expected are the relationships between agents’ radii of interaction and their base location, and between agents’ clustering coefficients and their radii of interaction. Among the agents with a small radius of interaction, the agents that are assigned to central locations have a larger average degree than those that are assigned to peripheral locations. This result is independent of the time spent outside their base location (that is, independent of p and α). Interestingly, the same argument does not apply when agents have a large radius of interaction. In this situation, agents assigned to peripheral locations may have a larger degree than agents assigned to central locations, because their high radius of interaction allows a multitude of interactions, independent of the position of their base location. In addition, agents assigned to central locations have a lower clustering coefficient than agents assigned to peripheral locations. This is because the former group interacts with more agents and creates less tight clusters than the latter group that is assigned to peripheral locations.
Further, we comment that time spent outside the base location (regulated by p and α) is inversely proportional to the dispersion of the agents’ degree. In fact, the largest dispersion in the agents’ degree is registered when the probability of jumping outside the base location and the agent’s randomness are small, in Fig. 4a. Dispersion in the agents’ degree decreases as the probability of jumping outside the base location and the agent’s randomness increase, in Fig. 4b and in Fig. 4c. A possible explanation for this phenomenon can be based on the following argument. The more the agents spend time inside their base location, the more they remain isolated from other agents in the system. On the contrary, agents’ isolation is reduced when they spend more time outside their base location: they are able to interact with all the agents in the system, and, as a consequence, the dispersion in their degree decreases.
Epidemic processes
Here, we investigate the spreading of epidemics over spatiallydistributed populations that behave according to the presented agentbased model. Even though the complexity of the mobility mechanism and the presence of a geographical structure hinders the general mathematical treatment of the epidemics, some mathematical insight can be obtained by studying a simplified, onedimensional version of the model.
We start by presenting the onedimensional simplification, discussing our main analytical results and validating them against numerical simulations. Specifically, we focus on the impact of three salient model characteristics on epidemic processes. Namely, i) the random exploration of the space governed by the parameter α, ii) the probability of jumping outside the base location p, and iii) the presence of multiple locations. Interestingly, when multiple locations are present, the time spent inside the base location does not play an important role in the evolution of the contagion process.
Then, we consider the twodimensional agentbased model and explore the effect of the same three salient model characteristics. We determine that results are qualitatively equivalent to those obtained in the onedimensional case. We continue our numerical campaign on the twodimensional agentbased model by studying whether the disease spreading is influenced by the presence of agents with larger radii in specific regions of the coreperiphery structure. To this end, we study the presence of agents with greater radius of interaction in either the more central or more peripheral locations, thereby discovering that central locations are important for sustaining the overall diffusion. Finally, we analyze the outcome of vaccination strategies, finding that the highest beneficial effect for the entire population is registered when the vaccination of agents in central locations is prioritized.
We consider an infectious disease with the possibility of reinfection (SIS model) or immunization (SIR model), after the contraction of the infection. In the SIS model, agents can be either susceptible to the disease or infected (Keeling and Rohani 2011). Two mechanisms characterize the epidemic dynamics: infection propagation and recovery process. The former occurs when an infected agent contacts a susceptible one, who may become infected with a probability λ, independently of the others. The latter consists of the spontaneous transition from the infected state to the susceptible one and occurs with probability μ at each unit time, independently of the others. In the SIR model, instead, individuals who recover cannot be infected again and transition from the infected state to a removed state with probability μ per unit time (Keeling and Rohani 2011).
In the SIS model, we examine the endemic prevalence (that is, the number of active cases in the longterm), which has typically two possible outcomes: either it quickly dies out and tends to zero, or it fluctuates around a quantity greater than zero for a nonnegligible amount of time, denoted by i^{∗}. For the SIR model, instead, the fraction of infected individuals in the system always goes to zero in the longrun. However, the total fraction of individuals who have been infected may vary, depending on the model parameters. The SIR epidemic size, denoted as r^{∞}, is defined as the fraction of recovered individuals at the end of the epidemic process.
Onedimensional model on a lattice
Here, we propose a onedimensional model that provides some analytical intuitions on the influence that the randomness α, the probability of jumping outside the base location p, and the presence of a coreperiphery structure have in the evolution of SIS and SIR epidemic processes. This model simplifies the twodimensional case study by constraining agents to move in a discrete, infinitely long, onedimensional lattice with periodic boundary conditions (that is, a ring). The L locations occupy consecutive positions on the lattice (labeled from 1 to L), and a fixed number of n=N/L agents belong to each one, as their base location.
To generate a contact, agents should occupy the same position along the lattice. Agents belong to a unique base location in the lattice, which they may leave with probability p. We use a geometric distribution (Chung and Zhong 2001) to describe the agents’ law of motion, that is, the probability of jumping at a distance d from the base location is equal to
where c∈(0,1) is a constant parameter that governs the decay rate, similar to Eq. (6). Once outside their base location, agents move toward their base location by making one step toward it, similar to the twodimensional model with α=0. A schematic representation of the onedimensional model is provided in Fig. 5.
We remark that this onedimensional model maintains some key features of the original twodimensional agentbased model, that is: i) the presence of closelyspaced base locations, ii) a stochastic mechanism that governs the probability of jumping outside the base location, and iii) a gravity law that biases the agents to jump close to the base location according to an exponential distribution. A key feature that is not captured by this simplified model is the heterogeneity in the locations’ density and agents’ radii of interaction, which are numerically investigated in the twodimensional model.
We start our analysis by reporting the probability that a generic agent \(i\in \mathcal V\) is inside location ℓ, which is explicitly derived in Appendix C,
Similarly, the probability that a generic agent is in a position that is not occupied by any location and at a distance d from the closest location is computed in Appendix C as
where we assume that the closest location is ℓ=1. By a simple change of variables, we can write an equivalent expression when the closest location is ℓ=L.
In the SIR and SIS processes, the disease propagates from infected agents to susceptible ones occupying the same position of the onedimensional lattice. We define as s(t), i(t), and (for the SIR model only) r(t) the fractions of susceptible, infected, and recovered agents at time t, respectively. For largescale systems, we can compute the fraction of susceptible, infected, and recovered agents along the lattice by using the law of large numbers (Chung and Zhong 2001). In the thermodynamic limit of large systems N→∞, the fraction of susceptible, infected, and recovered agents inside location ℓ is s_{ℓ}(t)=q_{ℓ}s(t), i_{ℓ}(t)=q_{ℓ}i(t), and r_{ℓ}(t)=q_{ℓ}r(t), respectively. Similarly, the fraction of susceptible, infected, and recovered agents at a distance d from the closest location is s_{out,d}(t)=q_{out,d}s(t), i_{out,d}(t)=q_{out,d}i(t), and r_{out,d}(t)=q_{out,d}r(t), respectively.
In the thermodynamic limit of large systems N→∞, the evolution of the fraction of infected agents at time t+1 is determined by the following equation:
where Λ_{ℓ}(t) is the contagion probability of an agent inside its base location ℓ at time t, that is
and Λ_{out,d}(t) is the contagion probability of an agent at distance d from the closest location at time t, that is,
The derivation of these expressions is reported in Appendix C. The evolution of the fraction of infected agents in Eq. (13) depends on four terms: i) the fraction of infected at time t, ii) the fraction of newly recovered, iii) the fraction of newly infected in any location, and iv) the fraction of newly infected outside all the locations.
The evolution of the SIS model is fully determined by Eq. (13), since s(t)=1−i(t). For the SIR model, instead, Eq. (13) should be coupled with the following equation, which describes the evolution of the fraction of recovered agents,
and with the conservation constraint s(t)=1−r(t)−i(t). The evolution of the fraction of recovered agents only depends on the fraction of recovered at time t and the fraction of newly recovered.
In order to gain qualitative insight into the behavior of the SIS and SIR epidemic processes described by Eqs. (13) and (16), we compute the epidemic threshold of both processes by studying the stability of the diseasefree equilibrium in Eq. (13). We linearize Eq. (13) and expand the expressions for the contagion probabilities in Eqs. (14) and (15) about the diseasefree equilibrium i^{∗}=0, obtaining
The epidemic threshold is computed by imposing i(t+1)≤i(t) in Eq. (17), obtaining
In the case of one location, L=1, the threshold in Eq. (18) reduces to
where the last equality is obtained by substituting the explicit terms for q_{1} and q_{out,d} from Eqs. (11) and (12), respectively, and computing the sum of the obtained series. From inspection of Eq. (19), we observe that increasing the probability of jumping outside the location, p, contributes to increasing the epidemic threshold and thus lowers the endemic prevalence and epidemic size.
When many locations are present, that is, L→∞, the second term at the denominator yields a marginal contribution to the epidemic threshold in Eq. (19), so that,
We observe that the epidemic threshold is now independent from any choice of the probability of jumping outside the location, p.
We conclude the analysis of the onedimensional model by numerically studying the effect of the agents’ randomness α and of the probability of jumping outside the location p on the SIS endemic prevalence and the SIR epidemic size. These numerical simulations extend our analytical predictions, which are limited to the case α=0. We consider two scenarios, one with L=1 locations, presented in Fig. 6, and the other with L=100 locations, illustrated in Fig. 7. Our simulations suggest that increasing the agents’ randomness α hinders the diffusion of both SIS and SIR epidemic processes. When only one location is present, increasing the probability of jumping outside the location (that is, shortening the time spent inside the base location) hinders both SIS and SIR epidemic processes. Interestingly, when multiple locations are present, increasing p does not impact the evolution of the epidemic processes. Our numerics for α=0 in Figs. 6b,d and 7b,d indicate the potential use of the analytical expressions in Eqs. (13) and (16) for systems of finite size, with N=10,000 agents.
Twodimensional agentbased model
Impact of key parameters
We consider the twodimensional agentbased model and numerically study the influence of the randomness α, the probability of jumping outside the base location p, and the presence of a coreperiphery structure on the evolution of SIS and SIR epidemic processes. We start our analysis by exploring the case of a space containing one location, that is, L=1, which is the base for all the agents. Agents can be either inside or outside their base location. Their motion is constrained by the boundary of the location when they are inside it, while it is governed by the parameters α or p when they are outside their base location.
Our results reveal that increasing either α or p reduces the impact of the epidemic disease, both in the case of possible reinfection (SIS), as shown in Fig. 8a, and in the case of immunization after recovery (SIR), as illustrated in Fig. 8b. Specifically, in the SIS process, the endemic prevalence, i^{∗}, is high when α and p are low because agents spend more time inside the location, which is the densest region of the entire space, thus favoring interactions between agents. On the contrary, when agents spend more time outside the location (by increasing either α or p^{Footnote 4}), they explore a less dense region of the space and interactions become more sporadic. As a result, the likelihood that the disease spreads is lower. From our numerical simulations, we observe that there is a threshold for α (for α close to \(\bar \alpha =\) 0.5), beyond which the disease spreading is halted. Simulations with different values of the parameters show a similar behavior, with varying values of the threshold \(\overline \alpha \). Hence, in the SIS dynamics, the disease is not able to spread and the endemic prevalence tends to zero, as shown in Fig. 8a; a similar behavior is observed for the SIR process. Similar results are obtained for the onedimensional lattice, as illustrated in Fig. 6.
Next, we consider the case in which multiple locations are present, forming a coreperiphery structure, as described in Appendix A and illustrated in Fig. 1b. Agents that exit their base location are likely to jump inside another location and interact with other agents occupying a different portion of the urban environment. We investigate a scenario with L=100 locations, as illustrated in Fig. 9. Our numerical results suggest that increasing the agent’s randomness, α, still reduces the endemic prevalence (in the SIS model) and the epidemic size (in the SIR model), i^{∗} and r^{∞}, similar to the case of a single location. Numerical results in Fig. 9a and c, however, seem to display a nonmonotonic behavior of the fraction of population affected by the disease, whereby small values of α may favor the epidemic outbreak instead of hindering its inception. We record the existence of a threshold for α (in our simulations, this is close to 0.5) at which a sharp transitions takes place for both the endemic prevalence (in the SIS model) and the epidemic size (in the SIR model). According to Eq. (3), by increasing α, agents’ randomness is increased and, as a consequence, agents tend to explore a larger portion of the urban environment and to occupy peripheral locations with a lower density of agents. Hence, they become are less likely to interact with each other and support disease spreading.
Surprisingly, we observe that the probability of jumping outside the base location, p, seems to have a negligible effect on the outcome of the SIS and SIR disease processes, similar to predictions from the onedimensional simplified version of the model in Eq. (20) and Fig. 7. A reason for this phenomenon may be found in the following intuition. The coreperiphery structure analyzed in our work, illustrated in Fig. 1, allows two contrasting effect to simultaneously occurs. On the one hand, agents moving outside the central areas are likely to end in peripheral ones, decreasing the agents’ density in the central regions and increasing the density in the peripheral ones. On the other hand, agents moving outside the peripheral areas are likely to end in the central ones, thereby increasing the density in the central regions and decreasing the density in the peripheral ones. Overall, these two opposite effects tend to balance each other.
Impact of the correlation between agents’ radius and locations’ density
Here, we study the impact of the correlation between the radius of interaction of agent i, σ_{i}, and the density of its base location, ρ_{β(i)}. We compare the uncorrelated case (analyzed earlier in Fig. 9a and c), where agents are randomly assigned to locations, with the cases of either positive or negative correlation. In the case of positive correlation, agents with larger radius are assigned to denser (and central) locations. In the case of negative correlation, agents with larger radius belong to the less dense (and peripheral) locations. We consider a scenario with L=100 locations, whose results are illustrated in Fig. 10.
Both the endemic prevalence, i^{∗}, and the epidemic size, r^{∞}, are marginally affected by a positive correlation, while they strongly diminish if the radii and density of locations are negatively correlated, as shown in Fig. 10a and b, respectively. In both the positivecorrelated and uncorrelated cases, agents with larger radii occupy the central locations, thereby sustaining the diffusion of the disease. On the other hand, if agents with large radii are relegated to peripheral and sparser areas, it would be more difficult for them to create connections and fuel the diffusion process.
Vaccination strategies
Finally, we examine the effect of different vaccination strategies applied to our population. Specifically, we consider a purely randomized strategy and two targeted vaccination policies. In the three strategies, we assume that a fraction of the population is vaccinated and is thus immune to the disease. In the “Random” vaccination mechanism, we vaccinate a fraction of the population, sampled uniformly at random. In the “Center” targeted mechanism, we select such a fraction starting from the agents assigned to the most central locations. In the “Peripheral” targeted mechanism, we choose such a fraction starting from the agents assigned to the most peripheral locations.
From Fig. 11, we observe that prioritizing the vaccination of agents assigned to the most central locations has the most beneficial effect for the prevention of the diffusion of the epidemic disease, while the worst strategy targets vaccination to peripheral areas. As detailed in Fig. 4, agents assigned to more central base locations tend to have a larger expected degree than agents assigned to more peripheral locations, thereby potentially acting as “superspreaders” (LloydSmith et al. 2005). Also, agents whose base locations are in the center can easily reach all portions of the environment, thereby contacting the majority of the agents. By focusing the vaccination on central areas, the contacts generated by these agents do not contribute to the spread, thereby significantly reducing the contagion.
Discussion and conclusion
In this paper, we studied a class of agentbased models (Frasca et al. 2006), in which agents move in a twodimensional space and interact according to proximity criteria. We extended such class of models by encapsulating a coreperiphery structure, typical of urban environments (Makse et al. 1998; De Nadai et al. 2016), where central areas are more densely populated than peripheral ones. Our urbanlike environment is partitioned in several closely spaced locations, each of them representing a restricted portion of the space. When agents are inside their base location, they take a random position within the base location at every timestep. When outside, they tend to move back to their base location by following a biased random walk.
The contribution of the study is fourfold. First, we analytically and numerically studied the temporal network formation mechanism, demonstrating that heterogeneously distributed radii of interaction in the population generate heterogeneity in the degree distribution of the temporal network of contacts, similar to what is observed in many realworld systems (Barabási and Albert 1999; Albert et al. 1999; Barrat et al. 2004). The role of the interaction radius is also evident in the study of the clustering coefficient, whereby we found that agents’ with larger degree have a lower clustering coefficient.
Second, we investigated the role of the urbanlike environment on the spread of epidemic outbreaks. Specifically, we considered epidemic prevalence in the susceptible–infected–susceptible (SIS) model and epidemic size in the susceptible–infected–recovered (SIR) model. We found that both these quantities, which measure the fraction of the system that is affected by the disease, are lowered by increasing the randomness of the agents’ law of motion. In fact, increasing agents’ randomness improves the chance that agents randomly explore peripheral urban areas, where less agents are present and less contacts are thus created. A lower number of interactions hinders the contagion process. Interestingly, we discovered that the endemic prevalence and epidemic size have nontrivial relationships with the probability of jumping outside the base location. When the entire urban environment is modeled as a unique location, larger probabilities of jumping outside hinder the epidemic diffusion. In fact, inside the location the density of agents is higher than outside it. As a consequence, interactions between agents are rare, slowing down the disease spread. Instead, when multiple locations are arranged in a coreperiphery structure, our numerical results suggest that epidemic prevalence and size are independent of the probability of jumping outside the base location. A possible explanation for this phenomenon might be that, when agents in central locations jump outside them, they are likely to end in peripheral locations, diminishing the fraction of agents in central areas. This event is compensated by agents from peripheral locations that jump in central ones. Our numerical results are in agreement with the theoretical findings in the simplified, onedimensional, version of our agentbased model.
Third, we found that central locations play a key role on the diffusion of epidemic diseases. In particular, we studied the influence of the correlation between agents’ radius and locations’ density. When these quantities are negatively correlated, agents with larger radius belong to less dense (peripheral) locations, while when positively correlated, agents with larger radius belong to denser (central) locations. The endemic prevalence (in the SIS model) and the epidemic size (in the SIR model) are only marginally favored by the presence of many agents with large radius in the more central locations (positive correlation), while the diffusion of the epidemic is hindered if central locations are mostly assigned to agents with small radius of interaction (negative correlation).
Finally, we studied the effect of targeted vaccination strategies. We found that the vaccination of agents that belong to central locations is the most beneficial approach for the entire population, leading to the smallest epidemic prevalence. Our analysis corroborates our previous observation that central (and more dense) locations are crucial in the diffusion of disease processes. We emphasize that the proposed vaccination strategy can be implemented with information about the system at the mesoscopic level of locations, that is, without any information on the specific properties of single individuals (for instance, their radius of interaction). With information at the individual level, the proposed policy may be improved by combining knowledge about locations and radii of interaction prioritizing vaccination of central agents with large radius of interaction, which acts as “superspreaders.”
A main limitation of our work resides in the assumption that each agent belongs to a unique location, while the remaining urban area, occupied by other locations, is only seldom explored. A more realistic approach could consider agents that may be assigned to multiple locations. Our theoretical study of the onedimensional case provides insight into some aspects of epidemic processes in urban environments. However, a general mathematical theory is missing. We believe that our preliminary results constitute a starting point for performing a more general theoretical analysis of the twodimensional model. Furthermore, variations of the proposed model can be easily generated. For instance, the gravity law in our model could be replaced by other laws, such as, the wellestablished radiation law (Simini et al. 2012) or the one recently proposed in (Schläpfer et al. 2020).
Overall, our work determines that central urban areas are critical in the diffusion of epidemic diseases within a city, being the crossroad of most of the urban population, and thus should be carefully included into mathematical models of epidemic outbreaks. By vaccinating individuals in central urban areas, we can halt the overall contagion better than randomly distributing limited vaccination supplies. Our proposed vaccination strategy may offer practitioners and epidemiologists general guidelines for emergency situations, complementing other strategies (Braha and BarYam 2006; Génois et al. 2015) toward effective containment measures and herd immunity (Fine 1993) within urban environments.
Appendix A: Algorithm to generate a coreperiphery structure
From a practical point of view, packing all convex regions L_{ℓ} (locations) in the square space D×D is a nondeterministic polynomialtime hardness (NPhard) problem (Martello and Vigo 1998; Demaine et al. 2010), often requiring to find approximate methods (Formann and Wagner 1991; Szabó et al. 2007; Castillo et al. 2008). In our study, we aim at reproducing the coreperiphery structure present in real urban areas, as shown in Fig. 1a, while minimizing the space between locations. Agents that exit from their base location occupy nearby locations, thereby interacting with agents that are assigned to different regions of the urban area. We developed a heuristic algorithm that unfolds according to the following steps.

1
Place the center of the denser location, \(\left (x_{1}^{c}, y_{1}^{c}\right)\), in the center of the square space, \(\left (x_{1}^{c}, y_{1}^{c}\right) = \left ({D}/2, {D}/2 \right)\).

2
Initialize ℓ←1, σ_{in}←0, and \(\sigma _{\text {out}}\leftarrow \langle {{\sigma }\rangle } = {\sum \nolimits }_{\ell =1}^{L} {\sigma }_{\ell }/L\).

3
Create a circular crown centered in (D/2,D/2) with internal radius σ_{in} and external radius σ_{out}.

4
Randomly place the center of location ℓ+1 in the crown and check for overlaps.

i)
If location ℓ+1 does not overlap with other locations, then the location is placed. Increase the index ℓ by 1, that is, ℓ←ℓ+1. If ℓ=L, then terminate the algorithm. Otherwise, resume it to step 4.

ii)
If an overlap occurs, then repeat the current assignment in 4. After a number of consecutive failed attempts (we set this limit to 100), stop the current iteration and move to step 5.

i)

5
Set σ_{in}←σ_{out} and σ_{out}←σ_{out}+〈σ〉, and resume the algorithm to step 3.
Appendix B: Analysis of the temporal network of interactions
Here, we detail the analytical derivations of Eqs. (8) and (9). To this end, we analyze the formation of the temporal network of interactions in the two specific cases of a free space, without any location (L=0); and when the law of motion of the agents outside their base locations is deterministic (α=0) and the locations are uniformly distributed in the plane.
B.1 Analysis of a free space without any location
We begin our analysis by considering the case of a free space, that is, L=0, where agents perform simple random walks with constant velocity equal to v in the plane. In this scenario, Eq. (3) should be intended without the component associated with the location Φ_{i}(t) and with α=1.
According to Eq. (7), at time t, agent i creates undirected interactions with other agents if their Euclidean distance is less than or equal to the maximum of their radii of interaction. In practice, the expected number of interactions of agent i, E[k_{i}], is equal to the sum of two contributions: the expected number of interactions that are generated by agent i with agents that are in its radius of interaction, denoted as \(\mathrm {E}\left [k^{+}_{i}\right ]\), and the expected number of interactions that are generated by other agents with i, denoted as \(\mathrm {E}\left [k^{}_{i}\right ]\).
When the system is in its steady state, the expected number of other agents within a distance σ_{i} from agent i is proportional to the ratio between the area of a circle of radius σ_{i} and the whole planar space. Hence, the expected number of interactions created by agent i is equal to
Further, agent i can form undirected interactions with other agents if it is located within their radii of interaction. To avoid double counting and exclude connections that are already counted in Eq. (21), the radius of agent j should be greater than the one of agent i, which should be at a distance greater than σ_{i} but smaller than σ_{j}. When the system reaches the steady state, the probability of such an event is \(\pi \left (\sigma _{j}^{2}\sigma _{i}^{2}\right)/D^{2}\). Let us introduce the set \(\mathcal {C}_{i}\) of agents with radius of interaction greater than σ_{i} and let us define \({\left \langle \sigma ^{2}\right \rangle }_{i}=\mathcal C_{i}^{1}{\sum \nolimits }_{j\in \mathcal C_{i}}\sigma ^{2}_{j}\) as their average square radius. The expected number of connections formed by agent i with other agents beyond those included in Eq. (21) is
By summing Eqs. (21) and (22), we conclude that the average number of agents that an agent interacts with in a unit time, termed its average degree k_{i}, is equal to
The computation of the quantities \(\mathcal C_{i}\) and 〈σ^{2}〉_{i}, can be performed in the limit of large systems N→∞, by means of the strong law of large numbers (Chung and Zhong 2001). We start by explicitly writing the probability density function G(σ) of the power law distribution of the radii of interaction with cutoffs σ∈[σ_{min},σ_{max}], as
where ω is the exponent. From the expression of G(σ), we compute C_{i} using the strong law of large numbers (Chung and Zhong 2001), which ensures that almost surely
We define the conditional probability density function
where the first equality holds due to scale invariance of the power law distribution, and then explicit computation is performed using the expression of G(σ). Using again the strong law of large numbers (Chung and Zhong 2001) and Eq. (26), we compute 〈σ^{2}〉_{i} as
almost surely.
Finally, by substituting Eqs. (25) and (27) in Eq. (23), the expected degree of agent i in the limit of large systems, N→∞, almost surely reads
neglecting the terms on smaller order in N.
B.2 Analysis of multiple locations uniformly distributed in the space
Now, we consider the limit case in which agents move straight toward their base location, that is, α=0, and we assume that locations are uniformly distributed in the planar space.
We consider the generic agent i that belongs to location Ω_{β(i)}. Since A_{β(i)}≪D^{2}, we use the approximation D→∞. The probability for this agent to be in its base location, q_{in}, can be computed by introducing the following partition of the planar space,
for any \(h\in \mathbb Z_{\geq 0}\). Note that \(C^{(i)}_{h}\) is the region of the plane from which agent i reaches its base location β(i) in exactly h timesteps. Consequently, when h=0 agents are inside their base location, that is, \(C^{(i)}_{0}=\Omega _{\beta (i)}\). Any point (x,y) of the D×D planar space can be mapped onto this partition through the projection \(z^{(i)}:[0,D]\times [0,D]\longrightarrow \mathbb {Z}_{\geq 0}\), defined as
Using the mapping z^{(i)}, for each agent \(i\in \mathcal V\), we define the stochastic process \(z_{i}(t):\mathbb Z_{\geq 0}\longrightarrow \mathbb Z_{\geq 0}\) as z_{i}(t):=z^{(i)}(x_{i}(t),y_{i}(t)). Since α=0, when an agent is outside its base location, then its law of motion is purely deterministic and it moves in the direction of the location. Therefore, if z_{i}(t)=h≠0, then, z_{i}(t+1)=h−1. If z_{i}(t)=0, the agent is inside its base location, from which it exits only through a jump, which is statistically characterized by Eq. (6). Hence, with probability 1−p the process z_{i}(t) remains in state 0 at the following timestep. Else, if a jump occurs, the process z_{i} evolves to state h with probability equal to
The transition probabilities of z_{i}(t) depend only on the state h in which the process is and on the model parameters. The process z_{i}(t) is a Markov chain, whose structure is illustrated in Fig. 12 and whose transition matrix is
We observe that, if p>0, then the Markov chain is ergodic and it converges to its unique stationary distribution π, which can be computed as the left eigenvector of M associated with the eigenvalue 1 (Levin et al. 2006). When the system has reached its steady state, the probability for each agent to be inside its base location, q_{in}=π_{0}, that is derived from the left eigenvalue equation for M in Eq. (32) (with unitary eigenvalue), that is,
From Eq. (33), the expression of q_{h} in Eq. (31), and using that \({\sum \nolimits }_{h=0}^{\infty } \pi _{h}=1\), we derive
When the system reaches its stationary state, the number of agents in location ℓ is equal to the sum of two contributions. The first one consists of agents whose base location is Ω_{ℓ} and are in that location, that is, on average, nq_{in}. The second one is due to agents whose base location is not Ω_{ℓ}, but are in Ω_{ℓ}. The second contribution is relatively small since locations are placed randomly in the entire space D×D, and we discard it when the system is large.
The steadystate density in location ℓ can be approximated by considering only the agents assigned to it. Hence, the expected number of connections of agent i within its base location is approximated by
where \(\mathcal C_{i,\ell }\) and 〈σ^{2}〉_{i,ℓ} are the set of agents with radius greater than σ_{i} in location ℓ and their average square radius, respectively. Assuming the distribution of the radii of interaction to be independent of the agents’ base locations, then, \(\left \mathcal C_{i,\ell }\right =\frac {n1}{N}\mathcal C_{i}\) and 〈σ^{2}〉_{i,ℓ}=〈σ^{2}〉_{i}. Under this assumption, in the limit of large systems, N→∞, combining Eqs. (25) and (27) into Eq. (35), we obtain
When a coreperiphery structure is present, as in Fig. 1, locations are not uniformly distributed in space and often are close to each other. For instance, a central location ℓ is surrounded by other locations and interactions generated by agents whose base location is not Ω_{ℓ} cannot be neglected. This case is discussed in the main text by means of numerical simulations.
Appendix C: Computation of the contagion probability in a onedimensional lattice
Here, we compute the contagion probability of an agent inside its base location ℓ at time t, Λ_{ℓ}(t), and the contagion probability of an agent at distance d from the closest location at time t, Λ_{out,d}(t). We start our analysis by computing the probability that agents are in their base location, denoted by ψ_{in}, or in a position at a distance d from it, ψ_{d}, when the system is at steady state. For p>0, the system is ergodic and we can compute ψ_{in} and ψ_{d} at steady state (Levin et al. 2006). Similar to Appendix B, from the steadystate equation we derive the following recursive system of equations:
where the factor 2 is because there are two positions at a distance d from any location \(\ell \in \mathcal {L}\), as in Fig. 5.
From Eq. (37), the expression of P_{jump}(d) in Eq. (10), and using that \(\psi _{\text {in}}+2 {\sum \nolimits }_{d=1}^{\infty } \psi _{d}=1\), we derive
and
Given that each agent is randomly assigned to one of the L locations, the probability that a generic agent \(i\in \mathcal V\) is inside location ℓ is equal to
where the first term refers to the probability that the agent is in its base location and its base location is ℓ, while the second and third terms correspond to the probability that the agent belongs to another base location and it occupies location ℓ. Similarly, we compute the probability that agents are in a position not occupied by any location and at a distance d from the closest location as
where we assume that the closest location is ℓ=1. Through a simple change of variables, we can write an equivalent expression when the closest location is ℓ=L. Substituting expressions in Eqs. (38) and (39) in Eqs. (40) and (41) yields the two expressions reported in the main text, that is, Eqs. (11) and (12).
We now compute the probability that an agent becomes infected at time t. We first consider the probability of not being infected. In location ℓ, such a probability is equal to 1−λi_{ℓ}(t) for each contact. On average, an agent contacts q_{ℓ}N other agents, the probability of not being infected in location ℓ is equal to \(\overline {\Lambda }_{\ell }(t) = \left (1\lambda i_{\ell }(t)\right)^{q_{\ell } N}\). Similarly, the probability of not being infected at a distance d from the closest location is equal to \(\overline {\Lambda }_{\text {out},d} = \left (1\lambda i_{\text {out},d}(t)\right)^{q_{\text {out},d} N}\). Thus, the contagion probability of an agent inside its base location ℓ is the complement of \(\overline {\Lambda }_{\ell }(t)\), that is,
Likewise, the contagion probability when the agent is at a distance d from the closest location is the complement of \(\overline {\Lambda }_{\text {out},d}(t)\), that is,
Availability of data and materials
A sample of the algorithms generated is available at (Nadini 2020). The entire set of algorithms is available upon request.
Notes
We consider that N is a multiple of L.
The distance between a point and a set is defined as the minimum Cartesian distance between the point and a generic point of the set.
The clustering coefficient is computed by considering a network that includes all the links that are generated during the entire observation window and counting the fraction of triadic closures (that is, whether two agents that are connected to a third one are also linked one another).
In order to allow to agents to exit from the base location, the probability to jump outside should be p>0.
Abbreviations
 SIR:

susceptible–infected–removed
 SIS:

susceptible–infected–susceptible
References
Albert, R, Jeong H, Barabási AL (1999) Internet: Diameter of the worldwide web. Nature 401(6749):130.
Alessandretti, L, Sapiezynski P, Lehmann S, Baronchelli A (2017) Multiscale spatiotemporal analysis of human mobility. PloS ONE 12(2):0171686.
Alirol, E, Getaz L, Stoll B, Chappuis F, Loutan L (2011) Urbanisation and infectious diseases in a globalised world. Lancet Infect Dis 11(2):131–141.
Barabási, AL, Albert R (1999) Emergence of scaling in random networks. Science 286(5439):509–512.
Barrat, A, Barthelemy M, PastorSatorras R, Vespignani A (2004) The architecture of complex weighted networks. Proc Natl Acad Sci 101(11):3747–3752.
Boussauw, K, Neutens T, Witlox F (2011) Minimum commuting distance as a spatial characteristic in a nonmonocentric urban system: The case of flanders. Pap Reg Sci 90(1):47–65.
Braha, D, BarYam Y (2006) From centrality to temporary fame: Dynamic centrality in complex networks. Complexity 12(2):59–63.
Brasche, S, Bischof W (2005) Daily time spent indoors in german homes–baseline data for the assessment of indoor exposure of german occupants. Int J Hyg Environ Health 208(4):247–253.
Brockmann, D, Helbing D (2013) The hidden geometry of complex, networkdriven contagion phenomena. Science 342(6164):1337–1342.
Buscarino, A, Di Stefano A, Fortuna L, Frasca M, Latora V (2010) Effects of motion on epidemic spreading. Int J Bifurcation Chaos 20(03):765–773.
Buscarino, A, Fortuna L, Frasca M, Rizzo A (2014) Local and global epidemic outbreaks in populations moving in inhomogeneous environments. Phys Rev E 90:042813.
Castillo, I, Kampas FJ, Pintér JD (2008) Solving circle packing problems by global optimization: numerical results and industrial applications. Eur J Oper Res 191(3):786–802.
Chang, SL, Harding N, Zachreson C, Cliff OM, Prokopenko M (2020) Modelling transmission and control of the covid19 pandemic in Australia. arXiv preprint arXiv:2003.10218.
Chinazzi, M, Davis JT, Ajelli M, Gioannini C, Litvinova M, Merler S, Pastore y Piontti A, Mu K, Rossi L, Sun K, Viboud C, Xiong X, Yu H, Halloran ME, Longini IM, Vespignani A (2020) Tthe effect of travel restrictions on the spread of the 2019 novel coronavirus (covid19) outbreak. Science 368(6489):395–400.
Chung, KL, Zhong K (2001) A Course in Probability Theory. Academic Press, Cambridge MA, US.
Cohen, B (2006) Urbanization in developing countries: Current trends, future projections, and key challenges for sustainability. Technol Soc 28(1):63–80. Sustainable Cities.
Colizza, V, Vespignani A (2007) Invasion threshold in heterogeneous metapopulation networks. Phys Rev Lett 99(14):148701.
Colizza, V, Vespignani A (2008) Epidemic modeling in metapopulation systems with heterogeneous coupling pattern: Theory and simulations. J Theor Biol 251(3):450–467.
de Groot, RJ, Baker SC, Baric RS, Brown CS, Drosten C, Enjuanes L, Fouchier RAM, Galiano M, Gorbalenya AE, Memish ZA, Perlman S, Poon LLM, Snijder EJ, Stephens GM, Woo PCY, Zaki AM, Zambon M, Ziebuhr J (2013) Commentary: Middle East Respiratory Syndrome Coronavirus (MERSCoV): Announcement of the Coronavirus Study Group. J Virol 87(14):7790–7792.
De Nadai, M, Staiano J, Larcher R, Sebe N, Quercia D, Lepri B (2016) The death and life of great Italian cities: a mobile phone data perspective In: Proceedings of the 25th International Conference on World Wide Web, 413–423.. ACM (Association for Computing Machinery), New York.
Degli Atti, MLC, Merler S, Rizzo C, Ajelli M, Massari M, Manfredi P, Furlanello C, Tomba GS, Iannelli M (2008) Mitigation measures for pandemic influenza in Italy: an individual based model considering different scenarios. PloS ONE 3(3):1790.
Demaine, ED, Fekete SP, Lang RJ (2010) Circle packing for origami design is hard. arXiv preprint arXiv:1008.1224.
Eubank, S, Guclu H, Kumar VSA, Marathe MV, Srinivasan A, Toroczkai Z, Wang N (2004) Modeling disease outbreaks in realistic urban social networks. Nature 429(6988):180–184.
Ferguson, N, Laydon D, Nedjati Gilani G, Imai N, Ainslie K, Baguelin M, Bhatia S, Boonyasiri A, Cucunuba Perez Z, CuomoDannenburg G, et al (2020) Report 9: Impact of nonpharmaceutical interventions (NPIs) to reduce COVID19 mortality and healthcare demand. https://doi.org/10.25561/77482.
Fine, PE (1993) Herd immunity: history, theory, practice. Epidemiol Rev 15(2):265–302.
Formann, M, Wagner F (1991) A packing problem with applications to lettering of maps In: Proceedings of the Seventh Annual Symposium on Computational Geometry, 281–288.. ACM (Association for Computing Machinery), New York.
Frasca, M, Buscarino A, Rizzo A, Fortuna L, Boccaletti S (2006) Dynamical network model of infective mobile agents. Phys Rev E 74(3):036110.
Frasca, M, Buscarino A, Rizzo A, Fortuna L, Boccaletti S (2008) Synchronization of moving chaotic agents. Phys Rev Lett 100(4):044102.
Génois, M, Vestergaard CL, Fournet J, Panisson A, Bonmarin I, Barrat A (2015) Data on facetoface contacts in an office building suggest a lowcost vaccination strategy based on community linkers. Netw Sci 3(3):326–347.
Gilbert, N (2008) Agentbased models. Vol. 153. Sage Publications, Incorporated, London.
Huang, Y, Ding L, Feng Y, Pan J (2016) Epidemic spreading in random walkers with heterogeneous interaction radius. J Stat Mech Theory Exp 2016(10):103501.
Keeling, MJ, Rohani P (2011) Modeling Infectious Diseases in Humans and Animals. Princeton University Press, Princeton NJ, US.
Levin, DA, Peres Y, Wilmer EL (2006) Markov Chains and Mixing Times. American Mathematical Society, Providence RI, US.
Levinson, D, ElGeneidy A (2009) The minimum circuity frontier and the journey to work. Reg Sci Urban Econ 39(6):732–738.
Liu, SY, Baronchelli A, Perra N (2013) Contagion dynamics in timevarying metapopulation networks. Phys Rev E 87(3):032805.
Liu, Y, Sui Z, Kang C, Gao Y (2014) Uncovering patterns of interurban trip and spatial interaction from social media checkin data. PloS ONE 9(1):86026.
LloydSmith, JO, Schreiber SJ, Kopp PE, Getz WM (2005) Superspreading and the effect of individual variation on disease emergence. Nature 438(7066):355.
Makse, HA, Andrade JS, Batty M, Havlin S, Stanley HE, et al (1998) Modeling urban growth patterns with correlated percolation. Phys Rev E 58(6):7054.
Martello, S, Vigo D (1998) Exact solution of the twodimensional finite bin packing problem. Manag Sci 44(3):388–399.
Massaro, E, Kondor D, Ratti C (2019) Assessing the interplay between human mobility and mosquito borne diseases in urban environments. Sci Rep 9(1):1–13.
Matz, CJ, Stieb DM, Brion O (2015) Urbanrural differences in daily timeactivity patterns, occupational activity and housing characteristics. Environ Health 14(1):88.
Nadini, M (2020) Urbanlike environment. doi: https://doi.org/10.1109/TNSE.2018.2885483. https://github.com/matnado/Urbanlikeenvironment. Accessed 22 June 2020.
Nadini, M, Rizzo A, Porfiri M (2020) Epidemic spreading in temporal and adaptive networks with static backbone. IEEE Trans Netw Sci Eng 7(1):549–561.
Nadini, M, Sun K, Ubaldi E, Starnini M, Rizzo A, Perra N (2018) Epidemic spreading in modular timevarying networks. Sci Rep 8(1):2352.
Neiderud, CJ (2015) How urbanization affects the epidemiology of emerging infectious diseases. Infect Ecol Epidemiol 5(1):27060.
PastorSatorras, R, Castellano C, Van Mieghem P, Vespignani A (2015) Epidemic processes in complex networks. Rev Mod Phys 87(3):925.
Peng, XL, Zhang ZQ, Yang J, Jin Z (2019) An sis epidemic model with vaccination in a dynamical contact network of mobile individuals with heterogeneous spatial constraints. Commun Nonlinear Sci Numer Simul 73:52–73.
Perra, N, Gonçalves B, PastorSatorras R, Vespignani A (2012) Activity driven modeling of time varying networks,. Sci Rep 2:469.
Ritchie, H, Roser M (2020) Urbanization. Our world in data. https://ourworldindata.org/urbanization. Accessed 22 June 2020.
Saramäki, J, Kivelä M, Onnela JP, Kaski K, Kertesz J (2007) Generalizations of the clustering coefficient to weighted complex networks. Phys Rev E 75(2):027105.
Satterthwaite, D (2007) The transition to a predominantly urban world and its underpinnings. Iied, London, UK.
Schläpfer, M, Szell M, Salat H, Ratti C, West GB (2020) The hidden universality of movement in cities. arXiv preprint arXiv:2002.06070.
Schweizer, C, Edwards RD, BayerOglesby L, Gauderman WJ, Ilacqua V, Jantunen MJ, Lai HK, Nieuwenhuijsen M, Künzli N (2007) Indoor time–microenvironment–activity patterns in seven regions of europe. J Expo Sci Environ Epidemiol 17(2):170.
Simini, F, González MC, Maritan A, Barabási AL (2012) A universal model for mobility and migration patterns. Nature 484(7392):96.
Smith, RD (2006) Responding to global infectious disease outbreaks: lessons from SARS on the role of risk perception, communication and management. Soc Sci Med 63(12):3113–3123.
Szabó, PG, Markót MC, Csendes T, Specht E, Casado LG, García I (2007) New Approaches to Circle Packing in a Square: with Program Codes. vol. 6. Springer, New York NY, US.
Telle, O, Vaguet A, Yadav N, Lefebvre B, Daudé E, Paul RE, Cebeillac A, Nagpal B (2016) The spread of dengue in an endemic urban milieu — the case of Delhi, India. PloS ONE 11(1):e0146539.
Vicsek, T (1992) Fractal Growth Phenomena. World Scientific, New York NY, US.
Witten Jr, T, Sander LM (1981) Diffusionlimited aggregation, a kinetic critical phenomenon. Phys Rev Lett 47(19):1400.
Yang, HX, Wang WX, Lai YC, Wang BH (2012) Trafficdriven epidemic spreading on networks of mobile agents. EPL (Europhys Lett) 98(6):68003.
Zhou, J, Liu Z (2009) Epidemic spreading in communities with mobile agents. Physica A Stat Mech Appl 388(7):1228–1236.
Zino, L, Rizzo A, Porfiri M (2016) Continuoustime discretedistribution theory for activitydriven networks. Phys Rev Lett 117:228302.
Zino, L, Rizzo A, Porfiri M (2018) Modeling memory effects in activitydriven networks. SIAM J Appl Dyn Syst 17(4):2830–2854.
Funding
The authors acknowledges financial support from the National Science Foundation under grant No. CMMI1561134 and No. CMMI2027990. A.R. acknowledges financial support from Compagnia di San Paolo, Italy, and the Italian Ministry of Foreign Affairs and International Cooperation, within the project “Mac2Mic,” “Macro to Micro: uncovering the hidden mechanisms driving network dynamics.” L.Z. acknowledges financial support the European Research Council under grant ERCCoG771687, and the Netherlands Organization for Scientific Research under grant NWOvidi14134.
Author information
Authors and Affiliations
Contributions
M.N. and L.Z. designed the research, performed the analytical derivations, and wrote a first draft of the manuscript. M.N. performed the numerical studies. A.R. and M.P. supervised the research, secured the funding, and consolidated the manuscript in its present submission. All the authors reviewed and approved the submission.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nadini, M., Zino, L., Rizzo, A. et al. A multiagent model to study epidemic spreading and vaccination strategies in an urbanlike environment. Appl Netw Sci 5, 68 (2020). https://doi.org/10.1007/s41109020002997
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s41109020002997
Keywords
 Agentbased model
 coreperiphery structure
 Epidemics
 Mobility
 Temporal network