[論文レビュー] 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

ひとこと要約

本稿は、球面を除く二点コン pact 2-ホモジニアス空間上における実数値、連続的、等方的かつ正定値カーネルの厳密正定値性の必要十分条件を提供する。その結果、このようなカーネルが厳密正定値であるための必要十分条件は、そのジャコビ多項式展開における正の係数を有するインデックス集合が無限集合であることである。これは、球面や円周における先行研究を一般化・簡略化したものであり、スペクトル理論および調和解析の手法を用いて得られた。

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} $ の無限な台を持つことを利用する。
• 解析的数論におけるスコーレム＝マーラー＝レッチの定理を用いて、円周ケースにおける指数和の零点集合を分析する。
• 背理法および密度論的議論を用いて、すべての算術的等差数列との交わりと、無限回の交わりとの同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 球面を除く二点コンパクト2-ホモジニアス空間上における、実数値、連続的、等方的かつ正定値カーネルの厳密正定値性の必要十分条件は何か？
• 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 $ および他の二点ホモジニアス空間における先行結果を一般化・統合する。
• スコーレム＝マーラー＝レッチの定理の使用により、$ S^1 $ ケースにおける十分性の証明が洗練され、複雑な座標系に依存することなくなった。