-
Results on branching random walks and rumor processes via germ order
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
Germ order is a non-standard stochastic order defined through the comparison of the generating functions of the processes. This order was first introduced for branching random walks with a constant breeding law and independent dispersal of offspring, which are characterized by a one-dimensional generating function. In this work, we investigate the properties of the extension of this concept to pro…
▽ More
Germ order is a non-standard stochastic order defined through the comparison of the generating functions of the processes. This order was first introduced for branching random walks with a constant breeding law and independent dispersal of offspring, which are characterized by a one-dimensional generating function. In this work, we investigate the properties of the extension of this concept to processes characterized by a multidimensional generating function, such as general branching random walks and rumor processes. In particular, we use germ ordering to characterize the behavior of certain branching random walks and rumor processes with inhomogeneous breeding/transmitting laws.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Strong survival and extinction for branching random walks via a new order for generating functions
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
We consider general discrete-time branching random walks on a countable set $X$. According to these processes, a particle at $x\in X$ generates a random number of children and places them at (some of) the sites of $X$, not necessarily independently nor with the same law at different starting vertices $x$.We introduce a new type of stochastic ordering of branching random walks, generalizing the ger…
▽ More
We consider general discrete-time branching random walks on a countable set $X$. According to these processes, a particle at $x\in X$ generates a random number of children and places them at (some of) the sites of $X$, not necessarily independently nor with the same law at different starting vertices $x$.We introduce a new type of stochastic ordering of branching random walks, generalizing the germ order introduced by Hutchcroft in arXiv:2011.06402, which relies on the generating function of the process. We prove that given two branching random walks with law $\mathbfμ$ and $\mathbfν$ respectively, with $\mathbfμ \ge \mathbfν$, then in every set where there is extinction according to $\mathbfμ$, there is extinction also according to $\mathbfν$. Moreover, in every set where there is strong local survival according to $\mathbfν$, there is strong local survival also according to $\mathbfν$, provided that the supremum of the global extinction probabilities, for the $\mathbfν$-process, taken over all starting points $x$, is strictly smaller than 1. New conditions for survival and strong survival for inhomogeneous branching random walks are provided. We also extend a result of Moyal which claims that, under some conditions, the global extinction probability for a branching random walk is the only fixed point of its generating function, whose supremum over all starting coordinates, may be smaller than 1.
△ Less
Submitted 8 December, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
Martin boundaries and asymptotic behavior of branching random walks
Authors:
Daniela Bertacchi,
Elisabetta Candellero,
Fabio Zucca
Abstract:
Let $G$ be an infinite, locally finite graph. We investigate the relation between supercritical, transient branching random walk and the Martin boundary of its underlying random walk. We show results regarding the typical asymptotic directions taken by the particles, and as a consequence we find a new connection between $t$-Martin boundaries and standard Martin boundaries. Moreover, given a subgra…
▽ More
Let $G$ be an infinite, locally finite graph. We investigate the relation between supercritical, transient branching random walk and the Martin boundary of its underlying random walk. We show results regarding the typical asymptotic directions taken by the particles, and as a consequence we find a new connection between $t$-Martin boundaries and standard Martin boundaries. Moreover, given a subgraph $U$ we study two aspects of branching random walks on $U$: when the trajectories visit $U$ infinitely often (survival) and when they stay inside $U$ forever (persistence). We show that there are cases, when $U$ is not connected, where the branching random walk does not survive in $U$, but the random walk on $G$ converges to the boundary of $U$ with positive probability. In contrast, the branching random walk can survive in $U$ even though the random walk eventually exits $U$ almost surely. We provide several examples and counterexamples.
△ Less
Submitted 8 July, 2024; v1 submitted 7 August, 2023;
originally announced August 2023.
-
An evolution model with uncountably many alleles
Authors:
Daniela Bertacchi,
Juri Lember,
Fabio Zucca
Abstract:
We study a class of evolution models, where the breeding process involves an arbitrary exchangeable process, allowing for mutations to appear. The population size $n$ is fixed, hence after breeding, selection is applied. Individuals are characterized by their genome, picked inside a set $X$ (which may be uncountable), and there is a fitness associated to each genome. Being less fit implies a highe…
▽ More
We study a class of evolution models, where the breeding process involves an arbitrary exchangeable process, allowing for mutations to appear. The population size $n$ is fixed, hence after breeding, selection is applied. Individuals are characterized by their genome, picked inside a set $X$ (which may be uncountable), and there is a fitness associated to each genome. Being less fit implies a higher chance of being discarded in the selection process. The stationary distribution of the process can be described and studied. We are interested in the asymptotic behavior of this stationary distribution as $n$ goes to infinity. Choosing a parameter $λ>0$ to tune the scaling of the fitness when $n$ grows, we prove limiting theorems both for the case when the breeding process does not depend on $n$, and for the case when it is given by a Dirichlet process prior. In both cases, the limit exhibits phase transitions depending on the parameter $λ
△ Less
Submitted 30 April, 2022;
originally announced May 2022.
-
An epidemic model in inhomogeneous environment
Authors:
Daniela Bertacchi,
Jürgen Kampf,
Ecaterina Sava-Huss,
Fabio Zucca
Abstract:
The current work deals with an epidemic model on the complete graph K_n on n vertices in a non-homogeneous setting, where the vertices may have distinct types. Different types differ in the probability of getting infected, and/or in the capacity of infecting other vertices. This generalizes previous models where vertices are all of the same type and have equal probabilities of being infected. We p…
▽ More
The current work deals with an epidemic model on the complete graph K_n on n vertices in a non-homogeneous setting, where the vertices may have distinct types. Different types differ in the probability of getting infected, and/or in the capacity of infecting other vertices. This generalizes previous models where vertices are all of the same type and have equal probabilities of being infected. We prove laws of large numbers and central limit theorems for the the total duration of the process and for the number of infected vertices, respectively, when n goes to infinity. By coupling the epidemic model with a Poisson process, we also obtain continuous-time counterparts of the above-mentioned limit results. Moreover, we also prove that when all individuals have the same spread capacity, then a population with inhomogeneous susceptibility is less affected by the epidemics than a homogeneous population.
△ Less
Submitted 9 May, 2022; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Extinction probabilities in branching processes with countably many types: a general framework
Authors:
Daniela Bertacchi,
Peter Braunsteins,
Sophie Hautphenne,
Fabio Zucca
Abstract:
We consider Galton-Watson branching processes with countable typeset $\mathcal{X}$. We study the vectors ${\bf q}(A)=(q_x(A))_{x\in\mathcal{X}}$ recording the conditional probabilities of extinction in subsets of types $A\subseteq \mathcal{X}$, given that the type of the initial individual is $x$. We first investigate the location of the vectors ${\bf q}(A)$ in the set of fixed points of the proge…
▽ More
We consider Galton-Watson branching processes with countable typeset $\mathcal{X}$. We study the vectors ${\bf q}(A)=(q_x(A))_{x\in\mathcal{X}}$ recording the conditional probabilities of extinction in subsets of types $A\subseteq \mathcal{X}$, given that the type of the initial individual is $x$. We first investigate the location of the vectors ${\bf q}(A)$ in the set of fixed points of the progeny generating vector and prove that $q_x(\{x\})$ is larger than or equal to the $x$th entry of any fixed point, whenever it is different from 1. Next, we present equivalent conditions for $q_x(A)< q_x (B)$ for any initial type $x$ and $A,B\subseteq \mathcal{X}$. Finally, we develop a general framework to characterise all \emph{distinct} extinction probability vectors, and thereby to determine whether there are finitely many, countably many, or uncountably many distinct vectors. We illustrate our results with examples, and conclude with open questions.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
Branching random walks with uncountably many extinction probability vectors
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
Given a branching random walk on a set $X$, we study its extinction probability vectors $\mathbf q(\cdot,A)$. Their components are the probability that the process goes extinct in a fixed $A\subseteq X$, when starting from a vertex $x\in X$. The set of extinction probability vectors (obtained letting $A$ vary among all subsets of $X$) is a subset of the set of the fixed points of the generating fu…
▽ More
Given a branching random walk on a set $X$, we study its extinction probability vectors $\mathbf q(\cdot,A)$. Their components are the probability that the process goes extinct in a fixed $A\subseteq X$, when starting from a vertex $x\in X$. The set of extinction probability vectors (obtained letting $A$ vary among all subsets of $X$) is a subset of the set of the fixed points of the generating function of the branching random walk. In particular here we are interested in the cardinality of the set of extinction probability vectors. We prove results which allow to understand whether the probability of extinction in a set $A$ is different from the one of extinction in another set $B$. In many cases there are only two possible extinction probability vectors and so far, in more complicated examples, only a finite number of distinct extinction probability vectors had been explicitly found. Whether a branching random walk could have an infinite number of distinct extinction probability vectors was not known. We apply our results to construct examples of branching random walks with uncountably many distinct extinction probability vectors.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
A stochastic model for the evolution of species with random fitness
Authors:
Daniela Bertacchi,
Juri Lember,
Fabio Zucca
Abstract:
We generalize the evolution model introduced by Guiol, Machado and Schinazi (2010). In our model at odd times a random number X of species is created. Each species is endowed with a random fitness with arbitrary distribution on $[0, 1]$. At even times a random number Y of species is removed, killing the species with lower fitness. We show that there is a critical fitness $f_c$ below which the numb…
▽ More
We generalize the evolution model introduced by Guiol, Machado and Schinazi (2010). In our model at odd times a random number X of species is created. Each species is endowed with a random fitness with arbitrary distribution on $[0, 1]$. At even times a random number Y of species is removed, killing the species with lower fitness. We show that there is a critical fitness $f_c$ below which the number of species hits zero i.o. and above of which this number goes to infinity. We prove uniform convergence for the distribution of surviving species and describe the phenomena which could not be observed in previous works with uniformly distributed fitness.
△ Less
Submitted 1 May, 2018; v1 submitted 19 April, 2018;
originally announced April 2018.
-
Global survival of branching random walks and tree-like branching random walks
Authors:
Daniela Bertacchi,
Cristian F. Coletti,
Fabio Zucca
Abstract:
The reproduction speed of a continuous-time branching random walk is proportional to a positive parameter $λ$. There is a threshold for $λ$, which is called $λ_w$, that separates almost sure global extinction from global survival. Analogously, there exists another threshold $λ_s$ below which any site is visited almost surely a finite number of times (i.e.~local extinction) while above it there is…
▽ More
The reproduction speed of a continuous-time branching random walk is proportional to a positive parameter $λ$. There is a threshold for $λ$, which is called $λ_w$, that separates almost sure global extinction from global survival. Analogously, there exists another threshold $λ_s$ below which any site is visited almost surely a finite number of times (i.e.~local extinction) while above it there is a positive probability of visiting every site infinitely many times. The local critical parameter $λ_s$ is completely understood and can be computed as a function of the reproduction rates. On the other hand, only for some classes of branching random walks it is known that the global critical parameter $λ_w$ is the inverse of a certain function of the reproduction rates, which we denote by $K_w$. We provide here new sufficient conditions which guarantee that the global critical parameter equals $1/K_w$. This result extends previously known results for branching random walks on multigraphs and general branching random walks. We show that these sufficient conditions are satisfied by periodic tree-like branching random walks. We also discuss the critical parameter and the critical behaviour of continuous-time branching processes in varying environment. So far, only examples where $λ_w=1/K_w$ were known; here we provide an example where $λ_w>1/K_w$.
△ Less
Submitted 27 April, 2017; v1 submitted 13 March, 2017;
originally announced March 2017.
-
Galton-Watson processes in varying environment and accessibility percolation
Authors:
Daniela Bertacchi,
Pablo M. Rodriguez,
Fabio Zucca
Abstract:
This paper deals with branching processes in varying environment, namely, whose offspring distributions depend on the generations. We provide sufficient conditions for survival or extinction which rely only on the first and second moments of the offspring distributions. These results are then applied to branching processes in varying environment with selection where every particle has a real-value…
▽ More
This paper deals with branching processes in varying environment, namely, whose offspring distributions depend on the generations. We provide sufficient conditions for survival or extinction which rely only on the first and second moments of the offspring distributions. These results are then applied to branching processes in varying environment with selection where every particle has a real-valued label and labels can only increase along genealogical lineages; we obtain analogous conditions for survival or extinction. These last results can be interpreted in terms of accessibility percolation on Galton-Watson trees, which represents a relevant tool for modeling the evolution of biological populations.
△ Less
Submitted 28 September, 2017; v1 submitted 10 November, 2016;
originally announced November 2016.
-
Lower bounds for moments of global scores of pairwise Markov chains
Authors:
Jüri Lember,
Heinrich Matzinger,
Joonas Sova,
Fabio Zucca
Abstract:
Let $X_1,X_2,\ldots$ and $Y_1,Y_2,\ldots$ be two random sequences so that every random variable takes values in a finite set $\mathbb{A}$. We consider a global similarity score $L_n:=L(X_1,\ldots,X_n;Y_1,\ldots,Y_n)$ that measures the homology (relatedness) of words $(X_1,\ldots,X_n)$ and $(Y_1,\ldots,Y_n)$. A typical example of such score is the length of the longest common subsequence. We study…
▽ More
Let $X_1,X_2,\ldots$ and $Y_1,Y_2,\ldots$ be two random sequences so that every random variable takes values in a finite set $\mathbb{A}$. We consider a global similarity score $L_n:=L(X_1,\ldots,X_n;Y_1,\ldots,Y_n)$ that measures the homology (relatedness) of words $(X_1,\ldots,X_n)$ and $(Y_1,\ldots,Y_n)$. A typical example of such score is the length of the longest common subsequence. We study the order of central absolute moment $E|L_n-EL_n|^r$ in the case where two-dimensional process $(X_1,Y_1),(X_2,Y_2),\ldots$ is a Markov chain on $\mathbb{A}\times \mathbb{A}$. This is a very general model involving independent Markov chains, hidden Markov models, Markov switching models and many more. Our main result establishes a general condition that guarantees that $E|L_n-EL_n|^r\asymp n^{r\over 2}$. We also perform simulations indicating the validity of the condition.
△ Less
Submitted 18 February, 2016; v1 submitted 17 February, 2016;
originally announced February 2016.
-
A generating function approach to branching random walks
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
It is well known that the behaviour of a branching process is completely described by the generating function of the offspring law and its fixed points. Branching random walks are a natural generalization of branching processes: a branching process can be seen as a one-dimensional branching random walk. We define a multidimensional generating function associated to a given branching random walk. T…
▽ More
It is well known that the behaviour of a branching process is completely described by the generating function of the offspring law and its fixed points. Branching random walks are a natural generalization of branching processes: a branching process can be seen as a one-dimensional branching random walk. We define a multidimensional generating function associated to a given branching random walk. The present paper investigates the similarities and the differences of the generating functions, their fixed points and the implications on the underlying stochastic process, between the one-dimensional (branching process) and the multidimensional case (branching random walk). In particular, we show that the generating function of a branching random walk can have uncountably many fixed points and a fixed point may not be an extinction probability, even in the irreducible case (extinction probabilities are always fixed points). Moreover, the generating function might not be a convex function. We also study how the behaviour of a branching random walk is affected by local modifications of the process. As a corollary, we describe a general procedure with which we can modify a continuous-time branching random walk which has a weak phase and turn it into a continuous-time branching random walk which has strong local survival for large or small values of the parameter and non-strong local survival for intermediate values of the parameter.
△ Less
Submitted 24 November, 2016; v1 submitted 24 November, 2015;
originally announced November 2015.
-
The timing of life history events in presence of soft disturbances
Authors:
Daniela Bertacchi,
Fabio Zucca,
Roberto Ambrosini
Abstract:
We study a model for the evolutionarily stable strategy (ESS) used by biological populations for choosing the time of life-history events, such as migration and breeding. In our model we accounted for both intra-species competition (early individuals have a competitive advantage) and a disturbance which strikes at a random time, killing a fraction $1-p$ of the population. Disturbances include spel…
▽ More
We study a model for the evolutionarily stable strategy (ESS) used by biological populations for choosing the time of life-history events, such as migration and breeding. In our model we accounted for both intra-species competition (early individuals have a competitive advantage) and a disturbance which strikes at a random time, killing a fraction $1-p$ of the population. Disturbances include spells of bad weather, such as freezing or heavily raining days. It has been shown in Iwasa and Levin (1995), that when $p=0$, then the ESS is a mixed strategy, where individuals wait for a certain time and afterwards start arriving (or breeding) every day. We remove the constraint $p=0$ and show that if $0<p<1$ then the ESS still implies a mixed choice of times, but strong competition may lead to a massive arrival at the earliest time possible of a fraction of the population, while the rest will arrive throughout the whole period during which the disturbance may occur. More precisely, given $p$, there is a threshold for the competition parameter $a$, above which massive arrivals occur and below which there is a behaviour as in Iwasa and Levin (1995). We study the behaviour of the ESS and of the average fitness of the population, depending on the parameters involved. We also discuss how the population may be affected by climate change, in two respects: first, how the ESS should change under the new climate and whether this change implies an increase of the average fitness; second, which is the impact of the new climate on a population that still follows the old strategy. We show that, at least under some conditions, extreme weather events imply a temporary decrease of the average fitness (thus an increasing mortality). If the population adapts to the new climate, the survivors may have a larger fitness.
△ Less
Submitted 1 May, 2015; v1 submitted 16 April, 2015;
originally announced April 2015.
-
Branching random walks and multi-type contact-processes on the percolation cluster of ${\mathbb{Z}}^{d}$
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
In this paper we prove that, under the assumption of quasi-transitivity, if a branching random walk on ${\mathbb{Z}^d}$ survives locally (at arbitrarily large times there are individuals alive at the origin), then so does the same process when restricted to the infinite percolation cluster ${\mathcal{C}_{\infty}}$ of a supercritical Bernoulli percolation. When no more than $k$ individuals per site…
▽ More
In this paper we prove that, under the assumption of quasi-transitivity, if a branching random walk on ${\mathbb{Z}^d}$ survives locally (at arbitrarily large times there are individuals alive at the origin), then so does the same process when restricted to the infinite percolation cluster ${\mathcal{C}_{\infty}}$ of a supercritical Bernoulli percolation. When no more than $k$ individuals per site are allowed, we obtain the $k$-type contact process, which can be derived from the branching random walk by killing all particles that are born at a site where already $k$ individuals are present. We prove that local survival of the branching random walk on ${\mathbb{Z}^d}$ also implies that for $k$ sufficiently large the associated $k$-type contact process survives on ${\mathcal{C}_{\infty}}$. This implies that the strong critical parameters of the branching random walk on ${\mathbb{Z}^d}$ and on ${\mathcal{C}_{\infty}}$ coincide and that their common value is the limit of the sequence of strong critical parameters of the associated $k$-type contact processes. These results are extended to a family of restrained branching random walks, that is, branching random walks where the success of the reproduction trials decreases with the size of the population in the target site.
△ Less
Submitted 19 June, 2015; v1 submitted 21 November, 2013;
originally announced November 2013.
-
Rumor processes in random environment on N and on Galton-Watson trees
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
The aim of this paper is to study rumor processes in random environment. In a rumor process a signal starts from the stations of a fixed vertex (the root) and travels on a graph from vertex to vertex. We consider two rumor processes. In the firework process each station, when reached by the signal, transmits it up to a random distance. In the reverse firework process, on the other hand, stations d…
▽ More
The aim of this paper is to study rumor processes in random environment. In a rumor process a signal starts from the stations of a fixed vertex (the root) and travels on a graph from vertex to vertex. We consider two rumor processes. In the firework process each station, when reached by the signal, transmits it up to a random distance. In the reverse firework process, on the other hand, stations do not send any signal but they "listen" for it up to a random distance. The first random environment that we consider is the deterministic 1-dimensional tree N with a random number of stations on each vertex; in this case the root is the origin of N. We give conditions for the survival/extinction on almost every realization of the sequence of stations. Later on, we study the processes on Galton-Watson trees with random number of stations on each vertex. We show that if the probability of survival is positive, then there is survival on almost every realization of the infinite tree such that there is at least one station at the root. We characterize the survival of the process in some cases and we give sufficient conditions for survival/extinction.
△ Less
Submitted 29 May, 2013;
originally announced May 2013.
-
Combination versus sequential monotherapy in chronic HBV infection: a mathematical approach
Authors:
Daniela Bertacchi,
Fabio Zucca,
Sergio Foresti,
Davide Mangioni,
Andrea Gori
Abstract:
Sequential monotherapy is the most widely used therapeutic approach in the treatment of HBV chronic infection. Unfortunately, under therapy, in some patients the hepatitis virus mutates and gives rise to variants which are drug resistant. We conjecture that combination therapy is able to delay drug resistance for a longer time than sequential monotherapy. To study the action of these two therapeut…
▽ More
Sequential monotherapy is the most widely used therapeutic approach in the treatment of HBV chronic infection. Unfortunately, under therapy, in some patients the hepatitis virus mutates and gives rise to variants which are drug resistant. We conjecture that combination therapy is able to delay drug resistance for a longer time than sequential monotherapy. To study the action of these two therapeutic approaches in the event of unknown mutations and to explain the emergence of drug resistance, we propose a stochastic model for the infection within a patient which is treated with two drugs, either sequentially or contemporaneously, and develops a two-step mutation which is resistant to both drugs. We study the deterministic approximation of our stochastic model and give a biological interpretation of its asymptotic behaviour. We compare the time when this new strain first reaches detectability in the serum viral load. Our results show that the best choice is to start an early combination therapy, which allows to stay drug-resistance free for a longer time.
△ Less
Submitted 30 April, 2013;
originally announced April 2013.
-
Persistent and susceptible bacteria with individual deaths
Authors:
Fabio Zucca
Abstract:
The aim of this paper is to study two models for a bacterial population subject to antibiotic treatments. It is known that some bacteria are sensitive to antibiotics. These bacteria are in a state called persistence and each bacterium can switch from this state to a non-persistent (or susceptible) state and back. Our models extend those introduced in [6] by adding a (random) natural life cycle for…
▽ More
The aim of this paper is to study two models for a bacterial population subject to antibiotic treatments. It is known that some bacteria are sensitive to antibiotics. These bacteria are in a state called persistence and each bacterium can switch from this state to a non-persistent (or susceptible) state and back. Our models extend those introduced in [6] by adding a (random) natural life cycle for each bacterium and by allowing bacteria in the susceptible state to escape the action of the antibiotics with a fixed probability 1-p (while every bacterium in a persistent state survives with probability 1). In the first model we "inject" the antibiotics in the system at fixed, deterministic times while in the second one the time intervals are random. We show that, in order to kill eventually the whole bacterial population, these time intervals cannot be "too large". The maximum admissible length is increasing with respect to p and it decreases rapidly when p<1.
△ Less
Submitted 12 April, 2013; v1 submitted 15 October, 2012;
originally announced October 2012.
-
Strong local survival of branching random walks is not monotone
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
The aim of this paper is the study of the strong local survival property for discrete-time and continuous-time branching random walks. We study this property by means of an infinite dimensional generating function G and a maximum principle which, we prove, is satisfied by every fixed point of G. We give results about the existence of a strong local survival regime and we prove that, unlike local a…
▽ More
The aim of this paper is the study of the strong local survival property for discrete-time and continuous-time branching random walks. We study this property by means of an infinite dimensional generating function G and a maximum principle which, we prove, is satisfied by every fixed point of G. We give results about the existence of a strong local survival regime and we prove that, unlike local and global survival, in continuous time, strong local survival is not a monotone property in the general case (though it is monotone if the branching random walk is quasi transitive). We provide an example of an irreducible branching random walk where the strong local property depends on the starting site of the process. By means of other counterexamples we show that the existence of a pure global phase is not equivalent to nonamenability of the process, and that even an irreducible branching random walk with the same branching law at each site may exhibit non-strong local survival. Finally we show that the generating function of a irreducible BRW can have more than two fixed points; this disproves a previously known result.
△ Less
Submitted 30 April, 2013; v1 submitted 20 August, 2012;
originally announced August 2012.
-
Local and global survival for nonhomogeneous random walk systems on Z
Authors:
Daniela Bertacchi,
Fabio Prates Machado,
Fabio Zucca
Abstract:
We study an interacting random walk system on Z where at time 0 there is an active particle at 0 and one inactive particle on each site $n \ge 1$. Particles become active when hit by another active particle. Once activated, the particle starting at n performs an asymmetric, translation invariant, nearest neighbor random walk with left jump probability $l_n$. We give conditions for global survival,…
▽ More
We study an interacting random walk system on Z where at time 0 there is an active particle at 0 and one inactive particle on each site $n \ge 1$. Particles become active when hit by another active particle. Once activated, the particle starting at n performs an asymmetric, translation invariant, nearest neighbor random walk with left jump probability $l_n$. We give conditions for global survival, local survival and infinite activation both in the case where all particles are immortal and in the case where particles have geometrically distributed lifespan (with parameter depending on the starting location of the particle). More precisely, once activated, the particle at n survives at each step with probability $p_n \in [0, 1]$. In particular, in the immortal case, we prove a 0-1 law for the probability of local survival when all particles drift to the right. Besides that, we give sufficient conditions for local survival or local extinction when all particles drift to the left. In the mortal case, we provide sufficient conditions for global survival, local survival and local extinction (which apply to the immortal case with mixed drifts as well). Analysis of explicit examples is provided: we describe completely the phase diagram in the cases $1/2-l_n \sim \pm 1/n^α$, $p_n = 1$ and $1_n-1/2 \sim \pm 1/n^α$, $1-p_n \sim 1/n^β$ (where $α,β> 0$).
△ Less
Submitted 19 December, 2012; v1 submitted 16 January, 2012;
originally announced January 2012.
-
Recent results on branching random walks
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
This paper is a collection of recent results on discrete-time and continuous-time branching random walks. Some results are new and others are known. Many aspects of this theory are considered: local, global and strong local survival, the existence of a pure global survival phase and the approximation of branching random walks by means of multitype contact processes or spatially confined branching…
▽ More
This paper is a collection of recent results on discrete-time and continuous-time branching random walks. Some results are new and others are known. Many aspects of this theory are considered: local, global and strong local survival, the existence of a pure global survival phase and the approximation of branching random walks by means of multitype contact processes or spatially confined branching random walks. Most results are obtained using a generating function approach: the probabilities of extinction are seen as fixed points of an infinite dimensional power series. Throughout this paper we provide many nontrivial examples and counterexamples.
△ Less
Submitted 4 May, 2018; v1 submitted 27 April, 2011;
originally announced April 2011.
-
Moving closer: contractive maps on discrete metric spaces and graphs
Authors:
Fabio Zucca
Abstract:
We consider discrete metric spaces and we look for non-constant contractions. We introduce the notion of contractive map and we characterize the spaces with non-constant contractive maps. We provide some examples to discussion the possible relations between contractions, contractive maps and constant functions. Finally we apply the main result to the subgraphs of a non-oriented, connected graph.
We consider discrete metric spaces and we look for non-constant contractions. We introduce the notion of contractive map and we characterize the spaces with non-constant contractive maps. We provide some examples to discussion the possible relations between contractions, contractive maps and constant functions. Finally we apply the main result to the subgraphs of a non-oriented, connected graph.
△ Less
Submitted 18 November, 2010;
originally announced November 2010.
-
Survival, extinction and approximation of discrete-time branching random walks
Authors:
Fabio Zucca
Abstract:
We consider a general discrete-time branching random walk on a countable set X. We relate local, strong local and global survival with suitable inequalities involving the first-moment matrix M of the process. In particular we prove that, while the local behavior is characterized by M, the global behavior cannot be completely described in terms of properties involving M alone. Moreover we show that…
▽ More
We consider a general discrete-time branching random walk on a countable set X. We relate local, strong local and global survival with suitable inequalities involving the first-moment matrix M of the process. In particular we prove that, while the local behavior is characterized by M, the global behavior cannot be completely described in terms of properties involving M alone. Moreover we show that locally surviving branching random walks can be approximated by sequences of spatially confined and stochastically dominated branching random walks which eventually survive locally if the (possibly finite) state space is large enough. An analogous result can be achieved by approximating a branching random walk by a sequence of multitype contact processes and allowing a sufficiently large number of particles per site. We compare these results with the ones obtained in the continuous-time case and we give some examples and counterexamples.
△ Less
Submitted 17 January, 2011; v1 submitted 18 March, 2010;
originally announced March 2010.
-
Contact and voter processes on the infinite percolation cluster as models of host-symbiont interactions
Authors:
D. Bertacchi,
N. Lanchier,
F. Zucca
Abstract:
We introduce spatially explicit stochastic processes to model multispecies host-symbiont interactions. The host environment is static, modeled by the infinite percolation cluster of site percolation. Symbionts evolve on the infinite cluster through contact or voter type interactions, where each host may be infected by a colony of symbionts. In the presence of a single symbiont species, the conditi…
▽ More
We introduce spatially explicit stochastic processes to model multispecies host-symbiont interactions. The host environment is static, modeled by the infinite percolation cluster of site percolation. Symbionts evolve on the infinite cluster through contact or voter type interactions, where each host may be infected by a colony of symbionts. In the presence of a single symbiont species, the condition for invasion as a function of the density of the habitat of hosts and the maximal size of the colonies is investigated in details. In the presence of multiple symbiont species, it is proved that the community of symbionts clusters in two dimensions whereas symbiont species may coexist in higher dimensions.
△ Less
Submitted 22 August, 2011; v1 submitted 16 November, 2009;
originally announced November 2009.
-
A self-regulating and patch subdivided population
Authors:
Lamia Belhadji,
Daniela Bertacchi,
Fabio Zucca
Abstract:
We consider an interacting particle process on a graph which, from a macroscopic point of view, looks like $\Z^d$ and, at a microscopic level, is a complete graph of degree $N$ (called a patch). There are two birth rates: an inter-patch one $λ$ and an intra-patch one $φ$. Once a site is occupied, there is no breeding from outside the patch and the probability $c(i)$ of success of an intra-patch br…
▽ More
We consider an interacting particle process on a graph which, from a macroscopic point of view, looks like $\Z^d$ and, at a microscopic level, is a complete graph of degree $N$ (called a patch). There are two birth rates: an inter-patch one $λ$ and an intra-patch one $φ$. Once a site is occupied, there is no breeding from outside the patch and the probability $c(i)$ of success of an intra-patch breeding decreases with the size $i$ of the population in the site. We prove the existence of a critical value $λ_{cr}(φ, c, N)$ and a critical value $φ_{cr}(λ, c, N)$. We consider a sequence of processes generated by the families of control functions $\{c_i\}_{i \in \N}$ and degrees $\{N_i\}_{i \in \N}$; we prove, under mild assumptions, the existence of a critical value $i_{cr}$. Roughly speaking we show that, in the limit, these processes behave as the branching random walk on $\Z^d$ with external birth rate $λ$ and internal birth rate $φ$. Some examples of models that can be seen as particular cases are given.
△ Less
Submitted 20 February, 2012; v1 submitted 8 November, 2008;
originally announced November 2008.
-
Characterization of the critical values of branching random walks on weighted graphs through infinite-type branching processes
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
We study the branching random walk on weighted graphs; site-breeding and edge-breeding branching random walks on graphs are seen as particular cases. We describe the strong critical value in terms of a geometrical parameter of the graph. We characterize the weak critical value and relate it to another geometrical parameter. We prove that, at the strong critical value, the process dies out locall…
▽ More
We study the branching random walk on weighted graphs; site-breeding and edge-breeding branching random walks on graphs are seen as particular cases. We describe the strong critical value in terms of a geometrical parameter of the graph. We characterize the weak critical value and relate it to another geometrical parameter. We prove that, at the strong critical value, the process dies out locally almost surely; while, at the weak critical value, global survival and global extinction are both possible.
△ Less
Submitted 7 September, 2008; v1 submitted 1 April, 2008;
originally announced April 2008.
-
An inequality for correlated measurable functions
Authors:
Fabio Zucca
Abstract:
A classical inequality, which is known for families of monotone functions, is generalized to a larger class of families of measurable functions. Moreover we characterize all the families of functions for which the equality holds. We apply this result to a problem arising from probability theory.
A classical inequality, which is known for families of monotone functions, is generalized to a larger class of families of measurable functions. Moreover we characterize all the families of functions for which the equality holds. We apply this result to a problem arising from probability theory.
△ Less
Submitted 30 November, 2007; v1 submitted 27 November, 2007;
originally announced November 2007.
-
Approximating critical parameters of branching random walks
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
Given a branching random walk on a graph, we consider two kinds of truncations: by inhibiting the reproduction outside a subset of vertices and by allowing at most $m$ particles per site. We investigate the convergence of weak and strong critical parameters of these truncated branching random walks to the analogous parameters of the original branching random walk. As a corollary, we apply our re…
▽ More
Given a branching random walk on a graph, we consider two kinds of truncations: by inhibiting the reproduction outside a subset of vertices and by allowing at most $m$ particles per site. We investigate the convergence of weak and strong critical parameters of these truncated branching random walks to the analogous parameters of the original branching random walk. As a corollary, we apply our results to the study of the strong critical parameter of a branching random walk restricted to the cluster of a Bernoulli bond percolation.
△ Less
Submitted 8 August, 2008; v1 submitted 19 October, 2007;
originally announced October 2007.
-
Ecological equilibrium for restrained branching random walks
Authors:
Daniela Bertacchi,
Gustavo Posta,
Fabio Zucca
Abstract:
We study a generalized branching random walk where particles breed at a rate which depends on the number of neighboring particles. Under general assumptions on the breeding rates we prove the existence of a phase where the population survives without exploding. We construct a nontrivial invariant measure for this case.
We study a generalized branching random walk where particles breed at a rate which depends on the number of neighboring particles. Under general assumptions on the breeding rates we prove the existence of a phase where the population survives without exploding. We construct a nontrivial invariant measure for this case.
△ Less
Submitted 19 October, 2007; v1 submitted 23 November, 2006;
originally announced November 2006.
-
Weak survival for branching random walks on graphs
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
We study weak and strong survival for branching random walks on multigraphs. We prove that, for a large class of multigraphs, weak survival is related to a geometrical parameter of the multigraph and that the existence of a pure weak phase is equivalent to nonamenability. Finally we study weak and strong critical behaviors of the branching random walk.
We study weak and strong survival for branching random walks on multigraphs. We prove that, for a large class of multigraphs, weak survival is related to a geometrical parameter of the multigraph and that the existence of a pure weak phase is equivalent to nonamenability. Finally we study weak and strong critical behaviors of the branching random walk.
△ Less
Submitted 10 January, 2007; v1 submitted 16 March, 2006;
originally announced March 2006.
-
A note on compact Markov operators
Authors:
Fabio Zucca
Abstract:
The analytic properties of the Markov operator associated to a random walk are common tools in the study of the behaviour and some probabilistic features related to the walk. In this paper we consider a class of Markov operators which generalizes the class of compact Markov operators and we study some probabilistic properties of the associated random walk.
The analytic properties of the Markov operator associated to a random walk are common tools in the study of the behaviour and some probabilistic features related to the walk. In this paper we consider a class of Markov operators which generalizes the class of compact Markov operators and we study some probabilistic properties of the associated random walk.
△ Less
Submitted 18 February, 2004;
originally announced February 2004.
-
Strong and weak mean value properties on trees
Authors:
Fabio Zucca
Abstract:
We consider the mean value properties for finite variation measures with respect to a Markov operator in a discrete environnement. We prove equivalent conditions for the weak mean value property in the case of general Markov operators and for the strong mean value property in the case of transient Markov operators adapted to a tree structure. In this last case, conditions for the equivalence bet…
▽ More
We consider the mean value properties for finite variation measures with respect to a Markov operator in a discrete environnement. We prove equivalent conditions for the weak mean value property in the case of general Markov operators and for the strong mean value property in the case of transient Markov operators adapted to a tree structure. In this last case, conditions for the equivalence between weak and strong mean value properties are given.
△ Less
Submitted 14 October, 2001;
originally announced October 2001.
-
Classification on the average of random walks
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
We introduce a new method for studying large scale properties of random walks. The new concepts of transience and recurrence on the average are compared with the ones introduced by R.Burioni, D.Cassi and A.Vezzani and with the usual ones; their relationships are analyzed and various examples are provided.
We introduce a new method for studying large scale properties of random walks. The new concepts of transience and recurrence on the average are compared with the ones introduced by R.Burioni, D.Cassi and A.Vezzani and with the usual ones; their relationships are analyzed and various examples are provided.
△ Less
Submitted 14 March, 2002; v1 submitted 26 April, 2001;
originally announced April 2001.
-
On some properties of transitions operators
Authors:
Fabio Zucca
Abstract:
We study a general transition operator, generated by a random walk on a graph $X$; in particular we give necessary and sufficient condition on the matrix coefficient (1-step transition probablilities) to be a bounded operator from $l^\infty(X)$ into itself. Moreover we characterize compact operators and we relate this property to the behaviour of the associated random walk. We give a necessary a…
▽ More
We study a general transition operator, generated by a random walk on a graph $X$; in particular we give necessary and sufficient condition on the matrix coefficient (1-step transition probablilities) to be a bounded operator from $l^\infty(X)$ into itself. Moreover we characterize compact operators and we relate this property to the behaviour of the associated random walk. We give a necessary and sufficient condition for the pre-adjoint of the discrete Laplace operator to be an injective map.
△ Less
Submitted 13 March, 2001; v1 submitted 12 March, 2001;
originally announced March 2001.
-
Uniform asymptotic estimates of transition probabilities on combs
Authors:
Daniela Bertacchi,
Fabio Zucca
Abstract:
We investigate the asymptotical behaviour of the transition probabilities of the simple random walk on the 2-comb. In particular we obtain space-time uniform asymptotical estimates which show the lack of symmetry of this walk better than local limit estimates. Our results also point out the impossibility of getting Jones-type non-Gaussian estimates.
We investigate the asymptotical behaviour of the transition probabilities of the simple random walk on the 2-comb. In particular we obtain space-time uniform asymptotical estimates which show the lack of symmetry of this walk better than local limit estimates. Our results also point out the impossibility of getting Jones-type non-Gaussian estimates.
△ Less
Submitted 4 August, 2000;
originally announced August 2000.
-
On a class of stochastic differential equations used in quantum optics
Authors:
Alberto Barchielli,
Fabio Zucca
Abstract:
Stochastic differential equations for processes with values in Hilbert spaces are now largely used in the quantum theory of open systems. In this work we present a class of such equations and discuss their main properties; moreover, we explain how they are derived from purely quantum mechanical models, where the dynamics is represented by a unitary evolution in a Hilbert space, and how they are…
▽ More
Stochastic differential equations for processes with values in Hilbert spaces are now largely used in the quantum theory of open systems. In this work we present a class of such equations and discuss their main properties; moreover, we explain how they are derived from purely quantum mechanical models, where the dynamics is represented by a unitary evolution in a Hilbert space, and how they are related to the theory of continual measurements. An essential tool is an isomorphism between the bosonic Fock space and the Wiener space, which allow to connect certain quantum objects with probabilistic ones.
△ Less
Submitted 18 February, 1998; v1 submitted 17 November, 1997;
originally announced November 1997.
