For a compact convex set $K$ and a Poisson point process $η$, the union of all Voronoi cells with a nucleus in $K$ is the Poisson-Voronoi approximation of $K$. Lower and upper bounds for the variance and a central limit theorem for the volume of the Poisson-Voronoi approximation are shown. The proofs make use of so called Wiener-Itô chaos expansions and the central limit theorem is based on a more abstract central limit theorem for Poisson functionals, which is also derived.
This article employs the relation between probabilities of two consecutive values of a Poisson random variable to derive conditions for the weak convergence of point processes to a Poisson process. As applications, we consider the starting points of k-runs in a sequence of Bernoulli random variables and point processes constructed using inradii and circumscribed radii of inhomogeneous Poisson-Voronoi tessellations.
This paper establishes expectation and variance asymptotics for statistics of the Poisson--Voronoi approximation of general sets, as the underlying intensity of the Poisson point process tends to infinity. Statistics of interest include volume, surface area, Hausdorff measure, and the number of faces of lower-dimensional skeletons. We also consider the complexity of the so-called Voronoi zone and the iterated Voronoi approximation. Our results are consequences of general limit theorems proved with an abstract Steiner-type formula applicable in the setting of sums of stabilizing functionals.
We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster is asymptotically equal to $πλ/3$ as $λ\to0.$ This answers a question of Benjamini and Schramm.
We consider the Voronoi tessellation based on a homogeneous Poisson point process in $\mathbf{R}^{d}$. For a geometric characteristic of the cells (e.g. the inradius, the circumradius, the volume), we investigate the point process of the nuclei of the cells with large values. Conditions are obtained for the convergence in distribution of this point process of exceedances to a homogeneous compound Poisson point process. We provide a characterization of the asymptotic cluster size distribution which is based on the Palm version of the point process of exceedances. This characterization allows us…
Slicing a Voronoi tessellation in $\mathbb{R}^n$ with a $k$-plane gives a $k$-dimensional weighted Voronoi tessellation, also known as power diagram or Laguerre tessellation. Mapping every simplex of the dual weighted Delaunay mosaic to the radius of the smallest empty circumscribed sphere whose center lies in the $k$-plane gives a generalized discrete Morse function. Assuming the Voronoi tessellation is generated by a Poisson point process in $\mathbb{R}^n$, we study the expected number of simplices in the $k$-dimensional weighted Delaunay mosaic as well as the expected number of intervals of…
The Voronoi tessellation of a homogeneous Poisson point process in the lower half-plane gives rise to a family of vertical elongated cells in the upper half-plane. The set of edges of these cells is ruled by a Markovian branching mechanism which is asymptotically described by two sequences of iid variables which are respectively Beta and exponentially distributed. This leads to a precise description of the scaling limit of a so-called typical cell. The limit object is a random apeirogon that we name menhir in reference to the Gallic huge stones. We also deduce from the aforementioned branching…
Consider a planar random point process made of the union of a point (the origin) and of a Poisson point process with a uniform intensity outside a deterministic set surrounding the origin. When the intensity goes to infinity, we show that the Voronoi cell associated with the origin converges from above to a deterministic convex set. We describe this set and give the asymptotics of the expectation of its defect area, defect perimeter and number of vertices. On the way, two intermediary questions are treated. First, we describe the mean characteristics of the Poisson-Voronoi cell conditioned on …
In this paper, we consider a Riemannian manifold $M$ and the Poisson-Voronoi tessellation generated by the union of a fixed point $x_0$ and a Poisson point process of intensity $λ$ on $M$. We obtain asymptotic expansions up to the second order for the means of several characteristics of the Voronoi cell associated with $x_0$, including its volume and number of vertices. In each case, the first term of the estimate is equal to the mean characteristic in the Euclidean setting while the second term may contain a particular curvature of $M$ at $x_0$: the scalar curvature in the case of the mean nu…
The intersections of beta-Voronoi, beta-prime-Voronoi and Gaussian-Voronoi tessellations in $\mathbb{R}^d$ with $\ell$-dimensional affine subspaces, $1\leq \ell\leq d-1$, are shown to be random tessellations of the same type but with different model parameters. In particular, the intersection of a classical Poisson-Voronoi tessellation with an affine subspace is shown to have the same distribution as a certain beta-Voronoi tessellation. The geometric properties of the typical cell and, more generally, typical $k$-faces, of the sectional Poisson-Voronoi tessellation are studied in detail. It is…
Consider a homogeneous Poisson point process of the Euclidean plane and its Voronoi tessellation. The present note discusses the properties of two stationary point processes associated with the latter and depending on a parameter $θ$. The first one is the set of points that belong to some one-dimensional facet of the Voronoi tessellation and are such that the angle with which they see the two nuclei defining the facet is $θ$. The main question of interest on this first point process is its intensity. The second point process is that of the intersections of the said tessellation with a straight…
We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm.
In this work, we study a new model for continuum line-of-sight percolation in a random environment driven by the Poisson-Voronoi tessellation in the $d$-dimensional Euclidean space. The edges (one-dimensional facets, or simply 1-facets) of this tessellation are the support of a Cox point process, while the vertices (zero-dimensional facets or simply 0-facets) are the support of a Bernoulli point process. Taking the superposition $Z$ of these two processes, two points of $Z$ are linked by an edge if and only if they are sufficiently close and located on the same edge (1-facet) of the supporting…
Consider the distances $\tilde{R}_o$ and $R_o$ from the nucleus to a uniformly random point in the 0-cell and the typical cell, respectively, of the $d$-dimensional Poisson-Voronoi (PV) tessellation. The main objective of this paper is to characterize the exact distributions of $\tilde{R}_o$ and $R_o$. First, using the well-known relationship between the 0-cell and the typical cell, we show that the random variable $\tilde{R}_o$ is equivalent in distribution to the contact distance of the Poisson point process. Next, we derive a multi-integral expression for the exact distribution of $R_o$. Fu…
We prove that by scaling nearest-neighbour ferromagnetic energies defined on Poisson random sets in the plane we obtain an isotropic perimeter energy with a surface tension characterised by an asymptotic formula. The result relies on proving that cells with `very long' or `very short' edges of the corresponding Voronoi tessellation can be neglected. In this way we may apply Geometry Measure Theory tools to define a compact convergence, and a characterisation of metric properties of clusters of Voronoi cells using limit theorems for subadditive processes.
Recent works have shown that an instance of a Brownian surface (such as the Brownian map or Brownian disk) a.s. has a canonical conformal structure under which it is equivalent to a $\sqrt{8/3}$-Liouville quantum gravity (LQG) surface. In particular, Brownian motion on a Brownian surface is well-defined. The construction in these works is indirect, however, and leaves open a basic question: is Brownian motion on a Brownian surface the limit of simple random walk on increasingly fine discretizations of that surface, the way Brownian motion on $\mathbb R^2$ is the $ε\to 0$ limit of simple random…
A Riemannian symmetric space is a Riemannian manifold in which it is possible to reflect all geodesics through a point by an isometry of the space. On such spaces, we introduce the notion of a distributional lattice, generalizing the notion of lattice. Distributional lattices exist in any Riemannian symmetric space: the Voronoi tessellation of a stationary Poisson point process is an example. We show that for an appropriate notion of amenability, the amenability of a distributional lattice is equivalent to the amenability of the ambient space. Using this equivalence, we show that the simple ra…
Convergence towards Ideal Poisson--Voronoi tessellations with a focus on Diestel--Leader graphs
Institut Élie Cartan de Lorraine, CNRS, Université de Lorraine（洛林埃利嘉当研究所，法国国家科学研究中心，洛林大学）；School of Mathematics, Institute for Research in Fundamental Sciences（基础科学研究院数学学院）
The order-$k$ Voronoi tessellation of a locally finite set $X \subseteq \mathbb{R}^n$ decomposes $\mathbb{R}^n$ into convex domains whose points have the same $k$ nearest neighbors in $X$. Assuming $X$ is a stationary Poisson point process, we give explicit formulas for the expected number and total area of faces of a given dimension per unit volume of space. We also develop a relaxed version of discrete Morse theory and generalize by counting only faces, for which the $k$ nearest points in $X$ are within a given distance threshold.
We study point processes that consist of certain centers of point tuples of an underlying Poisson process. Such processes arise in stochastic geometry in the study of exceedances of various functionals describing geometric properties of the Poisson process. We use a coupling of the point process with its Palm version to prove a general Poisson limit theorem. We then combine our general result with the theory of asymptotic shapes of large cells (Kendall's problem) in random mosaics and prove Poisson limit theorems for large cells (with respect to a general size functional) in the Poisson-Vorono…
We prove an almost sure central limit theorem on the Poisson space, which is perfectly tailored for stabilizing functionals emerging in stochastic geometry. As a consequence, we provide almost sure central limit theorems for $(i)$ the total edge length of the $k$-nearest neighbors random graph, $(ii)$ the clique count in random geometric graphs, $(iii)$ the volume of the set approximation via the Poisson-Voronoi tessellation.
Poisson processes in the space of $(d-1)$-dimensional totally geodesic subspaces (hyperplanes) in a $d$-dimensional hyperbolic space of constant curvature $-1$ are studied. The $k$-dimensional Hausdorff measure of their $k$-skeleton is considered. Explicit formulas for first- and second-order quantities restricted to bounded observation windows are obtained. The central limit problem for the $k$-dimensional Hausdorff measure of the $k$-skeleton is approached in two different set-ups: (i) for a fixed window and growing intensities, and (ii) for fixed intensity and growing spherical windows. Whi…
We use a Voronoi-type tessellation based on a compound Poisson point process to construct a polynomially mixing stationary random smooth planar vector field with bounded nonnegative components such that, with probability one, none of the associated integral curves possess an asymptotic direction.
We study random polytopes of the form $[X_1,\ldots,X_n]$ defined as convex hulls of independent and identically distributed random points $X_1,\ldots,X_n$ in $\mathbb{R}^d$ with one of the following densities: $$ f_{d,β} (x) = c_{d,β} (1-\|x\|^2)^β, \qquad \|x\| < 1, \quad \text{(beta distribution, $β>-1$)} $$ or $$ \tilde f_{d,β} (x) = \tilde{c}_{d,β} (1+\|x\|^2)^{-β}, \qquad x\in\mathbb{R}^d, \quad \text{(beta' distribution, $β>d/2$)}. $$ This setting also includes the uniform distribution on the unit sphere and the standard normal distribution as limiting cases. We derive exact and asymptot…
The term "moderate deviations" is often used in the literature to mean a class of large deviation principles that, in some sense, fill the gap between a convergence in probability to zero (governed by a large deviation principle) and a weak convergence to a centered Normal distribution. We talk about "non-central moderate deviations" when the weak convergence is towards a non-Gaussian distribution. In this paper we study non-central moderate deviations for compound fractional Poisson processes with light-tailed jumps.
Degenerate Dowling and degenerate r-Dowling polynomials were introduced earlier as degenerate versions and further generalizations of Dowling and r-Dowling polynomials. The aim of this paper is to show their connections with Poisson degenerate central moments for a Poisson random variable with a certain parameter and with Charlier polynomials.
The scale invariant Poisson processes on (0,infty) play a central but mildly disguised role in number theory, combinatorics, and genetics. They give the continuous limits which underly and unify diverse discrete structures, including the prime factorization of a uniformly chosen integer, the factorization of polynomials over finite fields, the decomposition into cycles of random permutations, the decomposition into components of random mappings, and the Ewens sampling formula. They deserve attention as one of the fundamental and central objects of probability theory.
This paper deals with the union set of a stationary Poisson process of cylinders in $\mathbb{R}^n$ having an $(n-m)$-dimensional base and an $m$-dimensional direction space, where $m\in\{0,1,\ldots,n-1\}$ and $n\geq 2$. The concept simultaneously generalises those of a Boolean model and a Poisson hyperplane or $m$-flat process. Under very general conditions on the typical cylinder base a Berry-Esseen bound for the volume of the union set within a sequence of growing test sets is derived. Assuming convexity of the cylinder bases and of the window a similar result is shown for a broad class of g…
We study the $β$ analogue of the nonintersecting Poisson random walks. We derive a stochastic differential equation of the Stieltjes transform of the empirical measure process, which can be viewed as a dynamical version of the Nekrasov's equation in [7, Section 4]. We find that the empirical measure process converges weakly in the space of cádlág measure-valued processes to a deterministic process, characterized by the quantized free convolution, as introduced in [11]. For suitable initial data, we prove that the rescaled empirical measure process converges weakly in the space of distributions…
