Showing 1–31 of 31 results for author: Numata, Y

Explicit description of a basis for derivations of a Coxeter multiarrangement of type $B_2$

Authors: Shota Maehara, Yasuhide Numata

Abstract: In this article, we consider the multiarrangements whose underlying arrangements are the Coxeter arrangement of type $B_2$. For some special multiplicities, we give an explicit description of bases for the derivation modules. As an application, we also describe the lower derivations of bases for the derivation modules of some Coxeter multiarrangements of type $A_2$, which are different from ones g… ▽ More In this article, we consider the multiarrangements whose underlying arrangements are the Coxeter arrangement of type $B_2$. For some special multiplicities, we give an explicit description of bases for the derivation modules. As an application, we also describe the lower derivations of bases for the derivation modules of some Coxeter multiarrangements of type $A_2$, which are different from ones given by Wakamiko. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 19 pages

MSC Class: 32S22; 52C35

The Lefschetz property for an algebra defined by matchings

Authors: Yasuhide Numata

Abstract: In this article, we consider the weighted generating function of matchings in the complete graph. We define an Artinian Gorenstein algebra as the quotient ring of a polynomial ring by the annihilator of the generating function. We show the strong Lefschetz property of the algebra. In this article, we consider the weighted generating function of matchings in the complete graph. We define an Artinian Gorenstein algebra as the quotient ring of a polynomial ring by the annihilator of the generating function. We show the strong Lefschetz property of the algebra. △ Less

Submitted 21 February, 2023; originally announced February 2023.

MSC Class: 05C70; 05A15; 13F70

Faces of Directed Edge Polytopes

Authors: Yasuhide Numata, Yusuke Takahashi, Dai Tamaki

Abstract: Given a finite quiver (directed graph) without loops and multiedges, the convex hull of the column vector of the incidence matrix is called the directed edge polytope and is an interesting example of lattice polytopes. In this paper, we give a complete characterization of facets of the directed edge polytope of an arbitrary finite quiver without loops and multiedges in terms of the connectivity an… ▽ More Given a finite quiver (directed graph) without loops and multiedges, the convex hull of the column vector of the incidence matrix is called the directed edge polytope and is an interesting example of lattice polytopes. In this paper, we give a complete characterization of facets of the directed edge polytope of an arbitrary finite quiver without loops and multiedges in terms of the connectivity and the existence of a rank function. Our result can be regarded as an extension of the result of Higashitani et al. on facets of symmetric edge polytopes to directed edge polytopes. When the quiver in question has a rank function, we obtain a characterization of faces of arbitrary dimensions. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 19 pages

MSC Class: 52B05

On the action of the toggle group of the Dynkin diagram of type A

Authors: Yasuhide Numata, Yuiko Yamanouchi

Abstract: In this article, we consider involutions, called togglings, on the set of independent sets of the Dynkin diagram of type A, or a path graph. We are interested in the action of the subgroup of the symmetric group of the set of independent sets generated by togglings. We show that the subgroup coincides with the symmetric group. In this article, we consider involutions, called togglings, on the set of independent sets of the Dynkin diagram of type A, or a path graph. We are interested in the action of the subgroup of the symmetric group of the set of independent sets generated by togglings. We show that the subgroup coincides with the symmetric group. △ Less

Submitted 30 March, 2021; originally announced March 2021.

MSC Class: 20B20; 05E16; 05C69;

Journal ref: Algebraic Combinatorics, Volume 5 (2022) no. 1, pp. 149-161

On the determinant of multiplication map of a monomial complete intersection ring

Authors: Yasuhide Numata

