A construction of spherical $5$-designs with $O(d^2)$ points

Andrii Arman; Andriy Bondarenko; Andriy Prymak; Danylo Radchenko

arxiv: 2606.01376 · v1 · pith:SVBZY4DYnew · submitted 2026-05-31 · 🧮 math.CO

A construction of spherical 5-designs with O(d²) points

Andrii Arman , Andriy Bondarenko , Andriy Prymak , Danylo Radchenko This is my paper

Pith reviewed 2026-06-28 16:43 UTC · model grok-4.3

classification 🧮 math.CO

keywords spherical designs5-designsSidon setsprojective designsexplicit constructionspoint configurationsnumerical quadrature

0 comments

The pith

Every dimension d has an explicit equal-weight spherical 5-design on the unit sphere in R^d using at most 72d² points.

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

The paper supplies an explicit construction that produces equal-weight spherical 5-designs on the (d-1)-sphere in R^d with a point count bounded by 72d² for every d at least 1. A spherical 5-design is a finite point set whose averages of all polynomials of total degree at most 5 coincide with the corresponding surface integrals over the sphere. The method obtains these designs by converting recent explicit complex projective 2-designs built from Sidon sets. A reader concerned with high-dimensional quadrature or sampling would note that quadratic scaling replaces the much larger point sets required by generic discretizations.

Core claim

For every d≥1 we give an explicit equal-weight spherical 5-design in S^{d-1}⊂R^d with at most 72d² points. Our approach utilizes recent construction of complex projective 2-designs based on Sidon sets.

What carries the argument

Lifting of complex projective 2-designs obtained from Sidon sets into equal-weight spherical 5-designs on the real sphere.

If this is right

The constructed point sets integrate every polynomial of degree ≤5 exactly when each point receives equal weight.
The construction is fully explicit and defined for every dimension d.
The number of points remains quadratic in the ambient dimension.

Where Pith is reading between the lines

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

The same lifting technique might be checked for producing designs of degree higher than 5 once stronger projective designs become available.
The quadratic bound could be tested against existing lower bounds on the minimal size of spherical 5-designs in high dimensions.
If the Sidon-set projective designs admit efficient generation algorithms, the spherical designs inherit the same computational tractability.

Load-bearing premise

The recent explicit construction of complex projective 2-designs based on Sidon sets must actually produce genuine 2-designs.

What would settle it

Direct numerical verification, for d=2 or d=3, that the output point set integrates every spherical polynomial of degree at most 5 to the same value as the uniform surface measure.

read the original abstract

For every $d\geq1$ we give an explicit equal-weight spherical $5$-design in $\mathbb{S}^{d-1}\subset\mathbb{R}^d$ with at most $72d^2$ points. Our approach utilizes recent construction of complex projective $2$-designs based on Sidon sets.

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 explicit construction of spherical 5-designs with at most 72d² points via Sidon-set projective designs, but the result depends on that prior work being correct.

read the letter

The headline claim is that for every dimension d there is an explicit set of at most 72d² points on the unit sphere that forms an equal-weight 5-design. The authors reach this by taking complex projective 2-designs built from Sidon sets and lifting them to spherical 5-designs in real space.

This is new in the sense that it gives a concrete quadratic bound and a specific construction route that wasn't laid out before. The paper does well in being explicit about the point count and in connecting two areas of design theory.

The soft spot is that everything rests on the correctness of the cited Sidon-set projective 2-designs. The manuscript does not re-derive or numerically test that part, so the result is conditional. If those projective designs fail to satisfy the 2-design property for some d, the spherical 5-designs will not hold either. The lifting step from projective to spherical also needs to be checked carefully to ensure the higher moments work out for strength 5.

The citation pattern is appropriate, pointing to the recent work without over-relying on self-citations.

This paper is aimed at researchers in combinatorial design theory and high-dimensional approximation. A reader who needs explicit point configurations for quadrature or coding applications would get direct value from the construction.

It deserves a serious referee because the claim is precise and the method offers a new explicit family, even though the dependence on prior work means the review will need to examine the lifting argument closely.

