Abstract:The hyperoctahedral group $H$ in $n$ dimensions (the Weyl group of Lie type $B_n$) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes. A finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ is called a Euclidean $t$-design, if $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Here we consider Euclidean designs which are supported by orbits of the hyperoctahedral group. Namely, we prove that any Euclidean design on a union of generalized hyperoctahedra has strength (maximum $t$ for which it is a Euclidean design) equal to 3, 5, or 7. We find explicit necessary and sufficient conditions for when this strength is 5 and for when it is 7. In order to establish our classification, we translate the above definition of Euclidean designs to a single equation for $t=5$, a set of three equations for $t=7$, and a set of seven equations for $t=9$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), proved a Fisher-type inequality $|{\cal X}| \geq N(n,p,t)$ for the minimum size of a Euclidean $t$-design in $\mathbb{R}^n$ on $p=|R|$ concentric spheres (assuming that the design is antipodal if $t$ is odd). A Euclidean design with exactly $N(n,p,t)$ points is called tight. We exhibit new examples of antipodal tight Euclidean designs, supported by orbits of the hyperoctahedral group, for $N(n,p,t)=$(3,2,5), (3,3,7), and (4,2,7).

Constructions of $t$-designs from weighing matrices and walk-regular graphs

Combinatorial t-designs from quadratic functions

Designs, permutations, and transitive groups

Generalized packing designs

Infinite families of linear codes supporting more t-designs

Infinite families of 3‐designs from APN functions

Infinite families of $2$-designs from two classes of linear codes

Infinite families $2$-designs from binary projective three-weight codes

New infinite families of near MDS codes holding $t$-designs

Simple t-designs: A recursive construction for arbitrary t

Quantum search by continuous-time quantum walk on t-designs

Explicit construction of exact unitary designs

A note on $t$-designs in isodual codes

Designs from subcode supports of linear codes

On the Explicit Constructions of Certain Unitary T-Designs

Jacobi polynomials, invariant rings, and generalized $t$-designs

Combinatorial designs, difference sets and bent functions as perfect colorings of graphs and multigraphs

Orbits of the hyperoctahedral group as Euclidean designs

An Infinite Family of Linear Codes Supporting 4-Designs