Abstract: In this article, we consider the monomial complete intersection algebra $\mathbb{K}[x,y]/\langle x^d,y^q\rangle$ in two variables. For elements $l_1,\ldots,l_{d+q-2k}$ of degree $1$, we give a formula of the deteminant of linear map from the homogeneous component of degree $k$ to the homogenous component of degree $d+q-k$ defined by the multiplication of $l_1 \cdots l_{d+q-2k}$. In this article, we consider the monomial complete intersection algebra $\mathbb{K}[x,y]/\langle x^d,y^q\rangle$ in two variables. For elements $l_1,\ldots,l_{d+q-2k}$ of degree $1$, we give a formula of the deteminant of linear map from the homogeneous component of degree $k$ to the homogenous component of degree $d+q-k$ defined by the multiplication of $l_1 \cdots l_{d+q-2k}$. △ Less

Submitted 28 February, 2020; originally announced February 2020.

Comments: 7 pages

Solomon-Terao algebra of hyperplane arrangements

Authors: Takuro Abe, Toshiaki Maeno, Satoshi Murai, Yasuhide Numata

Abstract: We introduce a new algebra associated with a hyperplane arrangement $\mathcal{A}$, called the Solomon-Terao algebra $\mbox{ST}(\mathcal{A},η)$, where $η$ is a homogeneous polynomial. It is shown by Solomon and Terao that $\mbox{ST}(\mathcal{A},η)$ is Artinian when $η$ is generic. This algebra can be considered as a generalization of coinvariant algebras in the setting of hyperplane arrangements. T… ▽ More We introduce a new algebra associated with a hyperplane arrangement $\mathcal{A}$, called the Solomon-Terao algebra $\mbox{ST}(\mathcal{A},η)$, where $η$ is a homogeneous polynomial. It is shown by Solomon and Terao that $\mbox{ST}(\mathcal{A},η)$ is Artinian when $η$ is generic. This algebra can be considered as a generalization of coinvariant algebras in the setting of hyperplane arrangements. The class of Solomon-Terao algebras contains cohomology rings of regular nilpotent Hessenberg varieties. We show that $\mbox{ST}(\mathcal{A},η)$ is a complete intersection if and only if $\mathcal{A}$ is free. We also give a factorization formula of the Hilbert polynomials when $\mathcal{A}$ is free, and pose several related questions, problems and conjectures. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Comments: 24 pages

MSC Class: 32S22

Polynomial expressions of $p$-ary auction functions

Authors: Shizuo Kaji, Toshiaki Maeno, Koji Nuida, Yasuhide Numata

Abstract: Let $\mathbb{F}_p$ be the finite field of prime order $p$. For any function $f \colon \mathbb{F}_p{}^n \to \mathbb{F}_p$, there exists a unique polynomial over $\mathbb{F}_p$ having degree at most $p-1$ with respect to each variable which coincides with $f$. We call it the minimal polynomial of $f$. It is in general a non-trivial task to find a concrete expression of the minimal polynomial of a gi… ▽ More Let $\mathbb{F}_p$ be the finite field of prime order $p$. For any function $f \colon \mathbb{F}_p{}^n \to \mathbb{F}_p$, there exists a unique polynomial over $\mathbb{F}_p$ having degree at most $p-1$ with respect to each variable which coincides with $f$. We call it the minimal polynomial of $f$. It is in general a non-trivial task to find a concrete expression of the minimal polynomial of a given function, which has only been worked out for limited classes of functions in the literature. In this paper, we study minimal polynomial expressions of several functions that are closely related to some practically important procedures such as auction and voting. △ Less

Submitted 23 March, 2017; originally announced March 2017.

Comments: 11 pages

MSC Class: 68R05; 12Y05

A topos associated with a colored category

Authors: Katsuhiko Kuribayashi, Yasuhiude Numata

Abstract: We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association scheme, then the cohomology coincides with the group cohomology of the factor scheme by the thin residue. Moreover, it is shown that the cohomology of a colored… ▽ More We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association scheme, then the cohomology coincides with the group cohomology of the factor scheme by the thin residue. Moreover, it is shown that the cohomology of a colored category relates to the standard representation of an association scheme via the Leray spectral sequence. △ Less

Submitted 27 October, 2017; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: The main theorem is revised. 19 pages

A bijective proof of the Cauchy identity for Grothendieck polynomials

