Showing 1–50 of 52 results for author: Penrose, M D

On the components of random geometric graphs in the dense limit

Authors: Mathew D. Penrose, Xiaochuan Yang

Abstract: Consider the geometric graph on $n$ independent uniform random points in a connected compact region $A$ of ${\bf R}^d, d \geq 2$ with $C^2$ boundary, or in the unit square, with distance parameter $r_n$. Let $K_n$ be the number of components of this graph, and $R_n$ the number of vertices not in the giant component. Let $S_n$ be the number of isolated vertices. We show that if $r_n$ is chosen so t… ▽ More Consider the geometric graph on $n$ independent uniform random points in a connected compact region $A$ of ${\bf R}^d, d \geq 2$ with $C^2$ boundary, or in the unit square, with distance parameter $r_n$. Let $K_n$ be the number of components of this graph, and $R_n$ the number of vertices not in the giant component. Let $S_n$ be the number of isolated vertices. We show that if $r_n$ is chosen so that $nr_n^d$ tends to infinity but slowly enough that ${\bf E}[S_n]$ also tends to infinity, then $K_n$, $R_n$ and $S_n$ are all asymptotic to $μ_n$ in probability as $n \to \infty$ where (with $|A|$, $θ_d$ and $|\partial A|$ denoting the volume of $A$, of the unit $d$-ball, and the perimeter of $A$ respectively) $μ_n := ne^{-πn r_n^d/|A|}$ if $d=2$ and $μ_n := ne^{-θ_d n r_n^d/|A|} + θ_{d-1}^{-1} |\partial A| r_n^{1-d} e^{- θ_d n r_n^d/(2|A|)}$ if $d\geq 3$. We also give variance asymptotics and central limit theorems for $K_n$ and $R_n$ in this limiting regime when $d \geq 3$, and for Poisson input with $d \geq 2$. We extend these results (substituting ${\bf E}[S_n]$ for $μ_n$) to a class of non-uniform distributions on $A$. △ Less

Submitted 16 January, 2025; v1 submitted 5 January, 2025; originally announced January 2025.

Comments: 49 pages, 1 figure

MSC Class: 60D05; 60F05; 60F25; 05C80

Largest Component and Sharpness in Subcritical Continuum Percolation

Authors: Niclas Küpper, Mathew D. Penrose

Abstract: We investigate the behavior of large connected components in the Random Connection Model in the subcritical regime with any bounded connection function. We show that the asymptotic size of the largest component restricted to a window is the log of the volume of that window. We adopt methods from the discrete setting, including a sharpness result. We investigate the behavior of large connected components in the Random Connection Model in the subcritical regime with any bounded connection function. We show that the asymptotic size of the largest component restricted to a window is the log of the volume of that window. We adopt methods from the discrete setting, including a sharpness result. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Fluctuations of the connectivity threshold and largest nearest-neighbour link

Authors: Mathew D. Penrose, Xiaochuan Yang

Abstract: Consider a random uniform sample of $n$ points in a compact region $A$ of Euclidean $d$-space, $d \geq 2$, with a smooth or (when $d=2$) polygonal boundary. Fix $k \in {\bf N}$. Let $T_{n,k}$ be the threshold $r$ at which the geometric graph on these $n$ vertices with distance parameter $r$ becomes $k$-connected. We show that if $d=2$ then $n (π/|A|) T_{n,1}^2 - \log n$ is asymptotically standard… ▽ More Consider a random uniform sample of $n$ points in a compact region $A$ of Euclidean $d$-space, $d \geq 2$, with a smooth or (when $d=2$) polygonal boundary. Fix $k \in {\bf N}$. Let $T_{n,k}$ be the threshold $r$ at which the geometric graph on these $n$ vertices with distance parameter $r$ becomes $k$-connected. We show that if $d=2$ then $n (π/|A|) T_{n,1}^2 - \log n$ is asymptotically standard Gumbel. For $(d,k) \neq (2,1)$, it is $n (θ_d/|A|) T_{n,k}^d - (2-2/d) \log n - (4-2k-2/d) \log \log n$ that converges in distribution to a nondegenerate limit, where $θ_d$ is the volume of the unit ball. The limit is Gumbel with scale parameter 2 except when $(d,k)=(2,2)$ where the limit is two component extreme value distributed. The different cases reflect the fact that boundary effects are more more important in some cases than others. We also give similar results for the largest $k$-nearest neighbour link $U_{n,k}$ in the sample, and show $T_{n,k}=U_{n,k}$ with high probability. We provide estimates on rates of convergence and give similar results for Poisson samples in $A$. Finally, we give similar results even for non-uniform samples, with a less explicit sequence of centring constants. △ Less

Submitted 17 July, 2024; v1 submitted 2 June, 2024; originally announced June 2024.

Comments: 39 pages, 3 figures. Various minor corrections and clarifications of v1

MSC Class: 60D05

Random coverage from within with variable radii, and Johnson-Mehl cover times

Authors: Mathew D. Penrose, Frankie Higgs

Abstract: Given a compact planar region $A$, let $τ_A$ be the (random) time it takes for $A$ to be fully covered by a spatial birth-growth process in $A$ with seeds arriving as a unit-intensity Poisson point process in $A \times [0,\infty)$, where upon arrival each seed grows at unit rate in all directions. We show that if $\partial A$ is smooth or polygonal then… ▽ More Given a compact planar region $A$, let $τ_A$ be the (random) time it takes for $A$ to be fully covered by a spatial birth-growth process in $A$ with seeds arriving as a unit-intensity Poisson point process in $A \times [0,\infty)$, where upon arrival each seed grows at unit rate in all directions. We show that if $\partial A$ is smooth or polygonal then $\Pr [ πτ_{sA}^3 - 6 \log s - 4 \log \log s \leq x]$ tends to $\exp(- (\frac{81}{4π})^{1/3} |A|e^{-x/3} - (\frac{9}{2π^2})^{1/3} |\partial A| e^{-x/6})$ in the large-$s$ limit; the second term in the exponent is due to boundary effects, the importance of which was not recognized in earlier work on this model. We present similar results in higher dimensions (where boundary effects dominate). These results are derived using new results on the asymptotic probability of covering $A$ with a high-intensity spherical Poisson Boolean model restricted to $A$ with grains having iid small random radii, which generalize recent work of the first author that dealt only with grains of deterministic radius. △ Less

Submitted 3 October, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: 46 pages, 4 figures

MSC Class: 60D05; 60F05; 60G70; 60G55

On the rate of convergence in the Hall-Janson coverage theorem

Authors: Mathew D. Penrose, Xiaochuan Yang

Abstract: Consider a spherical Poisson Boolean model $Z$ in Euclidean $d$-space with $d \geq 2$, with Poisson intensity $t$ and radii distributed like $rY$ with $r \geq 0$ a scaling parameter and $Y$ a fixed nonnegative random variable with finite $(2d-2)$-nd moment (or if $d=2$, a finite $(2 + \varepsilon)$-moment condition for some $\varepsilon >0$). Let $A \subset {\bf R}^d$ be compact with a nice bounda… ▽ More Consider a spherical Poisson Boolean model $Z$ in Euclidean $d$-space with $d \geq 2$, with Poisson intensity $t$ and radii distributed like $rY$ with $r \geq 0$ a scaling parameter and $Y$ a fixed nonnegative random variable with finite $(2d-2)$-nd moment (or if $d=2$, a finite $(2 + \varepsilon)$-moment condition for some $\varepsilon >0$). Let $A \subset {\bf R}^d$ be compact with a nice boundary. Let $α$ be the expected volume of a ball of radius $Y$, and suppose $r=r(t)$ is chosen so that $αt r^d - \log t - (d-1) \log \log t$ is a constant independent of $t$. A classical result of Hall and of Janson determines the (non-trivial) large-$t$ limit of the probability that $A$ is fully covered by $Z$. In this paper we provide an $O((\log \log t)/\log t)$ bound on the rate of convergence in that result. With a slight adjustment to $r(t)$, this can be improved to $O(1/\log t)$. △ Less

Submitted 26 June, 2024; v1 submitted 26 May, 2024; originally announced May 2024.

Comments: 23 pages. Substantial update of earlier versions, so as to incorporate k-coverage for general fixed k

MSC Class: 60D05

Covering one point process with another

Authors: Frankie Higgs, Mathew D. Penrose, Xiaochuan Yang

