Pith. sign in

REVIEW 4 minor 20 references

Isotropic Positive Definite Functions on Spheres: Even-Dimensional Gneiting's Problem

T0 review · 0 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every even dimension and every positive support bound, a Euclidean positive definite function exists whose spherical restriction is not positive definite.

desk verdict A clean, rigorous negative answer to Gneiting's problem in all even dimensions, with a sharp support threshold; the main Fourier identity is delicate but holds up. read the letter →

arxiv 2608.22173 v1 pith:XH3AATYN submitted 2026-08-23 math.CA

Yan Ge This is my paper · ORCID
classification math.CA MSC 42A8233C4542C10
keywords PositivedefinitefunctionssphereEuclideanspaceGegenbauerpolynomialscompactsupportBesselFouriertransform
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Gneiting's problem asks whether a compactly supported isotropic positive definite function on Euclidean space stays positive definite when its argument is changed from Euclidean distance to spherical geodesic distance. This paper proves the answer is no in every even dimension, and that the failure persists at every positive support radius: for any $d=2m$ and any $\theta>0$, one can find such a function supported inside $[0,\theta]$ whose degree-two spherical coefficient is negative. Since odd dimensions were already known to give a yes, this settles the Euclidean-to-sphere question across all dimensions. The two-dimensional case is exhibited explicitly with rational radii and an exact rational sign certificate, so the counterexample does not rest on numerical approximation.

What carries the argument

The engine is the degree-two Gegenbauer test function $Q_m(x) = R_2^{(m-1/2)}(\cos |x|)(\sin |x|/|x|)^{2m-1}$, combined with the distributional Fourier identity of Theorem 4.5: $\widehat{Q_m}(\xi) = (2\pi)^m h_m(|\xi|)$, where $h_m$ is compactly supported, locally integrable, and behaves like $-c_m|\xi|^2$ near the origin with $c_m>0$. The key step is excluding a point-supported delta term at the origin, using the cancellation identities (4.8)--(4.9) and the structural Lemma 4.4; this is what allows the sign of the Fourier profile to control the sign of the spherical coefficient. The Laplace--Bessel formula (4.12) supplies the closed form of the transform, and Lemma 4.9 converts the negative annulus of $h_m$ into a compactly supported smooth radial function via polynomial approximation, whose autocorrelation is then strictly positive definite.

What would settle it

Reproduce the rational certificate for the two-dimensional example: starting from $b_k$ in (3.11), compute $D_{16}=\sum_{m=0}^{16} C_m W_m(9^{m+1}-1)$ and check the exact integer identity $L_D(D_{16}+6/125)=-N_D$, together with $2B_{17}<1/10000$; if either fails, the asserted negativity of $D$ is unsupported. Alternatively, high-precision quadrature of $\int_0^{31/10} F_0(t)P_2(\cos t)\sin t\,dt$ should return approximately $-0.03834296009689317$, matching $\pi D/4$ from (3.6).

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is Theorem 1.6: for every $m\ge 1$ and every $0<\theta\le \pi$ there exists a nonzero real smooth isotropic $F\in C_c^\infty(\mathbb{R}^{2m})$ with $F(0)>0$ and support in the ball of radius $\theta$, whose normalized radial profile $f$ satisfies $\int_0^{\theta} f(t) R_2^{(m-1/2)}(\cos t)(\sin t)^{2m-1}\,dt < 0$. By Schoenberg's characterization, a negative integral of this kind forces $f|_{[0,\pi]}$ outside the spherical class $\Psi_{2m}$. The construction works by designing a test function $Q_m$ on $\mathbb{R}^{2m}$ whose Fourier transform is a compactly supported, locally integrable profile $h_m$ that is strictly negative near the origin; the negative Fourier-side pairing is then realised by a compactly supported autocorrelation, which is automatically strictly positive definite on $\mathbb{R}^{2m}$.

Load-bearing premise

The proof needs the exact Fourier identity $\widehat{Q_m}(\xi)=(2\pi)^m h_m(|\xi|)$, in particular that no extra point-supported contribution appears at the origin; if a delta term survived there, the negative sign near zero would not transfer to the spherical coefficient and the counterexample would collapse.

