    July  2018, 23(5): 2005-2020. doi: 10.3934/dcdsb.2018192

## On bounding exact models of epidemic spread on networks

 1 Institute of Mathematics, Eötvös Loránd University Budapest, Hungary 2 Numerical Analysis and Large Networks Research Group, Hungarian Academy of Sciences, Hungary 3 School of Mathematical and Physical Sciences, Department of Mathematics, University of Sussex, Falmer, Brighton BN1 9QH, UK

* Corresponding author: Péter L. Simon

Received  March 2017 Revised  October 2017 Published  May 2018

Fund Project: The first author is supported by Hungarian Scientific Research Fund, OTKA, (grant no. 115926)

In this paper we use comparison theorems from classical ODE theory in order to rigorously show that closures or approximations at individual or node level lead to mean-field models that bound the exact stochastic process from above. This will be done in the context of modelling epidemic spread on networks and the proof of the result relies on the observation that the epidemic process is negatively correlated (in the sense that the probability of an edge being in the susceptible-infected state is smaller than the product of the probabilities of the nodes being in the susceptible and infected states, respectively). The results in the paper hold for Markovian epidemics and arbitrary weighted and directed networks. Furthermore, we cast the results in a more general framework where alternative closures, other than that assuming the independence of nodes connected by an edge, are possible and provide a succinct summary of the stability analysis of the resulting more general mean-field models. While deterministic initial conditions are key to obtain the negative correlation result we show that this condition can be relaxed as long as extra conditions on the edge weights are imposed.

