arXiv++ Combinatorics

Previous work has shown that the disarray (or displacement) of an (affine) (signed) permutation is bounded in terms of its Coxeter length. Here, we characterize the permutations for which the bound is sharp in two ways: in terms of a natural property of their reduced words, and by ``globally'' avoiding the pattern 321.

We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of $0$-Hecke algebras. We apply this framework in type $B$ to give representation-theoretic interpretations of a number of noteworthy families of type-$B$ quasisymmetric functions. Next, we construct modules of the type-$B$ $0$-Hecke algebra corresponding to type-$B$ analogues of Schur functions and introduce a type-$B$ analogue of Schur $Q$-functions; we prove that these shifted domino functions expand positively in the type-$B$ peak functions. We define a type-$B$ analogue of the $0$-Hecke--Clifford algebra, and we use this to provide representation-theoretic interpretations for both the type-$B$ peak functions and the shifted domino functions. We consider the modules of this algebra induced from type-$B$ $0$-Hecke modules constructed via ascent-compatibility and prove a general formula, in terms of type-$B$ peak functions, for the type-$B$ quasisymmetric characteristics of the restrictions of these modules.

We combinatorially characterize the number $\mathrm{cc}_2$ of conjugacy classes of involutions in any Coxeter group in terms of higher rank odd graphs. This notion naturally generalizes the concept of odd graphs, used previously to count the number of conjugacy classes of reflections. We provide uniform bounds and discuss some extremal cases, where the number $\mathrm{cc}_2$ is smallest or largest possible. Moreover, we provide formulae for $\mathrm{cc}_2$ in free and direct products as well as for some finite and affine types, besides computing $\mathrm{cc}_2$ for all triangle groups, and all affine irreducible Coxeter groups of rank up to eleven.

Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter graph. Moreover, we establish that the number of Boolean intervals of rank $k$ in the weak order of $W$ is ${i_k(Γ_W)\cdot|W|}\,/\,2^{k}$, where $Γ_W$ is the Coxeter graph of $W$ and $i_k(Γ_W)$ is the number of independent sets of size $k$ of $Γ_W$ when $W$ is finite. Specializing to $A_n$, we recover the characterizations and enumerations of Boolean intervals in the weak order of $A_n$ given in arXiv:2306.14734. We provide the analogous results for types $C_n$ and $D_n$, including the related generating functions and additional connections to well-known integer sequences.

Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.

The cluster algebra associated with an acyclic quiver has a special mutation loop $τ$, called the cluster Donaldson--Thomas (DT) transformation, related to the Auslander--Reiten translation. In this paper, we characterize the finite-tame-wild trichotomy for acyclic quivers by the sign stability of $τ$ introduced in [IK21] and its cluster stretch factor. As an application, we compute several kinds of entropies of $τ$ and other mutation loops. In particular, we show that the algebraic and categorical entropies of $τ$ are commonly given by the logarithm of the spectral radius of the Coxeter matrix associated with the quiver, and that any mutation loop of finite or tame acyclic quivers have zero algebraic entropy.

We find an explicit formula for the gamma vector in terms of the input polynomial in a way that extends it to arbitrary polynomials. More specifically, we find explicit linear combination in terms of coefficients of the input polynomial (using Catalan numbers and binomial coefficients) and an expression involving the derivative of the input polynomial. The first expression suggests connections to common Coxeter group/noncrossing partition structures in existing gamma positivity examples. In the case where the input is the $h$-polynomial of a simplicial complex, this gives an interpretation of the gamma vector as a measure of differences in local and global contributions. We also apply them to connect signs/inequalities of (shifts of) the gamma vector to upper/lower bound conditions on coefficients of the input polynomial. Finally, we make use of the shape of the sums used to make these estimates and connections with intersection numbers to relate these properties of the gamma vector to algebraic structures (e.g. characteristic classes involved in existing log concavity and Schur positivity properties).

