• ### Bicovariograms and Euler characteristic of random fields excursions(1510.00502)

Dec. 7, 2018 math.PR
Let f be a C1 bivariate function with Lipschitz derivatives, and F = {x $\in$ R2 : f(x) $\lambda$} an upper level set of f, with $\lambda$ $\in$ R. We present a new identity giving the Euler characteristic of F in terms of its three-points indicator functions. A bound on the number of connected components of F in terms of the values of f and its gradient, valid in higher dimensions, is also derived. In dimension 2, if f is a random field, this bound allows to pass the former identity to expectations if f's partial derivatives have Lipschitz constants with finite moments of sufficiently high order, without requiring bounded conditional densities. This approach provides an expression of the mean Euler characteristic in terms of the field's third order marginal. Sufficient conditions and explicit formulas are given for Gaussian fields, relaxing the usual C2 Morse hypothesis.
• ### Shot-noise excursions and non-stabilizing Poisson functionals(1712.01558)

Jan. 31, 2018 math.PR
This article presents an asymptotic study of shot noise processes excursions, and of a more general class of statistics on marked spatial Poisson processes. A particularity of shot noise excursions, with respect to many popular objects of stochastic geometry, is that they are not stabilizing in general, but still a modification of the point process far from 0 will not modify the excursion set close to the origin by much. We shall present a complete second order theory that is applicable to stabilizing functionals, as well as non-stabilizing ones that satisfy this principle. This goes through a general mixing-type condition that adapts nicely to both proving asymptotic normality and volumic variance.
• ### Bounds to the normal for proximity region graphs(1510.09188)

April 10, 2017 math.PR
In a proximity region graph ${\cal G}$ in $\mathbb{R}^d$, two distinct points $x,y$ of a point process $\mu$ are connected when the 'forbidden region' $S(x,y)$ these points determine has empty intersection with $\mu$. The Gabriel graph, where $S(x,y)$ is the open disc with diameter the line segment connecting $x$ and $y$, is one canonical example. When $\mu$ is a Poisson or binomial process, under broad conditions on the regions $S(x,y)$, bounds on the Kolmogorov and Wasserstein distances to the normal are produced for functionals of ${\cal G}$, including the total number of edges and the total length. Variance lower bounds, not requiring strong stabilization, are also proven to hold for a class of such functionals.
• ### Bicovariograms and Euler characteristic I. Regular sets(1510.00501)

March 10, 2017 math.PR
We establish an expression of the \EC~of a $r$-regular planar set in function of some variographic quantities. The usual $\mathcal{C} ^{2}$ framework is relaxed to a $\mathcal{C} ^{1,1}$ regularity assumption, generalising existing local formulas for the \EC. We give also general bounds on the number of connected components of a measurable set of $\mathbb{R}^{2}$ in terms of local quantities. These results are then combined to yield a new expression of the mean \EC~of a random regular set, depending solely on the third order marginals for arbitrarily close arguments. We derive results for level sets of some moving average processes and for the boolean model with non-connected polyrectangular grains in $\mathbb{R}^{2}$. Applications to excursions of smooth bivariate random fields are derived in the companion paper \cite{LacEC2}, and applied for instance to $\C^{1,1}$ Gaussian fields, generalising standard results.
• ### Normal approximation for stabilizing functionals(1702.00726)

Feb. 2, 2017 math.PR
We establish presumably optimal rates of normal convergence with respect to the Kolmogorov distance for a large class of geometric functionals of marked Poisson and binomial point processes on general metric spaces. The rates are valid whenever the geometric functional is expressible as a sum of exponentially stabilizing score functions satisfying a moment condition. By incorporating stabilization methods into the Malliavin-Stein theory, we obtain rates of normal approximation for sums of stabilizing score functions which either improve upon existing rates or are the first of their kind. Our general rates hold for functionals of marked input on spaces more general than full-dimensional subsets of $\mathbb{R}^d$, including $m$-dimensional Riemannian manifolds, $m\leq d$. We use the general results to deduce improved and new rates of normal convergence for several functionals in stochastic geometry, including those whose variances re-scale as the volume or the surface area of an underlying set. In particular, we improve upon rates of normal convergence for the $k$-face and $i$th intrinsic volume functionals of the convex hull of Poisson and binomial random samples in a smooth convex body in dimension $d\geq 2$. We also provide improved rates of normal convergence for statistics of nearest neighbors graphs and high-dimensional data sets, the number of maximal points in a random sample, estimators of surface area and volume arising in set approximation via Voronoi tessellations, and clique counts in generalized random geometric graphs.
• ### Two-dimensional Kac-Rice formula. Application to shot noise processes excursions(1607.05467)

