For a determinantal point process (DPP) X with a kernel K whose spectrum is strictly less than one, André Goldman has established a coupling to its reduced Palm process $X^u$ at a point u with $K(u,u)>0$ so that, almost surely, $X^u$ is obtained by removing a finite number of points from X. We sharpen this result, assuming weaker conditions and establishing that $X^u$ can be obtained by removing at most one point from X, where we specify the distribution of the difference $\xi_u: = X\setminus X^u$. This is used to discuss the degree of repulsiveness in DPPs in terms of $\xi_u$, including Ginibre point processes and other specific parametric models for DPPs.

We study projectional properties of Poisson cut-out sets E in non-Euclidean spaces. In the first Heisenbeg group \[\mathbb{H} = \mathbb{C} \times \mathbb{R}\], endowed with the Korányi metric, we show that the Hausdorff dimension of the vertical projection \[\pi (E)\] (projection along the center of \[\mathbb{H}\]) almost surely equals \[\min \{ 2,{\dim _\operatorname{H} }(E)\} \] and that \[\pi (E)\] has non-empty interior if \[{\dim _{\text{H}}}(E) > 2\]. As a corollary, this allows us to determine the Hausdorff dimension of E with respect to the Euclidean metric in terms of its Heisenberg Hausdorff dimension \[{\dim _{\text{H}}}(E)\].

We also study projections in the one-point compactification of the Heisenberg group, that is, the 3-sphere \[{{\text{S}}^3}\] endowed with the visual metric d obtained by identifying \[{{\text{S}}^3}\] with the boundary of the complex hyperbolic plane. In \[{{\text{S}}^3}\], we prove a projection result that holds simultaneously for all radial projections (projections along so called “chains”). This shows that the Poisson cut-outs in \[{{\text{S}}^3}\] satisfy a strong version of the Marstrand’s projection theorem, without any exceptional directions.

This study presents functional limit theorems for the Euler characteristic of Vietoris–Rips complexes. The points are drawn from a nonhomogeneous Poisson process on $\mathbb{R}^d$ , and the connectivity radius governing the formation of simplices is taken as a function of the time parameter t, which allows us to treat the Euler characteristic as a stochastic process. The setting in which this takes place is that of the critical regime, in which the simplicial complexes are highly connected and have nontrivial topology. We establish two ‘functional-level’ limit theorems, a strong law of large numbers and a central limit theorem, for the appropriately normalized Euler characteristic process.

We consider a space-time random field on ${{\mathbb{R}^d} \times {\mathbb{R}}}$ given as an integral of a kernel function with respect to a Lévy basis with a convolution equivalent Lévy measure. The field obeys causality in time and is thereby not continuous along the time axis. For a large class of such random fields we study the tail behaviour of certain functionals of the field. It turns out that the tail is asymptotically equivalent to the right tail of the underlying Lévy measure. Particular examples are the asymptotic probability that there is a time point and a rotation of a spatial object with fixed radius, in which the field exceeds the level x, and that there is a time interval and a rotation of a spatial object with fixed radius, in which the average of the field exceeds the level x.

We provide a new proof of the existence of Gibbs point processes with infinite range interactions, based on the compactness of entropy levels. Our main existence theorem holds under two assumptions. The first one is the standard stability assumption, which means that the energy of any finite configuration is superlinear with respect to the number of points. The second assumption is the so-called intensity regularity, which controls the long range of the interaction via the intensity of the process. This assumption is new and introduced here since it is well adapted to the entropy approach. As a corollary of our main result we improve the existence results by Ruelle (1970) for pairwise interactions by relaxing the superstabilty assumption. Note that our setting is not reduced to pairwise interaction and can contain infinite-range multi-body counterparts.

We study a stationary Gibbs particle process with deterministically bounded particles on Euclidean space defined in terms of an activity parameter and non-negative interaction potentials of finite range. Using disagreement percolation, we prove exponential decay of the correlation functions, provided a dominating Boolean model is subcritical. We also prove this property for the weighted moments of a U-statistic of the process. Under the assumption of a suitable lower bound on the variance, this implies a central limit theorem for such U-statistics of the Gibbs particle process. A by-product of our approach is a new uniqueness result for Gibbs particle processes.

