https://arxiv.org/api/qruc31u8SRfvQaR/m9PZFLdd5o4 2026-06-20T07:30:58Z 13029 585 15 http://arxiv.org/abs/2512.16691v1 2025-12-18T15:57:53Z

In this note we demonstrate that a number of case-heavy combinatorial proofs in the mathematical phylogenetics literature can be proven more compactly using computational support. We use these techniques to also prove several new combinatorial lemmas that would have taken considerable effort to prove by hand. We are optimistic that similar approaches can be deployed more widely in phylogenetics.

2025-12-18T15:57:53Z 12 pages (and 14 page appendix), 5 figures Luca Forte Leo van Iersel Steven Kelk Ruben Meuwese http://arxiv.org/abs/2507.22087v2 2025-12-17T22:14:50Z

Effective public health decisions require early reliable inference of infectious disease properties. In this paper we assess the ability to infer infectious disease attributes from population-level stochastic epidemic trajectories. In particular, we construct stochastic Kermack-McKendrick model trajectories, sample them with and without observational error, and evaluate inversions for the population mean infectiousness as a function of time since infection, the infection duration distribution, and its complementary cumulative distribution, the infection survival distribution. Based on an integro-differential equation formulation we employ a natural regression approach to fit the corresponding integral kernels and show that these disease attributes are recoverable from both multi-trajectory inversions and regularized single trajectory inversions. Moreover, we demonstrate that the infection duration distribution (or alternatively the infection survival distribution) and population mean infectiousness kernel recovered can be used to solve for the individual infectiousness profile, the infectiousness of an individual over the duration of their infection, assuming that individual infectiousness profiles are self-similar across individuals over the infection duration period. The work suggests that, aggressive monitoring of the stochastic evolution of a novel infectious disease outbreak in a single local well-mixed population can allow determination of the underlying disease attributes that characterize its spread.

2025-07-29T01:34:46Z Infectious Disease Modelling 11 (2026) 719-736 Mark P. Rast Luke I. Rast 10.1016/j.idm.2025.12.008 http://arxiv.org/abs/2006.13395v2 2025-12-17T12:19:51Z

Motivated by scenarios of epidemic competition, as well as how social contagions spread at the level of individuals, this work considers the competition between two conflicting node states that spread over a social graph according to a generic diffusion process. For this setting, we introduce the Generalized Largest Reduction in Infectious Edges (gLRIE), which is a dynamic resource allocation strategy that favors the preferred state against the other. Our analysis assumes a generic continuous-time SIS-like (Susceptible-Infectious-Susceptible) diffusion model that allows for: arbitrary node transition rate functions for nodes to change state, and competition between the healthy (positive) and infected (negative) states, which are both diffusive at the same time, yet mutually exclusive at each node. The strategy follows a minimum-risk-maximum-gain principle, and its features are particularly relevant for social contagion phenomena. In accordance with the LRIE strategy that we generalize, we show that in this context the gLRIE strategy remains a greedy solution for the minimization of the number of infected network nodes over time. Ultimately, simulations are employed to compare the proposed strategy with other existing alternatives, demonstrating that gLRIE exhibits superior performance across a spectrum of scenarios, including a realistic counter-contagion campaign in a small well-monitored community.

2020-06-24T00:08:47Z 14 pages, 9 figures, 2 tables / This paper extends and improves the previous 4-page preprint "Winning the competition: enhancing counter-contagion in SIS-like epidemic processes" Argyris Kalogeratos Gaspard Abel Stefano Sarao Mannelli http://arxiv.org/abs/2512.15209v1 2025-12-17T09:03:50Z