July 19, 2016 math.PR
Given a deterministic function f:R^2->R atisfying suitable assump- tions, we show that for h smooth with compact support, the integral of the Euler characteristic of the excursion set of f above some level u against a test function h corresponds to the Lebesgue integral on R^2 of a bounded quantity depending on grad(f)(x),h(f(x)),h'(f(x)) and \partial_{ii}f(x),i = 1,2. This formula can be seen as a 2-dimensional analogue of Kac-Rice formula. It yields in particular that the left hand member is continuous in the argument f, for an appropriate norm on the space of C2 functions. If f is a random field, the expectation can be passed under integrals in this identity under minimal requirements, not involving any density assumptions on the marginals of f or his derivatives. We apply these results to give a weak expression of the mean Euler characteristic of a shot noise process, and the finiteness of its moments.
• ### Limit theorems for a class of stationary increments Levy driven moving averages(1603.07382)

March 23, 2016 math.PR
In this paper we present some new limit theorems for power variation of $k$th order increments of stationary increments L\'evy driven moving averages. In the infill asymptotic setting, where the sampling frequency converges to zero while the time span remains fixed, the asymptotic theory gives very surprising results, which (partially) have no counterpart in the theory of discrete moving averages. More specifically, we will show that the first order limit theorems and the mode of convergence strongly depend on the interplay between the given order of the increments, the considered power $p>0$, the Blumenthal--Getoor index $\beta \in (0,2)$ of the driving pure jump L\'evy process $L$ and the behaviour of the kernel function $g$ at $0$ determined by the power $\alpha$. First order asymptotic theory essentially comprises three cases: stable convergence towards a certain infinitely divisible distribution, an ergodic type limit theorem and convergence in probability towards an integrated random process. We also prove the second order limit theorem connected to the ergodic type result. When the driving L\'evy process $L$ is a symmetric $\beta$-stable process we obtain two different limits: a central limit theorem and convergence in distribution towards a $(1-\alpha )\beta$-stable totally right skewed random variable.
• ### Boundary density and Voronoi set estimation for irregular sets(1501.04724)

Nov. 24, 2015 math.PR
In this paper, we study the inner and outer boundary densities of some sets with self-similar boundary having Minkowski dimension $s\textgreater{}d-1$ in $\mathbb{R}^{d}$. These quantities turn out to be crucial in some problems of set estimation theory, as we show here for the Voronoi approximation of the set with a random input constituted by $n$ iid points in some larger bounded domain. We prove that some classes of such sets have positive inner and outer boundary density, and therefore satisfy Berry-Essen bounds in $n^{-s/2d}$ for Kolmogorov distance. The Von Koch flake serves as an example, and a set with Cantor boundary as a counter-example. We also give the almost sure rate of convergence of Hausdorff distance between the set and its approximation.
• ### Limit theorems for stationary increments L\'evy driven moving averages(1506.06679)

June 22, 2015 math.PR
In this paper we present some new limit theorems for power variation of $k$th order increments of stationary increments L\'evy driven moving averages. In this infill sampling setting, the asymptotic theory gives very surprising results, which (partially) have no counterpart in the theory of discrete moving averages. More specifically, we will show that the first order limit theorems and the mode of convergence strongly depend on the interplay between the given order of the increments, the considered power $p>0$, the Blumenthal-Getoor index $\beta \in (0,2)$ of the driving pure jump L\'evy process $L$ and the behaviour of the kernel function $g$ at $0$ determined by the power $\alpha$. First order asymptotic theory essentially comprise three cases: stable convergence towards a certain infinitely divisible distribution, an ergodic type limit theorem and convergence in probability towards an integrated random process. We also prove the second order limit theorem connected to the ergodic type result. When the driving L\'evy process $L$ is a symmetric $\beta$-stable process we obtain two different limits: a central limit theorem and convergence in distribution towards a $(1-\alpha )\beta$-stable random variable.
• ### New Kolmogorov bounds for functionals of binomial point processes(1505.04640)

May 18, 2015 math.PR
We obtain explicit Berry-Esseen bounds in the Kolmogorov distance for the normal approximation of non-linear functionals of vectors of independent random variables. Our results are based on the use of Stein's method and of random difference operators, and generalise the bounds recently obtained by Chatterjee (2008), concerning normal approximations in the Wasserstein distance. In order to obtain lower bounds for variances, we also revisit the classical Hoeffding decompositions, for which we provide a new proof and a new representation. Several applications are discussed in detail: in particular, new Berry-Esseen bounds are obtained for set approximations with random tessellations, as well as for functionals of covering processes.
• ### Regularity conditions in the realisability problem with applications to point processes and random closed sets(1102.1950)

