Showing 1–37 of 37 results for author: Ross, N

Proto-Quipper with Reversing and Control

Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Abstract: The quantum programming language Quipper supports circuit operations such as reversing and control, which allows programmers to control and reverse certain quantum circuits. In addition to these two operations, Quipper provides a function called with-computed, which can be used to program circuits of the form $g; f; g^{\dagger}$. The latter is a common pattern in quantum circuit design. One benefi… ▽ More The quantum programming language Quipper supports circuit operations such as reversing and control, which allows programmers to control and reverse certain quantum circuits. In addition to these two operations, Quipper provides a function called with-computed, which can be used to program circuits of the form $g; f; g^{\dagger}$. The latter is a common pattern in quantum circuit design. One benefit of using with-computed, as opposed to constructing the circuit $g ; f; g^{\dagger}$ directly from $g$, $f$, and $g^{\dagger}$, is that it facilitates an important optimization. Namely, if the resulting circuit is later controlled, only the circuit $f$ in the middle needs to be controlled; the circuits $g$ and $g^{\dagger}$ need not even be controllable. In this paper, we formalize a semantics for reversible and controllable circuits, using a dagger symmetric monoidal category $\mathbf{R}$ to interpret reversible circuits, and a new notion we call a controllable category $\mathbf{N}$ to interpret controllable circuits. The controllable category $\mathbf{N}$ encompasses the control and with-computed operations in Quipper. We extend the language Proto-Quipper with reversing, control and the with-computed operation. Since not all circuits are reversible and/or controllable, we use a type system with modalities to track reversibility and controllability. This generalizes the modality of Fu-Kishida-Ross-Selinger 2023. We give an abstract categorical semantics for reversing, control and with-computed, and show that the type system and operational semantics are sound with respect to this semantics. Lastly, we construct a concrete model using a generalization of biset enrichment from Fu-Kishida-Ross-Selinger 2022. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Network and interaction models for data with hierarchical granularity via fragmentation and coagulation

Authors: Lancelot F. James, Juho Lee, Nathan Ross

Abstract: We introduce a nested family of Bayesian nonparametric models for network and interaction data with a hierarchical granularity structure that naturally arises through finer and coarser population labelings. In the case of network data, the structure is easily visualized by merging and shattering vertices, while respecting the edge structure. We further develop Bayesian inference procedures for the… ▽ More We introduce a nested family of Bayesian nonparametric models for network and interaction data with a hierarchical granularity structure that naturally arises through finer and coarser population labelings. In the case of network data, the structure is easily visualized by merging and shattering vertices, while respecting the edge structure. We further develop Bayesian inference procedures for the model family, and apply them to synthetic and real data. The family provides a connection of practical and theoretical interest between the Hollywood model of Crane and Dempsey, and the generalized-gamma graphex model of Caron and Fox. A key ingredient for the construction of the family is fragmentation and coagulation duality for integer partitions, and for this we develop novel duality relations that generalize those of Pitman and Dong, Goldschmidt and Martin. The duality is also crucially used in our inferential procedures. △ Less

Submitted 9 August, 2024; originally announced August 2024.

Comments: 25 pages, 6 figures

Cutoff for the logistic SIS epidemic model with self-infection

Authors: Roxanne He, Malwina Luczak, Nathan Ross

Abstract: We study a variant of the classical Markovian logistic SIS epidemic model on a complete graph, which has the additional feature that healthy individuals can become infected without contacting an infected member of the population. This additional ``self-infection'' is used to model situations where there is an unknown source of infection or an external disease reservoir, such as an animal carrier p… ▽ More We study a variant of the classical Markovian logistic SIS epidemic model on a complete graph, which has the additional feature that healthy individuals can become infected without contacting an infected member of the population. This additional ``self-infection'' is used to model situations where there is an unknown source of infection or an external disease reservoir, such as an animal carrier population. In contrast to the classical logistic SIS epidemic model, the version with self-infection has a non-degenerate stationary distribution, and we derive precise asymptotics for the time to converge to stationarity (mixing time) as the population size becomes large. It turns out that the chain exhibits the cutoff phenomenon, which is a sharp transition in time from one to zero of the total variation distance to stationarity. We obtain the exact leading constant for the cutoff time, and show the window size is constant (optimal) order. While this result is interesting in its own right, an additional contribution of our work is that the proof illustrates a recently formalised methodology of Barbour, Brightwell and Luczak, which can be used to show cutoff via a combination of concentration of measure inequalities for the trajectory of the chain, and coupling techniques. △ Less

Submitted 27 January, 2025; v1 submitted 25 July, 2024; originally announced July 2024.

Comments: Ver2: 27 pages, additional details and discussion of related results; Ver1: 26 pages

Gaussian random field approximation via Stein's method with applications to wide random neural networks

Authors: Krishnakumar Balasubramanian, Larry Goldstein, Nathan Ross, Adil Salim

Abstract: We derive upper bounds on the Wasserstein distance ($W_1$), with respect to $\sup$-norm, between any continuous $\mathbb{R}^d$ valued random field indexed by the $n$-sphere and the Gaussian, based on Stein's method. We develop a novel Gaussian smoothing technique that allows us to transfer a bound in a smoother metric to the $W_1$ distance. The smoothing is based on covariance functions constructe… ▽ More We derive upper bounds on the Wasserstein distance ($W_1$), with respect to $\sup$-norm, between any continuous $\mathbb{R}^d$ valued random field indexed by the $n$-sphere and the Gaussian, based on Stein's method. We develop a novel Gaussian smoothing technique that allows us to transfer a bound in a smoother metric to the $W_1$ distance. The smoothing is based on covariance functions constructed using powers of Laplacian operators, designed so that the associated Gaussian process has a tractable Cameron-Martin or Reproducing Kernel Hilbert Space. This feature enables us to move beyond one dimensional interval-based index sets that were previously considered in the literature. Specializing our general result, we obtain the first bounds on the Gaussian random field approximation of wide random neural networks of any depth and Lipschitz activation functions at the random field level. Our bounds are explicitly expressed in terms of the widths of the network and moments of the random weights. We also obtain tighter bounds when the activation function has three bounded derivatives. △ Less