Coupling within-host infection dynamics with population-level transmission remains a major challenge in infectious disease modeling, especially for airborne pathogens with potential to spread indoor. The frequent emergence of such diseases highlight the need for integrated frameworks that capture both individual-level infection kinetics and between-host transmission. While analytical models for each scale exist, tractable approaches that link them remain limited. In this study, we present a novel multiscale mathematical framework that integrates within-host infection kinetics with airborne transmission dynamics. The model represents each host as a patch and couples a system of ordinary differential equations (ODEs) describing in-host infection kinetics with a diffusion-based partial differential equation (PDE) for airborne pathogen movement in enclosed spaces. These scales are linked through boundary conditions on each patch boundary, representing viral shedding and inhalation. Using matched asymptotic analysis in the regime of intermediate diffusivity, we derived a nonlinear ODE model from the coupled ODE-PDE system that retains spatial heterogeneity through Neumann Green's functions. We established the existence, uniqueness, and boundedness of solutions to the reduced model and analyzed within-host infection kinetics as functions of the airborne pathogen diffusion rate and host spatial configuration. In the well-mixed limit, the model recovers the classical target cell limited viral dynamics framework. Overall, the proposed multiscale modeling approach enables the simultaneous study of transient within-host infection dynamics and population-level disease spread, providing a tractable yet biologically grounded framework for investigating airborne disease transmission in indoor environments.

2025-12-17T09:03:50Z 25 pages, 6 figures Andrew Omame Sarafa Iyaniwura http://arxiv.org/abs/2512.15118v1 2025-12-17T06:21:57Z

Highly pathogenic avian influenza (HPAI) has expanded its host range with recent detections in dairy cattle, raising critical concerns regarding within-herd persistence and cross-species spillover. This study develops a stochastic $SEI_sI_aR-B$ compartmental model to analyse HPAI transmission, explicitly accounting for environmental pathogen reservoirs and noise intensities through Wiener processes. The positivity and boundedness of solutions are established, and the disease-free and endemic equilibria are analytically derived. The basic reproduction number is determined using the next-generation matrix method. Numerical simulations confirm that the model dynamics are consistent with theoretical analysis and illustrate how stochastic fluctuations significantly influence disease persistence. Furthermore, sensitivity analysis using Latin Hypercube Sampling (LHS) and Partial Rank Correlation Coefficients (PRCC) identifies the transmission rate from asymptomatic infectious cattle ($β_a$) as the primary driver of transmission. The model effectively captures the dynamics of environmental variability affecting HPAI spread, suggesting that effective control strategies must prioritise the early detection and isolation of asymptomatic carriers alongside environmental management.

2025-12-17T06:21:57Z 33 pages, 10 figures Parul Tiwari Malavika Smitha Hammed Olawale Fatoyinbo http://arxiv.org/abs/2512.22158v1 2025-12-16T09:21:34Z

Over the last decade several attempts have been made to extend biodiversity studies in ways that would allow researchers to explore how biodiversity-ecosystem functioning relationships may change across different spatial and temporal scales. Unfortunately, the studies based on these attempts often overlooked the serious issues that can arise when quantifying biodiversity effects at larger scales, specifically the fact that biodiversity effects measured across space and time can contain trivial effects that are unrelated to the role of biodiversity per se -- or even effects that are non-biological in nature due to being simple artefacts of how properties and entities are counted and quantified. Here we outline and describe three such pseudo-biodiversity effects: Population-level effects, Independence effects, and Arithmetic effects. Population-level effects are those related to temporal changes due to individual species population growth or development, and are thus independent of biodiversity. Independence and Arithmetic effects (which we explore here primarily in a spatial context) arise either as a simple consequence of the fact that not all species are present everywhere -- i.e., species turnover is inevitable at greater spatial scales (Independence effects); or they arise when the purported biodiversity effects measured are a simple byproduct of how mathematical functions behave (Arithmetic effects). Our study demonstrates the necessity of controlling for these trivial artefactual effects if one wishes to meaningfully measure how true biodiversity effects change across spatial and temporal scales.

2025-12-16T09:21:34Z Pradeep Pillai http://arxiv.org/abs/2512.14171v1 2025-12-16T08:04:41Z