Jan. 19, 2015 math-ph, math.MP, math.PR
We study existence of random elements with partially specified distributions. The technique relies on the existence of a positive extension for linear functionals accompanied by additional conditions that ensure the regularity of the extension needed for interpreting it as a probability measure. It is shown in which case the extension can be chosen to possess some invariance properties. The results are applied to the existence of point processes with given correlation measure and random closed sets with given two-point covering function or contact distribution function. It is shown that the regularity condition can be efficiently checked in many cases in order to ensure that the obtained point processes are indeed locally finite and random sets have closed realisations.
• ### The convex class of realisable unit covariances(1301.4402)

Jan. 18, 2013 math.PR, math.MG
This paper concerns the characterisation of second order marginals for random sets in a discrete setting. Under the instance of unit covariances, this problem possesses a combinatorial symmetry, exploited jointly in the companion paper to give a heuristic procedure to check realisability. In particular we disprove Matheron's conjecture, and explicit partially the structure of the convex body formed by realisable unit covariances in a finite set.
• ### Fine Gaussian fluctuations on the Poisson space, I: contractions, cumulants and geometric random graphs(1111.7312)

June 23, 2012 math.PR
We study the normal approximation of functionals of Poisson measures having the form of a finite sum of multiple integrals. When the integrands are nonnegative, our results yield necessary and sufficient conditions for central limit theorems. These conditions can always be expressed in terms of contraction operators or, equivalently, fourth cumulants. Our findings are specifically tailored to deal with the normal approximation of the geometric $U$-statistics introduced by Reitzner and Schulte (2011). In particular, we shall provide a new analytic characterization of geometric random graphs whose edge-counting statistics exhibit asymptotic Gaussian fluctuations, and describe a new form of Poisson convergence for stationary random graphs with sparse connections. In a companion paper, the above analysis is extended to general $U$-statistics of marked point processes with possibly rescaled kernels.
• ### Fine Gaussian fluctuations on the Poisson space II: rescaled kernels, marked processes and geometric U-statistics(1205.0632)

June 1, 2012 math.PR
Continuing the analysis initiated in Lachi\'eze-Rey and Peccati (2011), we use contraction operators to study the normal approximation of random variables having the form of a U-statistic written on the points in the support of a random Poisson measure. Applications are provided: to boolean models, and coverage of random networks.
• ### Rearrangements of gaussian fields(0909.1288)

March 9, 2011 math.PR
The monotone rearrangement of a function is the non-decreasing function with the same distribution. The convex rearrangement of a smooth function is obtained by integrating the monotone rearrangement of its derivative. This operator can be applied to regularizations of a stochastic process to measure quantities of interest in econometrics. A multivariate generalization of these operators is proposed, and the almost sure convergence of rearrangements of regularized Gaussian fields is given. For the Fractional Brownian field or the Brownian sheet approximated on a simplicial grid, it appears that the limit object depends on the orientation of the simplices.
• ### Concave majorant of stochastic processes and Burgers turbulence(0909.1088)

March 8, 2011 math.PR
The asymptotic solution of the inviscid Burgers equations with initial potential $\psi$ is closely related to the convex hull of the graph of $\psi$. In this paper, we study this convex hull, and more precisely its extremal points, if $\psi$ is a stochastic process. The times where those extremal points are reached, called extremal times, form a negligible set for L\'evy processes, their integrated processes, and It\^o processes. We examine more closely the case of a L\'evy process with bounded variation. Its extremal points are almost surely countable, with accumulation only around the extremal values. These results are derived from the general study of the extremal times of $\psi+f$, where $\psi$ is a L\'evy process and $f$ a smooth deterministic drift. These results allow us to show that, for an inviscid Burgers turbulence with a compactly supported initial potential $\psi$, the only point capable of being Lagrangian regular is the time $T$ where $\psi$ reaches its maximum, and that is indeed a regular point iff 0 is regular for both half-lines. As a consequence, if the turbulence occurs on a non-compact interval, there are a.s. no Lagrangian regular points.
• ### Strong mixing property for STIT tessellations(0905.1145)

May 17, 2009 math.PR, math.DS
The so-called STIT tessellations form the class of homogeneous (spatially stationary) tessellations of $\mathbb{R}^d$ which are stable under the nesting/iteration operation. In this paper, we establish the strong mixing property for these tessellations and give the optimal form of the rate of decay for the quantity $|\mathbb{P}({A}\cap Y=\emptyset,T_h B \cap Y=\emptyset)-\mathbb{P}({A}\cap Y=\emptyset)\mathbb{P}({B}\cap Y=\emptyset)|$ when $A$ and $B$ are two compact sets, $h$ a vector of $\mathbb{R}^d$, $T_{h}$ the corresponding translation operator and $Y$ a STIT Tessellation.