https://arxiv.org/api/g9p8bwsXGtJwrl6ZU6Ki65okrto 2026-06-26T19:01:53Z 13050 1995 15 http://arxiv.org/abs/2402.04499v2 2024-05-25T20:54:02Z

In a recent paper, the question of determining the fraction of binary trees that contain a fixed pattern known as the snowflake was posed. We show that this fraction goes to 1, providing two very different proofs: a purely combinatorial one that is quantitative and specific to this problem; and a proof using branching process techniques that is less explicit, but also much more general, as it applies to any fixed patterns and can be extended to other trees and networks. In particular, it follows immediately from our second proof that the fraction of $d$-ary trees (resp. level-$k$ networks) that contain a fixed $d$-ary tree (resp. level-$k$ network) tends to $1$ as the number of leaves grows.

2024-02-07T01:06:42Z 14 pages 2 figures Bull. Math. Biol. 86, 94 (2024) François Bienvenu Mike Steel 10.1007/s11538-024-01316-x http://arxiv.org/abs/2405.16346v1 2024-05-25T20:24:38Z

Phylogenetic analysis, which allow to understand the evolution of bacterial and viral epidemics, requires large quantities of data to be analysed and processed for knowledge extraction. One of the major challenges consists on the integration of the results from typing and phylogenetic inference methods with epidemiological data, namely in what concerns their integrated and simultaneous analysis and visualization. Numerous approaches to support phylogenetic analysis have been proposed, varying from standalone tools to integrative web applications that include tools and/or algorithms for executing the common analysis tasks for this kind of data. However, most of them lack the capacity to integrate epidemiological data. Others provide the ability for visualizing and analyzing such data, allowing the integration of epidemiological data but they do not scale for large data analysis and visualization. Namely, most of them run inference and/or visualization optimization tasks on the client side, which becomes often unfeasible for large amounts of data, usually implying transferring data from existing databases in order to be analysed. Moreover, the results and optimizations are not stored for reuse. We propose the PHYLOViZ Web Platform, a cloud based tool for phylogenetic analysis, that not only unifies the features of both existing versions of PHYLOViZ, but also supports structured and customized workflows for executing data processing and analyses tasks, and promotes the reproducibility of previous phylogenetic analyses. This platform supports large scale analyses by relying on a workflow system that enables the distribution of parallel computations on cloud and HPC environments. Moreover, it has a modular architecture, allowing easy integration of new methods and tools, as well as customized workflows, making it flexible and extensible.

2024-05-25T20:24:38Z 12 pages, 5 figures Nyckollas Brandão André Jesus André Páscoa Alexandre P. Francisco Mário Ramirez Cátia Vaz http://arxiv.org/abs/2405.15976v1 2024-05-24T23:15:52Z

Recent advancements in the automatic re-identification of animal individuals from images have opened up new possibilities for studying wildlife through camera traps and citizen science projects. Existing methods leverage distinct and permanent visual body markings, such as fur patterns or scars, and typically employ one of two strategies: local features or end-to-end learning. In this study, we delve into the impact of training set size by conducting comprehensive experiments across six different methods and five animal species. While it is well known that end-to-end learning-based methods surpass local feature-based methods given a sufficient amount of good-quality training data, the challenge of gathering such datasets for wildlife animals means that local feature-based methods remain a more practical approach for many species. We demonstrate the benefits of both local feature and end-to-end learning-based approaches and show that species-specific characteristics, particularly intra-individual variance, have a notable effect on training data requirements.

2024-05-24T23:15:52Z Aleksandr Algasov Ekaterina Nepovinnykh Tuomas Eerola Heikki Kälviäinen Charles V. Stewart Lasha Otarashvili Jason A. Holmberg http://arxiv.org/abs/2405.15448v1 2024-05-24T11:25:36Z

In the current study, we took into account a model of nonlinear ``predator-prey'' interactions including the ``Allee effect'' on both populations and disease in the predator population. The population as a whole is split into three: the prey population, susceptible predator, and diseased predator. The ``Takagi-Sugeno (T-S) impulsive control model'' and the Fuzzy impulsive control model have been used to test the stability of the three-dimensional ``Lotka-Volterra predator-prey system'' model. Following the model's formulation, the global-stability and the fuzzy solution are examined using numerical simulations and graphical displays, together with the necessary consultation, to help comprehend the effectiveness of our suggested model.

