Showing 1–50 of 120 results for author: Harada, M

Spherical amoebae and a spherical logarithm map

Authors: Victor Batyrev, Megumi Harada, Johannes Hofscheier, Kiumars Kaveh

Abstract: Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{Γ, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $Γ$ of dominant weights and $s = |Γ|$.… ▽ More Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{Γ, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $Γ$ of dominant weights and $s = |Γ|$. We call $sLog_{Γ, t}$ a spherical logarithm map. We show that when $Γ$ generates the highest weight monoid of $G/H$, the image of the spherical logarithm map parametrizes $K$-orbits in $G/H$. This idea of using the spherical functions to understand the geometry of the space $K \backslash G/H$ of $K$-orbits in $G/H$ can be viewed as a generalization of the classical Cartan decomposition. In the second part of the paper, we define the spherical amoeba (depending on $Γ$ and $t$) of a subvariety $Y$ of $G/H$ as $sLog_{Γ, t}(Y)$, and we ask for conditions under which the image of a subvariety $Y \subset G/H$ under $sLog_{Γ, t}$ converges, as $t \to 0$, in the sense of Kuratowski to its spherical tropicalization as defined by Tevelev and Vogiannou. We prove a partial result toward answering this question, which shows in particular that the valuation cone is always contained in the Kuratowski limit of the spherical amoebae of $G/H$. We also show that the limit of the spherical amoebae of $G/H$ is equal to its valuation cone in a number of interesting examples, including when $G/H$ is horospherical, and in the case when $G/H$ is the space of hyperbolic triangles. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 29 pages, 2 figures

MSC Class: 14M27; 14T20

On the classification of skew Hadamard matrices of order 36 and related structures

Authors: Makoto Araya, Masaaki Harada, Hadi Kharaghani, Ali Mohammadian, Behruz Tayfeh-Rezaie

Abstract: Two skew Hadamard matrices are considered {\sf SH}-equivalent if they are similar by a signed permutation matrix. This paper determines the number of {\sf SH}-inequivalent skew Hadamard matrices of order $36$ for some types. We also study ternary self-dual codes and association schemes constructed from the skew Hadamard matrices of order $36$. Two skew Hadamard matrices are considered {\sf SH}-equivalent if they are similar by a signed permutation matrix. This paper determines the number of {\sf SH}-inequivalent skew Hadamard matrices of order $36$ for some types. We also study ternary self-dual codes and association schemes constructed from the skew Hadamard matrices of order $36$. △ Less

Submitted 16 February, 2024; originally announced February 2024.

MSC Class: 05B20; 15B34; 94B05

A method for constructing quaternary Hermitian self-dual codes and an application to quantum codes

Authors: Masaaki Harada

Abstract: We introduce quaternary modified four $μ$-circulant codes as a modification of four circulant codes. We give basic properties of quaternary modified four $μ$-circulant Hermitian self-dual codes. We also construct quaternary modified four $μ$-circulant Hermitian self-dual codes having large minimum weights. Two quaternary Hermitian self-dual $[56,28,16]$ codes are constructed for the first time. Th… ▽ More We introduce quaternary modified four $μ$-circulant codes as a modification of four circulant codes. We give basic properties of quaternary modified four $μ$-circulant Hermitian self-dual codes. We also construct quaternary modified four $μ$-circulant Hermitian self-dual codes having large minimum weights. Two quaternary Hermitian self-dual $[56,28,16]$ codes are constructed for the first time. These codes improve the previously known lower bound on the largest minimum weight among all quaternary (linear) $[56,28]$ codes. In addition, these codes imply the existence of a quantum $[[56,0,16]]$ code. △ Less

Submitted 26 January, 2024; originally announced January 2024.

MSC Class: 94B; 05B

The minimal free resolution of a generic symmetric principal ideal

Authors: Megumi Harada, Alexandra Seceleanu, Liana Şega

Abstract: We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a nonempty Zariski open subs… ▽ More We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a nonempty Zariski open subset of this projective space and we determine this resolution explicitly. Along the way, we study two classes of graded algebras which we term narrow and extremely narrow; both of which are instances of compressed artinian algebras. △ Less

Submitted 6 August, 2023; originally announced August 2023.

Comments: 50 pages

MSC Class: Primary: 13D02 primary. Secondary 13A50; 20C30; 13D07

Hadamard matrices of orders 60 and 64 with automorphisms of orders 29 and 31

Authors: Makoto Araya, Masaaki Harada, Vladimir D. Tonchev

Abstract: A classification of Hadamard matrices of order $2p+2$ with an automorphism of order $p$ is given for $p=29$ and $31$. The ternary self-dual codes spanned by the newly found Hadamard matrices of order $60$ with an automorphism of order $29$ are computed, as well as the binary doubly even self-dual codes of length $120$ with generator matrices defined by related Hadamard designs. Several new ternary… ▽ More A classification of Hadamard matrices of order $2p+2$ with an automorphism of order $p$ is given for $p=29$ and $31$. The ternary self-dual codes spanned by the newly found Hadamard matrices of order $60$ with an automorphism of order $29$ are computed, as well as the binary doubly even self-dual codes of length $120$ with generator matrices defined by related Hadamard designs. Several new ternary near-extremal self-dual codes, as well as binary near-extremal doubly even self-dual codes with previously unknown weight enumerators are found. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 21 pages

MSC Class: 05B05; 05B20; 94B05

Ternary extremal four-negacirculant self-dual codes

Authors: Masaaki Harada, Keita Ishizuka, Hadi Kharaghani

Abstract: In this note, we give basic properties of ternary four-negacirculant self-dual codes. By exhaustive computer search based on the properties, we complete a classification of ternary extremal four-negacirculant self-dual codes of lengths 40, 44, 48, 52 and 60. In this note, we give basic properties of ternary four-negacirculant self-dual codes. By exhaustive computer search based on the properties, we complete a classification of ternary extremal four-negacirculant self-dual codes of lengths 40, 44, 48, 52 and 60. △ Less

Submitted 17 June, 2023; originally announced June 2023.

Comments: arXiv admin note: text overlap with arXiv:2303.05056

Gröbner geometry for regular nilpotent Hessenberg Schubert cells

Authors: Mike Cummings, Sergio Da Silva, Megumi Harada, Jenna Rajchgot

Abstract: A regular nilpotent Hessenberg Schubert cell is the intersection of a regular nilpotent Hessenberg variety with a Schubert cell. In this paper, we describe a set of minimal generators of the defining ideal of a regular nilpotent Hessenberg Schubert cell in the type $A$ setting. We show that these minimal generators are a Gröbner basis for an appropriate lexicographic monomial order. As a consequen… ▽ More A regular nilpotent Hessenberg Schubert cell is the intersection of a regular nilpotent Hessenberg variety with a Schubert cell. In this paper, we describe a set of minimal generators of the defining ideal of a regular nilpotent Hessenberg Schubert cell in the type $A$ setting. We show that these minimal generators are a Gröbner basis for an appropriate lexicographic monomial order. As a consequence, we obtain a new computational-algebraic proof, in type $A$, of Tymoczko's result that regular nilpotent Hessenberg varieties are paved by affine spaces. In addition, we prove that these defining ideals are complete intersections, are geometrically vertex decomposable, and compute their Hilbert series. We also produce a Frobenius splitting of each Schubert cell that compatibly splits all of the regular nilpotent Hessenberg Schubert cells contained in it. This work builds on, and extends, work of the second and third author on defining ideals of intersections of regular nilpotent Hessenberg varieties with the (open) Schubert cell associated to the Bruhat-longest permutation. △ Less

Submitted 6 February, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: 23 pages; this version contains small revisions and, in Section 5, reorganization and minor corrections

MSC Class: 14M17; 13P10

Journal ref: J. Pure Appl. Algebra 228(7), 2024

The cohomology rings of regular nilpotent Hessenberg varieties

Authors: Megumi Harada, Tatsuya Horiguchi

Abstract: This manuscript is a contributed chapter in the forthcoming CRC Press volume, titled the Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety. The book, as a whole, is aimed at a diverse audience of researchers and graduate students seeking an expository introduction to the area. In our chapter, we give an overview of some of the past research on the cohomology rings of r… ▽ More This manuscript is a contributed chapter in the forthcoming CRC Press volume, titled the Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety. The book, as a whole, is aimed at a diverse audience of researchers and graduate students seeking an expository introduction to the area. In our chapter, we give an overview of some of the past research on the cohomology rings of regular nilpotent Hessenberg varieties, with no claim to being exhaustive. For the purposes of this manuscript, we focus mainly on the case of Lie type A, with some brief remarks on the general Lie types. We end the chapter with a selection of topics currently active in this area. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: 58 pages. Very minor expositional differences were made, between the original book chapter and this ArXiv manuscript, in order to make the ArXiv version a stand-alone exposition

Hadamard matrices of order $36$ formed by codewords in some ternary self-dual codes

Authors: Masaaki Harada, Keita Ishizuka

Abstract: In this note, we study the existence of Hadamard matrices of order $36$ formed by codewords of weight $36$ in some ternary near-extremal self-dual codes of length $36$. In this note, we study the existence of Hadamard matrices of order $36$ formed by codewords of weight $36$ in some ternary near-extremal self-dual codes of length $36$. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Some restrictions on the weight enumerators of near-extremal ternary self-dual codes and quaternary Hermitian self-dual codes

Authors: Makoto Araya, Masaaki Harada

Abstract: We give restrictions on the weight enumerators of ternary near-extremal self-dual codes of length divisible by $12$ and quaternary near-extremal Hermitian self-dual codes of length divisible by $6$. We consider the weight enumerators for which there is a ternary near-extremal self-dual code of length $12m$ for $m =3,4,5,6$. Also we consider the weight enumerators for which there is a quaternary ne… ▽ More We give restrictions on the weight enumerators of ternary near-extremal self-dual codes of length divisible by $12$ and quaternary near-extremal Hermitian self-dual codes of length divisible by $6$. We consider the weight enumerators for which there is a ternary near-extremal self-dual code of length $12m$ for $m =3,4,5,6$. Also we consider the weight enumerators for which there is a quaternary near-extremal Hermitian self-dual code of length $6m$ for $m =4,5,6$. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 39 pages

MSC Class: 94B05

Hadamard Products and Binomial Ideals

Authors: Büşra Atar, Kieran Bhaskara, Adrian Cook, Sergio Da Silva, Megumi Harada, Jenna Rajchgot, Adam Van Tuyl, Runyue Wang, Jay Yang

Abstract: We study the Hadamard product of two varieties $V$ and $W$, with particular attention to the situation when one or both of $V$ and $W$ is a binomial variety. The main result of this paper shows that when $V$ and $W$ are both binomial varieties, and the binomials that define $V$ and $W$ have the same binomial exponents, then the defining equations of $V \star W$ can be computed explicitly and direc… ▽ More We study the Hadamard product of two varieties $V$ and $W$, with particular attention to the situation when one or both of $V$ and $W$ is a binomial variety. The main result of this paper shows that when $V$ and $W$ are both binomial varieties, and the binomials that define $V$ and $W$ have the same binomial exponents, then the defining equations of $V \star W$ can be computed explicitly and directly from the defining equations of $V$ and $W$. This result recovers known results about Hadamard products of binomial hypersurfaces and toric varieties. Moreover, as an application of our main result, we describe a relationship between the Hadamard product of the toric ideal $I_G$ of a graph $G$ and the toric ideal $I_H$ of a subgraph $H$ of $G$. We also derive results about algebraic invariants of Hadamard products: assuming $V$ and $W$ are binomial with the same exponents, we show that $\text{deg}(V\star W) = \text{deg}(V)=\text{deg}(W)$ and $\dim(V\star W) = \dim(V)=\dim(W)$. Finally, given any (not necessarily binomial) projective variety $V$ and a point $p \in \mathbb{P}^n \setminus \mathbb{V}(x_0x_1\cdots x_n)$, subject to some additional minor hypotheses, we find an explicit binomial variety that describes all the points $q$ that satisfy $p \star V = q\star V$. △ Less

Submitted 25 November, 2022; originally announced November 2022.

Comments: 24 pages, comments welcome

MSC Class: 13F65; 14N05; 14M99

Self-dual codes over $\mathbb{F}_5$ and $s$-extremal unimodular lattices

Authors: Masaaki Harada

Abstract: New $s$-extremal extremal unimodular lattices in dimensions $38$, $40$, $42$ and $44$ are constructed from self-dual codes over $\mathbb{F}_5$ by Construction A. In the process of constructing these codes, we obtain a self-dual $[44,22,14]$ code over $\mathbb{F}_5$. In addition, the code implies a $[43,22,13]$ code over $\mathbb{F}_5$. These codes have larger minimum weights than the previously kn… ▽ More New $s$-extremal extremal unimodular lattices in dimensions $38$, $40$, $42$ and $44$ are constructed from self-dual codes over $\mathbb{F}_5$ by Construction A. In the process of constructing these codes, we obtain a self-dual $[44,22,14]$ code over $\mathbb{F}_5$. In addition, the code implies a $[43,22,13]$ code over $\mathbb{F}_5$. These codes have larger minimum weights than the previously known $[44,22]$ codes and $[43,22]$ codes, respectively. △ Less

Submitted 6 August, 2022; originally announced August 2022.

Comments: 21 pages

Geometric vertex decomposition, Gröbner bases, and Frobenius splittings for regular nilpotent Hessenberg varieties

Authors: Sergio Da Silva, Megumi Harada

Abstract: We initiate a study of the Gröbner geometry of local defining ideals of Hessenberg varieties by studying the special case of regular nilpotent Hessenberg varieties in Lie type A, and focusing on the affine coordinate chart on $\mathrm{Flags}(\mathbb{C}^n) \cong GL_n(\mathbb{C})/B$ corresponding to the longest element $w_0$ of the Weyl group $S_n$ of $GL_n(\mathbb{C})$. Our main results are as foll… ▽ More We initiate a study of the Gröbner geometry of local defining ideals of Hessenberg varieties by studying the special case of regular nilpotent Hessenberg varieties in Lie type A, and focusing on the affine coordinate chart on $\mathrm{Flags}(\mathbb{C}^n) \cong GL_n(\mathbb{C})/B$ corresponding to the longest element $w_0$ of the Weyl group $S_n$ of $GL_n(\mathbb{C})$. Our main results are as follows. Let $h$ be an indecomposable Hessenberg function. We prove that the local defining ideal $I_{w_0,h}$ in the $w_0$-chart of the regular nilpotent Hessenberg variety $\mathrm{Hess}(\mathsf{N},h)$ associated to $h$ has a Gröbner basis with respect to a suitably chosen monomial order. Our Gröbner basis consists of a collection $\{f^{w_0}_{k,\ell}\}$ of generators of $I_{w_0,h}$ obtained by Abe, DeDieu, Galetto, and the second author. We also prove that $I_{w_0,h}$ is geometrically vertex decomposable in the sense of Klein and Rajchgot (building on work of Knutson, Miller, and Yong). We give two distinct proofs of the above results. We make this unconventional choice of exposition because our first proof introduces and utilizes a notion of a triangular complete intersection which is of independent interest, while our second proof using liaison theory is more likely to be generalizable to the general $w$-charts for $w \neq w_0$. Finally, using our Gröbner analysis of the $f^{w_0}_{k,\ell}$ above and for $p>0$ any prime, we construct an explicit Frobenius splitting of the $w_0$-chart of $\mathrm{Flags}(\mathbb{C}^n)$ which simultaneously compatibly splits all the local defining ideals of $I_{w_0,h}$, as $h$ ranges over the set of indecomposable Hessenberg functions. This last result is a local Hessenberg analogue of a classical result known for $\mathrm{Flags}(\mathbb{C}^n)$ and the collection of Schubert and opposite Schubert varieties in $\mathrm{Flags}(\mathbb{C}^n)$. △ Less

Submitted 19 April, 2023; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: 24 pages; revisions include altering the organization of the paper by providing a more direct proof of the main result and moving the liaison-theoretic proof to an appendix

MSC Class: 14M17; 13P10 (Primary) 14M06 (Secondary)

Journal ref: Transformation Groups (2023)

Hadamard matrices related to a certain series of ternary self-dual codes

Authors: Makoto Araya, Masaaki Harada, Koji Momihara

Abstract: In 2013, Nebe and Villar gave a series of ternary self-dual codes of length $2(p+1)$ for a prime $p$ congruent to $5$ modulo $8$. As a consequence, the third ternary extremal self-dual code of length $60$ was found. We show that the ternary self-dual code contains codewords which form a Hadamard matrix of order $2(p+1)$ when $p$ is congruent to $5$ modulo $24$. In addition, it is shown that the te… ▽ More In 2013, Nebe and Villar gave a series of ternary self-dual codes of length $2(p+1)$ for a prime $p$ congruent to $5$ modulo $8$. As a consequence, the third ternary extremal self-dual code of length $60$ was found. We show that the ternary self-dual code contains codewords which form a Hadamard matrix of order $2(p+1)$ when $p$ is congruent to $5$ modulo $24$. In addition, it is shown that the ternary self-dual code is generated by the rows of the Hadamard matrix. We also demonstrate that the third ternary extremal self-dual code of length $60$ contains at least two inequivalent Hadamard matrices. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Comments: 15 pages

Construction of extremal Type II $\mathbb{Z}_{2k}$-codes

Authors: Masaaki Harada

Abstract: We give methods for constructing many self-dual $\mathbb{Z}_m$-codes and Type II $\mathbb{Z}_{2k}$-codes of length $2n$ starting from a given self-dual $\mathbb{Z}_m$-code and Type II $\mathbb{Z}_{2k}$-code of length $2n$, respectively. As an application, we construct extremal Type II $\mathbb{Z}_{2k}$-codes of length $24$ for $k=4,5,\ldots,20$ and extremal Type II $\mathbb{Z}_{2k}$-codes of lengt… ▽ More We give methods for constructing many self-dual $\mathbb{Z}_m$-codes and Type II $\mathbb{Z}_{2k}$-codes of length $2n$ starting from a given self-dual $\mathbb{Z}_m$-code and Type II $\mathbb{Z}_{2k}$-code of length $2n$, respectively. As an application, we construct extremal Type II $\mathbb{Z}_{2k}$-codes of length $24$ for $k=4,5,\ldots,20$ and extremal Type II $\mathbb{Z}_{2k}$-codes of length $32$ for $k=4,5,\ldots,10$. We also construct new extremal Type II $\mathbb{Z}_4$-codes of lengths $56$ and $64$. △ Less

Submitted 18 June, 2022; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: 25 pages

MSC Class: 94B05

Torus fixed point sets of Hessenberg Schubert varieties in regular semisimple Hessenberg varieties

Authors: Megumi Harada, Martha Precup

Abstract: It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varie… ▽ More It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments. △ Less

Submitted 8 February, 2022; v1 submitted 25 December, 2021; originally announced December 2021.

Comments: 13 pages. Major revision, due to an error discovered in the proof of the main theorem of the previous version. The current version states and proves a revised result, which concerns the T-fixed points of the Hessenberg Schubert variety instead of the variety itself

MSC Class: 14M17; 14M15

A local normal form for Hamiltonian actions of compact semisimple Poisson-Lie groups

Authors: Megumi Harada, Jeremy Lane, Aidan Patterson

Abstract: The main contribution of this manuscript is a local normal form for Hamiltonian actions of Poisson-Lie groups $K$ on a symplectic manifold equipped with an $AN$-valued moment map, where $AN$ is the dual Poisson-Lie group of $K$. Our proof uses the delinearization theorem of Alekseev which relates a classical Hamiltonian action of $K$ with $\mathfrak{k}^*$-valued moment map to a Hamiltonian action… ▽ More The main contribution of this manuscript is a local normal form for Hamiltonian actions of Poisson-Lie groups $K$ on a symplectic manifold equipped with an $AN$-valued moment map, where $AN$ is the dual Poisson-Lie group of $K$. Our proof uses the delinearization theorem of Alekseev which relates a classical Hamiltonian action of $K$ with $\mathfrak{k}^*$-valued moment map to a Hamiltonian action with an $AN$-valued moment map, via a deformation of symplectic structures. We obtain our main result by proving a ``delinearization commutes with symplectic quotients'' theorem which is also of independent interest, and then putting this together with the local normal form theorem for classical Hamiltonian actions wtih $\mathfrak{k}^*$-valued moment maps. A key ingredient for our main result is the delinearization $\mathcal{D}(ω_{can})$ of the canonical symplectic structure on $T^*K$, so we additionally take some steps toward explicit computations of $\mathcal{D}(ω_{can})$. In particular, in the case $K=SU(2)$, we obtain explicit formulas for the matrix coefficients of $\mathcal{D}(ω_{can})$ with respect to a natural choice of coordinates on $T^*SU(2)$. △ Less

Submitted 5 June, 2021; originally announced June 2021.

Comments: 23 pages

MSC Class: Primary: 53D20; Secondary: 53D17

Journal ref: Involve 15 (2022) 775-812

Virtual resolutions of points in $\mathbb{P}^1 \times \mathbb{P}^1$

Authors: Megumi Harada, Maryam Nowroozi, Adam Van Tuyl

Abstract: We explore explicit virtual resolutions, as introduced by Berkesch, Erman, and Smith, for ideals of sets of points in $\mathbb{P}^1 \times \mathbb{P}^1$. Specifically, we describe a virtual resolution for a sufficiently general set of points $X$ in $\mathbb{P}^1 \times \mathbb{P}^1$ that only depends on $|X|$. We also improve an existence result of Berkesch, Erman, and Smith in the special case of… ▽ More We explore explicit virtual resolutions, as introduced by Berkesch, Erman, and Smith, for ideals of sets of points in $\mathbb{P}^1 \times \mathbb{P}^1$. Specifically, we describe a virtual resolution for a sufficiently general set of points $X$ in $\mathbb{P}^1 \times \mathbb{P}^1$ that only depends on $|X|$. We also improve an existence result of Berkesch, Erman, and Smith in the special case of points in $\mathbb{P}^1 \times \mathbb{P}^1$; more precisely, we give an effective bound for their construction that gives a virtual resolution of length two for any set of points in $\mathbb{P}^1 \times \mathbb{P}^1$. △ Less

Submitted 12 April, 2022; v1 submitted 4 June, 2021; originally announced June 2021.

Comments: 19 pages

MSC Class: Primary: 13D02; Secondary: 14M05; 14M25

Construction of binary LCD codes, ternary LCD codes and quaternary Hermitian LCD codes

Authors: Masaaki Harada

Abstract: We give two methods for constructing many linear complementary dual (LCD for short) codes from a given LCD code, by modifying some known methods for constructing self-dual codes. Using the methods, we construct binary LCD codes and quaternary Hermitian LCD codes, which improve the previously known lower bound on the largest minimum weights. We give two methods for constructing many linear complementary dual (LCD for short) codes from a given LCD code, by modifying some known methods for constructing self-dual codes. Using the methods, we construct binary LCD codes and quaternary Hermitian LCD codes, which improve the previously known lower bound on the largest minimum weights. △ Less

Submitted 28 January, 2021; originally announced January 2021.

Comments: 25 pages

MSC Class: 94B05

Toward permutation bases in the equivariant cohomology rings of regular semisimple Hessenberg varieties

Authors: Megumi Harada, Martha Precup, Julianna Tymoczko

Abstract: Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$)… ▽ More Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$) a permutation basis of $H^*(Hess(S,h))$ whose elements have stabilizers isomorphic to Young subgroups. In this manuscript we give several results which contribute toward this goal. Specifically, in some special cases, we give a new, purely combinatorial construction of classes in the $T$-equivariant cohomology ring $H^*_T(Hess(S,h))$ which form permutation bases for subrepresentations in $H^*_T(Hess(S,h))$. Moreover, from the definition of our classes it follows that the stabilizers are isomorphic to Young subgroups. Our constructions use a presentation of the $T$-equivariant cohomology rings $H^*_T(Hess(S,h))$ due to Goresky, Kottwitz, and MacPherson. The constructions presented in this manuscript generalize past work of Abe-Horiguchi-Masuda, Chow, and Cho-Hong-Lee. △ Less

