SearcharxivSearch

arXiv subjects

Mark B. Flegg

Publications and source records attributed to Mark B. Flegg.

17 recordsLinked to original sources

Multiscale Modelling of Birth-Death Processes

Many biological systems exhibit multiscale dynamics, where some species occur in high copy numbers while others remain rare. This heterogeneity necessitates hybrid modelling approaches: deterministic models are computationally efficient but inaccurate for low-count species, while fully stochastic simulations are accurate but prohibitively expensive. Threshold-based hybrid methods, such as the Jump--Switch--Flow (JSF) algorithm, address this by simulating low-count species stochastically and high-count species deterministically, switching at a user-chosen threshold $Ω$. In such methods, the choice of $Ω$ controls the trade-off between computational cost and accuracy, but is typically made by trial-and-error: there is no principled way to choose $Ω$ a priori for a given observable of interest. We close this gap for extinction probability. Our contribution is a computable, method-agnostic error bound that quantifies the discrepancy introduced by the threshold and yields an explicit rule for selecting $Ω$ to meet a user-specified error tolerance. We formalise JSF as a piecewise-deterministic Markov process and derive backward equations for extinction under exact and hybrid dynamics. Near extinction boundaries, the complex nonlinear dynamics reduce to tractable time-inhomogeneous linear birth--death processes; this structure yields a rigorous error decomposition into early and late excursions, whose dominant term becomes a fast, actionable heuristic requiring only the solution of a scalar Riccati equation. Monte Carlo studies on a stochastic Lotka--Volterra model confirm that the heuristic reliably upper-bounds the empirical error in extinction probability across a wide parameter range. The framework depends only on the birth and death rates near extinction, not on the specific simulation method, and therefore applies beyond JSF to any threshold-based hybrid scheme.

q-bio.PE

Reduced-Precision Stochastic Simulation for Mathematical Biology

The stochastic simulation algorithm (SSA) is widely used to perform exact forward simulation of discrete stochastic processes in biology. However, the computational cost, driven by sequential event-by-event sampling across large ensembles, remains a computational barrier. We investigate whether reduced-precision floating-point arithmetic can accelerate SSA without degrading statistical fidelity, drawing on the success of reduced-precision methods in weather and climate modelling. We evaluate two strategies across five canonical models (birth--death, Schlögl, Telegraph, dimerisation, repressilator): (i) mixed precision, computing propensities in 16-bit while maintaining accumulators in 32-bit; and (ii) uniform precision, performing all arithmetic in 16-bit. Mixed-precision SSA produces ensemble statistics that closely match the 64-bit reference for all models, as measured by Kolmogorov--Smirnov tests and Wasserstein distances. Under uniform precision, deterministic rounding introduces systematic biases across several models, with catastrophic failures in some cases. Stochastic rounding (SR) and propensity normalisation eliminate these biases, restoring distributional fidelity across all models tested (KS $p > 0.05$). Our results establish mixed-precision SSA with SR as a viable acceleration strategy for mathematical biology: 16-bit formats shrink per-variable data size by $2$--$4\times$ relative to \texttt{fp32}/\texttt{fp64}, yielding comparable reductions in memory footprint and up to $\sim 1.5\times$ wall-clock speedup on CPU hardware that lacks native 16-bit arithmetic. As a hardware-level acceleration, mixed-precision SSA complements algorithmic methods such as tau-leaping and maps naturally onto modern GPU and TPU architectures with native 16-bit arithmetic.

q-bio.QM

Mathematical modeling of biochemical signal propagation in many-stage enzymatic pathways

Biochemical signalling cascades transduce extracellular stimuli into cellular responses through sequences of discrete, node-to-node activations. While signal fidelity depends critically on local interaction kinetics, the mechanisms governing information propagation in realistic, highly variable kinetic contexts remain poorly understood. In this paper, we develop a mathematical framework for travelling waves in canonical feed-forward pathways governed by nonlinear Michaelis-Menten-type kinetics. For uniform pathways, we characterise the complete steady-state landscape and demonstrate that activation bias (the contribution of the binary states of each node to downstream activation) between connected nodes acts as a key bifurcation parameter dictating wave existence. Extending this framework to heterogeneous networks, we show how parameter gradients and random kinetic variations distort wavefronts and induce heavy fluctuations in propagation speed. To recover predictable signal transmission, we introduce a novel reciprocal-velocity spatial rescaling technique. We demonstrate that this coordinate transformation inherently absorbs local kinetic variations, effectively smoothing wave velocities and preserving wavefront profiles without requiring bespoke parameter tuning or continuous limits. Finally, by testing the framework's limits against extreme parameter variability, we reveal how severe kinetic bottlenecks lead to functional pathway fragmentation, offering a mathematically justified basis for rational model reduction in complex biochemical networks.