Abstract: Let $X_1,X_2, \ldots $ and $Y_1, Y_2, \ldots$ be i.i.d. random uniform points in a bounded domain $A \subset \mathbb{R}^2$ with smooth or polygonal boundary. Given $n,m,k \in \mathbb{N}$, define the {\em two-sample $k$-coverage threshold} $R_{n,m,k}$ to be the smallest $r$ such that each point of $ \{Y_1,\ldots,Y_m\}$ is covered at least $k$ times by the disks of radius $r$ centred on… ▽ More Let $X_1,X_2, \ldots $ and $Y_1, Y_2, \ldots$ be i.i.d. random uniform points in a bounded domain $A \subset \mathbb{R}^2$ with smooth or polygonal boundary. Given $n,m,k \in \mathbb{N}$, define the {\em two-sample $k$-coverage threshold} $R_{n,m,k}$ to be the smallest $r$ such that each point of $ \{Y_1,\ldots,Y_m\}$ is covered at least $k$ times by the disks of radius $r$ centred on $X_1,\ldots,X_n$. We obtain the limiting distribution of $R_{n,m,k}$ as $n \to \infty$ with $m= m(n) \sim τn$ for some constant $τ>0$, with $k $ fixed. If $A$ has unit area, then $n πR_{n,m(n),1}^2 - \log n$ is asymptotically Gumbel distributed with scale parameter $1$ and location parameter $\log τ$. For $k >2$, we find that $n πR_{n,m(n),k}^2 - \log n - (2k-3) \log \log n$ is asymptotically Gumbel with scale parameter $2$ and a more complicated location parameter involving the perimeter of $A$; boundary effects dominate when $k >2$. For $k=2$ the limiting cdf is a two-component extreme value distribution with scale parameters 1 and 2. We also give analogous results for higher dimensions, where the boundary effects dominate for all $k$. △ Less

Submitted 15 January, 2025; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: 35 pages, 6 figures

MSC Class: 60D05; 60F05; 60F15

Largest nearest-neighbour link and connectivity threshold in a polytopal random sample

Authors: Mathew D. Penrose, Xiaochuan Yang

Abstract: Let $X_1,X_2, \ldots $ be independent identically distributed random points in a convex polytopal domain $A \subset \mathbb{R}^d$. Define the largest nearest neighbour link $L_n$ to be the smallest $r$ such that every point of $\mathcal X_n:=\{X_1,\ldots,X_n\}$ has another such point within distance $r$. We obtain a strong law of large numbers for $L_n$ in the large-$n$ limit. A related threshold,… ▽ More Let $X_1,X_2, \ldots $ be independent identically distributed random points in a convex polytopal domain $A \subset \mathbb{R}^d$. Define the largest nearest neighbour link $L_n$ to be the smallest $r$ such that every point of $\mathcal X_n:=\{X_1,\ldots,X_n\}$ has another such point within distance $r$. We obtain a strong law of large numbers for $L_n$ in the large-$n$ limit. A related threshold, the connectivity threshold $M_n$, is the smallest $r$ such that the random geometric graph $G(\mathcal X_n, r)$ is connected. We show that as $n \to \infty$, almost surely $nL_n^d/\log n$ tends to a limit that depends on the geometry of $A$, and $nM_n^d/\log n$ tends to the same limit. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Comments: 26 pages

MSC Class: 60D05; 60F15; 05C80

On $k$-clusters of high-intensity random geometric graphs

Authors: Mathew D. Penrose, Xiaochuan Yang

Abstract: Let $k,d $ be positive integers. We determine a sequence of constants that are asymptotic to the probability that the cluster at the origin in a $d$-dimensional Poisson Boolean model with balls of fixed radius is of order $k$, as the intensity becomes large. Using this, we determine the asymptotics of the mean of the number of components of order $k$, denoted $S_{n,k}$ in a random geometric graph… ▽ More Let $k,d $ be positive integers. We determine a sequence of constants that are asymptotic to the probability that the cluster at the origin in a $d$-dimensional Poisson Boolean model with balls of fixed radius is of order $k$, as the intensity becomes large. Using this, we determine the asymptotics of the mean of the number of components of order $k$, denoted $S_{n,k}$ in a random geometric graph on $n$ uniformly distributed vertices in a smoothly bounded compact region of $R^d$, with distance parameter $r(n)$ chosen so that the expected degree grows slowly as $n$ becomes large (the so-called mildly dense limiting regime). We also show that the variance of $S_{n,k}$ is asymptotic to its mean, and prove Poisson and normal approximation results for $S_{n,k}$ in this limiting regime. We provide analogous results for the corresponding Poisson process (i.e. with a Poisson number of points). We also give similar results in the so-called mildly sparse limiting regime where $r(n)$ is chosen so the expected degree decays slowly to zero as $n $ becomes large. △ Less

Submitted 9 April, 2025; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 41 pages, 3 figures

MSC Class: 05C80; 60K35

Giant component of the soft random geometric graph

Authors: Mathew D. Penrose

Abstract: Consider a 2-dimensional soft random geometric graph $G(λ,s,φ)$, obtained by placing a Poisson($λs^2$) number of vertices uniformly at random in a square of side $s$, with edges placed between each pair $x,y$ of vertices with probability $φ(\|x-y\|)$, where $φ: {\bf R}_+ \to [0,1]$ is a finite-range connection function. This paper is concerned with the asymptotic behaviour of the graph $G(λ,s,φ)$… ▽ More Consider a 2-dimensional soft random geometric graph $G(λ,s,φ)$, obtained by placing a Poisson($λs^2$) number of vertices uniformly at random in a square of side $s$, with edges placed between each pair $x,y$ of vertices with probability $φ(\|x-y\|)$, where $φ: {\bf R}_+ \to [0,1]$ is a finite-range connection function. This paper is concerned with the asymptotic behaviour of the graph $G(λ,s,φ)$ in the large-$s$ limit with $(λ,φ)$ fixed. We prove that the proportion of vertices in the largest component converges in probability to the percolation probability for the corresponding random connection model, which is a random graph defined similarly for a Poisson process on the whole plane. We do not cover the case where $λ$ equals the critical value $λ_c(φ)$. △ Less

Submitted 22 April, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 10 pages, 1 figure

MSC Class: 60C05; 60D05; 60K35

Random Euclidean coverage from within

Authors: Mathew D. Penrose

Abstract: Let $X_1,X_2, \ldots $ be independent random uniform points in a bounded domain $A \subset \mathbb{R}^d$ with smooth boundary. Define the coverage threshold $R_n$ to be the smallest $r$ such that $A$ is covered by the balls of radius $r$ centred on $X_1,\ldots,X_n$. We obtain the limiting distribution of $R_n$ and also a strong law of large numbers for $R_n$ in the large-$n$ limit. For example, if… ▽ More Let $X_1,X_2, \ldots $ be independent random uniform points in a bounded domain $A \subset \mathbb{R}^d$ with smooth boundary. Define the coverage threshold $R_n$ to be the smallest $r$ such that $A$ is covered by the balls of radius $r$ centred on $X_1,\ldots,X_n$. We obtain the limiting distribution of $R_n$ and also a strong law of large numbers for $R_n$ in the large-$n$ limit. For example, if $A$ has volume 1 and perimeter $|\partial A|$, if $d=3$ then $\Pr[nπR_n^3 - \log n - 2 \log (\log n) \leq x]$ converges to $\exp(-2^{-4}π^{5/3} |\partial A| e^{-2 x/3})$ and $(n πR_n^3)/(\log n) \to 1$ almost surely, and if $d=2$ then $\Pr[n πR_n^2 - \log n - \log (\log n) \leq x]$ converges to $\exp(- e^{-x}- |\partial A|π^{-1/2} e^{-x/2})$. We give similar results for general $d$, and also for the case where $A$ is a polytope. We also generalize to allow for multiple coverage. The analysis relies on classical results by Hall and by Janson, along with a careful treatment of boundary effects. For the strong laws of large numbers, we can relax the requirement that the underlying density on $A$ be uniform. △ Less

Submitted 11 January, 2022; v1 submitted 15 January, 2021; originally announced January 2021.

Comments: 67 pages, 4 figures

MSC Class: 60D05; 60F05; 60F15

Limit theory of combinatorial optimization for random geometric graphs

Authors: Dieter Mitsche, Mathew D. Penrose

Abstract: In the random geometric graph $G(n,r_n)$, $n$ vertices are placed randomly in Euclidean $d$-space and edges are added between any pair of vertices distant at most $r_n$ from each other. We establish strong laws of large numbers (LLNs) for a large class of graph parameters, evaluated for $G(n,r_n)$ in the thermodynamic limit with $nr_n^d =$ const., and also in the dense limit with… ▽ More In the random geometric graph $G(n,r_n)$, $n$ vertices are placed randomly in Euclidean $d$-space and edges are added between any pair of vertices distant at most $r_n$ from each other. We establish strong laws of large numbers (LLNs) for a large class of graph parameters, evaluated for $G(n,r_n)$ in the thermodynamic limit with $nr_n^d =$ const., and also in the dense limit with $n r_n^d \to \infty$, $r_n \to 0$. Examples include domination number, independence number, clique-covering number, eternal domination number and triangle packing number. The general theory is based on certain subadditivity and superadditivity properties, and also yields LLNs for other functionals such as the minimum weight for the travelling salesman, spanning tree, matching, bipartite matching and bipartite travelling salesman problems, for a general class of weight functions with at most polynomial growth of order $d-\varepsilon$, under thermodynamic scaling of the distance parameter. △ Less