Submitted 20 February, 2022; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 33 pages; minor revisions; revised title

Journal ref: La Matematica, 2021

On the classification of quaternary optimal Hermitian LCD codes

Authors: Makoto Araya, Masaaki Harada

Abstract: We propose a method for a classification of quaternary Hermitian LCD codes having large minimum weights. As an example, we give a classification of quaternary optimal Hermitian LCD codes of dimension 3. We propose a method for a classification of quaternary Hermitian LCD codes having large minimum weights. As an example, we give a classification of quaternary optimal Hermitian LCD codes of dimension 3. △ Less

Submitted 22 September, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

On the existence of $s$-extremal singly even self-dual codes

Authors: Masaaki Harada

Abstract: We construct new $s$-extremal singly even self-dual codes of minimum weights $8,10,12$ and $14$. We also give tables for the currently known results on the existence of $s$-extremal singly even self-dual codes of minimum weights $8,10,12$ and $14$. We construct new $s$-extremal singly even self-dual codes of minimum weights $8,10,12$ and $14$. We also give tables for the currently known results on the existence of $s$-extremal singly even self-dual codes of minimum weights $8,10,12$ and $14$. △ Less

Submitted 28 August, 2020; v1 submitted 11 April, 2020; originally announced April 2020.

Comments: 16 pages

