arXiv++ Combinatorics

Let $W$ be an affine Coxeter group of type $\widetilde{A}_n$, that is, the affine symmetric group $\widetilde{S}_N$ with $N=n+1$, let $T$ be its set of reflections, and let $\mathrm{Red}_T(w)$ be the set of reduced reflection factorizations of an element $w\in W$. The braid group acts on $\mathrm{Red}_T(w)$ by the Hurwitz action. For finite Coxeter groups it is known exactly when this action is transitive, namely precisely for the parabolic quasi-Coxeter elements. We address this problem for the affine type $\widetilde{A}_n$ by determining all orbits of $\mathrm{Red}_T(w)$.

In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.

In a previous work, we defined the complex of cluster parking functions. On one side, they encode the type-refined enumeration of faces of the cluster complex, and on the other side, they have a reduced homology which is isomorphic to (ungraded) diagonal coinvariants. The goal of this work is to take into account the underlying dihedral symmetry. We thus have a product of a dihedral group and a symmetric group (there is a precise conjecture in the case of other finite Coxeter groups, but we focus on symmetric groups because of technicalities about diagonal coinvariants beyond this case). Under the action of the product group, the reduced homology of cluster parking functions is conjecturally isomorphic to diagonal coinvariants up to tensoring by a sign character of the dihedral group. This isomorphism can be reformulated as a dihedral sieving phenomenon. The main technical contribution is the definition of the dihedral automorphism group of cluster parking functions, and we discuss various features of the reduced homology character and its conjectural connection with diagonal coinvariants.

We investigate the realizations of Coxeter permutahedra which are also Coxeter matroid polytopes; these are polytopes of the form $\mathrm{conv}(W \cdot \mathbf{a})$ where $W$ is a finite Coxeter group acting on $\mathbb{R}^n$ and $\mathbf{a}$ is generic. Our main focus is how the geometric properties of $\mathrm{conv}(W \cdot \mathbf{a})$ change as $\mathbf{a}$ changes, with particular attention to persistent simplices, triangulations, and subdivisions.

Dyer (1991) proved that, for each fixed length $k$, only finitely many isomorphism types of Bruhat intervals occur in finite Coxeter groups. In this short paper, we prove that this result holds also for affine Coxeter groups, and moreover that this characterizes the affine groups among all infinite Coxeter groups. We also show that the coefficients of $q$ in the Kazhdan-Lusztig polynomials of a Coxeter group are bounded if and only if the group is finite or affine.

Condorcet domains are subsets of permutations that ensure pairwise majority voting yields acyclic outcomes, and they form an active area of research at the intersection of social choice theory and combinatorics. In this paper, we extend the theory of Condorcet domains to the broader setting of arbitrary finite Coxeter groups. The core contribution of our approach is the introduction of Condorcet root posets, defined on the chosen root systems. Notably, we establish a natural bijection between closed Condorcet domains and Condorcet root posets, which facilitates the study of Condorcet domains. Using this correspondence, we extend the median graph representation of closed Condorcet domains to arbitrary finite Coxeter groups, demonstrating that these domains can be characterized by the skeletons of their associated Condorcet root posets. These results are novel even in type $A$. Furthermore, these posets give a unified language that efficiently captures a wide range of desirable properties of Condorcet domains, such as being maximal, connected, peak-pit, and of tiling type. Using this framework, we strengthen and generalize several classical results: we establish that a maximal Condorcet domain is connected if and only if it is peak-pit; we prove that the tiling-type property is equivalent to the combination of being maximal and connected, and having maximal width; and we show that strictly positive voting profiles on connected Condorcet domains yield outcomes with only simple ties.

This paper generalizes in the affine symmetric group the notion of Coxeter sortable (or c-sortable for short) elements, as well as the classical bijection between c-sortable elements and c-noncrossing partitions defined by Reading in finite Coxeter groups. The generalization to the affine symmetric group of the c-sortable elements is achieved by using biclosed sets of reflections. Using recent works from Barkley and Speyer, these biclosed sets admit a sort of "one-line notation" called a TITO on $\mathbb{Z}$ (translation-invariant total order on $\mathbb{Z}$) that coincides with the usual one-line notation in the case of an affine permutation. We characterize the c-sortable elements of the affine symmetric group by pattern avoidance on their one-line notation, mirroring the well-known characterizations of c-sortable elements in the classical finite types. Based on this criterion, we then define the c-sortable biclosed sets, generalizing the c-sortable elements, as biclosed sets such that their TITOs on $\mathbb{Z}$ avoid certain patterns. We also build a bijection from our set of c-sortable biclosed sets to the set of c-noncrossing partitions using various combinatorial objects and their one-to-one correspondences. First, the TITOs, in bijection with the biclosed sets of the affine symmetric group using results from Barkley and Speyer. Second, the c-noncrossing partitions of an annulus, in bijection with the c-noncrossing partitions of the affine symmetric group, using results from Digne and Reading. Finally, the cyclic noncrossing arc diagrams, defined by Barkley, for which we exhibit a subset in bijection with both the set of c-sortable biclosed sets and the set of c-noncrossing partitions.

