Spherical 2-Designs: Theory & Methods

• Spherical 2-designs are finite point sets on the sphere that exactly integrate all polynomials up to degree 2 by matching the sphere's constant, linear, and quadratic moments.
• They are characterized by vanishing first and second spherical harmonic sums and exhibit isotropic moment properties, ensuring numerical stability and precise quadrature.
• Applications span numerical cubature, coding theory, and optimization, with canonical examples such as regular simplices and cross-polytopes underpinning practical constructions.

Searching arXiv for recent and foundational papers on spherical 2-designs. Spherical 2-designs are finite point sets on a sphere whose equal-weight average reproduces the spherical average of every polynomial of degree at most $2$. Equivalently, they are exact equal-weight quadrature rules for constants, linear functions, and quadratic functions, and they form the first genuinely nontrivial case of spherical design theory. In the literature they appear simultaneously as moment-balanced point configurations, low-order cubature formulas, and structured objects linked to algebraic combinatorics, approximation theory, optimization, coding theory, and numerical analysis (An et al., 17 Jan 2026).

1. Definition and exactness conditions

In the convention of the survey literature, the unit sphere is

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$

and a finite set $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$ is a spherical $t$-design if

$$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$

where $\mathbb P_t$ denotes the restrictions to $\mathbb S^d$ of polynomials in $d+1$ variables of total degree at most $t$ (An et al., 17 Jan 2026). Specializing to $t=2$, a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$0-design is therefore a finite equal-weight quadrature rule on the sphere that is exact for all spherical polynomials of degree $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$1. The same statement is often written as exactness for all constants, linear functions, and quadratic functions restricted to the sphere (An et al., 17 Jan 2026).

A second common convention writes the ambient sphere as $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$2. In that notation, the same exactness condition becomes

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$3

for every polynomial $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$4 of degree at most $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$5 (Dillon, 9 Feb 2025). The change of notation shifts dimension-dependent formulas by one index, but not the underlying object.

For $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$6, the exactness condition can be read concretely through coordinate moments. The sphere satisfies

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$7

and

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$8

A spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$9-design on $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$0 is precisely a finite set whose discrete averages satisfy these same identities (Ehler, 11 Feb 2025).

2. Harmonic, moment, and matrix characterizations

The harmonic characterization is central. If $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$1 is an orthonormal basis of real spherical harmonics, then $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$2 is a spherical $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$3-design if and only if all Weyl sums vanish for degrees $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$4: $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$5 For $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$6, the required cancellations occur exactly in degrees $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$7 and $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$8 (An et al., 17 Jan 2026). In numerical papers on $$X_N=\{\mathbf x_1,\dots,\mathbf x_N\}\subset \mathbb S^d$$9, this is written in the equivalent form

$t$0

which is the direct condition optimized in practice (Xiao et al., 2023).

Geometrically and algebraically, spherical $t$1-designs are moment-matching configurations. The discrete first and second moments of the point set match those of the uniform measure on the sphere; in Euclidean form, after normalization, the centroid is at the origin and the covariance is isotropic (An et al., 17 Jan 2026). For finite group orbits $t$2, this second-moment condition appears explicitly as

$t$3

which identifies isotropic group orbits as spherical $t$4-designs (Chien et al., 18 Aug 2025).

A variational formulation packages the harmonic constraints into a single nonnegative objective. On $t$5,

$t$6

and $t$7 is a spherical $t$8-design if and only if $t$9 (An et al., 17 Jan 2026). Hence a spherical $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$0-design is exactly a global minimizer of $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$1 with minimum value zero. Closely related $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$2 formulations include

$$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$3

again with vanishing equivalent to the design property (Xiao et al., 2023).

There is also a matrix characterization. If $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$4 has normalized Gram matrix $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$5, then $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$6 is a spherical $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$7-design if and only if

$$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$8

together with the radius and distinctness conditions encoded in the paper as $$\frac{1}{|\mathbb S^d|}\int_{\mathbb S^d} p(\mathbf x)\,d\mu_d(\mathbf x) = \frac1N\sum_{i=1}^N p(\mathbf x_i) \qquad \forall\,p\in\mathbb P_t,$$9–$\mathbb P_t$0 (Kurihara, 2012). In this form the Gram matrix behaves like a projection, which is the starting point for the excess theorem characterizing Q-polynomial association schemes among spherical $\mathbb P_t$1-designs that are also $\mathbb P_t$2-distance sets (Kurihara, 2012).

3. Cardinality bounds, tight designs, and canonical examples