A filtration on the cohomology rings of regular nilpotent Hessenberg varieties

Authors: Megumi Harada, Tatsuya Horiguchi, Satoshi Murai, Martha Precup, Julianna Tymoczko

Abstract: Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{\mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{\mathbb{C}})/B$, showing… ▽ More Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{\mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{\mathbb{C}})/B$, showing the inductive nature of these rings. In previous work, the first two authors, together with Abe and Masuda, gave an explicit presentation of these cohomology rings in terms of generators and relations. We introduce a new set of polynomials which are closely related to the relations in the above presentation and obtain a sequence of equivalence relations they satisfy; this allows us to derive our filtration. In addition, we obtain the following three corollaries. First, we give an inductive formula for the Poincaré polynomial of these varieties. Second, we give an explicit monomial basis for the cohomology rings of regular nilpotent Hessenberg varieties with respect to the presentation mentioned above. Third, we derive a basis of the set of linear relations satisfied by the images of the Schubert classes in the cohomology rings of regular nilpotent Hessenberg varieties. Finally, our methods and results suggest many directions for future work; in particular, we propose a definition of "Hessenberg Schubert polynomials" in the context of regular nilpotent Hessenberg varieties, and outline several open questions pertaining to them. △ Less

Submitted 11 March, 2020; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: 31 pages. Minor revisions