For each finite Coxeter group $W$ and each standard Coxeter element of $W$, we construct a triangulation of the $W$-permutahedron. For particular realizations of the $W$-permutahedron, we show that this is a regular triangulation induced by a height function coming from the theory of total linear stability for Dynkin quivers. We also explore several notable combinatorial properties of these triangulations that relate the Bruhat order, the noncrossing partition lattice, and Cambrian congruences. Each triangulation gives an explicit mechanism for relating two different presentations of the corresponding braid group (the standard Artin presentation and Bessis's dual presentation). This is a step toward uniformly proving conjectural simple, explicit, and type-uniform presentations for the corresponding pure braid group.

Motivated by the analogy with the Coxeter complex on one side, and parking functions on the other side, we study the poset of parabolic cosets in a finite Coxeter group. We show that this poset is Cohen-Macaulay, and get an explicit formula for the character of its (unique) nonzero homology group in terms of the Möbius function of the intersection lattice. This homology character becomes a positive element of the parabolic Burnside ring (in its natural basis) after tensoring with the sign character. The coefficients of this character essentially encode the colored $h$-vector of the positive chamber complex (following Bastidas, Hohlweg, and Saliola, this complex is defined by taking Weyl chambers that lie on the positive side of a generic hyperplane). Roughly speaking, tensoring by the sign character on one side corresponds to the transformation going from the $f$-vector to the $h$-vector on the other side.

The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (of type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$. We also extend the result to other finite Coxeter groups.

The Cambrian lattices, introduced in (Reading, 2006), generalize the Tamari lattice to any choice of Coxeter element in any finite Coxeter group. They are further generalized to the m-Cambrian lattices (Stump, Thomas, Williams, 2015). However, their definitions do not provide a practical setup to work with combinatorially. In this paper, we provide a new equivalent definition of the m-Cambrian lattices on simple objects called m-noncrossing partitions, using a simple and effective comparison criterion. It is obtained by showing that each interval has a unique maximal chain that is c-increasing, which is computed by a greedy algorithm. Our proof is uniform, involving all Coxeter groups and all choices of Coxeter element at the same time. This work has been accepted as an extended abstract for the FPSAC 2025 conference. A long version of this work will be available later.

Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump. More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.

M. Kapranov and V. Schechtman introduced the contingency metamatrix for a finite Coxeter group and conjectured that the contingency metamatrix is totally positive. For the Coxeter groups of type $A$, this conjecture has been proved by P. Etingof. In this article, we prove this conjecture for the Coxeter groups of type $B$ and exceptional types.

Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic.

We introduce Lehmer codes, with immersions in the Bruhat order, for several finite Coxeter groups, including all the classical Weyl groups. This allows to associate to each lower Bruhat interval of these groups a multicomplex whose f-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are h-polynomials of vertex-decomposable simplicial complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.

In this article, we establish some new combinatorial properties of elements in Coxeter groups. Firstly, we generalise Reading's theorem on the canonical join representations of elements in finite Coxeter groups to all finitely generated Coxeter groups. Secondly, we show that for any element $x$ in a Coxeter group $W$ and root $β$ in its inversion set $Φ(x)$, the set of elements $y \in W$ satisfying $Φ(x) \cap Φ(y) = \{ β\} $ is convex in the weak order and admits a unique minimal representative. This is strongly connected to determining the cone type of elements of $W$ and leads to efficient computational methods to determine whether arbitrary elements of $W$ have the same cone type.

Weak Bruhat interval modules of the $0$-Hecke algebra in type $A$ provide a uniform approach to studying modules associated with noteworthy families of quasisymmetric functions. Recently this kind of modules were generalized from type $A$ to all Coxeter types. In this paper, we give an equivalent description, in a type-independent manner, when two left weak Bruhat intervals in a Coxeter group are descent-preserving isomorphic. As an application, we classify all left weak Bruhat interval modules of $0$-Hecke algebras up to isomorphism, and thereby answer an open question and resolve in the affirmative a conjecture of Jung, Kim, Lee, and Oh. Additionally, for finite Coxeter groups we show that the set of minimum (or maximum) elements of all left weak Bruhat intervals in each descent-preserving isomorphism class forms an interval under the right weak Bruhat order.

Complex reflection groups comprise a generalization of Weyl groups of semisimple Lie algebras, and even more generally of finite Coxeter groups. They have been heavily studied since their introduction and complete classification in the 1950s by Shephard and Todd, due to their many applications to combinatorics, representation theory, knot theory, and mathematical physics, to name a few examples. For each given complex reflection group G, we explain a new recipe for producing an integrable system of linear differential equations whose differential Galois group is precisely G. We exhibit these systems explicitly for many (low-rank) irreducible complex reflection groups in the Shephard-Todd classification.

The deletion order of a finitely generated Coxeter group W is a total order on the elements which, as is proved, is a refinement of the Bruhat order. This order is applied in [8] to construct Elnitsky tilings for any finite Coxeter group. Employing the deletion order, a corresponding normal form of an element w of W is defined which is shown to be the same as the normal form of w using right to left lexicographic ordering. Further results on the deletion order are obtained relating to the property of being Artinian and, when W is finite, its interplay with the longest element of W.

The Mallows distribution is a non-uniform distribution, first introduced over permutations to study non-ranked data, in which permutations are weighted according to their length. It can be generalized to any Coxeter group, and we study the distribution of $\text{des}(w) + \text{des}(w^{-1})$ where $w$ is a Mallows distributed element of a finite irreducible Coxeter group. We show that the asymptotic behavior of this statistic is Guassian. The proof uses a size-bias coupling with Stein's method.