Kernels on Compact Manifolds

Warning

You can get by fine without reading this page for almost all use cases, just use the standard MaternGeometricKernel, following the example notebook on hypersheres.

This is optional material meant to explain the basic theory and based mainly on Borovitskiy et al. [2020]. [1]

Theory

For compact Riemannian manifolds, MaternGeometricKernel is an alias to MaternKarhunenLoeveKernel. For such a manifold M the latter is given by the formula

kν,κ(x,x)=1Cν,κj=0J1Φν,κ(λj)fj(x)fj(x)Φν,κ(λ)={(2νκ2+λ)νd2ν< — Matérneκ22λν= — Heat (RBF)
The notation here is as follows.

  • The values λj0 and the functions fj() are eigenvalues and eigenfunctions of the minus Laplace–Beltrami operator ΔM on M such that

    ΔMfj=λjfj.
    The functions {fj}j=0 constitute an orthonormal basis of the space L2(M) of square integrable functions on the manifold M with respect to the inner product f,gL2(M)=1|M|Mf(x)g(x)dx, where |M| denotes the volume of the manifold M.

  • d is the dimension of the manifold.

  • The number of eigenpairs 1J< controls the quality of approximation of the kernel. For some manifolds, e.g. manifolds represented by discrete meshes, this corresponds to the number of levels parameter of the MaternKarhunenLoeveKernel. For others, for which the addition theorem holds (see the respective page), the number of levels parameter has a different meaning [2].

  • Cν,κ is the constant which ensures that average variance is equal to 1, i.e. 1|M|Mk(x,x)dx=1. It is easy to show that Cν,κ=j=0J1Φν,κ(λj).

Note: For general manifolds, k(x,x) can vary from point to point. You usually observe this for manifolds represented by meshes, the ones which do not have a lot of symmetries. On the other hand, for the hyperspheres k(x,x) is a constant, as it is for all homogeneous spaces which hyperspheres are instances of, as well as for Lie groups (which are also instances of homogeneous spaces).

Footnotes