Wall-crossing for Newton-Okounkov bodies and the tropical Grassmannian

Authors: Laura Escobar, Megumi Harada

Abstract: Tropical geometry and the theory of Newton-Okounkov bodies are two methods which produce toric degenerations of an irreducible complex projective variety. Kaveh-Manon showed that the two are related. We give geometric maps between the Newton-Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $X$. Under a technical condition, we produce a natural… ▽ More Tropical geometry and the theory of Newton-Okounkov bodies are two methods which produce toric degenerations of an irreducible complex projective variety. Kaveh-Manon showed that the two are related. We give geometric maps between the Newton-Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $X$. Under a technical condition, we produce a natural "algebraic wall-crossing" map on the underlying value semigroups (of the corresponding valuations). In the case of the tropical Grassmannian $Gr(2,m)$, we prove that the algebraic wall-crossing map is the restriction of a geometric map. In an Appendix by Nathan Ilten, he explains how the geometric wall-crossing phenomenon can also be derived from the perspective of complexity-one $T$-varieties; Ilten also explains the connection to the "combinatorial mutations" studied by Akhtar-Coates-Galkin-Kasprzyk. △ Less

Submitted 13 August, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: 29 pages, with an Appendix by Nathan Ilten. Accepted for publication at Internat. Math. Res. Notices

