Showing 1–21 of 21 results for author: Shigechi, K

Jones--Wenzl projections of type $D$ and Dyck tilings

Authors: Keiichi Shigechi

Abstract: We study the relation between a coefficient of an element of the Jones--Wenzl projection in the Temperley--Lieb algebra of type $D$ and an enumeration of Dyck tilings. The coefficient can be non-recursively expressed as an enumerative generating function of Dyck tilings by considering the generalized Hermite histories, which we call bi-colored vertical Hermite histories, on the tilings. We study the relation between a coefficient of an element of the Jones--Wenzl projection in the Temperley--Lieb algebra of type $D$ and an enumeration of Dyck tilings. The coefficient can be non-recursively expressed as an enumerative generating function of Dyck tilings by considering the generalized Hermite histories, which we call bi-colored vertical Hermite histories, on the tilings. △ Less

Submitted 22 December, 2024; originally announced December 2024.

Comments: 30 pages

Jones--Wenzl projections and Dyck tilings: type $A$ and $B$

Authors: Keiichi Shigechi

Abstract: The Jones--Wenzl projections are a special class of elements of the Temperley--Lieb algebra. We prove that the coefficient appearing in the Jones--Wenzl projection is given by a generating function of combinatorial objects, called Dyck tilings. We also show that this correspondence holds for type $B$ case. The Jones--Wenzl projections are a special class of elements of the Temperley--Lieb algebra. We prove that the coefficient appearing in the Jones--Wenzl projection is given by a generating function of combinatorial objects, called Dyck tilings. We also show that this correspondence holds for type $B$ case. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 12 pages

Noncommutative crossing partitions

Authors: Keiichi Shigechi

Abstract: We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function,… ▽ More We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function, the number of maximal chains and the number of $k$-chains in this new lattice by constructing an explicit $EL$-labeling on the lattice. By use of the $EL$-labeling, we recover the classical results on the Kreweras lattice. We characterize two endomorphism on the Kreweras lattice, the Kreweras complement map and the involution defined by Simion and Ullman, in terms of the maps on the noncommutative crossing partitions. We also establish relations among three combinatorial objects: labeled $k+1$-ary trees, $k$-chains in the lattice, and $k$-Dyck tilings. △ Less

Submitted 20 November, 2022; originally announced November 2022.

Comments: 45 pages

Multi-colored dimer models in one-dimension: lattice paths and generalized Rogers--Ramanujan identities

Authors: Keiichi Shigechi

Abstract: We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations app… ▽ More We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schröder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs. △ Less

Submitted 6 November, 2021; originally announced November 2021.

Comments: 118 pages

Rational Dyck tilings

Authors: Keiichi Shigechi

Abstract: We introduce rational Dyck tilings, or $(a,b)$-Dyck tilings, and study them by the decomposition into $(1,1)$-Dyck tilings. This decomposition allows us to make use of combinatorial models for $(1,1)$-Dyck tilings such as the Hermite history and the Dyck tiling strip bijection. Together with $b$-Stirling permutations associated to the rational Dyck tilings, we obtain a correspondence between an… ▽ More We introduce rational Dyck tilings, or $(a,b)$-Dyck tilings, and study them by the decomposition into $(1,1)$-Dyck tilings. This decomposition allows us to make use of combinatorial models for $(1,1)$-Dyck tilings such as the Hermite history and the Dyck tiling strip bijection. Together with $b$-Stirling permutations associated to the rational Dyck tilings, we obtain a correspondence between an $(a,b)$-Dyck tiling and a tuple of $ab$ $(1,1)$-Dyck tilings. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: 20 pages

Generalized Dellac configurations

Authors: Keiichi Shigechi

Abstract: We study combinatorics of two generalizations of Dellac configurations. First, we establish a correspondence between a generalized Dellac configuration with three parameters and a generalized Dumont permutations. Secondly, by relaxing conditions on Dellac configurations, we introduce a generalization which we call Dellac configurations with boundaries. We show several recurrence relations for the… ▽ More We study combinatorics of two generalizations of Dellac configurations. First, we establish a correspondence between a generalized Dellac configuration with three parameters and a generalized Dumont permutations. Secondly, by relaxing conditions on Dellac configurations, we introduce a generalization which we call Dellac configurations with boundaries. We show several recurrence relations for the Poincaré polynomials of Dellac configurations with boundaries. △ Less