Editorial extensions

If this is right

  • Gneiting's original even-dimensional problem has a negative answer: the implication fails for every even $d\ge 2$.
  • The support threshold $\Theta_d(\Phi_d)$ is $0$ for every even $d$, while it is $\pi$ for every odd $d$, so the two families behave as differently as possible.
  • Degree $n=2$ is already enough to detect the failure; no higher degree is needed.
  • The obstruction is not an artifact of roughness: the counterexamples are $C^\infty$, compactly supported, and strictly positive definite on $\mathbb{R}^{2m}$.
  • Sharpness in dimension holds: the same $f$ belongs to $\Psi_{2m-1}\setminus\Psi_{2m}$, so dropping one dimension can change the spherical character.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The mechanism suggests the even/odd split is generic: the boundary value of $\mathrm{Im}((\varepsilon-ia)^2+\rho^2)^\alpha$ contains $\sin(\pi\alpha)$, which vanishes exactly for integer $\alpha$; one could test whether analogous counterexamples exist on other two-point homogeneous spaces in even dimensions.
  • A testable refinement is whether degree 2 is minimal: computing the degree-0 and degree-1 Gegenbauer integrals for the constructed $f$ would show whether the first possible failure is always at $n=2$, or whether support constraints can push failure to higher degrees.
  • The exact rational series certificate used for the two-dimensional example could serve as a template for machine-checkable sign proofs in oscillatory positive-definiteness problems, replacing floating-point quadrature with integer identities.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper addresses Gneiting's problem of whether a compactly supported isotropic positive definite function on R^d, when evaluated at spherical geodesic distance, remains positive definite on S^d. The odd-dimensional case is known, and the paper proves that in every even dimension d=2m the implication fails for every prescribed positive support bound. The main theorem, Theorem 1.6, constructs for each m≥1 and θ>0 a nonzero C_c^∞ radial positive definite F on R^{2m} with support in B_θ such that the normalized radial profile f∈Φ_{2m} has a negative degree-two Gegenbauer integral, so f|_{[0,π]}∉Ψ_{2m}. The proof combines Schoenberg's characterization, an exact Fourier–Bessel analysis of a radial test function Q_m, a distributional Fourier identity with no origin-supported delta, a negativity result for h_m near zero, and a localization lemma. A separate explicit two-dimensional counterexample with support [0,31/10] is proved by an exact rational series certificate with explicit tail bounds.

Significance. If correct, the result settles the even-dimensional form of Gneiting's problem in the negative and identifies the support threshold Θ_d(Φ_d)=0 for every even d. The construction is strong: it uses only the degree-two Gegenbauer coefficient, produces strictly positive definite functions via autocorrelation, and gives uniform control for arbitrarily small support. The proof is unusually rigorous in its quantitative aspects: the two-dimensional sign is certified by exact rational series with rational tail bounds and integer identities in Appendix D, and the general construction is analytic rather than computational. The distributional Fourier identity in Theorem 4.5 is the delicate point; the regularization, the cancellation identities (4.8)–(4.9), and the C0 argument excluding an origin-supported remainder are internally consistent. The only issues I found are local typographical inconsistencies, none of which affects the main theorem.

minor comments (4)
  1. [Remark 4.10] The displayed formula for h_1(ρ) is inconsistent with (4.16): starting from q_{1,1}=-1/8 and q_{1,3}=3/8, the correct expression is h_1(ρ)=-1/(8√(1-ρ^2))+3/(8√(9-ρ^2)), which yields the stated expansion -ρ^2/18+O(ρ^4). The printed expression with positive square roots does not reproduce that expansion and should be corrected.
  2. [Eq. (3.1)] The notation in (3.1), written as '−51 B7/10 + 51B6/5−31B31/20', is easy to misread as the numbers −51, 51, and −31; the piecewise values that follow and the formula for G(ρ) show the intended coefficients are −5, 5, and −3 multiplying the corresponding disk indicators. Please reformat as −5·1_{B_{7/10}} + 5·1_{B_{6/5}} − 3·1_{B_{31/20}}.
  3. [Eq. (3.9)] The definition of K_{0,a} in (3.9) is missing the fraction bar; it should read K_{0,a}(ρ)=1_{[0,a)}(ρ)/√(a^2-ρ^2), as is already stated in the preceding sentence.
  4. [Eq. (4.25)] In (4.25), the middle expression should be ((2m+1)sin^2 x − 1)/(2m)·cos^{2m-1}x (with parentheses) to avoid ambiguity in the subsequent differentiation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the even-dimensional counterexample is derived from an exact Fourier–Bessel identity and an exact sign certificate, with no fitted parameter or load-bearing self-citation.