Construction of $s$-extremal optimal unimodular lattices in dimension 52

Authors: Masaaki Harada

Abstract: An $s$-extremal optimal unimodular lattice in dimension $52$ is constructed for the first time. This lattice is constructed from a certain self-dual $\mathbb{F}_5$-code by Construction A. In addition, as neighbors of the lattice, two more $s$-extremal optimal unimodular lattices are constructed. An $s$-extremal optimal unimodular lattice in dimension $52$ is constructed for the first time. This lattice is constructed from a certain self-dual $\mathbb{F}_5$-code by Construction A. In addition, as neighbors of the lattice, two more $s$-extremal optimal unimodular lattices are constructed. △ Less

Submitted 4 December, 2019; originally announced December 2019.

Comments: 7 pages

Journal ref: International Journal of Computer Mathematics: Computer Systems Theory (2020) 5:2, 87-91

Remark on subcodes of linear complementary dual codes

Authors: Masaaki Harada, Ken Saito

Abstract: We show that any ternary Euclidean (resp.\ quaternary Hermitian) linear complementary dual $[n,k]$ code contains a Euclidean (resp.\ Hermitian) linear complementary dual $[n,k-1]$ subcode for $2 \le k \le n$. As a consequence, we derive a bound on the largest minimum weights among ternary Euclidean linear complementary dual codes and quaternary Hermitian linear complementary dual codes. We show that any ternary Euclidean (resp.\ quaternary Hermitian) linear complementary dual $[n,k]$ code contains a Euclidean (resp.\ Hermitian) linear complementary dual $[n,k-1]$ subcode for $2 \le k \le n$. As a consequence, we derive a bound on the largest minimum weights among ternary Euclidean linear complementary dual codes and quaternary Hermitian linear complementary dual codes. △ Less

Submitted 23 August, 2019; originally announced August 2019.

Comments: 7 pages

Journal ref: Information Processing Letters 159-160 (2020) 105963

On the minimum weights of binary LCD codes and ternary LCD codes

Authors: Makoto Araya, Masaaki Harada, Ken Saito

Abstract: Linear complementary dual (LCD) codes are linear codes that intersect with their dual codes trivially. We study the largest minimum weight $d_2(n,k)$ among all binary LCD $[n,k]$ codes and the largest minimum weight $d_3(n,k)$ among all ternary LCD $[n,k]$ codes. The largest minimum weights $d_2(n,5)$ and $d_3(n,4)$ are partially determined. We also determine the largest minimum weights… ▽ More Linear complementary dual (LCD) codes are linear codes that intersect with their dual codes trivially. We study the largest minimum weight $d_2(n,k)$ among all binary LCD $[n,k]$ codes and the largest minimum weight $d_3(n,k)$ among all ternary LCD $[n,k]$ codes. The largest minimum weights $d_2(n,5)$ and $d_3(n,4)$ are partially determined. We also determine the largest minimum weights $d_2(n,n-5)$, $d_3(n,n-i)$ for $i \in \{2,3,4\}$, and $d_3(n,k)$ for $n \in \{11,12,\ldots,19\}$. △ Less

Submitted 18 November, 2020; v1 submitted 23 August, 2019; originally announced August 2019.

Comments: 25 pages

Characterization and classification of optimal LCD codes

Authors: Makoto Araya, Masaaki Harada, Ken Saito

Abstract: Linear complementary dual (LCD) codes are linear codes that intersect with their dual trivially. We give a characterization of LCD codes over $\mathbb{F}_q$ having large minimum weights for $q \in \{2,3\}$. Using the characterization, we determine the largest minimum weights among LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,4), (3,2),(3,3)\}$. Moreover, we give a complete classificat… ▽ More Linear complementary dual (LCD) codes are linear codes that intersect with their dual trivially. We give a characterization of LCD codes over $\mathbb{F}_q$ having large minimum weights for $q \in \{2,3\}$. Using the characterization, we determine the largest minimum weights among LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,4), (3,2),(3,3)\}$. Moreover, we give a complete classification of optimal LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,3), (2,4), (3,2),(3,3)\}$. △ Less

Submitted 4 January, 2021; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: 33 pages

Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes

Authors: Masaaki Harada

Abstract: We establish the existence of optimal maximal entanglement entanglement-assisted quantum $[[n,k,d;n-k]]_2$ codes for $(n,k,d)=(14,6,7)$, $(15,7,7)$, $(17,6,9)$, $(17,7,8)$, $(19,7,9)$ and $(20,7,10)$. These codes are obtained from quaternary Hermitian linear complementary dual codes. We also give some observation on the largest minimum weights. We establish the existence of optimal maximal entanglement entanglement-assisted quantum $[[n,k,d;n-k]]_2$ codes for $(n,k,d)=(14,6,7)$, $(15,7,7)$, $(17,6,9)$, $(17,7,8)$, $(19,7,9)$ and $(20,7,10)$. These codes are obtained from quaternary Hermitian linear complementary dual codes. We also give some observation on the largest minimum weights. △ Less

Submitted 11 December, 2019; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 11 pages

Journal ref: International Journal of Quantum Information Vol. 17, (2019) 1950053

Quaternary Hermitian linear complementary dual codes

Authors: Makoto Araya, Masaaki Harada, Ken Saito

Abstract: The largest minimum weights among quaternary Hermitian linear complementary dual codes are known for dimension $2$. In this paper, we give some conditions for the nonexistence of quaternary Hermitian linear complementary dual codes with large minimum weights. As an application, we completely determine the largest minimum weights for dimension $3$, by using a classification of some quaternary codes… ▽ More The largest minimum weights among quaternary Hermitian linear complementary dual codes are known for dimension $2$. In this paper, we give some conditions for the nonexistence of quaternary Hermitian linear complementary dual codes with large minimum weights. As an application, we completely determine the largest minimum weights for dimension $3$, by using a classification of some quaternary codes. In addition, for a positive integer $s$, a maximal entanglement entanglement-assisted quantum $[[21s+5,3,16s+3;21s+2]]$ codes is constructed for the first time from a quaternary Hermitian linear complementary dual $[26,3,19]$ code. △ Less

