Spherical Designs with Infinite Harmonic Strength

Ryutaro Misawa; Yusaku Nishimura

arxiv: 2607.01761 · v1 · pith:BOOWHOOGnew · submitted 2026-07-02 · 🧮 math.CO

Spherical Designs with Infinite Harmonic Strength

Ryutaro Misawa , Yusaku Nishimura This is my paper

Pith reviewed 2026-07-03 10:59 UTC · model grok-4.3

classification 🧮 math.CO

keywords spherical designsharmonic strengthantipodal setscyclotomic designsweak GCD propertyexistence criteria

0 comments

The pith

A finite subset of the d-sphere for d at least 2 has infinite harmonic strength if and only if it is antipodal.

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

The paper proves that on spheres of dimension two or higher, the only finite point sets that integrate spherical harmonics of infinitely many degrees exactly are the antipodal ones. This matters because it pins down the precise symmetry needed for a finite set to act as an exact integrator across arbitrarily high degrees. On the circle the authors identify the infinite-strength designs as cyclotomic and supply a finite decision procedure, based on 0-1 polynomials, for which infinite degree sets with the weak GCD property can be realized. They also show that every infinite-strength design, in any dimension, has a strength set obeying the weak GCD property.

Core claim

If d is at least 2 then a finite subset X of the d-dimensional sphere has infinite harmonic strength precisely when X equals its antipodal image. For d equal to 1 the infinite-strength designs are exactly the cyclotomic designs, whose existence is characterized by certain 0-1 polynomials. Every infinite-strength spherical design has a harmonic-strength set satisfying the weak GCD property. For any prescribed infinite T subset of the natural numbers that obeys the weak GCD property there is a finite procedure that decides whether a subset X of the circle exists with Hst(X) equal to T.

What carries the argument

harmonic strength Hst(X), the set of degrees t at which the finite point set X integrates every spherical harmonic of degree t exactly

If this is right

Only antipodal finite sets on spheres of dimension at least two can have infinite harmonic strength.
Non-antipodal finite sets on those spheres have only finite harmonic strength.
Infinite-strength designs on the circle are precisely the cyclotomic designs.
The strength set of any infinite-strength design satisfies the weak GCD property.
Existence of a design on the circle with a prescribed infinite strength set obeying the weak GCD property is decidable by a finite procedure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The characterization restricts candidates for infinite-strength designs in higher dimensions to centrally symmetric configurations.
The weak GCD property supplies an immediate necessary condition that any candidate infinite T must satisfy before the decision procedure is applied on the circle.
The 0-1 polynomial criterion gives an explicit computational test for concrete infinite T on the circle.

Load-bearing premise

The spherical harmonics of every degree form a complete orthogonal basis for square-integrable functions on the sphere.

What would settle it

A finite non-antipodal point set on the two-sphere whose averages equal the integrals of all spherical harmonics belonging to some infinite collection of degrees.

read the original abstract

In this paper, we study the existence problem for spherical $T$-designs on the $d$-dimensional sphere, where $T$ is an infinite subset of $\mathbb N$. We show that, if $d\ge 2$, then a finite subset of $S^d$ has infinite harmonic strength if and only if it is antipodal. For $d=1$, we show that infinite strength spherical designs are exactly cyclotomic designs, and we characterize their existence in terms of certain $0$-$1$ polynomials. We also prove that the harmonic strength of every infinite strength spherical design has the weak GCD property. Finally, for a given infinite subset $T\subset \mathbb N$ with the weak GCD property, we give a finite procedure to decide whether there exists $X\subset S^1$ such that $\operatorname{Hst}(X)=T$, and apply this criterion to concrete existence and non-existence examples.

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 d≥2 antipodal claim follows directly from Legendre parity and decay; the d=1 cyclotomic characterization and finite decision procedure are the real contribution.

read the letter

The central point is that for dimensions d at least 2, having infinite harmonic strength is equivalent to being antipodal, but this equivalence follows directly from the parity properties of Legendre polynomials and their decay away from 1. The work on the one-dimensional case, however, provides a characterization in terms of cyclotomic designs and a finite decision procedure that seems more involved.

