arxiv: 2604.11187 · v1 · submitted 2026-04-13 · 🧮 math.CA

Recognition: unknown

Isotropic Positive Definite Functions on Spheres

Han Feng , Yan Ge

Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:52 UTC · model grok-4.3

classification 🧮 math.CA

keywords positive definite functionsunit sphereEuclidean spaceinheritanceodd dimensionstruncated power functionsradial functions

0 comments

The pith

Positive definiteness on spheres inherits from R^d for odd dimensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a technique to show that positive definiteness transfers between functions on the sphere and on Euclidean space precisely when the dimension is odd. This bidirectional inheritance means results known in one setting can be applied in the other. For the two-sphere specifically, the paper establishes positive definiteness for functions of the form (tau minus t) to the power delta where delta is at least 1.5 and tau is restricted to an interval. These findings also settle a conjecture and supply a sharp criterion for recognizing positive definite functions on spheres.

Core claim

For odd values of the dimension d, a new technique establishes the inheritance of the positive semi-definite property from functions on R^d to functions on the unit sphere S^d and in the reverse direction. For the case d equals 2, the function defined by f sub tau delta of t equals (tau minus t) to the plus power delta, where delta is at least three halves, is shown to be positive definite on the unit sphere S^2 provided tau lies in an absolute range. These results also provide a sharp criterion for positive definite functions on spheres.

What carries the argument

The inheritance technique that maps positive definiteness from R^d to S^d and back for odd d, together with the truncated power function f sub tau comma delta of t equals (tau minus t) to the plus power delta for the d equals 2 case.

Load-bearing premise

The technique for showing inheritance of positive definiteness works when the dimension is odd.

What would settle it

A counterexample of a function that is positive definite on R^3 but not on S^3, or vice versa, would disprove the inheritance result.

read the original abstract

In this paper, we investigate the relationship between positive definite functions on the unit sphere $\sph$ and on the Euclidean space $\RR^d$. For the dimension $d$ to be odd, a new technique is developed to establish the inheritance of positive (semi-)definite property from $\RR^d$ to $\sph$ and the converse. For $d=2$, it is proved that a function defined by $$f_{\t,\delta}(t)=(\t-t)_+^\delta, \quad \delta\geq \f{d+1}2 $$ is positive definite on the unit sphere $\mathbb{S}^2$ by restricting $\t$ in an absolute range. Our results can verify a conjecture proposed by R.K. Beatson, W. zu Castell, Y. Xu and a sharp P\'{o}lya type criterion for positive definite functions on spheres.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives an inheritance result for positive definite functions when d is odd and proves the truncated power is positive definite on S^2, confirming the conjecture.

read the letter

Here's what stands out: the paper introduces a technique to show that positive definiteness on R^d implies the same on the sphere S^d and back again, but only when d is odd. It also gives a direct proof that the truncated power function (tau - t)_+^delta is positive definite on S^2 for delta at least (d+1)/2 with tau in a suitable range, which settles the conjecture by Beatson, zu Castell, and Xu. The new technique for odd dimensions is the main advance. It allows inheriting results from the Euclidean case, which is handy because there are more known positive definite functions in flat space. The d=2 case is handled separately with an explicit argument that verifies the conjecture and provides a sharp Polya-type criterion. This is useful for constructing kernels on the sphere without much extra work. The paper does well in stating the conditions precisely, including the restriction on tau for the d=2 result. It avoids overclaiming by limiting the inheritance to odd d. The main soft spot is that even dimensions are not covered by the new technique. The abstract makes clear that the method applies specifically when d is odd, so this is not a hidden flaw but a deliberate scope. If the proofs hold up, the odd-d result is still valuable on its own. Since I only have the abstract here, any potential issues in the detailed derivations can't be checked, but the overall structure looks consistent with no obvious circularity. This work is aimed at researchers in harmonic analysis and approximation theory who deal with positive definite functions on spheres. Readers looking for ways to build valid kernels for spherical data or to extend Euclidean results to manifolds will find it helpful. It also connects to applications in statistics and radial basis functions. The paper shows clear thinking in addressing a specific conjecture and developing a targeted technique. It deserves a serious referee because the contributions are concrete and the claims are scoped without exaggeration. I recommend putting it through peer review.

Referee Report

0 major / 3 minor

