Showing 1–36 of 36 results for author: Simpson, M J

Mathematical modelling and uncertainty quantification for analysis of biphasic coral reef recovery patterns

Authors: David J. Warne, Kerryn Crossman, Grace E. M. Heron, Jesse A. Sharp, Wang **, Paul Pao-Yen Wu, Matthew J. Simpson, Kerrie Mengersen, Juan-Carlos Ortiz

Abstract: Coral reefs are increasingly subjected to major disturbances threatening the health of marine ecosystems. Substantial research underway to develop intervention strategies that assist reefs in recovery from, and resistance to, inevitable future climate and weather extremes. To assess potential benefits of interventions, mechanistic understanding of coral reef recovery and resistance patterns is ess… ▽ More Coral reefs are increasingly subjected to major disturbances threatening the health of marine ecosystems. Substantial research underway to develop intervention strategies that assist reefs in recovery from, and resistance to, inevitable future climate and weather extremes. To assess potential benefits of interventions, mechanistic understanding of coral reef recovery and resistance patterns is essential. Recent evidence suggests that more than half of the reefs surveyed across the Great Barrier Reef (GBR) exhibit deviations from standard recovery modelling assumptions when the initial coral cover is low ($\leq 10$\%). New modelling is necessary to account for these observed patterns to better inform management strategies. We consider a new model for reef recovery at the coral cover scale that accounts for biphasic recovery patterns. The model is based on a multispecies Richards' growth model that includes a change point in the recovery patterns. Bayesian inference is applied for uncertainty quantification of key parameters for assessing reef health and recovery patterns. This analysis is applied to benthic survey data from the Australian Institute of Marine Sciences (AIMS). We demonstrate agreement between model predictions and data across every recorded recovery trajectory with at least two years of observations following disturbance events occurring between 1992--2020. This new approach will enable new insights into the biological, ecological and environmental factors that contribute to the duration and severity of biphasic coral recovery patterns across the GBR. These new insights will help to inform managements and monitoring practice to mitigate the impacts of climate change on coral reefs. △ Less

Submitted 27 June, 2024; originally announced June 2024.

MSC Class: 62P12 (Primary)

Mechanical cell interactions on curved interfaces

Authors: Pascal R. Buenzli, Shahak Kuba, Ryan J. Murphy, Matthew J. Simpson

Abstract: We propose a simple mathematical model to describe the mechanical relaxation of cells within a curved epithelial tissue layer represented by an arbitrary curve in two-dimensional space. The model represents the mechanics of the cell body either by straight springs between points of the curve, or by curved springs whose shape follows the curve. To understand the collective behaviour of these discre… ▽ More We propose a simple mathematical model to describe the mechanical relaxation of cells within a curved epithelial tissue layer represented by an arbitrary curve in two-dimensional space. The model represents the mechanics of the cell body either by straight springs between points of the curve, or by curved springs whose shape follows the curve. To understand the collective behaviour of these discrete models of cells at the broader tissue scale, we devise an appropriate continuum limit in which the number of cells is constant but the number of springs tends to infinity. The continuum limit shows that (i)~the straight spring model and the curved spring model converge to the same dynamics; and (ii)~the density of cells becomes governed by a diffusion equation in arc length space with second-order accuracy, where diffusion may be linear or nonlinear depending on the choice of the spring restoring force law. Our derivation of the continuum limit justifies that to reach consistent dynamics as the number of springs increases, the spring restoring force laws must be rescaled appropriately. Despite mechanical relaxation occurring within a curved tissue layer, we find that the curvature of the tissue does not affect tangential stress nor the mechanics-induced redistribution of cells within the layer in the continuum limit. However, the cell's normal stress does depend on curvature due to surface tension induced by the tangential forces. By characterising the full stress state of a cell, these models provide a basis to represent further mechanobiological processes. △ Less

Submitted 3 July, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

Comments: 34 pages, 13 figures; v2: minor edits

Likelihood-based inference, identifiability and prediction using count data from lattice-based random walk models

Authors: Yihan Liu, David J Warne, Matthew J Simpson

Abstract: In vitro cell biology experiments are routinely used to characterize cell migration properties under various experimental conditions. These experiments can be interpreted using lattice-based random walk models to provide insight into underlying biological mechanisms, and continuum limit partial differential equation (PDE) descriptions of the stochastic models can be used to efficiently explore mod… ▽ More In vitro cell biology experiments are routinely used to characterize cell migration properties under various experimental conditions. These experiments can be interpreted using lattice-based random walk models to provide insight into underlying biological mechanisms, and continuum limit partial differential equation (PDE) descriptions of the stochastic models can be used to efficiently explore model properties instead of relying on repeated stochastic simulations. Working with efficient PDE models is of high interest for parameter estimation algorithms that typically require a large number of forward model simulations. Quantitative data from cell biology experiments usually involves non-negative cell counts in different regions of the experimental images, and it is not obvious how to relate finite, noisy count data to the solutions of continuous PDE models that correspond to noise-free density profiles. In this work we illustrate how to develop and implement likelihood-based methods for parameter estimation, parameter identifiability and model prediction for lattice-based models describing collective migration with an arbitrary number of interacting subpopulations. We implement a standard additive Gaussian measurement error model as well as a new physically-motivated multinomial measurement error model that relates noisy count data with the solution of continuous PDE models. Both measurement error models lead to similar outcomes for parameter estimation and parameter identifiability, whereas the standard additive Gaussian measurement error model leads to non-physical prediction outcomes. In contrast, the new multinomial measurement error model involves a lower computational overhead for parameter estimation and identifiability analysis, as well as leading to physically meaningful model predictions. △ Less

Submitted 23 June, 2024; originally announced June 2024.

Comments: 34 pages, 7 figures

MSC Class: 92B99; 82M99; 62M99

A generalised sigmoid population growth model with energy dependence: application to quantify the tip** point for Antarctic shallow seabed algae

Authors: Elise Mills, Graeme F. Clark, Matthew J. Simpson, Mark Baird, Matthew P. Adams

Abstract: Sigmoid growth models are often used to study population dynamics. The size of a population at equilibrium commonly depends explicitly on the availability of resources, such as an energy or nutrient source, which is not explicit in standard sigmoid growth models. A simple generalised extension of sigmoid growth models is introduced that can explicitly account for this resource-dependence, demonstr… ▽ More Sigmoid growth models are often used to study population dynamics. The size of a population at equilibrium commonly depends explicitly on the availability of resources, such as an energy or nutrient source, which is not explicit in standard sigmoid growth models. A simple generalised extension of sigmoid growth models is introduced that can explicitly account for this resource-dependence, demonstrated by three examples of this family of models of increasing mathematical complexity. Each model is calibrated and compared to observed data for algae under sea-ice in Antarctic coastal waters. It was found that through careful construction, models satisfying the proposed framework can estimate key properties of a sea-ice break-out controlled tip** point for the algae, which cannot be estimated using standard sigmoid growth models. The proposed broader family of energy-dependent sigmoid growth models likely has usage in many population growth contexts where resources limit population size. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Structured methods for parameter inference and uncertainty quantification for mechanistic models in the life sciences

Authors: Michael J. Plank, Matthew J. Simpson