Submitted 26 June, 2020; originally announced June 2020.

Comments: 64 pages

Leaves on the line and in the plane

Authors: Mathew D. Penrose

Abstract: The Dead Leaves Model (DLM) provides a random tessellation of $d$-space, representing the visible portions of fallen leaves on the ground when $d=2$. For $d=1$, we establish formulae for the intensity, two-point correlations, and asymptotic covariances for the point process of cell boundaries, along with a functional CLT. For $d=2$ we establish analogous results for the random surface measure of c… ▽ More The Dead Leaves Model (DLM) provides a random tessellation of $d$-space, representing the visible portions of fallen leaves on the ground when $d=2$. For $d=1$, we establish formulae for the intensity, two-point correlations, and asymptotic covariances for the point process of cell boundaries, along with a functional CLT. For $d=2$ we establish analogous results for the random surface measure of cell boundaries, and also determine the intensity of cells in a more general setting than in earlier work of Cowan and Tsang. We introduce a general notion of Dead Leaves Random Measures and give formulae for means, asymptotic variances and functional CLTs for these measures; this has applications to various other quantities associated with the DLM. △ Less

Submitted 10 April, 2020; v1 submitted 10 June, 2018; originally announced June 2018.

Comments: 53 pages, 3 figures

MSC Class: 60D05; 60G57; 60G55; 60F05; 82C22

Optimal Cheeger cuts and bisections of random geometric graphs

Authors: Tobias Müller, Mathew D. Penrose

Abstract: Let $d \geq 2$. The Cheeger constant of a graph is the minimum surface-to-volume ratio of all subsets of the vertex set with relative volume at most 1/2. There are several ways to define surface and volume here: the simplest method is to count boundary edges (for the surface) and vertices (for the volume). We show that for a geometric (possibly weighted) graph on $n$ random points in a $d$-dimensi… ▽ More Let $d \geq 2$. The Cheeger constant of a graph is the minimum surface-to-volume ratio of all subsets of the vertex set with relative volume at most 1/2. There are several ways to define surface and volume here: the simplest method is to count boundary edges (for the surface) and vertices (for the volume). We show that for a geometric (possibly weighted) graph on $n$ random points in a $d$-dimensional domain with Lipschitz boundary and with distance parameter decaying more slowly (as a function of $n$) than the connectivity threshold, the Cheeger constant (under several possible definitions of surface and volume), also known as conductance, suitably rescaled, converges for large $n$ to an analogous Cheeger-type constant of the domain. Previously, García Trillos {\em et al.} had shown this for $d \geq 3$ but had required an extra condition on the distance parameter when $d=2$. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 33 pages

MSC Class: 05C80 (Primary) 60D05; 62H30 (Secondary)

On the critical threshold for continuum AB percolation

Authors: David Dereudre, Mathew D. Penrose

Abstract: Consider a bipartite random geometric graph on the union of two independent homogeneous Poisson point processes in $d$-space, with distance parameter $r$ and intensities $λ,μ$. For any $λ>0$ we consider the percolation threshold $μ_c(λ)$ associated to the parameter $μ$. Denoting by $λ_c:= λ_c(2r)$ the percolation threshold for the standard Poisson Boolean model with radii $r$, we show the lower bo… ▽ More Consider a bipartite random geometric graph on the union of two independent homogeneous Poisson point processes in $d$-space, with distance parameter $r$ and intensities $λ,μ$. For any $λ>0$ we consider the percolation threshold $μ_c(λ)$ associated to the parameter $μ$. Denoting by $λ_c:= λ_c(2r)$ the percolation threshold for the standard Poisson Boolean model with radii $r$, we show the lower bound $μ_c(λ)\ge c\log(c/(λ-λ_c))$ for any $λ>λ_c$ with $c>0$ a fixed constant. In particular, $μ_c(λ)$ tends to infinity when $λ$ tends to $λ_c$ from above. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 12 pages, 3 figures

MSC Class: 60D05; 60K35; 82B43

Journal ref: J. Appl. Probab. 55 (2018) 1228-1237

Non-triviality of the vacancy phase transition for the Boolean model

Authors: Mathew D. Penrose

Abstract: In the spherical Poisson Boolean model, one takes the union of random balls centred on the points of a Poisson process in Euclidean $d$-space with $d \geq 2$. We prove that whenever the radius distribution has a finite $d$-th moment, there exists a strictly positive value for the intensity such that the vacant region percolates. In the spherical Poisson Boolean model, one takes the union of random balls centred on the points of a Poisson process in Euclidean $d$-space with $d \geq 2$. We prove that whenever the radius distribution has a finite $d$-th moment, there exists a strictly positive value for the intensity such that the vacant region percolates. △ Less

Submitted 23 July, 2018; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 11 pages

MSC Class: 60K35; 60G55; 82B43

On the capacity functional of the infinite cluster of a Boolean model

Authors: Günter Last, Mathew D. Penrose, Sergei Zuyev

Abstract: The original 2017 version of this paper, published in Ann. Appl. Probab., 27, 1678--1801, contains a major gap in the proofs. In the subsequent publication in Ann. Appl. Probab., 34, 3370--3374, 2024, we indicated how to fix this. For convenience of the reader, we here update the original paper to incorporate the suggested fix. Consider a Boolean model in $R^d$ with balls of random, bounded radi… ▽ More The original 2017 version of this paper, published in Ann. Appl. Probab., 27, 1678--1801, contains a major gap in the proofs. In the subsequent publication in Ann. Appl. Probab., 34, 3370--3374, 2024, we indicated how to fix this. For convenience of the reader, we here update the original paper to incorporate the suggested fix. Consider a Boolean model in $R^d$ with balls of random, bounded radii with distribution $F_0$, centered at the points of a Poisson process of intensity $t>0$. The capacity functional of the infinite cluster $Z_\infty$ is given by $θ_L(t) = P(Z_\infty\cap L \neq \emptyset)$, defined for each compact $L\subset R^d$. We prove for any fixed $L$ and $F_0$ that $θ_L(t)$ is infinitely differentiable in $t$, except at the critical value $t_c$; we give a Margulis-Russo type formula for the derivatives. More generally, allowing the distribution $F_0$ to vary and viewing $θ_L$ as a function of the measure $F:=tF_0$, we show that it is infinitely differentiable in all directions with respect to the measure $F$ in the supercritical region of the cone of positive measures on a bounded interval. We also prove that $θ_L(\cdot)$ grows at least linearly at the critical value. This implies that the critical exponent known as $β$ is at most 1 (if it exists) for this model. Along the way, we extend a result of H.Tanemura (1993), on regularity of the supercritical Boolean model in $d \geq 3$ with fixed-radius balls, to the case with bounded random radii. △ Less

Submitted 25 June, 2024; v1 submitted 19 January, 2016; originally announced January 2016.

Comments: Updated version with some errors fixed from v2. 24 pages, 27 references, 1 figure in Annals of Applied Probability, 2017

MSC Class: 60K35; 60D05

Journal ref: Ann. Appl. Probab., 27, 1678--1801, 2017 and Ann. Appl. Probab., 34, 3370--3374, 2024

Percolation of even sites for enhanced random sequential adsorption

Authors: Christopher J. E. Daniels, Mathew D. Penrose

Abstract: Consider random sequential adsorption on a chequerboard lattice with arrivals at rate $1$ on light squares and at rate $λ$ on dark squares. Ultimately, each square is either occupied, or blocked by an occupied neighbour. Colour the occupied dark squares and blocked light sites {\em black}, and the remaining squares {\em white}. Independently at each meeting-point of four squares, allow diagonal co… ▽ More Consider random sequential adsorption on a chequerboard lattice with arrivals at rate $1$ on light squares and at rate $λ$ on dark squares. Ultimately, each square is either occupied, or blocked by an occupied neighbour. Colour the occupied dark squares and blocked light sites {\em black}, and the remaining squares {\em white}. Independently at each meeting-point of four squares, allow diagonal connections between black squares with probability $p$; otherwise allow diagonal connections between white squares. We show that there is a critical surface of pairs $(λ, p)$, containing the pair $(1,0.5)$, such that for $(λ, p)$ lying above (respectively, below) the critical surface the black (resp. white) phase percolates, and on the critical surface neither phase percolates. △ Less

Submitted 22 June, 2016; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: 29 Pages

MSC Class: 60K35; 82B43