Understanding how natural selection unfolds across space and time is a central problem in evolutionary biology. Classic models such as the Moran process capture stochastic birth-death dynamics in structured populations, while reaction-diffusion equations like the Fisher-Kolmogorov-Petrovsky-Piskunov (FKPP) equation describe deterministic wave-like spread. In this work, we bridge these perspectives by deriving partial differential equations for the spatiotemporal limit of Moran dynamics in continuous media. Our model incorporates two distinct fitness components: fecundity (birth rate) and viability (death rate). We demonstrate that the resulting selective wave speeds differ substantially in spatial Moran Birth-death (Bd), Moran Death-birth (Db), and FKPP dynamics. When fecundity drives the dynamics, we observe that the selective waves decelerate for the Bd process, whereas in the Db process the wave propagates with a higher, constant speed. In contrast, when viability drives the process, the Db wave accelerates, while the Bd and FKPP waves maintain comparable constant speeds. We extend the framework to heterogeneous media, represented as weighted lattice graphs in one or two dimensions. We derive a continuous space analog of isothermal graphs and establish that the isothermality condition corresponds to the conservation of a local current.

2025-12-16T08:04:41Z Melika Gorgi Kamran Kaveh Navid Aliakbarian Mohammad Reza Ejtehadi http://arxiv.org/abs/2412.00895v2 2025-12-15T19:22:44Z

Given a rooted tree $T$ on $n$ non-root leaves with colored and zeroed nodes, we construct a linear space $L_T$ of $n\times n$ symmetric matrices with constraints determined by the combinatorics of the tree. When $L_T$ represents the covariance matrices of a Gaussian model, it provides natural generalizations of Brownian motion tree (BMT) models in phylogenetics. When $L_T$ represents a space of concentration matrices of a Gaussian model, it gives certain colored Gaussian graphical models, which we refer to as BMT derived models. We investigate conditions under which the reciprocal variety $L_T^{-1}$ is toric. Relying on the birational isomorphism of the inverse matrix map, we show that if the BMT derived graph of $T$ is vertex-regular and a block graph, under the derived Laplacian transformation, $L_T^{-1}$ is the vanishing locus of a toric ideal. This ideal is given by the sum of the toric ideal of the Gaussian graphical model on the block graph, the toric ideal of the original BMT model, and binomial linear conditions coming from vertex-regularity. To this end, we provide monomial parametrizations for these toric models realized through paths among leaves in $T$.

2024-12-01T17:12:24Z 23 pages, 10 figures; v2: minor revisions, incorporates referee feedback Emma Cardwell Aida Maraj Alvaro Ribot http://arxiv.org/abs/2512.13759v1 2025-12-15T12:01:58Z

The accurate estimation of time-varying transmission rates is fundamental for understanding infectious disease dynamics and implementing effective public health interventions. To this end, we propose an improved inverse method for estimating time-varying transmission rates in low-prevalence settings, where conventional data preprocessing approaches often fail due to sparse case observations. To overcome this difficulty, we introduce an exponential B-spline interpolation approach that integrates both continuous and discrete inverse methods. This method ensures that transmission rate estimates remain non-negative and smooth, even when the observed data exhibit low cases. We apply this approach to several infectious disease models using real-world data from China, including a scarlet fever model, a multi-strain influenza model, and an age-structured influenza model. The results show that our method provides accurate transmission rate estimates, particularly in low-prevalence infectious diseases and multi-group epidemic models, demonstrating its robustness and applicability across various epidemiological contexts. The improved inverse method offers a new perspective for epidemiological modeling and provides reliable technical support for related theoretical exploration and public health decision-making.

2025-12-15T12:01:58Z Shuanglin Jing Yuting Huang Hai-Feng Huo http://arxiv.org/abs/2411.12232v2 2025-12-15T11:22:21Z