Abstract: Parameter inference and uncertainty quantification are important steps when relating mathematical models to real-world observations, and when estimating uncertainty in model predictions. However, methods for doing this can be computationally expensive, particularly when the number of unknown model parameters is large. The aim of this study is to develop and test an efficient profile likelihood-bas… ▽ More Parameter inference and uncertainty quantification are important steps when relating mathematical models to real-world observations, and when estimating uncertainty in model predictions. However, methods for doing this can be computationally expensive, particularly when the number of unknown model parameters is large. The aim of this study is to develop and test an efficient profile likelihood-based method, which takes advantage of the structure of the mathematical model being used. We do this by identifying specific parameters that affect model output in a known way, such as a linear scaling. We illustrate the method by applying it to three caricature models from different areas of the life sciences: (i) a predator-prey model from ecology; (ii) a compartment-based epidemic model from health sciences; and, (iii) an advection-diffusion-reaction model describing transport of dissolved solutes from environmental science. We show that the new method produces results of comparable accuracy to existing profile likelihood methods, but with substantially fewer evaluations of the forward model. We conclude that our method could provide a much more efficient approach to parameter inference for models where a structured approach is feasible. Code to apply the new method to user-supplied models and data is provided via a publicly accessible repository. △ Less

Submitted 11 April, 2024; v1 submitted 3 March, 2024; originally announced March 2024.

Fisher-KPP-type models of biological invasion: Open source computational tools, key concepts and analysis

Authors: Matthew J Simpson, Scott W McCue

Abstract: This review provides open-access computational tools that support a range of mathematical approaches to analyse three related scalar reaction-diffusion models used to study biological invasion. Starting with the classic Fisher-Kolmogorov (Fisher-KPP) model, we illustrate how computational methods can be used to explore time-dependent partial differential equation (PDE) solutions in parallel with p… ▽ More This review provides open-access computational tools that support a range of mathematical approaches to analyse three related scalar reaction-diffusion models used to study biological invasion. Starting with the classic Fisher-Kolmogorov (Fisher-KPP) model, we illustrate how computational methods can be used to explore time-dependent partial differential equation (PDE) solutions in parallel with phase plane and regular perturbation techniques to explore invading travelling wave solutions moving with dimensionless speed $c \ge 2$. To overcome the lack of a well-defined sharp front in solutions of the Fisher-KPP model, we also review two alternative modeling approaches. The first is the Porous-Fisher model where the linear diffusion term is replaced with a degenerate nonlinear diffusion term. Using phase plane and regular perturbation methods, we explore the distinction between sharp- and smooth-fronted invading travelling waves that move with dimensionless speed $c \ge 1/\sqrt{2}$. The second alternative approach is to reformulate the Fisher-KPP model as a moving boundary problem on $0 < x < L(t)$, leading to the Fisher-Stefan model with sharp-fronted travelling wave solutions arising from a PDE model with a linear diffusion term. Time-dependent PDE solutions and phase plane methods show that travelling wave solutions of the Fisher-Stefan model can describe both biological invasion $(c > 0)$ and biological recession $(c < 0)$. Open source Julia code to replicate all computational results in this review is available on GitHub; we encourage researchers to use this code directly or to adapt the code as required for more complicated models. △ Less

Submitted 24 April, 2024; v1 submitted 3 March, 2024; originally announced March 2024.

Comments: 55 Pages, 14 Figures

MSC Class: 35Q92

Front stability of infinitely steep travelling waves in population biology

Authors: Matthew J Simpson, Nizhum Rahman, Alexander KY Tam

Abstract: Reaction-diffusion models are often used to describe biological invasion, where populations of individuals that undergo random motility and proliferation lead to moving fronts. Many models of biological invasion are extensions of the Fisher-KPP model that describes the evolution of a 1D population density as a result of linear diffusion and logistic growth. In 2020 Fadai introduced a new model of… ▽ More Reaction-diffusion models are often used to describe biological invasion, where populations of individuals that undergo random motility and proliferation lead to moving fronts. Many models of biological invasion are extensions of the Fisher-KPP model that describes the evolution of a 1D population density as a result of linear diffusion and logistic growth. In 2020 Fadai introduced a new model of biological invasion that was formulated as a moving boundary problem with a nonlinear degenerate diffusive flux. Fadai's model leads to travelling wave solutions with infinitely steep, well-defined fronts at the moving boundary, and the model has the mathematical advantage of being analytically tractable in certain parameter limits. We aim to provide general insight by first presenting two key extensions by considering: (i) generalised nonlinear degenerate diffusion with flux; and, (ii) solutions describing both biological invasion, and biological recession. We establish the existence of travelling wave solutions for these two extensions, and then consider stability of the travelling wave solutions by introducing a lateral perturbation of the travelling wavefront. Full 2D time-dependent level-set numerical solutions indicate that invasive travelling waves are stable to small lateral perturbations, whereas receding travelling waves are unstable. These preliminary numerical observations are corroborated through a linear stability analysis that gives more formal insight into short time growth/decay of wavefront perturbation amplitude. △ Less

Submitted 5 January, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: 8 Figures, 25 pages

MSC Class: 35C07; 35R37; 92D25

Discrete and continuous mathematical models of sharp-fronted collective cell migration and invasion

Authors: Matthew J Simpson, Keeley M Murphy, Scott W McCue, Pascal R Buenzli

Abstract: Mathematical models describing the spatial spreading and invasion of populations of biological cells are often developed in a continuum modelling framework using reaction-diffusion equations. While continuum models based on linear diffusion are routinely employed and known to capture key experimental observations, linear diffusion fails to predict well-defined sharp fronts that are often observed… ▽ More Mathematical models describing the spatial spreading and invasion of populations of biological cells are often developed in a continuum modelling framework using reaction-diffusion equations. While continuum models based on linear diffusion are routinely employed and known to capture key experimental observations, linear diffusion fails to predict well-defined sharp fronts that are often observed experimentally. This observation has motivated the use of nonlinear degenerate diffusion, however these nonlinear models and the associated parameters lack a clear biological motivation and interpretation. Here we take a different approach by develo** a stochastic discrete lattice-based model incorporating biologically-inspired mechanisms and then deriving the reaction-diffusion continuum limit. Inspired by experimental observations, agents in the simulation deposit extracellular material, that we call a substrate, locally onto the lattice, and the motility of agents is taken to be proportional to the substrate density. Discrete simulations that mimic a two--dimensional circular barrier assay illustrate how the discrete model supports both smooth and sharp-fronted density profiles depending on the rate of substrate deposition. Coarse-graining the discrete model leads to a novel partial differential equation (PDE) model whose solution accurately approximates averaged data from the discrete model. The new discrete model and PDE approximation provides a simple, biologically motivated framework for modelling the spreading, growth and invasion of cell populations with well-defined sharp fronts △ Less

Submitted 19 January, 2024; v1 submitted 11 October, 2023; originally announced October 2023.

Comments: 47 Pages, 8 Figures

MSC Class: 92-10

Pushing coarse-grained models beyond the continuum limit using equation learning

Authors: Daniel J. VandenHeuvel, Pascal R. Buenzli, Matthew J. Simpson

Abstract: Mathematical modelling of biological population dynamics often involves proposing high fidelity discrete agent-based models that capture stochasticity and individual-level processes. These models are often considered in conjunction with an approximate coarse-grained differential equation that captures population-level features only. These coarse-grained models are only accurate in certain asymptot… ▽ More Mathematical modelling of biological population dynamics often involves proposing high fidelity discrete agent-based models that capture stochasticity and individual-level processes. These models are often considered in conjunction with an approximate coarse-grained differential equation that captures population-level features only. These coarse-grained models are only accurate in certain asymptotic parameter regimes, such as enforcing that the time scale of individual motility far exceeds the time scale of birth/death processes. When these coarse-grained models are accurate, the discrete model still abides by conservation laws at the microscopic level, which implies that there is some macroscopic conservation law that can describe the macroscopic dynamics. In this work, we introduce an equation learning framework to find accurate coarse-grained models when standard continuum limit approaches are inaccurate. We demonstrate our approach using a discrete mechanical model of epithelial tissues, considering a series of four case studies that consider problems with and without free boundaries, and with and without proliferation, illustrating how we can learn macroscopic equations describing mechanical relaxation, cell proliferation, and the equation governing the dynamics of the free boundary of the tissue. While our presentation focuses on this biological application, our approach is more broadly applicable across a range of scenarios where discrete models are approximated by approximate continuum-limit descriptions. All code and data to reproduce this work are available at https://github.com/DanielVandH/StepwiseEQL.jl. △ Less

