Showing 1–45 of 45 results for author: Winkel, M

Unsupervised Learning of Invariance Transformations

Authors: Aleksandar Vučković, Benedikt Stock, Alexander V. Hopp, Mathias Winkel, Helmut Linde

Abstract: The need for large amounts of training data in modern machine learning is one of the biggest challenges of the field. Compared to the brain, current artificial algorithms are much less capable of learning invariance transformations and employing them to extrapolate knowledge from small sample sets. It has recently been proposed that the brain might encode perceptual invariances as approximate grap… ▽ More The need for large amounts of training data in modern machine learning is one of the biggest challenges of the field. Compared to the brain, current artificial algorithms are much less capable of learning invariance transformations and employing them to extrapolate knowledge from small sample sets. It has recently been proposed that the brain might encode perceptual invariances as approximate graph symmetries in the network of synaptic connections. Such symmetries may arise naturally through a biologically plausible process of unsupervised Hebbian learning. In the present paper, we illustrate this proposal on numerical examples, showing that invariance transformations can indeed be recovered from the structure of recurrent synaptic connections which form within a layer of feature detector neurons via a simple Hebbian learning rule. In order to numerically recover the invariance transformations from the resulting recurrent network, we develop a general algorithmic framework for finding approximate graph automorphisms. We discuss how this framework can be used to find approximate automorphisms in weighted graphs in general. △ Less

Submitted 24 July, 2023; originally announced July 2023.

The Aldous diffusion: a stationary evolution of the Brownian CRT

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: Motivated by a down-up Markov chain on cladograms, David Aldous conjectured in 1999 that there exists a "diffusion on continuum trees" whose mass partitions at any finite number of branch points evolve as Wright-Fisher diffusions with some negative mutation rates, until some branch point disappears. Building on previous work on interval-partition-valued processes, we construct this conjectured pro… ▽ More Motivated by a down-up Markov chain on cladograms, David Aldous conjectured in 1999 that there exists a "diffusion on continuum trees" whose mass partitions at any finite number of branch points evolve as Wright-Fisher diffusions with some negative mutation rates, until some branch point disappears. Building on previous work on interval-partition-valued processes, we construct this conjectured process via a consistent system of stationary evolutions of binary trees with k labeled leaves and edges decorated with interval partitions. The interval partitions are scaled Poisson-Dirichlet interval partitions whose interval lengths record subtree masses. They also possess a diversity property that captures certain distances in the continuum tree. Continuously evolving diversities give access to continuously evolving continuum tree distances. The pathwise construction allows us to study this "Aldous diffusion" in the Gromov-Hausdorff-Prokhorov space of rooted, weighted R-trees. We establish the simple Markov property and path-continuity. The Aldous diffusion is stationary with the distribution of the Brownian continuum random tree. While the Brownian CRT is a.s. binary, we show that there is a dense null set of exceptional times when the Aldous diffusion has a ternary branch point, including stop** times at which the strong Markov property fails. Our construction relates to the two-parameter Chinese restaurant process, branching processes, and stable Lévy processes, among other connections. Wright-Fisher diffusions and the aforementioned processes of Poisson-Dirichlet interval partitions arise as interesting projections of the Aldous diffusion. Finally, one can embed Aldous's stationary down-up Markov chain on cladograms in the Aldous diffusion and hence address a related conjecture by David Aldous by establishing a scaling limit theorem. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 193+vi pages, 26 figures

MSC Class: 60J80; 60J25 (Primary) 60J60; 60G18; 60C05 (Secondary)

Can the brain use waves to solve planning problems?

Authors: Henry Powell, Mathias Winkel, Alexander V. Hopp, Helmut Linde

Abstract: A variety of behaviors like spatial navigation or bodily motion can be formulated as graph traversal problems through cognitive maps. We present a neural network model which can solve such tasks and is compatible with a broad range of empirical findings about the mammalian neocortex and hippocampus. The neurons and synaptic connections in the model represent structures that can result from self-or… ▽ More A variety of behaviors like spatial navigation or bodily motion can be formulated as graph traversal problems through cognitive maps. We present a neural network model which can solve such tasks and is compatible with a broad range of empirical findings about the mammalian neocortex and hippocampus. The neurons and synaptic connections in the model represent structures that can result from self-organization into a cognitive map via Hebbian learning, i.e. into a graph in which each neuron represents a point of some abstract task-relevant manifold and the recurrent connections encode a distance metric on the manifold. Graph traversal problems are solved by wave-like activation patterns which travel through the recurrent network and guide a localized peak of activity onto a path from some starting position to a target state. △ Less

Submitted 11 October, 2021; originally announced October 2021.

Comments: 37 pages, 11 figures

Ranked masses in two-parameter Fleming-Viot diffusions

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: In previous work, we constructed Fleming--Viot-type measure-valued diffusions (and diffusions on a space of interval partitions of the unit interval $[0,1]$) that are stationary with the Poisson--Dirichlet laws with parameters $α\in(0,1)$ and $θ\geq 0$. In this paper, we complete the proof that these processes resolve a conjecture by Feng and Sun (2010) by showing that the processes of ranked atom… ▽ More In previous work, we constructed Fleming--Viot-type measure-valued diffusions (and diffusions on a space of interval partitions of the unit interval $[0,1]$) that are stationary with the Poisson--Dirichlet laws with parameters $α\in(0,1)$ and $θ\geq 0$. In this paper, we complete the proof that these processes resolve a conjecture by Feng and Sun (2010) by showing that the processes of ranked atom sizes (or of ranked interval lengths) of these diffusions are members of a two-parameter family of diffusions introduced by Petrov (2009), extending a model by Ethier and Kurtz (1981) in the case $α=0$. The latter diffusions are continuum limits of up-down Chinese restaurant processes. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Comments: 20 pages

MSC Class: 60J25; 60J60; 60G55; 60J35; 60J80

Up-down ordered Chinese restaurant processes with two-sided immigration, emigration and diffusion limits

Authors: Quan Shi, Matthias Winkel

Abstract: We introduce a three-parameter family of up-down ordered Chinese restaurant processes ${\rm PCRP}^{(α)}(θ_1,θ_2)$, $α\in(0,1)$, $θ_1,θ_2\ge 0$, generalising the two-parameter family of Rogers and Winkel. Our main result establishes self-similar diffusion limits, ${\rm SSIP}^{(α)}(θ_1,θ_2)$-evolutions generalising existing families of interval partition evolutions. We use the scaling limit approach… ▽ More We introduce a three-parameter family of up-down ordered Chinese restaurant processes ${\rm PCRP}^{(α)}(θ_1,θ_2)$, $α\in(0,1)$, $θ_1,θ_2\ge 0$, generalising the two-parameter family of Rogers and Winkel. Our main result establishes self-similar diffusion limits, ${\rm SSIP}^{(α)}(θ_1,θ_2)$-evolutions generalising existing families of interval partition evolutions. We use the scaling limit approach to extend stationarity results to the full three-parameter family, identifying an extended family of Poisson--Dirichlet interval partitions. Their ranked sequence of interval lengths has Poisson--Dirichlet distribution with parameters $α\in(0,1)$ and $θ:=θ_1+θ_2-α\ge-α$, including for the first time the usual range of $θ>-α$ rather than being restricted to $θ\ge 0$. This has applications to Fleming--Viot processes, nested interval partition evolutions and tree-valued Markov processes, notably relying on the extended parameter range. △ Less

