Related papers: The two-type Richardson model in the half-plane
In this paper we consider a model for the diffusion of a population in a strip-shaped field, where the growth of the species is governed by a Fisher-KPP equation and which is bounded on one side by a road where the species can have a…
The large spacing phase of the infinite random matrix chain, which represents the strongly coupled two-dimensional O(2) model on a random planar lattice, is explored. A class of solutions valid for large lattice spacings is constructed. It…
A new type of kinetic models with non-instantaneous binary collisions is considered. Collisions are described by a transport process in the joint state space of a pair of particles. The interactions are of alignment type, where the states…
In one-dimensional Hermitian tight-binding models, mobility edges separating extended and localized states can appear in the presence of properly engineered quasi-periodical potentials and coupling constants. On the other hand, mobility…
An understanding of the disease spreading phenomenon based on a mathematical model is extremely needed for the implication of the correct policy measures to contain the disease propagation. Here, we report a new model namely the Ising-SIR…
Different pathogens spreading in the same host population often generate complex co-circulation dynamics because of the many possible interactions between the pathogens and the host immune system, the host life cycle, and the space…
We introduce two-sided type systems, which are sequent calculi for typing formulas. Two-sided type systems allow for hypothetical reasoning over the typing of compound program expressions, and the refutation of typing formulas. By…
In homotopy type theory (HoTT), all constructions are necessarily stable under homotopy equivalence. This has shortcomings: for example, it is believed that it is impossible to define a type of semi-simplicial types. More generally, it is…
Viral kinetics have been extensively studied in the past through the use of spatially well-mixed ordinary differential equations describing the time evolution of the diseased state. However, emerging spatial structures such as localized…
We study competing first passage percolation on graphs generated by the configuration model with infinite-mean degrees. Initially, two uniformly chosen vertices are infected with type 1 and type 2 infection, respectively, and the infection…
The focus of this article is on the dynamics of a new susceptible-infected model which consists of a susceptible group ($S$) and two different infectious groups ($I_1$ and $I_2$). Once infected, an individual becomes a member of one of…
We consider a nonlocal Fisher-KPP equation that models a population structured in space and in phenotype. The population lives in a heterogeneous periodic environment: the diffusion coefficient, the mutation coefficient and the fitness of…
We consider a discrete-time host-parasite model for a population of cells which are colonized by proliferating parasites. The cell population grows like an ordinary Galton-Watson process, but in reflection of real biological settings the…
We discuss the physical consequences of a duality between two models with quenched disorder, in which particles propagate in one dimension among random traps or across random barriers. We derive an exact relation between their diffusion…
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
We consider a model for the propagation of a driven interface through a random field of obstacles. The evolution equation, commonly referred to as the Quenched Edwards-Wilkinson model, is a semilinear parabolic equation with a constant…
Two classes of topological spaces are introduced on which every probability Radon measure possesses a uniformly distributed sequence or a uniformly tight uniformly distributed sequence. It is shown that these classes are stable under…
This study extends the SIS epidemic model for single virus propagation over an arbitrary graph to an SI1SI2S epidemic model of two exclusive, competitive viruses over a two-layer network with generic structure, where network layers…
We establish stability criterion for a two-class retrial system with Poisson inputs, general class-dependent service times and class-dependent constant retrial rates. We also characterise an interesting phenomenon of partial stability when…
We investigate SIR models with vital dynamics, reinfection, and randomness at the transmission coefficient and recruitment rate. Initially, we conduct an extensive analysis of the autonomous scenario, covering aspects such as local and…