Submitted 30 April, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: To appear in Applied and Computational Harmonic Analysis

On the Lambek embedding and the category of product-preserving presheaves

Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Abstract: It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less well-known that if we restrict the codomain of the Yoneda embedding to the full subcategory of limit-preserving functors, then this embedding preserves colimits… ▽ More It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less well-known that if we restrict the codomain of the Yoneda embedding to the full subcategory of limit-preserving functors, then this embedding preserves colimits, while still enjoying most of the other useful properties of the Yoneda embedding. We call this modified embedding the Lambek embedding. The category of limit-preserving functors is known to be a reflective subcategory of the category of all functors, i.e., there is a left adjoint for the inclusion functor. In the literature, the existence of this left adjoint is often proved non-constructively, e.g., by an application of Freyd's adjoint functor theorem. In this paper, we provide an alternative, more constructive proof of this fact. We first explain the Lambek embedding and why it preserves coproducts. Then we review some concepts from multi-sorted algebras and observe that there is a one-to-one correspondence between product-preserving presheaves and certain multi-sorted term algebras. We provide a construction that freely turns any presheaf functor into a product-preserving one, hence giving an explicit definition of the left adjoint functor of the inclusion. Finally, we sketch how to extend our method to prove that the subcategory of limit-preserving functors is also reflective. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Proto-Quipper with dynamic lifting

Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Abstract: Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. In this paper, we extend Proto-Quipper-M with a construct called dynamic lifting, which is present in Quipper. By virtue of being a circuit description language, Proto-Quipper has two separate runtimes: circuit generation time and circuit exe… ▽ More Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. In this paper, we extend Proto-Quipper-M with a construct called dynamic lifting, which is present in Quipper. By virtue of being a circuit description language, Proto-Quipper has two separate runtimes: circuit generation time and circuit execution time. Values that are known at circuit generation time are called parameters, and values that are known at circuit execution time are called states. Dynamic lifting is an operation that enables a state, such as the result of a measurement, to be lifted to a parameter, where it can influence the generation of the next portion of the circuit. As a result, dynamic lifting enables Proto-Quipper programs to interleave classical and quantum computation. We describe the syntax of a language we call Proto-Quipper-Dyn. Its type system uses a system of modalities to keep track of the use of dynamic lifting. We also provide an operational semantics, as well as an abstract categorical semantics for dynamic lifting based on enriched category theory. We prove that both the type system and the operational semantics are sound with respect to our categorical semantics. Finally, we give some examples of Proto-Quipper-Dyn programs that make essential use of dynamic lifting. △ Less

Submitted 8 November, 2022; v1 submitted 27 April, 2022; originally announced April 2022.

A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting

Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Abstract: Quipper and Proto-Quipper are a family of quantum programming languages that, by their nature as circuit description languages, involve two runtimes: one at which the program generates a circuit and one at which the circuit is executed, normally with probabilistic results due to measurements. Accordingly, the language distinguishes two kinds of data: parameters, which are known at circuit generati… ▽ More Quipper and Proto-Quipper are a family of quantum programming languages that, by their nature as circuit description languages, involve two runtimes: one at which the program generates a circuit and one at which the circuit is executed, normally with probabilistic results due to measurements. Accordingly, the language distinguishes two kinds of data: parameters, which are known at circuit generation time, and states, which are known at circuit execution time. Sometimes, it is desirable for the results of measurements to control the generation of the next part of the circuit. Therefore, the language needs to turn states, such as measurement outcomes, into parameters, an operation we call dynamic lifting. The goal of this paper is to model this interaction between the runtimes by providing a general categorical structure enriched in what we call "bisets". We demonstrate that the biset-enriched structure achieves a proper semantics of the two runtimes and their interaction, by showing that it models a variant of Proto-Quipper with dynamic lifting. The present paper deals with the concrete categorical semantics of this language, whereas a companion paper deals with the syntax, type system, operational semantics, and abstract categorical semantics. △ Less

Submitted 15 November, 2023; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: In Proceedings QPL 2022, arXiv:2311.08375

Journal ref: EPTCS 394, 2023, pp. 302-342

Stein's method, Gaussian processes and Palm measures, with applications to queueing

Authors: A. D. Barbour, Nathan Ross, Guangqu Zheng

Abstract: We develop a general approach to Stein's method for approximating a random process in the path space $D([0,T]\to R^d)$ by a real continuous Gaussian process. We then use the approach in the context of processes that have a representation as integrals with respect to anunderlying point process, deriving a general quantitative Gaussian approximation. The error bound is expressed in terms of coupling… ▽ More We develop a general approach to Stein's method for approximating a random process in the path space $D([0,T]\to R^d)$ by a real continuous Gaussian process. We then use the approach in the context of processes that have a representation as integrals with respect to anunderlying point process, deriving a general quantitative Gaussian approximation. The error bound is expressed in terms of couplings of the original process to processes generated from the reduced Palm measures associated with the point process. As applications, we study certain $\text{GI}/\text{GI}/\infty$ queues in the "heavy traffic" regime. △ Less

Submitted 19 October, 2021; originally announced October 2021.

Comments: 40 pages

MSC Class: Primary 60G15; 60G55; secondary 60K25; 60F25

Journal ref: Ann. Appl. Probab. 33(5): 3835-3871 (2023)

Stein's method, smoothing and functional approximation

Authors: A. D. Barbour, Nathan Ross, Guangqu Zheng