Authors: Yasuhide Numata

Abstract: We consider pairs of a set-valued column-strict tableau and a reverse plane partition of the same shape. We introduce algortithms for them, which implies a bijective proof for the finite sum Cauchy identity for Grothendieck polynomials and dual Grothendieck polynomials. We consider pairs of a set-valued column-strict tableau and a reverse plane partition of the same shape. We introduce algortithms for them, which implies a bijective proof for the finite sum Cauchy identity for Grothendieck polynomials and dual Grothendieck polynomials. △ Less

Submitted 31 March, 2016; originally announced April 2016.

Construction of schemoids from posets

Authors: Yasuhide Numata

Abstract: A schemoid is a generalization of association schemes from the point of view of small categories. In this article, we discuss schemoid structures for two kinds of small categories; the canonical small category defined by a poset, and another small category which arises a poset. We also discuss the schemoid algebra, that is an analogue of the Bose--Mesner algebra for an association scheme, for them… ▽ More A schemoid is a generalization of association schemes from the point of view of small categories. In this article, we discuss schemoid structures for two kinds of small categories; the canonical small category defined by a poset, and another small category which arises a poset. We also discuss the schemoid algebra, that is an analogue of the Bose--Mesner algebra for an association scheme, for them. △ Less

Submitted 15 November, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

On functors between categories with colored morphisms

Authors: Yasuhide Numata

Abstract: In this paper, we consider categories with colored morphisms and functors such that morphisms assigned to morphisms with a common color have a common color. In this paper, we construct a morphism-colored functor such that any morphism-colored functor from a given small morphism-colored groupoid to any discrete morphism-colored category factors through it. We also apply the main result to a schemoi… ▽ More In this paper, we consider categories with colored morphisms and functors such that morphisms assigned to morphisms with a common color have a common color. In this paper, we construct a morphism-colored functor such that any morphism-colored functor from a given small morphism-colored groupoid to any discrete morphism-colored category factors through it. We also apply the main result to a schemoid constructed from a Hamming scheme. △ Less

Submitted 19 September, 2016; v1 submitted 14 February, 2016; originally announced February 2016.

MSC Class: 18A99; 18A32; 18D99

Polynomial Expressions of Carries in p-ary Arithmetics

Authors: Shizuo Kaji, Toshiaki Maeno, Koji Nuida, Yasuhide Numata

Abstract: It is known that any $n$-variable function on a finite prime field of characteristic $p$ can be expressed as a polynomial over the same field with at most $p^n$ monomials. However, it is not obvious to determine the polynomial for a given concrete function. In this paper, we study the concrete polynomial expressions of the carries in addition and multiplication of $p$-ary integers. For the case of… ▽ More It is known that any $n$-variable function on a finite prime field of characteristic $p$ can be expressed as a polynomial over the same field with at most $p^n$ monomials. However, it is not obvious to determine the polynomial for a given concrete function. In this paper, we study the concrete polynomial expressions of the carries in addition and multiplication of $p$-ary integers. For the case of addition, our result gives a new family of symmetric polynomials, which generalizes the known result for the binary case $p = 2$ where the carries are given by elementary symmetric polynomials. On the other hand, for the case of multiplication of $n$ single-digit integers, we give a simple formula of the polynomial expression for the carry to the next digit using the Bernoulli numbers, and show that it has only $(n+1)(p-1)/2 + 1$ monomials, which is significantly fewer than the worst-case number $p^n$ of monomials for general functions. We also discuss applications of our results to cryptographic computation on encrypted data. △ Less

Submitted 18 February, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: (v2) Improved results and new observations (v3) The authors are notified that our main theorem (Theorem 2) appears (by a different approach) in [C. Sturtivant, G. S. Frandsen: Theoretical Computer Science 112 (1993) 291-309]. The authors would like to keep this preprint online for reference purposes

MSC Class: 11T06 (primary); 05E05; 68R05; 94A60