Submitted 31 December, 2020; originally announced December 2020.

Comments: 47 pages, 3 figures

MSC Class: 60J80; 60C05; 60F17

Two-sided immigration, emigration and symmetry properties of self-similar interval partition evolutions

Authors: Quan Shi, Matthias Winkel

Abstract: 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 s… ▽ More 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 have separate left and right immigration parameters $θ_1\ge 0$ and $θ_2\ge 0$. They also have squared Bessel total mass processes of dimension $2θ$, where $θ=θ_1+θ_2-α\ge-α$ covers emigration as well as immigration. Under the constraint $\max\{θ_1,θ_2\}\geα$, we prove that an ${\rm SSIP}^{(α)}(θ_1,θ_2)$-evolution is pseudo-stationary for a new distribution on interval partitions, whose ranked sequence of lengths has Poisson--Dirichlet distribution with parameters $α$ and $θ$, but we are unable to cover all parameters without develo** a limit theory for composition-valued Markov chains, which we do in a sequel paper. △ Less

Submitted 26 November, 2020; originally announced November 2020.

Comments: 22 pages, 3 figures

MSC Class: 60J80; 60J25; 60G18

Stellar occultations enable milliarcsecond astrometry for Trans-Neptunian objects and Centaurs

Authors: F. L. Rommel, F. Braga-Ribas, J. Desmars, J. I. B. Camargo, J. L. Ortiz, B. Sicardy, R. Vieira-Martins, M. Assafin, P. Santos-Sanz, R. Duffard, E. Fernández-Valenzuela, J. Lecacheux, B. E. Morgado, G. Benedetti-Rossi, A. R. Gomes-Júnior, C. L. Pereira, D. Herald, W. Hanna, J. Bradshaw, N. Morales, J. Brimacombe, A. Burtovoi, T. Carruthers, J. R. de Barros, M. Fiori , et al. (44 additional authors not shown)

Abstract: Trans-Neptunian objects (TNOs) and Centaurs are remnants of our planetary system formation, and their physical properties have invaluable information for evolutionary theories. Stellar occultation is a ground-based method for studying these small bodies and has presented exciting results. These observations can provide precise profiles of the involved body, allowing an accurate determination of it… ▽ More Trans-Neptunian objects (TNOs) and Centaurs are remnants of our planetary system formation, and their physical properties have invaluable information for evolutionary theories. Stellar occultation is a ground-based method for studying these small bodies and has presented exciting results. These observations can provide precise profiles of the involved body, allowing an accurate determination of its size and shape. The goal is to show that even single-chord detections of TNOs allow us to measure their milliarcsecond astrometric positions in the reference frame of the Gaia second data release (DR2). Accurated ephemerides can then be generated, allowing predictions of stellar occultations with much higher reliability. We analyzed data from stellar occultations to obtain astrometric positions of the involved bodies. The events published before the Gaia era were updated so that the Gaia DR2 catalog is the reference. Previously determined sizes were used to calculate the position of the object center and its corresponding error with respect to the detected chord and the International Celestial Reference System (ICRS) propagated Gaia DR2 star position. We derive 37 precise astrometric positions for 19 TNOs and 4 Centaurs. Twenty-one of these events are presented here for the first time. Although about 68\% of our results are based on single-chord detection, most have intrinsic precision at the submilliarcsecond level. Lower limits on the diameter and shape constraints for a few bodies are also presented as valuable byproducts. Using the Gaia DR2 catalog, we show that even a single detection of a stellar occultation allows improving the object ephemeris significantly, which in turn enables predicting a future stellar occultation with high accuracy. Observational campaigns can be efficiently organized with this help, and may provide a full physical characterization of the involved object. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 16 pages, 28 figures. The manuscript was accepted and is to be published

Journal ref: A&A 644, A40 (2020)

Diffusions on a space of interval partitions: The two-parameter model

Authors: Noah Forman, Douglas Rizzolo, Quan Shi, Matthias Winkel

Abstract: 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… ▽ More 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 can be viewed as diffusions on the boundary of a branching graph of integer compositions. Indeed, by studying their infinitesimal generator on suitable quasi-symmetric functions, we relate them to diffusions obtained as scaling limits of composition-valued up-down chains. △ Less

Submitted 22 July, 2022; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: 47 pages, 8 figures. Version 3: some significant additions are made and the introduction is substantially rewritten

MSC Class: Primary 60J25; 60J60; 60J80; Secondary 60G18; 60G52; 60G55

A two-parameter family of measure-valued diffusions with Poisson-Dirichlet stationary distributions

Authors: Noah Forman, Douglas Rizzolo, Quan Shi, Matthias Winkel

Abstract: We give a pathwise construction of a two-parameter family of purely-atomic-measure-valued diffusions in which ranked masses of atoms are stationary with the Poisson-Dirichlet$(α,θ)$ distributions, for $α\in (0,1)$ and $θ\ge 0$. This resolves a conjecture of Feng and Sun (2010). We build on our previous work on $(α,0)$- and $(α,α)$-interval partition evolutions. Indeed, we first extract a self-simi… ▽ More We give a pathwise construction of a two-parameter family of purely-atomic-measure-valued diffusions in which ranked masses of atoms are stationary with the Poisson-Dirichlet$(α,θ)$ distributions, for $α\in (0,1)$ and $θ\ge 0$. This resolves a conjecture of Feng and Sun (2010). We build on our previous work on $(α,0)$- and $(α,α)$-interval partition evolutions. Indeed, we first extract a self-similar superprocess from the levels of stable processes whose jumps are decorated with squared Bessel excursions and distinct allelic types. We complete our construction by time-change and normalisation to unit mass. In a companion paper, we show that the ranked masses of the measure-valued processes evolve according to a two-parameter family of diffusions introduced by Petrov (2009), extending work of Ethier and Kurtz (1981). These ranked-mass diffusions arise as continuum limits of up-down Markov chains on Chinese restaurant processes. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 57 pages, 5 figures

MSC Class: Primary 60J68; 60J60; 60J80; Secondary 60G18; 60G52; 60G55

Journal ref: Ann. Appl. Probab. 32 (3) 2211 - 2253, 2022

A Ray-Knight representation of up-down Chinese restaurants

Authors: Dane Rogers, Matthias Winkel

Abstract: We study composition-valued continuous-time Markov chains that appear naturally in the framework of Chinese Restaurant Processes (CRPs). As time evolves, new customers arrive (up-step) and existing customers leave (down-step) at suitable rates derived from the ordered CRP of Pitman and Winkel (2009). We relate such up-down CRPs to the splitting trees of Lambert (2010) inducing spectrally positive… ▽ More We study composition-valued continuous-time Markov chains that appear naturally in the framework of Chinese Restaurant Processes (CRPs). As time evolves, new customers arrive (up-step) and existing customers leave (down-step) at suitable rates derived from the ordered CRP of Pitman and Winkel (2009). We relate such up-down CRPs to the splitting trees of Lambert (2010) inducing spectrally positive Lévy processes. Conversely, we develop theorems of Ray-Knight type to recover more general up-down CRPs from the heights of Lévy processes with jumps marked by integer-valued paths. We further establish limit theorems for the Lévy process and the integer-valued paths to connect to work by Forman et al. (2018+) on interval partition diffusions and hence to some long-standing conjectures. △ Less