Submitted 27 December, 2019; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 24 pages, some corrections are made

Journal ref: IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 66, 2020 2751-2759

New doubly even self-dual codes having minimum weight 20

Authors: Masaaki Harada

Abstract: In this note, we construct new doubly even self-dual codes having minimum weight $20$ for lengths $112$, $120$ and $128$. This implies that there are at least three inequivalent extremal doubly even self-dual codes of length $112$. In this note, we construct new doubly even self-dual codes having minimum weight $20$ for lengths $112$, $120$ and $128$. This implies that there are at least three inequivalent extremal doubly even self-dual codes of length $112$. △ Less

Submitted 23 February, 2019; originally announced February 2019.

Comments: 12 pages

MSC Class: 94B05

Journal ref: Advances in Mathematics of Communications 14, 2020, 89-96

The volume polynomial of regular semisimple Hessenberg varieties and the Gelfand-Zetlin polytope

Authors: Megumi Harada, Tatsuya Horiguchi, Mikiya Masuda, Seonjeong Park

Abstract: Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin… ▽ More Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in order to derive an explicit formula for the volume polynomials of regular semisimple Hessenberg varieties in terms of the volumes of certain faces of the Gelfand-Zetlin polytope, and also exhibit a manifestly positive, combinatorial formula for their coefficients with respect to the basis of monomials in the $α_i := λ_i-λ_{i+1}$. In addition, motivated by these considerations, we carefully analyze the special case of the permutohedral variety, which is also known as the toric variety associated to Weyl chambers. In this case, we obtain an explicit decomposition of the permutohedron (the moment map image of the permutohedral variety) into combinatorial $(n-1)$-cubes, and also give a geometric interpretation of this decomposition by expressing the cohomology class of the permutohedral variety in $\mathrm{Flag}(\mathbb{C}^n)$ as a sum of the cohomology classes of a certain set of Richardson varieties. △ Less

Submitted 25 December, 2018; originally announced December 2018.

Comments: 27 pages, 18 figures, 2 tables

Report number: Proceedings of the Steklov Institute of Mathematics, 2019, Vol. 305, pp. 318--344

Upper-triangular linear relations on multiplicities and the Stanley-Stembridge conjecture

Authors: Megumi Harada, Martha Precup

Abstract: In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) vers… ▽ More In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczko's representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. It follows from our formula that these coefficients are non-negative, thus giving additional positive evidence for the graded Stanley--Stembridge conjecture in the general case. △ Less

Submitted 13 May, 2019; v1 submitted 22 December, 2018; originally announced December 2018.

Comments: 23 pages. Removed incorrect claim from the abstract

On the minimum weights of binary linear complementary dual codes

Authors: Makoto Araya, Masaaki Harada

Abstract: Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study the largest minimum weight $d(n,k)$ among all binary linear complementary dual $[n,k]$ codes. We determine $d(n,4)$ for $n \equiv 2,3,4,5,6,9,10,13 \pmod{15}$, and $d(n,5)$ for $n \equiv 3,4,5,7,11,19,20,22,26 \pmod{31}$. Combined with known results, the val… ▽ More Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study the largest minimum weight $d(n,k)$ among all binary linear complementary dual $[n,k]$ codes. We determine $d(n,4)$ for $n \equiv 2,3,4,5,6,9,10,13 \pmod{15}$, and $d(n,5)$ for $n \equiv 3,4,5,7,11,19,20,22,26 \pmod{31}$. Combined with known results, the values $d(n,k)$ are also determined for $n \le 24$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Comments: 21 pages

MSC Class: 94B05

Journal ref: Cryptography and Communications (2020) 12:285-300

New quantum codes constructed from some self-dual additive $\mathbb{F}_4$-codes

Authors: Masaaki Harada

Abstract: For $(n,d)= (66,17),(78,19)$ and $(94,21)$, we construct quantum $[[n,0,d]]$ codes which improve the previously known lower bounds on the largest minimum weights among quantum codes with these parameters. These codes are constructed from self-dual additive $\mathbb{F}_4$-codes based on pairs of circulant matrices. For $(n,d)= (66,17),(78,19)$ and $(94,21)$, we construct quantum $[[n,0,d]]$ codes which improve the previously known lower bounds on the largest minimum weights among quantum codes with these parameters. These codes are constructed from self-dual additive $\mathbb{F}_4$-codes based on pairs of circulant matrices. △ Less

Submitted 30 May, 2018; originally announced May 2018.

Comments: 8 pages

Journal ref: Information Processing Letters 138 (2018) 35-38

Singly even self-dual codes of length $24k+10$ and minimum weight $4k+2$

Authors: Masaaki Harada

Abstract: Currently, the existence of an extremal singly even self-dual code of length $24k+10$ is unknown for all nonnegative integers $k$. In this note, we study singly even self-dual $[24k+10,12k+5,4k+2]$ codes. We give some restrictions on the possible weight enumerators of singly even self-dual $[24k+10,12k+5,4k+2]$ codes with shadows of minimum weight at least $5$ for $k=2,3,4,5$. We discuss a method… ▽ More Currently, the existence of an extremal singly even self-dual code of length $24k+10$ is unknown for all nonnegative integers $k$. In this note, we study singly even self-dual $[24k+10,12k+5,4k+2]$ codes. We give some restrictions on the possible weight enumerators of singly even self-dual $[24k+10,12k+5,4k+2]$ codes with shadows of minimum weight at least $5$ for $k=2,3,4,5$. We discuss a method for constructing singly even self-dual codes with minimal shadow. As an example, a singly even self-dual $[82,41,14]$ code with minimal shadow is constructed for the first time. In addition, as neighbors of the code, we construct singly even self-dual $[82,41,14]$ codes with weight enumerator for which no singly even self-dual code was previously known to exist. △ Less

Submitted 6 April, 2018; originally announced April 2018.

Comments: 16 pages

MSC Class: 94B05

Journal ref: Cryptography and Communications (2019) 11:597-608

On the classification of linear complementary dual codes

Authors: Makoto Araya, Masaaki Harada

Abstract: We give a complete classification of binary linear complementary dual codes of lengths up to $13$ and ternary linear complementary dual codes of lengths up to $10$. We give a complete classification of binary linear complementary dual codes of lengths up to $13$ and ternary linear complementary dual codes of lengths up to $10$. △ Less

Submitted 30 March, 2018; originally announced March 2018.

Comments: 16 pages

MSC Class: 94B05

Journal ref: Discrete Mathematics 342 (2019) 270-278