We establish a fundamental property of bivariate Pareto records for independent observations uniformly distributed in the unit square. We prove that the asymptotic conditional distribution of the number of records broken by an observation given that the observation sets a record is Geometric with parameter 1/2.

A new approach to prove weak convergence of random polytopes on the space of compact convex sets is presented. This is used to show that the profile of the rescaled Schläfli random cone of a random conical tessellation, generated by n independent and uniformly distributed random linear hyperplanes in $\mathbb {R}^{d+1}$ , weakly converges to the typical cell of a stationary and isotropic Poisson hyperplane tessellation in $\mathbb {R}^d$ , as $n\to \infty $ .

If we pick n random points uniformly in $[0,1]^d$ and connect each point to its $c_d \log{n}$ nearest neighbors, where $d\ge 2$ is the dimension and $c_d$ is a constant depending on the dimension, then it is well known that the graph is connected with high probability. We prove that it suffices to connect every point to $ c_{d,1} \log{\log{n}}$ points chosen randomly among its $ c_{d,2} \log{n}$ nearest neighbors to ensure a giant component of size $n - o(n)$ with high probability. This construction yields a much sparser random graph with $\sim n \log\log{n}$ instead of $\sim n \log{n}$ edges that has comparable connectivity properties. This result has non-trivial implications for problems in data science where an affinity matrix is constructed: instead of connecting each point to its k nearest neighbors, one can often pick $k'\ll k$ random points out of the k nearest neighbors and only connect to those without sacrificing quality of results. This approach can simplify and accelerate computation; we illustrate this with experimental results in spectral clustering of large-scale datasets.

We observe a realization of a stationary weighted Voronoi tessellation of the d-dimensional Euclidean space within a bounded observation window. Given a geometric characteristic of the typical cell, we use the minus-sampling technique to construct an unbiased estimator of the average value of this geometric characteristic. Under mild conditions on the weights of the cells, we establish variance asymptotics and the asymptotic normality of the unbiased estimator as the observation window tends to the whole space. Moreover, weak consistency is shown for this estimator.

The Gaussian polytope $\mathcal P_{n,d}$ is the convex hull of n independent standard normally distributed points in $\mathbb{R}^d$ . We derive explicit expressions for the probability that $\mathcal P_{n,d}$ contains a fixed point $x\in\mathbb{R}^d$ as a function of the Euclidean norm of x, and the probability that $\mathcal P_{n,d}$ contains the point $\sigma X$ , where $\sigma\geq 0$ is constant and X is a standard normal vector independent of $\mathcal P_{n,d}$ . As a by-product, we also compute the expected number of k-faces and the expected volume of $\mathcal P_{n,d}$ , thus recovering the results of Affentranger and Schneider (Discr. and Comput. Geometry, 1992) and Efron (Biometrika, 1965), respectively. All formulas are in terms of the volumes of regular spherical simplices, which, in turn, can be expressed through the standard normal distribution function $\Phi(z)$ and its complex version $\Phi(iz)$ . The main tool used in the proofs is the conic version of the Crofton formula.

We consider the Voronoi diagram generated by n independent and identically distributed $\mathbb{R}^{d}$ -valued random variables with an arbitrary underlying probability density function f on $\mathbb{R}^{d}$ , and analyze the asymptotic behaviors of certain geometric properties, such as the measure, of the Voronoi cells as n tends to infinity. We adapt the methods used by Devroye et al. (2017) to conduct a study of the asymptotic properties of two types of Voronoi cells: (1) Voronoi cells that have a fixed nucleus; (2) Voronoi cells that contain a fixed point. We show that the geometric properties of both types of cells resemble those in the case when the Voronoi diagram is generated by a homogeneous Poisson point process. Additionally, for the second type of Voronoi cells, we determine the limiting distribution, which is universal in all choices of f, of the re-scaled measure of the cells.

