Butterfly SHTs: Harmonic Index t Designs

• Butterfly SHTs are spherical designs defined by the vanishing sum of homogeneous harmonic polynomials of degree t, offering a relaxed condition compared to classical t-designs.
• They use a lifting construction with classical spherical t-designs and Gegenbauer polynomials to reduce point counts from O(t^(n-1)) to O(t^(n-2)) for fixed dimensions.
• Tight designs are rare and result in equiangular configurations, linking the concepts with symmetry in finite reflection groups and exceptional structures such as the E8 root system.

A spherical design of harmonic index $t$ (“butterfly SHT”; Editor's term for compact reference) is a finite subset of the unit sphere $S^{n-1}\subset \mathbb{R}^n$ such that the sum of any real homogeneous harmonic polynomial of degree exactly $t$ vanishes over the set. This relaxation, strictly weaker than the classical spherical $t$-design condition, requires only the vanishing of moments for harmonics of degree $t$—not for all degrees up to $t$. The theory, formally introduced and systematically developed by Bannai, Okuda, and Tagami, provides new constructions, asymptotic cardinality bounds, rare “tight” minimal examples, and relates closely to equiangular line sets and symmetry phenomenon in finite reflection groups and root systems (Bannai et al., 2013).

1. Definitions and Fundamental Properties

Let $S^{n-1}\subset \mathbb{R}^n$ denote the unit sphere with rotation-invariant measure $d\sigma$ normalized so that $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$. A real polynomial $f(x)$ on $S^{n-1}\subset \mathbb{R}^n$0 of degree at most $S^{n-1}\subset \mathbb{R}^n$1 is called homogeneous harmonic of degree $S^{n-1}\subset \mathbb{R}^n$2 if $S^{n-1}\subset \mathbb{R}^n$3, where $S^{n-1}\subset \mathbb{R}^n$4 is the Laplacian.

• Classical spherical $S^{n-1}\subset \mathbb{R}^n$5-design: A finite, nonempty set $S^{n-1}\subset \mathbb{R}^n$6 is a $S^{n-1}\subset \mathbb{R}^n$7-design if for every real polynomial $S^{n-1}\subset \mathbb{R}^n$8 of degree $S^{n-1}\subset \mathbb{R}^n$9,

$t$0

An equivalent condition due to Delsarte–Goethals–Seidel: $t$1 is a $t$2-design if and only if for every harmonic, homogeneous polynomial $t$3 of each degree $t$4, $t$5.

• Spherical design of harmonic index $t$6: $t$7 is a design of harmonic index $t$8 if

$t$9

where $t$0 is the space of homogeneous harmonic polynomials of degree $t$1. Every classical $t$2-design is a harmonic index $t$3 design, but not conversely (Bannai et al., 2013).

Let $t$4 denote the minimal cardinality of a harmonic index $t$5 design in $t$6.

2. Construction Principles and Explicit Families

A foundational construction is available via Theorem 1 of Bannai–Okuda–Tagami:

Lifting Construction: Given a classical spherical $t$7-design $t$8 and a real root $t$9 of the Gegenbauer polynomial $t$0 on $t$1, the set

$t$2

is a harmonic index $t$3 design in $t$4 (Bannai et al., 2013).

In particular, because optimal classical $t$5-designs exist on $t$6 with $t$7 points (by Bondarenko–Radchenko–Viazovska), this yields a harmonic index $t$8 design in $t$9 with $t$0 points. For fixed $t$1 and large $t$2, such designs exist, and the construction offers a dimensional induction improvement over the $t$3 for classical $t$4-designs.

3. Lower Bounds, Tight Designs, and Equiangularity

For each harmonic index $t$5 design $t$6, a Fisher-type lower bound controls minimal size:

$t$7

where $t$8 is the normalized Gegenbauer polynomial of degree $t$9 satisfying $S^{n-1}\subset \mathbb{R}^n$0, and $S^{n-1}\subset \mathbb{R}^n$1 (Bannai et al., 2013).

A harmonic-index-$S^{n-1}\subset \mathbb{R}^n$2 design attaining this lower bound is called “tight.” Tightness is extremely rare—attaining tightness forces that every pairwise inner product $S^{n-1}\subset \mathbb{R}^n$3 of distinct points satisfies $S^{n-1}\subset \mathbb{R}^n$4, so all pairwise lines are equiangular. The absolute upper bound on equiangular lines for $S^{n-1}\subset \mathbb{R}^n$5 (at most $S^{n-1}\subset \mathbb{R}^n$6 lines) and the asymptotic behavior of $S^{n-1}\subset \mathbb{R}^n$7 for large $S^{n-1}\subset \mathbb{R}^n$8 mean tight harmonic-index-$S^{n-1}\subset \mathbb{R}^n$9 designs can only exist for small $d\sigma$0 or $d\sigma$1.

4. Examples for Small $d\sigma$2 and Sporadic Symmetric Cases

The construction yields exact solutions for several special cases:

• For $d\sigma$3, any even $d\sigma$4 gives $d\sigma$5; two antipodal points at angle $d\sigma$6 form a minimal design: $d\sigma$7.
• For $d\sigma$8, any $d\sigma$9, $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$0; the coordinate axis points $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$1 in a hemisphere yield $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$2.
• For $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$3: $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$4, $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$5, but explicit construction with the regular pentagon in $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$6 gives $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$7 (no 4-point solution exists, and only two 5-point “pentagonal” configurations, up to antipodal symmetry, realize the minimum).
• “Sporadic” high-symmetry cases include: half of the icosahedron’s 12 vertices (size 6, $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$8), half the 600-cell (120 points in $\int_{S^{n-1}} d\sigma(x)=|S^{n-1}|$9, $f(x)$0), and the $f(x)$1 root-system (120 points in $f(x)$2, $f(x)$3). The sizes in these cases are far below the general $f(x)$4 bound, indicating that such “exceptional” designs are tied to rare combinatorial symmetry (Bannai et al., 2013).

5. Existence and Nonexistence of Tight Harmonic Index $f(x)$5 Designs

Tight designs must satisfy not only the Fisher-type lower bound but stringent matrix-theoretic and combinatorial constraints, notably maximizing the number of equiangular lines. For $f(x)$6, the only possible $f(x)$7 where $f(x)$8 is integral and not ruled out by other methods are $f(x)$9 for odd $S^{n-1}\subset \mathbb{R}^n$00. Semi-definite programming and combinatorial nonexistence arguments further narrow possible cases. In small dimensions, all but one sequence of tight harmonic-index-4 designs are ruled out (Bannai et al., 2013).

6. Comparison to Classical Spherical Designs and Extensions

While classical spherical $S^{n-1}\subset \mathbb{R}^n$01-designs require vanishing harmonic moments up to degree $S^{n-1}\subset \mathbb{R}^n$02, harmonic-index-$S^{n-1}\subset \mathbb{R}^n$03 designs sharply reduce the necessary conditions, allowing for smaller sets and more flexible configurations. For instance, for large $S^{n-1}\subset \mathbb{R}^n$04 and fixed $S^{n-1}\subset \mathbb{R}^n$05, harmonic-index-$S^{n-1}\subset \mathbb{R}^n$06 designs of size $S^{n-1}\subset \mathbb{R}^n$07 exist compared to $S^{n-1}\subset \mathbb{R}^n$08 for full $S^{n-1}\subset \mathbb{R}^n$09-designs.

Some open problems and research directions include:

• Obtaining sharp bounds (as opposed to generic $S^{n-1}\subset \mathbb{R}^n$10 rate) on minimal $S^{n-1}\subset \mathbb{R}^n$11.
• Systematic classification and explicit construction of minimal harmonic-index-$S^{n-1}\subset \mathbb{R}^n$12 designs beyond low dimensions.
• Deeper investigation into the connections with equiangular line systems and root-system symmetries for producing potentially infinite families of such designs.

Minimal examples, uniqueness for given $S^{n-1}\subset \mathbb{R}^n$13, and full classification in low dimensions (e.g., the $S^{n-1}\subset \mathbb{R}^n$14 pentagon case) remain open and of special interest. The correspondence with combinatorics of equiangular lines and finite group actions invites further exploration of the algebraic underpinnings (Bannai et al., 2013).

7. Summary Table: Core Results and Examples

The following table succinctly summarizes key instances and bounds for harmonic-index-$S^{n-1}\subset \mathbb{R}^n$15 designs:

$S^{n-1}\subset \mathbb{R}^n$16	Lower bound $S^{n-1}\subset \mathbb{R}^n$17	Minimal $S^{n-1}\subset \mathbb{R}^n$18 and/or Example	Remarks
$S^{n-1}\subset \mathbb{R}^n$19	$S^{n-1}\subset \mathbb{R}^n$20	Any two antipodal points at $S^{n-1}\subset \mathbb{R}^n$21	General for $S^{n-1}\subset \mathbb{R}^n$22
$S^{n-1}\subset \mathbb{R}^n$23	$S^{n-1}\subset \mathbb{R}^n$24	$S^{n-1}\subset \mathbb{R}^n$25 coordinate unit vectors	General for $S^{n-1}\subset \mathbb{R}^n$26
$S^{n-1}\subset \mathbb{R}^n$27	$S^{n-1}\subset \mathbb{R}^n$28	$S^{n-1}\subset \mathbb{R}^n$29 (two pentagonal configurations)	Uniqueness proven
$S^{n-1}\subset \mathbb{R}^n$30, sporadic	varies	6 (icosahedron), 120 ($S^{n-1}\subset \mathbb{R}^n$31), 120 (600-cell, $S^{n-1}\subset \mathbb{R}^n$32)	Exceptional symmetries

Tightness (equality in the lower bound) is rare and typically linked to deep combinatorial or algebraic structures.

---

Further details, rigorous proofs, and computational/numerical examples can be found in the foundational article by Bannai, Okuda, and Tagami (Bannai et al., 2013). The classification, existence, and potential applications of butterfly SHTs (harmonic-index-$S^{n-1}\subset \mathbb{R}^n$33 designs) remain an active topic closely tied to extremal problems in discrete geometry and the theory of point measures on spheres.