arXiv++ Combinatorics

For any Coxeter system $(W,S)$ of rank $n$, we introduce an abstract boolean complex (simplicial poset) of dimension $2n-1$ that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples $(I,w,J)$, where $I$ and $J$ are subsets of the set $S$ of simple generators, and $w$ is a minimal length representative for the parabolic double coset $W_I w W_J$. There is exactly one maximal face for each element of the group $W$. The complex is shellable and thin, which implies the complex is a sphere for the finite Coxeter groups. In this case, a natural refinement of the $h$-polynomial is given by the "two-sided" $W$-Eulerian polynomial, i.e., the generating function for the joint distribution of left and right descents in $W$.

We define a new statistic on the even hyperoctahedral groups which is a natural analogue of the odd length statistic recently defined and studied on Coxeter groups of types $A$ and $B$. We compute the signed (by length) generating function of this statistic over the whole group and over its maximal and some other quotients and show that it always factors nicely. We also present some conjectures.

In 2006 Sommers and Tymoczko defined so called arrangements of ideal type A_I stemming from ideals I in the set of positive roots of a reduced root system. They showed in a case by case argument that A_I is free if the root system is of classical type or G_2 and conjectured that this is also the case for all types. This was established only recently in a uniform manner by Abe, Barakat, Cuntz, Hoge and Terao. The set of non-zero exponents of the free arrangement A_I is given by the dual of the height partition of the roots in the complement of I in the set of positive roots, generalizing the Shapiro-Steinberg-Kostant theorem. Our first aim in this paper is to investigate a stronger freeness property of the A_I. We show that all A_I are inductively free, with the possible exception of some cases in type E_8. In the same paper, Sommers and Tymoczko define a Poincaré polynomial I(t) associated with each ideal I which generalizes the Poincaré polynomial W(t) for the underlying Weyl group W. Solomon showed that W(t) satisfies a product decomposition depending on the exponents of W for any Coxeter group W. Sommers and Tymoczko showed in a case by case analysis in type A, B and C, and some small rank exceptional types that a similar factorization property holds for the Poincaré polynomials I(t) generalizing the formula of Solomon for W(t). They conjectured that their multiplicative formula for I(t) holds in all types. Here we show that this conjecture holds inductively in almost all instances.

We pose counting problems related to the various settings for Coxeter-Catalan combinatorics (noncrossing, nonnesting, clusters, Cambrian). Each problem is to count "twin" pairs of objects from a corresponding problem in Coxeter-Catalan combinatorics. We show that the problems all have the same answer, and, for a given finite Coxeter group W, we call the common solution to these problems the W-biCatalan number. We compute the W-biCatalan number for all W and take the first steps in the study of Coxeter-biCatalan combinatorics.

In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length.

In [E. Tsukerman and L. Williams, {\em Bruhat Interval Polytopes}, Advances in Mathematics, 285 (2015), 766-810] it is shown that every Bruhat interval of the symmetric group satisfies the so-called generalized lifting property. In this paper we show that a Coxeter group satisfies this property if and only if it is finite and simply-laced.

The reduced expressions for a given element $w$ of a Coxeter group $(W, S)$ can be regarded as the vertices of a directed graph $\mathcal{R}(w)$; its arcs correspond to the braid moves. Specifically, an arc goes from a reduced expression $a$ to a reduced expression $b$ when $b$ is obtained from $a$ by replacing a contiguous subword of the form $stst...$ (for some distinct $s, t$ in $S$) by $tsts...$ (where both subwords have length $m_{s, t}$, the order of $st$ in $W$). We prove a strong bipartiteness-type result for this graph $\mathcal{R}(w)$: Not only does every cycle of $\mathcal{R}(w)$ have even length; actually, the arcs of $\mathcal{R}(w)$ can be colored (with colors corresponding to the type of braid moves used), and to every color $c$ corresponds an "opposite" color $c^{\operatorname{op}}$ (corresponding to the reverses of the braid moves with color $c$), and for any color $c$, the number of arcs in any given cycle of $\mathcal{R}(w)$ having color in $\left\{c, c^{\operatorname{op}}\right\}$ is even. This is a generalization and strengthening of a 2014 result by Bergeron, Ceballos and Labbé. We state further conjectural extensions.