Abstract: Stein's method for Gaussian process approximation can be used to bound the differences between the expectations of smooth functionals $h$ of a càdlàg random process $X$ of interest and the expectations of the same functionals of a well understood target random process $Z$ with continuous paths. Unfortunately, the class of smooth functionals for which this is easily possible is very restricted. Her… ▽ More Stein's method for Gaussian process approximation can be used to bound the differences between the expectations of smooth functionals $h$ of a càdlàg random process $X$ of interest and the expectations of the same functionals of a well understood target random process $Z$ with continuous paths. Unfortunately, the class of smooth functionals for which this is easily possible is very restricted. Here, we prove an infinite dimensional Gaussian smoothing inequality, which enables the class of functionals to be greatly expanded -- examples are Lipschitz functionals with respect to the uniform metric, and indicators of arbitrary events -- in exchange for a loss of precision in the bounds. Our inequalities are expressed in terms of the smooth test function bound, an expectation of a functional of $X$ that is closely related to classical tightness criteria, a similar expectation for $Z$, and, for the indicator of a set $K$, the probability $\mathbb{P}(Z \in K^θ\setminus K^{-θ})$ that the target process is close to the boundary of $K$. △ Less

Submitted 4 September, 2023; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: Ver 4: 33 pages, added Example 1.10, improved some details and discussion, and streamlined some notation; Ver3: 28 pages, corrected a mistake in Lemma 1.10 and added discussion and details, only superficial changes to the main result; Ver2: 21 pages, additional discussion and details; Ver1: 17 pages

Journal ref: Electronic Journal of Probability 2024, Vol. 29, paper no. 20, 1-29

Stein's method for the Poisson-Dirichlet distribution and the Ewens Sampling Formula, with applications to Wright-Fisher models

Authors: Han L. Gan, Nathan Ross

Abstract: We provide a general theorem bounding the error in the approximation of a random measure of interest--for example, the empirical population measure of types in a Wright-Fisher model--and a Dirichlet process, which is a measure having Poisson-Dirichlet distributed atoms with i.i.d. labels from a diffuse distribution. The implicit metric of the approximation theorem captures the sizes and locations… ▽ More We provide a general theorem bounding the error in the approximation of a random measure of interest--for example, the empirical population measure of types in a Wright-Fisher model--and a Dirichlet process, which is a measure having Poisson-Dirichlet distributed atoms with i.i.d. labels from a diffuse distribution. The implicit metric of the approximation theorem captures the sizes and locations of the masses, and so also yields bounds on the approximation between the masses of the measure of interest and the Poisson-Dirichlet distribution. We apply the result to bound the error in the approximation of the stationary distribution of types in the finite Wright-Fisher model with infinite-alleles mutation structure (not necessarily parent independent) by the Poisson-Dirichlet distribution. An important consequence of our result is an explicit upper bound on the total variation distance between the random partition generated by sampling from a finite Wright-Fisher stationary distribution, and the Ewens Sampling Formula. The bound is small if the sample size $n$ is much smaller than $N^{1/6}\log(N)^{-1/2}$, where $N$ is the total population size. Our analysis requires a result of separate interest, giving an explicit bound on the second moment of the number of types of a finite Wright-Fisher stationary distribution. The general approximation result follows from a new development of Stein's method for the Dirichlet process, which follows by viewing the Dirichlet process as the stationary distribution of a Fleming-Viot process, and then applying Barbour's generator approach. △ Less

Submitted 5 July, 2020; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: Ver2: 40 pages, minor revision; Ver1: 40 pages

Exponential and Laplace approximation for occupation statistics of branching random walk

Authors: Erol Peköz, Adrian Röllin, Nathan Ross

Abstract: We study occupancy counts for the critical nearest-neighbor branching random walk on the $d$-dimensional lattice, conditioned on non-extinction. For $d\geq 3$, Lalley and Zheng (2011) showed that the properly scaled joint distribution of the number of sites occupied by $j$ generation-$n$ particles, $j=1,2,\ldots$, converges in distribution as $n$ goes to infinity, to a deterministic multiple of a… ▽ More We study occupancy counts for the critical nearest-neighbor branching random walk on the $d$-dimensional lattice, conditioned on non-extinction. For $d\geq 3$, Lalley and Zheng (2011) showed that the properly scaled joint distribution of the number of sites occupied by $j$ generation-$n$ particles, $j=1,2,\ldots$, converges in distribution as $n$ goes to infinity, to a deterministic multiple of a single exponential random variable. The limiting exponential variable can be understood as the classical Yaglom limit of the total population size of generation $n$. Here we study the second order fluctuations around this limit, first, by providing a rate of convergence in the Wasserstein metric that holds for all $d\geq3$, and second, by showing that for $d\geq 7$, the weak limit of the scaled joint differences between the number of occupancy-$j$ sites and appropriate multiples of the total population size converge in the Wasserstein metric to a multivariate symmetric Laplace distribution. We also provide a rate of convergence for this latter result. △ Less

Submitted 23 April, 2020; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: Ver2: 22 pages, minor revision; Ver1: 22 pages

Local limit theorems for occupancy models

Authors: A. D. Barbour, Peter Braunsteins, Nathan Ross

Abstract: We present a rather general method for proving local limit theorems, with a good rate of convergence, for sums of dependent random variables. The method is applicable when a Stein coupling can be exhibited. Our approach involves both Stein's method for distributional approximation and Stein's method for concentration. As applications, we prove local central limit theorems with rate of convergence… ▽ More We present a rather general method for proving local limit theorems, with a good rate of convergence, for sums of dependent random variables. The method is applicable when a Stein coupling can be exhibited. Our approach involves both Stein's method for distributional approximation and Stein's method for concentration. As applications, we prove local central limit theorems with rate of convergence for the number of germs with $d$ neighbours in a germ--grain model, and the number of degree-$d$ vertices in an Erdős--Rényi random graph. In both cases, the error rate is optimal, up to logarithmic factors. △ Less