Submitted 18 December, 2023; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: Fixed some incorrect references to a figure

MSC Class: 35R30 (Primary); 92D25 (Secondary)

Implementing measurement error models with mechanistic mathematical models in a likelihood-based framework for estimation, identifiability analysis, and prediction in the life sciences

Authors: Ryan J. Murphy, Oliver J. Maclaren, Matthew J. Simpson

Abstract: Throughout the life sciences we routinely seek to interpret measurements and observations using parameterised mechanistic mathematical models. A fundamental and often overlooked choice in this approach involves relating the solution of a mathematical model with noisy and incomplete measurement data. This is often achieved by assuming that the data are noisy measurements of the solution of a determ… ▽ More Throughout the life sciences we routinely seek to interpret measurements and observations using parameterised mechanistic mathematical models. A fundamental and often overlooked choice in this approach involves relating the solution of a mathematical model with noisy and incomplete measurement data. This is often achieved by assuming that the data are noisy measurements of the solution of a deterministic mathematical model, and that measurement errors are additive and normally distributed. While this assumption of additive Gaussian noise is extremely common and simple to implement and interpret, it is often unjustified and can lead to poor parameter estimates and non-physical predictions. One way to overcome this challenge is to implement a different measurement error model. In this review, we demonstrate how to implement a range of measurement error models in a likelihood-based framework for estimation, identifiability analysis, and prediction, called Profile-Wise Analysis. This frequentist approach to uncertainty quantification for mechanistic models leverages the profile likelihood for targeting parameters and understanding their influence on predictions. Case studies, motivated by simple caricature models routinely used in systems biology and mathematical biology literature, illustrate how the same ideas apply to different types of mathematical models. Open-source Julia code to reproduce results is available on GitHub. △ Less

Submitted 8 November, 2023; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: Main: 43 pages, 12 figures. Supplementary: 24 pages, 12 figures

MSC Class: 62F99; 92B99; 92C42

Survival, extinction, and interface stability in a two--phase moving boundary model of biological invasion

Authors: Matthew J Simpson, Nizhum Rahman, Scott W McCue, Alexander KY Tam

Abstract: We consider a moving boundary mathematical model of biological invasion. The model describes the spatiotemporal evolution of two adjacent populations: each population undergoes linear diffusion and logistic growth, and the boundary between the two populations evolves according to a two--phase Stefan condition. This mathematical model describes situations where one population invades into regions o… ▽ More We consider a moving boundary mathematical model of biological invasion. The model describes the spatiotemporal evolution of two adjacent populations: each population undergoes linear diffusion and logistic growth, and the boundary between the two populations evolves according to a two--phase Stefan condition. This mathematical model describes situations where one population invades into regions occupied by the other population, such as the spreading of a malignant tumour into surrounding tissues. Full time--dependent numerical solutions are obtained using a level--set numerical method. We use these numerical solutions to explore several properties of the model including: (i) survival and extinction of one population initially surrounded by the other; and (ii) linear stability of the moving front boundary in the context of a travelling wave solution subjected to transverse perturbations. Overall, we show that many features of the well--studied one--phase single population analogue of this model can be very different in the more realistic two--phase setting. These results are important because realistic examples of biological invasion involve interactions between multiple populations and so great care should be taken when extrapolating predictions from a one--phase single population model to cases for which multiple populations are present. Open source Julia--based software is available on GitHub to replicate all results in this study. △ Less

Submitted 1 September, 2023; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: 36 pages. 10 figures

MSC Class: 35C07; 35R37; 92D25

Exact sharp-fronted solutions for nonlinear diffusion on evolving domains

Authors: Stuart T. Johnston, Matthew J. Simpson

Abstract: Models of diffusive processes that occur on evolving domains are frequently employed to describe biological and physical phenomena, such as diffusion within expanding tissues or substrates. Previous investigations into these models either report numerical solutions or require an assumption of linear diffusion to determine exact solutions. Unfortunately, numerical solutions do not reveal the relati… ▽ More Models of diffusive processes that occur on evolving domains are frequently employed to describe biological and physical phenomena, such as diffusion within expanding tissues or substrates. Previous investigations into these models either report numerical solutions or require an assumption of linear diffusion to determine exact solutions. Unfortunately, numerical solutions do not reveal the relationship between the model parameters and the solution features. Additionally, experimental observations typically report the presence of sharp fronts, which are not captured by linear diffusion. Here we address both limitations by presenting exact sharp-fronted solutions to a model of degenerate nonlinear diffusion on a growing domain. We obtain the solution by identifying a series of transformations that converts the model of a nonlinear diffusive process on an evolving domain to a nonlinear diffusion equation on a fixed domain, which admits known exact solutions for certain choices of diffusivity functions. We determine expressions for critical time scales and domain growth rates such that the diffusive population never reaches the domain boundaries and hence the solution remains valid. △ Less

Submitted 5 October, 2023; v1 submitted 12 June, 2023; originally announced June 2023.

Exact solutions for diffusive transport on heterogeneous growing domains

Authors: Stuart T. Johnston, Matthew J. Simpson

Abstract: From the smallest biological systems to the largest cosmological structures, spatial domains undergo expansion and contraction. Within these growing domains, diffusive transport is a common phenomenon. Mathematical models have been widely employed to investigate diffusive processes on growing domains. However, a standard assumption is that the domain growth is spatially uniform. There are many rel… ▽ More From the smallest biological systems to the largest cosmological structures, spatial domains undergo expansion and contraction. Within these growing domains, diffusive transport is a common phenomenon. Mathematical models have been widely employed to investigate diffusive processes on growing domains. However, a standard assumption is that the domain growth is spatially uniform. There are many relevant examples where this is not the case, such as the colonisation of growing gut tissue by neural crest cells. As such, it is not straightforward to disentangle the individual roles of heterogeneous growth and diffusive transport. Here we present exact solutions to models of diffusive transport on domains undergoing spatially non-uniform growth. The exact solutions are obtained via a combination of transformation, convolution and superposition techniques. We verify the accuracy of these solutions via comparison with simulations of a corresponding lattice-based random walk. We explore various domain growth functions, including linear growth, exponential growth and contraction, and oscillatory growth. Provided the domain size remains positive, we find that the derived solutions are valid. The exact solutions reveal the relationship between model parameters, such as the diffusivity and the type and rate of domain growth, and key statistics, such as the survival and splitting probabilities. △ Less

Submitted 26 June, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Geometric analysis enables biological insight from complex non-identifiable models using simple surrogates

Authors: Alexander P Browning, Matthew J Simpson