math.DS

Particle-based simulation of non-elementary bimolecular kinetics

Particle-based simulations are an essential tool for the study of biochemical systems for scales between molecular/Brownian dynamics and the reaction-diffusion master equation. These simulations utilise proximity-based reaction conditions and are typically limited to elementary (mass-action) kinetics. We present a novel framework for directly simulating non-elementary bimolecular kinetics in a particle-based framework. By mimicking the behaviour of a third implicit reactant, we adapt non-elementary reaction conditions, previously restricted to trimolecular chemical interactions, to biomolecular reactions for the first time. We implement our approach in an event-driven simulation, which we validate by reproducing Michaelis-Menten kinetics. We then demonstrate its utility by simulating the classical Goldbeter model of circadian oscillations completely at the level of individual molecules. This model features multiple non-elementary reactions and requires the incorporation of several existing simulation techniques. Our method accurately reproduces the target non-elementary kinetics, without simulating the implied underlying fast elementary reactions, thereby significantly reducing the computational cost. This work expands the class of reaction networks accessible to particle-based simulations and provides a practical alternative to explicitly simulating all elementary steps in systems where quasi-steady-state approximations are applicable.

physics.bio-ph

A hybrid framework for compartmental models enabling simulation-based inference

Multi-scale systems often exhibit a combination of stochastic and deterministic dynamics. In compartmental models, low occupancy compartments tend to exhibit stochastic dynamics while high occupancy compartments tend to follow deterministic dynamics. Representing both dynamics with existing methods is challenging. Failing to account for stochasticity in small populations can produce ``atto-foxes'', for example in the Lotka-Volterra ordinary differential equation (ODE) model. This limitation becomes problematic when studying the extinction of species or the clearance of infection, but it can be overcome by using discrete stochastic models, such as continuous time Markov chains (CTMCs). Unfortunately, simulating CTMCs is impractical for many realistic models, where discrete events have very high frequencies. In this work, we develop a novel mathematical framework to couple continuous ODEs and discrete CTMCs: ``Jump-Switch-Flow'' (JSF). In this framework, compartments can reach extinct states (``absorbing states''), thereby resolving atto-fox-type problems. JSF has the desired behaviours of exact CTMC simulation, but is substantially computationally faster than existing alternatives, by at least one order of magnitude, and can even obtain constant scaling, irrespective of compartment occupancy. We demonstrate JSF's utility for simulation-based inference, particularly multi-scale problems, with several case-studies. In a simulation study, we demonstrate how JSF can enable a more nuanced analysis of the efficacy of public health interventions. We also carry out a novel analysis of longitudinal within-host data from SARS-CoV-2 infections to quantify the timing of viral clearance. In this work, we show how JSF offers a novel approach to compartmental model simulation.

q-bio.PE

Evaluating interventions for Plasmodium vivax forest malaria using a three-scale mathematical model

The rising proportion of Plasmodium vivax cases concentrated in forest-fringe areas across the Greater Mekong Subregion highlights the importance of pharmaceutical and mosquito control techniques specifically targeted towards forest-going populations. To mathematically assess best-possible antimalarial interventions in the context of hypnozoite reactivation and seasonal forest migration, we extend a previously developed three-scale integro-differential equations model of P. vivax transmission. In particular, we fit the model to data gathered over a four-year period in Vietnam to gain insight into local P. vivax dynamics and validate the model's ability to capture epidemiological trends. The calibrated model is then used to generate optimal schedules for mass-drug administration (MDA) in forest-goers and gauge the efficacy of vector control techniques (such as long-lasting insecticide nets and indoor residual spraying) in forest-adjacent areas. Our results highlight the dependence of optimal MDA timing on the demographics of the human population, the importance of interventions targeting the mosquito bite rate, and the need for efficacy in hypnozoite-targeting antimalarial drugs.

q-bio.QM

Accurate stochastic simulation algorithm for multiscale models of infectious diseases

