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.

Completeness of the WDS method in Checking Positivity of Integral Forms

Forms representing forms: The definite case

A simple proof of Witten conjecture through localization

Classically Integral Quadratic Forms Excepting at Most Two Values

Depth Reduction of a Class of Witten Zeta Functions

A Complete Algorithm for Automated Discovering of a Class of Inequality-Type Theorems

Simplex Subdivisions and Nonnegativity Decision of Forms

A Canonical Form for Positive Definite Matrices

A variant of Weyl's inequality for systems of forms and applications

Automated Discovering And Proving For Geometric Inequalities

On the Number of Positive Solutions to a Class of Integral Equations

A Pólya criterion for (strict) positive definiteness on the sphere

The positive-definite completion problem

Classification of positive solutions for a weighted integral system on the half-space

Automated Discovering and Proving for Geometric Inequalities.

THE NONEXISTENCE OF NEGATIVE WEIGHT DERIVATIONS ON POSITIVE DIMENSIONAL ISOLATED SINGULARITIES: GENERALIZED WAHL CONJECTURE

A Remark on Doubly Critical Elliptic Systems

On Simultaneous Symplectic Diagonalization in the sense of Williamson's Theorem

Witten’s D 4 Integrable Hierarchies Conjecture

Hasse-Minkowski theorem for quadratic forms on groups

Positivity of Schur forms for strongly decomposably positive vector bundles