2024-05-24T11:25:36Z Khushbu Singh K. Kaladhar http://arxiv.org/abs/2404.00754v2 2024-05-23T13:33:03Z

Evolutionary game theory has impacted many fields of research by providing a mathematical framework for studying the evolution and maintenance of social and moral behaviors. This success is owed in large part to the demonstration that the central equation of this theory - the replicator equation - is the deterministic limit of a stochastic imitation (social learning) dynamics. Here we offer an alternative elementary proof of this result, which holds for the scenario where players compare their instantaneous (not average) payoffs to decide whether to maintain or change their strategies, and only more successful individuals can be imitated.

2024-03-31T17:47:48Z Europhysics Letters 146 (2024) 47001 José F. Fontanari 10.1209/0295-5075/ad473e http://arxiv.org/abs/2111.07336v3 2024-05-22T13:58:23Z

Motivated by chemical reaction rules, we introduce a rule-based epidemiological framework for the systematic mathematical modelling of future pandemics. Here we stress that we do not have a specific model in mind, but a whole collection of models which can be transformed into each other, or represent different aspects of a pandemic, and these aspects can change during the course of the emergency, as happened during the Covid-19 pandemic. As conditions for outbreaks in the modern world change on different time-scales, some rapidly, epidemiology has few 'laws', besides perhaps the fundamental infection process described by Kermack-McKendrick. Each single of our variety of models, called framework, is based on a mathematical formulation that we call a rule-based system. They have several advantages, for example that they can be both interpreted stochastically and deterministically, without changing the model structure. Rule-based systems should be easier to communicate to non-specialists, when compared to differential equations. Due to their combinatorial nature, the rule-based model framework we propose is ideal for systematic mathematical modelling, systematic links to statistics, data analysis in general and also machine learning leading to artificial intelligence.

2021-11-14T13:11:38Z 67 pages, 23 figures David Alonso Steffen Bauer Markus Kirkilionis Lisa Maria Kreusser Luca Sbano http://arxiv.org/abs/2310.07275v2 2024-05-22T09:05:35Z

Malaria is one of the most common mosquito-borne diseases widespread in tropical and subtropical regions, causing thousands of deaths every year in the world. In a previous paper, we formulated an age-structured model containing three structural variables: (i) the chronological age of human and mosquito populations, (ii) the time since they are infected, and (iii) humans waning immunity (i.e. the progressive loss of protective antibodies after recovery). In the present paper, we expand the analysis of this age-structured model and focus on the derivation of entomological and epidemiological results commonly used in the literature, following the works of Smith and McKenzie. We generalize their results to the age-structured case. In order to quantify the impact of neglecting structuring variables such as chronological age, we assigned values from the literature to our model parameters. While some parameters values are readily accessible from the literature, at least those about the human population, the parameters concerning mosquitoes are less commonly documented and the values of a number of them (e.g. mosquito survival in the presence or in absence of infection) can be discussed extensively.

2023-10-11T07:57:05Z Quentin Richard IMAG Marc Choisy OUCRU Ramsès Djidjou-Demasse MIVEGEC Thierry Lefèvre MIVEGEC http://arxiv.org/abs/2405.13305v1 2024-05-22T02:47:23Z

Ash dieback (ADB) is threatening populations of European ash (Fraxinus excelsior & F. angustifolia) for more than three decades. Although much knowledge has been gathered in the recent past, practical conservation measures have been mostly implemented at local scale. Since range contraction in both ash species will be exacerbated in the near future by westward expansion of the emerald ash borer and climate change, systematic conservation frameworks need to be developed to avoid long-term population-genetic consequences and depletion of genomic diversity. In this article, we address the advantages and obstacles of conservation approaches aiming to conserve genetic diversity in-situ or ex-situ during tree pandemics. We are reviewing 47 studies which were published on ash dieback to unravel three important dimensions of ongoing conservation approaches or perceived conservation problems: i) conservation philosophy (i.e. natural selection, resistance breeding or genetic conservation), ii) the spatial scale (ecosystem, country, continent), and iii) the integration of genetic safety margins in conservation planning. Although nearly equal proportions of the reviewed studies mention breeding or active conservation as possible long-term solutions, only 17% consider that additional threats exist which may further reduce genetic diversity in both ash species. We also identify and discuss several knowledge gaps and limitations which may have limited the initiation of conservation projects at national and international level so far. Finally, we demonstrate that there is not much time left for filling these gaps, because European-wide forest health monitoring data indicates a significant decline of ash populations in the last 5 years.

