[论文解读] 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

一句话总结

本文對緊緻兩點齊性空間乘積上的嚴格正定、連續、各向同性核提供了完整的特徵化，專注於至少一個因子為高於一維的球面且另一因子非圓周的情境。透過使用雅可比多項式展開及收斂性條件，作者根據譜分解中偶數與奇數次冪上展開係數的分佈，建立嚴格正定性的必要與充分條件。

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）而另一因子非圓周的情境下，以譜係數為基礎，建立嚴格正定性的必要與充分條件。
• 彌補文獻中關於球面與其他兩點齊性空間（如射影空間）混合乘積上嚴格正定性之研究缺口。
• 提出統一框架，結合超幾何函數與正交多項式展開，用於分析此類乘積空間上的正定性。

提出的方法

• 利用各向同性條件，將乘積空間上的核表示為測地距離的函數，透過半距離餘弦表達。
• 以雅可比多項式 $ P_k^{(d-2)/2,eta}(t) $ 和 $ P_l^{(d'-2)/2,eta'}(s) $ 進行各向同性部分的級數展開，並要求係數非負。
• 應用收斂性準則，透過在 1 處評估雅可比多項式以確保正定性。
• 引入「$ DC $-嚴格正定性」概念，作為推導完整嚴格正定性條件的過渡步驟。
• 應用譜分析與正交多項式系統的函數方程，分析係數序列的消失性質。
• 透過係數序列的反證法與極限論證，證明當係數集合的支撐中不包含無限多個偶數與奇數次冪時，將導致嚴格正定性失效。

实验结果

研究问题

• RQ1 當一個因子為維度 ≥ 2 的球面而另一因子非圓周時，何種譜係數條件可確保緊緻兩點齊性空間乘積上各向同性核的嚴格正定性？
• RQ2 雅可比多項式展開中，係數在偶數與奇數次冪上的分佈如何與此類乘積空間上的嚴格正定性相關？
• RQ3 是否可將 $ S^d imes ext{other} $ 空間上嚴格正定性的特徵化結果，從兩球面乘積的情境推廣至更廣泛的情形？
• RQ4 對蹠點集與測地距離性質在這些流形上嚴格正定性分析中扮演何種角色？
• RQ5 能否將已知的球面乘積上嚴格正定性結果，推廣至包含射影空間或其他兩點齊性空間的乘積？

主要发现

• 在 $ ext{M}^d imes ext{H}^{d'} $ 上，實值、連續、各向同性核 $ K $ 為正定的充要條件是其各向同性部分可展開為雅可比多項式級數，且係數非負、總質量有限。
• 若 $ K $ 在 $ S^d imes ext{H}^{d'} $ 上嚴格正定（$ d e 1 $ 且 $ ext{H}^{d'} $ 非球面），則其係數集合 $ J_K $ 必須包含兩組序列：一組具有無限多個偶數 $ k $-指標，另一組具有無限多個奇數 $ k $-指標，且兩者均發散至無窮。
• 核 $ K $ 的嚴格正定性等價於譜分解中偶數與奇數次冪分量的係數序列均不消失。
• 證明依賴於顯示：當此類無限序列存在時，由核取值導出的方程組的唯一解為平凡解，從而確保所有插值矩陣的正定性。
• 該特徵化將先前針對 $ S^d imes S^{d'} $ 的結果推廣至更廣泛的緊緻兩點齊性空間類別，但排除涉及 $ S^1 $ 的情形。
• 涉及 $ S^1 $ 的乘積（特別是當一個或兩個因子為圓周時）仍為開放問題。