Abstract:We find probability error bounds for approximations of functions $f$ in a separable reproducing kernel Hilbert space $\mathcal{H}$ with reproducing kernel $K$ on a base space $X$, firstly in terms of finite linear combinations of functions of type $K_{x_i}$ and then in terms of the projection $\pi^n_x$ on $\mathrm{Span}\{K_{x_i}\}^n_{i=1}$, for random sequences of points $x=(x_i)_i$ in $X$. Given a probability measure $P$, letting $P_K$ be the measure defined by $\mathrm{d} P_K(x)=K(x,x)\mathrm{d} P(x)$, $x\in X$, our approach is based on the nonexpansive operator \[L^2(X;P_K)\ni\lambda\mapsto L_{P,K}\lambda:=\int_X \lambda(x)K_x\mathrm{d} P(x)\in \mathcal{H},\] where the integral exists in the Bochner sense. Using this operator, we then define a new reproducing kernel Hilbert space, denoted by $\mathcal{H}_P$, that is the operator range of $L_{P,K}$. Our main result establishes bounds, in terms of the operator $L_{P,K}$, on the probability that the Hilbert space distance between an arbitrary function $f\in\mathcal{H}$ and linear combinations of functions of type $K_{x_i}$, for $(x_i)_i$ sampled independently from $P$, falls below a given threshold. For sequences of points $(x_i)_{i=1}^\infty$ constituting a so-called uniqueness set, the orthogonal projections $\pi^n_x$ to $\mathrm{Span}\{K_{x_i}\}^n_{i=1}$ converge in the strong operator topology to the identity operator. We prove that, under the assumption that $\mathcal{H}_P$ is dense in $\mathcal{H}$, any sequence of iid samples from $P$ yields a uniqueness set with probability $1$. This result improves on previous error bounds in weaker norms, such as uniform or $L^p$ norms, which yield only convergence in probability and not a.c. convergence. Two examples that show the applicability of this result to a uniform distribution on a compact interval and to the Hardy space $H^2(\mathbb{D})$ are presented as well.

A Blaschke-Petkantschin formula for linear and affine subspaces with application to intersection probabilities

Intersection probabilities for flats in hyperbolic space

How to project onto the intersection of a closed affine subspace and a hyperplane

Intersections of Poisson k-flats in hyperbolic space: completing the picture

Nonarchimedean integral geometry

Small Ball Probabilities for Simple Random Tensors

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Intersection patterns and incidence theorems

Limit theorems for mixed-norm sequence spaces with applications to volume distribution

A random line intersects $\mathbb{S}^2$ in two probabilistically independent locations

Selected topics from the theory of intersections of balls

Tail probabilities of random linear functions of regularly varying random vectors

Probabilistic Effectivity in the Subspace Theorem

An Intersection Matrix for Affine Hyperplane Arrangements

On eigenvalue inequalities of Schmuckenschlager

On the probability of linear separability through intrinsic volumes

Intersections of sets, diophantine equations and Fourier analysis

Anzahl theorems for trivially intersecting subspaces generating a non-singular subspace I: symplectic and hermitian forms

Probability error bounds for approximation of functions in reproducing kernel Hilbert spaces

Stationary probability measures on projective spaces 2: the critical case

Unifying the Brascamp-Lieb Inequality and the Entropy Power Inequality