Abstract: An enduring challenge in computational biology is to balance data quality and quantity with model complexity. Tools such as identifiability analysis and information criterion have been developed to harmonise this juxtaposition, yet cannot always resolve the mismatch between available data and the granularity required in mathematical models to answer important biological questions. Often, it is onl… ▽ More An enduring challenge in computational biology is to balance data quality and quantity with model complexity. Tools such as identifiability analysis and information criterion have been developed to harmonise this juxtaposition, yet cannot always resolve the mismatch between available data and the granularity required in mathematical models to answer important biological questions. Often, it is only simple phenomenological models, such as the logistic and Gompertz growth models, that are identifiable from standard experimental measurements. To draw insights from the complex, non-identifiable models that incorporate key biological mechanisms of interest, we study the geometry of a map in parameter space from the complex model to a simple, identifiable, surrogate model. By studying how non-identifiable parameters in the complex model quantitatively relate to identifiable parameters in surrogate, we introduce and exploit a layer of interpretation between the set of non-identifiable parameters and the goodness-of-fit metric or likelihood studied in typical identifiability analysis. We demonstrate our approach by analysing a hierarchy of mathematical models for multicellular tumour spheroid growth. Typical data from tumour spheroid experiments are limited and noisy, and corresponding mathematical models are very often made arbitrarily complex. Our geometric approach is able to predict non-identifiabilities, subset non-identifiable parameter spaces into identifiable parameter combinations that relate to individual data features, and overall provide additional biological insight from complex non-identifiable models. △ Less

Submitted 3 August, 2022; originally announced August 2022.

MSC Class: 92B99; 62F99

Efficient inference and identifiability analysis for differential equation models with random parameters

Authors: Alexander P. Browning, Christopher Drovandi, Ian W. Turner, Adrianne L. Jenner, Matthew J. Simpson

Abstract: Heterogeneity is a dominant factor in the behaviour of many biological processes. Despite this, it is common for mathematical and statistical analyses to ignore biological heterogeneity as a source of variability in experimental data. Therefore, methods for exploring the identifiability of models that explicitly incorporate heterogeneity through variability in model parameters are relatively under… ▽ More Heterogeneity is a dominant factor in the behaviour of many biological processes. Despite this, it is common for mathematical and statistical analyses to ignore biological heterogeneity as a source of variability in experimental data. Therefore, methods for exploring the identifiability of models that explicitly incorporate heterogeneity through variability in model parameters are relatively underdeveloped. We develop a new likelihood-based framework, based on moment matching, for inference and identifiability analysis of differential equation models that capture biological heterogeneity through parameters that vary according to probability distributions. As our novel method is based on an approximate likelihood function, it is highly flexible; we demonstrate identifiability analysis using both a frequentist approach based on profile likelihood, and a Bayesian approach based on Markov-chain Monte Carlo. Through three case studies, we demonstrate our method by providing a didactic guide to inference and identifiability analysis of hyperparameters that relate to the statistical moments of model parameters from independent observed data. Our approach has a computational cost comparable to analysis of models that neglect heterogeneity, a significant improvement over many existing alternatives. We demonstrate how analysis of random parameter models can aid better understanding of the sources of heterogeneity from biological data. △ Less

Submitted 27 October, 2022; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: Minor changes to text. Additional results in supplementary material. Additional statistics regarding results given in main and supplementary material

MSC Class: 92B99; 62F99

Interpreting how nonlinear diffusion affects the fate of bistable populations using a discrete modelling framework

Authors: Yifei Li, Pascal R. Buenzli, Matthew J. Simpson

Abstract: Understanding whether a population will survive and flourish or become extinct is a central question in population biology. One way of exploring this question is to study population dynamics using reaction-diffusion equations, where migration is usually represented as a linear diffusion term, and birth-death is represented with a bistable source term. While linear diffusion is most commonly employ… ▽ More Understanding whether a population will survive and flourish or become extinct is a central question in population biology. One way of exploring this question is to study population dynamics using reaction-diffusion equations, where migration is usually represented as a linear diffusion term, and birth-death is represented with a bistable source term. While linear diffusion is most commonly employed to study migration, there are several limitations of this approach, such as the inability of linear diffusion-based models to predict a well-defined population front. One way to overcome this is to generalise the constant diffusivity, $D$, to a nonlinear diffusivity function $D(C)$, where $C>0$ is the density. While it has been formally established that the choice of $D(C)$ affects long-term survival or extinction of a bistable population, working solely in a classical continuum framework makes it difficult to understand precisely how the choice of $D(C)$ affects survival or extinction. Here, we address this question by working with a simple discrete simulation model that is easy to interpret. The continuum limit of the discrete model is a nonlinear reaction-diffusion equation, where the flux involves a nonlinear diffusion term and the source term is given by the strong Allee effect bistable model. We study population extinction/survival using this very intuitive discrete framework together with numerical solutions of the reaction-diffusion continuum limit equation. This approach provides clear insight into how the choice of $D(C)$ either encourages or suppresses population extinction relative to the classical linear diffusion model. △ Less

Submitted 6 January, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: 40 pages, 11 figures, 1 supplementary material document

MSC Class: 92B05

A continuum mathematical model of substrate-mediated tissue growth

Authors: Maud El-Hachem, Scott W McCue, Matthew J Simpson

Abstract: We consider a continuum mathematical model of biological tissue formation inspired by recent experiments describing thin tissue growth in 3D-printed bioscaffolds. The continuum model involves a partial differential equation describing the density of tissue, $\hat{u}(\hat{\mathbf{x}},\hat{t})$, that is coupled to the concentration of an immobile extracellular substrate,… ▽ More We consider a continuum mathematical model of biological tissue formation inspired by recent experiments describing thin tissue growth in 3D-printed bioscaffolds. The continuum model involves a partial differential equation describing the density of tissue, $\hat{u}(\hat{\mathbf{x}},\hat{t})$, that is coupled to the concentration of an immobile extracellular substrate, $\hat{s}(\hat{\mathbf{x}},\hat{t})$. Cell migration is modelled with a nonlinear diffusion term, where the diffusive flux is proportional to $\hat{s}$, while a logistic growth term models cell proliferation. The extracellular substrate $\hat{s}$ is produced by cells, and undergoes linear decay. Preliminary numerical simulations show that this mathematical model, which we call the \textit{substrate model}, is able to recapitulate key features of recent tissue growth experiments, including the formation of sharp fronts. To provide a deeper understanding of the model we then analyse travelling wave solutions of the substrate model, showing that the model supports both sharp-fronted travelling wave solutions that move with a minimum wave speed, $c = c_{\rm{min}}$, as well as smooth-fronted travelling wave solutions that move with a faster travelling wave speed, $c > c_{\rm{min}}$. We provide a geometric interpretation that explains the difference between smooth- and sharp-fronted travelling wave solutions that is based on a slow manifold reduction of the desingularised three-dimensional phase space. In addition to exploring the nature of the smooth- and sharp-fronted travelling waves, we also develop and test a series of useful approximations that describe the shape of the travelling wave solutions in various limits. These approximations apply to both the sharp-fronted travelling wave solutions, and the smooth-fronted travelling wave solutions. Software to implement all calculations is available on GitHub. △ Less

Submitted 22 November, 2021; v1 submitted 15 November, 2021; originally announced November 2021.

Comments: 46 pages, 10 figures, 1 supplementary material document

MSC Class: 92Bxx

Multifidelity multilevel Monte Carlo to accelerate approximate Bayesian parameter inference for partially observed stochastic processes

Authors: David J. Warne, Thomas P. Prescott, Ruth E. Baker, Matthew J. Simpson

