-
Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces
Authors:
Eiichi Bannai,
Hirotake Kurihara,
Da Zhao,
Yan Zhu
Abstract:
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables)…
▽ More
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables) of $P$- and $Q$-polynomial association schemes are described by Askey-Wilson orthogonal polynomials or their relatives. These polynomials are one-variable orthogonal polynomials. It seems that the new attempt to define and study higher rank $P$- and $Q$-polynomial association schemes had been hoped for, but had gotten only limited success. The first very successful attempt was initiated recently by Bernard-Crampé-d'Andecy-Vinet-Zaimi [arXiv:2212.10824], and then followed by Bannai-Kurihara-Zhao-Zhu [arXiv:2305.00707]. The general theory and some explicit examples of families of higher rank (multivariate) $P$- and/or $Q$-polynomial association schemes have been obtained there. The main purpose of the present paper is to prove that some important families of association schemes are shown to be bivariate $Q$-polynomial. Namely, we show that all the nonbinary Johnson association schemes and all the attenuated space association schemes are bivariate $Q$-polynomial. It should be noted that the parameter restrictions needed in the previous papers are completely lifted in this paper. Our proofs are done by explicitly calculating the Krein parameters of these association schemes. At the end, we mention some speculations and indications of what we can expect in the future study.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
A note on the Assmus--Mattson theorem for some ternary codes (a resume)
Authors:
Eiichi Bannai,
Tsuyoshi Miezaki,
Hiroyuki Nakasora
Abstract:
Let $C$ be a two and three-weight ternary code. Furthermore, we assume that $C_\ell$ are $t$-designs for all $\ell$ by the Assmus--Mattson theorem. We show that $t \leq 5$. As a corollary, we provide a new characterization of the (extended) ternary Golay code.
Let $C$ be a two and three-weight ternary code. Furthermore, we assume that $C_\ell$ are $t$-designs for all $\ell$ by the Assmus--Mattson theorem. We show that $t \leq 5$. As a corollary, we provide a new characterization of the (extended) ternary Golay code.
△ Less
Submitted 19 February, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Multivariate P- and/or Q-polynomial association schemes
Authors:
Eiichi Bannai,
Hirotake Kurihara,
Da Zhao,
Yan Zhu
Abstract:
The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-esta…
▽ More
The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-established definition nor results. Very recently, Bernard, Crampé, d'Andecy, Vinet, and Zaimi [arXiv:2212.10824], defined bivariate $P$-polynomial association schemes, as well as bivariate $Q$-polynomial association schemes. In this paper, we study these concepts and propose a new modified definition concerning a general monomial order, which is more general and more natural and also easy to handle. We prove that there are many interesting families of examples of multivariate $P$- and/or $Q$-polynomial association schemes.
△ Less
Submitted 15 August, 2023; v1 submitted 1 May, 2023;
originally announced May 2023.
-
On the two-distance embedding in real Euclidean space of coherent configuration of type (2,2;3)
Authors:
Eiichi Bannai,
Etsuko Bannai,
Chin-Yen Lee,
Ziqing Xiang,
Wei-Hsuan Yu
Abstract:
Finding the maximum cardinality of a $2$-distance set in Euclidean space is a classical problem in geometry. Lisoněk in 1997 constructed a maximum $2$-distance set in $\mathbb R^8$ with $45$ points. That $2$-distance set constructed by Lisoněk has a distinguished structure of a coherent configuration of type $(2,2;3)$ and is embedded in two concentric spheres in $\mathbb R^8$. In this paper we stu…
▽ More
Finding the maximum cardinality of a $2$-distance set in Euclidean space is a classical problem in geometry. Lisoněk in 1997 constructed a maximum $2$-distance set in $\mathbb R^8$ with $45$ points. That $2$-distance set constructed by Lisoněk has a distinguished structure of a coherent configuration of type $(2,2;3)$ and is embedded in two concentric spheres in $\mathbb R^8$. In this paper we study whether there exists any other similar embedding of a coherent configuration of type $(2,2;3)$ as a $2$-distance set in $\mathbb R^n$, without assuming any restriction on the size of the set. We prove that there exists no such example other than that of Lisoněk. The key ideas of our proof are as follows: (i) study the geometry of the embedding of the coherent configuration in Euclidean spaces and to drive diophantine equations coming from this embedding. (ii) solve diophantine equations with certain additional conditions of integrality of some parameters of the combinatorial structure by using the method of auxiliary equations.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
A note on the Assmus--Mattson theorem for some binary codes II
Authors:
Eiichi Bannai,
Tsuyoshi Miezaki,
Hiroyuki Nakasora
Abstract:
Let $C$ be a four-weight binary code, which has all one vector. Furthermore, we assume that $C$ supports $t$-designs for all weights obtained from the Assmus--Mattson theorem. We previously showed that $t\leq 5$. In the present paper, we show an analogue of this result in the cases of five and six-weight codes.
Let $C$ be a four-weight binary code, which has all one vector. Furthermore, we assume that $C$ supports $t$-designs for all weights obtained from the Assmus--Mattson theorem. We previously showed that $t\leq 5$. In the present paper, we show an analogue of this result in the cases of five and six-weight codes.
△ Less
Submitted 13 March, 2023; v1 submitted 18 August, 2022;
originally announced August 2022.
-
The real equiangular tight frames obtained from rank $3$ graphs
Authors:
Eiichi Bannai,
Etsuko Bannai,
Chin-Yen Lee,
Hajime Tanaka,
Wei-Hsuan Yu
Abstract:
We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph.
We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph.
△ Less
Submitted 7 April, 2024; v1 submitted 20 February, 2022;
originally announced February 2022.
-
Quantum circuits for exact unitary $t$-designs and applications to higher-order randomized benchmarking
Authors:
Yoshifumi Nakata,
Da Zhao,
Takayuki Okuda,
Eiichi Bannai,
Yasunari Suzuki,
Shiro Tamiya,
Kentaro Heya,
Zhiguang Yan,
Kun Zuo,
Shuhei Tamate,
Yutaka Tabuchi,
Yasunobu Nakamura
Abstract:
A unitary $t$-design is a powerful tool in quantum information science and fundamental physics. Despite its usefulness, only approximate implementations were known for general $t$. In this paper, we provide for the first time quantum circuits that generate exact unitary $t$-designs for any $t$ on an arbitrary number of qubits. Our construction is inductive and is of practical use in small systems.…
▽ More
A unitary $t$-design is a powerful tool in quantum information science and fundamental physics. Despite its usefulness, only approximate implementations were known for general $t$. In this paper, we provide for the first time quantum circuits that generate exact unitary $t$-designs for any $t$ on an arbitrary number of qubits. Our construction is inductive and is of practical use in small systems. We then introduce a $t$-th order generalization of randomized benchmarking ($t$-RB) as an application of exact $2t$-designs. We particularly study the $2$-RB in detail and show that it reveals self-adjointness of quantum noise, a new metric related to the feasibility of quantum error correction (QEC). We numerically demonstrate that the $2$-RB in one- and two-qubit systems is feasible, and experimentally characterize background noise of a superconducting qubit by the $2$-RB. It is shown from the experiment that interactions with adjacent qubits induce the noise that may result in an obstacle toward the realization of QEC.
△ Less
Submitted 21 September, 2021; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Explicit construction of exact unitary designs
Authors:
Eiichi Bannai,
Yoshifumi Nakata,
Takayuki Okuda,
Da Zhao
Abstract:
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss wha…
▽ More
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary $4$-designs in $U(4)$ obtained by these methods.
Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs $(G,K)$. Note that $(U(n),U(m) \times U(n-m))$ is a Gelfand pair. By using the zonal spherical functions for $(G,K)$, we can construct designs on $G$ from designs on $K$.
We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups $O(d)$, and thus provides another explicit construction of spherical $t$-designs on the $d$ dimensional sphere $S^{d-1}$ by the induction on $d$.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Tight relative $t$-designs on two shells in hypercubes, and Hahn and Hermite polynomials
Authors:
Eiichi Bannai,
Etsuko Bannai,
Hajime Tanaka,
Yan Zhu
Abstract:
Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in…
▽ More
Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
The complex conjugate invariants of Clifford groups
Authors:
Eiichi Bannai,
Manabu Oura,
Da Zhao
Abstract:
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $\mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ varia…
▽ More
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $\mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ variables of degree $N_1$ in $x_f$ and of degree $N_2$ in their complex conjugates $\overline{x_f}$. In particular, we show that the dimension of this space is $2$, for $(N_1,N_2)=(5,5)$. This solves the Conjecture 2 given in Zhu, Kueng, Grassl and Gross affirmatively. In other words if an orbit of the complex Clifford group is a projective $4$-design, then it is automatically a projective $5$-design.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
On the explicit constructions of certain unitary $t$-designs
Authors:
Eiichi Bannai,
Mikio Nakahara,
Da Zhao,
Yan Zhu
Abstract:
Unitary $t$-designs are `good' finite subsets of the unitary group $U(d)$ that approximate the whole unitary group $U(d)$ well. Unitary $t$-designs have been applied in randomized benchmarking, tomography, quantum cryptography and many other areas of quantum information science. If a unitary $t$-design itself is a group then it is called a unitary $t$-group. Although it is known that unitary $t$-d…
▽ More
Unitary $t$-designs are `good' finite subsets of the unitary group $U(d)$ that approximate the whole unitary group $U(d)$ well. Unitary $t$-designs have been applied in randomized benchmarking, tomography, quantum cryptography and many other areas of quantum information science. If a unitary $t$-design itself is a group then it is called a unitary $t$-group. Although it is known that unitary $t$-designs in $U(d)$ exist for any $t$ and $d$, the unitary $t$-groups do not exist for $t\geq 4$ if $d\geq 3$, as it is shown by Guralnick-Tiep (2005) and Bannai-Navarro-Rizo-Tiep (BNRT, 2018). Explicit constructions of exact unitary $t$-designs in $U(d)$ are not easy in general. In particular, explicit constructions of unitary $4$-designs in $U(4)$ have been an open problem in quantum information theory. We prove that some exact unitary $(t+1)$-designs in the unitary group $U(d)$ are constructed from unitary $t$-groups in $U(d)$ that satisfy certain specific conditions. Based on this result, we specifically construct exact unitary $3$-designs in $U(3)$ from the unitary $2$-group $SL(3,2)$ in $U(3),$ and also unitary $4$-designs in $U(4)$ from the unitary $3$-group $Sp(4,3)$ in $U(4)$ numerically. We also discuss some related problems.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Unitary t-groups
Authors:
Eiichi Bannai,
Gabriel Navarro,
Noelia Rizo,
Pham Huu Tiep
Abstract:
Relying on the main results of [Guralnick-Tiep], we classify all unitary $t$-groups for $t \geq 2$ in any dimension $d \geq 2$. We also show that there is essentially a unique unitary $4$-group, which is also a unitary $5$-group, but not a unitary $t$-group for any $t \geq 6$.
Relying on the main results of [Guralnick-Tiep], we classify all unitary $t$-groups for $t \geq 2$ in any dimension $d \geq 2$. We also show that there is essentially a unique unitary $4$-group, which is also a unitary $5$-group, but not a unitary $t$-group for any $t \geq 6$.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Half of an antipodal spherical design
Authors:
Eiichi Bannai,
Da Zhao,
Lin Zhu,
Yan Zhu,
Yinfeng Zhu
Abstract:
We investigate several antipodal spherical designs on whether we can choose half of the points, one from each antipodal pair, such that they are balanced at the origin. In particular, root systems of type A, D and E, minimal points of Leech lattice and the unique tight 7-design on $S^{22}$ are studied. We also study a half of an antipodal spherical design from the viewpoint of association schemes…
▽ More
We investigate several antipodal spherical designs on whether we can choose half of the points, one from each antipodal pair, such that they are balanced at the origin. In particular, root systems of type A, D and E, minimal points of Leech lattice and the unique tight 7-design on $S^{22}$ are studied. We also study a half of an antipodal spherical design from the viewpoint of association schemes and spherical designs of harmonic index $T$.
△ Less
Submitted 29 October, 2017;
originally announced October 2017.
-
Spherical embeddings of symmetric association schemes in 3-dimensional Euclidean space
Authors:
Eiichi Bannai,
Da Zhao
Abstract:
We classify the symmetric association schemes with faithful spherical embedding in 3-dimensional Euclidean space. Our result is based on previous research on primitive association schemes with $m_1 = 3$.
We classify the symmetric association schemes with faithful spherical embedding in 3-dimensional Euclidean space. Our result is based on previous research on primitive association schemes with $m_1 = 3$.
△ Less
Submitted 30 September, 2017;
originally announced October 2017.
-
On the strong non-rigidity of certain tight Euclidean designs
Authors:
Eiichi Bannai,
Etsuko Bannai,
Djoko Suprijanto
Abstract:
We study the non-rigidity of Euclidean $t$-designs, namely we study when Euclidean designs (in particular certain tight Euclidean designs) can be deformed kee** the property of being Euclidean $t$-designs. We show that certain tight Euclidean $t$-designs are non-rigid, and in fact satisfy a stronger form of non-rigidity which we call strong non-rigidity. This shows that there are plenty of non-i…
▽ More
We study the non-rigidity of Euclidean $t$-designs, namely we study when Euclidean designs (in particular certain tight Euclidean designs) can be deformed kee** the property of being Euclidean $t$-designs. We show that certain tight Euclidean $t$-designs are non-rigid, and in fact satisfy a stronger form of non-rigidity which we call strong non-rigidity. This shows that there are plenty of non-isomorphic tight Euclidean $t$-designs for certain parameters, which seems to have been unnoticed before. We also include the complete classification of tight Euclidean $2$-designs.
△ Less
Submitted 18 August, 2017;
originally announced August 2017.
-
Relative t-designs in binary Hamming association scheme H(n,2)
Authors:
Eiichi Bannai,
Etsuko Bannai,
Yan Zhu
Abstract:
A relative t-design in the binary Hamming association schemes H(n,2) is equivalent to a weighted regular t-wise balanced design, i.e., certain combinatorial t-design which allow different sizes of blocks and a weight function on blocks. In this paper, we study relative t-designs in H(n,2), putting emphasis on Fisher type inequalities and the existence of tight relative t-designs. We mostly conside…
▽ More
A relative t-design in the binary Hamming association schemes H(n,2) is equivalent to a weighted regular t-wise balanced design, i.e., certain combinatorial t-design which allow different sizes of blocks and a weight function on blocks. In this paper, we study relative t-designs in H(n,2), putting emphasis on Fisher type inequalities and the existence of tight relative t-designs. We mostly consider relative t-designs on two shells. We prove that if the weight function is constant on each shell of a relative t-design on two shells then the subset in each shell must be a combinatorial (t-1)-design. This is a generalization of the result of Kageyama who proved this under the stronger assumption that the weight function is constant on the whole block set. Using this, we define tight relative t-designs for odd t, and a strong restriction on the possible parameters of tight relative t-designs in H(n,2). We obtained a new family of such tight relative t-designs, which were unnoticed before. We will give a list of feasible parameters of such relative 3-designs with n up to 100, and then we discuss the existence and/or the non-existence of such tight relative 3-designs. We also discuss feasible parameters of tight relative 4-designs on two shells in H(n,2) with n up 50. In this study we come up with the connection on the topics of classical design theory, such as symmetric 2-designs (in particular 2-(4u-1,2u-1,u-1) Hadamard designs) and Driessen's result on the non-existence of certain 3-designs. We believe the Problem 1 and Problem 2 presented in Section 5.2 open a new way to study relative t-designs in H(n,2). We conclude our paper listing several open problems.
△ Less
Submitted 5 December, 2015;
originally announced December 2015.
-
More on spherical designs of harmonic index $t$
Authors:
Yan Zhu,
Eiichi Bannai,
Etsuko Bannai,
Kyoung-Tark Kim,
Wei-Hsuan Yu
Abstract:
A finite subset $Y$ on the unit sphere $S^{n-1} \subseteq \mathbb{R}^n$ is called a spherical design of harmonic index $t$, if the following condition is satisfied: $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $t$. Also, for a subset $T$ of $\mathbb{N} = \{1,2,\cdots \}$, a finite subset $Y\subset S^{n-1}$ is called a spherical…
▽ More
A finite subset $Y$ on the unit sphere $S^{n-1} \subseteq \mathbb{R}^n$ is called a spherical design of harmonic index $t$, if the following condition is satisfied: $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $t$. Also, for a subset $T$ of $\mathbb{N} = \{1,2,\cdots \}$, a finite subset $Y\subset S^{n-1}$ is called a spherical design of harmonic index $T,$ if $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ is satisfied for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $k$ with $k\in T$.
In the present paper we first study Fisher type lower bounds for the sizes of spherical designs of harmonic index $t$ (or for harmonic index $T$). We also study 'tight' spherical designs of harmonic index $t$ or index $T$. Here 'tight' means that the size of $Y$ attains the lower bound for this Fisher type inequality. The classification problem of tight spherical designs of harmonic index $t$ was started by Bannai-Okuda-Tagami (2015), and the case $t = 4$ was completed by Okuda-Yu (2015+). In this paper we show the classification (non-existence) of tight spherical designs of harmonic index 6 and 8, as well as the asymptotic non-existence of tight spherical designs of harmonic index $2e$ for general $e\geq 3$. We also study the existence problem for tight spherical designs of harmonic index $T$ for some $T$, in particular, including index $T = \{8,4\}$. We use (i) the linear programming method by Delsarte, (ii) the detailed information on the locations of the zeros as well as the local minimum values of Gegenbauer polynomials, (iii) the generalization by Hiroshi Nozaki of the Larman-Rogers-Seidel theorem on $2$-distance sets to $s$-distance sets, (iv) the theory of elliptic diophantine equations, and (v) the semidefinite programming method of eliminating some $2$-angular line systems for small dimensions.
△ Less
Submitted 21 July, 2015; v1 submitted 19 July, 2015;
originally announced July 2015.
-
Some Bounds for the Number of Blocks III
Authors:
Etsuko Bannai,
Ryuzaburo Noda
Abstract:
Let $\mathcal D=(Ω, \mathcal B)$ be a pair of $v$ point set $Ω$ and a set $\mathcal B$ consists of $k$ point subsets of $Ω$ which are called blocks. Let $d$ be the maximal cardinality of the intersections between the distinct two blocks in $\mathcal B$. The triple $(v,k,d)$ is called the parameter of $\mathcal B$. Let $b$ be the number of the blocks in $\mathcal B$. It is shown that inequality…
▽ More
Let $\mathcal D=(Ω, \mathcal B)$ be a pair of $v$ point set $Ω$ and a set $\mathcal B$ consists of $k$ point subsets of $Ω$ which are called blocks. Let $d$ be the maximal cardinality of the intersections between the distinct two blocks in $\mathcal B$. The triple $(v,k,d)$ is called the parameter of $\mathcal B$. Let $b$ be the number of the blocks in $\mathcal B$. It is shown that inequality ${v\choose d+2i-1}\geq b\{{k\choose d+2i-1} +{k\choose d+2i-2}{v-k\choose 1}+....$ $.+{k\choose d+i}{v-k\choose i-1} \}$ holds for each $i$ satisfying $1\leq i\leq k-d$, in the paper: Some Bounds for the Number of Blocks, Europ. J. Combinatorics 22 (2001), 91--94, by R. Noda. If $b$ achieves the upper bound, $\mathcal D$ is called a $β(i)$ design. In the paper, an upper bound and a lower bound, $ \frac{(d+2i)(k-d)}{i}\leq v \leq \frac{(d+2(i-1))(k-d)}{i-1} $, for $v$ of a $β(i)$ design $\mathcal D$ are given. In the present paper we consider the cases when $v$ does not achieve the upper bound or lower bound given above, and get new more strict bounds for $v$ respectively. We apply this bound to the problem of the perfect $e$-codes in the Johnson scheme, and improve the bound given by Roos in 1983.
△ Less
Submitted 18 March, 2015; v1 submitted 15 April, 2014;
originally announced April 2014.
-
Mackey's theory of $τ$-conjugate representations for finite groups. APPENDIX: On Some Gelfand Pairs and Commutative Association Schemes
Authors:
Tullio Ceccherini-Silberstein,
Fabio Scarabotti,
Filippo Tolli,
Eiichi Bannai,
Hajime Tanaka
Abstract:
The aim of the present paper is to expose two contributions of Mackey, together with a more recent result of Kawanaka and Matsuyama, generalized by Bump and Ginzburg, on the representation theory of a finite group equipped with an involutory anti-automorphism (e.g. the anti-automorphism $g\mapsto g^{-1}$). Mackey's first contribution is a detailed version of the so-called Gelfand criterion for wea…
▽ More
The aim of the present paper is to expose two contributions of Mackey, together with a more recent result of Kawanaka and Matsuyama, generalized by Bump and Ginzburg, on the representation theory of a finite group equipped with an involutory anti-automorphism (e.g. the anti-automorphism $g\mapsto g^{-1}$). Mackey's first contribution is a detailed version of the so-called Gelfand criterion for weakly symmetric Gelfand pairs. Mackey's second contribution is a characterization of simply reducible groups (a notion introduced by Wigner). The other result is a twisted version of the Frobenius-Schur theorem, where "twisted" refers to the above-mentioned involutory anti-automorphism. APPENDIX: We consider a special condition related to Gelfand pairs. Namely, we call a finite group $G$ and its automorphism $σ$ satisfy Condition ($\bigstar$) if the following condition is satisfied: if for $x,y\in G$, $x\cdot x^{-σ}$ and $y\cdot y^{-σ}$ are conjugate in $G$, then they are conjugate in $K=C_G(σ)$. We study the meanings of this condition, as well as showing many examples of $G$ and $σ$ which do (or do not) satisfy Condition ($\bigstar$).
△ Less
Submitted 12 July, 2014; v1 submitted 28 November, 2013;
originally announced November 2013.
-
Spherical designs of harmonic index t
Authors:
Eiichi Bannai,
Takayuki Okuda,
Makoto Tagami
Abstract:
Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint…
▽ More
Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint of this equivalent condition, and we give its construction and a Fisher type lower bound on the cardinality. Also we investigate whether there is a spherical design of harmonic index attaining the bound.
△ Less
Submitted 23 August, 2013;
originally announced August 2013.
-
On the existence of tight relative 2-designs on binary Hamming association schemes
Authors:
Eiichi Bannai,
Etsuko Bannai,
Hideo Bannai
Abstract:
It is known that there is a close analogy between "Euclidean t-designs vs. spherical t-designs" and "Relative t-designs in binary Hamming association schemes vs. combinatorial t-designs". In this paper, we want to prove how much we can develop a similar theory in the latter situation, imitating the theory in the former one. We first prove that the weight function is constant on each shell for tigh…
▽ More
It is known that there is a close analogy between "Euclidean t-designs vs. spherical t-designs" and "Relative t-designs in binary Hamming association schemes vs. combinatorial t-designs". In this paper, we want to prove how much we can develop a similar theory in the latter situation, imitating the theory in the former one. We first prove that the weight function is constant on each shell for tight relative t-designs on p shells on a wide class of Q-polynomial association schemes, including Hamming association schemes. In the theory of Euclidean t-designs on 2 concentric spheres (shells), it is known that the structure of coherent configurations is naturally attached. However, it seems difficult to prove this claim in a general context. In the case of tight 2-designs in combinatorial 2-designs, there are great many tight 2-designs, i.e., symmetric 2-designs, while there are very few tight 2e-designs for e no less than 2. So, as a starting point, we concentrate our study to the existence problem of tight relative 2-designs, in particular on 2 shells, in binary Hamming association schemes H(n,2). We prove that every tight relative 2-designs on 2 shells in H(n,2) has the structure of coherent configuration. We determined all the possible parameters of coherent configurations attached to such tight relative 2-designs for n at most 30. Moreover for each of them we determined whether there exists such a tight relative 2-design or not, either by constructing them from symmetric 2-designs or Hadamard matrices, or theoretically showing the non-existence. In particular, we show that for n congruent to 6 (mod 8), there exist such tight relative 2-designs whose weight functions are not constant. These are the first examples of those with non-constant weight.
△ Less
Submitted 21 April, 2013;
originally announced April 2013.
-
On relative $t$-designs in polynomial association schemes
Authors:
Eiichi Bannai,
Etsuko Bannai,
Sho Suda,
Hajime Tanaka
Abstract:
Motivated by the similarities between the theory of spherical $t$-designs and that of $t$-designs in $Q$-polynomial association schemes, we study two versions of relative $t$-designs, the counterparts of Euclidean $t$-designs for $P$- and/or $Q$-polynomial association schemes. We develop the theory based on the Terwilliger algebra, which is a noncommutative associative semisimple $\mathbb{C}$-alge…
▽ More
Motivated by the similarities between the theory of spherical $t$-designs and that of $t$-designs in $Q$-polynomial association schemes, we study two versions of relative $t$-designs, the counterparts of Euclidean $t$-designs for $P$- and/or $Q$-polynomial association schemes. We develop the theory based on the Terwilliger algebra, which is a noncommutative associative semisimple $\mathbb{C}$-algebra associated with each vertex of an association scheme. We compute explicitly the Fisher type lower bounds on the sizes of relative $t$-designs, assuming that certain irreducible modules behave nicely. The two versions of relative $t$-designs turn out to be equivalent in the case of the Hamming schemes. From this point of view, we establish a new algebraic characterization of the Hamming schemes.
△ Less
Submitted 26 September, 2015; v1 submitted 28 March, 2013;
originally announced March 2013.
-
Maximal $m$-distance sets containing the representation of the Johnson graph $J(n, m)$
Authors:
Eiichi Bannai,
Takahiro Sato,
Junichi Shigezumi
Abstract:
We classify the maximal $m$-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of the Johnson graph $J(n, m)$ for $m = 2, 3$. Furthermore, we determine the necessary and sufficient condition for $n$ and $m$ such that the representation of the Johnson graph $J(n, m)$ is not maximal as an $m$-distance set. Also, we classify the maximal two-distance sets in $\mathbb{R}^{n-1}$ which…
▽ More
We classify the maximal $m$-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of the Johnson graph $J(n, m)$ for $m = 2, 3$. Furthermore, we determine the necessary and sufficient condition for $n$ and $m$ such that the representation of the Johnson graph $J(n, m)$ is not maximal as an $m$-distance set. Also, we classify the maximal two-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of $J(n - 1, 2)$.
△ Less
Submitted 1 September, 2012; v1 submitted 7 February, 2012;
originally announced February 2012.
-
Tight 9-designs on two concentric spheres
Authors:
Eiichi Bannai,
Etsuko Bannai
Abstract:
The main purpose of this paper is to show the nonexistence of tight Euclidean 9-designs on 2 concentric spheres in $\mathbb R^n$ if $n\geq 3.$ This in turn implies the nonexistence of minimum cubature formulas of degree 9 (in the sense of Cools and Schmid) for any spherically symmetric integrals in $\mathbb R^n$ if $n\geq 3.$
The main purpose of this paper is to show the nonexistence of tight Euclidean 9-designs on 2 concentric spheres in $\mathbb R^n$ if $n\geq 3.$ This in turn implies the nonexistence of minimum cubature formulas of degree 9 (in the sense of Cools and Schmid) for any spherically symmetric integrals in $\mathbb R^n$ if $n\geq 3.$
△ Less
Submitted 2 June, 2010;
originally announced June 2010.
-
A new Euclidean tight 6-design
Authors:
Eiichi Bannai,
Etsuko Bannai,
Junichi Shigezumi
Abstract:
We give a new example of Euclidean tight 6-design in $\mathbb R^{22}$.
We give a new example of Euclidean tight 6-design in $\mathbb R^{22}$.
△ Less
Submitted 7 February, 2012; v1 submitted 27 May, 2010;
originally announced May 2010.
-
Toy models for D. H. Lehmer's conjecture II
Authors:
Eiichi Bannai,
Tsuyoshi Miezaki
Abstract:
In the previous paper, we studied the "Toy models for D. H. Lehmer's conjecture". Namely, we showed that the m-th Fourier coefficient of the weighted theta series of the $\mathbb{Z}^2$-lattice and the $A_{2}$-lattice does not vanish, when the shell of norm $m$ of those lattices is not the empty set. In other words, the spherical 4 (resp. 6)-design does not exist among the nonempty shells in the…
▽ More
In the previous paper, we studied the "Toy models for D. H. Lehmer's conjecture". Namely, we showed that the m-th Fourier coefficient of the weighted theta series of the $\mathbb{Z}^2$-lattice and the $A_{2}$-lattice does not vanish, when the shell of norm $m$ of those lattices is not the empty set. In other words, the spherical 4 (resp. 6)-design does not exist among the nonempty shells in the $\mathbb{Z}^2$-lattice (resp. $A_{2}$-lattice). This paper is the sequel to the previous paper. We take 2-dimensional lattices associated to the algebraic integers of imaginary quadratic fields whose class number is either 1 or 2, except for $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, then, show that the $m$-th Fourier coefficient of the weighted theta series of those lattices does not vanish, when the shell of norm $m$ of those lattices is not the empty set. Equivalently, we show that the corresponding spherical 2-design does not exist among the nonempty shells in those lattices.
△ Less
Submitted 9 April, 2010;
originally announced April 2010.
-
An elementary approach to toy models for D. H. Lehmer's conjecture
Authors:
Eiichi Bannai,
Tsuyoshi Miezaki,
Vladimir A. Yudin
Abstract:
In 1947, Lehmer conjectured that the Ramanujan's tau function $τ(m)$ never vanishes for all positive integers $m$, where $τ(m)$ is the $m$-th Fourier coefficient of the cusp form $Δ_{24}$ of weight 12. The theory of spherical $t$-design is closely related to Lehmer's conjecture because it is shown, by Venkov, de la Harpe, and Pache, that $τ(m)=0$ is equivalent to the fact that the shell of norm…
▽ More
In 1947, Lehmer conjectured that the Ramanujan's tau function $τ(m)$ never vanishes for all positive integers $m$, where $τ(m)$ is the $m$-th Fourier coefficient of the cusp form $Δ_{24}$ of weight 12. The theory of spherical $t$-design is closely related to Lehmer's conjecture because it is shown, by Venkov, de la Harpe, and Pache, that $τ(m)=0$ is equivalent to the fact that the shell of norm $2m$ of the $E_{8}$-lattice is a spherical 8-design. So, Lehmer's conjecture is reformulated in terms of spherical $t$-design.
Lehmer's conjecture is difficult to prove, and still remains open. However, Bannai-Miezaki showed that none of the nonempty shells of the integer lattice $\ZZ^2$ in $\RR^2$ is a spherical 4-design, and that none of the nonempty shells of the hexagonal lattice $A_2$ is a spherical 6-design. Moreover, none of the nonempty shells of the integer lattices associated to the algebraic integers of imaginary quadratic fields whose class number is either 1 or 2, except for $\QQ(\sqrt{-1})$ and $\QQ(\sqrt{-3})$ is a spherical 2-design. In the proof, the theory of modular forms played an important role.
Recently, Yudin found an elementary proof for the case of $\ZZ^{2}$-lattice which does not use the theory of modular forms but uses the recent results of Calcut. In this paper, we give the elementary (i.e., modular form free) proof and discuss the relation between Calcut's results and the theory of imaginary quadratic fields.
△ Less
Submitted 23 March, 2010;
originally announced March 2010.
-
On a property of 2-dimensional integral Euclidean lattices
Authors:
Eiichi Bannai,
Tsuyoshi Miezaki
Abstract:
Let $L$ be any integral lattice in the 2-dimensional Euclidean space. Generalizing the earlier works of Hiroshi Maehara and others, we prove that for every integer $n>0$, there is a circle in the plane $\mathbb{R}^{2}$ that passes through exactly $n$ points of $L$.
Let $L$ be any integral lattice in the 2-dimensional Euclidean space. Generalizing the earlier works of Hiroshi Maehara and others, we prove that for every integer $n>0$, there is a circle in the plane $\mathbb{R}^{2}$ that passes through exactly $n$ points of $L$.
△ Less
Submitted 1 March, 2011; v1 submitted 8 December, 2009;
originally announced December 2009.
-
Euclidean designs and coherent configurations
Authors:
Eiichi Bannai,
Etsuko Bannai
Abstract:
The concept of spherical $t$-design, which is a finite subset of the unit sphere, was introduced by Delsarte-Goethals-Seidel (1977). The concept of Euclidean $t$-design, which is a two step generalization of spherical design in the sense that it is a finite weighted subset of Euclidean space, by Neumaier-Seidel (1988). We first review these two concepts, as well as the concept of tight $t$-desig…
▽ More
The concept of spherical $t$-design, which is a finite subset of the unit sphere, was introduced by Delsarte-Goethals-Seidel (1977). The concept of Euclidean $t$-design, which is a two step generalization of spherical design in the sense that it is a finite weighted subset of Euclidean space, by Neumaier-Seidel (1988). We first review these two concepts, as well as the concept of tight $t$-design, i.e., the one whose cardinality reaches the natural lower bound. We are interested in $t$-designs (spherical or Euclidean) which are either tight or close to tight. As is well known by Delsarte-Goethals-Seidel (1977), in the study of spherical $t$-designs and in particular of those which are either tight or close to tight, association schemes play important roles. The main purpose of this paper is to show that in the study of Euclidean $t$-designs and in particular of those which are either tight or close to tight, coherent configurations play important roles. Here, coherent configuration is a purely combinatorial concept defined by D. G. Higman, and is obtained by axiomatizing the properties of general, not necessarily transitive, permutation groups, in the same way as association scheme was obtained by axiomatizing the properties of transitive permutation groups. The main purpose of this paper is to prove that Euclidean $t$-designs satisfying certain conditions give the structure of coherent configurations. Moreover we study the classification problems of Euclidean 4-designs on two concentric spheres with certain additional conditions.
△ Less
Submitted 13 May, 2009;
originally announced May 2009.
-
The mathematics of Donald Gordon Higman
Authors:
Eiichi Bannai,
Robert L. Griess, Jr.,
Cheryl Praeger,
Leonard Scott
Abstract:
This is about the mathematics and life of Donald Gordon Higman, 1928-2006. He did important work in representation theory of groups and algebras and in algebraic combinatorics. Charles C. Sims and Donald Higman discovered and constructed one of the sporadic simple groups.
This is about the mathematics and life of Donald Gordon Higman, 1928-2006. He did important work in representation theory of groups and algebras and in algebraic combinatorics. Charles C. Sims and Donald Higman discovered and constructed one of the sporadic simple groups.
△ Less
Submitted 7 January, 2009;
originally announced January 2009.
-
Toy models for D. H. Lehmer's conjecture
Authors:
Eiichi Bannai,
Tsuyoshi Miezaki
Abstract:
In 1947, Lehmer conjectured that the Ramanujan $τ$-function $τ(m)$ never vanishes for all positive integers $m$, where the $τ(m)$ are the Fourier coefficients of the cusp form $Δ_{24}$ of weight 12. Lehmer verified the conjecture in 1947 for $m<214928639999$. In 1973, Serre verified up to $m<10^{15}$, and in 1999, Jordan and Kelly for $m<22689242781695999$.
The theory of spherical $t$-design,…
▽ More
In 1947, Lehmer conjectured that the Ramanujan $τ$-function $τ(m)$ never vanishes for all positive integers $m$, where the $τ(m)$ are the Fourier coefficients of the cusp form $Δ_{24}$ of weight 12. Lehmer verified the conjecture in 1947 for $m<214928639999$. In 1973, Serre verified up to $m<10^{15}$, and in 1999, Jordan and Kelly for $m<22689242781695999$.
The theory of spherical $t$-design, and in particular those which are the shells of Euclidean lattices, is closely related to the theory of modular forms, as first shown by Venkov in 1984. In particular, Ramanujan's $τ$-function gives the coefficients of a weighted theta series of the $E_{8}$-lattice. It is shown, by Venkov, de la Harpe, and Pache, that $τ(m)=0$ is equivalent to the fact that the shell of norm $2m$ of the $E_{8}$-lattice is an 8-design. So, Lehmer's conjecture is reformulated in terms of spherical $t$-design.
Lehmer's conjecture is difficult to prove, and still remains open. In this paper, we consider toy models of Lehmer's conjecture. Namely, we show that the $m$-th Fourier coefficient of the weighted theta series of the $\mathbb{Z}^2$-lattice and the $A_{2}$-lattice does not vanish, when the shell of norm $m$ of those lattices is not the empty set. In other words, the spherical 5 (resp. 7)-design does not exist among the shells in the $\mathbb{Z}^2$-lattice (resp. $A_{2}$-lattice).
△ Less
Submitted 14 April, 2009; v1 submitted 26 December, 2008;
originally announced December 2008.
-
On antipodal spherical t-designs of degree s with $t\geq 2s-3$
Authors:
Eiichi Bannai,
Etsuko Bannai
Abstract:
We prove that if X is a spherical t-design and s-distance set with $t\geq 2s-3$, then X has the structure of Q-polynomial association scheme of class s. Also, we describe the parameters of the association scheme.
We prove that if X is a spherical t-design and s-distance set with $t\geq 2s-3$, then X has the structure of Q-polynomial association scheme of class s. Also, we describe the parameters of the association scheme.
△ Less
Submitted 20 February, 2008;
originally announced February 2008.
-
Association schemes related to universally optimal configurations, Kerdock codes and extremal Euclidean line-sets
Authors:
Kanat Abdukhalikov,
Eiichi Bannai,
Sho Suda
Abstract:
H. Cohn et. al. proposed an association scheme of 64 points in R^{14} which is conjectured to be a universally optimal code. We show that this scheme has a generalization in terms of Kerdock codes, as well as in terms of maximal real mutually unbiased bases. These schemes also related to extremal line-sets in Euclidean spaces and Barnes-Wall lattices. D. de Caen and E. R. van Dam constructed two…
▽ More
H. Cohn et. al. proposed an association scheme of 64 points in R^{14} which is conjectured to be a universally optimal code. We show that this scheme has a generalization in terms of Kerdock codes, as well as in terms of maximal real mutually unbiased bases. These schemes also related to extremal line-sets in Euclidean spaces and Barnes-Wall lattices. D. de Caen and E. R. van Dam constructed two infinite series of formally dual 3-class association schemes. We explain this formal duality by constructing two dual abelian schemes related to quaternary linear Kerdock and Preparata codes.
△ Less
Submitted 11 February, 2008;
originally announced February 2008.