Submitted 6 April, 2021; originally announced April 2021.

Comments: 31 pages

Rational Dyck paths and decompositions

Authors: Keiichi Shigechi

Abstract: We study combinatorial properties of a rational Dyck path by decomposing it into a tuple of Dyck paths. The combinatorial models such as $b$-Stirling permutations, $(b+1)$-ary trees, parenthesis presentations, and binary trees play central roles to establish a correspondence between the rational Dyck path and the tuple of Dyck paths. We reinterpret two orders, the Young and the rotation orders, on… ▽ More We study combinatorial properties of a rational Dyck path by decomposing it into a tuple of Dyck paths. The combinatorial models such as $b$-Stirling permutations, $(b+1)$-ary trees, parenthesis presentations, and binary trees play central roles to establish a correspondence between the rational Dyck path and the tuple of Dyck paths. We reinterpret two orders, the Young and the rotation orders, on rational Dyck paths in terms of the tuple of Dyck paths by use of the decomposition. As an application, we show a duality between $(a,b)$-Dyck paths and $(b,a)$-Dyck paths in terms of binary trees. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Comments: 32 pages

Dyck tilings of type $D$

Authors: Keiichi Shigechi

Abstract: We introduce and study cover-inclusive and cover-exclusive Dyck tilings of type $D$. It is shown that the generating functions of Dyck tilings of type $D$ are expressed in terms of the generating function of ballot tilings of type $B$. We introduce link patterns of type $D$ and plane trees for a ballot path, and construct a map from trees to $\mathbb{Z}[q]$. This map gives the generating function… ▽ More We introduce and study cover-inclusive and cover-exclusive Dyck tilings of type $D$. It is shown that the generating functions of Dyck tilings of type $D$ are expressed in terms of the generating function of ballot tilings of type $B$. We introduce link patterns of type $D$ and plane trees for a ballot path, and construct a map from trees to $\mathbb{Z}[q]$. This map gives the generating function of cover-inclusive Dyck tilings of type $D$ associated to the ballot path. △ Less

Submitted 3 April, 2021; originally announced April 2021.

Comments: 14 pages

Symmetric Dyck tilings, ballot tableaux and tree-like tableaux of shifted shapes

Authors: Keiichi Shigechi

Abstract: Symmetric Dyck tilings and ballot tilings are certain tilings in the region surrounded by two ballot paths. We study the relations of combinatorial objects which are bijective to symmetric Dyck tilings such as labeled trees, Hermite histories, and perfect matchings. We also introduce two operations on labeled trees for symmetric Dyck tilings: symmetric Dyck tiling strip (symDTS) and symmetric Dyck… ▽ More Symmetric Dyck tilings and ballot tilings are certain tilings in the region surrounded by two ballot paths. We study the relations of combinatorial objects which are bijective to symmetric Dyck tilings such as labeled trees, Hermite histories, and perfect matchings. We also introduce two operations on labeled trees for symmetric Dyck tilings: symmetric Dyck tiling strip (symDTS) and symmetric Dyck tiling ribbon (symDTR). We give two definitions of Hermite histories for symmetric Dyck tilings, and show that they are equivalent by use of the correspondence between symDTS operation and an Hermite history. Since ballot tilings form a subset in the set of symmetric Dyck tilings, we construct an inclusive map from labeled trees for ballot tilings to labeled trees for symmetric Dyck tilings. By this inclusive map, the results for symmetric Dyck tilings can be applied to those of ballot tilings. We introduce and study the notions of ballot tableaux and tree-like tableaux of shifted shapes, which are generalizations of Dyck tableaux and tree-like tableaux, respectively. The correspondence between ballot tableaux and tree-like tableaux of shifted shapes is given by using the symDTR operation and the structure of labeled trees for symmetric Dyck tilings. △ Less