Citation: Péter L. Simon, Istvan Z. Kiss. On bounding exact models of epidemic spread on networks. Discrete & Continuous Dynamical Systems - B, 2018, 23 (5) : 2005-2020. doi: 10.3934/dcdsb.2018192
##### References:
  B. Armbruster and E. Beck, Elementary proof of convergence to the mean-field model for the SIR process, Journal of Mathematical Biology, 75 (2017), 327-339. doi: 10.1007/s00285-016-1086-1.  Google Scholar  B. Armbruster and E. Beck, An elementary proof of convergence to the mean-field equations for an epidemic model, IMA Journal of Applied Mathematics, 82 (2017), 152-157. doi: 10.1093/imamat/hxw010.  Google Scholar  B. Armbruster, A. Besenyei and P. L. Simon, Bounds for the expected value of one-step processes, Commun. Math. Sci., 14 (2016), 1911-1923. doi: 10.4310/CMS.2016.v14.n7.a6.  Google Scholar  M. van Baalen, Pair approximations for different spatial geometries, chapter Pair approximations for different spatial geometries, Cambridge University Press, (2000), 359-387. Google Scholar  A. Bátkai, I. Z. Kiss, E. Sikolya and P. L. Simon, Differential equation approximations of stochastic network processes: An operator semigroup approach, Netw. Heter. Media, 7 (2012), 43-58. doi: 10.3934/nhm.2012.7.43.  Google Scholar  M. Boguná and R. Pastor-Satorras, Epidemic spreading in correlated complex networks, Physical Review E, 66 (2002), 047104. Google Scholar  E. Cator and P. Van Mieghem, Nodal infection in Markovian susceptible-infected-susceptible and susceptible-infected-removed epidemics on networks are non-negatively correlated, Physical Review E, 89 (2014), 052802. doi: 10.1103/PhysRevE.89.052802. Google Scholar  T. E. Harris, Additive set-valued markov processes and graphical methods, The Annals of Probability, 6 (1978), 355-378. doi: 10.1214/aop/1176995523.  Google Scholar  M. W. Hirsch and H. Smith, Monotone dynamical systems, in Handbook of Differential Equations: Ordinary Differential Equations (eds. A. Canada, P. Drábek and A. Fonda), Elsevier BV Amsterdam, 2 (2005), 239–357. Google Scholar  E. Kamke, Zur theorie der systeme gewöhnlicher differentialgleichungen. Ⅱ, Acta Mathematica, 58 (1932), 57-85. doi: 10.1007/BF02547774.  Google Scholar  M. J. Keeling, The effects of local spatial structure on epidemiological invasions, Proceedings of the Royal Society of London. Series B: Biological Sciences, (2011), 480-488. doi: 10.1515/9781400841356.480. Google Scholar  I. Z. Kiss, J. C. Miller and P. L. Simon, Mathematics of Network Epidemics: From Exact to Approximate Models, Springer-Verlag, New York, 2017. doi: 10.1007/978-3-319-50806-1. Google Scholar  I. Z. Kiss, C. G. Morris, F. Sélley, P. L. Simon and R. R. Wilkinson, Exact deterministic representation of markovian SIR epidemics on networks with and without loops, Journal of Mathematical Biology, 70 (2015), 437-464. doi: 10.1007/s00285-014-0772-0.  Google Scholar  I. Z. Kiss, G. Röst and Z. Vizi, Generalization of pairwise models to non-Markovian epidemics on networks Physical Review Letters, 115 (2015), 078701. doi: 10.1103/PhysRevLett.115.078701. Google Scholar  D. Kunszenti-Kovács and P. L. Simon, Mean-field approximation of counting processes from a differential equation perspective, Electronic Journal of Qualitative Theory of Differential Equations, 2016 (2016), 1-17. Google Scholar  A. Lajmanovich and J. A. Yorke, A deterministic model for gonorrhea in a nonhomogeneous population, Mathematical Biosciences, 28 (1976), 221-236. doi: 10.1016/0025-5564(76)90125-5.  Google Scholar  J. Lindquist, J. Ma, P. van den Driessche and F. H. Willeboordse, Effective degree network disease models, Journal of Mathematical Biology, 62 (2011), 143-164. doi: 10.1007/s00285-010-0331-2.  Google Scholar  J. C. Miller, A. C. Slim and E. M. Volz, Edge-based compartmental modelling for infectious disease spread, Journal of the Royal Society Interface, 9 (2012), 890-906. doi: 10.1007/s00285-012-0572-3.  Google Scholar  J. C. Miller and E. M. Volz, Model hierarchies in edge-based compartmental modeling for infectious disease spread, Journal of Mathematical Biology, 67 (2013), 869-899. doi: 10.1007/s00285-012-0572-3.  Google Scholar  M. Molloy and B. Reed, A critical point for random graphs with a given degree sequence, Random Structures & Algorithms, 6 (1995), 161-179. doi: 10.1002/rsa.3240060204.  Google Scholar  M. Müller, Über das fundamentaltheorem in der theorie der gewöhnlichen differentialgleichungen, Mathematische Zeitschrift, 26 (1927), 619-645. doi: 10.1007/BF01475477.  Google Scholar  R. Pastor-Satorras, C. Castellano, P. Van Mieghem and A. Vespignani, Epidemic processes in complex networks, Rev. Mod. Phys., 87 (2015), 925-979. doi: 10.1103/RevModPhys.87.925.  Google Scholar  R. Pastor-Satorras and A. Vespignani, Epidemic spreading in scale-free networks, Physical Review Letters, 86 (2001), 3200-3203. doi: 10.1515/9781400841356.493. Google Scholar  D. A. Rand, Correlation equations and pair approximations for spatial ecologies, in Advanced ecological theory: principles and applications, Oxford: Blackwell Science, (1999), 100–142.Google Scholar  K. J. Sharkey, Deterministic epidemic models on contact networks: Correlations and unbiological terms, Theoretical Population Biology, 79 (2011), 115-129. doi: 10.1016/j.tpb.2011.01.004. Google Scholar  K. J. Sharkey, I. Z. Kiss, R. R. Wilkinson and P. L. Simon, Exact equations for SIR epidemics on tree graphs, Bulletin of Mathematical Biology, 77 (2015), 614-645. doi: 10.1007/s11538-013-9923-5.  Google Scholar  P. L. Simon, M. Taylor and I. Z. Kiss, Exact epidemic models on graphs using graph-automorphism driven lumping, Journal of Mathematical Biology, 62 (2011), 479-508. doi: 10.1007/s00285-010-0344-x.  Google Scholar  H. L. Smith, Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems, American Mathematical Society, Providence, RI, 1995. Google Scholar  J. Szarski, Differential Inequalities, Instytut Matematyczny Polskiej Akademi Nauk (Warszawa), 1965. Google Scholar  M. Taylor, P. L. Simon, D. M. Green, T. House and I. Z. Kiss, From Markovian to pairwise epidemic models and the performance of moment closure approximations, Journal of Mathematical Biology, 64 (2012), 1021-1042. doi: 10.1007/s00285-011-0443-3.  Google Scholar  P. Van Mieghem, The n-intertwined SIS epidemic network model, Computing, 93 (2011), 147-169. doi: 10.1007/s00607-011-0155-y.  Google Scholar  P. Van Mieghem, J. Omic and R. Kooij, Virus spread in networks, Networking, IEEE/ACM Transactions, 17 (2009), 1-14. doi: 10.1109/TNET.2008.925623. Google Scholar