Submitted 11 June, 2020; originally announced June 2020.

Comments: 23 pages, 4 figures

MSC Class: 60J80; 60G18

Diffusions on a space of interval partitions: construction from Bertoin's ${\tt BES}_0(d)$, $d\in(0,1)$

Authors: Matthias Winkel

Abstract: 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… ▽ More 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. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Comments: 12 pages, 1 figure

MSC Class: Primary 60J25; 60J60; 60J80; Secondary 60G18; 60G55

Diffusions on a space of interval partitions: Poisson-Dirichlet stationary distributions

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: 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… ▽ More 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 establish connections to diffusions on decreasing sequences introduced by Ethier and Kurtz (1981) and Petrov (2009). The latter diffusions are continuum limits of up-down Markov chains on Chinese restaurant processes. Our construction is also a step towards resolving longstanding conjectures by Feng and Sun on measure-valued Poisson-Dirichlet diffusions, and by Aldous on a continuum-tree-valued diffusion. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 50 pages, 8 figures. Following arXiv:1909.02584 [math.PR], this is the second in a sequence of three papers that will collectively supersede arXiv:1609.06706 [math.PR]

MSC Class: 60J25; 60J60; 60J80; 60G18; 60G52; 60G55

Diffusions on a space of interval partitions: construction from marked Lévy processes

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: 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… ▽ More 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. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Comments: 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]

MSC Class: 60J25; 60J60; 60J80; 60G18; 60G52; 60G55

Metrics on sets of interval partitions with diversity

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: 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… ▽ More 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 processes where diversities are branch lengths. △ Less

Submitted 3 July, 2019; originally announced July 2019.

Comments: 12 pages; this preprint generalises and supersedes the parts of arXiv:1609.06706 concerning topologies on interval partitions

Report number: MR4112769

Journal ref: Electron. Commun. Probab., Volume 25 (2020), paper no. 38, 16 pp

A recursive distribution equation for the stable tree

Authors: Nicholas Chee, Franz Rembart, Matthias Winkel

Abstract: We provide a new characterisation of Duquesne and Le Gall's $α$-stable tree, $α\in(1,2]$, as the solution of a recursive distribution equation (RDE) of the form $\mathcal{T}\overset{d}{=}g(ξ,\mathcal{T}_i, i\geq0)$, where $g$ is a concatenation operator, $ξ= (ξ_i, i\geq 0)$ a sequence of scaling factors, $\mathcal{T}_i$, $i \geq 0$, and $\mathcal{T}$ are i.i.d. trees independent of $ξ$. This gener… ▽ More We provide a new characterisation of Duquesne and Le Gall's $α$-stable tree, $α\in(1,2]$, as the solution of a recursive distribution equation (RDE) of the form $\mathcal{T}\overset{d}{=}g(ξ,\mathcal{T}_i, i\geq0)$, where $g$ is a concatenation operator, $ξ= (ξ_i, i\geq 0)$ a sequence of scaling factors, $\mathcal{T}_i$, $i \geq 0$, and $\mathcal{T}$ are i.i.d. trees independent of $ξ$. This generalises a version of the well-known characterisation of the Brownian Continuum Random Tree due to Aldous, Albenque and Goldschmidt. By relating to previous results on a rather different class of RDE, we explore the present RDE and obtain for a large class of similar RDEs that the fixpoint is unique (up to multiplication by a constant) and attractive. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Comments: 30 pages, 5 figures

MSC Class: 60 J 80; 60 J 05

Aldous diffusion I: a projective system of continuum $k$-tree evolutions

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: The Aldous diffusion is a conjectured Markov process on the space of real trees that is the continuum analogue of discrete Markov chains on binary trees. We construct this conjectured process via a consistent system of stationary evolutions of binary trees with $k$ labeled leaves and edges decorated with diffusions on a space of interval partitions constructed in previous work by the same authors.… ▽ More The Aldous diffusion is a conjectured Markov process on the space of real trees that is the continuum analogue of discrete Markov chains on binary trees. We construct this conjectured process via a consistent system of stationary evolutions of binary trees with $k$ labeled leaves and edges decorated with diffusions on a space of interval partitions constructed in previous work by the same authors. This pathwise construction allows us to study and compute path properties of the Aldous diffusion including evolutions of projected masses and distances between branch points. A key part of proving the consistency of the projective system is Rogers and Pitman's notion of intertwining. △ Less

Submitted 20 September, 2018; originally announced September 2018.

Comments: 37 pages, 7 figure, 1 table

MSC Class: 60J80

Sequential Optimization in Locally Important Dimensions

Authors: Munir A. Winkel, Jonathan W. Stallings, Curt B. Storlie, Brian J. Reich

Abstract: Optimizing an expensive, black-box function $f(\cdot)$ is challenging when its input space is high-dimensional. Sequential design frameworks first model $f(\cdot)$ with a surrogate function and then optimize an acquisition function to determine input settings to evaluate next. Optimization of both $f(\cdot)$ and the acquisition function benefit from effective dimension reduction. Global variable s… ▽ More Optimizing an expensive, black-box function $f(\cdot)$ is challenging when its input space is high-dimensional. Sequential design frameworks first model $f(\cdot)$ with a surrogate function and then optimize an acquisition function to determine input settings to evaluate next. Optimization of both $f(\cdot)$ and the acquisition function benefit from effective dimension reduction. Global variable selection detects and removes input variables that do not affect $f(\cdot)$ across the input space. Further dimension reduction may be possible if we consider local variable selection around the current optimum estimate. We develop a sequential design algorithm called Sequential Optimization in Locally Important Dimensions (SOLID) that incorporates global and local variable selection to optimize a continuous, differentiable function. SOLID performs local variable selection by comparing the surrogate's predictions in a localized region around the estimated optimum with the $p$ alternative predictions made by removing each input variable. The search space of the acquisition function is further restricted to focus only on the variables that are deemed locally active, leading to greater emphasis on refining the surrogate model in locally active dimensions. A simulation study across three test functions and an application to the Sarcos robot dataset show that SOLID outperforms conventional approaches. △ Less

Submitted 20 January, 2019; v1 submitted 27 April, 2018; originally announced April 2018.

Squared Bessel processes of positive and negative dimension embedded in Brownian local times

Authors: Jim Pitman, Matthias Winkel

