arXiv++ Combinatorics

Given a skew diagram $γ/λ$, we determine a set of lower and upper bounds that a partition $μ$ must satisfy for Littlewood-Richards coefficients $c^γ_{λ,μ}>0$. Our algorithm depends on the characterization of $c^γ_{λ,μ}$ as the number of Littlewood-Richardson tableau of shape $γ/λ$ and content $μ$ and uses the (generalized) dominance order on partitions as the main ingredient.

We introduce an algorithm to describe Pieri's Rule for multiplication of Schubert polynomials. The algorithm uses tower diagrams introduced by the authors and another new algorithm that describes Monk's Rule. Our result is different from the well-known descriptions (and proofs) of the rule by Bergeron-Billey and Kogan-Kumar and uses Sottile's version of Pieri's Rule.

We prove that the well-known condition of being a balanced labeling can be characterized in terms of the sliding algorithm on tower diagrams. The characterization involves a generalization of authors' Rothification algorithm. Using the characterization, we obtain descriptions of Schubert polynomials and Stanley symmetric functions.

We introduce a partial order on the set of all reduced words of a given permutation $ω$, called \emph{directed-braid poset} of $ω$. This poset enables us to produce two algorithms: One is a sorting algorithm applied on any reduced word of $ω$ and aims to obtained the natural word (lexicographically largest reduced word); the other one is a generation algorithm applied on the natural word and aims to obtained the set of all reduced words of $ω$.

We introduce a new combinatorial object called tower diagrams and prove fundamental properties of these objects. We also introduce an algorithm that allows us to slide words to tower diagrams. We show that the algorithm is well-defined only for reduced words which makes the algorithm a test for reducibility. Using the algorithm, a bijection between tower diagrams and finite permutations is obtained and it is shown that this bijection specializes to a bijection between certain labellings of a given tower diagram and reduced expressions of the corresponding permutation.