Binary linear complementary dual codes

Authors: Masaaki Harada, Ken Saito

Abstract: Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study binary linear complementary dual $[n,k]$ codes with the largest minimum weight among all binary linear complementary dual $[n,k]$ codes. We characterize binary linear complementary dual codes with the largest minimum weight for small dimensions. A complete c… ▽ More Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study binary linear complementary dual $[n,k]$ codes with the largest minimum weight among all binary linear complementary dual $[n,k]$ codes. We characterize binary linear complementary dual codes with the largest minimum weight for small dimensions. A complete classification of binary linear complementary dual $[n,k]$ codes with the largest minimum weight is also given for $1 \le k \le n \le 16$. △ Less

Submitted 18 May, 2018; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: 28 pages

MSC Class: 94B05

Journal ref: Cryptography and Communications (2019) 11:677-696

Singular string polytopes and functorial resolutions from Newton-Okounkov bodies

Authors: Megumi Harada, Jihyeon Jessie Yang

Abstract: The main result of this note is that the toric degenerations of flag varieties associated to string polytopes and certain Bott-Samelson resolutions of flag varieties fit into a commutative diagram which gives a resolution of singularities of singular toric varieties corresponding to string polytopes. Our main tool is a result of Anderson which shows that the toric degenerations arising from Newton… ▽ More The main result of this note is that the toric degenerations of flag varieties associated to string polytopes and certain Bott-Samelson resolutions of flag varieties fit into a commutative diagram which gives a resolution of singularities of singular toric varieties corresponding to string polytopes. Our main tool is a result of Anderson which shows that the toric degenerations arising from Newton-Okounkov bodies are functorial in an appropriate sense. We also use results of Fujita which show that Newton-Okounkov bodies of Bott-Samelson varieties with respect to a certain valuation $ν_{max}$ coincide with generalized string polytopes, as well as previous results by the authors which explicitly describe the Newton-Okounkov bodies of Bott-Samelson varieties with respect to a different valuation $ν_{min}$ in terms of Grossberg-Karshon twisted cubes. A key step in our argument is that, under a technical condition, these Newton-Okounkov bodies coincide. △ Less

Submitted 28 December, 2017; originally announced December 2017.

Comments: 13 pages. Comments welcome

The cohomology of abelian Hessenberg varieties and the Stanley-Stembridge conjecture

Authors: Megumi Harada, Martha Precup

Abstract: We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the S… ▽ More We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the Stanley-Stembridge conjecture holds in the abelian case, and generalizes results obtained by Shareshian-Wachs and Teff. Our proof uses previous work of Stanley, Gasharov, Shareshian-Wachs, and Brosnan-Chow, as well as results of the second author on the geometry and combinatorics of Hessenberg varieties. As part of our arguments, we obtain inductive formulas for the Poincaré polynomials of regular abelian Hessenberg varieties. △ Less

Submitted 24 December, 2017; v1 submitted 20 September, 2017; originally announced September 2017.

