[论文解读] Strictly positive definite kernels on two-point compact homogeneous spaces

V. S. Barbosa, V‎. ‎A‎. Menegatto|arXiv (Cornell University)|May 4, 2015

Advanced Harmonic Analysis Research参考文献 13被引用 10

一句话总结

本文为在除球面外的两两紧致齐次空间上，实值、连续、各向同性且正定的核函数，提供了严格正定性的必要且充分条件。研究结果表明，此类核函数严格正定当且仅当其雅可比多项式展开中正系数对应的指标集合为无限集，该结论推广并简化了此前针对球面与圆周的研究结果，采用谱分析与调和分析方法。

ABSTRACT

We present a necessary and sufficient condition for the strict positive definiteness of a real, continuous, isotropic and positive definite kernel on a two-point compact homogeneous space. The characterization adds to others previously obtained by D. Chen at all (2003) in the case in which the space is a sphere of dimension at least 2 and Menegatto at all (2006) in the case in which the space is the unit circle. As an application, we use the characterization to improve upon a recent result on the differentiability of positive definite kernels on the spaces.

研究动机与目标

• 将现有关于紧致两两齐次空间上各向同性核函数严格正定性的表征结果进行拓展与统一。
• 解决此前结果有限或缺失的非球面空间（如射影空间）的情形。
• 提供一个统一的、基于群论与谱论的框架，适用于所有此类空间。
• 简化此前依赖坐标特定论证的球面 $ S^d $ 上严格正定性的证明。
• 将该表征方法应用于改进这些空间上正定核函数的可微性结果。

提出的方法

• 利用两两齐次空间上拉普拉斯-贝尔特拉米算子的谱分解，分析核函数的结构。
• 运用加法公式与空间之间的等距嵌入，实现不同流形间结果的转移。
• 应用雅可比多项式 $ P_k^{\alpha,\beta} $ 的理论，通过级数展开表示各向同性核函数。
• 采用严格正定性的必要且充分条件：展开式中系数 $ a_k^{\alpha,\beta} $ 的支集为无限集。
• 将解析数论中的 Skolem-Mahler-Lech 定理由应用于分析圆周情形下指数和的零点集。
• 通过反证法与密度论证，建立与所有等差数列相交的等价性，以及与每个等差数列无限相交的等价性。

实验结果

研究问题

• RQ1 对于非球面的两两紧致齐次空间，实值、连续、各向同性且正定的核函数，其严格正定性的必要且充分条件是什么？
• RQ2 如何利用调和分析与谱论方法，重新推导圆周 $ S^1 $ 上严格正定性的表征？
• RQ3 能否利用新框架简化 $ S^d $，$ d \geq 2 $ 上严格正定性证明的技术？
• RQ4 无限支集条件对这些空间上正定核函数可微性有何影响？
• RQ5 拉普拉斯-贝尔特拉米算子的谱性质与特征空间结构，如何与严格正定性相关联？

主要发现

• 对于 $ \mathbb{M}^d \neq S^d $，实值、连续、各向同性且正定的核函数 $ K $ 严格正定当且仅当集合 $ \{k \in \mathbb{Z}_+ : a_k^{(d-2)/2,\beta} > 0\} $ 为无限集。
• 定理 1.1 的证明提供了一种显著简化原始基于坐标的 $ S^d $，$ d \geq 2 $ 上严格正定性证明的替代方法。
• 在 $ S^1 $ 上，严格正定性成立当且仅当系数集合 $ \{k : a_{|k|}^{-1/2,-1/2} > 0\} $ 与 $ \mathbb{Z} $ 中每个完整的等差数列相交，且该条件等价于与每个此类等差数列无限次相交。
• 第 4 节的应用改进了近期关于 $ \mathbb{M}^d $ 上正定核函数可微性的结果，借助新表征方法。
• 通过系数无限支集的表征，统一并推广了此前针对 $ S^1 $、$ S^d $ 及其他两两齐次空间的结果。
• 应用 Skolem-Mahler-Lech 定理使得 $ S^1 $ 情形下充分性的证明更加简洁清晰，避免了对复杂坐标系的依赖。