Related papers: Schensted-type correspondence, plactic monoid and …
We generalize an algorithm by Goward for principalization of monomial ideals in nonsingular varieties to work on any scheme of finite type over a field. The normal crossings condition considered by Goward is weakened to the condition that…
We give a formula for the crystal structure on the integer points of the string polytopes and the $*$-crystal structure on the integer points of the string cones of type $A$ for arbitrary reduced words. As a byproduct we obtain defining…
We exhibit faithful representations of the hypoplactic, stalactic, taiga, sylvester, Baxter and right patience sorting monoids of each finite rank as monoids of upper triangular matrices over any semiring from a large class including the…
The construction of the known interacting quantum field theory models is mostly based on euclidean techniques. The expectation values of interesting quantities are usually given in terms of euclidean correlation functions from which one…
The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules…
We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…
Plasmonic chirality exhibits great potential for novel nanooptical devices due to the generation of a strong chiroptical response. Previous reports on plasmonic chirality explanations are mainly based on phase retardation and coupling. We…
The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux…
The work of C. Bonnaf{\'e}, M. Geck, L. Iancu and T. Lam \cite{Geck-Lam} shows through two conjectures that $r$-domino tableaux have an important role in Kazhdan-Lusztig theory of type $B$ with unequal parameters. In this paper we provide…
The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose…
We explicitly describe the isomorphism between two combinatorial realizations of Kashiwara's infinity crystal in types B and C. The first realization is in terms of marginally large tableaux and the other is in terms of Kostant partitions…
Let B(\infty) be the crystal corresponding to the nilpotent part of a quantized Kac-Moody algebra. We suggest a general way to represent B(\infty) as the set of integer solutions of a system of linear inequalities. As an application, we…
We develop a combinatorial approach to the study of semigroups and monoids with finite presentations satisfying small overlap conditions. In contrast to existing geometric methods, our approach facilitates a sequential left-right analysis…
We construct certain monoids, called tied monoids. These monoids result to be semidirect products finitely presented and commonly built from braid groups and their relatives acting on monoids of set partitions. The nature of our monoids…
We describe an explicit crystal morphism between Nakajima monomials and monomials which give a realization of crystal bases for finite dimensional irreducible modules over the quantized enveloping algebra for Lie algebras of type A and C.…
We construct finite coherent presentations of plactic monoids of type A. Such coherent presentations express a system of generators and relations for the monoid extended in a coherent way to give a family of generators of the relations…
A new method is presented for mesoscopic simulations of particle dispersions in liquid crystal solvents. It allows efficient first-principle simulations of the dispersions involving many particles with many-body interactions mediated by the…
We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms…
Let $\mathsf{mSt}_n$ be the plactic-like monoid obtained by factoring the free monoid over a finite alphabet $\mathcal{A}_n$ by the meet of the stalactic congruence and its dual. In this paper, we prove that $\mathsf{mSt}_n$ can be equipped…
The exploration of solid-solid phase transition suffers from the uncertainty of how atoms in two crystal structures match. We devised a theoretical framework to describe and classify crystal-structure matches (CSM). Such description fully…