Submitted 5 July, 2020; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: Ver2: 33 pages, minor revision; Ver 1: 32 pages

The Probability of Intransitivity in Dice and Close Elections

Authors: Jan Hązła, Elchanan Mossel, Nathan Ross, Guangqu Zheng

Abstract: We study the phenomenon of intransitivity in models of dice and voting. First, we follow a recent thread of research for $n$-sided dice with pairwise ordering induced by the probability, relative to $1/2$, that a throw from one die is higher than the other. We build on a recent result of Polymath showing that three dice with i.i.d. faces drawn from the uniform distribution on $\{1,\ldots,n\}$ an… ▽ More We study the phenomenon of intransitivity in models of dice and voting. First, we follow a recent thread of research for $n$-sided dice with pairwise ordering induced by the probability, relative to $1/2$, that a throw from one die is higher than the other. We build on a recent result of Polymath showing that three dice with i.i.d. faces drawn from the uniform distribution on $\{1,\ldots,n\}$ and conditioned on the average of faces equal to $(n+1)/2$ are intransitive with asymptotic probability $1/4$. We show that if dice faces are drawn from a non-uniform continuous mean zero distribution conditioned on the average of faces equal to $0$, then three dice are transitive with high probability. We also extend our results to stationary Gaussian dice, whose faces, for example, can be the fractional Brownian increments with Hurst index $H\in(0,1)$. Second, we pose an analogous model in the context of Condorcet voting. We consider $n$ voters who rank $k$ alternatives independently and uniformly at random. The winner between each two alternatives is decided by a majority vote based on the preferences. We show that in this model, if all pairwise elections are close to tied, then the asymptotic probability of obtaining any tournament on the $k$ alternatives is equal to $2^{-k(k-1)/2}$, which markedly differs from known results in the model without conditioning. We also explore the Condorcet voting model where methods other than simple majority are used for pairwise elections. We investigate some natural definitions of "close to tied" for general functions and exhibit an example where the distribution over tournaments is not uniform under those definitions. △ Less

Submitted 13 August, 2020; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: Ver3: 45 pages, additional details and clarifications; Ver2: 43 pages, additional co-author, major revision; Ver1: 23 pages

Journal ref: Probability Theory and Related Fields (2020)

Central moment inequalities using Stein's method

Authors: A. D. Barbour, Nathan Ross, Yuting Wen

Abstract: We derive explicit central moment inequalities for random variables that admit a Stein coupling, such as exchangeable pairs, size--bias couplings or local dependence, among others. The bounds are in terms of moments (not necessarily central) of variables in the Stein coupling, which are typically local in some sense, and therefore easier to bound. In cases where the Stein couplings have the kind o… ▽ More We derive explicit central moment inequalities for random variables that admit a Stein coupling, such as exchangeable pairs, size--bias couplings or local dependence, among others. The bounds are in terms of moments (not necessarily central) of variables in the Stein coupling, which are typically local in some sense, and therefore easier to bound. In cases where the Stein couplings have the kind of behaviour leading to good normal approximation, the central moments are closely bounded by those of a normal. We show how the bounds can be used to produce concentration inequalities, and compare them to those existing in related settings. Finally, we illustrate the power of the theory by bounding the central moments of sums of neighbourhood statistics in sparse Erdős--Rényi random graphs. △ Less

Submitted 5 July, 2020; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: Ver 3: 25 pages, added a reference and details; Ver 2: 24 pages, additional discussion; Ver1: 21 pages

Approximating stationary distributions of fast mixing Glauber dynamics, with applications to exponential random graphs

Authors: Gesine Reinert, Nathan Ross

Abstract: We provide a general bound on the Wasserstein distance between two arbitrary distributions of sequences of Bernoulli random variables. The bound is in terms of a mixing quantity for the Glauber dynamics of one of the sequences, and a simple expectation of the other. The result is applied to estimate, with explicit error, expectations of functions of random vectors for some Ising models and exponen… ▽ More We provide a general bound on the Wasserstein distance between two arbitrary distributions of sequences of Bernoulli random variables. The bound is in terms of a mixing quantity for the Glauber dynamics of one of the sequences, and a simple expectation of the other. The result is applied to estimate, with explicit error, expectations of functions of random vectors for some Ising models and exponential random graphs in "high temperature" regimes. △ Less

Submitted 11 October, 2018; v1 submitted 15 December, 2017; originally announced December 2017.

Comments: Ver3: 24 pages, major revision with new results; Ver2: updated reference; Ver1: 19 pages, 1 figure

MSC Class: 60B10; 05C80

Error bounds in local limit theorems using Stein's method

Authors: A. D. Barbour, Adrian Röllin, Nathan Ross

Abstract: We provide a general result for bounding the difference between point probabilities of integer supported distributions and the translated Poisson distribution, a convenient alternative to the discretized normal. We illustrate our theorem in the context of the Hoeffding combinatorial central limit theorem with integer valued summands, of the number of isolated vertices in an Erdős-Rényi random grap… ▽ More We provide a general result for bounding the difference between point probabilities of integer supported distributions and the translated Poisson distribution, a convenient alternative to the discretized normal. We illustrate our theorem in the context of the Hoeffding combinatorial central limit theorem with integer valued summands, of the number of isolated vertices in an Erdős-Rényi random graph, and of the Curie-Weiss model of magnetism, where we provide optimal or near optimal rates of convergence in the local limit metric. In the Hoeffding example, even the discrete normal approximation bounds seem to be new. The general result follows from Stein's method, and requires a new bound on the Stein solution for the Poisson distribution, which is of general interest. △ Less

