
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
threepoints 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.

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
nonstabilizing ones that satisfy this principle. This goes through a general
mixingtype condition that adapts nicely to both proving asymptotic normality
and volumic variance.

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.

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 nonconnected
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.

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 MalliavinStein 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
fulldimensional 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 rescale 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 highdimensional 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.

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 2dimensional analogue of KacRice 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.

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 BlumenthalGetoor
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.

In this paper, we study the inner and outer boundary densities of some sets
with selfsimilar boundary having Minkowski dimension $s\textgreater{}d1$ 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 BerryEssen bounds in $n^{s/2d}$ for
Kolmogorov distance. The Von Koch flake serves as an example, and a set with
Cantor boundary as a counterexample. We also give the almost sure rate of
convergence of Hausdorff distance between the set and its approximation.

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 BlumenthalGetoor
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.

We obtain explicit BerryEsseen bounds in the Kolmogorov distance for the
normal approximation of nonlinear 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 BerryEsseen
bounds are obtained for set approximations with random tessellations, as well
as for functionals of covering processes.

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 twopoint 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.

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.

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
edgecounting 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.

Continuing the analysis initiated in Lachi\'ezeRey and Peccati (2011), we
use contraction operators to study the normal approximation of random variables
having the form of a Ustatistic written on the points in the support of a
random Poisson measure. Applications are provided: to boolean models, and
coverage of random networks.

The monotone rearrangement of a function is the nondecreasing 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.

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 halflines. As a
consequence, if the turbulence occurs on a noncompact interval, there are a.s.
no Lagrangian regular points.

The socalled 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.