arXiv subjects

Benoît Henry

Publications and source records attributed to Benoît Henry.

11 recordsLinked to original sources

arXiv2026

Feller Property and Absorption of Diffusions for Multi-Species Metacommunities

We consider individuals of two species distributed over m patches, each with a hosting capacity $d_i N$ , where $d_i \in (0, 1]$. We assume that all the patches are linked by the dispersal of individuals. This work examines how the metacommunity evolves in these patches. The model incorporates Wright-Fisher intra-patch reproduction and a general exchange function representing dispersal. Under minimal assumptions, we demonstrate that as $N$ approaches infinity, the processes converge to a diffusion process for which we establish the Feller property. We prove that the limiting process almost surely reaches the absorbing states in finite time.

math.PR↗

arXiv2024

The Planar Lattice Two-Neighbor Graph Percolates

The k-neighbor graph is a directed percolation model on the hypercubic lattice Z d in which each vertex independently picks exactly k of its 2d nearest neighbors at random, and we open directed edges towards those. We prove that the 2-neighbor graph percolates on Z 2 , i.e., that the origin is connected to infinity with positive probability. The proof rests on duality, an exploration algorithm, a comparison to i.i.d. bond percolation under constraints as well as enhancement arguments. As a byproduct, we show that i.i.d. bond percolation with forbidden local patterns has a strictly larger percolation threshold than 1/2. Additionally, our main result provides further evidence that, in low dimensions, less variability is beneficial for percolation.

math.PR↗

arXiv2024

Maximum likelihood estimation for spinal-structured trees

We investigate some aspects of the problem of the estimation of birth distributions (BD) in multi-type Galton-Watson trees (MGW) with unobserved types. More precisely, we consider two-type MGW called spinal-structured trees. This kind of tree is characterized by a spine of special individuals whose BD $ν$ is different from the other individuals in the tree (called normal whose BD is denoted $μ$). In this work, we show that even in such a very structured two-type population, our ability to distinguish the two types and estimate $μ$ and $ν$ is constrained by a trade-off between the growth-rate of the population and the similarity of $μ$ and $ν$. Indeed, if the growth-rate is too large, large deviations events are likely to be observed in the sampling of the normal individuals preventing us to distinguish them from special ones. Roughly speaking, our approach succeeds if $r<\mathfrak{D}(μ,ν)$ where $r$ is the exponential growth-rate of the population and $\mathfrak{D}$ is a divergence measuring the dissimilarity between $μ$ and $ν$.

math.ST↗

arXiv2024

Line-of-sight Cox percolation on Poisson-Delaunay triangulation

In this work, percolation properties of device-to-device (D2D) networks in urban environments are investigated. The street system is modeled by a Poisson-Delaunay triangulation (PDT). Users are of two types: given either by a Cox process supported by the edges of the PDT or by a Bernoulli process on the vertices of the PDT (i.e. on streets and at crossroads). Percolation of the resulting connectivity graph G p,$λ$,r is interpreted as long-range connection in the D2D network. According to the parameters p, $λ$, r of the model, we state several percolation regimes in Theorem 1 (see also Fig. 3). This work completes and specifies results of Le Gall et al [23]. To do it, we take advantage of a percolation tool, inspired by enhancement techniques, used to our knowledge for the first time in the context of communication networks.

math.PR↗

arXiv2022

Time reversal of spinal processes for linear and non-linear branching processes near stationarity

We consider a stochastic individual-based population model with competition, trait-structure affecting reproduction and survival, and changing environment. The changes of traits are described by jump processes, and the dynamics can be approximated in large population by a non-linear PDE with a non-local mutation operator. Using the fact that this PDE admits a non-trivial stationary solution, we can approximate the non-linear stochastic population process by a linear birth-death process where the interactions are frozen, as long as the population remains close to this equilibrium. This allows us to derive, when the population is large, the equation satisfied by the ancestral lineage of an individual uniformly sampled at a fixed time $T$, which is the path constituted of the traits of the ancestors of this individual in past times $t\leq T$. This process is a time inhomogeneous Markov process, but we show that the time reversal of this process possesses a very simple structure (e.g. time-homogeneous and independent of $T$). This extends recent results where the authors studied a similar model with a Laplacian operator but where the methods essentially relied on the Gaussian nature of the mutations.

math.PR↗

arXiv2021

Dynamics of lineages in adaptation to a gradual environmental change

We investigate a simple quantitative genetics model subjet to a gradual environmental change from the viewpoint of the phylogenies of the living individuals. We aim to understand better how the past traits of their ancestors are shaped by the adaptation to the varying environment. The individuals are characterized by a one-dimensional trait. The dynamics -- births and deaths -- depend on a time-changing mortality rate that shifts the optimal trait to the right at constant speed. The population size is regulated by a nonlinear non-local logistic competition term. The macroscopic behaviour can be described by a PDE that admits a unique positive stationary solution. In the stationary regime, the population can persist, but with a lag in the trait distribution due to the environmental change. For the microscopic (individual-based) stochastic process, the evolution of the lineages can be traced back using the historical process, that is, a measure-valued process on the set of continuous real functions of time. Assuming stationarity of the trait distribution, we describe the limiting distribution, in large populations, of the path of an individual drawn at random at a given time $T$. Freezing the non-linearity due to competition allows the use of a many-to-one identity together with Feynman-Kac's formula. This path, in reversed time, remains close to a simple Ornstein-Uhlenbeck process. It shows how the lagged bulk of the present population stems from ancestors once optimal in trait but still in the tail of the trait distribution in which they lived.