Submitted 1 December, 2017; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: Ver2: 28 pages, minor revision; Ver1: 27 pages

Scaling limits for some random trees constructed inhomogeneously

Authors: Nathan Ross, Yuting Wen

Abstract: We define some new sequences of recursively constructed random combinatorial trees, and show that, after properly rescaling graph distance and equipping the trees with the uniform measure on vertices, each sequence converges almost surely to a real tree in the Gromov-Hausdorff-Prokhorov sense. The limiting real trees are constructed via line-breaking the real half-line with a Poisson process havin… ▽ More We define some new sequences of recursively constructed random combinatorial trees, and show that, after properly rescaling graph distance and equipping the trees with the uniform measure on vertices, each sequence converges almost surely to a real tree in the Gromov-Hausdorff-Prokhorov sense. The limiting real trees are constructed via line-breaking the real half-line with a Poisson process having rate $(\ell+1)t^\ell dt$, for each positive integer $\ell$, and the growth of the combinatorial trees may be viewed as an inhomogeneous generalization of Rémy's algorithm. △ Less

Submitted 4 November, 2016; originally announced November 2016.

Comments: 31 pages

MSC Class: 60C05; 05C10

Pólya urns with immigration at random times

Authors: Erol Peköz, Adrian Röllin, Nathan Ross

Abstract: We study the number of white balls in a classical Pólya urn model with the additional feature that, at random times, a black ball is added to the urn. The number of draws between these random times are i.i.d. and, under certain moment conditions on the inter-arrival distribution, we characterize the limiting distribution of the (properly scaled) number of white balls as the number of draws goes to… ▽ More We study the number of white balls in a classical Pólya urn model with the additional feature that, at random times, a black ball is added to the urn. The number of draws between these random times are i.i.d. and, under certain moment conditions on the inter-arrival distribution, we characterize the limiting distribution of the (properly scaled) number of white balls as the number of draws goes to infinity. The possible limiting distributions obtained in this way vary considerably depending on the inter-arrival distribution and are difficult to describe explicitly. However, we show that the limits are fixed points of certain probabilistic distributional transformations, and this fact provides a proof of convergence and leads to properties of the limits. The model can alternatively be viewed as a preferential attachment random graph model where added vertices initially have a random number of edges, and from this perspective, our results describe the limit of the degree of a fixed vertex. △ Less

Submitted 4 September, 2017; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: Ver2: 26 pages, additional discussion and references; Ver1: 23 pages

Wireless network signals with moderately correlated shadowing still appear Poisson

Authors: Nathan Ross, Dominic Schuhmacher

Abstract: We consider the point process of signal strengths emitted from transmitters in a wireless network and observed at a fixed position. In our model, transmitters are placed deterministically or randomly according to a hard core or Poisson point process and signals are subjected to power law path loss and random propagation effects that may be correlated between transmitters. We provide bounds on th… ▽ More We consider the point process of signal strengths emitted from transmitters in a wireless network and observed at a fixed position. In our model, transmitters are placed deterministically or randomly according to a hard core or Poisson point process and signals are subjected to power law path loss and random propagation effects that may be correlated between transmitters. We provide bounds on the distance between the point process of signal strengths and a Poisson process with the same mean measure, assuming correlated log-normal shadowing. For "strong shadowing" and moderate correlations, we find that the signal strengths are close to a Poisson process, generalizing a recently shown analogous result for independent shadowing. △ Less

Submitted 3 October, 2016; v1 submitted 18 June, 2016; originally announced June 2016.

Comments: Ver2: 41 pages, expanded discussion, references, and simulations; Ver1: 38 pages

Stronger wireless signals appear more Poisson

Authors: Paul Keeler, Nathan Ross, Aihua Xia, Bartlomiej Blaszczyszyn

Abstract: Keeler, Ross and Xia (2016) recently derived approximation and convergence results, which imply that the point process formed from the signal strengths received by an observer in a wireless network under a general statistical propagation model can be modelled by an inhomogeneous Poisson point process on the positive real line. The basic requirement for the results to apply is that there must be a… ▽ More Keeler, Ross and Xia (2016) recently derived approximation and convergence results, which imply that the point process formed from the signal strengths received by an observer in a wireless network under a general statistical propagation model can be modelled by an inhomogeneous Poisson point process on the positive real line. The basic requirement for the results to apply is that there must be a large number of transmitters with different locations and random propagation effects.The aim of this note is to apply some of the main results of Keeler, Ross and Xia (2016) in a less general but more easily applicable form to illustrate how the results can be applied in practice. New results are derived that show that it is the strongest signals, after being weakened by random propagation effects, that behave like a Poisson process, which supports recent experimental work. △ Less

Submitted 20 June, 2016; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 7 pages with 1.5 line spacing

MSC Class: 60G55

Journal ref: IEEE wireless communications letters, 2016

Dirichlet approximation of equilibrium distributions in Cannings models with mutation

Authors: H. L. Gan, Adrian Röllin, Nathan Ross

Abstract: Consider a haploid population of fixed finite size with a finite number of allele types and having Cannings exchangeable genealogy with neutral mutation. The stationary distribution of the Markov chain of allele counts in each generation is an important quantity in population genetics but has no tractable description in general. We provide upper bounds on the distributional distance between the Di… ▽ More Consider a haploid population of fixed finite size with a finite number of allele types and having Cannings exchangeable genealogy with neutral mutation. The stationary distribution of the Markov chain of allele counts in each generation is an important quantity in population genetics but has no tractable description in general. We provide upper bounds on the distributional distance between the Dirichlet distribution and this finite population stationary distribution for the Wright-Fisher genealogy with general mutation structure and the Cannings exchangeable genealogy with parent independent mutation structure. In the first case, the bound is small if the population is large and the mutations do not depend too much on parent type; "too much" is naturally quantified by our bound. In the second case, the bound is small if the population is large and the chance of three-mergers in the Cannings genealogy is small relative to the chance of two-mergers; this is the same condition to ensure convergence of the genealogy to Kingman's coalescent. These results follow from a new development of Stein's method for the Dirichlet distribution based on Barbour's generator approach and a probabilistic description of the semigroup of the Wright-Fisher diffusion due to Griffiths, and Li and Tavaré. △ Less