Abstract: Models of stochastic processes are widely used in almost all fields of science. Theory validation, parameter estimation, and prediction all require model calibration and statistical inference using data. However, data are almost always incomplete observations of reality. This leads to a great challenge for statistical inference because the likelihood function will be intractable for almost all par… ▽ More Models of stochastic processes are widely used in almost all fields of science. Theory validation, parameter estimation, and prediction all require model calibration and statistical inference using data. However, data are almost always incomplete observations of reality. This leads to a great challenge for statistical inference because the likelihood function will be intractable for almost all partially observed stochastic processes. This renders many statistical methods, especially within a Bayesian framework, impossible to implement. Therefore, computationally expensive likelihood-free approaches are applied that replace likelihood evaluations with realisations of the model and observation process. For accurate inference, however, likelihood-free techniques may require millions of expensive stochastic simulations. To address this challenge, we develop a new method based on recent advances in multilevel and multifidelity. Our approach combines the multilevel Monte Carlo telesco** summation, applied to a sequence of approximate Bayesian posterior targets, with a multifidelity rejection sampler to minimise the number of computationally expensive exact simulations required for accurate inference. We present the derivation of our new algorithm for likelihood-free Bayesian inference, discuss practical implementation details, and demonstrate substantial performance improvements. Using examples from systems biology, we demonstrate improvements of more than two orders of magnitude over standard rejection sampling techniques. Our approach is generally applicable to accelerate other sampling schemes, such as sequential Monte Carlo, to enable feasible Bayesian analysis for realistic practical applications in physics, chemistry, biology, epidemiology, ecology and economics. △ Less

Submitted 1 June, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

MSC Class: 65C05

Non-vanishing sharp-fronted travelling wave solutions of the Fisher-Kolmogorov model

Authors: Maud El-Hachem, Scott W McCue, Matthew J Simpson

Abstract: The Fisher-KPP model, and generalisations thereof, is a simple reaction-diffusion models of biological invasion that assumes individuals in the population undergo linear diffusion with diffusivity $D$, and logistic proliferation with rate $λ$. Biologically-relevant initial conditions lead to long-time travelling wave solutions that move with speed $c=2\sqrt{λD}$. Despite these attractive features,… ▽ More The Fisher-KPP model, and generalisations thereof, is a simple reaction-diffusion models of biological invasion that assumes individuals in the population undergo linear diffusion with diffusivity $D$, and logistic proliferation with rate $λ$. Biologically-relevant initial conditions lead to long-time travelling wave solutions that move with speed $c=2\sqrt{λD}$. Despite these attractive features, there are several biological limitations of travelling wave solutions of the Fisher-KPP model. First, these travelling wave solutions do not predict a well-defined invasion front. Second, biologically-relevant initial conditions lead to travelling waves that move with speed $c=2\sqrt{λD} > 0$. This means that, for biologically-relevant initial data, the Fisher-KPP model can not be used to study invasion with $c \ne 2\sqrt{λD}$, or retreating travelling waves with $c < 0$. Here, we reformulate the Fisher-KPP model as a moving boundary problem on $x < s(t)$, and we show that this reformulated model alleviates the key limitations of the Fisher-KPP model. Travelling wave solutions of the moving boundary problem predict a well-defined front, and can propagate with any wave speed, $-\infty < c < \infty$. Here, we establish these results using a combination of high-accuracy numerical simulations of the time-dependent partial differential equation, phase plane analysis and perturbation methods. All software required to replicate this work is available on GitHub. △ Less

Submitted 23 January, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 41 pages, 16 figures

MSC Class: 92Bxx

Travelling wave analysis of cellular invasion into surrounding tissues

Authors: Maud El-Hachem, Scott W McCue, Matthew J Simpson

Abstract: Single-species reaction-diffusion equations, such as the Fisher-KPP and Porous-Fisher equations, support travelling wave solutions that are often interpreted as simple mathematical models of biological invasion. Such travelling wave solutions are thought to play a role in various applications including development, wound healing and malignant invasion. One criticism of these single-species equatio… ▽ More Single-species reaction-diffusion equations, such as the Fisher-KPP and Porous-Fisher equations, support travelling wave solutions that are often interpreted as simple mathematical models of biological invasion. Such travelling wave solutions are thought to play a role in various applications including development, wound healing and malignant invasion. One criticism of these single-species equations is that they do not explicitly describe interactions between the invading population and the surrounding environment. In this work we study a reaction-diffusion equation that describes malignant invasion which has been used to interpret experimental measurements describing the invasion of malignant melanoma cells into surrounding human skin tissues. This model explicitly describes how the population of cancer cells degrade the surrounding tissues, thereby creating free space into which the cancer cells migrate and proliferate to form an invasion wave of malignant tissue that is coupled to a retreating wave of skin tissue. We analyse travelling wave solutions of this model using a combination of numerical simulation, phase plane analysis and perturbation techniques. Our analysis shows that the travelling wave solutions involve a range of very interesting properties that resemble certain well-established features of both the Fisher-KPP and Porous-Fisher equations, as well as a range of novel properties that can be thought of as extensions of these well-studied single-species equations. Of particular interest is that travelling wave solutions of the invasion model are very well approximated by trajectories in the Fisher-KPP phase plane that are normally disregarded. This observation establishes a previously unnoticed link between coupled multi-species reaction diffusion models of invasion and a different class of models of invasion that involve moving boundary problems. △ Less

Submitted 19 July, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 30 pages, 8 figures

MSC Class: 92Bxx

Bayesian uncertainty quantification for data-driven equation learning

Authors: Simon Martina-Perez, Matthew J. Simpson, Ruth E. Baker

Abstract: Equation learning aims to infer differential equation models from data. While a number of studies have shown that differential equation models can be successfully identified when the data are sufficiently detailed and corrupted with relatively small amounts of noise, the relationship between observation noise and uncertainty in the learned differential equation models remains unexplored. We demons… ▽ More Equation learning aims to infer differential equation models from data. While a number of studies have shown that differential equation models can be successfully identified when the data are sufficiently detailed and corrupted with relatively small amounts of noise, the relationship between observation noise and uncertainty in the learned differential equation models remains unexplored. We demonstrate that for noisy data sets there exists great variation in both the structure of the learned differential equation models as well as the parameter values. We explore how to combine data sets to quantify uncertainty in the learned models, and at the same time draw mechanistic conclusions about the target differential equations. We generate noisy data using a stochastic agent-based model and combine equation learning methods with approximate Bayesian computation (ABC) to show that the correct differential equation model can be successfully learned from data, while a quantification of uncertainty is given by a posterior distribution in parameter space. △ Less

Submitted 29 September, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

Extinction of bistable populations is affected by the shape of their initial spatial distribution

Authors: Yifei Li, Stuart T. Johnston, Pascal R. Buenzli, Peter van Heijster, Matthew J. Simpson

Abstract: The question of whether biological populations survive or are eventually driven to extinction has long been examined using mathematical models. In this work we study population survival or extinction using a stochastic, discrete lattice-based random walk model where individuals undergo movement, birth and death events. The discrete model is defined on a two-dimensional hexagonal lattice with perio… ▽ More The question of whether biological populations survive or are eventually driven to extinction has long been examined using mathematical models. In this work we study population survival or extinction using a stochastic, discrete lattice-based random walk model where individuals undergo movement, birth and death events. The discrete model is defined on a two-dimensional hexagonal lattice with periodic boundary conditions. A key feature of the discrete model is that crowding effects are introduced by specifying two different crowding functions that govern how local agent density influences movement events and birth/death events. The continuum limit description of the discrete model is a nonlinear reaction-diffusion equation, and we focus on crowding functions that lead to linear diffusion and a bistable source term that is often associated with the strong Allee effect. Using both the discrete and continuum modelling tools we explore the complicated relationship between the long-term survival or extinction of the population and the initial spatial arrangement of the population. In particular, we study different spatial arrangements of initial distributions: (i) a well-mixed initial distribution where the initial density is independent of position in the domain; (ii) a vertical strip initial distribution where the initial density is independent of vertical position in the domain; and, (iii) several forms of two-dimensional initial distributions where the initial population is distributed in regions with different shapes. Our results indicate that the shape of the initial spatial distribution of the population affects extinction of bistable populations. All software required to solve the discrete and continuum models used in this work are available on GitHub. △ Less