full rationale

Theorem 1.6 derives a compactly supported positive definite function F from a radial test function Q_m whose Fourier transform is computed exactly in Theorem 4.5, Eq. (4.18). The negative degree-two Gegenbauer integral is not fitted: the sign of h_m near zero follows from Lemma 4.7's exact evaluation M_m = -W_m/(2^m (2m+1)), and the support localization is supplied by Lemma 4.9 from the Weierstrass approximation theorem. The two-dimensional example in Theorem 1.4 is certified by an exact rational series with explicit tail bounds, Eqs. (3.14)-(3.17), not by numerical quadrature or by assuming the desired conclusion. The only reliance on the author's prior work is the cited odd-dimensional theorem used for contrast and for Corollary 5.2; that result has independent published support (Nie-Ma, Lu-Ma, Emery et al.) and does not enter the even-dimensional construction. The distributional argument excluding a delta term at the origin is supported by Hormander's structure theorem and the Riemann-Lebesgue lemma, both external to the paper. No input quantity is defined in terms of the target negativity, and no predicted quantity is equivalent by construction to a fitted parameter.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The proof rests on standard background: Bochner's theorem, Schoenberg's Gegenbauer characterization, Gegenbauer orthogonality, distribution theory for point-supported tempered distributions, and Weierstrass approximation. No empirical axioms, fitted parameters, or invented physical entities are used. The only manually chosen constants are the explicit d=2 seed coefficients, whose sign is certified exactly.

free parameters (1)
  • d=2 seed coefficients and radii in g = c=(-5,5,-3), r=(7/10,6/5,31/20)
    Hand-chosen annular seed used to build the explicit dimension-two counterexample. Not fitted to any data; the negativity is certified by exact rational arithmetic, so the theorem does not depend on numerical tuning.
assumptions (5)
  • standard math Bochner's theorem characterizes translation-invariant positive definite functions on R^d as Fourier transforms of nonnegative finite measures.
    Used in Section 2.1 and in the proof of Lemma 2.1 to justify Fourier transform expressions for autocorrelations.
  • standard math Schoenberg's theorem gives the Gegenbauer expansion with nonnegative coefficients for functions in Psi_d.
    Section 2.1; the negative Gegenbauer integral criterion in (2.1) follows from it.
  • standard math Gegenbauer orthogonality relations and expansions hold with normalized polynomials.
    Used in Section 2.1 and in Lemma 4.7 via equation (4.9) and Appendix B coefficients.
  • standard math Tempered distributions supported at a single point and orthogonally invariant are finite linear combinations of powers of the Laplacian applied to delta.
    Lemma 4.4, using Hoermander's theorem, to exclude a delta contribution in the Fourier transform of Q_m.
  • standard math Weierstrass approximation theorem for continuous functions on compact intervals.
    Used in Lemma 4.9 to approximate the quotient u/hat_eta_delta by polynomials in rho^2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Isotropic Positive Definite Functions on Spheres: Even-Dimensional Gneiting's Problem." pith.science (2026). https://pith.science/paper/XH3AATYN

