Orbits of the hyperoctahedral group as Euclidean designs
Orbits of the hyperoctahedral group as Euclidean designs
复制标题
欧几里得设计的超八面体群的轨道
DOI：
10.1007/s10801-006-0042-3
复制
发表时间：
2007
影响因子：
0.8
通讯作者：
B. Bajnok
中科院分区：
文献类型：
--
作者：
B. Bajnok
AbstractThe hyperoctahedral group H in n dimensions (the Weyl group of Lie type Bn) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes.With e1, ..., en denoting the standard basis vectors of $$\sf{R}$$n and letting xk = e1 + ··· + ek (k = 1, 2, ..., n), the set
$$
{\cal I}^n_k={\bf x}_{\bf k}^H=\{ {\bf x}_{\bf k}^g \mbox{} | \mbox{} g \in H \}$$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
$$
\sum_{r \in R} W_r \bar{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}$$,Wr is the total weight of all elements of $${\cal X}$$ with norm r, Sr is the n-dimensional sphere of radius r centered at the origin, and $$\bar{f}_{S_{r}}$$ is the average of f over Sr.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).
AbstractThe hyperoctahedral group H in n dimensions (the Weyl group of Lie type Bn) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes.With e1, ..., en denoting the standard basis vectors of $$\sf{R}$$n and letting xk = e1 + ··· + ek (k = 1, 2, ..., n), the set
$$
{\cal I}^n_k={\bf x}_{\bf k}^H=\{ {\bf x}_{\bf k}^g \mbox{} | \mbox{} g \in H \}$$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
$$
\sum_{r \in R} W_r \bar{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}$$,Wr is the total weight of all elements of $${\cal X}$$ with norm r, Sr is the n-dimensional sphere of radius r centered at the origin, and $$\bar{f}_{S_{r}}$$ is the average of f over Sr.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).
影响因子：
0.7
作者：
E. Bannai;E. Bannai
通讯作者：
E. Bannai;E. Bannai
Eiichi Bannai：“汉明关联方案 H(d,q) 的字符表的模不变性”J.of Number Theory。
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
通讯作者：
--
关于欧几里得设计
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
Y.;Namikawa;Etsuko Bannai
通讯作者：
Etsuko Bannai