Abstract: The Ray--Knight theorems show that the local time processes of various path fragments derived from a one-dimensional Brownian motion $B$ are squared Bessel processes of dimensions $0$, $2$, and $4$. It is also known that for various singular perturbations $X= |B| + μ\ell$ of a reflecting Brownian motion $|B|$ by a multiple $μ$ of its local time process $\ell$ at $0$, corresponding local time proce… ▽ More The Ray--Knight theorems show that the local time processes of various path fragments derived from a one-dimensional Brownian motion $B$ are squared Bessel processes of dimensions $0$, $2$, and $4$. It is also known that for various singular perturbations $X= |B| + μ\ell$ of a reflecting Brownian motion $|B|$ by a multiple $μ$ of its local time process $\ell$ at $0$, corresponding local time processes of $X$ are squared Bessel with other real dimension parameters, both positive and negative. Here, we embed squared Bessel processes of all real dimensions directly in the local time process of $B$. This is done by decomposing the path of $B$ into its excursions above and below a family of continuous random levels determined by the Harrison--Shepp construction of skew Brownian motion as the strong solution of an SDE driven by $B$. This embedding connects to Brownian local times a framework of point processes of squared Bessel excursions of negative dimension and associated stable processes, recently introduced by Forman, Pal, Rizzolo and Winkel to set up interval partition evolutions that arise in their approach to the Aldous diffusion on a space of continuum trees. △ Less

Submitted 19 April, 2018; originally announced April 2018.

Comments: 12 pages, 2 figures

MSC Class: 60J80

Interval partition evolutions with emigration related to the Aldous diffusion

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: 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 wh… ▽ More 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 disappearance of the branch point. In particular, the construction here yields the first stationary, Markovian projection of the conjectured diffusion. Our construction follows from that of a pair of interval partition-valued diffusions that were previously introduced by the current authors as continuum analogues of down-up chains on ordered Chinese restaurants with parameters (1/2,1/2) and (1/2,0). These two diffusions are given by an underlying Crump-Mode-Jagers branching process, respectively with or without immigration. In particular, we adapt the previous construction to build a continuum analogue of a down-up ordered Chinese restaurant process with the unusual parameters (1/2,-1/2), for which the underlying branching process has emigration. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Comments: 37 pages, 10 figures

MSC Class: 60J25; 60J80; 60J60; 60G18

Projections of the Aldous chain on binary trees: Intertwining and consistency

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: Consider the Aldous Markov chain on the space of rooted binary trees with $n$ labeled leaves in which at each transition a uniform random leaf is deleted and reattached to a uniform random edge. Now, fix $1\le k < n$ and project the leaf mass onto the subtree spanned by the first $k$ leaves. This yields a binary tree with edge weights that we call a "decorated $k$-tree with total mass $n$." We int… ▽ More Consider the Aldous Markov chain on the space of rooted binary trees with $n$ labeled leaves in which at each transition a uniform random leaf is deleted and reattached to a uniform random edge. Now, fix $1\le k < n$ and project the leaf mass onto the subtree spanned by the first $k$ leaves. This yields a binary tree with edge weights that we call a "decorated $k$-tree with total mass $n$." We introduce label swap** dynamics for the Aldous chain so that, when it runs in stationarity, the decorated $k$-trees evolve as Markov chains themselves, and are projectively consistent over $k\le n$. The construction of projectively consistent chains is a crucial step in the construction of the Aldous diffusion on continuum trees by the present authors, which is the $n\rightarrow \infty$ continuum analogue of the Aldous chain and will be taken up elsewhere. Some of our results have been generalized to Ford's alpha model trees. △ Less

Submitted 2 February, 2018; originally announced February 2018.

Comments: 30 pages, 8 figures

MSC Class: 60C05; 60J80; 60J10

Gromov-Hausdorff-Prokhorov convergence of vertex cut-trees of n-leaf Galton-Watson trees

Authors: Hui He, Matthias Winkel

Abstract: In this paper we study the vertex cut-trees of Galton-Watson trees conditioned to have $n$ leaves. This notion is a slight variation of Dieuleveut's vertex cut-tree of Galton-Watson trees conditioned to have $n$ vertices. Our main result is a joint Gromov-Hausdorff-Prokhorov convergence in the finite variance case of the Galton-Watson tree and its vertex cut-tree to Bertoin and Miermont's joint di… ▽ More In this paper we study the vertex cut-trees of Galton-Watson trees conditioned to have $n$ leaves. This notion is a slight variation of Dieuleveut's vertex cut-tree of Galton-Watson trees conditioned to have $n$ vertices. Our main result is a joint Gromov-Hausdorff-Prokhorov convergence in the finite variance case of the Galton-Watson tree and its vertex cut-tree to Bertoin and Miermont's joint distribution of the Brownian CRT and its cut-tree. The methods also apply to the infinite variance case, but the problem to strengthen Dieuleveut's and Bertoin and Miermont's Gromov-Prokhorov convergence to Gromov-Hausdorff-Prokhorov remains open for their models conditioned to have $n$ vertices. △ Less

Submitted 31 March, 2017; originally announced April 2017.

Comments: 23 pages, 2 figures

MSC Class: 60J80

A binary embedding of the stable line-breaking construction

Authors: Franz Rembart, Matthias Winkel

Abstract: 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 a… ▽ More 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 metric spaces generalising Miermont's notion of a k-marked metric space. △ Less

Submitted 7 November, 2016; originally announced November 2016.

Comments: 36 pages, 1 figure

MSC Class: 60J80

Uniform control of local times of spectrally positive stable processes

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: 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 t… ▽ More 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' doubly reflected process. We use the results of this paper to exhibit a class of path-continuous branching processes of Crump-Mode-Jagers type with continuum genealogical structure. A further motivation for this study lies in the construction of diffusion processes in spaces of interval partitions and R-trees, which we explore in forthcoming articles. △ Less

Submitted 21 September, 2016; originally announced September 2016.

Comments: 27 pages

MSC Class: 60G51; 60G52; 60J55; 60J80

Diffusions on a space of interval partitions with Poisson-Dirichlet stationary distributions

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: 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. T… ▽ More 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 continuum limits of up-down Markov chains on Chinese restaurant processes. Our construction is also a step towards describing a diffusion on the space of real trees whose existence has been conjectured by Aldous. △ Less

Submitted 21 March, 2017; v1 submitted 21 September, 2016; originally announced September 2016.

Comments: 78 pages, 8 figures

MSC Class: 60J25; 60J60; 60J80; 60G18; 60G52; 60G55

Recursive construction of continuum random trees

Authors: Franz Rembart, Matthias Winkel

Abstract: We introduce a general recursive method to construct continuum random trees (CRTs) from independent copies of a random string of beads, that is, any random interval equipped with a random discrete probability measure, and from related structures. We prove the existence of these CRTs as a new application of the fixpoint method for recursive distribution equations formalised in high generality by Al… ▽ More We introduce a general recursive method to construct continuum random trees (CRTs) from independent copies of a random string of beads, that is, any random interval equipped with a random discrete probability measure, and from related structures. We prove the existence of these CRTs as a new application of the fixpoint method for recursive distribution equations formalised in high generality by Aldous and Bandyopadhyay. We apply this recursive method to show the convergence to CRTs of various tree growth processes. We note alternative constructions of existing self-similar CRTs in the sense of Haas, Miermont and Stephenson, and we give for the first time constructions of random compact R-trees that describe the genealogies of Bertoin's self-similar growth fragmentations. In forthcoming work, we develop further applications to embedding problems for CRTs, providing a binary embedding of the stable line-breaking construction that solves an open problem of Goldschmidt and Haas. △ Less

Submitted 18 July, 2016; originally announced July 2016.

Comments: 22 pages, 1 figure

MSC Class: 60J80; 60J05