Inhomogeneous random graphs, isolated vertices, and Poisson approximation

Authors: Mathew D. Penrose

Abstract: Consider a graph on randomly scattered points in an arbitrary space, with two points $x,y$ connected with probability $φ(x,y)$. Suppose the number of points is large but the mean number of isolated points is $O(1)$. We give general criteria for the latter to be approximately Poisson distributed. More generally, we consider the number of vertices of fixed degree, the number of components of fixed o… ▽ More Consider a graph on randomly scattered points in an arbitrary space, with two points $x,y$ connected with probability $φ(x,y)$. Suppose the number of points is large but the mean number of isolated points is $O(1)$. We give general criteria for the latter to be approximately Poisson distributed. More generally, we consider the number of vertices of fixed degree, the number of components of fixed order, and the number of edges. We use a general result on Poisson approximation by Stein's method for a set of points selected from a Poisson point process. This method also gives a good Poisson approximation for U-statistics of a Poisson process. △ Less

Submitted 20 September, 2017; v1 submitted 25 July, 2015; originally announced July 2015.

Comments: 31 pages

MSC Class: 60C05; 05C80; 60F05; 62E17

The strong giant in a random digraph

Authors: Mathew D. Penrose

Abstract: Consider a random directed graph on $n$ vertices with independent identically distributed outdegrees with distribution $F$ having mean $μ$, and destinations of arcs selected uniformly at random. We show that if $μ>1$ then for large $n$ there is very likely to be a unique giant strong component with proportionate size given as the product of two branching process survival probabilities, one with of… ▽ More Consider a random directed graph on $n$ vertices with independent identically distributed outdegrees with distribution $F$ having mean $μ$, and destinations of arcs selected uniformly at random. We show that if $μ>1$ then for large $n$ there is very likely to be a unique giant strong component with proportionate size given as the product of two branching process survival probabilities, one with offspring distribution $F$ and the other with Poisson offspring distribution with mean $μ$. If $μ\leq 1$ there is very likely to be no giant strong component. We also extend this to allow for $F$ varying with $n$. △ Less

Submitted 24 April, 2015; v1 submitted 15 September, 2014; originally announced September 2014.

Comments: 18 pages

MSC Class: 05C80; 60J85; 92D30

Continuum AB percolation and AB random geometric graphs

Authors: Mathew D. Penrose

Abstract: Consider a bipartite random geometric graph on the union of two independent homogeneous Poisson point processes in $d$-space, with distance parameter $r$ and intensities $λ,μ$. We show for $d \geq 2$ that if $λ$ is supercritical for the one-type random geometric graph with distance parameter $2r$, there exists $μ$ such that $(λ,μ)$ is supercritical (this was previously known for $d=2$). For $d=2$… ▽ More Consider a bipartite random geometric graph on the union of two independent homogeneous Poisson point processes in $d$-space, with distance parameter $r$ and intensities $λ,μ$. We show for $d \geq 2$ that if $λ$ is supercritical for the one-type random geometric graph with distance parameter $2r$, there exists $μ$ such that $(λ,μ)$ is supercritical (this was previously known for $d=2$). For $d=2$ we also consider the restriction of this graph to points in the unit square. Taking $μ= τλ$ for fixed $τ$, we give a strong law of large numbers as $λ\to \infty$, for the connectivity threshold of this graph. △ Less

Submitted 12 May, 2014; originally announced May 2014.

MSC Class: 60D05; 05C80; 82B43; 05C40

Connectivity of soft random geometric graphs

Authors: Mathew D. Penrose

Abstract: Consider a graph on $n$ uniform random points in the unit square, each pair being connected by an edge with probability $p$ if the inter-point distance is at most $r$. We show that as $n\to\infty$ the probability of full connectivity is governed by that of having no isolated vertices, itself governed by a Poisson approximation for the number of isolated vertices, uniformly over all choices of… ▽ More Consider a graph on $n$ uniform random points in the unit square, each pair being connected by an edge with probability $p$ if the inter-point distance is at most $r$. We show that as $n\to\infty$ the probability of full connectivity is governed by that of having no isolated vertices, itself governed by a Poisson approximation for the number of isolated vertices, uniformly over all choices of $p,r$. We determine the asymptotic probability of connectivity for all $(p_n,r_n)$ subject to $r_n=O(n^{-\varepsilon})$, some $\varepsilon >0$. We generalize the first result to higher dimensions and to a larger class of connection probability functions. △ Less

Submitted 6 April, 2016; v1 submitted 15 November, 2013; originally announced November 2013.

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

Report number: IMS-AAP-AAP1110

Journal ref: Annals of Applied Probability 2016, Vol. 26, No. 2, 986-1028

Rank deficiency in sparse random GF[2] matrices

Authors: R. W. R. Darling, Mathew D. Penrose, Andrew R. Wade, Sandy L. Zabell

Abstract: Let $M$ be a random $m \times n$ matrix with binary entries and i.i.d. rows. The weight (i.e., number of ones) of a row has a specified probability distribution, with the row chosen uniformly at random given its weight. Let $N(n,m)$ denote the number of left null vectors in ${0,1}^m$ for $M$ (including the zero vector), where addition is mod 2. We take $n, m \to \infty$, with $m/n \to α> 0$, while… ▽ More Let $M$ be a random $m \times n$ matrix with binary entries and i.i.d. rows. The weight (i.e., number of ones) of a row has a specified probability distribution, with the row chosen uniformly at random given its weight. Let $N(n,m)$ denote the number of left null vectors in ${0,1}^m$ for $M$ (including the zero vector), where addition is mod 2. We take $n, m \to \infty$, with $m/n \to α> 0$, while the weight distribution may vary with $n$ but converges weakly to a limiting distribution on ${3, 4, 5, ...}$; let $W$ denote a variable with this limiting distribution. Identifying $M$ with a hypergraph on $n$ vertices, we define the 2-core of $M$ as the terminal state of an iterative algorithm that deletes every row incident to a column of degree 1. We identify two thresholds $α^*$ and $\underlineα$, and describe them analytically in terms of the distribution of $W$. Threshold $α^*$ marks the infimum of values of $α$ at which $n^{-1} \log{\mathbb{E} [N(n,m)}]$ converges to a positive limit, while $\underlineα$ marks the infimum of values of $α$ at which there is a 2-core of non-negligible size compared to $n$ having more rows than non-empty columns. We have $1/2 \leq α^* \leq \underlineα \leq 1$, and typically these inequalities are strict; for example when $W = 3$ almost surely, numerics give $α^* = 0.88949 ...$ and $\underlineα = 0.91793 ...$ (previous work on this model has mainly been concerned with such cases where $W$ is non-random). The threshold of values of $α$ for which $N(n,m) \geq 2$ in probability lies in $[α^*,\underlineα]$ and is conjectured to equal $\underlineα$. The random row weight setting gives rise to interesting new phenomena not present in the non-random case that has been the focus of previous work. △ Less

Submitted 23 November, 2012; originally announced November 2012.

Comments: 49 pages, 4 figures

MSC Class: 60C05 (Primary) 05C65; 05C80; 15B52; 60B20; 60F10 (Secondary)

Journal ref: Electronic Journal of Probability, Vol. 19 (2014), article 83

Moments and central limit theorems for some multivariate Poisson functionals

Authors: Guenter Last, Mathew D. Penrose, Matthias Schulte, Christoph Thaele

Abstract: This paper deals with Poisson processes on an arbitrary measurable space. Using a direct approach, we derive formulae for moments and cumulants of a vector of multiple Wiener-Itô integrals with respect to the compensated Poisson process. Second, a multivariate central limit theorem is shown for a vector whose components admit a finite chaos expansion of the type of a Poisson U-statistic. The appro… ▽ More This paper deals with Poisson processes on an arbitrary measurable space. Using a direct approach, we derive formulae for moments and cumulants of a vector of multiple Wiener-Itô integrals with respect to the compensated Poisson process. Second, a multivariate central limit theorem is shown for a vector whose components admit a finite chaos expansion of the type of a Poisson U-statistic. The approach is based on recent results of Peccati et al.\ combining Malliavin calculus and Stein's method, and also yields Berry-Esseen type bounds. As applications, moment formulae and central limit theorems for general geometric functionals of intersection processes associated with a stationary Poisson process of $k$-dimensional flats in $\R^d$ are discussed. △ Less

Submitted 3 April, 2014; v1 submitted 14 May, 2012; originally announced May 2012.

MSC Class: 60D05; 60H07 (Primary) 60F05; 60G55 (Secondary)

Journal ref: Adv. Appl. Probab. 46, 348-364 (2014)

Random parking, Euclidean functionals, and rubber elasticity

Authors: Antoine Gloria, Mathew D. Penrose