On computation of the first Baues--Wirsching cohomology of a freely-generated small category

Authors: Yasuhiro Momose, Yasuhide Numata

Abstract: The Baues--Wirsching cohomology is one of the cohomologies of a small category. Our aim is to describe the first Baues--Wirsching cohomology of the small category generated by a finite quiver freely. We consider the case where the coefficient is a natural system obtained by the composition of a functor and the target functor. We give an algorithm to obtain generators of the vector space of inner d… ▽ More The Baues--Wirsching cohomology is one of the cohomologies of a small category. Our aim is to describe the first Baues--Wirsching cohomology of the small category generated by a finite quiver freely. We consider the case where the coefficient is a natural system obtained by the composition of a functor and the target functor. We give an algorithm to obtain generators of the vector space of inner derivations. It is known that there exists a surjection from the vector space of derivations of the small category to the first Baues--Wirsching cohomology whose kernel is the vector space of inner derivations. △ Less

Submitted 25 February, 2014; originally announced February 2014.

Comments: 11 pages

On graphs whose Hosoya indices are primitive Pythagorean triples

Authors: Tomoe Kadoi, Yasuhide Numata

Abstract: We discuss families of triples of graphs whose Hosoya indices are primitive Pythagorean triples. Hosoya gave a method to construct such families of caterpillars, i.e., trees whose vertices are within distance 1 of a central path. He also pointed out a common structure to the families, and conjectured the uniqueness of the structure. In this paper, we give an answer to his conjecture. We discuss families of triples of graphs whose Hosoya indices are primitive Pythagorean triples. Hosoya gave a method to construct such families of caterpillars, i.e., trees whose vertices are within distance 1 of a central path. He also pointed out a common structure to the families, and conjectured the uniqueness of the structure. In this paper, we give an answer to his conjecture. △ Less

Submitted 6 February, 2014; originally announced February 2014.

Comments: 22 pages

MSC Class: 05C30; 05C70; 05C05; 05C50; 11A05; 11A55

A mathematical problem for security analysis of hash functions and pseudorandom generators

Authors: Koji Nuida, Takuro Abe, Shizuo Kaji, Toshiaki Maeno, Yasuhide Numata

Abstract: In this paper, we specify a class of mathematical problems, which we refer to as "Function Density Problems" (FDPs, in short), and point out novel connections of FDPs to the following two cryptographic topics; theoretical security evaluations of keyless hash functions (such as SHA-1), and constructions of provably secure pseudorandom generators (PRGs) with some enhanced security property introduce… ▽ More In this paper, we specify a class of mathematical problems, which we refer to as "Function Density Problems" (FDPs, in short), and point out novel connections of FDPs to the following two cryptographic topics; theoretical security evaluations of keyless hash functions (such as SHA-1), and constructions of provably secure pseudorandom generators (PRGs) with some enhanced security property introduced by Dubrov and Ishai [STOC 2006]. Our argument aims at proposing new theoretical frameworks for these topics (especially for the former) based on FDPs, rather than providing some concrete and practical results on the topics. We also give some examples of mathematical discussions on FDPs, which would be of independent interest from mathematical viewpoints. Finally, we discuss possible directions of future research on other cryptographic applications of FDPs and on mathematical studies on FDPs themselves. △ Less

Submitted 28 August, 2014; v1 submitted 31 May, 2012; originally announced June 2012.

Comments: 18 pages; (v2) 19 pages, to appear in International Journal of Foundations of Computer Science

MSC Class: 94A60 (Primary); 68R05; 52C99 (Secondary)

Journal ref: International Journal of Foundations of Computer Science, vol.26, no.2 (2015) 169--194

Holonomic gradient method for the distribution function of the largest root of a Wishart matrix

Authors: Hiroki Hashiguchi, Yasuhide Numata, Nobuki Takayama, Akimichi Takemura