Recommendation: send it to peer review.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to give, for every d ≥ 1, an explicit equal-weight spherical 5-design on S^{d-1} ⊂ R^d using at most 72 d² points. The construction is obtained by lifting an explicit family of complex projective 2-designs that were previously built from Sidon sets.

Significance. If the lifting map and the cited projective 2-designs are valid, the result supplies an explicit quadratic-size 5-design in every dimension, which would be a concrete improvement on existence bounds that are typically non-constructive or larger. The equal-weight and fully explicit character are strengths.

major comments (2)

[Abstract, §1] Abstract and §1: the headline claim that the lifted point sets are spherical 5-designs rests entirely on the correctness of the external Sidon-set construction of complex projective 2-designs. No independent verification, moment-matrix check, or numerical test for even a single d is supplied in the manuscript; if the cited 2-designs fail to satisfy the second-moment condition for infinitely many d, the 5-design statement collapses.
[§1] The lifting argument from CP^{d-1} 2-designs to real spherical 5-designs on S^{2d-1} is invoked without a self-contained derivation or reference to a precise theorem establishing that the design order increases exactly to 5 under the chosen embedding. This step is load-bearing for the central claim.

minor comments (1)

[Abstract] The constant 72 in the O(d²) bound should be derived explicitly from the parameters of the Sidon-set construction rather than left as a black-box multiple.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We address each point below and will revise the manuscript to improve clarity and self-containment while preserving the core contribution.

read point-by-point responses

Referee: [Abstract, §1] Abstract and §1: the headline claim that the lifted point sets are spherical 5-designs rests entirely on the correctness of the external Sidon-set construction of complex projective 2-designs. No independent verification, moment-matrix check, or numerical test for even a single d is supplied in the manuscript; if the cited 2-designs fail to satisfy the second-moment condition for infinitely many d, the 5-design statement collapses.

Authors: The manuscript relies on the cited construction of complex projective 2-designs from Sidon sets (a recent external result). In revision we will add explicit pointers to the precise theorems in the referenced paper that establish the second-moment condition, together with a short numerical check of the moment matrix for one or two small values of d to illustrate correctness of the input designs. revision: yes
Referee: [§1] The lifting argument from CP^{d-1} 2-designs to real spherical 5-designs on S^{2d-1} is invoked without a self-contained derivation or reference to a precise theorem establishing that the design order increases exactly to 5 under the chosen embedding. This step is load-bearing for the central claim.

Authors: We agree that the lifting step requires more explicit justification. The revision will contain either a short self-contained derivation of the embedding (showing how the complex 2-design moments translate into real spherical moments up to degree 5) or a precise citation to the theorem that guarantees the design order reaches exactly 5. revision: yes

Circularity Check

0 steps flagged

No internal circularity; construction depends on cited external Sidon-set projective 2-designs

full rationale

The paper explicitly states that its spherical 5-designs are obtained by lifting a recent construction of complex projective 2-designs based on Sidon sets (abstract and §1). This is a dependency on prior independent work rather than any self-referential definition, fitted parameter renamed as prediction, or self-citation chain that reduces the central claim by construction. No equations or steps within the manuscript exhibit the enumerated circularity patterns. The result is conditional on the cited construction's validity, but that constitutes external reliance, not circularity. Score 2 is assigned per the default for papers with load-bearing citations that remain non-circular internally.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract alone; the ledger therefore records only the dependence explicitly named in the abstract.

axioms (1)

domain assumption Recent construction of complex projective 2-designs based on Sidon sets produces genuine 2-designs
The spherical 5-design is obtained by utilizing this prior construction; its correctness is presupposed.

pith-pipeline@v0.9.1-grok · 5578 in / 1218 out tokens · 30018 ms · 2026-06-28T16:43:04.799981+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 3 canonical work pages · 1 internal anchor

[1]

B. G. Bodmann and J. Haas,Achieving the orthoplex bound and constructing weighted complex projective2-designs with Singer sets, Linear Algebra and its Applications511(2016), 54–71;https://arxiv.org/abs/1509.05333