Summary. The paper investigates the relationship between isotropic positive definite functions on the unit sphere S^d and on Euclidean space R^d. For odd d, a new technique is developed to prove inheritance of the positive (semi)definite property in both directions. For d=2, the truncated-power kernel f_{τ,δ}(t)=(τ-t)_+^δ with δ≥(d+1)/2 is shown to be positive definite on S^2 when τ is restricted to a suitable absolute range. The results are used to verify a conjecture of Beatson, zu Castell and Xu and to obtain a sharp Pólya-type criterion on spheres.

Significance. If the inheritance technique and the d=2 argument hold, the work supplies a useful reduction between the Euclidean and spherical settings for odd dimensions and directly confirms a specific family of kernels on S^2, thereby settling the cited conjecture and sharpening the Pólya criterion. These contributions are of clear interest to approximation theory and the study of radial basis functions on spheres.

minor comments (3)

[Abstract] Abstract: the phrase 'restricting τ in an absolute range' is used without stating the explicit interval for τ; this parameter restriction is load-bearing for the d=2 claim and should be stated precisely in the introduction or in the statement of the theorem.
The manuscript would benefit from an explicit numbered statement of the inheritance theorem (both directions) for odd d, including the precise function-class hypotheses under which the equivalence holds.
Notation: the sphere is denoted both by S^d and by the macro sph; a single consistent notation should be adopted throughout the text and in all displayed equations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of our contributions on the inheritance technique for odd dimensions, the d=2 truncated-power kernels, and the verification of the Beatson–zu Castell–Xu conjecture. We are pleased that the work is viewed as of clear interest to approximation theory and radial basis functions on spheres. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper develops a new technique for odd dimensions to prove inheritance of positive (semi-)definiteness between R^d and S^d in both directions, plus an explicit proof for the truncated-power kernel on S^2 under stated parameter restrictions on τ and δ. These steps rely on direct mathematical arguments and verification of an external conjecture, without any reduction of claims to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. The results are scoped precisely (odd d for the inheritance method; absolute range on τ for d=2), and the abstract supplies the exact conditions under which the claims hold, rendering the chain independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard properties of positive definite functions and spherical geometry from prior literature, with no free parameters fitted to data and no new postulated entities introduced.

axioms (2)

domain assumption Positive definiteness properties transfer via restriction or embedding between Euclidean space and the sphere under suitable conditions.
This is the core premise the new technique aims to establish for odd dimensions.
standard math Bochner's theorem or equivalent characterizations of positive definite functions via Fourier transforms apply in the spherical setting.
Standard background result in harmonic analysis used to relate the two settings.

pith-pipeline@v0.9.0 · 5438 in / 1384 out tokens · 29295 ms · 2026-05-10T15:52:20.804178+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references

[1]

Alfaro, J

M. Alfaro, J. S. Dehesa, F. J. Marcell´an, J. L. Rubio de Francia, and J. Vinuesa, Orthogonal Polynomials and Their Applications, Lecture Notes in Mathematics, V ol. 1329 (Springer–Verlag, Berlin, 1988), 329-330

1988
[2]

G. E. Andrews, R. Askey and R. Roy, Special functions, Encyclopedia of Mathematics and its Applications 71, Cambridge University Press, Cambridge, (1999)

1999
[3]

Askey, Radial characteristic functions, University of Wisconsin-Madison, Mathematics Research Center, Tech

R. Askey, Radial characteristic functions, University of Wisconsin-Madison, Mathematics Research Center, Tech. Report No. 1262, November (1973)

1973
[4]

Baratella, Bounds for the error term in Hilb formula for Jacobi polynomials, Atti Acc

P. Baratella, Bounds for the error term in Hilb formula for Jacobi polynomials, Atti Acc. Scienze Torino, Cl.Sci.Fis.Mat.Natur., 120 (1986)

1986
[5]

Beatson, W

R. Beatson, W. zu Castell and Y . Xu, A P´olya criterion for (strictly) positive-definiteness on the sphere, IMA J. Numer. Anal.34(2014), 550-568

2014
[6]

Bochner, V orlesungen ¨uber Fouriersche Integrale, Leipzig, Akademischer Verlagsgesellschaft, 1932

S. Bochner, V orlesungen ¨uber Fouriersche Integrale, Leipzig, Akademischer Verlagsgesellschaft, 1932

