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.With e 1 , ..., e n denoting the standard basis vectors of \(\sf{R}\) n and letting x k = e 1 + ··· + e k (k = 1, 2, ..., n), the set
is the vertex set of a generalized regular hyperoctahedron in \(\sf{R}\) n.
A finite set \({\cal X} \subset \sf{R}^n\) with a weight function \(w: {\cal X} \rightarrow \sf{R}^+\) is called a Euclidean t-design, if
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 \(\bar{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 \(\sf{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).
Article PDF
Similar content being viewed by others
References
B. Bajnok, “Construction of spherical t-designs,” Geom. Dedicata 43/2 (1992), 167–179.
B. Bajnok, “On Euclidean designs,” Adv. Geom. 6 (2006) 431–446.
Ei. Bannai, “On extremal finite sets in the sphere and other metric spaces,” London Math. Soc. Lecture Note Ser. 131 (1988) 13–38.
Ei. Bannai and Et. Bannai, “On Euclidean tight 4-designs,” Preprint.
Et. Bannai, “On antipodal Euclidean tight (2e+1)-designs,” Preprint.
J.H. Conway and N.J.A. Sloane, Sphere Packings, Lattices and Groups, 3rd ed. Springer–Verlag, 1999.
P. de la Harpe and C. Pache, “Cubature formulas, geometrical designs, reproducing kernels, and Markov operators,” Preprint.
P. de la Harpe, C. Pache, and B. Venkov, “Construction of spherical cubature formulas using lattices,” Preprint.
P. Delsarte, J.M. Goethals, and J.J. Seidel, “Spherical codes and designs,” Geom. Dedicata 6/3 (1977) 363–388.
P. Delsarte and J.J. Seidel, “Fisher type inequalities for Euclidean t-designs,” Linear Algebra Appl. 114–115 (1989), 213–230.
A. Erdélyi et al., Higher Transcendental Functions, (Bateman Manuscript Project), MacGraw–Hill, Vol. 2, 1953.
T. Ericson and V. Zinoviev, “Codes on Euclidean spheres,” Elsevier, 2001.
C.D. Godsil, Algebraic Combinatorics, Chapman and Hall, Inc., 1993.
J.M. Goethals and J.J. Seidel, “Spherical designs,” in Relations Between Combinatorics and Other Parts of Mathematics, Proc. Sympos. Pure Math., D.K. Ray-Chaudhuri (Ed.), Amer. Math. Soc., Providence, RI, 1979, vol. 34, pp. 255–272.
J.M. Goethals and J.J. Seidel, “Cubature formulae, polytopes and spherical designs,” in The Geometric Vein: The Coxeter Festschrift, C. Davis, B. Grünbaum, and F.A. Sher (Eds.), Springer-Verlag, New York–Berlin, 1981, pp. 203–218.
F.B. Hildebrand, Introduction to Numerical Analysis, 2nd ed. McGraw–Hill, Inc., 1974.
A. Neumaier and J.J. Seidel, “Discrete measures for spherical designs, eutactic stars and lattices,” Nederl. Akad. Wetensch. Indag. Math. 50/3 (1988), 321–334.
J.J. Seidel, “Designs and approximation,” Contemp. Math. 111 (1990), 179–186.
J.J. Seidel, “Isometric embeddings and geometric designs,” Discrete Math. 136 (1994), 281–293.
J.J. Seidel, “Spherical designs and tensors,” in Progress in algebraic combinatorics, Adv. Stud. Pure Math., E. Bannai and A. Munemasa (Eds.), Math. Soc. Japan, Tokyo, 1996, vol. 24, pp.309–321.
P.D. Seymour and T. Zaslavsky, “Averaging sets: A generalization of mean values and spherical designs,” Adv. Math. 52 (1984), 213–240.
A.H. Stroud, Approximate Calculation of Multiple Integrals, Prentice–Hall, Inc., 1971.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bajnok, B. Orbits of the hyperoctahedral group as Euclidean designs. J Algebr Comb 25, 375–397 (2007). https://doi.org/10.1007/s10801-006-0042-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-006-0042-3