Abstract: We apply the holonomic gradient method introduced by Nakayama et al.(2011) to the evaluation of the exact distribution function of the largest root of a Wishart matrix, which involves a hypergeometric function 1F1 of a matrix argument. Numerical evaluation of the hypergeometric function has been one of the longstanding problems in multivariate distribution theory. The holonomic gradient method off… ▽ More We apply the holonomic gradient method introduced by Nakayama et al.(2011) to the evaluation of the exact distribution function of the largest root of a Wishart matrix, which involves a hypergeometric function 1F1 of a matrix argument. Numerical evaluation of the hypergeometric function has been one of the longstanding problems in multivariate distribution theory. The holonomic gradient method offers a totally new approach, which is complementary to the infinite series expansion around the origin in terms of zonal polynomials. It allows us to move away from the origin by the use of partial differential equations satisfied by the hypergeometric function. From numerical viewpoint we show that the method works well up to dimension 10. From theoretical viewpoint the method offers many challenging problems both to statistics and D-module theory. △ Less

Submitted 20 January, 2013; v1 submitted 2 January, 2012; originally announced January 2012.

MSC Class: 62H10; 13N10

Journal ref: Journal of Multivariate Analysis 117 (2031) 296-312

On computation of the characteristic polynomials of the discriminantal arrangements and the arrangements generated by generic points

Authors: Yasuhide Numata, Akimichi Takemura

Abstract: In this article we give a computational study of combinatorics of the discriminantal arrangements. The discriminantal arrangements are parametrized by two positive integers n and k such that n>k. The intersection lattice of the discriminantal arrangement with the parameter (n,k) is isomorphic to the intersection lattice of the hyperplane arrangement generated by n generic points in the d-dimension… ▽ More In this article we give a computational study of combinatorics of the discriminantal arrangements. The discriminantal arrangements are parametrized by two positive integers n and k such that n>k. The intersection lattice of the discriminantal arrangement with the parameter (n,k) is isomorphic to the intersection lattice of the hyperplane arrangement generated by n generic points in the d-dimensional vector space where d=n-k-1. The combinatorics of the discriminantal arrangements is very hard, except for the special cases of the Boolean arrangements (k=0) and the braid arrangements (k=1). We review some results on the intersection lattices of the arrangements generated by generic points and use them to obtain some computational results on the characteristic polynomials of the discriminantal arrangements. △ Less

Submitted 2 October, 2011; originally announced October 2011.

Journal ref: Harmony of Grobner Bases and the Modern Industrial Society, (Takayuki Hibi, editor), World Scientific, pp.228-252. 2012

Sperner property and finite-dimensional Gorenstein algebras associated to matroids

Authors: Toshiaki Maeno, Yasuhide Numata

Abstract: We prove the Lefschetz property for a certain class of finite-dimensional Gorenstein algebras associated to matroids. Our result implies the Sperner property of the vector space lattice. More generally, it is shown that the modular geometric lattice has the Sperner property. We also discuss the Gröbner fan of the defining ideal of our Gorenstein algebra. We prove the Lefschetz property for a certain class of finite-dimensional Gorenstein algebras associated to matroids. Our result implies the Sperner property of the vector space lattice. More generally, it is shown that the modular geometric lattice has the Sperner property. We also discuss the Gröbner fan of the defining ideal of our Gorenstein algebra. △ Less

Submitted 21 November, 2011; v1 submitted 25 July, 2011; originally announced July 2011.

Comments: New section on modular geometric lattices

On intersection lattices of hyperplane arrangements generated by generic points

Authors: Hiroshi Koizumi, Yasuhide Numata, Akimichi Takemura

Abstract: We consider hyperplane arrangements generated by generic points and study their intersection lattices. These arrangements are known to be equivalent to discriminantal arrangements. We show a fundamental structure of the intersection lattices by decomposing the poset ideals as direct products of smaller lattices corresponding to smaller dimensions. Based on this decomposition we compute the Möbius… ▽ More We consider hyperplane arrangements generated by generic points and study their intersection lattices. These arrangements are known to be equivalent to discriminantal arrangements. We show a fundamental structure of the intersection lattices by decomposing the poset ideals as direct products of smaller lattices corresponding to smaller dimensions. Based on this decomposition we compute the Möbius functions of the lattices and the characteristic polynomials of the arrangements up to dimension six. △ Less