show all references

##### References:
  B. Armbruster and E. Beck, Elementary proof of convergence to the mean-field model for the SIR process, Journal of Mathematical Biology, 75 (2017), 327-339. doi: 10.1007/s00285-016-1086-1.  Google Scholar  B. Armbruster and E. Beck, An elementary proof of convergence to the mean-field equations for an epidemic model, IMA Journal of Applied Mathematics, 82 (2017), 152-157. doi: 10.1093/imamat/hxw010.  Google Scholar  B. Armbruster, A. Besenyei and P. L. Simon, Bounds for the expected value of one-step processes, Commun. Math. Sci., 14 (2016), 1911-1923. doi: 10.4310/CMS.2016.v14.n7.a6.  Google Scholar  M. van Baalen, Pair approximations for different spatial geometries, chapter Pair approximations for different spatial geometries, Cambridge University Press, (2000), 359-387. Google Scholar  A. Bátkai, I. Z. Kiss, E. Sikolya and P. L. Simon, Differential equation approximations of stochastic network processes: An operator semigroup approach, Netw. Heter. Media, 7 (2012), 43-58. doi: 10.3934/nhm.2012.7.43.  Google Scholar  M. Boguná and R. Pastor-Satorras, Epidemic spreading in correlated complex networks, Physical Review E, 66 (2002), 047104. Google Scholar  E. Cator and P. Van Mieghem, Nodal infection in Markovian susceptible-infected-susceptible and susceptible-infected-removed epidemics on networks are non-negatively correlated, Physical Review E, 89 (2014), 052802. doi: 10.1103/PhysRevE.89.052802. Google Scholar  T. E. Harris, Additive set-valued markov processes and graphical methods, The Annals of Probability, 6 (1978), 355-378. doi: 10.1214/aop/1176995523.  Google Scholar  M. W. Hirsch and H. Smith, Monotone dynamical systems, in Handbook of Differential Equations: Ordinary Differential Equations (eds. A. Canada, P. Drábek and A. Fonda), Elsevier BV Amsterdam, 2 (2005), 239–357. Google Scholar  E. Kamke, Zur theorie der systeme gewöhnlicher differentialgleichungen. Ⅱ, Acta Mathematica, 58 (1932), 57-85. doi: 10.1007/BF02547774.  Google Scholar  M. J. Keeling, The effects of local spatial structure on epidemiological invasions, Proceedings of the Royal Society of London. Series B: Biological Sciences, (2011), 480-488. doi: 10.1515/9781400841356.480. Google Scholar  I. Z. Kiss, J. C. Miller and P. L. Simon, Mathematics of Network Epidemics: From Exact to Approximate Models, Springer-Verlag, New York, 2017. doi: 10.1007/978-3-319-50806-1. Google Scholar  I. Z. Kiss, C. G. Morris, F. Sélley, P. L. Simon and R. R. Wilkinson, Exact deterministic representation of markovian SIR epidemics on networks with and without loops, Journal of Mathematical Biology, 70 (2015), 437-464. doi: 10.1007/s00285-014-0772-0.  Google Scholar  I. Z. Kiss, G. Röst and Z. Vizi, Generalization of pairwise models to non-Markovian epidemics on networks Physical Review Letters, 115 (2015), 078701. doi: 10.1103/PhysRevLett.115.078701. Google Scholar  D. Kunszenti-Kovács and P. L. Simon, Mean-field approximation of counting processes from a differential equation perspective, Electronic Journal of Qualitative Theory of Differential Equations, 2016 (2016), 1-17. Google Scholar  A. Lajmanovich and J. A. Yorke, A deterministic model for gonorrhea in a nonhomogeneous population, Mathematical Biosciences, 28 (1976), 221-236. doi: 10.1016/0025-5564(76)90125-5.  Google Scholar  J. Lindquist, J. Ma, P. van den Driessche and F. H. Willeboordse, Effective degree network disease models, Journal of Mathematical Biology, 62 (2011), 143-164. doi: 10.1007/s00285-010-0331-2.  Google Scholar  J. C. Miller, A. C. Slim and E. M. Volz, Edge-based compartmental modelling for infectious disease spread, Journal of the Royal Society Interface, 9 (2012), 890-906. doi: 10.1007/s00285-012-0572-3.  Google Scholar  J. C. Miller and E. M. Volz, Model hierarchies in edge-based compartmental modeling for infectious disease spread, Journal of Mathematical Biology, 67 (2013), 869-899. doi: 10.1007/s00285-012-0572-3.  Google Scholar  M. Molloy and B. Reed, A critical point for random graphs with a given degree sequence, Random Structures & Algorithms, 6 (1995), 161-179. doi: 10.1002/rsa.3240060204.  Google Scholar  M. Müller, Über das fundamentaltheorem in der theorie der gewöhnlichen differentialgleichungen, Mathematische Zeitschrift, 26 (1927), 619-645. doi: 10.1007/BF01475477.  Google Scholar  R. Pastor-Satorras, C. Castellano, P. Van Mieghem and A. Vespignani, Epidemic processes in complex networks, Rev. Mod. Phys., 87 (2015), 925-979. doi: 10.1103/RevModPhys.87.925.  Google Scholar  R. Pastor-Satorras and A. Vespignani, Epidemic spreading in scale-free networks, Physical Review Letters, 86 (2001), 3200-3203. doi: 10.1515/9781400841356.493. Google Scholar  D. A. Rand, Correlation equations and pair approximations for spatial ecologies, in Advanced ecological theory: principles and applications, Oxford: Blackwell Science, (1999), 100–142.Google Scholar  K. J. Sharkey, Deterministic epidemic models on contact networks: Correlations and unbiological terms, Theoretical Population Biology, 79 (2011), 115-129. doi: 10.1016/j.tpb.2011.01.004. Google Scholar  K. J. Sharkey, I. Z. Kiss, R. R. Wilkinson and P. L. Simon, Exact equations for SIR epidemics on tree graphs, Bulletin of Mathematical Biology, 77 (2015), 614-645. doi: 10.1007/s11538-013-9923-5.  Google Scholar  P. L. Simon, M. Taylor and I. Z. Kiss, Exact epidemic models on graphs using graph-automorphism driven lumping, Journal of Mathematical Biology, 62 (2011), 479-508. doi: 10.1007/s00285-010-0344-x.  Google Scholar  H. L. Smith, Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems, American Mathematical Society, Providence, RI, 1995. Google Scholar  J. Szarski, Differential Inequalities, Instytut Matematyczny Polskiej Akademi Nauk (Warszawa), 1965. Google Scholar  M. Taylor, P. L. Simon, D. M. Green, T. House and I. Z. Kiss, From Markovian to pairwise epidemic models and the performance of moment closure approximations, Journal of Mathematical Biology, 64 (2012), 1021-1042. doi: 10.1007/s00285-011-0443-3.  Google Scholar  P. Van Mieghem, The n-intertwined SIS epidemic network model, Computing, 93 (2011), 147-169. doi: 10.1007/s00607-011-0155-y.  Google Scholar  P. Van Mieghem, J. Omic and R. Kooij, Virus spread in networks, Networking, IEEE/ACM Transactions, 17 (2009), 1-14. doi: 10.1109/TNET.2008.925623. Google Scholar