The $λ$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. Their number and their properties are closely linked to the structure and the cardinality of the chosen set. The main objective of this text is to obtain an explicit formula giving the number of $λ$-quiddities of odd size, and a lower and upper bound for the number of $λ$-quiddities of even size, over the rings $\mathbb{Z}/2^{m}\mathbb{Z}$ ($m \geq 2$). We also give explicit formulas concerning the number of $λ$-quiddities of size $n$ over $\mathbb{Z}/8\mathbb{Z}$.

The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. This leads to an algorithmic construction of a reduced expression for any coset. In types $A$ and $B$ we prove that the combinatorics of compositions of atomic cosets matches the combinatorics of ordinary expressions in a smaller group. In other types the combinatorics is new, as explored in a sequel by Ko.

The polynomial of the major index ${\rm maj}_W (σ)$ over the subset $T$ of the Coxeter group $W$ is called the Mahonian polynomial over $T$, where ${\rm maj}_W (σ)$ is a Mahonian statistic of an element $σ\in T$, whereas the polynomial of the major index ${\rm maj}_W (σ)$ with the sign $(-1)^{\ell_W(σ)}$ over the subset $T$ is referred to as the signed Mahonian polynomial over $T$, where ${\ell_W(σ)}$ is the length of $σ\in T$. Gessel, Wachs, and Chow established the formulas for the Mahonian polynomials over the sets of derangements in the symmetric group $S_n$ and the hyperoctahedral group $B_n$. By extending Wachs' approach and employing a refinement of Stanley's shuffle theorem established in our recent paper, we derive the formula for the Mahonian polynomials over the set of derangements in the even-signed permutation group $D_n$. This completes a picture which is now known for all the classical Weyl groups. Gessel-Simion, Adin-Gessel-Roichman, and Biagioli previously established formulas for the signed Mahonian polynomials over the classical Weyl groups. Building upon their formulas, we derive the formulas for the signed Mahonian polynomials over the set of derangements in classical Weyl groups. As applications of the formulas for the (signed) Mahonian polynomials over the sets of derangements in the classical Weyl groups, we obtain enumerative formulas of the number of derangements in classical Weyl groups with even lengths.

We propose a generalization of Haiman's conjecture on the diagonal coinvariant rings of real reflection groups to the context of irreducible quaternionic reflection groups (also known as symplectic reflection groups). For a reflection group $W$ acting on a quaternionic vector space $V$, by regarding $V$ as a complex vector space we consider the scheme-theoretic fiber over zero of the quotient map $π:V \to V/W$. For $W$ an irreducible reflection group of (quaternionic) rank at least $6$, we show that the ring of functions on this fiber admits a $(g+1)^n$-dimensional quotient arising from an irreducible representation of a symplectic reflection algebra, where $g=2N/n$ with $N$ the number of reflections in $W$ and $n=\mathrm{dim}_\mathbf{H}(V)$, and we conjecture that this holds in general. We observe that in fact the degree of the zero fiber is precisely $g+1$ for the rank one groups (corresponding to the Kleinian singularities). In an appendix, we give a proof that three variants of the Coxeter number, including $g$, are integers.

A tournament is an orientation of a graph. Vertices are players and edges are games, directed away from the winner. Kannan, Tetali and Vempala and McShine showed that tournaments with given score sequence can be rapidly sampled, via simple random walks on the interchange graphs of Brualdi and Li. These graphs are generated by the cyclically directed triangle, in the sense that traversing an edge corresponds to the reversal of such a triangle in a tournament. We study Coxeter tournaments on Zaslavsky's signed graphs. These tournaments involve collaborative and solitaire games, as well as the usual competitive games. The interchange graphs are richer in complexity, as a variety of other generators are involved. We prove rapid mixing by an intricate application of Bubley and Dyer's method of path coupling, using a delicate re-weighting of the graph metric. Geometric connections with the Coxeter permutahedra introduced by Ardila, Castillo, Eur and Postnikov are discussed.

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