The paper proves the antipodal equivalence using the addition theorem for spherical harmonics, showing that if the set is not antipodal then the associated quadratic form in the Legendre polynomials tends to a positive value as the degree goes to infinity, so only finitely many degrees can satisfy the design condition. When the set is antipodal the odd degrees work automatically by parity. For d equals 1 the infinite strength designs turn out to be exactly the cyclotomic ones, which are characterized using certain 0-1 polynomials. Every such design has a strength set with the weak GCD property, and the paper gives an algorithm that, for any infinite T with this property, decides in finite time whether a set on the circle with exactly that strength exists. It demonstrates the procedure on some specific T to show both existence and non-existence.

This algorithmic reduction is what the paper does well. It converts the problem of matching an infinite set of degrees into a checkable condition, which is a concrete advance for the circle case.

The main soft spot is that the d greater than or equal to 2 theorem does not appear to require substantial new ideas. The stress-test note lays out the short argument from known facts about P_t, and nothing in the abstract suggests a deeper approach. The d equals 1 material stands apart as more original.

This paper is aimed at people studying spherical designs, particularly those interested in infinite strength or computational questions on low-dimensional spheres. A reader looking for tools to settle existence for given T on S^1 would find the procedure useful. It deserves a serious referee because the decision method is explicit enough to be reviewed and potentially applied or improved.

I recommend sending it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper characterizes finite spherical designs with infinite harmonic strength Hst(X). For d≥2, X⊂S^d has infinite Hst if and only if X is antipodal. For d=1, such designs are precisely the cyclotomic designs, characterized by certain 0-1 polynomials; the harmonic strength of any infinite-strength design satisfies the weak GCD property. For any infinite T⊂ℕ with the weak GCD property, a finite decision procedure is given to determine whether there exists X⊂S^1 with Hst(X)=T, together with concrete existence and non-existence examples.

Significance. If the results hold, the paper delivers a definitive characterization resolving the infinite-T existence question in all dimensions, with the d≥2 case reducing directly to antipodality via parity of Legendre polynomials and the addition theorem, and the d=1 case supplying an explicit algorithmic test. The weak GCD property supplies new structural information, and the decision procedure is a concrete, finite-time tool that can be applied to specific T. These are load-bearing contributions to the theory of spherical designs and harmonic analysis on spheres.

minor comments (2)

The introduction could briefly recall the precise definition of Hst(X) and the addition theorem before stating the main theorems, to improve readability for readers outside the immediate subfield.
In the d=1 section, an explicit small example (e.g., a cyclotomic design of small order together with its 0-1 polynomial) would help illustrate the decision procedure.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary accurately captures the main contributions.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper consists of pure existence and characterization proofs in spherical design theory. The central iff statement for d≥2 follows from the standard completeness of spherical harmonics, parity properties of Legendre polynomials, and the decay of P_t(x) for |x|<1, all of which are external to the paper and not derived from its own fitted quantities or self-citations. The d=1 case uses cyclotomic designs and 0-1 polynomials via a decision procedure that is algorithmic rather than tautological. No load-bearing step reduces by construction to an input definition, fitted parameter, or author-prior ansatz; the derivation chain is self-contained against standard orthogonal polynomial theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies entirely on established background from spherical design theory; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (2)

standard math Spherical harmonics form a complete orthogonal basis for square-integrable functions on the sphere.
Implicit in the definition of harmonic strength and the integration property.
standard math The standard Euclidean inner product and antipodal map on R^{d+1} induce the geometry of S^d.
Used in the definition of antipodality and the sphere itself.

pith-pipeline@v0.9.1-grok · 5685 in / 1437 out tokens · 56191 ms · 2026-07-03T10:59:42.227149+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 2 canonical work pages · 1 internal anchor

[1]

Cambridge University Press, Cambridge, 1975