The objective of this study is to examine the asymptotic behavior of Betti numbers of Čech complexes treated as stochastic processes and formed from random points in the d-dimensional Euclidean space ${\mathbb{R}}^d$ . We consider the case where the points of the Čech complex are generated by a Poisson process with intensity nf for a probability density f. We look at the cases where the behavior of the connectivity radius of the Čech complex causes simplices of dimension greater than $k+1$ to vanish in probability, the so-called sparse regime, as well when the connectivity radius is of the order of $n^{-1/d}$ , the critical regime. We establish limit theorems in the aforementioned regimes: central limit theorems for the sparse and critical regimes, and a Poisson limit theorem for the sparse regime. When the connectivity radius of the Čech complex is $o(n^{-1/d})$ , i.e. the sparse regime, we can decompose the limiting processes into a time-changed Brownian motion or a time-changed homogeneous Poisson process respectively. In the critical regime, the limiting process is a centered Gaussian process but has a much more complicated representation, because the Čech complex becomes highly connected with many topological holes of any dimension.

Given a stationary and isotropic Poisson hyperplane process and a convex body K in ${\mathbb R}^d$ , we consider the random polytope defined by the intersection of all closed half-spaces containing K that are bounded by hyperplanes of the process not intersecting K. We investigate how well the expected mean width of this random polytope approximates the mean width of K if the intensity of the hyperplane process tends to infinity.

We obtain simple quadratic recurrence formulas counting bipartite maps on surfaces with prescribed degrees (in particular, $2k$-angulations) and constellations. These formulas are the fastest known way of computing these numbers.

Our work is a natural extension of previous works on integrable hierarchies (2-Toda and KP), namely, the Pandharipande recursion for Hurwitz numbers (proved by Okounkov and simplified by Dubrovin–Yang–Zagier), as well as formulas for several models of maps (Goulden–Jackson, Carrell–Chapuy, Kazarian–Zograf). As for those formulas, a bijective interpretation is still to be found. We also include a formula for monotone simple Hurwitz numbers derived in the same fashion.

These formulas also play a key role in subsequent work of the author with T. Budzinski establishing the hyperbolic local limit of random bipartite maps of large genus.

We prove that the free uniform spanning forest of any bounded degree proper plane graph is connected almost surely, answering a question of Benjamini, Lyons, Peres and Schramm. We provide a quantitative form of this result, calculating the critical exponents governing the geometry of the uniform spanning forests of transient proper plane graphs with bounded degrees and codegrees. We find that the same exponents hold universally over this entire class of graphs provided that measurements are made using the hyperbolic geometry of their circle packings rather than their usual combinatorial geometry.

We give a simple set of geometric conditions on curves $\unicode[STIX]{x1D702}$, $\widetilde{\unicode[STIX]{x1D702}}$ in $\mathbf{H}$ from $0$ to $\infty$ so that if $\unicode[STIX]{x1D711}:\mathbf{H}\rightarrow \mathbf{H}$ is a homeomorphism which is conformal off $\unicode[STIX]{x1D702}$ with $\unicode[STIX]{x1D711}(\unicode[STIX]{x1D702})=\widetilde{\unicode[STIX]{x1D702}}$ then $\unicode[STIX]{x1D711}$ is a conformal automorphism of $\mathbf{H}$. Our motivation comes from the fact that it is possible to apply our result to random conformal welding problems related to the Schramm–Loewner evolution (SLE) and Liouville quantum gravity (LQG). In particular, we show that if $\unicode[STIX]{x1D702}$ is a non-space-filling $\text{SLE}_{\unicode[STIX]{x1D705}}$ curve in $\mathbf{H}$ from $0$ to $\infty$, and $\unicode[STIX]{x1D711}$ is a homeomorphism which is conformal on $\mathbf{H}\setminus \unicode[STIX]{x1D702}$, and $\unicode[STIX]{x1D711}(\unicode[STIX]{x1D702})$, $\unicode[STIX]{x1D702}$ are equal in distribution, then $\unicode[STIX]{x1D711}$ is a conformal automorphism of $\mathbf{H}$. Applying this result for $\unicode[STIX]{x1D705}=4$ establishes that the welding operation for critical ($\unicode[STIX]{x1D6FE}=2$) LQG is well defined. Applying it for $\unicode[STIX]{x1D705}\in (4,8)$ gives a new proof that the welding of two independent $\unicode[STIX]{x1D705}/4$-stable looptrees of quantum disks to produce an $\text{SLE}_{\unicode[STIX]{x1D705}}$ on top of an independent $4/\sqrt{\unicode[STIX]{x1D705}}$-LQG surface is well defined.