Submitted 14 November, 2020; originally announced November 2020.

Comments: 60 pages

Bijections on Dyck tilings: DTS/DTR bijections, Dyck tableaux and tree-like tableaux

Authors: Keiichi Shigechi

Abstract: Dyck tilings are certain tilings in the region surrounded by two Dyck paths. We study bijections and combinatorial objects bijective to Dyck tilings, which include Dyck tiling strip (DTS) and Dyck tiling ribbon (DTR) bijections, increasing and decreasing trees, Hermite histories, Dyck tableaux and tree-like tableaux. Dyck tableaux and tree-like tableaux are originally defined for a zigzag path, or… ▽ More Dyck tilings are certain tilings in the region surrounded by two Dyck paths. We study bijections and combinatorial objects bijective to Dyck tilings, which include Dyck tiling strip (DTS) and Dyck tiling ribbon (DTR) bijections, increasing and decreasing trees, Hermite histories, Dyck tableaux and tree-like tableaux. Dyck tableaux and tree-like tableaux are originally defined for a zigzag path, or equivalently a permutation. We generalize them to the case of general Dyck paths. We show that the most properties of Dyck tableaux can be generalized to the generic case, and show some enumerative results on generalized tree-like tableaux. We also show connections among DTS and DTR bijections, Hermite histories, involutions on increasing and decreasing trees and the reflection of Dyck tilings. △ Less

Submitted 14 November, 2020; v1 submitted 20 October, 2019; originally announced October 2019.

Comments: 61pages, v2:Section 4.5 revised

Shifted tableaux and products of Schur's symmetric functions

Authors: Keiichi Shigechi

Abstract: We introduce a new combinatorial object, semistandard increasing decomposition tableau and study its relation to a semistandard decomposition tableau introduced by Kraśkiewicz and developed by Lam and Serrano. We also introduce generalized Littlewood--Richardson coefficients for products of Schur's symmetric functions and give combinatorial descriptions in terms of tableau words. The insertion alg… ▽ More We introduce a new combinatorial object, semistandard increasing decomposition tableau and study its relation to a semistandard decomposition tableau introduced by Kraśkiewicz and developed by Lam and Serrano. We also introduce generalized Littlewood--Richardson coefficients for products of Schur's symmetric functions and give combinatorial descriptions in terms of tableau words. The insertion algorithms play central roles for proofs. A new description of shifted Littlewood--Richardson coefficients is given in terms of semistandard increasing decomposition tableaux. We show that a "big" Schur function is expressed as a sum of products of two Schur $P$-functions, and vice versa. As an application, we derive two Giambelli formulae for big Schur functions: one is a determinant and the other is a Pfaffian. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 57 pages

Ballot tilings and increasing trees

Authors: Keiichi Shigechi

Abstract: We study enumerations of Dyck and ballot tilings, which are tilings of a region determined by two Dyck or ballot paths. We give bijective proofs to two formulae of enumerations of Dyck tilings through Hermite histories. We show that one of the formulae is equal to a certain Kazhdan--Lusztig polynomial. For a ballot tiling, we establish formulae which are analogues of formulae for Dyck tilings. Esp… ▽ More We study enumerations of Dyck and ballot tilings, which are tilings of a region determined by two Dyck or ballot paths. We give bijective proofs to two formulae of enumerations of Dyck tilings through Hermite histories. We show that one of the formulae is equal to a certain Kazhdan--Lusztig polynomial. For a ballot tiling, we establish formulae which are analogues of formulae for Dyck tilings. Especially, the generating functions have factorized expressions. The key tool is a planted plane tree and its increasing labellings. We also introduce a generalized perfect matching which is bijective to an Hermite history for a ballot tiling. By combining these objects, we obtain various expressions of a generating function of ballot tilings with a fixed lower path. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 53 pages

Laurent polynomial solutions of the boundary quantum Knizhnik--Zamolodchikov equation

Authors: Keiichi Shigechi