Optical conductivity of warm dense matter in wide frequency range within quantum statistical and kinetic approach

Authors: M. Veysman, G. Röpke, M. Winkel, H. Reinholz

Abstract: Fundamental properties of warm dense matter are described by the dielectric function, which gives access to the frequency-dependent electrical conductivity, absorption, emission and scattering of radiation, charged particles stop** and further macroscopic properties. Different approaches to the dielectric function and the related dynamical collision frequency are compared in a wide frequency ran… ▽ More Fundamental properties of warm dense matter are described by the dielectric function, which gives access to the frequency-dependent electrical conductivity, absorption, emission and scattering of radiation, charged particles stop** and further macroscopic properties. Different approaches to the dielectric function and the related dynamical collision frequency are compared in a wide frequency range. The high-frequency limit describing inverse bremsstrahlung and the low-frequency limit of the dc conductivity are considered. Sum rules and Kramers-Kronig relation are checked for the generalized linear response theory and the standard approach following kinetic theory. The results are discussed in application to aluminum, xenon and argon plasmas. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Comments: 25 pages, 10 figures

Journal ref: Phys. Rev. E 94, 013203 (2016)

A high-order Boris integrator

Authors: Mathias Winkel, Robert Speck, Daniel Ruprecht

Abstract: This work introduces the high-order Boris-SDC method for integrating the equations of motion for electrically charged particles in an electric and magnetic field. Boris-SDC relies on a combination of the Boris-integrator with spectral deferred corrections (SDC). SDC can be considered as preconditioned Picard iteration to compute the stages of a collocation method. In this interpretation, inverting… ▽ More This work introduces the high-order Boris-SDC method for integrating the equations of motion for electrically charged particles in an electric and magnetic field. Boris-SDC relies on a combination of the Boris-integrator with spectral deferred corrections (SDC). SDC can be considered as preconditioned Picard iteration to compute the stages of a collocation method. In this interpretation, inverting the preconditioner corresponds to a sweep with a low-order method. In Boris-SDC, the Boris method, a second-order Lorentz force integrator based on velocity-Verlet, is used as a sweeper/preconditioner. The presented method provides a generic way to extend the classical Boris integrator, which is widely used in essentially all particle-based plasma physics simulations involving magnetic fields, to a high-order method. Stability, convergence order and conservation properties of the method are demonstrated for different simulation setups. Boris-SDC reproduces the expected high order of convergence for a single particle and for the center-of-mass of a particle cloud in a Penning trap and shows good long-term energy stability. △ Less

Submitted 14 April, 2015; v1 submitted 19 September, 2014; originally announced September 2014.

Journal ref: Journal of Computational Physics 295, pp. 456-474, 2015

Invariance principles for pruning processes of Galton-Watson trees

Authors: Hui He, Matthias Winkel

Abstract: Pruning processes $(\mathcal{F}(θ),θ\geq 0)$ have been studied separately for Galton-Watson trees and for Lévy trees/forests. We establish here a limit theory that strongly connects the two studies. This solves an open problem by Abraham and Delmas, also formulated as a conjecture by Löhr, Voisin and Winter. Specifically, we show that for any sequence of Galton-Watson forests $\mathcal{F}_n$,… ▽ More Pruning processes $(\mathcal{F}(θ),θ\geq 0)$ have been studied separately for Galton-Watson trees and for Lévy trees/forests. We establish here a limit theory that strongly connects the two studies. This solves an open problem by Abraham and Delmas, also formulated as a conjecture by Löhr, Voisin and Winter. Specifically, we show that for any sequence of Galton-Watson forests $\mathcal{F}_n$, $n\geq 1$, in the domain of attraction of a Lévy forest $\mathcal{F}$, suitably scaled pruning processes $(\mathcal{F}_n(θ),θ\geq 0)$ converge in the Skorohod topology on cadlag functions with values in the space of (isometry classes of) locally compact real trees to limiting pruning processes. We separately treat pruning at branch points and pruning at edges. We apply our results to study ascension times and Kesten trees and forests. △ Less

Submitted 3 September, 2014; originally announced September 2014.

Comments: 33 pages

MSC Class: Primary 60J80; Secondary 60J25; 60F17

Nuclear astrophysics with radioactive ions at FAIR

Authors: R. Reifarth, S. Altstadt, K. Göbel, T. Heftrich, M. Heil, A. Koloczek, C. Langer, R. Plag, M. Pohl, K. Sonnabend, M. Weigand, T. Adachi, F. Aksouh, J. Al-Khalili, M. AlGarawi, S. AlGhamdi, G. Alkhazov, N. Alkhomashi, H. Alvarez-Pol, R. Alvarez-Rodriguez, V. Andreev, B. Andrei, L. Atar, T. Aumann, V. Avdeichikov , et al. (295 additional authors not shown)

Abstract: The nucleosynthesis of elements beyond iron is dominated by neutron captures in the s and r processes. However, 32 stable, proton-rich isotopes cannot be formed during those processes, because they are shielded from the s-process flow and r-process beta-decay chains. These nuclei are attributed to the p and rp process. For all those processes, current research in nuclear astrophysics addresses t… ▽ More The nucleosynthesis of elements beyond iron is dominated by neutron captures in the s and r processes. However, 32 stable, proton-rich isotopes cannot be formed during those processes, because they are shielded from the s-process flow and r-process beta-decay chains. These nuclei are attributed to the p and rp process. For all those processes, current research in nuclear astrophysics addresses the need for more precise reaction data involving radioactive isotopes. Depending on the particular reaction, direct or inverse kinematics, forward or time-reversed direction are investigated to determine or at least to constrain the desired reaction cross sections. The Facility for Antiproton and Ion Research (FAIR) will offer unique, unprecedented opportunities to investigate many of the important reactions. The high yield of radioactive isotopes, even far away from the valley of stability, allows the investigation of isotopes involved in processes as exotic as the r or rp processes. △ Less

Submitted 6 October, 2013; originally announced October 2013.

Comments: Invited Talk given at the Conference Nuclear Physice in Astrophysics VI (NPA6), Lisbon, Portugal, May 19-24 2013. To appear in the NPA6 Proceedings in Journal of Physics: Conference Series (JPCS)

Journal ref: Journal of Physics: Conference Series 665 (2016) 012044

Spines, skeletons and the Strong Law of Large Numbers for superdiffusions

Authors: Maren Eckhoff, Andreas E. Kyprianou, Matthias Winkel

Abstract: Consider a supercritical superdiffusion (X_t) on a domain D subset R^d with branching mechanism -β(x) z+α(x) z^2 + int_{(0,infty)} (e^{-yz}-1+yz) Pi(x,dy). The skeleton decomposition provides a pathwise description of the process in terms of immigration along a branching particle diffusion. We use this decomposition to derive the Strong Law of Large Numbers (SLLN) for a wide class of superdiff… ▽ More Consider a supercritical superdiffusion (X_t) on a domain D subset R^d with branching mechanism -β(x) z+α(x) z^2 + int_{(0,infty)} (e^{-yz}-1+yz) Pi(x,dy). The skeleton decomposition provides a pathwise description of the process in terms of immigration along a branching particle diffusion. We use this decomposition to derive the Strong Law of Large Numbers (SLLN) for a wide class of superdiffusions from the corresponding result for branching particle diffusions. That is, we show that for suitable test functions f and starting measures mu, < f,X_t>/P_{mu}[< f,X_t>] -> W_{infty}, P_{mu}-almost surely as t->infty, where W_{infty} is a finite, non-deterministic random variable characterised as a martingale limit. Our method is based on skeleton and spine techniques and offers structural insights into the driving force behind the SLLN for superdiffusions. The result covers many of the key examples of interest and, in particular, proves a conjecture by Fleischmann and Swart for the super-Wright-Fisher diffusion. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: 45 pages, 1 figure