In the infectious disease literature, significant effort has been devoted to studying dynamics at a single scale. For example, compartmental models describing population-level dynamics are often formulated using differential equations. In cases where small numbers or noise play a crucial role, these differential equations are replaced with memoryless Markovian models, where discrete individuals can be members of a compartment and transition stochastically. Classic stochastic simulation algorithms, such as the next reaction method, can be employed to solve these Markovian models exactly. The intricate coupling between models at different scales underscores the importance of multiscale modelling in infectious diseases. However, several computational challenges arise when the multiscale model becomes non-Markovian. In this paper, we address these challenges by developing a novel exact stochastic simulation algorithm. We apply it to a showcase multiscale system where all individuals share the same deterministic within-host model while the population-level dynamics are governed by a stochastic formulation. We demonstrate that as long as the within-host information is harvested at a reasonable resolution, the novel algorithm will always be accurate. Furthermore, our implementation is still efficient even at finer resolutions. Beyond infectious disease modelling, the algorithm is widely applicable to other multiscale systems, providing a versatile, accurate, and computationally efficient framework.

q-bio.PE

Accurate stochastic simulation of nonlinear reactions between closest particles

We study a system of diffusing point particles in which any triplet of particles reacts and is removed from the system when the relative proximity of the constituent particles satisfies a predefined condition. Proximity-based reaction conditions of this kind are commonly used in particle-based simulations of chemical kinetics to mimic bimolecular reactions, those involving just two reactants, and have been extensively studied. The rate at which particles react within the system is determined by the reaction condition and particulate diffusion. In the bimolecular case, analytic relations exist between the reaction rate and the distance at which particles react allowing modellers to tune the rate of the reaction within their simulations by simply altering the reaction condition. However, generalising proximity-based reaction conditions to trimolecular reactions, those involving three particles, is more complicated because it requires understanding the distribution of the closest diffusing particle to a point in the vicinity of a spatially dependent absorbing boundary condition. We find that in this case the evolution of the system is described by a nonlinear partial integro-differential equation with no known analytic solution, which makes it difficult to relate the reaction rate to the reaction condition. To resolve this, we use singular perturbation theory to obtain a leading-order solution and show how to derive an approximate expression for the reaction rate. We then use finite element methods to quantify the higher-order corrections to this solution and the reaction rate, which are difficult to obtain analytically. Leveraging the insights gathered from this analysis, we demonstrate how to correct for the errors that arise from adopting the approximate expression for the reaction rate, enabling for the construction of more accurate particle-based simulations than previously possible.

math.NA

A spatial multiscale mathematical model of Plasmodium vivax transmission

The epidemiological behavior of Plasmodium vivax malaria occurs across spatial scales including within-host, population, and metapopulation levels. On the within-host scale, P. vivax sporozoites inoculated in a host may form latent hypnozoites, the activation of which drives secondary infections and accounts for a large proportion of P. vivax illness; on the metapopulation level, the coupled human-vector dynamics characteristic of the population level are further complicated by the migration of human populations across patches with different malaria forces of (re-)infection. To explore the interplay of all three scales in a single two-patch model of Plasmodium vivax dynamics, we construct and study a system of eight integro-differential equations with periodic forcing (arising from the single-frequency sinusoidal movement of a human sub-population). Under the numerically-informed ansatz that the limiting solutions to the system are closely bounded by sinusoidal ones for certain regions of parameter space, we derive a single nonlinear equation from which all approximate limiting solutions may be drawn, and devise necessary and sufficient conditions for the equation to have only a disease-free solution. Our results illustrate the impact of movement on P. vivax transmission and suggest a need to focus vector control efforts on forest mosquito populations. The three-scale model introduced here provides a more comprehensive framework for studying the clinical, behavioral, and geographical factors underlying P. vivax malaria endemicity.

q-bio.PE

Enzyme kinetics simulation at the scale of individual particles

Enzyme-catalysed reactions involve two distinct timescales. There is a short timescale on which enzymes bind to substrate molecules to produce bound complexes, and a comparatively long timescale on which the complex is transformed into a product. The rate at which the substrate is converted into product is characteristically non-linear and is traditionally derived by applying singular perturbation theory to the system's governing equations. Central to this analysis is the assumption that complex formation is effectively instantaneous on the timescale over which significant substrate degradation occurs. This prevents accurate modelling of enzyme kinetics by many particle-based simulations of reaction-diffusion systems as they rely on proximity-based reaction conditions that do not correctly model the fast reactions associated with the complex on the long timescale. In this paper we derive a new proximity-based reaction condition that correctly incorporates the reactions that occur on the short timescale for a specific enzymatic system. We present proof of concept particle-based simulations and demonstrate that non-linear reaction rates typical of enzyme kinetics can be reproduced without needing to explicitly simulate reactions on the short timescale.