Abstract: We construct Laurent polynomial solutions of the boundary quantum Knizhnik--Zamolodchikov equation for $U_{q}(\widehat{\mathfrak{sl}}_{2})$ on the parabolic Kazhdan--Lusztig bases. They are characterized by non-symmetric Koornwinder polynomials with the specialized parameters. As a special case, we obtain the solution of the minimal degree. We construct Laurent polynomial solutions of the boundary quantum Knizhnik--Zamolodchikov equation for $U_{q}(\widehat{\mathfrak{sl}}_{2})$ on the parabolic Kazhdan--Lusztig bases. They are characterized by non-symmetric Koornwinder polynomials with the specialized parameters. As a special case, we obtain the solution of the minimal degree. △ Less

Submitted 25 December, 2014; originally announced December 2014.

Comments: 22 pages

A Positive integral property on the ground state of the two-boundary Temperley--Lieb Hamiltonian

Authors: Keiichi Shigechi

Abstract: We study the two-boundary Temperley--Lieb $O(n)$ loop model on Kazhdan--Lusztig bases of type A and B. We obtain explicit expressions of the ground state of the two-boundary Temperley--Lieb Hamiltonian by means of a coideal subalgebra of $U_q(\mathfrak{sl}_2)$. This ground state possesses a positive integral property. We conjecture that some components of the ground state are directly related to a… ▽ More We study the two-boundary Temperley--Lieb $O(n)$ loop model on Kazhdan--Lusztig bases of type A and B. We obtain explicit expressions of the ground state of the two-boundary Temperley--Lieb Hamiltonian by means of a coideal subalgebra of $U_q(\mathfrak{sl}_2)$. This ground state possesses a positive integral property. We conjecture that some components of the ground state are directly related to an enumeration of binary or permutation matrices. △ Less

Submitted 24 December, 2014; originally announced December 2014.

Comments: 62 pages

Canonical bases of a coideal subalgebra in $U_q(\mathfrak{sl}_2)$

Authors: Keiichi Shigechi

Abstract: We consider tensor products of finite-dimensional representations of a coideal subalgebra in $U_{q}(\mathfrak{sl}_2)$. We present an explicit expression for the dual of the canonical bases through a diagrammatic presentation. We show that the decomposition of tensor products of dual canonical bases and the action of the coideal subalgebra have integral and positive properties. As an application, w… ▽ More We consider tensor products of finite-dimensional representations of a coideal subalgebra in $U_{q}(\mathfrak{sl}_2)$. We present an explicit expression for the dual of the canonical bases through a diagrammatic presentation. We show that the decomposition of tensor products of dual canonical bases and the action of the coideal subalgebra have integral and positive properties. As an application, we consider the eigensystem of the generator of the coideal subalgebra on the dual canonical bases. We provide all the eigenvalues and obtain an explicit expression of the eigenfunction for the largest eigenvalue. The sum of the components of this eigenfunction is conjectured to be equal to the total number of arrangements of bishops with a certain symmetry. △ Less

Submitted 23 December, 2014; originally announced December 2014.

Comments: 34 pages

Kazhdan-Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$

Authors: Keiichi Shigechi

Abstract: We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case. We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case. △ Less

Submitted 21 December, 2014; originally announced December 2014.

Comments: 23 pages

Path representation of maximal parabolic Kazhdan-Lusztig polynomials

Authors: K. Shigechi, P. Zinn-Justin

Abstract: We provide simple rules for the computation of Kazhdan--Lusztig polynomials in the maximal parabolic case. They are obtained by filling regions delimited by paths with "Dyck strips" obeying certain rules. We compare our results with those of Lascoux and Schützenberger. We provide simple rules for the computation of Kazhdan--Lusztig polynomials in the maximal parabolic case. They are obtained by filling regions delimited by paths with "Dyck strips" obeying certain rules. We compare our results with those of Lascoux and Schützenberger. △ Less

Submitted 25 January, 2013; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: v3: fixed proof of lemma 2

A new current algebra and the reflection equation

Authors: P. Baseilhac, K. Shigechi

