Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis

Hunter, E. T. P. , Enright, J. and Miller, A. A. (2023) Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis. Theoretical Computer Science, 980, 114247. (doi: 10.1016/j.tcs.2023.114247)

[img] Text
307855.pdf - Published Version
Available under License Creative Commons Attribution.



Sharkey, Kiss and others developed a dynamical approach to modelling epidemic disease on a contact graph by generating systems of first-order ordinary differential equations expressing the model dynamics [1], [2], which are solved to yield exact and deterministic modelling results. However, they left algorithmic generation (and solving) of systems and runtime assessment of the approach as an open question. To address this, we give an open source implementation that takes both a compartmental model and a contact graph as input and then generates and solves a system of equations exactly describing the dynamics of the system. Our implementation uses a moment closure result on single-vertex cutsets in the contact graph to reduce the number of equations required. In runtime experiments, we find that the implementation of the dynamical approach is almost always slower than a comparable Monte Carlo simulation in finding the expected state of the modelling system at a specified time. To complement our runtime evaluations, we give results and bounds on the number of equations required to describe a system as a function of the size of the compartmental model and input graph. We show that a natural extension of the moment closure result on single-vertex cutsets to larger cutsets is only possible for restricted projections of the model states on the cutset. We conclude that the dynamical approach is unlikely to be suitable unless exact, deterministic (rather than simulated) results are essential.

Item Type:Articles
Keywords:Epidemiology, graph theory, dynamical systems, Monte Carlo.
Glasgow Author(s) Enlighten ID:Hunter, Ethan and Enright, Dr Jessica and Miller, Professor Alice
Authors: Hunter, E. T. P., Enright, J., and Miller, A. A.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Theoretical Computer Science
ISSN (Online):1879-2294
Published Online:12 October 2023
Copyright Holders:Copyright © 2023 The Authors
First Published:First published in Theoretical Computer Science 980:114247
Publisher Policy:Reproduced under a Creative Commons License

University Staff: Request a correction | Enlighten Editors: Update this record