arXiv subjects

Nic Freeman

Publications and source records attributed to Nic Freeman.

10 recordsLinked to original sources

arXiv2025

Tightness criteria for random compact sets of cadlag paths

We give tightness criteria for random variables taking values in the space of all compact sets of cadlag real-valued paths, in terms of both the Skorohod J1 and M1 topologies. This extends earlier work motivated by the study of the Brownian web that was concerned only with continuous paths. In the M1 case, we give a natural extension of our tightness criteria which ensures that non-crossing systems of paths have weak limit points that are also non-crossing. This last result is exemplified through a rescaling of heavy tailed Poisson trees and a more general application to weaves.

math.PR↗

arXiv2023

Weaves, webs and flows

We introduce weaves, which are random sets of non-crossing c\`{a}dl\`{a}g paths that cover space-time $\overline{\mathbb{R}}\times\overline{\mathbb{R}}$. The Brownian web is one example of a weave, but a key feature of our work is that we do not assume that particle motions have any particular distribution. Rather, we present a general theory of the structure, characterization and weak convergence of weaves. We show that the space of weaves has a particularly appealing geometry, involving a partition into equivalence classes under which each equivalence class contains a pair of distinguished objects known as a web and a flow. Webs are natural generalizations of the Brownian web and the flows provide pathwise representations of stochastic flows. Moreover, there is a natural partial order on the space of weaves, characterizing the efficiency with which paths cover space-time, under which webs are precisely minimal weaves and flows are precisely maximal weaves. This structure is key to establishing weak convergence criteria for general weaves, based on weak convergence of finite collections of particle motions.

math.PR↗

arXiv2022

Skorokhod's topologies on path space

Skorokhod's J1 and M1 topologies are standard tools in proving limit theorems for stochastic processes. Motivated by applications, we extend these topologies so that they are capable of describing the convergence of a sequence of functions that are not all defined on the same domain. Traditionally, the J1 and M1 topologies are defined using time changes. Instead, we base our definitions on the point of view that the graph of a cadlag function can naturally be viewed as a compact set that is equipped with a total order. The distance between two graphs is then measured by matching points on one graph with points on the other graph in a way that respects the total order. We treat the J1 and M1 topologies in a unified framework and simplify the existing theory. We introduce a space of paths, elements of which are cadlag functions defined on an arbitrary closed subset of the real line. We show that this space is Polish and derive compactness criteria. Specialised to functions that are all defined on the same domain, this yields new proofs of known results.

math.GN↗

arXiv2018

Extensive Condensation in a model of Preferential Attachment with Fitnesses

We introduce a new model of preferential attachment with fitness, and establish a time reversed duality between the model and a system of branching-coalescing particles. Using this duality, we give a clear and concise explanation for the condensation phenomenon, in which unusually fit vertices may obtain abnormally high degree: it arises from a growth-extinction dichotomy within the branching part of the dual. We show further that the condensation is extensive. As the graph grows, unusually fit vertices become, each only for a limited time, neighbouring to a non-vanishing proportion of the current graph.

math.PR↗

arXiv2016

Branching Brownian Motion, mean curvature flow and the motion of hybrid zones

We provide a probabilistic proof of a well known connection between a special case of the Allen-Cahn equation and mean curvature flow. We then prove a corresponding result for scaling limits of the spatial $\Lambda$-Fleming-Viot process with selection, in which the selection mechanism is chosen to model what are known in population genetics as hybrid zones. Our proofs will exploit a duality with a system of branching (and coalescing) random walkers which is of some interest in its own right.

math.PR↗

arXiv2015

Branching Brownian motion and Selection in the Spatial Lambda-Fleming-Viot Process

We ask the question "when will natural selection on a gene in a spatially structured population cause a detectable trace in the patterns of genetic variation observed in the contemporary population?". We focus on the situation in which 'neighbourhood size', that is the effective local population density, is small. The genealogy relating individuals in a sample from the population is embedded in a spatial version of the ancestral selection graph and through applying a diffusive scaling to this object we show that whereas in dimensions at least three, selection is barely impeded by the spatial structure, in the most relevant dimension, $d=2$, selection must be stronger (by a factor of $\log(1/\mu)$ where $\mu$ is the neutral mutation rate) if we are to have a chance of detecting it. The case $d=1$ was handled in Etheridge et al. (2015). The mathematical interest is that although the system of branching and coalescing lineages that forms the ancestral selection graph converges to a branching Brownian motion, this reflects a delicate balance of a branching rate that grows to infinity and the instant annullation of almost all branches through coalescence caused by the strong local competition in the population.

math.PR↗

arXiv2015

The Brownian Net and Selection in the Spatial Lambda-Fleming-Viot Process

We obtain the Brownian net of Sun and Swart (2008) as the scaling limit of the paths traced out by a system of continuous (one-dimensional) space and time branching and coalescing random walks. This demonstrates a certain universality of the net, which we have not seen explored elsewhere. The walks themselves arise in a natural way as the ancestral lineages relating individuals in a sample from a biological population evolving according to the spatial Lambda-Fleming-Viot process. Our scaling reveals the effect, in dimension one, of spatial structure on the spread of a selectively advantageous gene through such a population.

math.PR↗

arXiv2014

Cluster growth in the dynamical Erd\H{o}s-R\'{e}nyi process with forest fires

We investigate the growth of clusters within the forest fire model of R\'{a}th and T\'{o}th [22]. The model is a continuous-time Markov process, similar to the dynamical Erd\H{o}s-R\'{e}nyi random graph but with the addition of so-called fires. A vertex may catch fire at any moment and, when it does so, causes all edges within its connected cluster to burn, meaning that they instantaneously disappear. Each burned edge may later reappear. We give a precise description of the process $C_t$ of the size of the cluster of a tagged vertex, in the limit as the number of vertices in the model tends to infinity. We show that $C_t$ is an explosive branching process with a time-inhomogeneous offspring distribution and instantaneous return to $1$ on each explosion. Additionally, we show that the characteristic curves used to analyse the Smoluchowski-type coagulation equations associated to the model have a probabilistic interpretation in terms of the process $C_t$.

math.PR↗

arXiv2011

The number of non-singleton blocks in Lambda-coalescents with dust

In this article we state and prove a dichotomy, which is satisfied by the number of non-singleton blocks in Lambda-coalescents which have a dust component. The dichotomy is of a similar type to two well known results, also dichotomies in the behaviour of the Lambda-coalescent, of Pitman (1999) and Schweinsberg (2000). The three dichotomies combine together to give a complete picture of the qualitative behaviour of the singleton/non-singleton blocks of the Lambda-coalescent.

math.PR↗

arXiv2011

The Segregated Lambda-coalescent

We construct an extension of the Lambda-coalescent to a spatial continuum and analyse its behaviour. Like the Lambda-coalescent, the individuals in our model can be separated into (i) a dust component and (ii) large blocks of coalesced individuals. We identify a five phase system, where our phases are defined according to changes in the qualitative behaviour of the dust and large blocks. We completely classify the phase behaviour, including necessary and sufficient conditions for the model to come down from infinity. We believe that two of our phases are new to Lambda-coalescent theory and directly reflect the incorporation of space into our model. Firstly, our semicritical phase sees a null but non-empty set of dust. In this phase the dust becomes a random fractal, of a type which is closely related to iterated function systems. Secondly, our model has a critical phase in which the coalescent comes down from infinity gradually during a bounded, deterministic time interval.

math.PR↗