2024-05-22T02:47:23Z Jan-Peter George Mari Rusanen Egbert Beuker Leena Yrjänä Volkmar Timmermann Nenad Potocic Sakari Välimäki Heino Konrad http://arxiv.org/abs/2405.12906v1 2024-05-21T16:22:06Z

We examine the complexity of maximising fitness via local search on valued constraint satisfaction problems (VCSPs). We consider two kinds of local ascents: (1) steepest ascents, where each step changes the domain that produces a maximal increase in fitness; and (2) $\prec$-ordered ascents, where -- of the domains with available fitness increasing changes -- each step changes the $\prec$-minimal domain. We provide a general padding argument to simulate any ordered ascent by a steepest ascent. We construct a VCSP that is a path of binary constraints between alternating 2-state and 3-state domains with exponentially long ordered ascents. We apply our padding argument to this VCSP to obtain a Boolean VCSP that has a constraint (hyper)graph of arity 5 and pathwidth 4 with exponential steepest ascents. This is an improvement on the previous best known construction for long steepest ascents, which had arity 8 and pathwidth 7.

2024-05-21T16:22:06Z 16 pgs., 2 figures Artem Kaznatcheev Melle van Marle http://arxiv.org/abs/2306.03512v2 2024-05-21T14:42:55Z

We consider the Moran model of population genetics with two types, mutation, and selection, and investigate the line of descent of a randomly-sampled individual from a contemporary population. We trace this ancestral line back into the distant past, far beyond the most recent common ancestor of the population (thus connecting population genetics to phylogeny), and analyse the mutation process along this line. To this end, we use the pruned lookdown ancestral selection graph, which consists of a set of potential ancestors of the sampled individual at any given time. Relative to the neutral case (that is, without selection), we obtain a general bias towards the beneficial type, an increase in the beneficial mutation rate, and a decrease in the deleterious mutation rate. This sheds new light on previous analytical results. We discuss our findings in the light of a well-known observation at the interface of phylogeny and population genetics, namely, the difference in the mutation rates (or, more precisely, mutation fluxes) estimated via phylogenetic methods relative to those observed in pedigree studies.

2023-06-06T08:57:32Z 31 pages, 14 figures Theor. Popul. Biol. 158 (2024), 60-75 Ellen Baake Enrico Di Gaspero Fernando Cordero 10.1016/j.tpb.2024.04.004 http://arxiv.org/abs/1908.07092v10 2024-05-21T14:28:57Z

We present a linear stability analysis of stationary states (or fixed points) in large dynamical systems defined on random directed graphs with a prescribed distribution of indegrees and outdegrees. We obtain two remarkable results for such dynamical systems: First, infinitely large systems on directed graphs can be stable even when the degree distribution has unbounded support; this result is surprising since their counterparts on nondirected graphs are unstable when system size is large enough. Second, we show that the phase transition between the stable and unstable phase is universal in the sense that it depends only on a few parameters, such as, the mean degree and a degree correlation coefficient. In addition, in the unstable regime we characterize the nature of the destabilizing mode, which also exhibits universal features. These results follow from an exact theory for the leading eigenvalue of infinitely large graphs that are locally tree-like and oriented, as well as, for the right and left eigenvectors associated with the leading eigenvalue. We corroborate analytical results for infinitely large graphs with numerical experiments on random graphs of finite size. We discuss how the presented theory can be extended to graphs with diagonal disorder and to graphs that contain nondirected links. Finally, we discuss the influence of small cycles and how they can destabilize large dynamical systems when they induce strong enough feedback loops.

2019-08-19T22:47:49Z 35 pages, 8 figures, a few typo's have been corrected in the new version Phys. Rev. Research 2, 033313 (2020) Izaak Neri Fernando Lucas Metz 10.1103/PhysRevResearch.2.033313 http://arxiv.org/abs/2405.12410v1 2024-05-20T23:28:38Z