Abstract: We study subadditive functions of the random parking model previously analyzed by the second author. In particular, we consider local functions $S$ of subsets of $\mathbb{R}^d$ and of point sets that are (almost) subadditive in their first variable. Denoting by $ξ$ the random parking measure in $\mathbb{R}^d$, and by $ξ^R$ the random parking measure in the cube $Q_R=(-R,R)^d$, we show, under some… ▽ More We study subadditive functions of the random parking model previously analyzed by the second author. In particular, we consider local functions $S$ of subsets of $\mathbb{R}^d$ and of point sets that are (almost) subadditive in their first variable. Denoting by $ξ$ the random parking measure in $\mathbb{R}^d$, and by $ξ^R$ the random parking measure in the cube $Q_R=(-R,R)^d$, we show, under some natural assumptions on $S$, that there exists a constant $\bar{S}\in \mathbb{R}$ such that % $$ \lim_{R\to +\infty} \frac{S(Q_R,ξ)}{|Q_R|}\,=\,\lim_{R\to +\infty}\frac{S(Q_R,ξ^R)}{|Q_R|}\,=\,\bar{S} $$ % almost surely. If $ζ\mapsto S(Q_R,ζ)$ is the counting measure of $ζ$ in $Q_R$, then we retrieve the result by the second author on the existence of the jamming limit. The present work generalizes this result to a wide class of (almost) subadditive functions. In particular, classical Euclidean optimization problems as well as the discrete model for rubber previously studied by Alicandro, Cicalese, and the first author enter this class of functions. In the case of rubber elasticity, this yields an approximation result for the continuous energy density associated with the discrete model at the thermodynamic limit, as well as a generalization to stochastic networks generated on bounded sets. △ Less

Submitted 6 March, 2012; originally announced March 2012.

Comments: 28 pages

MSC Class: 60D05; 82B21; 35B27; 74Q05

Limit theory for point processes in manifolds

Authors: Mathew D. Penrose, J. E. Yukich

Abstract: Let $Y_i,i\geq1$, be i.i.d. random variables having values in an $m$-dimensional manifold $\mathcal {M}\subset \mathbb{R}^d$ and consider sums $\sum_{i=1}^nξ(n^{1/m}Y_i,\{n^{1/m}Y_j\}_{j=1}^n)$, where $ξ$ is a real valued function defined on pairs $(y,\mathcal {Y})$, with $y\in \mathbb{R}^d$ and $\mathcal {Y}\subset \mathbb{R}^d$ locally finite. Subject to $ξ$ satisfying a weak spatial dependence… ▽ More Let $Y_i,i\geq1$, be i.i.d. random variables having values in an $m$-dimensional manifold $\mathcal {M}\subset \mathbb{R}^d$ and consider sums $\sum_{i=1}^nξ(n^{1/m}Y_i,\{n^{1/m}Y_j\}_{j=1}^n)$, where $ξ$ is a real valued function defined on pairs $(y,\mathcal {Y})$, with $y\in \mathbb{R}^d$ and $\mathcal {Y}\subset \mathbb{R}^d$ locally finite. Subject to $ξ$ satisfying a weak spatial dependence and continuity condition, we show that such sums satisfy weak laws of large numbers, variance asymptotics and central limit theorems. We show that the limit behavior is controlled by the value of $ξ$ on homogeneous Poisson point processes on $m$-dimensional hyperplanes tangent to $\mathcal {M}$. We apply the general results to establish the limit theory of dimension and volume content estimators, Rényi and Shannon entropy estimators and clique counts in the Vietoris-Rips complex on $\{Y_i\}_{i=1}^n$. △ Less

Submitted 3 December, 2013; v1 submitted 5 April, 2011; originally announced April 2011.

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

Report number: IMS-AAP-AAP897

Journal ref: Annals of Applied Probability 2013, Vol. 23, No. 6, 2161-2211

Percolation of even sites for random sequential adsorption

Authors: Mathew D. Penrose, Tom Rosoman

Abstract: Consider random sequential adsorption on a red/blue chequerboard lattice with arrivals at rate $1$ on the red squares and rate $λ$ on the blue squares. We prove that the critical value of $λ$, above which we get an infinite blue component, is finite and strictly greater than $1$. Consider random sequential adsorption on a red/blue chequerboard lattice with arrivals at rate $1$ on the red squares and rate $λ$ on the blue squares. We prove that the critical value of $λ$, above which we get an infinite blue component, is finite and strictly greater than $1$. △ Less

Submitted 2 February, 2011; originally announced February 2011.

Comments: 35 pages. 13 figures

MSC Class: 60K35; 82B43

Percolation and limit theory for the Poisson lilypond model

Authors: Guenter Last, Mathew D. Penrose

Abstract: The lilypond model on a point process in $d$-space is a growth-maximal system of non-overlapping balls centred at the points. We establish central limit theorems for the total volume and the number of components of the lilypond model on a sequence of Poisson or binomial point processes on expanding windows. For the lilypond model over a homogeneous Poisson process, we give subexponentially decayin… ▽ More The lilypond model on a point process in $d$-space is a growth-maximal system of non-overlapping balls centred at the points. We establish central limit theorems for the total volume and the number of components of the lilypond model on a sequence of Poisson or binomial point processes on expanding windows. For the lilypond model over a homogeneous Poisson process, we give subexponentially decaying tail bounds for the size of the cluster at the origin. Finally, we consider the enhanced Poisson lilypond model where all the balls are enlarged by a fixed amount (the enhancement parameter), and show that for $d > 1 $ the critical value of this parameter, above which the enhanced model percolates, is strictly positive. △ Less

Submitted 4 August, 2010; originally announced August 2010.

MSC Class: 60D05; 60F05; 60K35

Strict inequalities of critical values in continuum percolation

Authors: Massimo Franceschetti, Mathew D. Penrose, Tom Rosoman

Abstract: We consider the supercritical finite-range random connection model where the points $x,y$ of a homogeneous planar Poisson process are connected with probability $f(|y-x|)$ for a given $f$. Performing percolation on the resulting graph, we show that the critical probabilities for site and bond percolation satisfy the strict inequality $p_c^{\rm site} > p_c^{\rm bond}$. We also show that reducing th… ▽ More We consider the supercritical finite-range random connection model where the points $x,y$ of a homogeneous planar Poisson process are connected with probability $f(|y-x|)$ for a given $f$. Performing percolation on the resulting graph, we show that the critical probabilities for site and bond percolation satisfy the strict inequality $p_c^{\rm site} > p_c^{\rm bond}$. We also show that reducing the connection function $f$ strictly increases the critical Poisson intensity. Finally, we deduce that performing a spreading transformation on $f$ (thereby allowing connections over greater distances but with lower probabilities, leaving average degrees unchanged) {\em strictly} reduces the critical Poisson intensity. This is of practical relevance, indicating that in many real networks it is in principle possible to exploit the presence of spread-out, long range connections, to achieve connectivity at a strictly lower density value. △ Less

Submitted 19 July, 2010; originally announced July 2010.

Comments: 38 pages, 8 figures

MSC Class: 60K35 (Primary); 82B43; 60D05 (Secondary)

Local central limit theorems in stochastic geometry

Authors: Mathew D. Penrose, Yuval Peres

Abstract: We give a general local central limit theorem for the sum of two independent random variables, one of which satisfies a central limit theorem while the other satisfies a local central limit theorem with the same order variance. We apply this result to various quantities arising in stochastic geometry, including: size of the largest component for percolation on a box; number of components, number o… ▽ More We give a general local central limit theorem for the sum of two independent random variables, one of which satisfies a central limit theorem while the other satisfies a local central limit theorem with the same order variance. We apply this result to various quantities arising in stochastic geometry, including: size of the largest component for percolation on a box; number of components, number of edges, or number of isolated points, for random geometric graphs; covered volume for germ-grain coverage models; number of accepted points for finite-input random sequential adsorption; sum of nearest-neighbour distances for a random sample from a continuous multidimensional distribution. △ Less

Submitted 15 August, 2011; v1 submitted 17 June, 2010; originally announced June 2010.

Comments: V1: 31 pages. V2: 45 pages, with new results added in Section 5 and extra explanation added elsewhere

MSC Class: 60F05; 60D05; 60K35; 05C80

Asymptotic normality of maximum likelihood estimator for cooperative sequential adsorption

Authors: Mathew D. Penrose, Vadim Shcherbakov

Abstract: We have shown in previous work that statistical inference for cooperative sequential adsorption model can be based on maximum likelihood estimation. In this paper we continue this research and establish asymptotic normality of the maximum likelihood estimator in thermodynamic limit. We also perform and discuss some numerical simulations of the model. We have shown in previous work that statistical inference for cooperative sequential adsorption model can be based on maximum likelihood estimation. In this paper we continue this research and establish asymptotic normality of the maximum likelihood estimator in thermodynamic limit. We also perform and discuss some numerical simulations of the model. △ Less