MSC Class: Primary 60J68; Secondary 60J80; 60F15

Particle identification using clustering algorithms

Authors: R. Wirth, E. Fiori, B. Löher, D. Savran, J. Silva, H. Álvarez Pol, D. Cortina Gil, B. Pietras, T. Bloch, T. Kröll, E. Nácher, Á. Perea, O. Tengblad, M. Bendel, M. Dierigl, R. Gernhäuser, T. Le Bleis, M. Winkel

Abstract: A method that uses fuzzy clustering algorithms to achieve particle identification based on pulse shape analysis is presented. The fuzzy c-means clustering algorithm is used to compute mean (principal) pulse shapes induced by different particle species in an automatic and unsupervised fashion from a mixed set of data. A discrimination amplitude is proposed using these principal pulse shapes to iden… ▽ More A method that uses fuzzy clustering algorithms to achieve particle identification based on pulse shape analysis is presented. The fuzzy c-means clustering algorithm is used to compute mean (principal) pulse shapes induced by different particle species in an automatic and unsupervised fashion from a mixed set of data. A discrimination amplitude is proposed using these principal pulse shapes to identify the originating particle species of a detector pulse. Since this method does not make any assumptions about the specific features of the pulse shapes, it is very generic and suitable for multiple types of detectors. The method is applied to discriminate between photon- and proton-induced signals in CsI(Tl) scintillator detectors and the results are compared to the well-known integration method. △ Less

Submitted 5 April, 2013; originally announced April 2013.

Comments: 7 pages, 7 figures

Journal ref: Nucl. Instr. and Meth. A 717 (2013), pp. 77-82

Regenerative tree growth: Markovian embedding of fragmenters, bifurcators, and bead splitting processes

Authors: Jim Pitman, Matthias Winkel

Abstract: Some, but not all processes of the form $M_t=\exp(-ξ_t)$ for a pure-jump subordinator $ξ$ with Laplace exponent $Φ$ arise as residual mass processes of particle 1 (tagged particle) in Bertoin's partition-valued exchangeable fragmentation processes. We introduce the notion of a Markovian embedding of $M=(M_t,t\ge 0)$ in a fragmentation process, and we show that for each $Φ$, there is a unique (in d… ▽ More Some, but not all processes of the form $M_t=\exp(-ξ_t)$ for a pure-jump subordinator $ξ$ with Laplace exponent $Φ$ arise as residual mass processes of particle 1 (tagged particle) in Bertoin's partition-valued exchangeable fragmentation processes. We introduce the notion of a Markovian embedding of $M=(M_t,t\ge 0)$ in a fragmentation process, and we show that for each $Φ$, there is a unique (in distribution) binary fragmentation process in which $M$ has a Markovian embedding. The identification of the Laplace exponent $Φ^*$ of its tagged particle process $M^*$ gives rise to a symmetrisation operation $Φ\mapstoΦ^*$, which we investigate in a general study of pairs $(M,M^*)$ that coincide up to a random time and then evolve independently. We call $M$ a fragmenter and $(M,M^*)$ a bifurcator. For $α>0$, we equip the interval $R_1=[0,\int_0^{\infty}M_t^α\,dt]$ with a purely atomic probability measure $μ_1$, which captures the jump sizes of $M$ suitably placed on $R_1$. We study binary tree growth processes that in the $n$th step sample an atom (``bead'') from $μ_n$ and build $(R_{n+1},μ_{n+1})$ by replacing the atom by a rescaled independent copy of $(R_1,μ_1)$ that we tie to the position of the atom. We show that any such bead splitting process $((R_n,μ_n),n\ge1)$ converges almost surely to an $α$-self-similar continuum random tree of Haas and Miermont, in the Gromov-Hausdorff-Prohorov sense. This generalises Aldous's line-breaking construction of the Brownian continuum random tree. △ Less

Submitted 17 November, 2015; v1 submitted 2 April, 2013; originally announced April 2013.

Comments: Published at http://dx.doi.org/10.1214/14-AOP945 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP945

Journal ref: Annals of Probability 2015, Vol. 43, No. 5, 2611-2646

Hereditary tree growth and Levy forests

Authors: Thomas Duquesne, Matthias Winkel

Abstract: We introduce the notion of a hereditary property for rooted real trees and we also consider reduction of trees by a given hereditary property. Leaf-length erasure, also called trimming, is included as a special case of hereditary reduction. We only consider the metric structure of trees, and our framework is the space $\bT$ of pointed isometry classes of locally compact rooted real trees equipped… ▽ More We introduce the notion of a hereditary property for rooted real trees and we also consider reduction of trees by a given hereditary property. Leaf-length erasure, also called trimming, is included as a special case of hereditary reduction. We only consider the metric structure of trees, and our framework is the space $\bT$ of pointed isometry classes of locally compact rooted real trees equipped with the Gromov-Hausdorff distance. Some of the main results of the paper are a general tightness criterion in $\bT$ and limit theorems for growing families of trees. We apply these results to Galton-Watson trees with exponentially distributed edge lengths. This class is preserved by hereditary reduction. Then we consider families of such Galton-Watson trees that are consistent under hereditary reduction and that we call growth processes. We prove that the associated families of offspring distributions are completely characterised by the branching mechanism of a continuous-state branching process. We also prove that such growth processes converge to Levy forests. As a by-product of this convergence, we obtain a characterisation of the laws of Levy forests in terms of leaf-length erasure and we obtain invariance principles for discrete Galton-Watson trees, including the super-critical cases. △ Less

Submitted 9 November, 2012; originally announced November 2012.

Comments: 44 pages

MSC Class: 60J80

Regenerative tree growth: structural results and convergence

Authors: Jim Pitman, Douglas Rizzolo, Matthias Winkel

Abstract: We introduce regenerative tree growth processes as consistent families of random trees with n labelled leaves, n>=1, with a regenerative property at branch points. This framework includes growth processes for exchangeably labelled Markov branching trees, as well as non-exchangeable models such as the alpha-theta model, the alpha-gamma model and all restricted exchangeable models previously studied… ▽ More We introduce regenerative tree growth processes as consistent families of random trees with n labelled leaves, n>=1, with a regenerative property at branch points. This framework includes growth processes for exchangeably labelled Markov branching trees, as well as non-exchangeable models such as the alpha-theta model, the alpha-gamma model and all restricted exchangeable models previously studied. Our main structural result is a representation of the growth rule by a sigma-finite dislocation measure kappa on the set of partitions of the natural numbers extending Bertoin's notion of exchangeable dislocation measures from the setting of homogeneous fragmentations. We use this representation to establish necessary and sufficient conditions on the growth rule under which we can apply results by Haas and Miermont for unlabelled and not necessarily consistent trees to establish self-similar random trees and residual mass processes as scaling limits. While previous studies exploited some form of exchangeability, our scaling limit results here only require a regularity condition on the convergence of asymptotic frequencies under kappa, in addition to a regular variation condition. △ Less

