[論文レビュー] A Pólya criterion for (strict) positive definiteness on the sphere

R. K. Beatson, Wolfgang zu Castell+1 more|arXiv (Cornell University)|Oct 11, 2011

Mathematical functions and polynomials参考文献 3被引用数 4

ひとこと要約

本稿では、ギーゲンバウアー多項式を含む積分の非負性に基づき、球面上のゾナール関数の（厳密な）正定値性のポリア型基準を提案する。3次元から8次元の次元についてその予想を証明し、すべてのギーゲンバウアー係数を計算する必要なく、厳密な正定値性を検証する実用的な十分条件を提供する。これにより、信頼性の高いカーネルに基づく補間が可能になる。

ABSTRACT

Positive definite functions are very important in both theory and applications of approximation theory, probability and statistics. In particular, identifying strictly positive definite kernels is of great interest as interpolation problems corresponding to these kernels are guaranteed to be poised. A Bochner type result of Schoenberg characterises continuous positive definite zonal functions, $f(\cos \cdot)$, on the sphere $\Sdmone$, as those with nonnegative Gegenbauer coefficients. More recent results characterise strictly positive definite functions on $\Sdmone$ by stronger conditions on the signs of the Gegenbauer coefficients. Unfortunately, given a function $f$, checking the signs of all the Gegenbauer coefficients can be an onerous, or impossible, task. Therefore, it is natural to seek simpler sufficient conditions which guarantee (strict) positive definiteness. We state a conjecture which leads to a Pólya type criterion for functions to be (strictly) positive definite on the sphere $\Sdmone$. In analogy to the case of the Euclidean space, the conjecture claims positivity of a certain integral involving Gegenbauer polynomials. We provide a proof of the conjecture for $d$ from 3 to 8.

研究の動機と目的

• 球面上のゾナール関数の（厳密な）正定値性の単純で検証可能な十分条件を構築し、すべてのギーゲンバウサー係数を計算する必要を回避すること。
• ユークリッド空間における古典的ポリア基準を球面設定に拡張し、ギーゲンバウサー多項式に関する積分条件を活用すること。
• 特定の積分変換の非負性を（厳密な）正定値性の十分条件として含む予想を確立すること。
• 次元 $d = 3$ から $8$ まで、その予想を証明し、厳密な正定値カーネルを識別する構成的枠組みを提供すること。
• 保証された厳密な正定値性を持つカーネルを特定することで、安定かつ適切な配置の補間スキームの構築を支援すること。

提案手法

• ギーゲンバウサー多項式を含むある積分が非負である場合、関数 $f(\cos \theta)$ が $\mathbb{S}^{d-1}$ 上で（厳密に）正定値であるという予想を提示する。
• 関数 $f(\cos \theta)$ のギーゲンバウサー展開を用いて、$[-1,1]$ 上の直交多項式でカーネルを表現する。
• 生成関数 $h(u)$ の導関数に基づく補助関数 $H_n(u)$ を定義し、その符号を分析することで、カーネルの積分条件の正の性質を検証する。
• 漸近解析と数値計算を用いて、$H_n(u) < 0$ となる領域を特定し、カーネル変換 $F_n^3(t)$ の正の性質を保証する。
• ギーゲンバウサー多項式 $C_n^3(\cos \theta)$ の最大零点の境界と $\sin t_n^*$ の漸近的推定値を用いて、$F_n^3(t)$ の正の領域の重なりを確立する。
• $n \leq 14$ については、$[0, \pi]$ 上で $F_n^3(t)$ の明示的表現を直接数値プロットすることで証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 球面上の（厳密な）正定値性のポリア型十分条件を、ギーゲンバウサー多項式に関する積分条件を用いて定式化できるか？
• RQ2 特定のギーゲンバウサー多項式を含む積分の非負性を仮定する上記の予想は、次元 $d = 3$ から $8$ に対して成立するか？
• RQ3 すべてのギーゲンバウサー係数を計算せずに、この予想を証明できるか。これにより、厳密な正定値性の実用的検証が可能になるか？
• RQ4 大きな $n$ および小さな $n$ に対して、カーネル変換 $F_n^3(t)$ は $[0, \pi]$ 上でどのように振る舞い、正のままであるか？
• RQ5 $C_n^3(\cos \theta)$ の最大零点の漸近的推定値と $F_n^3(t)$ の正の領域がどのように相互作用し、全体としての正の性質を保証するか？

主な発見

• 球面上の（厳密な）正定値性のポリア型基準に関する予想は、次元 $d = 3$ から $8$ まですべての次元で真であると証明された。
• テスト関数を構築するために、$h(u) = \int_0^1 (1-s)^4 \cos(su) \, ds$ を用い、その導関数を分析することで $H_n(u)$ の符号条件を検証した。
• すべての $n \geq 9$ に対して、$u > u^* \approx 3.63661$ のとき $H_n(u) < 0$ であることが示され、$t > u^*/n$ に対して $\frac{d}{dn}G_n^{2,3}(t) > 0$ が成り立つ。これはカーネル変換の正の性質を支持する。
• ギーゲンバウサー多項式 $C_n^3(\cos \theta)$ の最大零点の境界を用いて、$F_n^3(t)$ が $(0, \sin t_n^*)$ で正であることが確立され、$\sin t_n^* \geq \frac{\sqrt{6 + \pi^2}}{n+1} + \mathcal{O}(n^{-2})$ が得られた。
• すべての $n > 14$ に対して、漸近的および数値的解析による $F_n^3(t)$ の正の領域が重なり合い、区間 $(0, \pi)$ 全体をカバーする。これにより、全体としての正の性質が保証された。
• すべての $n \leq 14$ については、$F_n^3(t)$ の明示的表現を直接数値評価することで証明が完了し、$[0, \pi]$ 全体で正であることが確認された。