Submitted 14 September, 2021; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: 14 figures

Profile likelihood analysis for a stochastic model of diffusion in heterogeneous media

Authors: Matthew J Simpson, Alexander P Browning, Christopher Drovandi, Elliot J Carr, Oliver J Maclaren, Ruth E Baker

Abstract: We compute profile likelihoods for a stochastic model of diffusive transport motivated by experimental observations of heat conduction in layered skin tissues. This process is modelled as a random walk in a layered one-dimensional material, where each layer has a distinct particle hop** rate. Particles are released at some location, and the duration of time taken for each particle to reach an ab… ▽ More We compute profile likelihoods for a stochastic model of diffusive transport motivated by experimental observations of heat conduction in layered skin tissues. This process is modelled as a random walk in a layered one-dimensional material, where each layer has a distinct particle hop** rate. Particles are released at some location, and the duration of time taken for each particle to reach an absorbing boundary is recorded. To explore whether this data can be used to identify the hop** rates in each layer, we compute various profile likelihoods using two methods: first, an exact likelihood is evaluated using a relatively expensive Markov chain approach; and, second we form an approximate likelihood by assuming the distribution of exit times is given by a Gamma distribution whose first two moments match the expected moments from the continuum limit description of the stochastic model. Using the exact and approximate likelihoods we construct various profile likelihoods for a range of problems. In cases where parameter values are not identifiable, we make progress by re-interpreting those data with a reduced model with a smaller number of layers. △ Less

Submitted 9 March, 2021; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: 41 pages, 11 figures

MSC Class: 92Bxx

Invading and receding sharp-fronted travelling waves

Authors: Maud El-Hachem, Scott W McCue, Matthew J Simpson

Abstract: Biological invasion, whereby populations of motile and proliferative individuals lead to moving fronts that invade into vacant regions, are routinely studied using partial differential equation (PDE) models based upon the classical Fisher--KPP model. While the Fisher--KPP model and extensions have been successfully used to model a range of invasive phenomena, including ecological and cellular inva… ▽ More Biological invasion, whereby populations of motile and proliferative individuals lead to moving fronts that invade into vacant regions, are routinely studied using partial differential equation (PDE) models based upon the classical Fisher--KPP model. While the Fisher--KPP model and extensions have been successfully used to model a range of invasive phenomena, including ecological and cellular invasion, an often--overlooked limitation of the Fisher--KPP model is that it cannot be used to model biological recession where the spatial extent of the population decreases with time. In this work we study the \textit{Fisher--Stefan} model, which is a generalisation of the Fisher--KPP model obtained by reformulating the Fisher--KPP model as a moving boundary problem. The nondimensional Fisher--Stefan model involves just one single parameter, $κ$, which relates the shape of the density front at the moving boundary to the speed of the associated travelling wave, $c$. Using numerical simulation, phase plane and perturbation analysis, we construct approximate solutions of the Fisher--Stefan model for both slowly invading and slowly receding travelling waves, as well as for rapidly receding travelling waves. These approximations allow us to determine the relationship between $c$ and $κ$ so that commonly--reported experimental estimates of $c$ can be used to provide estimates of the unknown parameter $κ$. Interestingly, when we reinterpret the Fisher--KPP model as a moving boundary problem, many disregarded features of the classical Fisher--KPP phase plane take on a new interpretation since travelling waves solutions with $c < 2$ are not normally considered. This means that our analysis of the Fisher--Stefan model has both practical value and an inherent mathematical value. △ Less

Submitted 30 November, 2020; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 47 pages, 13 figures

MSC Class: 35R37

Crowded transport within networked representations of complex geometries

Authors: Daniel B. Wilson, Francis G. Woodhouse, Matthew J. Simpson, Ruth E. Baker

Abstract: Transport in crowded, complex environments occurs across many spatial scales. Geometric restrictions can hinder the motion of individuals and, combined with crowding between individuals, can have drastic effects on global transport phenomena. However, in general, the interplay between crowding and geometry in complex real-life environments is poorly understood. Existing analytical methodologies ar… ▽ More Transport in crowded, complex environments occurs across many spatial scales. Geometric restrictions can hinder the motion of individuals and, combined with crowding between individuals, can have drastic effects on global transport phenomena. However, in general, the interplay between crowding and geometry in complex real-life environments is poorly understood. Existing analytical methodologies are not always readily extendable to heterogeneous environments: in these situations predictions of crowded transport behaviour within heterogeneous environments rely on computationally intensive mesh-based approaches. Here, we take a different approach by employing networked representations of complex environments to provide an efficient framework within which the interactions between networked geometry and crowding can be explored. We demonstrate how the framework can be used to: extract detailed information at the level of the whole population or an individual within it; identify the topological features of environments that enable accurate prediction of transport phenomena; and, provide insights into the design of optimal environments. △ Less

Submitted 10 August, 2021; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: 33 pages, 5 figures

Biologically-informed neural networks guide mechanistic modeling from sparse experimental data

Authors: John H. Lagergren, John T. Nardini, Ruth E. Baker, Matthew J. Simpson, Kevin B. Flores

Abstract: Biologically-informed neural networks (BINNs), an extension of physics-informed neural networks [1], are introduced and used to discover the underlying dynamics of biological systems from sparse experimental data. In the present work, BINNs are trained in a supervised learning framework to approximate in vitro cell biology assay experiments while respecting a generalized form of the governing reac… ▽ More Biologically-informed neural networks (BINNs), an extension of physics-informed neural networks [1], are introduced and used to discover the underlying dynamics of biological systems from sparse experimental data. In the present work, BINNs are trained in a supervised learning framework to approximate in vitro cell biology assay experiments while respecting a generalized form of the governing reaction-diffusion partial differential equation (PDE). By allowing the diffusion and reaction terms to be multilayer perceptrons (MLPs), the nonlinear forms of these terms can be learned while simultaneously converging to the solution of the governing PDE. Further, the trained MLPs are used to guide the selection of biologically interpretable mechanistic forms of the PDE terms which provides new insights into the biological and physical mechanisms that govern the dynamics of the observed system. The method is evaluated on sparse real-world data from wound healing assays with varying initial cell densities [2]. △ Less

Submitted 26 May, 2020; originally announced May 2020.

A novel mathematical model of heterogeneous cell proliferation

Authors: Sean T. Vittadello, Scott W. McCue, Gency Gunasingh, Nikolas K. Haass, Matthew J. Simpson

Abstract: We present a novel mathematical model of heterogeneous cell proliferation where the total population consists of a subpopulation of slow-proliferating cells and a subpopulation of fast-proliferating cells. The model incorporates two cellular processes, asymmetric cell division and induced switching between proliferative states, which are important determinants for the heterogeneity of a cell popul… ▽ More We present a novel mathematical model of heterogeneous cell proliferation where the total population consists of a subpopulation of slow-proliferating cells and a subpopulation of fast-proliferating cells. The model incorporates two cellular processes, asymmetric cell division and induced switching between proliferative states, which are important determinants for the heterogeneity of a cell population. As motivation for our model we provide experimental data that illustrate the induced-switching process. Our model consists of a system of two coupled delay differential equations with distributed time delays and the cell densities as functions of time. The distributed delays are bounded and allow for the choice of delay kernel. We analyse the model and prove the non-negativity and boundedness of solutions, the existence and uniqueness of solutions, and the local stability characteristics of the equilibrium points. We find that the parameters for induced switching are bifurcation parameters and therefore determine the long-term behaviour of the model. Numerical simulations illustrate and support the theoretical findings, and demonstrate the primary importance of transient dynamics for understanding the evolution of many experimental cell populations. △ Less