math.PR↗

arXiv2019

Inference for conditioned Galton-Watson trees from their Harris path

Tree-structured data naturally appear in various fields, particularly in biology where plants and blood vessels may be described by trees, but also in computer science because XML documents form a tree structure. This paper is devoted to the estimation of the relative scale parameter of conditioned Galton-Watson trees. New estimators are introduced and their consistency is stated. A comparison is made with an existing approach of the literature. A simulation study shows the good behavior of our procedure on finite-sample sizes and from missing or noisy data. An application to the analysis of revisions of Wikipedia articles is also considered through real data.

math.ST↗

arXiv2018

Markovian tricks for non-Markovian trees: contour process, extinction and scaling limits

In this work, we study a family of non-Markovian trees modeling populations where individuals live and reproduce independently with possibly time-dependent birth-rate and lifetime distribution. To this end, we use the coding process introduced by Lambert. We show that, in our situation, this process is no longer a L{é}vy process but remains a Feller process and we give a complete characterization of its generator. This allows us to study the model through well-known Markov processes techniques. On one hand, introducing a scale function for such processes allows us to get necessary and sufficient conditions for extinction or non-extinction and to characterize the law of such trees conditioned on these events. On the other hand, using Lyapounov drift techniques , we get another set of, easily checkable, sufficient criteria for extinction or non-extinction and some tail estimates for the tree length. Finally, we also study scaling limits of such random trees and observe that the Bessel tree appears naturally.

math.PR↗

arXiv2017

A probabilistic approach to Dirac concentration in nonlocal models of adaptation with several resources

This work is devoted to the study of scaling limits in small mutations and large time of the solutions u^$ε$ of two deterministic models of phenotypic adaptation, where the parameter $ε$ > 0 scales the size of mutations. The first model is the so-called Lotka-Volterra parabolic PDE in R d with an arbitrary number of resources and the second one is an adaptation of the first model to a finite phenotype space. The solutions of such systems typically concentrate as Dirac masses in the limit $ε$ $\rightarrow$ 0. Our main results are, in both cases, the representation of the limits of $ε$ log u^$ε$ as solutions of variational problems and regularity results for these limits. The method mainly relies on Feynman-Kac type representations of u $ε$ and Varadhan's Lemma. Our probabilistic approach applies to multi-resources situations not covered by standard analytical methods and makes the link between variational limit problems and Hamilton-Jacobi equations with irregular Hamiltonians that arise naturally from analytical methods. The finite case presents substantial difficulties since the rate function of the associated large deviation principle has non-compact level sets. In that case, we are also able to obtain uniqueness of the solution of the variational problem and of the associated differential problem which can be interpreted as a Hamilton-Jacobi equation in finite state space.

math.PR↗

arXiv2016

Central limit theorem for supercritical binary homogeneous Crump-Mode-Jagers processes

We consider a supercritical general branching population where the lifetimes of individuals are i.i.d. with arbitrary distribution and each individual gives birth to new individuals at Poisson times independently from each others. The population counting process of such population is a known as binary homogeneous Crump-Jargers-Mode process. It is known that such processes converges almost surely when correctly renormalized. In this paper, we study the error of this convergence. To this end, we use classical renewal theory and recent works [17, 6, 5] on this model to obtain the moments of the error. Then, we can precisely study the asymptotic behaviour of these moments thanks to L{é}vy processes theory. These results in conjunction with a new decomposition of the splitting trees allow us to obtain a central limit theorem. MSC 2000 subject classifications: Primary 60J80; secondary 92D10, 60J85, 60G51, 60K15, 60F05.

math.PR↗

arXiv2016

Moments of the frequency spectrum of a splitting tree with neutral Poissonian mutations

We consider a branching population where individuals live and reproduce independently. Their lifetimes are i.i.d. and they give birth at a constant rate b. The genealogical tree spanned by this process is called a splitting tree, and the population counting process is a homogeneous, binary Crump-Mode-Jagers process. We suppose that mutations affect individuals independently at a constant rate $\θ$ during their lifetimes, under the infinite-alleles assumption: each new mutation gives a new type, called allele, to his carrier. We study the allele frequency spectrum which is the numbers A(k, t) of types represented by k alive individuals in the population at time t. Thanks to a new construction of the coalescent point process describing the genealogy of individuals in the splitting tree, we are able to compute recursively all joint factorial moments of (A(k, t)) k$\ge$1. These moments allow us to give an elementary proof of the almost sure convergence of the frequency spectrum in a supercritical splitting tree.

math.PR↗