Searcharxiv⌕ Search

arXiv subjects

Wai-Tong Louis Fan

Publications and source records attributed to Wai-Tong Louis Fan.

31 records · Page 2Linked to original sources

Stochastic PDEs on graphs as scaling limits of discrete interacting systems

Stochastic partial differential equations (SPDE) on graphs were introduced by Cerrai and Freidlin [Ann. Inst. Henri Poincaré Probab. Stat. 53 (2017) 865-899]. This class of stochastic equations in infinite dimensions provides a minimal framework for the study of the effective dynamics of much more complex systems. However, how they emerge from microscopic individual-based models is still poorly understood, partly due to complications near vertex singularities. In this work, motivated by the study of the dynamics and the genealogies of expanding populations in spatially structured environments, we obtain a new class of SPDE on graphs of Wright-Fisher type which have nontrivial boundary conditions on the vertex set. We show that these SPDE arise as scaling limits of suitably defined biased voter models (BVM), which extends the scaling limits of Durrett and Fan [Ann. Appl. Probab. 26 (2016) 456-490]. We further obtain a convergent simulation scheme for each of these SPDE in terms of a system of Itô SDEs, which is useful when the size of the BVM is too large for stochastic simulations. These give the first rigorous connection between SPDE on graphs and more discrete models, specifically, interacting particle systems and interacting SDEs. Uniform heat kernel estimates for symmetric random walks approximating diffusions on graphs are the keys to our proofs.

math.PR↗

Impossibility of consistent distance estimation from sequence lengths under the TKF91 model

We consider the problem of distance estimation under the TKF91 model of sequence evolution by insertions, deletions and substitutions on a phylogeny. In an asymptotic regime where the expected sequence lengths tend to infinity, we show that no consistent distance estimation is possible from sequence lengths alone. More formally, we establish that the distributions of pairs of sequence lengths at different distances cannot be distinguished with probability going to one.

math.PR↗

Correlation function methods for a system of annihilating Brownian particles

In this expository note we highlight the correlation function method as a unified approach in proving both hydrodynamic limits and fluctuation limits for reaction diffusion particle systems. For simplicity we focus on the case when the hydrodynamic limit is $\partial_t u=\frac{1}{2}Δu -u^2$, one of the simplest nonlinear reaction-diffusion equations. The outline of the proof follows from Chapter 4 of De Masi and Presutti [7] but to simplify the presentation, we consider reflected Brownian motion instead of reflected random walks. We also briefly mention the key ideas in proving the fluctuation result.

math.PR↗

Necessary and sufficient conditions for consistent root reconstruction in Markov models on trees

We establish necessary and sufficient conditions for consistent root reconstruction in continuous-time Markov models with countable state space on bounded-height trees. Here a root state estimator is said to be consistent if the probability that it returns to the true root state converges to 1 as the number of leaves tends to infinity. We also derive quantitative bounds on the error of reconstruction. Our results answer a question of Gascuel and Steel and have implications for ancestral sequence reconstruction in a classical evolutionary model of nucleotide insertion and deletion.

math.PR↗

Statistically consistent and computationally efficient inference of ancestral DNA sequences in the TKF91 model under dense taxon sampling

In evolutionary biology, the speciation history of living organisms is represented graphically by a phylogeny, that is, a rooted tree whose leaves correspond to current species and branchings indicate past speciation events. Phylogenies are commonly estimated from molecular sequences, such as DNA sequences, collected from the species of interest. At a high level, the idea behind this inference is simple: the further apart in the Tree of Life are two species, the greater is the number of mutations to have accumulated in their genomes since their most recent common ancestor. In order to obtain accurate estimates in phylogenetic analyses, it is standard practice to employ statistical approaches based on stochastic models of sequence evolution on a tree. For tractability, such models necessarily make simplifying assumptions about the evolutionary mechanisms involved. In particular, commonly omitted are insertions and deletions of nucleotides -- also known as indels. Properly accounting for indels in statistical phylogenetic analyses remains a major challenge in computational evolutionary biology. Here we consider the problem of reconstructing ancestral sequences on a known phylogeny in a model of sequence evolution incorporating nucleotide substitutions, insertions and deletions, specifically the classical TKF91 process. We focus on the case of dense phylogenies of bounded height, which we refer to as the taxon-rich setting, where statistical consistency is achievable. We give the first polynomial-time ancestral reconstruction algorithm with provable guarantees under constant rates of mutation. Our algorithm succeeds when the phylogeny satisfies the "big bang" condition, a necessary and sufficient condition for statistical consistency in this context.

q-bio.PE↗

Joint distribution of Busemann functions in the exactly solvable corner growth model

The 1+1 dimensional corner growth model with exponential weights is a centrally important exactly solvable model in the Kardar-Parisi-Zhang class of statistical mechanical models. While significant progress has been made on the fluctuations of the growing random shape, understanding of the optimal paths, or geodesics, is less developed. The Busemann function is a useful analytical tool for studying geodesics. This paper describes the joint distribution of the Busemann functions, simultaneously in all directions of growth. As applications of this description we derive a marked point process representation for the Busemann function across a single lattice edge and calculate some marginal distributions of Busemann functions and semi-infinite geodesics.

math.PR↗

Large Deviations for Brownian Particle Systems with Killing