We consider a two-component reaction-diffusion system that has previously been developed to model invasion of cells into a resident cell population. The system is an idealised version of models of tumour growth in which tumour cells degrade the surrounding tissue by increasing the acidity of the local environment. By numerically computing families of travelling wave solutions to this problem, we observe that a general initial condition with either compact support, or sufficiently large exponential decay in the far field, tends to the travelling wave solution that has the largest possible decay at its front. Initial conditions with sufficiently slow exponential decay tend to those travelling wave solutions that have the same exponential decay as their initial conditions. We also show that in the limit that the (nondimensional) degradation rate of resident cells is large, the system has similar asymptotic structure as previously observed in perturbed Fisher--KPP models. The asymptotic analysis in this limit explains the formation of an interstitial gap (a region between the invading and receding fronts, in which both cell populations are small), the width of which is logarithmically large in the limit of large degradation rate. These results show that the general mechanism behind the formation of the interstitial gap in reaction-diffusion tumour models is connected to perturbations of the Fisher-KPP system. Biologically, this implies that order of magnitude difference in degradation rate is required to produce appreciably different gap sizes, while the velocity of the invading front is largely determined by the Fisher-KPP velocity, and only very weakly affected by the presence of the interstitial gap.

2024-11-19T05:13:08Z 27 pages, 9 figures Yuhui Chen Michael C. Dallaston http://arxiv.org/abs/2512.13156v1 2025-12-15T10:04:15Z

We present a mathematical model based on a system of partial differential equations (PDEs) with cross-diffusion and reaction terms to describe ecological interactions between multiple bacterial species and substrates within microaggregates, where bacteria proliferate in response to substrate availability and undergo passive dispersal driven by population pressure gradients. The ecological interactions include interspecific competition for shared substrates, and commensalism, whereby one species benefits from the metabolic by-products of another. The main motivation comes from individual-based models (IBMs) of microbial aggregates, where simulations reveal that substrate-limited conditions can give rise to rich spatial patterns. Our numerical experiments demonstrate that our PDE-based model captures the key qualitative features of three verification scenarios that have previously been investigated with IBMs. Moreover, we formally derive a competition system from an on-lattice biased random walk, and establish local well-posedness for a parameter-symmetric subcase of it. We then formally analyse the travelling wave behaviour of this case in one spatial dimension and compare the minimal travelling wave speed with the wave speed measured in the simulations.

2025-12-15T10:04:15Z Viktoria Freingruber Rebeca Gonzalez-Cabaleiro Havva Yoldaş http://arxiv.org/abs/2512.12969v1 2025-12-15T04:14:26Z

Normal networks are an important class of phylogenetic networks that have compelling mathematical properties which align with intuition about inference from genetic data. While tools enabling widespread use of phylogenetic networks in the biological literature are still under mathematical, statistical, and computational development, many such results are being assembled, and in particular for normal phylogenetic networks. For instance, it has been shown that binary normal networks can be reconstructed from the sets of three- and four-leaf rooted phylogenetic trees that they display. It is also known that one can reconstruct particular subclasses of normal networks from just the displayed rooted triples. This applies, for instance, to rooted binary phylogenetic trees and to binary level-$1$ normal networks. In this paper we address the question of how much of the class of binary normal networks can be reconstructed from just the rooted triples that they display. We find that all except those with substructures that we call ``near-sibling reticulations'' and ``near-stack reticulations'' can be reconstructed just from their rooted triples. This goes some way to answering the natural question of how much information can be extracted from a set of displayed rooted triples, which are arguably the simplest substructure that one may hope for in a phylogenetic object.

2025-12-15T04:14:26Z 17 pages, 7 figures Andrew Francis Charles Semple http://arxiv.org/abs/2512.12577v1 2025-12-14T07:06:41Z