The fundamental lower bound is due to Delsarte–Goethals–Seidel: $\mathbb P_t$3 For $\mathbb P_t$4, this becomes

$\mathbb P_t$5

in the convention $\mathbb P_t$6 (An et al., 17 Jan 2026). Any spherical $\mathbb P_t$7-design attaining this bound is called tight. The canonical tight example is the regular simplex in $\mathbb P_t$8, whose $\mathbb P_t$9 vertices form a spherical $\mathbb S^d$0-design (An et al., 17 Jan 2026).

In the alternative convention $\mathbb S^d$1, the same bound is written as

$\mathbb S^d$2

for a spherical $\mathbb S^d$3-design in $\mathbb S^d$4 (Dillon, 9 Feb 2025). This is the same minimal-cardinality statement under the shifted indexing. The paper on fixed-strength designs also gives a universal explicit construction: the vertices of the cross-polytope

$\mathbb S^d$5

form a spherical $\mathbb S^d$6-design in $\mathbb S^d$7 with exactly $\mathbb S^d$8 points (Dillon, 9 Feb 2025).

For $\mathbb S^d$9, the lower bound gives $d+1$0, and the regular tetrahedron realizes it (Xiao et al., 2019). The tetrahedron is therefore the minimal spherical $d+1$1-design on the two-sphere, and it is repeatedly used as the basic test case for numerical algorithms (Xiao et al., 2023).

Tight designs are exceptional more generally. The survey notes the broad classification that if a tight $d+1$2-design exists on $d+1$3 with $d+1$4, then

$d+1$5

and if $d+1$6 then $d+1$7 (An et al., 17 Jan 2026). The $d+1$8 case is among the rare degrees where the lower bound is actually achieved by a canonical family.

Existence itself is not problematic at strength $d+1$9. Spherical $t$0-designs exist for all $t$1 by Seymour–Zaslavsky, and the optimal asymptotic upper bound is

$t$2

For $t$3, the survey emphasizes that existence is immediate from the general theorem, while the minimal cardinality is completely understood through the lower bound and the tight simplex example (An et al., 17 Jan 2026).

4. Explicit constructions and symmetry-based methods

One explicit combinatorial route starts from $t$4-free sets in abelian groups. In $t$5, a $t$6-free set is exactly a Sidon set: no nontrivial equality

$t$7

occurs except when $t$8 (Bajnok, 2015). If $t$9 and $t=2$0 is $t=2$1-free, then the trigonometric embedding

$t=2$2

produces a set $t=2$3 that is a spherical $t=2$4-design on $t=2$5 (Bajnok, 2015). The mechanism is that the absence of short additive relations among the $t=2$6 forces the vanishing of the degree-$t=2$7 and degree-$t=2$8 harmonic moments.

Finite group actions yield another structural classification. For a real representation $t=2$9 without trivial component, the orbit $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$00 is a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$01-design exactly when its second moment is isotropic. More precisely, if

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$02

is the isotypic decomposition, then $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$03 is a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$04-design if and only if each projected component has the form

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$05

with

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$06

In a single isotypic component this reduces to the matrix orthogonality condition

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$07

(Chien et al., 18 Aug 2025). This gives a complete representation-theoretic classification of spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$08-designs arising as finite group orbits.

A further lifting principle builds spherical designs in higher dimensions from lower-dimensional subsphere configurations. If $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$09 is a weighted tight $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$10-fusion frame and each subspace $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$11 carries a weighted spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$12-design $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$13, then the weighted union

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$14

is a weighted spherical

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$15

-design in the ambient sphere (Misawa, 24 Jan 2026). At $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$16, this gives $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$17, so subspace-wise spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$18-designs can be assembled into ambient spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$19-designs, and potentially into stronger designs.

The literature also contains non-discrete extensions. Hybrid designs combine a finite point set and a curve by the exactness identity

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$20

for all $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$21. On $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$22, the tetrahedron appears both as a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$23-design and as the source of a $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$24-design cycle obtained from edge projections (Ehler, 11 Feb 2025).

5. Numerical construction, verification, and geometric quality

Because the general existence theorem is nonconstructive, numerical methods remain central even at low strength (An et al., 17 Jan 2026). The dominant strategy is to minimize the nonnegative objective $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$25 over point sets on the sphere. On $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$26, a stationary point of $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$27 with sufficiently small mesh norm is guaranteed to be a $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$28-design; specifically,

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$29

certifies that a stationary point is a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$30-design. For $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$31, the certification threshold is $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$32 (An et al., 17 Jan 2026).

