SearcharxivSearch

arXiv subjects

Noah Forman

Publications and source records attributed to Noah Forman.

17 recordsLinked to original sources

Step by Step: Adaptive Gradient Descent for Training L-Lipschitz Neural Networks

We demonstrate that applying an eventual decay to the learning rate (LR) in empirical risk minimization (ERM), where the mean-squared-error loss is minimized using standard gradient descent (GD) for training a two-layer neural network with Lipschitz activation functions, ensures that the resulting network exhibits a high degree of Lipschitz regularity, that is, a small Lipschitz constant. Moreover, we show that this decay does not hinder the convergence rate of the empirical risk, now measured with the Huber loss, toward a critical point of the non-convex empirical risk. From these findings, we derive generalization bounds for two-layer neural networks trained with GD and a decaying LR with a sub-linear dependence on its number of trainable parameters, suggesting that the statistical behaviour of these networks is independent of overparameterization. We validate our theoretical results with a series of toy numerical experiments, where surprisingly, we observe that networks trained with constant step size GD exhibit similar learning and regularity properties to those trained with a decaying LR. This suggests that neural networks trained with standard GD may already be highly regular learners.

stat.ML

The Aldous diffusion: a stationary evolution of the Brownian CRT

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 stopping times at which the strong Markov property fails. Our construction relates to the two-parameter Chinese restaurant process, branching processes, and stable L\'evy 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.

math.PR

Ranked masses in two-parameter Fleming-Viot diffusions

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 $\alpha\in(0,1)$ and $\theta\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 $\alpha=0$. The latter diffusions are continuum limits of up-down Chinese restaurant processes.

math.PR

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

We introduce and study interval partition diffusions with Poisson--Dirichlet$(\alpha,\theta)$ stationary distribution for parameters $\alpha\in(0,1)$ and $\theta\ge 0$. This extends previous work on the cases $(\alpha,0)$ and $(\alpha,\alpha)$ and builds on our recent work on measure-valued diffusions. Our methods for dealing with general $\theta\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.

math.PR

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

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$(\alpha,\theta)$ distributions, for $\alpha\in (0,1)$ and $\theta\ge 0$. This resolves a conjecture of Feng and Sun (2010). We build on our previous work on $(\alpha,0)$- and $(\alpha,\alpha)$-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.

math.PR

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

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.

math.PR

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

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.

math.PR

Metrics on sets of interval partitions with diversity

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.

math.PR

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

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.

math.PR

Interval partition evolutions with emigration related to the Aldous diffusion

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.

math.PR

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

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 swapping 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.

math.PR

Mass-structure of weighted real trees

Rooted, weighted continuum random trees are used to describe limits of sequences of random discrete trees. Formally, they are random quadruples $(\mathcal{T},d,r,p)$, where $(\mathcal{T},d)$ is a tree-like metric space, $r\in\mathcal{T}$ is a distinguished root, and $p$ is a probability measure on this space. The underlying branching structure is carried implicitly in the metric $d$. We explore various ways of describing the interaction between branching structure and mass in $(\mathcal{T},d,r,p)$ in a way that depends on $d$ only by way of this branching structure. We introduce a notion of mass-structure equivalence and show that two rooted, weighted $\mathbb{R}$-trees are equivalent in this sense if and only if the discrete hierarchies derived by i.i.d. sampling from their weights, in a manner analogous to Kingman's paintbox, have the same distribution. We introduce a family of trees, called "interval partition trees" that serve as representatives of mass-structure equivalence classes, and which naturally represent the laws of the aforementioned hierarchies.

math.PR

A representation of exchangeable hierarchies by sampling from real trees

A hierarchy on a set $S$, also called a total partition of $S$, is a collection $\mathcal{H}$ of subsets of $S$ such that $S \in \mathcal{H}$, each singleton subset of $S$ belongs to $\mathcal{H}$, and if $A, B \in \mathcal{H}$ then $A \cap B$ equals either $A$ or $B$ or $\varnothing$. Every exchangeable random hierarchy of positive integers has the same distribution as a random hierarchy $\mathcal{H}$ associated as follows with a random real tree $\mathcal{T}$ equipped with root element $0$ and a random probability distribution $p$ on the Borel subsets of $\mathcal{T}$: given $(\mathcal{T},p)$, let $t_1,t_2, ...$ be independent and identically distributed according to $p$, and let $\mathcal{H}$ comprise all singleton subsets of $\mathbb{N}$, and every subset of the form $\{j: t_j \in F_x\}$ as $x$ ranges over $\mathcal{T}$, where $F_x$ is the fringe subtree of $\mathcal{T}$ rooted at $x$. There is also the alternative characterization: every exchangeable random hierarchy of positive integers has the same distribution as a random hierarchy $\mathcal{H}$ derived as follows from a random hierarchy $\mathscr{H}$ on $[0,1]$ and a family $(U_j)$ of IID uniform [0,1] random variables independent of $\mathscr{H}$: let $\mathcal{H}$ comprise all sets of the form $\{j: U_j \in B\}$ as $B$ ranges over the members of $\mathscr{H}$.

math.PR

Brownian bricklayer: a random space-filling curve

Let $(B(t),\,t\ge0)$ denote the standard, one-dimensional Wiener process and $(\ell(y,t);\, y\in\mathbb{R},\, t\ge0)$ its local time at level $y$ up to time $t$. Then $\big( (B(t),\, \ell(B(t),t)),\; t\ge0 \big)$ is a random path that fills the upper half-plane, covering one unit of area per unit time.

math.PR

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

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.

math.PR

Uniform control of local times of spectrally positive stable processes

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.

math.PR

The quantile transform of a simple walk

We examine a new path transform on 1-dimensional simple random walks and Brownian motion, the quantile transform. This transformation relates to identities in fluctuation theory due to Wendel, Port, Dassios and others, and to discrete and Brownian versions of Tanaka's formula. For an n-step random walk, the quantile transform reorders increments according to the value of the walk at the start of each increment. We describe the distribution of the quantile transform of a simple random walk of n steps, using a bijection to characterize the number of pre-images of each possible transformed path. We deduce, both for simple random walks and for Brownian motion, that the quantile transform has the same distribution as Vervaat's transform. For Brownian motion, the quantile transforms of the embedded simple random walks converge to a time change of the local time profile. We characterize the distribution of the local time profile, giving rise to an identity that generalizes a variant of Jeulin's description of the local time profile of a Brownian bridge or excursion.

math.PR