A note on -designs in isodual codes
In the present paper, we construct 3-designs using extended binary quadratic residue codes and their dual codes.
Source author record
Tsuyoshi Miezaki
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
30works
6topics
4close collaborators
Published work
30 publications
preprint2024arXiv
Jacobi polynomials and harmonic weight enumerators of the first-order Reed--Muller codes and the extended Hamming codes
In the present paper, we give harmonic weight enumerators and Jacobi polynomials for the first-order Reed--Muller codes and the extended Hamming codes. As a corollary, we show the nonexistence of combinatorial 4-designs in these codes.
Open access
preprint2023arXiv
Pseudo-normalized Hecke eigenform and its application to extremal 2-modular lattices
It is shown that extremal 2-modular lattices of ranks 32 and 48 are generated by their vectors of minimal norm. In the proof, we use certain properties of the difference of normalized Hecke eigenforms. We refer to them as the pseudo-normalized Hecke eigenform, the concept of which is introduced in this paper.
Open access
preprint2022arXiv
A note on the Assmus--Mattson theorem for some binary codes
We previously proposed the first nontrivial examples of a code having support t-designs for all weights obtained from the Assmus-Mattson theorem and having support t′-designs for some weights with some t′>t. This suggests the possibility of generalizing the Assmus-Mattson theorem, which is very important in design and coding theory. In the present paper, we generalize this example as a strengthening of the Assmus-Mattson theorem along this direction. As a corollary, we provide a new characterization of the extended Golay code G24.
Open access
preprint2022arXiv
On the support t-designs of extremal Type III and IV codes
Let C be an extremal Type III or IV code and Dw be the support design of C for a weight w. We introduce the two numbers δ(C) and s(C): δ(C) is the largest integer t such that, for all weights, Dw is a t-design; s(C) denotes the largest integer t such that there exists a w such that Dw is a t-design. In the present paper, we consider the possible values of δ(C) and s(C).
Open access
preprint2022arXiv
Weight enumerators, intersection enumerators and Jacobi polynomials II
In the present paper, we introduce the concepts of Jacobi polynomials and intersection enumerators of codes over Fq and Zk for arbitrary genus g. We also discuss the interrelation among them. Finally, we give the MacWilliams type identities for Jacobi polynomials.
Open access
preprint2021arXiv
Average of complete joint weight enumerators and self-dual codes
In this paper, we give a representation of the average of complete joint weight enumerators of two linear codes of length n over Fq and Zk in terms of the compositions of n and their distributions in the codes. We also obtain a generalization of the representation for the average of g-fold complete joint weight enumerators of codes over Fq and Zk. Finally, the average of intersection numbers of a pair of Type III (resp. Type IV) codes, and its second moment are found.
Open access
preprint2021arXiv
Design-theoretic analogies between codes, lattices, and vertex operator algebras
There are many analogies between codes, lattices, and vertex operator algebras. For example, extremal objects are good examples of combinatorial, spherical, and conformal designs. In this study, we investigated these objects from the aspect of design theory.
Open access
preprint2020arXiv
A construction of spherical 3-designs
We give a construction for spherical 3-designs. This construction is a generalization of Bondarenko's work.
Open access
preprint2020arXiv
New invariants for integral lattices
Let Λ be any integral lattice in Euclidean space. It has been shown that for every integer n>0, there is a hypersphere that passes through exactly n points of Λ. Using this result, we introduce new lattice invariants and give some computational results related to two-dimensional Euclidean lattices of class number one.
Open access
preprint2020arXiv
On Eisenstein polynomials and zeta polynomials
Eisenstein polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we provide new analogous properties of Eisenstein polynomials and zeta polynomials. These properties are finite analogies of certain properties of Eisenstein series.
Open access
preprint2020arXiv
On Eisenstein polynomials and zeta polynomials II
Eisenstein polynomials, which were defined by the second author, are analogues of the concept of an Eisenstein series. The second author conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In the previous paper, the first author provided new analogous properties of Eisenstein polynomials and zeta polynomials for the Type II case. In this paper, the analogous properties of Eisenstein polynomials and zeta polynomials are shown to also hold for the Type I, Type III, and Type IV cases. These properties are finite analogies of certain properties of Eisenstein series.
Open access
preprint2020arXiv
On the cycle index and the weight enumerator
In this paper, we introduce the concept of the complete cycle index and discuss a relation with the complete weight enumerator in coding theory. This work was motivated by Cameron's lecture note "Polynomial aspects of codes, matroids and permutation groups."
Open access
preprint2020arXiv
Optimal antipodal spherical codes in the space of spherical harmonics
In a previous study, we presented a construction of spherical 3-designs. In the current study, using this construction, we present new optimal antipodal spherical codes in the space of spherical harmonics. Our construction is a generalization of Bondarenko's work.
Open access
preprint2020arXiv
The support designs of the triply even codes of length 48
In this paper, we present examples of codes all of whose weight classes support 1-designs, with duals whose classes include two that support 2-designs. We can find these examples in the triply even binary codes of length 48, which have been classified by Betsumiya and Munemasa.
Open access
preprint2014arXiv
An upper bound of the value of t of the support t-designs of extremal binary doubly even self-dual codes
Let C be an extremal binary doubly even self-dual code of length n and s(C) denote the largest integer t such that the support design of C holds a t-design for some weight. In this paper, we prove s(C) \leq 7.
Open access
preprint2013arXiv
On the Existence of Frames of Some Extremal Odd Unimodular Lattices and Self-Dual Zk-Codes
For some extremal (optimal) odd unimodular lattices L in dimensions n=12,16,20,32,36,40 and 44, we determine all positive integers k such that L contains a k-frame. This result yields the existence of an extremal Type I Zk-code of lengths 12,16,20,32,36,40 and 44 and a near-extremal Type I Zk-code of length 28 for positive integers k with only a few exceptions.
Open access
preprint2013arXiv
On the support designs of extremal binary doubly even self-dual codes
Let D be the support design of the minimum weight of an extremal binary doubly even self-dual [24m,12m,4m+4] code. In this note, we consider the case when D becomes a t-design with t \geq 6.
Open access
preprint2012arXiv
Conformal designs and D.H. Lehmer's conjecture
In 1947, Lehmer conjectured that the Ramanujan τ-function τ(m) is non-vanishing for all positive integers m, where τ(m) are the Fourier coefficients of the cusp form Δof weight 12. It is known that Lehmer's conjecture can be reformulated in terms of spherical t-design, by the result of Venkov. In this paper, we show that τ(m) = 0 is equivalent to the fact that the homogeneous space of the moonshine vertex operator algebra (V^\natural)_{m+1} is a conformal 12-design. Therefore, Lehmer's conjecture is now reformulated in terms of conformal t-designs.
Open access
preprint2012arXiv
Frames in the odd Leech lattice
In this paper, we show that there is a frame of norm k in the odd Leech lattice for every k\ge 3.
Open access
preprint2012arXiv
Nonexistence for extremal Type II $\ZZ_{2k}$-Codes
In this paper, we show that an extremal Type II $\ZZ_{2k}$-code of length n dose not exist for all sufficiently large n when k=2,3,4,5,6.
Open access
preprint2012arXiv
On the Existence of Extremal Type II Z2k-Codes
For lengths 8,16 and 24, it is known that there is an extremal Type II Z2k-code for every positive integer k. In this paper, we show that there is an extremal Type II Z2k-code of lengths 32,40,48,56 and 64 for every positive integer k. For length 72, it is also shown that there is an extremal Type II Z4k-code for every positive integer k with k \ge 2.
Open access
preprint2012arXiv
On the nonexistence of ternary extremal self-dual codes
In this note, we give a new nonexistence result of ternary extremal self-dual codes.
Open access
preprint2011arXiv
An Optimal Odd Unimodular Lattice in Dimension 72
It is shown that if there is an extremal even unimodular lattice in dimension 72, then there is an optimal odd unimodular lattice in that dimension. Hence, the first example of an optimal odd unimodular lattice in dimension 72 is constructed from the extremal even unimodular lattice which has been recently found by G. Nebe.
Open access
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 R2 that passes through exactly n points of L.
Open access
preprint2011arXiv
On Euclidean designs and the potential energy
We study Euclidean designs from the viewpoint of the potential energy. For a finite set in Euclidean space, We formulate a linear programming bound for the potential energy by applying harmonic analysis on a sphere. We also introduce the concept of strong Euclidean designs from the viewpoint of the linear programming bound, and we give a Fisher type inequality for strong Euclidean designs. A finite set on Euclidean space is called a Euclidean a-code if any distinct two points in the set are separated at least by a. As a corollary of the linear programming bound, we give a method to determine an upper bound on the cardinalities of Euclidean a-codes on concentric spheres of given radii. Similarly we also give a method to determine a lower bound on the cardinalities of Euclidean t-designs as an analogue of the linear programming bound.
Open access
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 E8-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 A2 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.
Open access
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 Z2-lattice and the A2-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 Z2-lattice (resp. A2-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 Q(−1) and Q(−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.
Open access
preprint2009arXiv
An Upper Bound on the Minimum Weight of Type II $\ZZ_{2k}$-Codes
In this paper, we give a new upper bound on the minimum Euclidean weight of Type II $\ZZ_{2k}$-codes and the concept of extremality for the Euclidean weights when k=3,4,5,6. Together with the known result, we demonstrate that there is an extremal Type II $\ZZ_{2k}$-code of length 8m (m≤8) when k=3,4,5,6.
Open access
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<1015, 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 E8-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 E8-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 Z2-lattice and the A2-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 Z2-lattice (resp. A2-lattice).
Open access
Research graph
See the researcher in context
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.