arXiv++ Combinatorics

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 $ω$.

Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including W word hyperbolic, and X with isolated flats. We establish that when W is word hyperbolic, the limit weak order is the disjoint union of weak orders of finite Coxeter groups. We also establish, for each boundary point ξ, a natural order-preserving correspondence between infinite reduced words which "point towards" ξ, and elements of the reflection subgroup of W which fixes ξ.

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.

We use the Pieri and Giambelli formulas of arXiv:0809.4966 and arXiv:1109.6669 and the calculus of raising operators developed in arXiv:0811.2781 and arXiv:0812.0639 to prove a tableau formula for eta polynomials of arXiv:1109.6669 and the Stanley symmetric functions which correspond to Grassmannian elements of the Weyl group $W_n$ of type $D_n$. We define the skew elements of $W_n$ and exhibit a bijection between the set of reduced words for any skew element $w$ in $W_n$ and a set of certain standard typed tableaux on a skew shape $λ/μ$ associated to $w$.

A monoid $M$ generated by a set $S$ of symbols can be described as the set of equivalence classes of finite words in $S$ under some relations that specify when some contiguous sequence of symbols can be replaced by another. If $a,b\in S$, a relation of the form $ab=ba$ is said to be a \emph{commutation relation}. Words that are equivalent using only a sequence of commutation relations are said to be in the same \emph{commutation class}. We introduce certain partially ordered sets that we call \emph{word posets} that capture the structure of commutation classes in monoids. The isomorphism classes of word posets are seen to be in bijective correspondence with the commutation classes, and we show that the linear extensions of the word poset correspond bijectively to the words in the commutation class, using which we demonstrate that enumerating the words in commutation classes of monoids is #P-complete. We then apply the word posets to Coxeter groups. We show that the problem of enumerating the reduced words of elements of Coxeter groups is #P-complete. We also demonstrate a method for finding the word posets for commutation classes of reduced words of an element, then use this to find a recursive formula for the number of commutation classes of reduced words.

We prove a collection of conjectures of D. White \cite{WComm}, as well as some related conjectures of Abuzzahab-Korson-Li-Meyer \cite{AKLM} and of Reiner and White \cite{ReinerComm}, \cite{WComm}, regarding the cyclic sieving phenomenon of Reiner, Stanton, and White \cite{RSWCSP} as it applies to jeu-de-taquin promotion on rectangular tableaux. To do this, we use Kazhdan-Lusztig theory and a characterization of the dual canonical basis of $\mathbb{C}[x_{11}, ..., x_{nn}]$ due to Skandera \cite{SkanNNDCB}. Afterwards, we extend our results to analyzing the fixed points of a dihedral action on rectangular tableaux generated by promotion and evacuation, suggesting a possible sieving phenomenon for dihedral groups. Finally, we give applications of this theory to cyclic sieving phenomena involving reduced words for the long elements of hyperoctohedral groups and noncrossing partitions.

The usual way to investigate the statistical properties of finitely generated subgroups of free groups, and of finite presentations of groups, is based on the so-called word-based distribution: subgroups are generated (finite presentations are determined) by randomly chosen k-tuples of reduced words, whose maximal length is allowed to tend to infinity. In this paper we adopt a different, though equally natural point of view: we investigate the statistical properties of the same objects, but with respect to the so-called graph-based distribution, recently introduced by Bassino, Nicaud and Weil. Here, subgroups (and finite presentations) are determined by randomly chosen Stallings graphs whose number of vertices tends to infinity. Our results show that these two distributions behave quite differently from each other, shedding a new light on which properties of finitely generated subgroups can be considered frequent or rare. For example, we show that malnormal subgroups of a free group are negligible in the graph-based distribution, while they are exponentially generic in the word-based distribution. Quite surprisingly, a random finite presentation generically presents the trivial group in this new distribution, while in the classical one it is known to generically present an infinite hyperbolic group.

For finite reflection groups of types A and B, we determine the diameter of the graph whose vertices are reduced words for the longest element and whose edges are braid relations. This is deduced from a more general theorem that applies to supersolvable hyperplane arrangements.

This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words. The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infinite products which have the order structure of the natural numbers. For the latter infinite products, we show that one always has a factorization which matches an infinite Coxeter element. One of the technical tools we employ is a totally positive exchange lemma which appears to be of independent interest. This result states that the exchange lemma (in the context of Coxeter groups) is compatible with total positivity in the form of certain inequalities.

We show that the set R(w_0) of reduced expressions for the longest element in the hyperoctahedral group exhibits the cyclic sieving phenomenon. More specifically, R(w_0) possesses a natural cyclic action given by moving the first letter of a word to the end, and we show that the orbit structure of this action is encoded by the generating function for the major index on R(w_0).

We give a direct proof of the equivalence between the Giambelli and Pieri type formulas for Hall-Littlewood functions using Young's raising operators, parallel to joint work with Buch and Kresch for the Schubert classes on isotropic Grassmannians. We prove several closely related mirror identities enjoyed by the Giambelli polynomials, which lead to new recursions for Schubert classes. The raising operator approach is applied to obtain tableau formulas for Hall-Littlewood functions, theta polynomials, and related Stanley symmetric functions. Finally, we introduce the notion of a skew element w of the hyperoctahedral group and identify the set of reduced words for w with the set of standard k-tableaux on a skew Young diagram.

The $k$-Young lattice $Y^k$ is a partial order on partitions with no part larger than $k$. This weak subposet of the Young lattice originated from the study of the $k$-Schur functions(atoms) $s_λ^{(k)}$, symmetric functions that form a natural basis of the space spanned by homogeneous functions indexed by $k$-bounded partitions. The chains in the $k$-Young lattice are induced by a Pieri-type rule experimentally satisfied by the $k$-Schur functions. Here, using a natural bijection between $k$-bounded partitions and $k+1$-cores, we establish an algorithm for identifying chains in the $k$-Young lattice with certain tableaux on $k+1$ cores. This algorithm reveals that the $k$-Young lattice is isomorphic to the weak order on the quotient of the affine symmetric group $\tilde S_{k+1}$ by a maximal parabolic subgroup. From this, the conjectured $k$-Pieri rule implies that the $k$-Kostka matrix connecting the homogeneous basis $\{h_\la\}_{\la\in\CY^k}$ to $\{s_\la^{(k)}\}_{\la\in\CY^k}$ may now be obtained by counting appropriate classes of tableaux on $k+1$-cores. This suggests that the conjecturally positive $k$-Schur expansion coefficients for Macdonald polynomials (reducing to $q,t$-Kostka polynomials for large $k$) could be described by a $q,t$-statistic on these tableaux, or equivalently on reduced words for affine permutations.

Let W be an arbitrary Coxeter group of simply-laced type (possibly infinite but of finite rank), u,v be any two elements in W, and i be a reduced word (of length m) for the pair (u,v) in the Coxeter group W\times W. We associate to i a subgroup Gamma_i in GL_m(Z) generated by symplectic transvections. We prove among other things that the subgroups corresponding to different reduced words for the same pair (u,v) are conjugate to each other inside GL_m(Z). We also generalize the enumeration result of the first three authors (see AG/9802093) by showing that, under certain assumptions on u and v, the number of Gamma_i(F_2)-orbits in F_2^m is equal to 3\times 2^s, where s is the number of simple reflections that appear in a reduced decomposition for u or v and F_2 is the two-element field.