Sometimes local search algorithms cannot efficiently find even local peaks. To understand why, I look at the structure of ascents in fitness landscapes from valued constraint satisfaction problems (VCSPs). Given a VCSP with a constraint graph of treedepth $d$, I prove that from any initial assignment there always exists an ascent of length $2^{d + 1} \cdot n$ to a local peak. This means that short ascents always exist in fitness landscapes from constraint graphs of logarithmic treedepth, and thus also for all VCSPs of bounded treewidth. But this does not mean that local search algorithms will always find and follow such short ascents in sparse VCSPs. I show that with loglog treedepth, superpolynomial ascents exist; and for polylog treedepth, there are initial assignments from which all ascents are superpolynomial. Together, these results suggest that the study of sparse VCSPs can help us better understand the barriers to efficient local search.

2024-05-20T23:28:38Z 7 pgs Artem Kaznatcheev http://arxiv.org/abs/2405.12344v1 2024-05-20T19:36:34Z

Recent research has extended methods from the fields of thermodynamics and statistical mechanics into other disciplines. Most notably, one recent work creates a unified theoretical framework to understand evolutionary biology, machine learning, and thermodynamics. We present simulations of biological evolution used to test this framework. The test simulates organisms whose behavior is determined by specific parameters that play the role of genes. These genes are passed on to new simulated organisms with the capacity to mutate, allowing adaption of the organisms to the environment. With this simulation, we are able to test the the framework in question. The results of our simulation are consistent with the work being tested, providing evidence for it.

2024-05-20T19:36:34Z 10 pages, 3 figures Daniel Sadasivan Cole Cantu Cecilia Marsh Andrew Graham http://arxiv.org/abs/2310.06538v2 2024-05-20T19:02:28Z

Infections are known to interact as previous infections may have an effect on risk of succumbing to a new infection. The co-dynamics can be mediated by immunosuppression or -modulation, shared environmental or climatic drivers, or competition for susceptible hosts. Research and statistical methods in epidemiology often concentrate on large pooled datasets, or high quality data from cities, leaving rural areas underrepresented in literature. Data considering rural populations are typically sparse and scarce, especially in the case of historical data sources, which may introduce considerable methodological challenges. In order to overcome many obstacles due to such data, we present a general Bayesian spatio-temporal model for disease co-dynamics. Applying the proposed model on historical (1820-1850) Finnish parish register data, we study the spread of infectious diseases in pre-healthcare Finland. We observe that measles, pertussis, and smallpox exhibit positively correlated dynamics, which could be attributed to immunosuppressive effects or, for example, the general weakening of the population due to recurring infections or poor nutritional conditions.

2023-10-10T11:37:38Z Tiia-Maria Pasanen Jouni Helske Harri Högmander Tarmo Ketola http://arxiv.org/abs/2401.03093v4 2024-05-19T14:02:45Z

There are concerns about the reliability and safety of artificial intelligence (AI) based on sub-symbolic neural networks because its decisions cannot be explained explicitly. This is the black box problem of modern AI. At the same time, symbolic AI has the nature of a white box and is able to ensure the reliability and safety of its decisions. However, several problems prevent the widespread use of symbolic AI: the opacity of mathematical models and natural language terms, the lack of a unified ontology, and the combinatorial explosion of search capabilities. To solve the black-box problem of AI, we propose eXplicitly eXplainable AI (XXAI) - a fully transparent white-box AI based on deterministic logical cellular automata whose rules are derived from the first principles of the general theory of the relevant domain. In this case, the general theory of the domain plays the role of a knowledge base for deriving the inferences of the cellular automata. A cellular automaton implements parallel multi-level logical inference at all levels of organization - from local interactions of the element base to the system as a whole. Our verification of several ecological hypotheses sets a precedent for the successful implementation of the proposed solution. XXAI is able to automatically verify the reliability, security and ethics of sub-symbolic neural network solutions in both the final and training phases. In this article, we present precedents for the successful implementation of XXAI, the theoretical and methodological foundations for its further development, and discuss prospects for the future.

2024-01-05T23:50:10Z 18 pages, 1 graphical abstract, 1 figure, 72 references V. L. Kalmykov L. V. Kalmykov