Submitted 8 December, 2016; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: Ver3: 30 pages, additions, clarifications, and corrections to proofs; main results slightly strengthened; Ver2: 26 pages, added bounds for convex set indicator metric; Ver1: 22 pages

Shotgun assembly of labeled graphs

Authors: Elchanan Mossel, Nathan Ross

Abstract: We consider the problem of reconstructing graphs or labeled graphs from neighborhoods of a given radius r. Special instances of this problem include the well known: DNA shotgun assembly; the lesser-known: neural network reconstruction; and a new problem: assembling random jigsaw puzzles. We provide some necessary and some sufficient conditions for correct recovery both in combinatorial terms and f… ▽ More We consider the problem of reconstructing graphs or labeled graphs from neighborhoods of a given radius r. Special instances of this problem include the well known: DNA shotgun assembly; the lesser-known: neural network reconstruction; and a new problem: assembling random jigsaw puzzles. We provide some necessary and some sufficient conditions for correct recovery both in combinatorial terms and for some generative models including random labelings of lattices, Erdos-Renyi random graphs, and the random jigsaw puzzle model. Many open problems and conjectures are provided. △ Less

Submitted 18 August, 2022; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: Ver3: 23 pages, matches published version but with a corrected proof of Theorem 4.5 (result unchanged); Ver2: 22 pages; Ver1: 21 pages

Journal ref: IEEE Transactions on Network Science and Engineering, vol. 6, no. 2, pp. 145-157, 2019

When do wireless network signals appear Poisson?

Authors: Holger Paul Keeler, Nathan Ross, Aihua Xia

Abstract: We consider the point process of signal strengths from transmitters in a wireless network observed from a fixed position under models with general signal path loss and random propagation effects. We show via coupling arguments that under general conditions this point process of signal strengths can be well-approximated by an inhomogeneous Poisson or a Cox point processes on the positive real line.… ▽ More We consider the point process of signal strengths from transmitters in a wireless network observed from a fixed position under models with general signal path loss and random propagation effects. We show via coupling arguments that under general conditions this point process of signal strengths can be well-approximated by an inhomogeneous Poisson or a Cox point processes on the positive real line. We also provide some bounds on the total variation distance between the laws of these point processes and both Poisson and Cox point processes. Under appropriate conditions, these results support the use of a spatial Poisson point process for the underlying positioning of transmitters in models of wireless networks, even if in reality the positioning does not appear Poisson. We apply the results to a number of models with popular choices for positioning of transmitters, path loss functions, and distributions of propagation effects. △ Less

Submitted 13 November, 2014; originally announced November 2014.

Comments: 20 pages

Joint degree distributions of preferential attachment random graphs

Authors: Erol A. Peköz, Adrian Röllin, Nathan Ross

Abstract: We study the joint degree counts in proportional attachment random graphs and find a simple representation for the limit distribution in infinite sequence space. We show weak convergence with respect to the p-norm topology for appropriate p and also provide optimal rates of convergence of the finite dimensional distributions. The results hold for models with any general initial seed graph and any… ▽ More We study the joint degree counts in proportional attachment random graphs and find a simple representation for the limit distribution in infinite sequence space. We show weak convergence with respect to the p-norm topology for appropriate p and also provide optimal rates of convergence of the finite dimensional distributions. The results hold for models with any general initial seed graph and any fixed number of initial outgoing edges per vertex; we generate non-tree graphs using both a lumping and a sequential rule. Convergence of the order statistics and optimal rates of convergence to the maximum of the degrees is also established. △ Less

Submitted 8 December, 2016; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 20 pages

MSC Class: 60F05; 60B12; 05C80

Can one hear the shape of a population history?

Authors: Junhyong Kim, Elchanan Mossel, Miklós Z. Rácz, Nathan Ross

Abstract: Reconstructing past population size from present day genetic data is a major goal of population genetics. Recent empirical studies infer population size history using coalescent-based models applied to a small number of individuals. Here we provide tight bounds on the amount of exact coalescence time data needed to recover the population size history of a single, panmictic population at a certain… ▽ More Reconstructing past population size from present day genetic data is a major goal of population genetics. Recent empirical studies infer population size history using coalescent-based models applied to a small number of individuals. Here we provide tight bounds on the amount of exact coalescence time data needed to recover the population size history of a single, panmictic population at a certain level of accuracy. In practice, coalescence times are estimated from sequence data and so our lower bounds should be taken as rather conservative. △ Less

Submitted 29 September, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: 22 pages, 7 figures; v2 is significantly revised from v1

Generalized gamma approximation with rates for urns, walks and trees

Authors: Erol A. Peköz, Adrian Röllin, Nathan Ross

Abstract: We study a new class of time inhomogeneous Pólya-type urn schemes and give optimal rates of convergence for the distribution of the properly scaled number of balls of a given color to nearly the full class of generalized gamma distributions with integer parameters, a class which includes the Rayleigh, half-normal and gamma distributions. Our main tool is Stein's method combined with characterizing… ▽ More We study a new class of time inhomogeneous Pólya-type urn schemes and give optimal rates of convergence for the distribution of the properly scaled number of balls of a given color to nearly the full class of generalized gamma distributions with integer parameters, a class which includes the Rayleigh, half-normal and gamma distributions. Our main tool is Stein's method combined with characterizing the generalized gamma limiting distributions as fixed points of distributional transformations related to the equilibrium distributional transformation from renewal theory. We identify special cases of these urn models in recursive constructions of random walk paths and trees, yielding rates of convergence for local time and height statistics of simple random walk paths, as well as for the size of random subtrees of uniformly random binary and plane trees. △ Less