Chapoton has observed a simple product formula for the number of reflections in a finite Coxeter group that have full support. We give a uniform proof of his formula for Weyl groups. We furthermore refine his formula by the length of the roots.

We investigate a poset structure that extends the weak order on a finite Coxeter group $W$ to the set of all faces of the permutahedron of $W$. We call this order the facial weak order. We first provide two alternative characterizations of this poset: a first one, geometric, that generalizes the notion of inversion sets of roots, and a second one, combinatorial, that uses comparisons of the minimal and maximal length representatives of the cosets. These characterizations are then used to show that the facial weak order is in fact a lattice, generalizing a well-known result of A. Björner for the classical weak order. Finally, we show that any lattice congruence of the classical weak order induces a lattice congruence of the facial weak order, and we give a geometric interpretation of their classes. As application, we describe the facial boolean lattice on the faces of the cube and the facial Cambrian lattice on the faces of the corresponding generalized associahedron.

We define and study generalized nil-Coxeter algebras associated to Coxeter groups. Motivated by a question of Coxeter (1957), we construct the first examples of such finite-dimensional algebras that are not the 'usual' nil-Coxeter algebras: a novel 2-parameter type $A$ family that we call $NC_A(n,d)$. We explore several combinatorial properties of $NC_A(n,d)$, including its Coxeter word basis, length function, and Hilbert-Poincare series, and show that the corresponding generalized Coxeter group is not a flat deformation of $NC_A(n,d)$. These algebras yield symmetric semigroup module categories that are necessarily not monoidal; we write down their Tannaka-Krein duality. Further motivated by the Broue-Malle-Rouquier (BMR) freeness conjecture [J. reine angew. math. 1998], we define generalized nil-Coxeter algebras over all discrete real or complex reflection groups $W$, finite or infinite. We provide a complete classification of all such algebras that are finite-dimensional. Remarkably, these turn out to be either the usual nil-Coxeter algebras, or the algebras $NC_A(n,d)$. This proves as a special case - and strengthens - the lack of equidimensional nil-Coxeter analogues for finite complex reflection groups. In particular, generic Hecke algebras are not flat deformations of $NC_W$ for $W$ complex.

The binomial coefficients and Catalan triangle numbers appear as weight multiplicities of the finite-dimensional simple Lie algebras and affine Kac--Moody algebras. We prove that any binomial coefficient can be written as weighted sums along rows of the Catalan triangle. The coefficients in the sums form a triangular array, which we call the alternating Jacobsthal triangle. We study various subsequences of the entries of the alternating Jacobsthal triangle and show that they arise in a variety of combinatorial constructions. The generating functions of these sequences enable us to define their k-analogue of q-deformation. We show that this deformation also gives rise to interesting combinatorial sequences. The starting point of this work is certain identities in the study of Khovanov--Lauda--Rouquier algebras and fully commutative elements of a Coxeter group.

Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathcal{B}_*(x,y) \subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets $\hat{\mathcal{R}}_*(x,y)$ and $\mathcal{A}_*(x,y) \subset \mathcal{B}_*(x,y)$. For finite Coxeter groups we prove that $\mathcal{A}_*(1,y)$ consists of exactly the minimal-length elements $w \in W$ such that $w^* y \leq w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets $\mathcal{A}_*(x,y)$ for all involutions $x,y \in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.