Submitted 6 May, 2010; originally announced May 2010.

MSC Class: 62M30 (Primary); 60K35; 60D05 (Secondary)

Strict inequalities of critical probabilities on Gilbert's continuum percolation graph

Authors: Massimo Franceschetti, Mathew D. Penrose, Tom Rosoman

Abstract: Any infinite graph has site and bond percolation critical probabilities satisfying $p_c^{site}\geq p_c^{bond}$. The strict version of this inequality holds for many, but not all, infinite graphs. In this paper, the class of graphs for which the strict inequality holds is extended to a continuum percolation model. In Gilbert's graph with supercritical density on the Euclidean plane, there is almo… ▽ More Any infinite graph has site and bond percolation critical probabilities satisfying $p_c^{site}\geq p_c^{bond}$. The strict version of this inequality holds for many, but not all, infinite graphs. In this paper, the class of graphs for which the strict inequality holds is extended to a continuum percolation model. In Gilbert's graph with supercritical density on the Euclidean plane, there is almost surely a unique infinite connected component. We show that on this component $p_c^{site} > p_c^{bond}$. This also holds in higher dimensions. △ Less

Submitted 29 April, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: 15 Pages, 3 figures. In this version the main result is unchanged, but there are some clarifications in the proof, particularly with regard to Lemma 3.

MSC Class: 60K35

Martingale representation for Poisson processes with applications to minimal variance hedging

Authors: Guenter Last, Mathew D. Penrose

Abstract: We consider a Poisson process $η$ on a measurable space $(\BY,\mathcal{Y})$ equipped with a partial ordering, assumed to be strict almost everwhwere with respect to the intensity measure $λ$ of $η$. We give a Clark-Ocone type formula providing an explicit representation of square integrable martingales (defined with respect to the natural filtration associated with $η$), which was previously kno… ▽ More We consider a Poisson process $η$ on a measurable space $(\BY,\mathcal{Y})$ equipped with a partial ordering, assumed to be strict almost everwhwere with respect to the intensity measure $λ$ of $η$. We give a Clark-Ocone type formula providing an explicit representation of square integrable martingales (defined with respect to the natural filtration associated with $η$), which was previously known only in the special case, when $λ$ is the product of Lebesgue measure on $\R_+$ and a $σ$-finite measure on another space $\BX$. Our proof is new and based on only a few basic properties of Poisson processes and stochastic integrals. We also consider the more general case of an independent random measure in the sense of Itô of pure jump type and show that the Clark-Ocone type representation leads to an explicit version of the Kunita-Watanabe decomposition of square integrable martingales. We also find the explicit minimal variance hedge in a quite general financial market driven by an independent random measure. △ Less

Submitted 22 January, 2010; originally announced January 2010.

Comments: 19 pages

MSC Class: 60G55; 60G44; 60G51

Laws of large numbers and nearest neighbor distances

Authors: Mathew D. Penrose, J. E. Yukich

Abstract: We consider the sum of power weighted nearest neighbor distances in a sample of size n from a multivariate density f of possibly unbounded support. We give various criteria guaranteeing that this sum satisfies a law of large numbers for large n, correcting some inaccuracies in the literature on the way. Motivation comes partly from the problem of consistent estimation of certain entropies of f. We consider the sum of power weighted nearest neighbor distances in a sample of size n from a multivariate density f of possibly unbounded support. We give various criteria guaranteeing that this sum satisfies a law of large numbers for large n, correcting some inaccuracies in the literature on the way. Motivation comes partly from the problem of consistent estimation of certain entropies of f. △ Less

Submitted 2 November, 2009; originally announced November 2009.

Comments: 15 pages

MSC Class: 60D05; 60F25

Poisson process Fock space representation, chaos expansion and covariance inequalities

Authors: Guenter Last, Mathew D. Penrose

Abstract: We consider a Poisson process $η$ on an arbitrary measurable space with an arbitrary sigma-finite intensity measure. We establish an explicit Fock space representation of square integrable functions of $η$. As a consequence we identify explicitly, in terms of iterated difference operators, the integrands in the Wiener-Ito chaos expansion. We apply these results to extend well-known variance ineq… ▽ More We consider a Poisson process $η$ on an arbitrary measurable space with an arbitrary sigma-finite intensity measure. We establish an explicit Fock space representation of square integrable functions of $η$. As a consequence we identify explicitly, in terms of iterated difference operators, the integrands in the Wiener-Ito chaos expansion. We apply these results to extend well-known variance inequalities for homogeneous Poisson processes on the line to the general Poisson case. The Poincare inequality is a special case. Further applications are covariance identities for Poisson processes on (strictly) ordered spaces and Harris-FKG-inequalities for monotone functions of $η$. △ Less

Submitted 17 September, 2009; originally announced September 2009.

Comments: 25 pages

MSC Class: 60G55; 60H07

Normal approximation for isolated balls in an urn allocation model

Authors: Mathew D. Penrose

Abstract: Consider throwing $n$ balls at random into $m$ urns, each ball landing in urn $i$ with probability $p_i$. Let $S$ be the resulting number of singletons, i.e., urns containing just one ball. We give an error bound for the Kolmogorov distance from $S$ to the normal, and estimates on its variance. These show that if $n$, $m$ and $(p_i, 1 \leq i \leq m)$ vary in such a way that… ▽ More Consider throwing $n$ balls at random into $m$ urns, each ball landing in urn $i$ with probability $p_i$. Let $S$ be the resulting number of singletons, i.e., urns containing just one ball. We give an error bound for the Kolmogorov distance from $S$ to the normal, and estimates on its variance. These show that if $n$, $m$ and $(p_i, 1 \leq i \leq m)$ vary in such a way that $\sup_i p_i = O(n^{-1})$, then $S$ satisfies a CLT if and only if $n^2 \sum_i p_i^2$ tends to infinity, and demonstrate an optimal rate of convergence in the CLT in this case. In the uniform case $(p_i \equiv m^{-1}) with $m$ and $n$ growing proportionately, we provide bounds with better asymptotic constants. The proof of the error bounds are based on Stein's method via size-biased couplings. △ Less

Submitted 22 January, 2009; originally announced January 2009.

Comments: 32 Pages

MSC Class: 60F05; 62E17

Limit theorems for random spatial drainage networks

Authors: Mathew D. Penrose, Andrew R. Wade

Abstract: Suppose that under the action of gravity, liquid drains through the unit $d$-cube via a minimal-length network of channels constrained to pass through random sites and to flow with nonnegative component in one of the canonical orthogonal basis directions of $\R^d$, $d \geq 2$. The resulting network is a version of the so-called minimal directed spanning tree. We give laws of large numbers and co… ▽ More Suppose that under the action of gravity, liquid drains through the unit $d$-cube via a minimal-length network of channels constrained to pass through random sites and to flow with nonnegative component in one of the canonical orthogonal basis directions of $\R^d$, $d \geq 2$. The resulting network is a version of the so-called minimal directed spanning tree. We give laws of large numbers and convergence in distribution results on the large-sample asymptotic behaviour of the total power-weighted edge-length of the network on uniform random points in $(0,1)^d$. The distributional results exhibit a weight-dependent phase transition between Gaussian and boundary-effect-derived distributions. These boundary contributions are characterized in terms of limits of the so-called on-line nearest-neighbour graph, a natural model of spatial network evolution, for which we also present some new results. Also, we give a convergence in distribution result for the length of the longest edge in the drainage network; when $d=2$, the limit is expressed in terms of Dickman-type variables. △ Less

Submitted 21 January, 2009; originally announced January 2009.

Comments: 33 pages, 1 colour figure

MSC Class: 60D05 (Primary) 60F05; 90B15; 60F25; 05C80 (Secondary)

Journal ref: Advances in Applied Probability, Vol. 42 (2010), no. 3, p. 659-688

Normal approximation for coverage models over binomial point processes

Authors: Larry Goldstein, Mathew D. Penrose

Abstract: We give error bounds which demonstrate optimal rates of convergence in the CLT for the total covered volume and the number of isolated shapes, for germ-grain models with fixed grain radius over a binomial point process of $n$ points in a toroidal spatial region of volume $n$. The proof is based on Stein's method via size-biased couplings. We give error bounds which demonstrate optimal rates of convergence in the CLT for the total covered volume and the number of isolated shapes, for germ-grain models with fixed grain radius over a binomial point process of $n$ points in a toroidal spatial region of volume $n$. The proof is based on Stein's method via size-biased couplings. △ Less

Submitted 28 September, 2010; v1 submitted 16 December, 2008; originally announced December 2008.

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

Report number: IMS-AAP-AAP634