Submitted 27 June, 2016; v1 submitted 17 September, 2013; originally announced September 2013.

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

Report number: IMS-AOP-AOP1010

Journal ref: Annals of Probability 2016, Vol. 44, No. 3, 1776-1816

Entropy of Some Models of Sparse Random Graphs With Vertex-Names

Authors: David J. Aldous, Nathan Ross

Abstract: Consider the setting of sparse graphs on N vertices, where the vertices have distinct "names", which are strings of length O(log N) from a fixed finite alphabet. For many natural probability models, the entropy grows as cN log N for some model-dependent rate constant c. The mathematical content of this paper is the (often easy) calculation of c for a variety of models, in particular for various st… ▽ More Consider the setting of sparse graphs on N vertices, where the vertices have distinct "names", which are strings of length O(log N) from a fixed finite alphabet. For many natural probability models, the entropy grows as cN log N for some model-dependent rate constant c. The mathematical content of this paper is the (often easy) calculation of c for a variety of models, in particular for various standard random graph models adapted to this setting. Our broader purpose is to publicize this particular setting as a natural setting for future theoretical study of data compression for graphs, and (more speculatively) for discussion of unorganized versus organized complexity. △ Less

Submitted 2 January, 2013; originally announced January 2013.

Comments: 31 pages

MSC Class: 05C80; 60C05; 94A24

Journal ref: Prob. Eng. Inf. Sci. 28 (2014) 145-168

Power laws in preferential attachment graphs and Stein's method for the negative binomial distribution

Authors: Nathan Ross

Abstract: For a family of linear preferential attachment graphs, we provide rates of convergence for the total variation distance between the degree of a randomly chosen vertex and an appropriate power law distribution as the number of vertices tends to infinity. Our proof uses a new formulation of Stein's method for the negative binomial distribution, which stems from a distributional transformation that h… ▽ More For a family of linear preferential attachment graphs, we provide rates of convergence for the total variation distance between the degree of a randomly chosen vertex and an appropriate power law distribution as the number of vertices tends to infinity. Our proof uses a new formulation of Stein's method for the negative binomial distribution, which stems from a distributional transformation that has the negative binomial distributions as the only fixed points. △ Less

Submitted 7 August, 2012; originally announced August 2012.

Comments: 25 pages

Exponential approximation and Stein's method of exchangeable pairs

Authors: Jason Fulman, Nathan Ross

Abstract: We derive a new result for exponential approximation using Stein's method of exchangeable pairs. As an application, an exponential limit theorem with error term is derived for |Tr(U)|^2, where Tr(U) denotes the trace of a matrix chosen from the Haar measure of the unitary group U(n,C). We derive a new result for exponential approximation using Stein's method of exchangeable pairs. As an application, an exponential limit theorem with error term is derived for |Tr(U)|^2, where Tr(U) denotes the trace of a matrix chosen from the Haar measure of the unitary group U(n,C). △ Less

Submitted 20 July, 2012; originally announced July 2012.

Comments: 14 pages

Archimedes, Gauss, and Stein

Authors: Jim Pitman, Nathan Ross

Abstract: We discuss a characterization of the centered Gaussian distribution which can be read from results of Archimedes and Maxwell, and relate it to Charles Stein's well-known characterization of the same distribution. These characterizations fit into a more general framework involving the beta-gamma algebra, which explains some other characterizations appearing in the Stein's method literature. We discuss a characterization of the centered Gaussian distribution which can be read from results of Archimedes and Maxwell, and relate it to Charles Stein's well-known characterization of the same distribution. These characterizations fit into a more general framework involving the beta-gamma algebra, which explains some other characterizations appearing in the Stein's method literature. △ Less

Submitted 20 January, 2012; originally announced January 2012.

Comments: 13 pages, 2 figures

Fundamentals of Stein's method

Authors: Nathan Ross

Abstract: This survey article discusses the main concepts and techniques of Stein's method for distributional approximation by the normal, Poisson, exponential, and geometric distributions, and also its relation to concentration inequalities. The material is presented at a level accessible to beginning graduate students studying probability with the main emphasis on the themes that are common to these topic… ▽ More This survey article discusses the main concepts and techniques of Stein's method for distributional approximation by the normal, Poisson, exponential, and geometric distributions, and also its relation to concentration inequalities. The material is presented at a level accessible to beginning graduate students studying probability with the main emphasis on the themes that are common to these topics and also to much of the Stein's method literature. △ Less

Submitted 8 September, 2011; originally announced September 2011.

Comments: 86 pages

Degree asymptotics with rates for preferential attachment random graphs

Authors: Erol A. Peköz, Adrian Röllin, Nathan Ross

Abstract: We provide optimal rates of convergence to the asymptotic distribution of the (properly scaled) degree of a fixed vertex in two preferential attachment random graph models. Our approach is to show that these distributions are unique fixed points of certain distributional transformations which allows us to obtain rates of convergence using a new variation of Stein's method. Despite the large litera… ▽ More We provide optimal rates of convergence to the asymptotic distribution of the (properly scaled) degree of a fixed vertex in two preferential attachment random graph models. Our approach is to show that these distributions are unique fixed points of certain distributional transformations which allows us to obtain rates of convergence using a new variation of Stein's method. Despite the large literature on these models, there is surprisingly little known about the limiting distributions so we also provide some properties and new representations, including an explicit expression for the densities in terms of the confluent hypergeometric function of the second kind. △ Less

Submitted 14 March, 2013; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: Published in at http://dx.doi.org/10.1214/12-AAP868 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP868

