Generalizations of Schoenberg's theorem on positive definite kernels

arXiv1904.02538MaRDI QIDQ6316690FDOQ6316690

Authors: Olga Kuryatnikova, Juan Vera 

Publication date: 2 April 2019

Abstract: The seminal theorem of I.J. Schoenberg characterizes positive definite (p.d.) kernels on the unit sphere $S^{n-1}$ invariant under the automorphisms of the sphere. We obtain two generalizations of this theorem for p.d. kernels on fiber bundles. Our first theorem characterizes invariant p.d. kernels on bundles whose fiber is a product of a compact set and the unit sphere. This result implies, in particular, a characterization of invariant under the automorphisms of the sphere, p.d. kernels on a product of $S^{n-1}$ and a compact set. Our second result characterizes invariant p.d. kernels on the bundle whose fiber is $S^{n-1}$, base space is $(S^{n-1}{)}^r$ and map is the projection on the base space. This set of kernels is isomorphic to the set of invariant under the automorphisms of the sphere continuous functions $F$ on $(S^{n-1}{)}^{r+2}$ such that $F(cdot,cdot,Z)$ is positive definite for every $Zin(S^{n-1}{)}^r$. When $Z$ is fixed, this class reduces to the class of p.d. kernels invariant under the stabilizer of $Z$ in the automorphism group of the sphere. For $r=1$ these kernels have been used to obtain upper bounds for the spherical codes problem. Our extension for $r>1$ can be used to construct new upper bounds on the size of spherical codes.

This page was built for publication: Generalizations of Schoenberg's theorem on positive definite kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316690)