A note on $t$-designs in isodual codes
In the present paper, we construct 3-designs using extended binary quadratic residue codes and their dual codes.
Researcher profile
Tsuyoshi Miezaki
Tsuyoshi Miezaki contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
28works
0followers
6topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
28 published item(s)
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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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 $\mathcal{G}_{24}$.
0 citations0 reviewsNo code linkedOpen 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 $D_{w}$ 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, $D_{w}$ is a $t$-design; $s(C)$ denotes the largest integer $t$ such that there exists a $w$ such that $D_{w}$ is a $t$-design. In the present paper, we consider the possible values of $δ(C)$ and $s(C)$.
0 citations0 reviewsNo code linkedOpen 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 $\mathbb{F}_q$ and $\mathbb{Z}_{k}$ for arbitrary genus $g$. We also discuss the interrelation among them. Finally, we give the MacWilliams type identities for Jacobi polynomials.
0 citations0 reviewsNo code linkedOpen 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 $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$ 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 $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$. Finally, the average of intersection numbers of a pair of Type III (resp. Type IV) codes, and its second moment are found.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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."
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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$.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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 $\mathbb{R}^{2}$ that passes through exactly $n$ points of $L$.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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 $\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.
0 citations0 reviewsNo code linkedOpen 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 \le 8)$ when $k=3,4,5,6$.
0 citations0 reviewsNo code linkedOpen 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<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).
0 citations0 reviewsNo code linkedOpen access