Journal ref: Annals of Applied Probability 2010, Vol. 20, No. 2, 696-721

Gaussian limits for generalized spacings

Authors: Yu. Baryshnikov, Mathew D. Penrose, J. E. Yukich

Abstract: Nearest neighbor cells in $R^d,d\in\mathbb{N}$, are used to define coefficients of divergence ($φ$-divergences) between continuous multivariate samples. For large sample sizes, such distances are shown to be asymptotically normal with a variance depending on the underlying point density. In $d=1$, this extends classical central limit theory for sum functions of spacings. The general results yiel… ▽ More Nearest neighbor cells in $R^d,d\in\mathbb{N}$, are used to define coefficients of divergence ($φ$-divergences) between continuous multivariate samples. For large sample sizes, such distances are shown to be asymptotically normal with a variance depending on the underlying point density. In $d=1$, this extends classical central limit theory for sum functions of spacings. The general results yield central limit theorems for logarithmic $k$-spacings, information gain, log-likelihood ratios and the number of pairs of sample points within a fixed distance of each other. △ Less

Submitted 6 March, 2009; v1 submitted 25 April, 2008; originally announced April 2008.

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

Report number: IMS-AAP-AAP537 MSC Class: 60F05; 60D05; 62H11 (Primary)

Journal ref: Annals of Applied Probability 2009, Vol. 19, No. 1, 158-185

Laws of large numbers in stochastic geometry with statistical applications

Authors: Mathew D. Penrose

Abstract: Given $n$ independent random marked $d$-vectors (points) $X_i$ distributed with a common density, define the measure $ν_n=\sum_iξ_i$, where $ξ_i$ is a measure (not necessarily a point measure) which stabilizes; this means that $ξ_i$ is determined by the (suitably rescaled) set of points near $X_i$. For bounded test functions $f$ on $R^d$, we give weak and strong laws of large numbers for… ▽ More Given $n$ independent random marked $d$-vectors (points) $X_i$ distributed with a common density, define the measure $ν_n=\sum_iξ_i$, where $ξ_i$ is a measure (not necessarily a point measure) which stabilizes; this means that $ξ_i$ is determined by the (suitably rescaled) set of points near $X_i$. For bounded test functions $f$ on $R^d$, we give weak and strong laws of large numbers for $ν_n(f)$. The general results are applied to demonstrate that an unknown set $A$ in $d$-space can be consistently estimated, given data on which of the points $X_i$ lie in $A$, by the corresponding union of Voronoi cells, answering a question raised by Khmaladze and Toronjadze. Further applications are given concerning the Gamma statistic for estimating the variance in nonparametric regression. △ Less

Submitted 28 November, 2007; originally announced November 2007.

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

Journal ref: Bernoulli 2007, Vol. 13, No. 4, 1124-1150

Multivariate normal approximation in geometric probability

Authors: Mathew D. Penrose, Andrew R. Wade

