Positive-definite function classification conjecture for finite spheres

Let n>2n>2, let f:[1,1]Rf:[-1,1]\to\mathbb{R} satisfy f(1)=1f(1)=1, and define f^:SO(n)R\widehat f:SO(n)\to\mathbb{R} by f^(γ)=f(γ11)\widehat f(\gamma)=f(\gamma_{11}). Assume that f^\widehat f defines a positive definite function on the homogeneous space

SO(n)/SO(n1)Sn1.SO(n)/SO(n-1)\cong S^{n-1}.

Here χ\chi is the indicator function and P(n1)P^{(n-1)} denotes the relevant Gegenbauer polynomial. Positive-definite function classification conjecture. The function ff is of the form

f(x)=aχ(x=1x=1)+bxχ(x=1x=1)+iciP(n1)(x),f(x)=a\chi(x=1\vee x=-1)+bx\chi(x=1\vee x=-1)+\sum_i c_iP^{(n-1)}(x),

where a,b,ci0a,b,c_i\geq 0 and a+b+ici=1a+b+\sum_i c_i=1. This is presented as a conjectural corollary of the claimed classification of class-one representations and would classify positive definite functions on the sphere arising from SO(n)/SO(n1)SO(n)/SO(n-1). The source gives no resolution; the surrounding discussion connects the question to possible pathological positive definite functions and finite constrained-angle codes.

Sources & referencesView supporting material

Primary source

Sujit Sakharam Damase and James Eldred Pascoe, “Complete discrete Schoenberg-Delsarte theory for homogeneous spaces”, arXiv:2602.09010 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.