The relation of the joint and marginal probabilities.
 $\left\langle {I_i} \right\rangle$ $\left\langle {S_i} \right\rangle$ $\left\langle {I_j} \right\rangle$ a b q $\left\langle {S_j} \right\rangle$ c d 1-q p 1-p
 $\left\langle {I_i} \right\rangle$ $\left\langle {S_i} \right\rangle$ $\left\langle {I_j} \right\rangle$ a b q $\left\langle {S_j} \right\rangle$ c d 1-q p 1-p
  Patrick Gerard, Christophe Pallard. A mean-field toy model for resonant transport. Kinetic & Related Models, 2010, 3 (2) : 299-309. doi: 10.3934/krm.2010.3.299  Seung-Yeal Ha, Jeongho Kim, Jinyeong Park, Xiongtao Zhang. Uniform stability and mean-field limit for the augmented Kuramoto model. Networks & Heterogeneous Media, 2018, 13 (2) : 297-322. doi: 10.3934/nhm.2018013  Franco Flandoli, Enrico Priola, Giovanni Zanco. A mean-field model with discontinuous coefficients for neurons with spatial interaction. Discrete & Continuous Dynamical Systems - A, 2019, 39 (6) : 3037-3067. doi: 10.3934/dcds.2019126  Jianhui Huang, Xun Li, Jiongmin Yong. A linear-quadratic optimal control problem for mean-field stochastic differential equations in infinite horizon. Mathematical Control & Related Fields, 2015, 5 (1) : 97-139. doi: 10.3934/mcrf.2015.5.97  Haiyan Zhang. A necessary condition for mean-field type stochastic differential equations with correlated state and observation noises. Journal of Industrial & Management Optimization, 2016, 12 (4) : 1287-1301. doi: 10.3934/jimo.2016.12.1287  Juan Li, Wenqiang Li. Controlled reflected mean-field backward stochastic differential equations coupled with value function and related PDEs. Mathematical Control & Related Fields, 2015, 5 (3) : 501-516. doi: 10.3934/mcrf.2015.5.501  Thierry Paul, Mario Pulvirenti. Asymptotic expansion of the mean-field approximation. Discrete & Continuous Dynamical Systems - A, 2019, 39 (4) : 1891-1921. doi: 10.3934/dcds.2019080  Rong Yang, Li Chen. Mean-field limit for a collision-avoiding flocking system and the time-asymptotic flocking dynamics for the kinetic equation. Kinetic & Related Models, 2014, 7 (2) : 381-400. doi: 10.3934/krm.2014.7.381  Seung-Yeal Ha, Jeongho Kim, Xiongtao Zhang. Uniform stability of the Cucker-Smale model and its application to the Mean-Field limit. Kinetic & Related Models, 2018, 11 (5) : 1157-1181. doi: 10.3934/krm.2018045  Seung-Yeal Ha, Jeongho Kim, Peter Pickl, Xiongtao Zhang. A probabilistic approach for the mean-field limit to the Cucker-Smale model with a singular communication. Kinetic & Related Models, 2019, 12 (5) : 1045-1067. doi: 10.3934/krm.2019039  Yves Achdou, Mathieu Laurière. On the system of partial differential equations arising in mean field type control. Discrete & Continuous Dynamical Systems - A, 2015, 35 (9) : 3879-3900. doi: 10.3934/dcds.2015.35.3879  Yufeng Shi, Tianxiao Wang, Jiongmin Yong. Mean-field backward stochastic Volterra integral equations. Discrete & Continuous Dynamical Systems - B, 2013, 18 (7) : 1929-1967. doi: 10.3934/dcdsb.2013.18.1929  Diogo A. Gomes, Gabriel E. Pires, Héctor Sánchez-Morgado. A-priori estimates for stationary mean-field games. Networks & Heterogeneous Media, 2012, 7 (2) : 303-314. doi: 10.3934/nhm.2012.7.303  Gerasimenko Viktor. Heisenberg picture of quantum kinetic evolution in mean-field limit. Kinetic & Related Models, 2011, 4 (1) : 385-399. doi: 10.3934/krm.2011.4.385  Michael Herty, Mattia Zanella. Performance bounds for the mean-field limit of constrained dynamics. Discrete & Continuous Dynamical Systems - A, 2017, 37 (4) : 2023-2043. doi: 10.3934/dcds.2017086  Diogo Gomes, Marc Sedjro. One-dimensional, forward-forward mean-field games with congestion. Discrete & Continuous Dynamical Systems - S, 2018, 11 (5) : 901-914. doi: 10.3934/dcdss.2018054  Hancheng Guo, Jie Xiong. A second-order stochastic maximum principle for generalized mean-field singular control problem. Mathematical Control & Related Fields, 2018, 8 (2) : 451-473. doi: 10.3934/mcrf.2018018  Young-Pil Choi, Samir Salem. Cucker-Smale flocking particles with multiplicative noises: Stochastic mean-field limit and phase transition. Kinetic & Related Models, 2019, 12 (3) : 573-592. doi: 10.3934/krm.2019023  Tianxiao Wang. Characterizations of equilibrium controls in time inconsistent mean-field stochastic linear quadratic problems. I. Mathematical Control & Related Fields, 2019, 9 (2) : 385-409. doi: 10.3934/mcrf.2019018  Salah Eddine Choutri, Boualem Djehiche, Hamidou Tembine. Optimal control and zero-sum games for Markov chains of mean-field type. Mathematical Control & Related Fields, 2019, 9 (3) : 571-605. doi: 10.3934/mcrf.2019026

2018 Impact Factor: 1.008