Submitted 27 September, 2013; v1 submitted 15 July, 2012; originally announced July 2012.

Comments: 23 pages, new title, restructured, presentation improved

MSC Class: 60J80

Growth of Galton-Watson trees: immigration and lifetimes

Authors: Xiao'ou Cao, Matthias Winkel

Abstract: We study certain consistent families $(F_λ)_{λ\ge 0}$ of Galton-Watson forests with lifetimes as edge lengths and/or immigrants as progenitors of the trees in $F_λ$. Specifically, consistency here refers to the property that for each $μ\leλ$, the forest $F_μ$ has the same distribution as the subforest of $F_λ$ spanned by the black leaves in a Bernoulli leaf colouring, where each leaf of $F_λ$ is c… ▽ More We study certain consistent families $(F_λ)_{λ\ge 0}$ of Galton-Watson forests with lifetimes as edge lengths and/or immigrants as progenitors of the trees in $F_λ$. Specifically, consistency here refers to the property that for each $μ\leλ$, the forest $F_μ$ has the same distribution as the subforest of $F_λ$ spanned by the black leaves in a Bernoulli leaf colouring, where each leaf of $F_λ$ is coloured in black independently with probability $μ/λ$. The case of exponentially distributed lifetimes and no immigration was studied by Duquesne and Winkel and related to the genealogy of Markovian continuous-state branching processes. We characterise here such families in the framework of arbitrary lifetime distributions and immigration according to a renewal process, related to Sagitov's (non-Markovian) generalisation of continuous-state branching renewal processes, and similar processes with immigration. △ Less

Submitted 18 April, 2010; originally announced April 2010.

Comments: 31 pages, 2 figures

MSC Class: 60J80

Right inverses of Levy processes: the excursion measure in the general case

Authors: Mladen Savov, Matthias Winkel

Abstract: This article is about right inverses of Levy processes as first introduced by Evans in the symmetric case and later studied systematically by the present authors and their co-authors. Here we add to the existing fluctuation theory an explicit description of the excursion measure away from the (minimal) right inverse. This description unifies known formulas in the case of a positive Gaussian coeffi… ▽ More This article is about right inverses of Levy processes as first introduced by Evans in the symmetric case and later studied systematically by the present authors and their co-authors. Here we add to the existing fluctuation theory an explicit description of the excursion measure away from the (minimal) right inverse. This description unifies known formulas in the case of a positive Gaussian coefficient and in the bounded variation case. While these known formulas relate to excursions away from a point starting negative continuously, and excursions started by a jump, the present description is in terms of excursions away from the supremum continued up to a return time. In the unbounded variation case with zero Gaussian coefficient previously excluded, excursions start negative continuously, but the excursion measures away from the right inverse and away from a point are mutually singular. We also provide a new construction and a new formula for the Laplace exponent of the minimal right inverse. △ Less

Submitted 10 March, 2010; originally announced March 2010.

Comments: 12 pages

MSC Class: 60G51

Restricted exchangeable partitions and embedding of associated hierarchies in continuum random trees

Authors: Bo Chen, Matthias Winkel

Abstract: We introduce the notion of a restricted exchangeable partition of $\mathbb{N}$. We obtain integral representations, consider associated fragmentations, embeddings into continuum random trees and convergence to such limit trees. In particular, we deduce from the general theory developed here a limit result conjectured previously for Ford's alpha model and its extension, the alpha-gamma model, where… ▽ More We introduce the notion of a restricted exchangeable partition of $\mathbb{N}$. We obtain integral representations, consider associated fragmentations, embeddings into continuum random trees and convergence to such limit trees. In particular, we deduce from the general theory developed here a limit result conjectured previously for Ford's alpha model and its extension, the alpha-gamma model, where restricted exchangeability arises naturally. △ Less

Submitted 9 November, 2012; v1 submitted 30 November, 2009; originally announced November 2009.

Comments: 35 pages, 5 figures

MSC Class: 60G09; 60J80

A new family of Markov branching trees: the alpha-gamma model

Authors: Bo Chen, Daniel Ford, Matthias Winkel

Abstract: We introduce a simple tree growth process that gives rise to a new two-parameter family of discrete fragmentation trees that extends Ford's alpha model to multifurcating trees and includes the trees obtained by uniform sampling from Duquesne and Le Gall's stable continuum random tree. We call these new trees the alpha-gamma trees. In this paper, we obtain their splitting rules, dislocation measu… ▽ More We introduce a simple tree growth process that gives rise to a new two-parameter family of discrete fragmentation trees that extends Ford's alpha model to multifurcating trees and includes the trees obtained by uniform sampling from Duquesne and Le Gall's stable continuum random tree. We call these new trees the alpha-gamma trees. In this paper, we obtain their splitting rules, dislocation measures both in ranked order and in sized-biased order, and we study their limiting behaviour. △ Less

Submitted 3 July, 2008; originally announced July 2008.

Comments: 23 pages, 1 figure

MSC Class: 60J80

Regenerative tree growth: Binary self-similar continuum random trees and Poisson--Dirichlet compositions

Authors: Jim Pitman, Matthias Winkel

Abstract: We use a natural ordered extension of the Chinese Restaurant Process to grow a two-parameter family of binary self-similar continuum fragmentation trees. We provide an explicit embedding of Ford's sequence of alpha model trees in the continuum tree which we identified in a previous article as a distributional scaling limit of Ford's trees. In general, the Markov branching trees induced by the tw… ▽ More We use a natural ordered extension of the Chinese Restaurant Process to grow a two-parameter family of binary self-similar continuum fragmentation trees. We provide an explicit embedding of Ford's sequence of alpha model trees in the continuum tree which we identified in a previous article as a distributional scaling limit of Ford's trees. In general, the Markov branching trees induced by the two-parameter growth rule are not sampling consistent, so the existence of compact limiting trees cannot be deduced from previous work on the sampling consistent case. We develop here a new approach to establish such limits, based on regenerative interval partitions and the urn-model description of sampling from Dirichlet random distributions. △ Less

Submitted 25 September, 2009; v1 submitted 20 March, 2008; originally announced March 2008.

Comments: Published in at http://dx.doi.org/10.1214/08-AOP445 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP445 MSC Class: 60J80 (Primary)

Journal ref: Annals of Probability 2009, Vol. 37, No. 5, 1999-2041

Spinal partitions and invariance under re-rooting of continuum random trees

Authors: Bénédicte Haas, Jim Pitman, Matthias Winkel

Abstract: We develop some theory of spinal decompositions of discrete and continuous fragmentation trees. Specifically, we consider a coarse and a fine spinal integer partition derived from spinal tree decompositions. We prove that for a two-parameter Poisson--Dirichlet family of continuous fragmentation trees, including the stable trees of Duquesne and Le Gall, the fine partition is obtained from the coa… ▽ More We develop some theory of spinal decompositions of discrete and continuous fragmentation trees. Specifically, we consider a coarse and a fine spinal integer partition derived from spinal tree decompositions. We prove that for a two-parameter Poisson--Dirichlet family of continuous fragmentation trees, including the stable trees of Duquesne and Le Gall, the fine partition is obtained from the coarse one by shattering each of its parts independently, according to the same law. As a second application of spinal decompositions, we prove that among the continuous fragmentation trees, stable trees are the only ones whose distribution is invariant under uniform re-rooting. △ Less