The existence of acyclic complete matchings on the face poset of a regular CW complex implies that the underlying topological space of the CW complex is contractible by discrete Morse theory. In this paper, we construct explicitly acyclic complete matchings on any non-trivial Bruhat interval $[v,w]$ based on any reflection order on the Coxeter group $W$. We then apply this combinatorial result to regular CW complexes arising from the theory of total positivity. As an application, we show that the totally nonnegative Springer fibers are contractible. This verifies a conjecture of Lusztig. As another application, we show that the totally nonnegative fibers of the natural projection from full flag varieties to partial flag varieties are contractible. This leads to a much simplified proof of the regularity property on totally nonnegative partial flag varieties compared to the proofs by Galashin-Karp-Lam and in our earlier work.

Reifegerste and independently, Petersen and Tenner studied a statistic $\mathrm{drops}()$ on permutations in $\mathfrak{S}_n$. Two other studied statistics on $\mathfrak{S}_n$ are $\mathrm{depth}$ and $\mathrm{exc}$. Using descents in ${\it canonical\ reduced\ words}$ of elements in $\mathfrak{S}_n$, we give an involution $f_A: \mathfrak{S}_n \mapsto \mathfrak{S}_n$ that leads to a neat formula for the signed trivariate enumerator of $\mathrm{drops},\mathrm{depth}, \mathrm{exc}$ in $\mathfrak{S}_n$. This gives a simple formula for the signed univariate drops enumerator in $\mathfrak{S}_n$. For the type-B Coxeter group $\mathfrak{B}_n$ as well, using similar techniques, we show analogous results. For the type D Coxeter group, we again get analogous results, but our proof is inductive. Under the famous Foata-Zeilberger bijection $φ_{FZ}$ which takes permutations to restricted Laguerre histories, we show that permutations $π$ and $f_A(π)$ map to the same Motzkin path, but have different history components. Using the Foata-Zeilberger bijection, we also get a continued fraction for the generating function enumerating the pair of statistics $\mathrm{drops}$ and $\mathrm{MAD}$. Graham and Diaconis determined the mean and the variance of the Spearman metric of disarray $D(π)$ when one samples $π$ from $\mathfrak{S}_n$ at random. As an application of our results, we get the mean and variance of the statistic $\mathrm{drops}(π)$ when we sample $π$ from $\mathcal{A}_n$ at random.

Let $W$ be a group endowed with a finite set $S$ of generators. A representation $(V,ρ)$ of $W$ is called a reflection representation of $(W,S)$ if $ρ(s)$ is a (generalized) reflection on $V$ for each generator $s \in S$. In this paper, we prove that for any irreducible reflection representation $V$, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots, \dim V$, are irreducible $W$-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic $W$-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.

We use Kostant and Kumar's twisted group ring and its dual to formulate and prove a generalization of Nakada's colored hook formula for any Coxeter groups. For dominant minuscule elements of the Weyl group of a Kac--Moody algebra, this provides another short proof of Nakada's colored hook formula.

In this paper, we give the enumeration of z-classes in finite Coxeter groups.

We introduce the class of linearly shellable pure simplicial complexes. The characterizing property is the existence of a labeling of their vertices such that all linear extensions of the Bruhat order on the set of facets are shelling orders. Coxeter complexes of weak intervals and lower Bruhat intervals of parabolic right quotients, as type-selected Coxeter complexes of lower Bruhat intervals of parabolic left quotients, are proved to be linearly shellable. We also introduce the notion of linear strong shellability.

For affine Coxeter groups of affine types $\tilde D$ and $\tilde B$, we model the interval $[1,c]_T$ in the absolute order by symmetric noncrossing partitions of an annulus with one or two double points. In type $\tilde B$ (and \emph{almost} in type $\tilde D$), the diagrams also model the larger lattice defined by McCammond and Sulway.