Alan Baker.Transcendental Number Theory. Cambridge University Press, Cambridge, 1975

1975
[2]

Spherical designs of harmonic indext.Journal of Approxi- mation Theory, 195:1–18, 2015

Eiichi Bannai, Takayuki Okuda, and Makoto Tagami. Spherical designs of harmonic indext.Journal of Approxi- mation Theory, 195:1–18, 2015

2015
[3]

Boyvalenkov, Danyo Danev, and Peter Kazakov

Peter G. Boyvalenkov, Danyo Danev, and Peter Kazakov. Indexes of spherical codes. In Alexander Barg and Si- mon Litsyn, editors,Codes and Association Schemes, volume 56 ofDIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 47–57. American Mathematical Society, Providence, RI, 2001

2001
[4]

Delsarte, J

P. Delsarte, J. M. Goethals, and J. J. Seidel. Spherical codes and designs.Geometriae Dedicata, 6(3):363–388, 1977

1977
[5]

Inequalities for Jacobi polynomials.The Ramanujan Journal, 33(2):227– 246, 2014

Uffe Haagerup and Henrik Schlichtkrull. Inequalities for Jacobi polynomials.The Ramanujan Journal, 33(2):227– 246, 2014

2014
[6]

Spherical designs and modular forms of theD 4 lattice.Research in Number Theory, 9(4):Paper No

Masatake Hirao, Hiroshi Nozaki, and Koji Tasaka. Spherical designs and modular forms of theD 4 lattice.Research in Number Theory, 9(4):Paper No. 77, 2023

2023
[7]

Spherical designs for finite quaternionic unit groups and their applications to modular forms, 2025

Masatake Hirao, Hiroshi Nozaki, and Koji Tasaka. Spherical designs for finite quaternionic unit groups and their applications to modular forms, 2025. arXiv:2507.01358

work page arXiv 2025
[8]

On sphericalt-designs inR 2.European Journal of Combinatorics, 3(3):255–258, 1982

Yiming Hong. On sphericalt-designs inR 2.European Journal of Combinatorics, 3(3):255–258, 1982

1982
[9]

A note on recurring series.Arkiv f¨ or Matematik, 2(5):417–421, 1953

Christer Lech. A note on recurring series.Arkiv f¨ or Matematik, 2(5):417–421, 1953

1953
[10]

Cambridge University Press, Cambridge, 2 edition, 1997

Rudolf Lidl and Harald Niederreiter.Finite Fields, volume 20 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2 edition, 1997

1997
[11]

On a generalization of spherical designs.Discrete Mathematics, 313(4):375–380, 2013

Tsuyoshi Miezaki. On a generalization of spherical designs.Discrete Mathematics, 313(4):375–380, 2013

2013
[12]

Antipodality of spherical designs with odd harmonic indices.Discrete Mathematics, 349(6):114978, 2026

Ryutaro Misawa, Akihiro Munemasa, and Masanori Sawa. Antipodality of spherical designs with odd harmonic indices.Discrete Mathematics, 349(6):114978, 2026

2026
[13]

Spherical Designs on $S^1$ of Finite Harmonic Strength

Ryutaro Misawa and Yusaku Nishimura. On sphericalT-designs inR 2, 2025. arXiv:2505.06893

work page internal anchor Pith review Pith/arXiv arXiv 2025
[14]

Einige s¨ atze ¨ uber gewisse reihenentwicklungen und exponentiale beziehungen mit anwen- dung auf diophantische gleichungen.Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo

Thoralf Skolem. Einige s¨ atze ¨ uber gewisse reihenentwicklungen und exponentiale beziehungen mit anwen- dung auf diophantische gleichungen.Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo. I. Matematisk- Naturvidenskapelig Klasse, (6):1–61, 1933. Graduate School of Information Sciences, Tohoku University Email address:misawa.ryutaro.q2@dc.tohoku....

1933

[1] [1]

Cambridge University Press, Cambridge, 1975

Alan Baker.Transcendental Number Theory. Cambridge University Press, Cambridge, 1975