Submitted 27 August, 2009; v1 submitted 24 May, 2007; originally announced May 2007.

Comments: Published in at http://dx.doi.org/10.1214/08-AOP434 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP434 MSC Class: 60J80 (Primary)

Journal ref: Annals of Probability 2009, Vol. 37, No. 4, 1381-1411

Gibbs fragmentation trees

Authors: Peter McCullagh, Jim Pitman, Matthias Winkel

Abstract: We study fragmentation trees of Gibbs type. In the binary case, we identify the most general Gibbs-type fragmentation tree with Aldous' beta-splitting model, which has an extended parameter range $β>-2$ with respect to the ${\rm beta}(β+1,β+1)$ probability distributions on which it is based. In the multifurcating case, we show that Gibbs fragmentation trees are associated with the two-parameter… ▽ More We study fragmentation trees of Gibbs type. In the binary case, we identify the most general Gibbs-type fragmentation tree with Aldous' beta-splitting model, which has an extended parameter range $β>-2$ with respect to the ${\rm beta}(β+1,β+1)$ probability distributions on which it is based. In the multifurcating case, we show that Gibbs fragmentation trees are associated with the two-parameter Poisson--Dirichlet models for exchangeable random partitions of $\mathbb {N}$, with an extended parameter range $0\leα\le1$, $θ\ge-2α$ and $α<0$, $θ=-mα$, $m\in \mathbb {N}$. △ Less

Submitted 14 November, 2008; v1 submitted 6 April, 2007; originally announced April 2007.

Comments: Published in at http://dx.doi.org/10.3150/08-BEJ134 the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ134

Journal ref: Bernoulli 2008, Vol. 14, No. 4, 988-1002

SLE and alpha-SLE driven by Levy processes

Authors: Qing-Yang Guan, Matthias Winkel

Abstract: Stochastic Loewner Evolutions (SLE) with a multiple sqrt(kappa)B of Brownian motion B as driving process are random planar curves (if kappa<=4) or growing compact sets generated by a curve (if kappa>4). We consider here more general Levy processes as driving processes and obtain evolutions expected to look like random trees or compact sets generated by trees, respectively. We show that when the… ▽ More Stochastic Loewner Evolutions (SLE) with a multiple sqrt(kappa)B of Brownian motion B as driving process are random planar curves (if kappa<=4) or growing compact sets generated by a curve (if kappa>4). We consider here more general Levy processes as driving processes and obtain evolutions expected to look like random trees or compact sets generated by trees, respectively. We show that when the driving force is of the form sqrt(kappa)B+theta^(1/alpha)S for a symmetric alpha-stable Levy process S, the cluster has zero or positive Lebesgue measure according to whether kappa<=4 or kappa>4. We also give mathematical evidence that a further phase transition at alpha=1 is attributable to the recurrence/transience dychotomy of the driving Levy process. We introduce a new class of evolutions that we call alpha-SLE. They have alpha-self-similarity properties for alpha-stable Levy driving processes. We show the phase transition at a critical coefficient theta=theta_0(alpha) analogous to the kappa=4 phase transition. △ Less

Submitted 27 June, 2006; originally announced June 2006.

Comments: 34 pages

MSC Class: 60G51; 60G52; 60H10; 60J45

Continuum tree asymptotics of discrete fragmentations and applications to phylogenetic models

Authors: Bénédicte Haas, Grégory Miermont, Jim Pitman, Matthias Winkel

Abstract: Given any regularly varying dislocation measure, we identify a natural self-similar fragmentation tree as scaling limit of discrete fragmentation trees with unit edge lengths. As an application, we obtain continuum random tree limits of Aldous's beta-splitting models and Ford's alpha models for phylogenetic trees. This confirms in a strong way that the whole trees grow at the same speed as the m… ▽ More Given any regularly varying dislocation measure, we identify a natural self-similar fragmentation tree as scaling limit of discrete fragmentation trees with unit edge lengths. As an application, we obtain continuum random tree limits of Aldous's beta-splitting models and Ford's alpha models for phylogenetic trees. This confirms in a strong way that the whole trees grow at the same speed as the mean height of a randomly chosen leaf. △ Less

Submitted 25 September, 2008; v1 submitted 15 April, 2006; originally announced April 2006.

Comments: Published in at http://dx.doi.org/10.1214/07-AOP377 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP377 MSC Class: 60J80 (Primary)

Journal ref: Annals of Probability 2008, Vol. 36, No. 5, 1790-1837

Growth of Levy trees

Authors: Thomas Duquesne, Matthias Winkel

Abstract: We construct random locally compact real trees called Levy trees that are the genealogical trees associated with continuous-state branching processes. More precisely, we define a growing family of discrete Galton-Watson trees with i.i.d. exponential branch lengths that is consistent under Bernoulli percolation on leaves; we define the Levy tree as the limit of this growing family with respect to… ▽ More We construct random locally compact real trees called Levy trees that are the genealogical trees associated with continuous-state branching processes. More precisely, we define a growing family of discrete Galton-Watson trees with i.i.d. exponential branch lengths that is consistent under Bernoulli percolation on leaves; we define the Levy tree as the limit of this growing family with respect to the Gromov-Hausdorff topology on metric spaces. This elementary approach notably includes supercritical trees and does not make use of the height process introduced by Le Gall and Le Jan to code the genealogy of (sub)critical continuous-state branching processes. We construct the mass measure of Levy trees and we give a decomposition along the ancestral subtree of a Poisson sampling directed by the mass measure. △ Less

Submitted 22 September, 2005; originally announced September 2005.

Comments: 49 pages; 1 figure

MSC Class: G22; G3

Growth of the Brownian forest

Authors: Jim Pitman, Matthias Winkel

Abstract: Trees in Brownian excursions have been studied since the late 1980s. Forests in excursions of Brownian motion above its past minimum are a natural extension of this notion. In this paper we study a forest-valued Markov process which describes the growth of the Brownian forest. The key result is a composition rule for binary Galton--Watson forests with i.i.d. exponential branch lengths. We give e… ▽ More Trees in Brownian excursions have been studied since the late 1980s. Forests in excursions of Brownian motion above its past minimum are a natural extension of this notion. In this paper we study a forest-valued Markov process which describes the growth of the Brownian forest. The key result is a composition rule for binary Galton--Watson forests with i.i.d. exponential branch lengths. We give elementary proofs of this composition rule and explain how it is intimately linked with Williams' decomposition for Brownian motion with drift. △ Less

Submitted 14 February, 2006; v1 submitted 9 April, 2004; originally announced April 2004.

Comments: Published at http://dx.doi.org/10.1214/009117905000000422 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0090 MSC Class: 60J65; 60J80 (Primary)

Journal ref: Annals of Probability 2005, Vol. 33, No. 6, 2188-2211