q-bio.QM

Optimal interruption of P. vivax malaria transmission using mass drug administration

\textit{Plasmodium vivax} is the most geographically widespread malaria-causing parasite resulting in significant associated global morbidity and mortality. One of the factors driving this widespread phenomenon is the ability of the parasites to remain dormant in the liver. Known as hypnozoites, they reside in the liver following an initial exposure, before activating later to cause further infections, referred to as relapses. As around 79-96$\%$ of infections are attributed to relapses, we expect it will be highly impactful to apply treatment to target the hypnozoite reservoir to eliminate \textit{P. vivax}. Treatment with a radical cure to target the hypnozoite reservoir is a potential tool to control or eliminate \textit{P. vivax}. We have developed a multiscale mathematical model as a system of integro-differential equations that captures the complex dynamics of \textit{P. vivax} hypnozoites and the effect of hypnozoite relapse on disease transmission. Here, we use our model to study the anticipated effect of radical cure treatment administered via a mass drug administration (MDA) program. We implement multiple rounds of MDA with a fixed interval between rounds, starting from different steady-state disease prevalences. We then construct an optimisation model to obtain the optimal MDA interval. We also incorporate mosquito seasonality in our model to study its effect on the optimal treatment regime. We find that the effect of MDA interventions is temporary and depends on the pre-intervention disease prevalence (and choice of model parameters) as well as the number of MDA rounds under consideration. We find radical cure alone may not be enough to lead to \textit{P. vivax} elimination under our mathematical model (and choice of model parameters) since the prevalence of infection eventually returns to pre-MDA levels.

q-bio.PE

Turing pattern or system heterogeneity? A numerical continuation approach to assessing the role of Turing instabilities in heterogeneous reaction-diffusion systems

Turing patterns in reaction-diffusion (RD) systems have classically been studied only in RD systems which do not explicitly depend on independent variables such as space. In practise, many systems for which Turing patterning is important are not homogeneous with ideal boundary conditions. In heterogeneous systems with stable steady states, the steady states are also necessarily heterogeneous which is problematic for applying the classical analysis. Whilst there has been some work done to extend Turing analysis to some heterogeneous systems, for many systems it is still difficult to determine if a stable patterned state is driven purely by system heterogeneity or if a Turing instability is playing a role. In this work, we try to define a framework which uses numerical continuation to map heterogeneous RD systems onto a sensible nearby homogeneous system. This framework may be used for discussing the role of Turing instabilities in establishing patterns in heterogeneous RD systems. We study the Schnakenberg and Gierer-Meinhardt models with spatially heterogeneous production as test problems. It is shown that for sufficiently large system heterogeneity (large amplitude spatial variations in morphogen production) it is possible that Turing-patterned and base states become coincident and therefore impossible to distinguish. Other exotic behaviour is also shown to be possible. We also study a novel scenario in which morphogen is produced locally at levels that could support Turing patterning but on intervals/patches which are on the scale of classical critical domain lengths. Without classical domain boundaries, Turing patterns are allowed to bleed through; an effect noted by other authors. In this case, this phenomena effectively changes the critical domain length. Indeed, we even note that this phenomena may also effectively couple local patches together and drive instability in this way.

math.AP

An activation-clearance model for Plasmodium vivax malaria

Malaria is an infectious disease with an immense global health burden. Plasmodium vivax is the most geographically widespread species of malaria. Relapsing infections, caused by the activation of liver-stage parasites known as hypnozoites, are a critical feature of the epidemiology of Plasmodium vivax. Hypnozoites remain dormant in the liver for weeks or months after inoculation, but cause relapsing infections upon activation. Here, we introduce a dynamic probability model of the activation-clearance process governing both potential relapses and the size of the hypnozoite reservoir. We begin by modelling activation-clearance dynamics for a single hypnozoite using a continuous-time Markov chain. We then extend our analysis to consider activation-clearance dynamics for a single mosquito bite, which can simultaneously establish multiple hypnozoites, under the assumption of independent hypnozoite behaviour. We derive analytic expressions for the time to first relapse and the time to hypnozoite clearance for mosquito bites establishing variable numbers of hypnozoites, both of which are quantities of epidemiological significance. Our results extend those in the literature, which were limited due to an assumption of non-independence. Our within-host model can be embedded readily in multi-scale models and epidemiological frameworks, with analytic solutions increasing the tractability of statistical inference and analysis. Our work therefore provides a foundation for further work on immune development and epidemiological-scale analysis, both of which are important for achieving the goal of malaria elimination.