Comments: 40 pages. Added more discussion of, and references to, past work on the subject. Changed the definition of `height'

New extremal singly even self-dual codes of lengths $64$ and $66$

Authors: Damyan Anev, Masaaki Harada, Nikolay Yankov

Abstract: For lengths $64$ and $66$, we construct extremal singly even self-dual codes with weight enumerators for which no extremal singly even self-dual codes were previously known to exist. We also construct new $40$ inequivalent extremal doubly even self-dual $[64,32,12]$ codes with covering radius $12$ meeting the Delsarte bound. For lengths $64$ and $66$, we construct extremal singly even self-dual codes with weight enumerators for which no extremal singly even self-dual codes were previously known to exist. We also construct new $40$ inequivalent extremal doubly even self-dual $[64,32,12]$ codes with covering radius $12$ meeting the Delsarte bound. △ Less

Submitted 20 August, 2017; originally announced August 2017.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1706.01694

MSC Class: 94B05

Journal ref: Journal of Algebra Combinatorics Discrete Structures and Applications 5 (2018) 143-151

Nonexistence of certain singly even self-dual codes with minimal shadow

Authors: Stefka Bouyuklieva, Masaaki Harada, Akihiro Munemasa

Abstract: It is known that there is no extremal singly even self-dual $[n,n/2,d]$ code with minimal shadow for $(n,d)=(24m+2,4m+4)$, $(24m+4,4m+4)$, $(24m+6,4m+4)$, $(24m+10,4m+4)$ and $(24m+22,4m+6)$. In this paper, we study singly even self-dual codes with minimal shadow having minimum weight $d-2$ for these $(n,d)$. For $n=24m+2$, $24m+4$ and $24m+10$, we show that the weight enumerator of a singly even… ▽ More It is known that there is no extremal singly even self-dual $[n,n/2,d]$ code with minimal shadow for $(n,d)=(24m+2,4m+4)$, $(24m+4,4m+4)$, $(24m+6,4m+4)$, $(24m+10,4m+4)$ and $(24m+22,4m+6)$. In this paper, we study singly even self-dual codes with minimal shadow having minimum weight $d-2$ for these $(n,d)$. For $n=24m+2$, $24m+4$ and $24m+10$, we show that the weight enumerator of a singly even self-dual $[n,n/2,4m+2]$ code with minimal shadow is uniquely determined and we also show that there is no singly even self-dual $[n,n/2,4m+2]$ code with minimal shadow for $m \ge 155$, $m \ge 156$ and $m \ge 160$, respectively. We demonstrate that the weight enumerator of a singly even self-dual code with minimal shadow is not uniquely determined for parameters $[24m+6,12m+3,4m+2]$ and $[24m+22,12m+11,4m+4]$. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Comments: 16 pages

MSC Class: 94B05

Journal ref: The Electronic Journal of Combinatorics 25 (2018), #P1.13

On the classification of $\mathbb{Z}_4$-codes

Authors: Makoto Araya, Masaaki Harada, Hiroki Ito, Ken Saito

Abstract: In this note, we study the classification of $\mathbb{Z}_4$-codes. For some special cases $(k_1,k_2)$, by hand, we give a classification of $\mathbb{Z}_4$-codes of length $n$ and type $4^{k_1}2^{k_2}$ satisfying a certain condition. Our exhaustive computer search completes the classification of $\mathbb{Z}_4$-codes of lengths up to $7$. In this note, we study the classification of $\mathbb{Z}_4$-codes. For some special cases $(k_1,k_2)$, by hand, we give a classification of $\mathbb{Z}_4$-codes of length $n$ and type $4^{k_1}2^{k_2}$ satisfying a certain condition. Our exhaustive computer search completes the classification of $\mathbb{Z}_4$-codes of lengths up to $7$. △ Less

Submitted 8 November, 2017; v1 submitted 5 July, 2017; originally announced July 2017.

Comments: 15 pages

Some restrictions on weight enumerators of singly even self-dual codes II

Authors: Masaaki Harada, Akihiro Munemasa

Abstract: In this note, we give some restrictions on the number of vectors of weight $d/2+1$ in the shadow of a singly even self-dual $[n,n/2,d]$ code. This eliminates some of the possible weight enumerators of singly even self-dual $[n,n/2,d]$ codes for $(n,d)=(62,12)$, $(72,14)$, $(82,16)$, $(90,16)$ and $(100,18)$. In this note, we give some restrictions on the number of vectors of weight $d/2+1$ in the shadow of a singly even self-dual $[n,n/2,d]$ code. This eliminates some of the possible weight enumerators of singly even self-dual $[n,n/2,d]$ codes for $(n,d)=(62,12)$, $(72,14)$, $(82,16)$, $(90,16)$ and $(100,18)$. △ Less

Submitted 2 December, 2017; v1 submitted 11 June, 2017; originally announced June 2017.

Comments: 16 pages

MSC Class: 94B05

Journal ref: Interdisciplinary Information Sciences Vol. 24, No. 1 (2018) 77-85

Extremal Type II $\mathbb{Z}_4$-codes constructed from binary doubly even self-dual codes of length $40$

Authors: Masaaki Harada

Abstract: In this note, we demonstrate that every binary doubly even self-dual code of length $40$ can be realized as the residue code of some extremal Type II $\mathbb{Z}_4$-code. As a consequence, it is shown that there are at least $94356$ inequivalent extremal Type II $\mathbb{Z}_4$-codes of length $40$. In this note, we demonstrate that every binary doubly even self-dual code of length $40$ can be realized as the residue code of some extremal Type II $\mathbb{Z}_4$-code. As a consequence, it is shown that there are at least $94356$ inequivalent extremal Type II $\mathbb{Z}_4$-codes of length $40$. △ Less

Submitted 10 June, 2017; originally announced June 2017.

Comments: 6 pages

MSC Class: 94B05

Binary extremal self-dual codes of length $60$ and related codes

Authors: Masaaki Harada

Abstract: We give a classification of four-circulant singly even self-dual $[60,30,d]$ codes for $d=10$ and $12$. These codes are used to construct extremal singly even self-dual $[60,30,12]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. From extremal singly even self-dual $[60,30,12]$ codes, we also construct extremal singly even self-dual… ▽ More We give a classification of four-circulant singly even self-dual $[60,30,d]$ codes for $d=10$ and $12$. These codes are used to construct extremal singly even self-dual $[60,30,12]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. From extremal singly even self-dual $[60,30,12]$ codes, we also construct extremal singly even self-dual $[58,29,10]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. Finally, we give some restriction on the possible weight enumerators of certain singly even self-dual codes with shadow of minimum weight $1$. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: 13 pages

MSC Class: 94B05

Journal ref: Des. Codes Cryptogr. (2018) 86 1085-1094

The motivic cohomology of BSO_n

Authors: Masana Harada, Masayuki Nakada

Abstract: We will determine the motivic cohomology $H^{*,*}(BSO_n , Z/2)$ with coefficients in $Z/ 2$ of the classifying space of special orthogonal groups $SO_n$ over the complex numbers $C$. We will determine the motivic cohomology $H^{*,*}(BSO_n , Z/2)$ with coefficients in $Z/ 2$ of the classifying space of special orthogonal groups $SO_n$ over the complex numbers $C$. △ Less

Submitted 17 April, 2017; originally announced April 2017.

Comments: 12 pages

MSC Class: 14F42; 20J05

Convergence of polarizations, toric degenerations, and Newton-Okounkov bodies

Authors: Mark Hamilton, Megumi Harada, Kiumars Kaveh

Abstract: Let $X$ be a smooth irreducible complex algebraic variety of dimension $n$ and $L$ a very ample line bundle on $X$. Given a toric degeneration of $(X,L)$ satisfying some natural technical hypotheses, we construct a deformation $\{J_s\}$ of the complex structure on $X$ and bases $\mathcal{B}_s$ of $H^0(X,L, J_s)$ so that $J_0$ is the standard complex structure and, in the limit as $s \to \infty$, t… ▽ More Let $X$ be a smooth irreducible complex algebraic variety of dimension $n$ and $L$ a very ample line bundle on $X$. Given a toric degeneration of $(X,L)$ satisfying some natural technical hypotheses, we construct a deformation $\{J_s\}$ of the complex structure on $X$ and bases $\mathcal{B}_s$ of $H^0(X,L, J_s)$ so that $J_0$ is the standard complex structure and, in the limit as $s \to \infty$, the basis elements approach dirac-delta distributions centered at Bohr-Sommerfeld fibers of a moment map associated to $X$ and its toric degeneration. The theory of Newton-Okounkov bodies and its associated toric degenerations shows that the technical hypotheses mentioned above hold in some generality. Our results significantly generalize previous results in geometric quantization which prove "independence of polarization" between Kähler quantizations and real polarizations. As an example, in the case of general flag varieties $X=G/B$ and for certain choices of $λ$, our result geometrically constructs a continuous degeneration of the (dual) canonical basis of $V_λ^*$ to a collection of dirac delta functions supported at the Bohr-Sommerfeld fibres corresponding exactly to the lattice points of a Littelmann-Berenstein-Zelevinsky string polytope $Δ_{\underline{w}_0}(λ) \cap \mathbb{Z}^{\dim(G/B)}$. △ Less

Submitted 1 March, 2018; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: 27 pages. Comments welcome

MSC Class: Primary: 53D50; 14D06; Secondary: 14M25

Geometry of Hessenberg varieties with applications to Newton-Okounkov bodies

Authors: Hiraku Abe, Lauren DeDieu, Federico Galetto, Megumi Harada

Abstract: In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenbe… ▽ More In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings. △ Less

Submitted 2 February, 2021; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: 25 pages. Corrected minor errors in Example 3.5 and in Sections 6 and 7. The main results remain the same

MSC Class: 14M17; 14M25 (Primary); 14M10 (Secondary)

Journal ref: Sel. Math. New Ser. (2018) 24: 2129

Performance of ternary double circulant, double twistulant, and self-dual codes

Authors: T. Aaron Gulliver, Masaaki Harada

Abstract: We study the performance of ternary isodual codes which are not self-dual and ternary self-dual codes, as measured by the decoding error probability in bounded distance decoding. We compare the performance of ternary double circulant and double twistulant codes which are not self-dual with ternary extremal self-dual codes. We also investigate the performance of ternary self-dual codes having large… ▽ More We study the performance of ternary isodual codes which are not self-dual and ternary self-dual codes, as measured by the decoding error probability in bounded distance decoding. We compare the performance of ternary double circulant and double twistulant codes which are not self-dual with ternary extremal self-dual codes. We also investigate the performance of ternary self-dual codes having large minimum weights. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1604.06878

MSC Class: 94B05; 94B70