Submitted 24 July, 2020; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: 36 pages, 3 figures

Predicting population extinction in lattice-based birth-death-movement models

Authors: Stuart T. Johnston, Matthew J. Simpson, Edmund J. Crampin

Abstract: The question of whether a population will persist or go extinct is of key interest throughout ecology and biology. Various mathematical techniques allow us to generate knowledge regarding individual behaviour, which can be analysed to obtain predictions about the ultimate survival or extinction of the population. A common model employed to describe population dynamics is the lattice-based random w… ▽ More The question of whether a population will persist or go extinct is of key interest throughout ecology and biology. Various mathematical techniques allow us to generate knowledge regarding individual behaviour, which can be analysed to obtain predictions about the ultimate survival or extinction of the population. A common model employed to describe population dynamics is the lattice-based random walk model with crowding (exclusion). This model can incorporate behaviour such as birth, death and movement, while including natural phenomena such as finite size effects. Performing sufficiently many realisations of the random walk model to extract representative population behaviour is computationally intensive. Therefore, continuum approximations of random walk models are routinely employed. However, standard continuum approximations are notoriously incapable of making accurate predictions about population extinction. Here, we develop a new continuum approximation, the state space diffusion approximation, which explicitly accounts for population extinction. Predictions from our approximation faithfully capture the behaviour in the random walk model, and provides additional information compared to standard approximations. We examine the influence of the number of lattice sites and initial number of individuals on the long-term population behaviour, and demonstrate the reduction in computation time between the random walk model and our approximation. △ Less

Submitted 13 February, 2020; originally announced February 2020.

A practical guide to pseudo-marginal methods for computational inference in systems biology

Authors: David J. Warne, Ruth E. Baker, Matthew J. Simpson

Abstract: For many stochastic models of interest in systems biology, such as those describing biochemical reaction networks, exact quantification of parameter uncertainty through statistical inference is intractable. Likelihood-free computational inference techniques enable parameter inference when the likelihood function for the model is intractable but the generation of many sample paths is feasible throu… ▽ More For many stochastic models of interest in systems biology, such as those describing biochemical reaction networks, exact quantification of parameter uncertainty through statistical inference is intractable. Likelihood-free computational inference techniques enable parameter inference when the likelihood function for the model is intractable but the generation of many sample paths is feasible through stochastic simulation of the forward problem. The most common likelihood-free method in systems biology is approximate Bayesian computation that accepts parameters that result in low discrepancy between stochastic simulations and measured data. However, it can be difficult to assess how the accuracy of the resulting inferences are affected by the choice of acceptance threshold and discrepancy function. The pseudo-marginal approach is an alternative likelihood-free inference method that utilises a Monte Carlo estimate of the likelihood function. This approach has several advantages, particularly in the context of noisy, partially observed, time-course data typical in biochemical reaction network studies. Specifically, the pseudo-marginal approach facilitates exact inference and uncertainty quantification, and may be efficiently combined with particle filters for low variance, high-accuracy likelihood estimation. In this review, we provide a practical introduction to the pseudo-marginal approach using inference for biochemical reaction networks as a series of case studies. Implementations of key algorithms and examples are provided using the Julia programming language; a high performance, open source programming language for scientific computing. △ Less

Submitted 28 December, 2019; originally announced December 2019.

MSC Class: 92C42 (Primary) 62F15; 97K80 (Secondary)

Rapid Bayesian inference for expensive stochastic models

Authors: David J. Warne, Ruth E. Baker, Matthew J. Simpson

Abstract: Almost all fields of science rely upon statistical inference to estimate unknown parameters in theoretical and computational models. While the performance of modern computer hardware continues to grow, the computational requirements for the simulation of models are growing even faster. This is largely due to the increase in model complexity, often including stochastic dynamics, that is necessary t… ▽ More Almost all fields of science rely upon statistical inference to estimate unknown parameters in theoretical and computational models. While the performance of modern computer hardware continues to grow, the computational requirements for the simulation of models are growing even faster. This is largely due to the increase in model complexity, often including stochastic dynamics, that is necessary to describe and characterize phenomena observed using modern, high resolution, experimental techniques. Such models are rarely analytically tractable, meaning that extremely large numbers of stochastic simulations are required for parameter inference. In such cases, parameter inference can be practically impossible. In this work, we present new computational Bayesian techniques that accelerate inference for expensive stochastic models by using computationally inexpensive approximations to inform feasible regions in parameter space, and through learning transforms that adjust the biased approximate inferences to closer represent the correct inferences under the expensive stochastic model. Using topical examples from ecology and cell biology, we demonstrate a speed improvement of an order of magnitude without any loss in accuracy. This represents a substantial improvement over current state-of-the-art methods for Bayesian computations when appropriate model approximations are available. △ Less

Submitted 22 February, 2021; v1 submitted 14 September, 2019; originally announced September 2019.

Hole-closing model reveals exponents for nonlinear degenerate diffusivity functions in cell biology

Authors: Scott W McCue, Wang **, Timothy J Moroney, Kai-Yin Lo, Shih-En Chou, Matthew J Simpson

Abstract: Continuum mathematical models for collective cell motion normally involve reaction-diffusion equations, such as the Fisher-KPP equation, with a linear diffusion term to describe cell motility and a logistic term to describe cell proliferation. While the Fisher-KPP equation and its generalisations are commonplace, a significant drawback for this family of models is that they are not able to capture… ▽ More Continuum mathematical models for collective cell motion normally involve reaction-diffusion equations, such as the Fisher-KPP equation, with a linear diffusion term to describe cell motility and a logistic term to describe cell proliferation. While the Fisher-KPP equation and its generalisations are commonplace, a significant drawback for this family of models is that they are not able to capture the moving fronts that arise in cell invasion applications such as wound healing and tumour growth. An alternative, less common, approach is to include nonlinear degenerate diffusion in the models, such as in the Porous-Fisher equation, since solutions to the corresponding equations have compact support and therefore explicitly allow for moving fronts. We consider here a hole-closing problem for the Porous-Fisher equation whereby there is initially a simply connected region (the hole) with a nonzero population outside of the hole and a zero population inside. We outline how self-similar solutions (of the second kind) describe both circular and non-circular fronts in the hole-closing limit. Further, we present new experimental and theoretical evidence to support the use of nonlinear degenerate diffusion in models for collective cell motion. Our methodology involves setting up a 2D wound healing assay that has the geometry of a hole-closing problem, with cells initially seeded outside of a hole that closes as cells migrate and proliferate. For a particular class of fibroblast cells, the aspect ratio of an initially rectangular wound increases in time, so the wound becomes longer and thinner as it closes; our theoretical analysis shows that this behaviour is consistent with nonlinear degenerate diffusion but is not able to be captured with commonly used linear diffusion. This work is important because it provides a clear test for degenerate diffusion over linear diffusion in cell lines. △ Less

Submitted 13 June, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

Comments: To be published in Physica D

Simulation and inference algorithms for stochastic biochemical reaction networks: from basic concepts to state-of-the-art

