Diffusions on a space of interval partitions: construction from marked Lévy processes
Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel
备注：
60 pages, 4 figures. Two supplements have been included as "ancillary files" in this arXiv submission. This is the first in a sequence of three papers that will collectively supersede arXiv:1609.06706 [math.PR]
Consider a spectrally positive Stable($1+α$) process whose jumps we interpret as lifetimes of individuals. We mark the jumps by continuous excursions assigning "sizes" varying during the lifetime. As for Crump-Mode-Jagers processes (with "characteristics"), we consider for each level the collection of individuals alive. We arrange their "sizes" at the crossing height from left to right to form an interval partition. We study the continuity and Markov properties of the interval-partition-valued process indexed by level. From the perspective of the Stable($1+α$) process, this yields new theorems of Ray-Knight-type. From the perspective of branching processes, this yields new, self-similar models with dense sets of birth and death times of (mostly short-lived) individuals. This paper feeds into projects resolving conjectures by Feng and Sun (2010) on the existence of certain measure-valued diffusions with Poisson--Dirichlet stationary laws, and by Aldous (1999) on the existence of a continuum-tree-valued diffusion.
In 1990, Bertoin constructed a measure-valued Markov process in the framework of a Bessel process of dimension between 0 and 1. In the present paper, we represent this process in a space of interval partitions. We show that this is a member of a class of interval partition diffusions introduced recently and independently by Forman, Pal, Rizzolo and Winkel using a completely different construction from spectrally positive stable Lévy processes with index between 1 and 2 and with jumps marked by squared Bessel excursions of a corresponding dimension between $-2$ and 0.
Forman et al. (2020+) constructed $(α,θ)$-interval partition evolutions for $α\in(0,1)$ and $θ\ge 0$, in which the total sums of interval lengths ("total mass") evolve as squared Bessel processes of dimension $2θ$, where $θ\ge 0$ acts as an immigration parameter. These evolutions have pseudo-stationary distributions related to regenerative Poisson--Dirichlet interval partitions. In this paper we study symmetry properties of $(α,θ)$-interval partition evolutions. Furthermore, we introduce a three-parameter family ${\rm SSIP}^{(α)}(θ_1,θ_2)$ of self-similar interval partition evolutions that hav…
We first consider interval partitions whose complements are Lebesgue-null and introduce a complete metric that induces the same topology as the Hausdorff distance (between complements). This is done using correspondences between intervals. Further restricting to interval partitions with alpha-diversity, we then adjust the metric to incorporate diversities. We show that this second metric space is Lusin. An important feature of this topology is that path-continuity in this topology implies the continuous evolution of diversities. This is important in related work on tree-valued stochastic proce…
Kingman (1978)'s representation theorem states that any exchangeable partition of $\mathbb{N}$ can be represented as a paintbox based on a random mass-partition. Similarly, any exchangeable composition (i.e. ordered partition of $\mathbb{N}$) can be represented as a paintbox based on an interval-partition (Gnedin 1997). Our first main result is that any exchangeable coalescent process (not necessarily Markovian) can be represented as a paintbox based on a random non-decreasing process valued in interval-partitions, called nested interval-partition, generalizing the notion of comb metric space …
We construct a pair of related diffusions on a space of interval partitions of the unit interval $[0,1]$ that are stationary with the Poisson-Dirichlet laws with parameters (1/2,0) and (1/2,1/2) respectively. These are two particular cases of a general construction of such processes obtained by decorating the jumps of a spectrally positive Lévy process with independent squared Bessel excursions. The processes of ranked interval lengths of our partitions are members of a two parameter family of diffusions introduced by Ethier and Kurtz (1981) and Petrov (2009). The latter diffusions are continu…
We introduce and study interval partition diffusions with Poisson--Dirichlet$(α,θ)$ stationary distribution for parameters $α\in(0,1)$ and $θ\ge 0$. This extends previous work on the cases $(α,0)$ and $(α,α)$ and builds on our recent work on measure-valued diffusions. Our methods for dealing with general $θ\ge 0$ allow us to strengthen previous work on the special cases to include initial interval partitions with dust. In contrast to the measure-valued setting, we can show that this extended process is a Feller process improving on the Hunt property established in that setting. These processes…
We introduce diffusions on a space of interval partitions of the unit interval that are stationary with the Poisson-Dirichlet laws with parameters $(α,0)$ and $(α,α)$. The construction has two steps. The first is a general construction of interval partition processes obtained previously, by decorating the jumps of a Lévy process with independent excursions. Here, we focus on the second step, which requires explicit transition kernels and what we call pseudo-stationarity. This allows us to study processes obtained from the original construction via scaling and time-change. In a sequel paper, we…
We obtain existence and uniqueness in L^p, p>1 of the solutions of a backward stochastic differential equations (BSDEs for short) driven by a marked point process, on a bounded interval. We show that the solution of the BSDE can be approximated by a finite system of deterministic differential equations. As application we address an optimal control problems for point processes of general non-Markovian type and show that BSDEs can be used to prove existence of an optimal control and to represent the value function.
Interlacing sequences resulting from an interval split-merge dynamics and the induced probability measures
Institut de Mathématiques de Toulouse, Université de Toulouse（图卢兹数学研究所，图卢兹大学；法国国家科学研究中心）；CNRS（康奈尔大学运筹信息与工程学院）；School of Operations Research and Information Engineering, Cornell University
We construct a stationary Markov process corresponding to the evolution of masses and distances of subtrees along the spine from the root to a branch point in a conjectured stationary, continuum random tree-valued diffusion that was proposed by David Aldous. As a corollary this Markov process induces a recurrent extension, with Dirichlet stationary distribution, of a Wright-Fisher diffusion for which zero is an exit boundary of the coordinate processes. This extends previous work of Pal who argued a Wright-Fisher limit for the three-mass process under the conjectured Aldous diffusion until the…
We address a class of backward stochastic differential equations on a bounded interval, where the driving noise is a marked, or multivariate, point process. Assuming that the jump times are totally inaccessible and a technical condition holds (see Assumption (A) below), we prove existence and uniqueness results under Lipschitz conditions on the coefficients. Some counter-examples show that our assumptions are indeed needed. We use a novel approach that allows reduction to a (finite or infinite) system of deterministic differential equations, thus avoiding the use of martingale representation t…
We establish two results about local times of spectrally positive stable processes. The first is a general approximation result, uniform in space and on compact time intervals, in a model where each jump of the stable process may be marked by a random path. The second gives moment control on the Hölder constant of the local times, uniformly across a compact spatial interval and in certain random time intervals. For the latter, we introduce the notion of a Lévy process restricted to a compact interval, which is a variation of Lambert's Lévy process confined in a finite interval and of Pistorius…
We show an organized form of quantum de Finetti theorem for Boolean independence. We define a Boolean analogue of easy quantum groups for the categories of interval partitions, which is a family of sequences of quantum semigroups. We construct the Haar states on those quantum semigroups. The proof of our de Finetti theorem is based on the analysis of the Haar states. [Modified]Definition of the Boolean quantum semigroups on categories of interval partitions [Delete]Classification of categories of interval partitions [Add]Proof of the positiveness of the Haar functionals (in particular they are…
We embed Duquesne and Le Gall's stable tree into a binary compact continuum random tree (CRT) in a way that solves an open problem posed by Goldschmidt and Haas. This CRT can be obtained by applying a recursive construction method of compact CRTs as presented in earlier work to a specific distribution of a random string of beads, i.e. a random interval equipped with a random discrete measure. We also express this CRT as a tree built by replacing all branch points of a stable tree by rescaled i.i.d. copies of a Ford CRT. Some of these developments are carried out in a space of infinity-marked m…
We prove that the model-free typical (in the sense of Vovk) càdlàg price paths with mildly restricted downward jumps possess quadratic variation which does not depend on the specific sequence of partitions as long as these partitions are obtained from stopping times such that the oscillations of a path on the consecutive (half-open on the right) intervals of these partitions tend (in a specified sense) to 0. Finally, we also define quasi-explicit, partition independent quantities which tend to this quadratic variation.