Abstract: Consider a measure $μ_λ= \sum_x ξ_x δ_x$ where the sum is over points $x$ of a Poisson point process of intensity $λ$ on a bounded region in $d$-space, and $ξ_x$ is a functional determined by the Poisson points near to $x$, i.e. satisfying an exponential stabilization condition, along with a moments condition (examples include statistics for proximity graphs, germ-grain models and random sequent… ▽ More Consider a measure $μ_λ= \sum_x ξ_x δ_x$ where the sum is over points $x$ of a Poisson point process of intensity $λ$ on a bounded region in $d$-space, and $ξ_x$ is a functional determined by the Poisson points near to $x$, i.e. satisfying an exponential stabilization condition, along with a moments condition (examples include statistics for proximity graphs, germ-grain models and random sequential deposition models). A known general result says the $μ_λ$-measures (suitably scaled and centred) of disjoint sets in $R^d$ are asymptotically independent normals as $λ\to \infty$; here we give an $O(λ^{-1/(2d + ε)})$ bound on the rate of convergence. We illustrate our result with an explicit multivariate central limit theorem for the nearest-neighbour graph on Poisson points on a finite collection of disjoint intervals. △ Less

Submitted 26 July, 2007; originally announced July 2007.

Comments: 23 pages

MSC Class: 60D05 (Primary) 60F05; 60G57 (Secondary)

Journal ref: Journal of Statistical Theory and Practice, Vol. 2 (2008), no. 2, p. 293-326

Existence and spatial limit theorems for lattice and continuum particle systems

Authors: Mathew D. Penrose

Abstract: We give a general existence result for interacting particle systems with local interactions and bounded jump rates but noncompact state space at each site. We allow for jump events at a site that affect the state of its neighbours. We give a law of large numbers and functional central limit theorem for additive set functions taken over an increasing family of subcubes of $Z^d$. We discuss applic… ▽ More We give a general existence result for interacting particle systems with local interactions and bounded jump rates but noncompact state space at each site. We allow for jump events at a site that affect the state of its neighbours. We give a law of large numbers and functional central limit theorem for additive set functions taken over an increasing family of subcubes of $Z^d$. We discuss application to marked spatial point processes with births, deaths and jumps of particles, in particular examples such as continuum and lattice ballistic deposition and a sequential model for random loose sphere packing. △ Less

Submitted 4 April, 2008; v1 submitted 2 March, 2007; originally announced March 2007.

Comments: Published in at http://dx.doi.org/10.1214/07-PS112 the Probability Surveys (http://www.i-journals.org/ps/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-PS-PS_2007_112 MSC Class: 60K35; 60F17 (Primary)

Journal ref: Probability Surveys 2008, Vol. 5, 1-36

Gaussian limits for multidimensional random sequential packing at saturation (extended version)

Authors: T. Schreiber, Mathew D. Penrose, J. E. Yukich

Abstract: Consider the random sequential packing model with infinite input and in any dimension. When the input consists of non-zero volume convex solids we show that the total number of solids accepted over cubes of volume $λ$ is asymptotically normal as $λ\to \infty$. We provide a rate of approximation to the normal and show that the finite dimensional distributions of the packing measures converge to t… ▽ More Consider the random sequential packing model with infinite input and in any dimension. When the input consists of non-zero volume convex solids we show that the total number of solids accepted over cubes of volume $λ$ is asymptotically normal as $λ\to \infty$. We provide a rate of approximation to the normal and show that the finite dimensional distributions of the packing measures converge to those of a mean zero generalized Gaussian field. The method of proof involves showing that the collection of accepted solids satisfies the weak spatial dependence condition known as stabilization. △ Less

Submitted 23 October, 2006; v1 submitted 23 October, 2006; originally announced October 2006.

Comments: 31 pages

MSC Class: Primary 60F05. Secondary 60D05; 60K35

Growth and roughness of the interface for ballistic deposition

Authors: Mathew D. Penrose

Abstract: In ballistic deposition (BD), $(d+1)$-dimensional particles fall sequentially at random towards an initially flat, large but bounded $d$-dimensional surface, and each particle sticks to the first point of contact. For both lattice and continuum BD, a law of large numbers in the thermodynamic limit establishes convergence of the mean height and surface width of the interface to constants $h(t)$ a… ▽ More In ballistic deposition (BD), $(d+1)$-dimensional particles fall sequentially at random towards an initially flat, large but bounded $d$-dimensional surface, and each particle sticks to the first point of contact. For both lattice and continuum BD, a law of large numbers in the thermodynamic limit establishes convergence of the mean height and surface width of the interface to constants $h(t)$ and $w(t)$, respectively, depending on time $t$. We show that $h(t)$ is asymptotically linear in $t$, while $w(t)$ grows at least logarithmically in $t$ when $d=1$. We also give duality results saying that the height above the origin for deposition onto an initially flat surface is equidistributed with the maximum height for deposition onto a surface growing from a single site. △ Less

Submitted 22 August, 2006; originally announced August 2006.

Comments: 26 pages. 1 figure

MSC Class: 60K35 (Primary). 82C22; 60D05; 60E15 (Secondary)

Limit theory for the random on-line nearest-neighbour graph

Authors: Mathew D. Penrose, Andrew R. Wade

Abstract: In the on-line nearest-neighbour graph (ONG), each point after the first in a sequence of points in R^d is joined by an edge to its nearest-neighbour amongst those points that precede it in the sequence. We study the large-sample asymptotic behaviour of the total power-weighted length of the ONG on uniform random points in (0,1)^d. In particular, for d=1 and weight exponent α>1/2, the limiting d… ▽ More In the on-line nearest-neighbour graph (ONG), each point after the first in a sequence of points in R^d is joined by an edge to its nearest-neighbour amongst those points that precede it in the sequence. We study the large-sample asymptotic behaviour of the total power-weighted length of the ONG on uniform random points in (0,1)^d. In particular, for d=1 and weight exponent α>1/2, the limiting distribution of the centred total weight is characterized by a distributional fixed-point equation. As an ancillary result, we give exact expressions for the expectation and variance of the standard nearest-neighbour (directed) graph on uniform random points in the unit interval. △ Less

Submitted 23 March, 2006; originally announced March 2006.

Comments: 28 pages, 3 figures

MSC Class: 60D05; 60F05 (Primary) 90B15 (Secondary)

Journal ref: Random Structures and Algorithms, Vol. 32 (2008), no. 2, p. 125-156

Convergence of random measures in geometric probability

Authors: Mathew D. Penrose

Abstract: Given $n$ independent random marked $d$-vectors $X_i$ with a common density, define the measure $ν_n = \sum_i ξ_i $, where $ξ_i$ is a measure (not necessarily a point measure) determined by the (suitably rescaled) set of points near $X_i$. Technically, this means here that $ξ_i$ stabilizes with a suitable power-law decay of the tail of the radius of stabilization. For bounded test functions $f$… ▽ More Given $n$ independent random marked $d$-vectors $X_i$ with a common density, define the measure $ν_n = \sum_i ξ_i $, where $ξ_i$ is a measure (not necessarily a point measure) determined by the (suitably rescaled) set of points near $X_i$. Technically, this means here that $ξ_i$ stabilizes with a suitable power-law decay of the tail of the radius of stabilization. For bounded test functions $f$ on $R^d$, we give a law of large numbers and central limit theorem for $ν_n(f)$. The latter implies weak convergence of $ν_n(\cdot)$, suitably scaled and centred, to a Gaussian field acting on bounded test functions. The general result is illustrated with applications including the volume and surface measure of germ-grain models with unbounded grain sizes. △ Less

Submitted 24 August, 2005; originally announced August 2005.

Comments: 51 pages

MSC Class: 60D05; 60G57; 60F05; 60F25; 52A22

Exact and approximate results for deposition and annihilation processes on graphs

Authors: Mathew D. Penrose, Aidan Sudbury

Abstract: We consider random sequential adsorption processes where the initially empty sites of a graph are irreversibly occupied, in random order, either by monomers which block neighboring sites, or by dimers. We also consider a process where initially occupied sites annihilate their neighbors at random times. We verify that these processes are well defined on infinite graphs, and derive forward equatio… ▽ More We consider random sequential adsorption processes where the initially empty sites of a graph are irreversibly occupied, in random order, either by monomers which block neighboring sites, or by dimers. We also consider a process where initially occupied sites annihilate their neighbors at random times. We verify that these processes are well defined on infinite graphs, and derive forward equations governing joint vacancy/occupation probabilities. Using these, we derive exact formulae for occupation probabilities and pair correlations in Bethe lattices. For the blocking and annihilation processes we also prove positive correlations between sites an even distance apart, and for blocking we derive rigorous lower bounds for the site occupation probability in lattices, including a lower bound of 1/3 for Z^2. We also give normal approximation results for the number of occupied sites in a large finite graph. △ Less

Submitted 24 March, 2005; originally announced March 2005.

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

Report number: IMS-AAP-AAP068 MSC Class: 60K35 (Primary) 05C05; 60C05; 60F05. (Secondary)

Journal ref: Annals of Applied Probability 2005, Vol. 15, No. 1B, 853-889

Multivariate spatial central limit theorems with applications to percolation and spatial graphs

Authors: Mathew D Penrose

Abstract: Suppose $X = (X_x, x$ in $Z^d)$ is a family of i.i.d. variables in some measurable space, $B_0$ is a bounded set in $R^d$, and for $t > 1$, $H_t$ is a measure on $tB_0$ determined by the restriction of $X$ to lattice sites in or adjacent to $tB_0$. We prove convergence to a white noise process for the random measure on $B_0$ given by $t^{-d/2}(H_t(tA)-EH_t(tA))$ for subsets $A$ of $B_0$, as $t$… ▽ More Suppose $X = (X_x, x$ in $Z^d)$ is a family of i.i.d. variables in some measurable space, $B_0$ is a bounded set in $R^d$, and for $t > 1$, $H_t$ is a measure on $tB_0$ determined by the restriction of $X$ to lattice sites in or adjacent to $tB_0$. We prove convergence to a white noise process for the random measure on $B_0$ given by $t^{-d/2}(H_t(tA)-EH_t(tA))$ for subsets $A$ of $B_0$, as $t$ becomes large,subject to $H$ satisfying a ``stabilization'' condition (whereby the effect of changing $X$ at a single site $x$ is local) but with no assumptions on the rate of decay of correlations. We also give a multivariate central limit theorem for the joint distributions of two or more such measures $H_t$, and adapt the result to measures based on Poisson and binomial point processes. Applications given include a white noise limit for the measure which counts clusters of critical percolation, a functional central limit theorem for the empirical process of the edge lengths of the minimal spanning tree on random points, and central limit theorems for the on-line nearest neighbour graph. △ Less

Submitted 1 October, 2004; originally announced October 2004.

Comments: 46 pages. 1 diagram

MSC Class: 60F05; 60D05 (Primary); 05C80; 60K35 (Secondary)

On the total length of the random minimal directed spanning tree

Authors: Mathew D. Penrose, Andrew R. Wade

Abstract: In Bhatt and Roy's minimal directed spanning tree (MDST) construction for a random partially ordered set of points in the unit square,all edges must respect the ``coordinatewise'' partial order and there must be a directed path from each vertex to a minimal element. We study the asymptotic behaviour of the total length of this graph with power weighted edges. The limiting distribution is given b… ▽ More In Bhatt and Roy's minimal directed spanning tree (MDST) construction for a random partially ordered set of points in the unit square,all edges must respect the ``coordinatewise'' partial order and there must be a directed path from each vertex to a minimal element. We study the asymptotic behaviour of the total length of this graph with power weighted edges. The limiting distribution is given by the sum of a normal component away from the boundary and a contribution introduced by the boundary effects, which can be characterized by a fixed point equation, and is reminiscent of limits arising in the probabilistic analysis of certain algorithms. As the exponent of the power weighting increases, the distribution undergoes a phase transition from the normal contribution being dominant to the boundary effects dominating. In the critical case where the weight is simple Euclidean length, both effects contribute significantly to the limit law. We also give a law of large numbers for the total weight of the graph. △ Less

Submitted 13 September, 2004; originally announced September 2004.

Comments: 58 Pages, 6 figures (2 colour)

MSC Class: 60D05; 60F05 (Primary); 05C80; 05C05 (Secondary)

Journal ref: Shorter version published in Advances in Applied Probability, Vol. 38 (2006), no. 2, p. 336-372

Normal Approximation in Geometric Probability

Authors: Mathew D. Penrose, J. E. Yukich

Abstract: We use Stein's method to obtain bounds on the rate of convergence for a class of statistics in geometric probability obtained as a sum of contributions from Poisson points which are exponentially stabilizing, i.e. locally determined in a certain sense. Examples include statistics such as total edge length and total number of edges of graphs in computational geometry and the total number of parti… ▽ More We use Stein's method to obtain bounds on the rate of convergence for a class of statistics in geometric probability obtained as a sum of contributions from Poisson points which are exponentially stabilizing, i.e. locally determined in a certain sense. Examples include statistics such as total edge length and total number of edges of graphs in computational geometry and the total number of particles accepted in random sequential packing models. These rates also apply to the 1-dimensional marginals of the random measures associated with these statistics. △ Less

Submitted 6 September, 2004; originally announced September 2004.

Comments: To appear in the proceedings of the Workshop on Stein's Method and Applications, 11-15 August 2003, Institute of Mathematical Sciences, National University of Singapore

MSC Class: 60D05; 60F05

Weak Laws in Geometric Probability

Authors: Mathew D. Penrose, J. E. Yukich

Abstract: Using a coupling argument, we establish a general weak law of large numbers for functionals of binomial point processes in d-dimensional space, with a limit that depends explicitly on the (possibly non-uniform) density of the point process. The general result is applied to the minimal spanning tree, the k-nearest neighbors graph, the Voronoi graph, and the sphere of influence graph. Functionals… ▽ More Using a coupling argument, we establish a general weak law of large numbers for functionals of binomial point processes in d-dimensional space, with a limit that depends explicitly on the (possibly non-uniform) density of the point process. The general result is applied to the minimal spanning tree, the k-nearest neighbors graph, the Voronoi graph, and the sphere of influence graph. Functionals of interest include total edge length with arbitrary weighting, number of vertices of specifed degree, and number of components. We also obtain weak laws for functionals of marked point processes, including statistics of Boolean models. △ Less

Submitted 20 July, 2001; originally announced July 2001.

Comments: 25 pages

MSC Class: 60D05 (Primary) 60F25 (Secondary)