q-bio.PE

Smoluchowski reaction kinetics for reactions of any order

In 1917, Marian von Smoluchowski presented a simple mathematical description of diffusion-controlled reactions on the scale of individual molecules. His model postulated that a reaction would occur when two reactants were sufficiently close and, more specifically, presented a succinct relationship between the relative proximity of two reactants at the moment of reaction and the macroscopic reaction rate. Over the last century, Smoluchowski reaction theory has been applied widely in the physical, chemical, environmental and, more recently, the biological sciences. Despite the widespread utility of the Smoluchowski theory, it only describes the rates of second order reactions and is inadequate for the description of higher order reactions for which there is no equivalent method for theoretical investigation. In this paper, we derive a generalised Smoluchowski framework in which we define what should be meant by proximity in this context when more than two reactants are involved. We derive the relationship between the macroscopic reaction rate and the critical proximity at which a reaction occurs for higher order reactions. Using this theoretical framework and using numerical experiments we explore various peculiar properties of multimolecular diffusion-controlled reactions which, due to there being no other numerical method of this nature, have not been previous reported.

q-bio.QM

The pseudo-compartment method for coupling PDE and compartment-based models of diffusion

Spatial reaction-diffusion models have been employed to describe many emergent phenomena in biological systems. The modelling technique most commonly adopted in the literature implements systems of partial differential equations (PDEs), which assumes there are sufficient densities of particles that a continuum approximation is valid. However, due to recent advances in computational power, the simulation, and therefore postulation, of computationally intensive individual-based models has become a popular way to investigate the effects of noise in reaction-diffusion systems in which regions of low copy numbers exist. The stochastic models with which we shall be concerned in this manuscript are referred to as `compartment-based'. These models are characterised by a discretisation of the computational domain into a grid/lattice of `compartments'. Within each compartment particles are assumed to be well-mixed and are permitted to react with other particles within their compartment or to transfer between neighbouring compartments. We develop two hybrid algorithms in which a PDE is coupled to a compartment-based model. Rather than attempting to balance average fluxes, our algorithms answer a more fundamental question: `how are individual particles transported between the vastly different model descriptions?' First, we present an algorithm derived by carefully re-defining the continuous PDE concentration as a probability distribution. Whilst this first algorithm shows strong convergence to analytic solutions of test problems, it can be cumbersome to simulate. Our second algorithm is a simplified and more efficient implementation of the first, it is derived in the continuum limit over the PDE region alone. We test our hybrid methods for functionality and accuracy in a variety of different scenarios by comparing the averaged simulations to analytic solutions of PDEs for mean concentrations.

q-bio.QM

Analysis of the two-regime method on square meshes

The two-regime method (TRM) has been recently developed for optimizing stochastic reaction-diffusion simulations. It is a multiscale (hybrid) algorithm which uses stochastic reaction-diffusion models with different levels of detail in different parts of the computational domain. The coupling condition on the interface between different modelling regimes of the TRM was previously derived for one-dimensional models. In this paper, the TRM is generalized to higher dimensional reaction-diffusion systems. Coupling Brownian dynamics models with compartment-based models on regular (square) two-dimensional lattices is studied in detail. In this case, the interface between different modelling regimes contain either flat parts or right-angled corners. Both cases are studied in the paper. For flat interfaces, it is shown that the one-dimensional theory can be used along the line perpendicular to the TRM interface. In the direction tangential to the interface, two choices of the TRM parameters are presented. Their applicability depends on the compartment size and the time step used in the molecular-based regime. The two-dimensional generalization of the TRM is also discussed in the case of corners.

q-bio.QM

Multiscale reaction-diffusion algorithms: PDE-assisted Brownian dynamics

Two algorithms that combine Brownian dynamics (BD) simulations with mean-field partial differential equations (PDEs) are presented. This PDE-assisted Brownian dynamics (PBD) methodology provides exact particle tracking data in parts of the domain, whilst making use of a mean-field reaction-diffusion PDE description elsewhere. The first PBD algorithm couples BD simulations with PDEs by randomly creating new particles close to the interface which partitions the domain and by reincorporating particles into the continuum PDE-description when they cross the interface. The second PBD algorithm introduces an overlap region, where both descriptions exist in parallel. It is shown that to accurately compute variances using the PBD simulation requires the overlap region. Advantages of both PBD approaches are discussed and illustrative numerical examples are presented.

physics.comp-ph