Submitted 19 September, 2010; originally announced September 2010.

Comments: 17 pages, 4 figures

MSC Class: 52C35; 05A99

Journal ref: Annals of Combinatorics 16 (2012) 789-813

Separation of integer points by a hyperplane under some weak notions of discrete convexity

Authors: Takuya Kashimura, Yasuhide Numata, Akimichi Takemura

Abstract: We give some sufficient conditions of separation of two sets of integer points by a hyperplane. Our conditions are related to the notion of convexity of sets of integer points and are weaker than existing notions. We give some sufficient conditions of separation of two sets of integer points by a hyperplane. Our conditions are related to the notion of convexity of sets of integer points and are weaker than existing notions. △ Less

Submitted 15 February, 2010; originally announced February 2010.

Comments: 18 pages,4 figures

MSC Class: 52A37

Journal ref: Discrete Math. 313 (2013), no. 1, 8-18

Graph presentations for moments of noncentral Wishart distributions and their applications

Authors: Satoshi Kuriki, Yasuhide Numata

Abstract: We provide formulas for the moments of the real and complex noncentral Wishart distributions of general degrees. The obtained formulas for the real and complex cases are described in terms of the undirected and directed graphs, respectively. By considering degenerate cases, we give explicit formulas for the moments of bivariate chi-square distributions and $2\times 2$ Wishart distributions by en… ▽ More We provide formulas for the moments of the real and complex noncentral Wishart distributions of general degrees. The obtained formulas for the real and complex cases are described in terms of the undirected and directed graphs, respectively. By considering degenerate cases, we give explicit formulas for the moments of bivariate chi-square distributions and $2\times 2$ Wishart distributions by enumerating the graphs. Noting that the Laguerre polynomials can be considered to be moments of a noncentral chi-square distributions formally, we demonstrate a combinatorial interpretation of the coefficients of the Laguerre polynomials. △ Less

Submitted 22 January, 2010; v1 submitted 3 December, 2009; originally announced December 2009.

Journal ref: Ann. Inst. Statist. Math. 62 (2010), no. 4, 645-672

Strong Lefschetz elements of the coinvariant rings of finite Coxeter groups

Authors: Toshiaki Maeno, Yasuhide Numata, Akihito Wachi

Abstract: For the coinvariant rings of finite Coxeter groups of types other than H$_4$, we show that a homogeneous element of degree one is a strong Lefschetz element if and only if it is not fixed by any reflections. We also give the necessary and sufficient condition for strong Lefschetz elements in the invariant subrings of the coinvariant rings of Weyl groups. For the coinvariant rings of finite Coxeter groups of types other than H$_4$, we show that a homogeneous element of degree one is a strong Lefschetz element if and only if it is not fixed by any reflections. We also give the necessary and sufficient condition for strong Lefschetz elements in the invariant subrings of the coinvariant rings of Weyl groups. △ Less

Submitted 21 September, 2008; originally announced September 2008.

Comments: 18 pages

MSC Class: 20F55; 13A50; 14M15; 14N15

Journal ref: Algebr. Represent. Theory 14 (2011), no. 4, 625-638

A bijective proof of a factorization formula for Macdonald polynomials at roots of unity

Authors: Francois Descouens, Hideaki Morita, Yasuhide Numata

Abstract: We give a combinatorial proof of the factorization formula of modified Macdonald polynomials when the parameter t is specialized at a primitive root of unity. Our proof is restricted to the special case of partitions with 2 columns. We mainly use the combinatorial interpretation of Haglund, Haiman and Loehr giving the expansion of the modified Macdonald polynomials on the monomial basis. We give a combinatorial proof of the factorization formula of modified Macdonald polynomials when the parameter t is specialized at a primitive root of unity. Our proof is restricted to the special case of partitions with 2 columns. We mainly use the combinatorial interpretation of Haglund, Haiman and Loehr giving the expansion of the modified Macdonald polynomials on the monomial basis. △ Less