Abstract: We establish an explicit algebra isomorphism between the quantum reflection algebra for the $U_q(\hat{sl_2})$ R-matrix and a new type of current algebra. These two algebras are shown to be two realizations of a special case of tridiagonal algebras (q-Onsager). We establish an explicit algebra isomorphism between the quantum reflection algebra for the $U_q(\hat{sl_2})$ R-matrix and a new type of current algebra. These two algebras are shown to be two realizations of a special case of tridiagonal algebras (q-Onsager). △ Less

Submitted 24 February, 2010; v1 submitted 8 June, 2009; originally announced June 2009.

Comments: 14 pages; v2: More details in Section 4; Typos corrected; References added; To appear in Lett. Math. Phys

MSC Class: 81R50; 81R10; 81U15

Journal ref: Lett. Math. Phys. 92 (2010) 47-65

Exact finite size groundstate of the O(n=1) loop model with open boundaries

Authors: Jan de Gier, Anita Ponsaing, Keiichi Shigechi

Abstract: We explicitly describe certain components of the finite size groundstate of the inhomogeneous transfer matrix of the O(n=1) loop model on a strip with non-trivial boundaries on both sides. In addition we compute explicitly the groundstate normalisation which is given as a product of four symplectic characters. We explicitly describe certain components of the finite size groundstate of the inhomogeneous transfer matrix of the O(n=1) loop model on a strip with non-trivial boundaries on both sides. In addition we compute explicitly the groundstate normalisation which is given as a product of four symplectic characters. △ Less

Submitted 28 March, 2009; v1 submitted 19 January, 2009; originally announced January 2009.

Comments: 29 pages, 33 eps figures, major revision

Report number: ESI preprint 2098

Journal ref: J.Stat.Mech.0904:P04010,2009

A_k Generalization of the O(1) Loop Model on a Cylinder: Affine Hecke Algebra, q-KZ Equation and the Sum Rule

Authors: Keiichi Shigechi, Masaru Uchiyama

Abstract: We study the A_k generalized model of the O(1) loop model on a cylinder. The affine Hecke algebra associated with the model is characterized by a vanishing condition, the cylindric relation. We present two representations of the algebra: the first one is the spin representation, and the other is in the vector space of states of the A_k generalized model. A state of the model is a natural general… ▽ More We study the A_k generalized model of the O(1) loop model on a cylinder. The affine Hecke algebra associated with the model is characterized by a vanishing condition, the cylindric relation. We present two representations of the algebra: the first one is the spin representation, and the other is in the vector space of states of the A_k generalized model. A state of the model is a natural generalization of a link pattern. We propose a new graphical way of dealing with the Yang-Baxter equation and $q$-symmetrizers by the use of the rhombus tiling. The relation between two representations and the meaning of the cylindric relations are clarified. The sum rule for this model is obtained by solving the q-KZ equation at the Razumov-Stroganov point. △ Less

Submitted 26 March, 2007; v1 submitted 1 December, 2006; originally announced December 2006.

Comments: 43 pages, 22 figures, LaTeX, (ver 2) Introduction rewritten and Section 4.3 added

MSC Class: 20C08

Journal ref: J.Phys.A40:8923-8958,2007

Boxed Skew Plane Partition and Integrable Phase Model

Authors: Keiichi Shigechi, Masaru Uchiyama

Abstract: We study the relation between the boxed skew plane partition and the integrable phase model. We introduce a generalization of a scalar product of the phase model and calculate it in two ways; the first one in terms of the skew Schur functions, and another one by use of the commutation relations of operators. In both cases, a generalized scalar product is expressed as a determinant. We show that… ▽ More We study the relation between the boxed skew plane partition and the integrable phase model. We introduce a generalization of a scalar product of the phase model and calculate it in two ways; the first one in terms of the skew Schur functions, and another one by use of the commutation relations of operators. In both cases, a generalized scalar product is expressed as a determinant. We show that a special choice of the spectral parameters of a generalized scalar product gives the generating function of the boxed skew plane partition. △ Less

Submitted 2 October, 2005; v1 submitted 3 August, 2005; originally announced August 2005.

Comments: 25 pages, 6 figures, typos added, proof of Prop.2.1 and Fig.6 are modified. Some comments are added