1975

[2] [2]

Spherical designs of harmonic indext.Journal of Approxi- mation Theory, 195:1–18, 2015

Eiichi Bannai, Takayuki Okuda, and Makoto Tagami. Spherical designs of harmonic indext.Journal of Approxi- mation Theory, 195:1–18, 2015

2015

[3] [3]

Boyvalenkov, Danyo Danev, and Peter Kazakov

Peter G. Boyvalenkov, Danyo Danev, and Peter Kazakov. Indexes of spherical codes. In Alexander Barg and Si- mon Litsyn, editors,Codes and Association Schemes, volume 56 ofDIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 47–57. American Mathematical Society, Providence, RI, 2001

2001

[4] [4]

Delsarte, J

P. Delsarte, J. M. Goethals, and J. J. Seidel. Spherical codes and designs.Geometriae Dedicata, 6(3):363–388, 1977

1977

[5] [5]

Inequalities for Jacobi polynomials.The Ramanujan Journal, 33(2):227– 246, 2014

Uffe Haagerup and Henrik Schlichtkrull. Inequalities for Jacobi polynomials.The Ramanujan Journal, 33(2):227– 246, 2014

2014

[6] [6]

Spherical designs and modular forms of theD 4 lattice.Research in Number Theory, 9(4):Paper No

Masatake Hirao, Hiroshi Nozaki, and Koji Tasaka. Spherical designs and modular forms of theD 4 lattice.Research in Number Theory, 9(4):Paper No. 77, 2023

2023

[7] [7]

Spherical designs for finite quaternionic unit groups and their applications to modular forms, 2025

Masatake Hirao, Hiroshi Nozaki, and Koji Tasaka. Spherical designs for finite quaternionic unit groups and their applications to modular forms, 2025. arXiv:2507.01358

work page arXiv 2025

[8] [8]

On sphericalt-designs inR 2.European Journal of Combinatorics, 3(3):255–258, 1982

Yiming Hong. On sphericalt-designs inR 2.European Journal of Combinatorics, 3(3):255–258, 1982

1982

[9] [9]

A note on recurring series.Arkiv f¨ or Matematik, 2(5):417–421, 1953

Christer Lech. A note on recurring series.Arkiv f¨ or Matematik, 2(5):417–421, 1953

1953

[10] [10]

Cambridge University Press, Cambridge, 2 edition, 1997

Rudolf Lidl and Harald Niederreiter.Finite Fields, volume 20 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2 edition, 1997

1997

[11] [11]

On a generalization of spherical designs.Discrete Mathematics, 313(4):375–380, 2013

Tsuyoshi Miezaki. On a generalization of spherical designs.Discrete Mathematics, 313(4):375–380, 2013

2013

[12] [12]

Antipodality of spherical designs with odd harmonic indices.Discrete Mathematics, 349(6):114978, 2026

Ryutaro Misawa, Akihiro Munemasa, and Masanori Sawa. Antipodality of spherical designs with odd harmonic indices.Discrete Mathematics, 349(6):114978, 2026

2026

[13] [13]

Spherical Designs on $S^1$ of Finite Harmonic Strength

Ryutaro Misawa and Yusaku Nishimura. On sphericalT-designs inR 2, 2025. arXiv:2505.06893

work page internal anchor Pith review Pith/arXiv arXiv 2025

[14] [14]

Einige s¨ atze ¨ uber gewisse reihenentwicklungen und exponentiale beziehungen mit anwen- dung auf diophantische gleichungen.Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo

Thoralf Skolem. Einige s¨ atze ¨ uber gewisse reihenentwicklungen und exponentiale beziehungen mit anwen- dung auf diophantische gleichungen.Skrifter utgitt av Det Norske Videnskaps-Akademi i Oslo. I. Matematisk- Naturvidenskapelig Klasse, (6):1–61, 1933. Graduate School of Information Sciences, Tohoku University Email address:misawa.ryutaro.q2@dc.tohoku....

1933