Submitted 15 March, 2008; originally announced March 2008.

Signed-eliminable graphs and free multiplicities on the braid arrangement

Authors: Takuro Abe, Koji Nuida, Yasuhide Numata

Abstract: We define specific multiplicities on the braid arrangement by using edge-bicolored graphs. To consider their freeness, we introduce the notion of bicolor-eliminable graphs as a generalization of Stanley's classification theory of free graphic arrangements by chordal graphs. This generalization gives us a complete classification of the free multiplicities defined above. As an application, we prove… ▽ More We define specific multiplicities on the braid arrangement by using edge-bicolored graphs. To consider their freeness, we introduce the notion of bicolor-eliminable graphs as a generalization of Stanley's classification theory of free graphic arrangements by chordal graphs. This generalization gives us a complete classification of the free multiplicities defined above. As an application, we prove one direction of a conjecture of Athanasiadis on the characterization of the freeness of the deformation of the braid arrangement in terms of directed graphs. △ Less

Submitted 31 July, 2017; v1 submitted 26 December, 2007; originally announced December 2007.

Comments: 19 pages. In version 3, the errors in the statement and the proof of Theorem 0.3 are corrected in the Appendix

MSC Class: 32S22

Journal ref: J. Lond. Math. Soc. (2) 80 (2009), no. 1, 121-134

An Algorithm to Construct A Basis for the Module of Logarithmic Vector Fields

Authors: Yasuhide Numata

Abstract: We consider logarithmic vector fields parametrized by finite collections of weighted hyperplanes. For a finite collection of weighted hyperplanes in a two-dimensional vector space, it is known that the set of such vector fields is a free module of rank two whose basis elements are homogeneous. We give an algorithm to construct a homogeneous basis for the module. We consider logarithmic vector fields parametrized by finite collections of weighted hyperplanes. For a finite collection of weighted hyperplanes in a two-dimensional vector space, it is known that the set of such vector fields is a free module of rank two whose basis elements are homogeneous. We give an algorithm to construct a homogeneous basis for the module. △ Less

Submitted 29 June, 2007; originally announced July 2007.

MSC Class: 32S22

Exponents of 2-multiarrangements and multiplicity lattices

Authors: Takuro Abe, Yasuhide Numata

Abstract: We introduce a concept of multiplicity lattices of 2-multiarrangements, determine the combinatorics and geometry of that lattice, and give a criterion and method to construct a basis for derivation modules effectively. We introduce a concept of multiplicity lattices of 2-multiarrangements, determine the combinatorics and geometry of that lattice, and give a criterion and method to construct a basis for derivation modules effectively. △ Less

Submitted 17 April, 2011; v1 submitted 31 May, 2007; originally announced June 2007.

Comments: 14 pages

MSC Class: 32S22

Journal ref: J. Algebraic Combin. 35 (2012), no. 1, 1-17

The strong Lefschetz property of the coinvariant ring of the Coxeter group of type H4

Authors: Yasuhide Numata, Akihito Wachi

Abstract: We prove that the coinvariant ring of the irreducible Coxeter group of type H4 has the strong Lefschetz property. We prove that the coinvariant ring of the irreducible Coxeter group of type H4 has the strong Lefschetz property. △ Less

Submitted 28 February, 2007; originally announced March 2007.

Comments: 9 pages

MSC Class: 20F55; 13A50; 14M15; 14N15

Journal ref: J. Algebra 318 (2007), no. 2, 1032-1038

An extended Schur's lemma and its application

Authors: Yasuhide Numata

