2. The Model
We consider a generic undirected network composed of
N nodes and characterized by its
adjacency matrix
A, with elements
when nodes
i and
j are connected and zero otherwise. The degree
of node
i is the number of connected neighbors, i.e.,
. Let
represents the carrying capacity of node
i, which indicates that node
i is able to host a maximum number
of individuals. The number of individuals in node
i is denoted as
. Each individual attempts to perform diffusion with rate
d, while the actual jump between nodes depends on vacant conditions of the destination. The jump can only occur if the destination node
j has vacant space, i.e., with probability
[
14]. So, when moving, individuals prefer destinations with a higher vacant level. Thus, the hopping probability
from node
i to
j is
where
is the probability that the individuals sitting on node
i randomly select one of the
neighboring nodes as its destination. In
Appendix A,
Figure A1a shows a schematic of the movement process between two nodes of the network.
In addition to the movement processes, local SIS reaction dynamics take place simultaneously. Each individual can be either susceptible (S, who can catch the disease) or infected (I, who has the disease and transmits it). Let
and
denote the number of susceptible and infected individuals in node
i, respectively. Hence,
is the total number of individuals in node
i. We assume the two different classes are uniformly mixed and there is all-to-all interaction within each node. The transmission of the infection involves each
pair having an infection rate
at which a susceptible individual becomes infected,
Under well-mixed assumption, within node
i, there are a total of
distinct
pairs (i.e., susceptible individuals interact with all of the infected individuals in the same node). Thus, the infection event rate within node
i is
. One infection event means that the number of susceptible individuals is reduced by one. The gain in the infected individuals is equal to the loss of susceptible individuals. The recovery process is that each infected individual spontaneously becomes susceptible with recovery rate
,
Then, within node
i, the recovery event rate is
. An infection event reduces the number of infected individuals by one. In
Appendix A,
Figure A1b shows a schematic of the local SIS reaction dynamics.
To capture the heterogeneity in the carrying capacity [
21], we assume the following nonlinear form for carrying capacity
:
where
is the average carrying capacity per node and
. The tunable exponent
controls the correlation between the carrying capacity and the node’s degree. For
, we have a scenario in which larger degree nodes have a higher carrying capacity. On the other hand, an exponent
implies a scenario in which smaller degree nodes have a higher carrying capacity. Finally, for
, each node has the same carrying capacity.
3. Simulation Procedures
We use Gillespie’s algorithm [
22] to simulate our studied model for confirming analytical predictions. For a given set of parameters
and
, we calculate from Equation (
4) each node’s carrying capacity
. In the numerical simulation, initially, a total population
(
is the average number of individuals per node, and
) are randomly assigned on the network nodes, with the constraint
. At first, we perform the movement process only, until the population distribution arrives at a steady state (see
Appendix A,
Figure A2 for a schematic of this simulation procedure). Then a fraction
of individuals are randomly selected as the initial infected individuals, while the remaining ones are susceptible. At each time step, we perform the following procedures: (i) a node
i is selected with probability
, where
, i.e., the summation of the rates of the infection, recovery, and movement event within node
i, and
. (ii) The next event is chosen from three possibilities according to the following rules: (a) recovery event (
,
) with probability
; (b) infection event (
,
) with probability
; and (c) movement event with probability
. If the movement event is chosen, one neighboring node is selected randomly, say
j, as the destination. With probability
, one randomly selected individual at node
i hops into node
j; otherwise, nothing happens.
Time is updated as
. Finally, steps (i) and (ii) are iterated until the dynamics arrive at a steady state (see
Appendix A,
Figure A3 for a schematic of this simulation procedure). Considering that many realistic networks have a heterogeneous degree distribution, we build the random uncorrelated scale-free networks, generated according to Ref. [
23], as the substrate network of the metapopulation. For any system of finite population, the system will eventually enter the absorbing state where all individuals are susceptible due to finite-size fluctuations. Based on this fact, we allow the system to evolve up to
and average the related quantities over the last 100 times as the results in a steady state in one realization. The results are averaged over 50 runs.
4. Results
According to the model’s assumptions, we use the continuous-time formulation developed in [
17] to describe the dynamics at the single-node level,
The first term in each sub-equation of Equation (
5) corresponds to the infection and recovery processes. The last two terms represent the movement process. The negative term counts the number of individuals leaving from node
i, while the positive term is the sum of the flow of individuals arriving at node
i from its neighbors.
Adding the two sub-equations in Equation (
5), we obtain the rate equation for the evolution of the number
of individuals at node
i,
where we have used Equation (
1). Summing the overall nodes in both sides of Equation (
6), we obtain
, which is consistent with the fact that the total number
of individuals in the system is conserved. Note that when
, for all
i, Equation (
6) is reduced to the standard diffusion equation [
4,
17]. The equilibrium solution
of Equation (
6) can be obtained by setting
. Obviously, we can obtain
where the constant
a is determined from the conservation condition, that is,
is equal to the total number of individuals in the system. Substituting Equation (
4) into Equation (
7), we can obtain the number
of individuals in the node of degree
k at steady state, i.e., the asymptotic population distribution
where the constant
a is also determined from the conservation condition
. From Equation (
8), we can obtain
for the standard diffusion process (i.e., by setting
) [
4,
17]. When
, we have
for the case that the carrying capacity of each node is identical [
14].
The theoretical results are compared to those obtained from numerical simulations, where the underlay network is generated by the uncorrelated configuration model [
23] with degree distribution
, minimum degree
, maximum degree
, and network size
. As shown in
Figure 1, the numerical solutions for stationary population distribution
(obtained from Equation (
8)) are in good agreement with the results of numerical simulations. Note that the stationary population distribution
is independent of the infection dynamics and the diffusion rate
d. The simulation data were obtained from the simulation algorithm of the movement process without considering the infection status of each individual (see
Appendix A,
Figure A2 for a schematic of this simulation procedure). We denote the macroscopic incidence (fraction of infected population) at steady state as
, which is computed as the number of infected individuals after transient divided by the total number of individuals, i.e.,
where
is the number of infected individuals within node
i at steady state.
Figure 2a and
Figure 3a show that the numerical solutions for macroscopic incidence
, obtained from Equations (
5) and (
9), agree well with computer simulations.
For the fixed carrying capacity exponent
and average number of individuals per node
,
Figure 1a shows that
is an increasing function of degree
k for any value of
. As
increases,
increases for high
k values, whereas it decreases for lower k values. Thus, the increasing
causes a larger range of values for
’s, that is, more heterogeneity in the distribution of individuals.
Figure 2 shows that higher values of
enhance epidemic spreading in terms of both a smaller epidemic threshold and larger macroscopic incidence.
For fixed average population per node
and fixed
,
Figure 1b shows
with different carrying capacity exponent
. As
increases, i.e., carrying capacity correlates more strongly with node degree, the asymptotic population distribution becomes more heterogeneous (see
Figure 1b), which enhances epidemic spreading in terms of both smaller epidemic threshold and larger macroscopic incidence (as shown in
Figure 3).
Next, we will analyze the sufficient condition that the disease-free equilibrium becomes unstable and investigate how the carrying capacity exponent
affects the epidemic threshold. For the sake of analytical treatment described, we will assume statistical equivalence for nodes with the same degree. Under this heterogeneous mean-field approximation [
1,
24], we can introduce degree-block variables
and
represents the numbers of susceptible and infected individuals in the node of degree
k, respectively, i.e.,
where
is the set of nodes of degree
k. We can split the sum with index
j into two sums over
and
, i.e.,
The double sum over
is related to the conditional probability
that a node of given degree
k has a neighbor which has degree
. Furthermore, we restrict ourselves to the case of uncorrelated networks in which the conditional probability takes the simple form
[
1,
24]. Thus, after some reformulation, Equation (
5) simplifies to
To obtain the sufficient condition that the disease-free equilibrium becomes unstable, we use the analytical argument presented in [
17,
19,
20]. The Jacobian matrix of Equation (
12) at the disease-free equilibrium (i.e.,
and
for all
k) can be written in blocks as
where each block is an
matrix, with
being the number of degrees in the network, 0 as the null matrix,
I as the identical matrix, and
representing the diagonal matrix with diagonal element
. It is notable that
can be considered as an effective diffusion rate
stands for the matrix with elements
Obviously,
is a rank-one matrix. The eigenvalues of
are
, with algebraic multiplicity
and a simple eigenvalue
, owing to the fact that the sum of the diagonal elements of
is equal to 1. Thus, the characteristic polynomial of the upper diagonal block
of the Jacobian matrix is
, and its largest eigenvalue is equal to 0. The lower diagonal block of the Jacobian matrix has the form
, which is perturbed by the rank-one matrix
. According to the general interlacing theorem of eigenvalues for this type of matrix [
25], its largest eigenvalue
satisfies
. The triangular structure of the Jacobian matrix means its spectrum is the union of the spectra of these two diagonal blocks. Finally, the largest eigenvalue of the Jacobian matrix is
. Therefore, a sufficient condition for the disease-free equilibrium to be unstable is given by
For the standard diffusion scenario, the inequality reduces to
, as reported in Refs. [
17,
19]. The left-hand side of this inequality can be approximately treated as a basic reproductive number at maximum-degree nodes. Note that we only consider the case that
is an increasing function of
k. Rewriting Equation (
16), we obtain the sufficient condition of
as
which indicates that if
, the system certainly reaches an endemic state. As the arrows show in
Figure 2a and
Figure 3a,
can be approximately considered as an epidemic threshold which separates the endemic state from the disease-free state. Note that it may be possible to have an endemic state if
is less than
. Equation (
17) shows that
is an increasing function of
, which implies that diffusion suppresses epidemic spreading in the sense of an increase in the epidemic threshold. This is consistent with the result obtained for the standard diffusion scenario in [
20].
In the thermodynamics limit (i.e.,
and
is a finite fixed value), for networks with a bounded average degree
and an unbounded largest degree
, from Equation (
8), we have
Combining Equations (
17) and (
18), we obtain
for a network with
in the thermodynamics limit. Note that the lack of an epidemic threshold, i.e.,
, is also obtained for the standard diffusion scenario [
17,
19,
20], while in the finite carrying capacity scenarios, the conditions for the lack of an epidemic threshold depend on the value of the carrying capacity exponent
. When
, the number of individuals at maximum-degree nodes
is bounded (see Equation (
18)), which results in the presence of a nonzero epidemic threshold. As shown in
Figure 4, for
,
is almost unchanged as the network size
N increases, which indicates the presence of a positive epidemic threshold in limit
. On the other hand, when
,
is linear in
, which indicates the absence of an epidemic threshold in limit
.