We consider a random graph model that was recently proposed as a model for complex networks by Krioukov et al. (2010). In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has previously been shown that this model has various properties associated with complex networks, including a power-law degree distribution and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes N, which we think of as going to infinity, and $\alpha, \nu > 0$, which we think of as constant. Roughly speaking, $\alpha$ controls the power-law exponent of the degree sequence and $\nu$ the average degree. Earlier work of Kiwi and Mitsche (2015) has shown that, when $\alpha \lt 1$ (which corresponds to the exponent of the power law degree sequence being $\lt 3$), the diameter of the largest component is asymptotically almost surely (a.a.s.) at most polylogarithmic in N. Friedrich and Krohmer (2015) showed it was a.a.s. $\Omega(\log N)$ and improved the exponent of the polynomial in $\log N$ in the upper bound. Here we show the maximum diameter over all components is a.a.s. $O(\log N),$ thus giving a bound that is tight up to a multiplicative constant.

In Weil (2001) formulae were proved for stationary Boolean models Z in ℝd with convex or polyconvex grains, which express the densities (specific mean values) of mixed volumes of Z in terms of related mean values of the underlying Poisson particle process X. These formulae were then used to show that in dimensions 2 and 3 the densities of mixed volumes of Z determine the intensity γ of X. For d = 4, a corresponding result was also stated, but the proof given was incomplete, since in the formula for the density of the Euler characteristic V̅0(Z) of Z a term $\overline V^{(0)}_{2,2}(X,X)$ was missing. This was pointed out in Goodey and Weil (2002), where it was also explained that a new decomposition result for mixed volumes and mixed translative functionals would be needed to complete the proof. Such a general decomposition result has recently been proved by Hug, Rataj, and Weil (2013), (2018) and is based on flag measures of the convex bodies involved. Here, we show that such flag representations not only lead to a correct derivation of the four-dimensional result, but even yield a corresponding uniqueness theorem in all dimensions. In the proof of the latter we make use of Alesker’s representation theorem for translation invariant valuations. We also discuss which shape information can be obtained in this way and comment on the situation in the nonstationary case.

For a fixed k ∈ {1, …, d}, consider arbitrary random vectors X0, …, Xk ∈ ℝd such that the (k + 1)-tuples (UX0, …, UXk) have the same distribution for any rotation U. Let A be any nonsingular d × d matrix. We show that the k-dimensional volume of the convex hull of affinely transformed Xi satisfies \[|{\rm{conv}}(A{X_{\rm{0}}} \ldots ,A{X_k}){\rm{|}}\mathop {\rm{ = }}\limits^{\rm{D}} (|{P_\xi }\varepsilon |/{\kappa _k})|{\rm{conv}}\left( {{X_0}, \ldots ,{X_k}} \right)\], where ɛ:= {x ∈ ℝd : x┬ (A┬A)−1x ≤ 1} is an ellipsoid, Pξ denotes the orthogonal projection to a uniformly chosen random k-dimensional linear subspace ξ independent of X0, …, Xk, and κk is the volume of the unit k-dimensional ball. As an application, we derive the following integral geometry formula for ellipsoids: ck,d,p∫Ad,k |ɛ ∩ E|p+d+1μd,k(dE) = |ɛ|k+1∫Gd,k |PLɛ|pνd,k(dL), where $c_{k,d,p} = \big({\kappa_{d}^{k+1}}/{\kappa_k^{d+1}}\big) ({\kappa_{k(d+p)+k}}/{\kappa_{k(d+p)+d}})$. Here p > −1 and Ad,k and Gd,k are the affine and the linear Grassmannians equipped with their respective Haar measures. The p = 0 case reduces to an affine version of the integral formula of Furstenberg and Tzkoni (1971).