Abstract: The Springer modules have a combinatorial property called ``coincidence of dimensions,'' i.e., the Springer modules are naturally decomposed into submodules with common dimensions. Morita and Nakajima proved the property by giving modules with common dimensions whose induced modules are isomorphic to the submodules of Springer modules. They proved that the induced modules are isomorphic to the s… ▽ More The Springer modules have a combinatorial property called ``coincidence of dimensions,'' i.e., the Springer modules are naturally decomposed into submodules with common dimensions. Morita and Nakajima proved the property by giving modules with common dimensions whose induced modules are isomorphic to the submodules of Springer modules. They proved that the induced modules are isomorphic to the submodules, by showing the coincidence of their characters. Our aim is to construct isomorphisms between the induced modules and their corresponding submodules in a combinatorial manner. For this purpose, we show lemmas, which are equivalent to the classical Schur's lemma in special cases. We also give a procedure to construct isomorphisms, and explicitly construct isomorphisms in the case of the Springer modules corresponding to Young diagrams of two rows. △ Less

Submitted 31 January, 2007; originally announced February 2007.

MSC Class: 20C05

An example of generalized Schur operators involving planar binary trees

Authors: Yasuhide Numata

Abstract: Young's lattice is a prototypical example of differential posets. Differential posets have the Robinson correspondence, the correspondence between permutations and pairs of standard tableaux with the same shape, as in the case of Young's lattice. Fomin introduced generalized Schur operators to generalize the method of Robinson correspondence in differential posets to the Robinson-Schensted-Knuth… ▽ More Young's lattice is a prototypical example of differential posets. Differential posets have the Robinson correspondence, the correspondence between permutations and pairs of standard tableaux with the same shape, as in the case of Young's lattice. Fomin introduced generalized Schur operators to generalize the method of Robinson correspondence in differential posets to the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard tableaux with the same shape. In this paper, we introduce operators on the vector space whose basis is the set of planar binary trees. To prove that the operators are generalized Schur operators, we construct a correspondence, which is an extension of Fomin's r-correspondence for them. △ Less

Submitted 13 September, 2006; originally announced September 2006.

MSC Class: 05C05

Journal ref: Combinatorial representation theory and related topics, 85-97, RIMS Kôkyûroku Bessatsu, B8, 2008

Tabloids and Weighted Sums of Characters of Certain Modules of the Symmetric Groups

Authors: Yasuhide Numata

Abstract: We consider certain modules of the symmetric groups whose basis elements are called tabloids. Some of these modules are isomorphic to subspaces of the cohomology rings of subvarieties of flag varieties as modules of the symmetric groups. We give a combinatorial description for some weighted sums of their characters, i.e., we introduce combinatorial objects called $(ρ,\Ll)$-tabloids and rewrite w… ▽ More We consider certain modules of the symmetric groups whose basis elements are called tabloids. Some of these modules are isomorphic to subspaces of the cohomology rings of subvarieties of flag varieties as modules of the symmetric groups. We give a combinatorial description for some weighted sums of their characters, i.e., we introduce combinatorial objects called $(ρ,\Ll)$-tabloids and rewrite weighted sums of characters as the numbers of these combinatorial objects. We also consider the meaning of these combinatorial objects, i.e., we construct a correspondence between $(ρ,\Ll)$-tabloids and tabloids whose images are eigenvectors of the action of an element of cycle type $ρ$ in quotient modules. △ Less

Submitted 14 July, 2006; originally announced July 2006.

MSC Class: 05E10; 20C30

Journal ref: European J. Combin. 29 (2008), no. 2, 480-492

Pieri's Formula for Generalized Schur Polynomials

Authors: Yasuhide Numata

Abstract: Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young… ▽ More Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young tableaux. We define a generalization of Schur polynomials as expansion coefficients of generalized Schur operators. We show that the commutating relation of generalized Schur operators implies Pieri's formula to generalized Schur polynomials. △ Less

Submitted 13 November, 2006; v1 submitted 16 June, 2006; originally announced June 2006.

MSC Class: 05E05; 05E99; 05C05

Journal ref: J. Algebraic Combin. 26 (2007), no. 1, 27-45