Journal ref: Annals of Applied Probability 2013, Vol. 23, No. 3, 1188-1218

Convex minorants of random walks and Lévy processes

Authors: Josh Abramson, Jim Pitman, Nathan Ross, Gerónimo Uribe Bravo

Abstract: This article provides an overview of recent work on descriptions and properties of the convex minorant of random walks and Lévy processes which summarize and extend the literature on these subjects. The results surveyed include point process descriptions of the convex minorant of random walks and Lévy processes on a fixed finite interval, up to an independent exponential time, and in the infinit… ▽ More This article provides an overview of recent work on descriptions and properties of the convex minorant of random walks and Lévy processes which summarize and extend the literature on these subjects. The results surveyed include point process descriptions of the convex minorant of random walks and Lévy processes on a fixed finite interval, up to an independent exponential time, and in the infinite horizon case. These descriptions follow from the invariance of these processes under an adequate path transformation. In the case of Brownian motion, we note how further special properties of this process, including time-inversion, imply a sequential description for the convex minorant of the Brownian meander. △ Less

Submitted 3 February, 2011; originally announced February 2011.

Comments: 11 pages, 5 figures

MSC Class: 60G50; 60G51

Journal ref: Electronic Communications in Probability 2011 Vol. 16 p. 423-434

Local limit theorems via Landau-Kolmogorov inequalities

Authors: Adrian Röllin, Nathan Ross

Abstract: In this article, we prove new inequalities between some common probability metrics. Using these inequalities, we obtain novel local limit theorems for the magnetization in the Curie-Weiss model at high temperature, the number of triangles and isolated vertices in Erdős-Rényi random graphs, as well as the independence number in a geometric random graph. We also give upper bounds on the rates of con… ▽ More In this article, we prove new inequalities between some common probability metrics. Using these inequalities, we obtain novel local limit theorems for the magnetization in the Curie-Weiss model at high temperature, the number of triangles and isolated vertices in Erdős-Rényi random graphs, as well as the independence number in a geometric random graph. We also give upper bounds on the rates of convergence for these local limit theorems and also for some other probability metrics. Our proofs are based on the Landau-Kolmogorov inequalities and new smoothing techniques. △ Less

Submitted 2 June, 2015; v1 submitted 12 November, 2010; originally announced November 2010.

Comments: Published at http://dx.doi.org/10.3150/13-BEJ590 in 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-BEJ590

Journal ref: Bernoulli 2015, Vol. 21, No. 2, 851-880

The greatest convex minorant of Brownian motion, meander, and bridge

Authors: Jim Pitman, Nathan Ross

Abstract: This article contains both a point process and a sequential description of the greatest convex minorant of Brownian motion on a finite interval. We use these descriptions to provide new analysis of various features of the convex minorant such as the set of times where the Brownian motion meets its minorant. The equivalence of the these descriptions is non-trivial, which leads to many interesting i… ▽ More This article contains both a point process and a sequential description of the greatest convex minorant of Brownian motion on a finite interval. We use these descriptions to provide new analysis of various features of the convex minorant such as the set of times where the Brownian motion meets its minorant. The equivalence of the these descriptions is non-trivial, which leads to many interesting identities between quantities derived from our analysis. The sequential description can be viewed as a Markov chain for which we derive some fundamental properties. △ Less

Submitted 12 November, 2010; originally announced November 2010.

Comments: 36 pages, 2 figures

Total variation error bounds for geometric approximation

Authors: Erol A. Peköz, Adrian Röllin, Nathan Ross

Abstract: We develop a new formulation of Stein's method to obtain computable upper bounds on the total variation distance between the geometric distribution and a distribution of interest. Our framework reduces the problem to the construction of a coupling between the original distribution and the "discrete equilibrium" distribution from renewal theory. We illustrate the approach in four non-trivial exampl… ▽ More We develop a new formulation of Stein's method to obtain computable upper bounds on the total variation distance between the geometric distribution and a distribution of interest. Our framework reduces the problem to the construction of a coupling between the original distribution and the "discrete equilibrium" distribution from renewal theory. We illustrate the approach in four non-trivial examples: the geometric sum of independent, non-negative, integer-valued random variables having common mean, the generation size of the critical Galton-Watson process conditioned on non-extinction, the in-degree of a randomly chosen node in the uniform attachment random graph model and the total degree of both a fixed and randomly chosen node in the preferential attachment random graph model. △ Less

Submitted 20 March, 2013; v1 submitted 16 May, 2010; originally announced May 2010.

Comments: Published in at http://dx.doi.org/10.3150/11-BEJ406 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-BEJ406

Journal ref: Bernoulli 2013, Vol. 19, No. 2, 610-632

Step Size in Stein's Method of Exchangeable Pairs

Authors: Nathan Ross

Abstract: Stein's method of exchangeable pairs is examined through five examples in relation to Poisson and normal distribution approximation. In particular, in the case where the exchangeable pair is constructed from a reversible Markov chain, we analyze how modifying the step size of the chain in a natural way affects the error term in the approximation acquired through Stein's method. It has been noted… ▽ More Stein's method of exchangeable pairs is examined through five examples in relation to Poisson and normal distribution approximation. In particular, in the case where the exchangeable pair is constructed from a reversible Markov chain, we analyze how modifying the step size of the chain in a natural way affects the error term in the approximation acquired through Stein's method. It has been noted for the normal approximation that smaller step sizes may yield better bounds, and we obtain the first rigorous results that verify this intuition. For the examples associated to the normal distribution, the bound on the error is expressed in terms of the spectrum of the underlying chain, a characteristic of the chain related to convergence rates. The Poisson approximation using exchangeable pairs is less studied than the normal, but in the examples presented here the same principles hold. △ Less

Submitted 1 April, 2009; originally announced April 2009.

Comments: 37 pages