work page internal anchor Pith review Pith/arXiv arXiv 2016
[2]

Rabau and B

P. Rabau and B. Bajnok,Bounds for the number of nodes in Chebyshev type quadrature formulas, Journal of Approximation Theory67(1991), 199–214

1991
[3]

R. C. Bose and S. Chowla,Theorems in the additive theory of numbers, Commentarii Mathematici Helvetici37 (1962/63), 141–147

1962
[4]

Delsarte, J

P. Delsarte, J. M. Goethals and J. J. Seidel,Spherical codes and designs, Geometriae Dedicata6(1977), 363–388

1977
[5]

J. T. Iosue, T. C. Mooney, A. Ehrenberg and A. V. Gorshkov,Projective toric designs, quantum state designs, and mutually unbiased bases, Quantum 8 (2024): 1546,https://arxiv.org/abs/2311.13479

work page arXiv 2024
[6]

Kuperberg,Numerical cubature from Archimedes’ hat-box theorem.SIAM journal on numerical analysis44.3 (2006): 908–935

G. Kuperberg,Numerical cubature from Archimedes’ hat-box theorem.SIAM journal on numerical analysis44.3 (2006): 908–935

2006
[7]

Misawa,Explicit construction of spherical5- and7-designs, arXiv:2602.19757 [math.CO] (2026),https:// arxiv.org/abs/2602.19757

R. Misawa,Explicit construction of spherical5- and7-designs, arXiv:2602.19757 [math.CO] (2026),https:// arxiv.org/abs/2602.19757. 4 A. ARMAN, A. BONDARENKO, A. PRYMAK, AND D. RADCHENKO Department of Mathematics, University of Manitoba, Winnipeg, MB, R3T 2N2, Canada Email address:andrew0arman@gmail.com Department of Mathematical Sciences, Norwegian Univers...

work page arXiv 2026

[1] [1]

B. G. Bodmann and J. Haas,Achieving the orthoplex bound and constructing weighted complex projective2-designs with Singer sets, Linear Algebra and its Applications511(2016), 54–71;https://arxiv.org/abs/1509.05333

work page internal anchor Pith review Pith/arXiv arXiv 2016

[2] [2]

Rabau and B

P. Rabau and B. Bajnok,Bounds for the number of nodes in Chebyshev type quadrature formulas, Journal of Approximation Theory67(1991), 199–214

1991

[3] [3]

R. C. Bose and S. Chowla,Theorems in the additive theory of numbers, Commentarii Mathematici Helvetici37 (1962/63), 141–147

1962

[4] [4]

Delsarte, J

P. Delsarte, J. M. Goethals and J. J. Seidel,Spherical codes and designs, Geometriae Dedicata6(1977), 363–388

1977

[5] [5]

J. T. Iosue, T. C. Mooney, A. Ehrenberg and A. V. Gorshkov,Projective toric designs, quantum state designs, and mutually unbiased bases, Quantum 8 (2024): 1546,https://arxiv.org/abs/2311.13479

work page arXiv 2024

[6] [6]

Kuperberg,Numerical cubature from Archimedes’ hat-box theorem.SIAM journal on numerical analysis44.3 (2006): 908–935

G. Kuperberg,Numerical cubature from Archimedes’ hat-box theorem.SIAM journal on numerical analysis44.3 (2006): 908–935

2006

[7] [7]

Misawa,Explicit construction of spherical5- and7-designs, arXiv:2602.19757 [math.CO] (2026),https:// arxiv.org/abs/2602.19757

R. Misawa,Explicit construction of spherical5- and7-designs, arXiv:2602.19757 [math.CO] (2026),https:// arxiv.org/abs/2602.19757. 4 A. ARMAN, A. BONDARENKO, A. PRYMAK, AND D. RADCHENKO Department of Mathematics, University of Manitoba, Winnipeg, MB, R3T 2N2, Canada Email address:andrew0arman@gmail.com Department of Mathematical Sciences, Norwegian Univers...

work page arXiv 2026