Particle approximations for certain nonlinear and nonlocal reaction-diffusion equations are studied using a system of Brownian motions with killing. The system is described by a collection of i.i.d. Brownian particles where each particle is killed independently at a rate determined by the empirical sub-probability measure of the states of the particles alive. A large deviation principle (LDP) for such sub-probability measure-valued processes is established. Along the way a convenient variational representation, which is of independent interest, for expectations of nonnegative functionals of Brownian motions together with an i.i.d. sequence of random variables is established. Proof of the LDP relies on this variational representation and weak convergence arguments.

math.PR↗

Uniform in Time Interacting Particle Approximations for Nonlinear Equations of Patlak-Keller-Segel type

We study a system of interacting diffusions that models chemotaxis of biological cells or microorganisms (referred to as particles) in a chemical field that is dynamically modified through the collective contributions from the particles. Such systems of reinforced diffusions have been widely studied and their hydrodynamic limits that are nonlinear non-local partial differential equations are usually referred to as Patlak-Keller-Segel (PKS) equations. Under the so-called "quasi-stationary hypothesis" on the chemical field the limit PDE is closely related to granular media equations that have been extensively studied probabilistically in recent years. Solutions of classical PKS solutions may blow up in finite time and much of the PDE literature has been focused on understanding this blow-up phenomenon. In this work we study a modified form of the PKS equation for which global existence and uniqueness of solutions holds. Our goal is to analyze the long-time behavior of the particle system approximating the equation. We establish, under suitable conditions, uniform in time convergence of the empirical measure of particle states to the solution of the PDE. We also provide uniform in time exponential concentration bounds for rate of the above convergence under additional integrability conditions. Finally, we introduce an Euler discretization scheme for the simulation of the interacting particle system and give error bounds that show that the scheme converges uniformly in time and in the size of the particle system as the discretization parameter approaches zero.

math.PR↗

Discrete approximations to local times for reflected diffusions

We propose a discrete analogue for the boundary local time of reflected diffusions in bounded Lipschitz domains. This discrete analogue, called the discrete local time, can be effectively simulated in practice and is obtained pathwise from random walks on lattices. We establish weak convergence of the joint law of the discrete local time and the associated random walks as the lattice size decreases to zero. A cornerstone of the proof is the local central limit theorem for reflected diffusions developed in [7]. Applications of the join convergence result to PDE problems are illustrated.

math.PR↗

Genealogies in Expanding Populations

The goal of this paper is to prove rigorous results for the behavior of genealogies in a one-dimensional long range biased voter model introduced by Hallatschek and Nelson [25]. The first step, which is easily accomplished using results of Mueller and Tribe [38], is to show that when space and time are rescaled correctly, our biased voter model converges to a Wright-Fisher SPDE. A simple extension of a result of Durrett and Restrepo [18] then shows that the dual branching coalescing random walk converges to a branching Brownian motion in which particles coalesce after an exponentially distributed amount of intersection local time. Brunet et al. [8] have conjectured that genealogies in models of this type are described by the Bolthausen-Sznitman coalescent, see [39]. However, in the model we study there are no simultaneous coalescences. Our third and most significant result concerns "tracer dynamics" in which some of the initial particles in the biased voter model are labeled. We show that the joint distribution of the labeled and unlabeled particles converges to the solution of a system of stochastic partial differential equations. A new duality equation that generalizes the one Shiga [44] developed for the Wright-Fisher SPDE is the key to the proof of that result.

math.PR↗

Fluctuation limit for interacting diffusions with partial annihilations through membranes

We study fluctuations of the empirical processes of a non-equilibrium interacting particle system consisting of two species over a domain that is recently introduced in [8] and establish its functional central limit theorem. This fluctuation limit is a distribution-valued Gaussian Markov process which can be represented as a mild solution of a stochastic partial differential equation. The drift of our fluctuation limit involves a new partial differential equation with nonlinear coupled term on the interface that characterized the hydrodynamic limit of the system. The covariance structure of the Gaussian part consists two parts, one involving the spatial motion of the particles inside the domain and other involving a boundary integral term that captures the boundary interactions between two species. The key is to show that the Boltzmann-Gibbs principle holds for our non-equilibrium system. Our proof relies on generalizing the usual correlation functions to the join correlations at two different times.

math.PR↗

Functional central limit theorem for Brownian particles in domains with Robin boundary condition

We rigorously derive non-equilibrium space-time fluctuation for the particle density of a system of reflected diffusions in bounded Lipschitz domains in $\mathbb R^d$. The particles are independent and are killed by a time-dependent potential which is asymptotically proportional to the boundary local time. We generalize the functional analytic framework introduced by Kotelenez [19, 20] to deal with time-dependent perturbations. Our proof relies on Dirichlet form method rather than the machineries derived from Kotelenez's sub-martingale inequality. Our result holds for any symmetric reflected diffusion, for any bounded Lipschitz domain and for any dimension $d\geq 1$.

math.PR↗

Hydrodynamic Limits and Propagation of Chaos for Interacting Random Walks in Domains

A new non-conservative stochastic reaction-diffusion system in which two families of random walks in two adjacent domains interact near the interface is introduced and studied in this paper. Such a system can be used to model the transport of positive and negative charges in a solar cell or the population dynamics of two segregated species under competition. We show that in the macroscopic limit, the particle densities converge to the solution of a coupled nonlinear heat equations. For this, we first prove that propagation of chaos holds by establishing the uniqueness of a new BBGKY hierarchy. A local central limit theorem for reflected diffusions in bounded Lipschitz domains is also established as a crucial tool.

math.PR↗