This study constructs a dual-model framework integrating Ordinary Differential Equations (ODE) and Petri Nets (PN) to analyze the 2025 Chikungunya outbreak in Foshan City, China. We employ SEICR compartmental modeling to compare two distinct approaches under identical epidemiological scenarios and evaluate intervention effectiveness through three-phase fitting protocols. Both models demonstrate excellent accuracy with MAE of 18.77-18.91 cases and RMSE of 36.52-36.54 cases. Models predicted epidemic peaks at day 32 (406 cases), 3 days earlier than observed (day 35, 432 cases), with 6.0% peak value error. Reproduction number analysis revealed initial R0 of 14.67 (ODE)/13.90 (PN), with effective reproduction numbers decreasing through intervention phases: 7.85/7.86 after Phase 1, 7.59/7.56 after Phase 2, and 0.059 in Phase 3, achieving transmission blockade. Sensitivity analysis showed recovery rate) as the most sensitive parameter (Sobol index 0.9672), explaining 96.72% of R0 variation. This study presents the first systematic ODE-Petri Net comparison, providing a novel dual-model framework for vector-borne disease modeling with significant theoretical and practical value for epidemic control strategy formulation.

2025-12-14T07:06:41Z Hong Liu Jingjing Tian Yiping Li Yuyang Zhong Haibo Yang Dong Chen Zifeng Yang http://arxiv.org/abs/2512.12388v1 2025-12-13T16:32:10Z

The introduction of mongooses from Indian subcontinent to Amami Oshima Island, Japan, aimed at controlling the population of venomous Habu snakes, has led to significant ecological disruptions, raising concerns about the long-term sustainability of the islands biodiversity. To highlight the unintended consequences of such interventions and the necessity of understanding predator-prey dynamics in preserving ecological balance, a mathematical model incorporating snake, mongooses, mouse and natural resources has been proposed to explore their role in the ongoing ecological disaster and analysis the other scenarios if the authorities applied different approaches in place of already implemented strategy. Determining the model's existence and uniqueness, stability at equilibrium points, and state variable characteristics are some of the parts of the analytical analysis of the model. Additionally, sensitivity analysis is conducted to identify sensitive factors. In addition, the Runge-Kutta 4th order has been used to execute the numerical simulations. Our research reveals that although the government began killing and trapping mongooses almost 20 years after their introduction, but if trapping had started just 10 years after their introduction, the outcome could have been drastically different. This time, mongooses would not have been extinct, and their coexistence with other native species would have helped to preserve the ecological balance and prevent the severe ecological damage that is presently being seen. Thus, It is recommended to use mathematical modeling to explore alternatives before decision-making, ensuring sustainable ecosystem management while preventing irreversible impacts of invasive species.

2025-12-13T16:32:10Z Pulak Kundu Uzzwal Kumar Mallick http://arxiv.org/abs/2401.12126v5 2025-12-12T12:54:21Z

The delimitation of biological species, i.e., deciding which individuals belong to the same species and whether and how many different species are represented in a data set, is key to the conservation of biodiversity. Much existing work uses only genetic data for species delimitation, often employing some kind of cluster analysis. This can be misleading, because geographically distant groups of individuals can be genetically quite different even if they belong to the same species. We investigate the problem of testing whether two potentially separated groups of individuals can belong to a single species or not based on genetic and spatial data. Existing methods such as the partial Mantel test and jackknife-based distance-distance regression are considered. New approaches, i.e., an adaptation of a mixed effects model, a bootstrap approach, and a jackknife version of partial Mantel, are proposed. All these methods address the issue that distance data violate the independence assumption for standard inference regarding correlation and regression; a standard linear regression is also considered. The approaches are compared on simulated meta-populations generated with SLiM and GSpace - two software packages that can simulate spatially-explicit genetic data at an individual level. Simulations show that the new jackknife version of the partial Mantel test provides a good compromise between power and respecting the nominal type I error rate. Mixed-effects models have larger power than jackknife-based methods, but tend to display type I error rates slightly above the significance level. An application on brassy ringlets concludes the paper.

2024-01-22T17:08:59Z December 2025 update: 41 pages, 9 figures incl. Appendix Gabriele d'Angella Christian Hennig