The same survey defines the standard geometric diagnostics

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$33

corresponding to covering radius and separation distance (An et al., 17 Jan 2026). Well-separated designs have better numerical stability, and the survey notes that spherical designs with optimal asymptotic size can also be well-separated (An et al., 17 Jan 2026).

Several optimization schemes are used in practice: Newton-like and quasi-Newton methods, Barzilai–Borwein gradient methods, trust-region methods, and line-search restart conjugate gradient methods (An et al., 17 Jan 2026). The Barzilai–Borwein framework is notable because it avoids Hessians. One practical verification theorem states that if $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$34 is a stationary point of $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$35 and the minimal singular value of the basis matrix is positive, then $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$36 is a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$37-design (An et al., 17 Jan 2026). In the $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$38 Barzilai–Borwein paper, this criterion is used with the regular tetrahedron as the explicit $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$39 example, recovered from four initial points with

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$40

after $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$41 iterations (Xiao et al., 2019).

A complementary characterization uses the notion of a fundamental system for $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$42. If $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$43 and $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$44 is a fundamental system for $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$45, then

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$46

(An, 2014). This gives an exact zero test under a rank hypothesis. The same paper also shows that if $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$47 and $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$48 is a stationary point of $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$49 and a fundamental system for $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$50, then $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$51 is a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$52-design (An, 2014).

These variational methods are directly integrated into approximation pipelines. On $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$53, spherical coordinates

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$54

reduce the design search to a smooth nonconvex optimization problem in $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$55 variables (Xiao et al., 2023).

6. Applications, related structures, and open directions

The most direct application is equal-weight numerical integration on the sphere. For general $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$56-designs, the survey records the Sobolev-space error estimate

$$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$57

which explains why higher-degree designs improve approximation (An et al., 17 Jan 2026). At $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$58, spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$59-designs give the coarsest nontrivial exactness level beyond constants and linear terms, and therefore supply foundational low-order spherical cubature (An et al., 17 Jan 2026).

The same exactness underlies interpolation and hyperinterpolation. The survey states that the discrete inner product built from a $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$60-design makes polynomial projection exact up to degree $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$61 (An et al., 17 Jan 2026). In the function-approximation literature on $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$62, design points are used with equal weights $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$63 in weighted least-squares systems for spherical harmonic projection, and the resulting point sets improve approximation quality for both smooth and nonsmooth test functions (Xiao et al., 2023).

Signal and image processing provide another application domain. Spherical designs supply sampling nodes for spherical framelets, semi-discrete framelet transforms, and denoising procedures on spherical data (Xiao et al., 2023). The survey places these uses alongside data fitting on spheres, regularized recovery, and numerical solutions of partial differential and integral equations (An et al., 17 Jan 2026).

Spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$64-designs also occur in more algebraic settings. The excess theorem for spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$65-designs gives a criterion for recognizing Q-polynomial association schemes from the inner-product distribution and the top harmonic projection (Kurihara, 2012). In lattice theory, if every layer of a full-rank Euclidean lattice is a spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$66-design, then the lattice is a stationary point of the height function of the associated flat torus (Coulangeon et al., 2014). In polarization theory, the cross-polytope has the best max-min polarization constant among all spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$67-designs of $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$68 points for $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$69, and for $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$70 this remains conditional on the conjecture that the cross-polytope has the best covering radius (Boyvalenkov et al., 2022).

Related projective notions enlarge the scope of the subject. Over $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$71, $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$72, and $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$73, spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$74-designs of unit vectors coincide with projective spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$75-designs on the corresponding projective spaces (Waldron, 2020). In this language, $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$76 is the first nontrivial projective moment condition, and the literature includes explicit low-cardinality examples such as a $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$77-point spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$78-design in $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$79 formed by four Mercedes-Benz frames lying in four equi-isoclinic planes (Elzenaar et al., 2024).

The main open directions are constructive rather than existential. The broad existence theorem is nonconstructive, so practical numerical methods remain important; the survey also emphasizes conditioning, separation, efficient construction, nested designs, and designs on spherical caps or zones as continuing themes (An et al., 17 Jan 2026). Within that broader program, spherical $$\mathbb S^d:=\{\mathbf x\in\mathbb R^{d+1}:\|\mathbf x\|_2=1\},$$80-designs remain the base case: they are characterized by vanishing first and second harmonic moments, have minimal size when tight, are realized canonically by regular simplices, and provide the foundational instance of the numerical, geometric, and approximation-theoretic machinery developed for spherical designs as a whole (An et al., 17 Jan 2026).