We present new efficient data structures for elements of Coxeter groups of type $A_m$ and their associated Iwahori--Hecke algebras $H(A_m)$. Usually, elements of $H(A_m)$ are represented as simple coefficient list of length $M = (m+1)!$ with respect to the standard basis, indexed by the elements of the Coxeter group. In the new data structure, elements of $H(A_m)$ are represented as nested coefficient lists. While the cost of addition is the same in both data structures, the new data structure leads to a huge improvement in the cost of multiplication in~$H(A_m)$.

We provide a necessary and sufficient condition on an element of a finite Coxeter group to ensure the transitivity of the Hurwitz action on its set of reduced decompositions into products of reflections. We show that this action is transitive if and only if the element is a parabolic quasi-Coxeter element, that is, if and only if it has a reduced decomposition into a product of reflections that generate a parabolic subgroup.

In a Coxeter group $W$, an element is fully commutative if any two of its reduced expressions can be linked by a series of commutation of adjacent letters. These elements have particularly nice combinatorial properties, and also index a basis of the generalized Temperley--Lieb algebra attached to $W$. We give two results about the sequence counting these elements with respect to their Coxeter length. First we prove that it always satisfies a linear recurrence with constant coefficients, by showing that reduced expressions of fully commutative elements form a regular language. Then we classify those groups $W$ for which the sequence is ultimately periodic, extending a result of Stembridge. These results are applied to the growth of generalized Temperley--Lieb algebras.

Handelman (J. Operator Theory, 1981) proved that if the spectral radius of a matrix $A$ is a simple root of the characteristic polynomial and is strictly greater than the modulus of any other root, then $A$ is conjugate to a matrix $Z$ some power of which is positive. In this article, we provide an explicit conjugate matrix $Z$, and prove that the spectral radius of $A$ is a simple and dominant eigenvalue of $A$ if and only if $Z$ is eventually positive. For $n\times n$ real matrices with each row-sum equal to $1$, this criterion can be declined into checking that each entry of some power is strictly larger than the average of the entries of the same column minus $\frac{1}{n}$. We apply the criterion to elements of irreducible infinite nonaffine Coxeter groups to provide evidences for the dominance of the spectral radius, which is still unknown.

We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals. New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it.

In this article, we introduce and investigate a class of finite deterministic automata that all recognize the language of reduced words of a finitely generated Coxeter system (W,S). The definition of these automata is straightforward as it only requires the notion of weak order on (W,S) and the related notion of Garside shadows in (W,S), an analog of the notion of a Garside family. Then we discuss the relations between this class of automata and the canonical automaton built from Brink and Howlett's small roots. We end this article by providing partial positive answers to two conjectures: (1) the automata associated to the smallest Garside shadow is minimal; (2) the canonical automaton is minimal if and only if the support of all small roots is spherical, i.e., the corresponding root system is finite.

We define a tower of injections of $\tilde{C}$-type Coxeter groups $W(\tilde C_{n})$ for $n\geq 1$. We define a tower of Hecke algebras and we use the faithfulness at the Coxeter level to show that this last tower is a tower of injections. Let $W^c(\tilde C_{n})$ be the set of fully commutative elements in $W(\tilde C_{n})$, we classify the elements of $W^c(\tilde C_{n})$ and give a normal form for them. We use this normal form to define two injections from $W^c(\tilde C_{n-1})$ into $W^c(\tilde C_{n})$. We then define the tower of affine Temperley-Lieb algebras of type $\tilde{C }$ and use the injections above to prove the faithfulness of this tower.

The Temperley--Lieb algebra is a finite dimensional associative algebra that arose in the context of statistical mechanics and occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. It is often realized in terms of a certain diagram algebra, where every diagram can be written as a product of "simple diagrams." These factorizations correspond precisely to factorizations of the so-called fully commutative elements of the Coxeter group that index a particular basis. Given a reduced factorization of a fully commutative element, it is straightforward to construct the corresponding diagram. On the other hand, it is generally difficult to reconstruct the factorization given an arbitrary diagram. We present an efficient algorithm for obtaining a reduced factorization for a given diagram.