Source author record

Eiichi Bannai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.NT math.MG math-ph math.GR math.HO math.MP quant-ph

Catalog footprint

Research overview

13works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

The complex conjugate invariants of Clifford groups

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.

preprint2019arXiv

On the explicit constructions of certain unitary $t$ -designs

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.

preprint2015arXiv

More on spherical designs of harmonic index $t$

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.

preprint2015arXiv

Relative t-designs in binary Hamming association scheme H(n,2)

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.

preprint2013arXiv

On the existence of tight relative 2-designs on binary Hamming association schemes

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.

preprint2013arXiv

Spherical designs of harmonic index t

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.

preprint2012arXiv

A new Euclidean tight 6-design

We give a new example of Euclidean tight 6-design in $\mathbb R^{22}$ .

preprint2012arXiv

Maximal $m$ -distance sets containing the representation of the Johnson graph $J(n, m)$

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)$ .

preprint2011arXiv

On a property of 2-dimensional integral Euclidean lattices

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$ .

preprint2010arXiv

An elementary approach to toy models for D. H. Lehmer's conjecture

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.

preprint2010arXiv

Toy models for D. H. Lehmer's conjecture II

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.

preprint2009arXiv

The mathematics of Donald Gordon Higman

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.

preprint2009arXiv

Toy models for D. H. Lehmer's conjecture

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).

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Eiichi Bannai

Research overview

Is this your work?

13 publications

The complex conjugate invariants of Clifford groups

On the explicit constructions of certain unitary $t$ -designs

More on spherical designs of harmonic index $t$

Relative t-designs in binary Hamming association scheme H(n,2)

On the existence of tight relative 2-designs on binary Hamming association schemes

Spherical designs of harmonic index t

A new Euclidean tight 6-design

Maximal $m$ -distance sets containing the representation of the Johnson graph $J(n, m)$

On a property of 2-dimensional integral Euclidean lattices

An elementary approach to toy models for D. H. Lehmer's conjecture

Toy models for D. H. Lehmer's conjecture II

The mathematics of Donald Gordon Higman

Toy models for D. H. Lehmer's conjecture

See the researcher in context

Building this map preview

Eiichi Bannai

Research overview

Is this your work?

13 publications

The complex conjugate invariants of Clifford groups

On the explicit constructions of certain unitary ttt-designs

More on spherical designs of harmonic index ttt

Relative t-designs in binary Hamming association scheme H(n,2)

On the existence of tight relative 2-designs on binary Hamming association schemes

Spherical designs of harmonic index t

A new Euclidean tight 6-design

Maximal mmm-distance sets containing the representation of the Johnson graph J(n,m)J(n, m)J(n,m)

On a property of 2-dimensional integral Euclidean lattices

An elementary approach to toy models for D. H. Lehmer's conjecture

Toy models for D. H. Lehmer's conjecture II

The mathematics of Donald Gordon Higman

Toy models for D. H. Lehmer's conjecture

See the researcher in context

Building this map preview

On the explicit constructions of certain unitary $t$ -designs

More on spherical designs of harmonic index $t$

Maximal $m$ -distance sets containing the representation of the Johnson graph $J(n, m)$