[論文レビュー] Strict positive definiteness on a product of compact two-point homogeneous spaces

V. S. Barbosa, V‎. ‎A‎. Menegatto|arXiv (Cornell University)|May 23, 2016

Geometric Analysis and Curvature Flows参考文献 9被引用数 4

ひとこと要約

本稿は、少なくとも一方の因子が次元2以上の球面であり、もう一方が円でない場合に限って、コンパクトな2点推移的空間の直積上の厳密に正定値で連続的かつ回転対称なカーネルの完全な特徴付けを提供する。ジャコビ多項式を用いた級数展開と収束条件を用い、スペクトル分解における展開係数の偶数次と奇数次の分布に基づいて、厳密正定値性の必要十分条件を確立する。

ABSTRACT

We present an explicit characterization for the real, continuous, isotropic and strictly positive definite kernels on a product of compact two-point homogeneous spaces, in the cases in which at least one of the spaces is a sphere of dimension greater than 1 and the other is not a circle. The result complements similar characterizations previously obtained for products of high dimensional spheres.

研究の動機と目的

• コンパクトな2点推移的空間の直積上の実数値、連続的、回転対称的かつ厳密正定値カーネルの特徴付けを行う。
• 高次元球面の直積に関する既存の厳密正定値性の結果を、より一般の空間へと拡張する。
• 一方の因子が球面（次元 ≥ 2）で、もう一方が円でない場合に、スペクトル係数の観点から厳密正定値性の必要十分条件を確立する。
• 特に、射影空間などの他の2点推移的空間と組み合わせた球面を含む混合直積における厳密正定値性に関する文献の空白を埋める。
• 超幾何関数と直交多項式展開を用いた統一的な枠組みを提供し、このような直積空間上での正定値性の分析を行う。

提案手法

• 等方性条件を用いて、測地的距離の余弦関数を介して、直積空間上のカーネルを関数として表現する。
• 非負の係数を持つジャコビ多項式 $ P_k^{(d-2)/2,eta}(t) $ および $ P_l^{(d'-2)/2,eta'}(s) $ を用いた、等方的部の級数展開を採用する。
• ジャコビ多項式を1で評価する収束基準を適用し、正定値性を保証する。
• DC-厳密正定値性という概念を導入し、これを全般的な厳密正定値性の条件を導出するための出発点とする。
• 直交多項式系に関するスペクトル解析と関数方程式を用い、係数列の消滅を分析する。
• 係数列に対して背理法と極限論的議論を適用し、係数集合のサポートに無限個の偶数次および奇数次のインデックスが存在しない場合、厳密正定値性が成立しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一方の因子が次元 ≥ 2 の球面で、もう一方が円でない場合に、直積空間上の回転対称カーネルのスペクトル係数にどのような条件が課されると、厳密正定値性が保証されるか？
• RQ2 ジャコビ多項式展開における係数の偶数次と奇数次への分布は、このような直積空間上での厳密正定値性とどのように関係するか？
• RQ3 二つの球面の直積に限らない、$ S^d imes \text{other} $ 空間上での厳密正定値性の特徴付けは、どのように拡張可能か？
• RQ4 対蹠的集合や測地的距離の性質は、これらの多様体上での厳密正定値性の分析において、どのような役割を果たすか？
• RQ5 球面の直積に関する既知の厳密正定値性の結果を、射影空間や他の2点推移的空間を含む直積へ一般化することは可能か？

主な発見

• コンパクトな2点推移的空間 $ \text{M}^d \times \text{H}^{d'} $ 上の実数値、連続的、回転対称カーネル $ K $ が正定値であるための必要十分条件は、その等方的部が非負係数を持つジャコビ多項式展開を持ち、全質量が有限であることである。
• $ S^d \times \text{H}^{d'} $ 上で $ d \ne 1 $ かつ $ \text{H}^{d'} $ が球面でない場合に $ K $ が厳密正定値であるための必要十分条件は、係数集合 $ J_K $ が無限個の偶数 $ k $-インデックスと無限個の奇数 $ k $-インデックスを含む2つの列を含むことである。
• $ K $ の厳密正定値性は、スペクトル分解における偶数次および奇数次成分の両方の係数列が消えないことと同値である。
• 証明は、このような無限列が存在する場合に、カーネル評価から導かれる方程式系の唯一の解が自明であることを示すことに基づき、すべての補間行列の正定値性を保証する。
• 従来の $ S^d \times S^{d'} $ の結果を、$ S^1 $ を含まないより広いクラスのコンパクトな2点推移的空間へと拡張する。
• 一方、$ S^1 $ を含む直積については、未解決の問題が残っている。特に、1つまたは両方の因子が円である場合にその問題が残っている。