Authors: David J. Warne, Ruth E. Baker, Matthew J. Simpson

Abstract: Stochasticity is a key characteristic of intracellular processes such as gene regulation and chemical signalling. Therefore, characterising stochastic effects in biochemical systems is essential to understand the complex dynamics of living things. Mathematical idealisations of biochemically reacting systems must be able to capture stochastic phenomena. While robust theory exists to describe such s… ▽ More Stochasticity is a key characteristic of intracellular processes such as gene regulation and chemical signalling. Therefore, characterising stochastic effects in biochemical systems is essential to understand the complex dynamics of living things. Mathematical idealisations of biochemically reacting systems must be able to capture stochastic phenomena. While robust theory exists to describe such stochastic models, the computational challenges in exploring these models can be a significant burden in practice since realistic models are analytically intractable. Determining the expected behaviour and variability of a stochastic biochemical reaction network requires many probabilistic simulations of its evolution. Using a biochemical reaction network model to assist in the interpretation of time course data from a biological experiment is an even greater challenge due to the intractability of the likelihood function for determining observation probabilities. These computational challenges have been subjects of active research for over four decades. In this review, we present an accessible discussion of the major historical developments and state-of-the-art computational techniques relevant to simulation and inference problems for stochastic biochemical reaction network models. Detailed algorithms for particularly important methods are described and complemented with MATLAB implementations. As a result, this review provides a practical and accessible introduction to computational methods for stochastic models within the life sciences community. △ Less

Submitted 29 January, 2019; v1 submitted 13 December, 2018; originally announced December 2018.

The role of initial geometry in experimental models of wound closing

Authors: Wang **, Kai-Yin Lo, Shih-En Chou, Scott W McCue, Matthew J Simpson

Abstract: Wound healing assays are commonly used to study how populations of cells, initialised on a two-dimensional surface, act to close an artificial wound space. While real wounds have different shapes, standard wound healing assays often deal with just one simple wound shape, and it is unclear whether varying the wound shape might impact how we interpret results from these experiments. In this work, we… ▽ More Wound healing assays are commonly used to study how populations of cells, initialised on a two-dimensional surface, act to close an artificial wound space. While real wounds have different shapes, standard wound healing assays often deal with just one simple wound shape, and it is unclear whether varying the wound shape might impact how we interpret results from these experiments. In this work, we describe a new kind of wound healing assay, called a sticker assay, that allows us to examine the role of wound shape in a series of wound healing assays performed with fibroblast cells. In particular, we show how to use the sticker assay to examine wound healing with square, circular and triangular shaped wounds. We take a standard approach and report measurements of the size of the wound as a function of time. This shows that the rate of wound closure depends on the initial wound shape. This result is interesting because the only aspect of the assay that we change is the initial wound shape, and the reason for the different rate of wound closure is unclear. To provide more insight into the experimental observations we describe our results quantitatively by calibrating a mathematical model, describing the relevant transport phenomena, to match our experimental data. Overall, our results suggest that the rates of cell motility and cell proliferation from different initial wound shapes are approximately the same, implying that the differences we observe in the wound closure rate are consistent with a fairly typical mathematical model of wound healing. Our results imply that parameter estimates obtained from an experiment performed with one particular wound shape could be used to describe an experiment performed with a different shape. This fundamental result is important because this assumption is often invoked, but never tested. △ Less

Submitted 20 November, 2017; originally announced November 2017.

Journal ref: Chemical Engineering Science 2018

Optimal quantification of contact inhibition in cell populations

Authors: David J. Warne, Ruth E. Baker, Matthew J. Simpson

Abstract: Contact inhibition refers to a reduction in the rate of cell migration and/or cell proliferation in regions of high cell density. Under normal conditions contact inhibition is associated with the proper functioning tissues, whereas abnormal regulation of contact inhibition is associated with pathological conditions, such as tumor spreading. Unfortunately, standard mathematical modeling practices m… ▽ More Contact inhibition refers to a reduction in the rate of cell migration and/or cell proliferation in regions of high cell density. Under normal conditions contact inhibition is associated with the proper functioning tissues, whereas abnormal regulation of contact inhibition is associated with pathological conditions, such as tumor spreading. Unfortunately, standard mathematical modeling practices mask the importance of parameters that control contact inhibition through scaling arguments. Furthermore, standard experimental protocols are insufficient to quantify the effects of contact inhibition because they focus on data describing early time, low-density dynamics only. Here we use the logistic growth equation as a caricature model of contact inhibition to make recommendations as to how to best mitigate these issues. Taking a Bayesian approach we quantify the trade-off between different features of experimental design and estimates of parameter uncertainty so that we can re-formulate a standard cell proliferation assay to provide estimates of both the low-density intrinsic growth rate, $λ$, and the carrying capacity density, $K$, which is a measure of contact inhibition. △ Less

Submitted 15 September, 2017; originally announced September 2017.

MSC Class: 92C37

Coupling volume-excluding compartment-based models of diffusion at different scales: Voronoi and pseudo-compartment approaches

Authors: Paul R. Taylor, Ruth E. Baker, Matthew J. Simpson, Christian A. Yates

Abstract: Numerous processes across both the physical and biological sciences are driven by diffusion. Partial differential equations (PDEs) are a popular tool for modelling such phenomena deterministically, but it is often necessary to use stochastic models to accurately capture the behaviour of a system, especially when the number of diffusing particles is low. The stochastic models we consider in this pa… ▽ More Numerous processes across both the physical and biological sciences are driven by diffusion. Partial differential equations (PDEs) are a popular tool for modelling such phenomena deterministically, but it is often necessary to use stochastic models to accurately capture the behaviour of a system, especially when the number of diffusing particles is low. The stochastic models we consider in this paper are `compartment-based': the domain is discretized into compartments, and particles can jump between these compartments. Volume-excluding effects (crowding) can be incorporated by blocking movement with some probability. Recent work has established the connection between fine-grained models and coarse-grained models incorporating volume exclusion, but only for uniform lattices. In this paper we consider non-uniform, hybrid lattices that incorporate both fine- and coarse-grained regions, and present two different approaches to describing the interface of the regions. We test both techniques in a range of scenarios to establish their accuracy, benchmarking against fine-grained models, and show that the hybrid models developed in this paper can be significantly faster to simulate than the fine-grained models in certain situations, and are at least as fast otherwise. △ Less

Submitted 24 May, 2016; v1 submitted 10 March, 2016; originally announced March 2016.

Comments: 38 pages (of which 10 are appendices), 16 figures

Reconciling transport models across scales: the role of volume exclusion

Authors: Paul R. Taylor, Christian A. Yates, Matthew J. Simpson, Ruth E. Baker

Abstract: Diffusive transport is a universal phenomenon, throughout both biological and physical sciences, and models of diffusion are routinely used to interrogate diffusion-driven processes. However, most models neglect to take into account the role of volume exclusion, which can significantly alter diffusive transport, particularly within biological systems where the diffusing particles might occupy a si… ▽ More Diffusive transport is a universal phenomenon, throughout both biological and physical sciences, and models of diffusion are routinely used to interrogate diffusion-driven processes. However, most models neglect to take into account the role of volume exclusion, which can significantly alter diffusive transport, particularly within biological systems where the diffusing particles might occupy a significant fraction of the available space. In this work we use a random walk approach to provide a means to reconcile models that incorporate crowding effects on different spatial scales. Our work demonstrates that coarse-grained models incorporating simplified descriptions of excluded volume can be used in many circumstances, but that care must be taken in pushing the coarse-graining process too far. △ Less

Submitted 8 July, 2015; originally announced July 2015.