@misc{pith2026260822173,
  author       = {Pith},
  title        = {Pith review of: Isotropic Positive Definite Functions on Spheres: Even-Dimensional Gneiting's Problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XH3AATYN}},
  note         = {Machine review of arXiv:2608.22173}
}
read the original abstract

We study when a compactly supported isotropic positive definite function on a Euclidean space remains positive definite after Euclidean distance is replaced by spherical geodesic distance. The corresponding assertion is known in odd dimensions. We prove that it fails in every even dimension, no matter how small a positive upper bound is imposed on the support. An explicit counterexample is also given in dimension two.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 17 canonical work pages

  1. [1]

    R. K. Beatson, W. zu Castell, and Y. Xu, A Pólya criterion for (strict) positive-definiteness on the sphere,IMA J. Numer. Anal.34(2014), 550–568

    work page 2014

  2. [2]

    Bochner,Vorlesungen über Fouriersche Integrale, Akademische Verlagsgesellschaft, Leipzig, 1932

    S. Bochner,Vorlesungen über Fouriersche Integrale, Akademische Verlagsgesellschaft, Leipzig, 1932

    work page 1932

  3. [3]

    M. D. Buhmann,Radial Basis Functions: Theory and Implementations, Cambridge Mono- graphs on Applied and Computational Mathematics, vol. 12, Cambridge University Press, Cambridge, 2003

    work page 2003

  4. [4]

    Dai and Y

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

    2013

  5. [5]

    Emery, N

    X. Emery, N. Mery, F. Khorram, and E. Porcu, Compactly-supported isotropic covariances on spheres obtained from matrix-valued covariances in Euclidean spaces,Constr. Approx.58 (2023), 181–198

    work page 2023

  6. [6]

    G. E. Fasshauer and L. L. Schumaker, Scattered data fitting on the sphere, inMathematical Methods for Curves and Surfaces, II (Lillehammer, 1997)(M. Dæhlen, T. Lyche, and L. L. Schumaker, eds.), 117–166, Vanderbilt University Press, Nashville, TN, 1998

    work page 1997

  7. [7]

    Feng and Y

    H. Feng and Y. Ge, Isotropic positive definite functions on spheres,J. Funct. Anal.282 (2022), Article 109287

    work page 2022

  8. [8]

    Gneiting, Compactly supported correlation functions,J

    T. Gneiting, Compactly supported correlation functions,J. Multivariate Anal.83(2002), 493–508

    work page 2002

Show all 20 references
  1. [9]

    Gneiting, Strictly and non-strictly positive definite functions on spheres,Bernoulli19 (2013), 1327–1349

    T. Gneiting, Strictly and non-strictly positive definite functions on spheres,Bernoulli19 (2013), 1327–1349

    2013

  2. [10]

    R. L. Graham, D. E. Knuth, and O. Patashnik,Concrete Mathematics: A Foundation for Computer Science, 2nd ed., Addison–Wesley, Reading, MA, 1994

    1994

  3. [11]

    Hörmander,The Analysis of Linear Partial Differential Operators I, 2nd ed., Springer, 1990

    L. Hörmander,The Analysis of Linear Partial Differential Operators I, 2nd ed., Springer, 1990

    1990

  4. [12]

    Lu, Strictly positive definite functions on spheres,J

    T. Lu, Strictly positive definite functions on spheres,J. Approx. Theory306(2025), Article 106120

    2025

  5. [13]

    T. S. Lu and C. S. Ma, Isotropic covariance matrix functions on compact two-point homoge- neous spaces,J. Theoret. Probab.33(2020), 1630–1656

    2020

  6. [14]

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

    2019

  7. [15]

    F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain (eds.),NIST Digital Library of Mathematical Functions, National Institute of Standards and Technology, https://dlmf.nist.gov/

  8. [16]

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

    1942

  9. [17]

    E. M. Stein and G. Weiss,Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, Princeton, NJ, 1971

    1971

  10. [18]

    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.6(1976), 409–434

    1976

  11. [19]

    Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, vol

    G. Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, vol. 23, American Mathematical Society, Providence, RI, 1975

    1975

  12. [20]

    Wendland,Scattered Data Approximation, Cambridge Monographs on Applied and Com- putational Mathematics, vol

    H. Wendland,Scattered Data Approximation, Cambridge Monographs on Applied and Com- putational Mathematics, vol. 17, Cambridge University Press, Cambridge, 2005. Department of Mathematics, School of Science, North China University of Technol- ogy, Beijing 100144, China Email ad...

    2005

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.