1932
[7]

Bochner, Monotone Funktionen, Stieltjes Integrale und harmonische Analyse

S. Bochner, Monotone Funktionen, Stieltjes Integrale und harmonische Analyse. Math. Ann., 108: 378-410, 1933

1933
[8]

M. D. Buhmann, Radial Basis Functions: Theory and Implementations, Cambridge Monographs on Applied and Computational Mathematics, vol. 12 (Cambridge University Press, Cambridge, 2003)

2003
[9]

Buhmann, J

M. Buhmann, J. J ¨ager, P ´olya-type criteria for conditionally strict positive definitness on spheres, J. Approx. Theory (2020)

2020
[10]

D. Chen, V . A. Menegatto and X. Sun, A necessary and sufficient condition for strictly positive definite functions on spheres, Proc. Amer. Math. Soc., 131 (2003), 2733-2740. 26

2003
[11]

E. T. Copson, Asymptotic expansions, Cambridge Tracts in Mathematics and Mathematical Physics, No. 55. Cambridge University Press, New York, (1965)

1965
[12]

Dai and Y

F. Dai and Y . Xu, Approximation Theory and Harmonic Analysis on Spheres and Balls, Springer Monographs in Mathematics, (2013)

2013
[13]

G. E. Fasshauer and L. L. Schumaker, Scattered data fitting on the sphere, In Mathematical Methods for Curves and Surfaces, II (Lillehammer, 1997) (M. Daehlen, T. Lyche and L.L. Schumaker, eds.), Innov. Appl. Math. 117–166. Nashville, TN: Vanderbilt Univ.Press

1997
[14]

J. L. Fields and M. Ismail, On the positivity of some 1F2’s, SIAM J. Math. Anal.6(1975), 551-559

1975
[15]

C. L. Frenzen and R. A. Wong, A uniform asymptotic expansion of the Jacobi polynomials with error bounds, Canad. J. Math.37(1985), no. 5, 979-1007

1985
[16]

Gasper, Positive integrals of Bessel functions, SIAM J

G. Gasper, Positive integrals of Bessel functions, SIAM J. Math. Anal. 5 (1975), 868-881

1975
[17]

Gneiting, Compactly supported correlation functions, Journal of Multivariate Analysis 2002; 83(2): 493-508

T. Gneiting, Compactly supported correlation functions, Journal of Multivariate Analysis 2002; 83(2): 493-508

2002
[18]

E. W. Hobson, The Theory of Spherical and Ellipsoidal Harmonics. Chelsea Publishing Company, 1955

1955
[19]

T. S. Lu, C. S. Ma, Isotropic covariance matrix functions on compact two-point homogeneous spaces, Journal of Theoretical Probability, 2019

2019
[20]

Z. H. Nie and C. S. Ma, Isotropic positive definite functions on spheres generated from those Euclidean spaces, Proc. Amer. Math. Soc. 147 (2019), 3047-3056

2019
[21]

I. J. Schoenberg, Positive definite functions on spheres, Duke Math. J. 9 (1942), 96-108

1942
[22]

Stewart, Positive definite functions and generalizations, an historical survey, Rocky Mountain J

J. Stewart, Positive definite functions and generalizations, an historical survey, Rocky Mountain J. Math.1976, 6:409-434

1976
[23]

E. M. Stein and G. Weiss, Introduction to Fourier analysis on Euclidean spaces. Princeton University Press, Princeton, N.J., 1971

1971
[24]

Szeg ¨o, Orthogonal polynomials, AMS Coll

G. Szeg ¨o, Orthogonal polynomials, AMS Coll. Publ., V ol. 23, Providence, RI, 1975

1975
[25]

Wendland, Scattered Data Approximation, in: Cambridge Monogr

H. Wendland, Scattered Data Approximation, in: Cambridge Monogr. Appl. Comput. Math., vol. 17, Cambridge Univ. Press, Cambridge, 2005

2005
[26]

Xu, Positive definite functions on the unit sphere and integrals of Jacobi polynomials, Proc

Y . Xu, Positive definite functions on the unit sphere and integrals of Jacobi polynomials, Proc. Amer. Math. Soc. 146 (2018), 2039-2048. Email address:hanfeng@cityu.edu.hk Email address:yge3@ualberta.ca 27

2018