arXiv++ Combinatorics

Let $r$ be a positive integer and let $G_n$ be the reflection group of $n \times n$ monomial matrices whose entries are $r^{th}$ complex roots of unity and let $k \leq n$. We define and study two new graded quotients $R_{n,k}$ and $S_{n,k}$ of the polynomial ring $\mathbb{C}[x_1, \dots, x_n]$ in $n$ variables. When $k = n$, both of these quotients coincide with the classical coinvariant algebra attached to $G_n$. The algebraic properties of our quotients are governed by the combinatorial properties of $k$-dimensional faces in the Coxeter complex attached to $G_n$ (in the case of $R_{n,k}$) and $r$-colored ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks (in the case of $S_{n,k}$). Our work generalizes a construction of Haglund, Rhoades, and Shimozono from the symmetric group $\mathfrak{S}_n$ to the more general wreath products $G_n$.

This paper explores the orbit structure and homomesy (constant averages over orbits) properties of certain actions of toggle groups on the collection of independent sets of a path graph. In particular we prove a generalization of a homomesy conjecture of Propp that for the action of a "Coxeter element" of vertex toggles, the difference of indicator functions of symmetrically-located vertices is 0-mesic. Then we use our analysis to show facts about orbit sizes that are easy to conjecture but nontrivial to prove. Besides its intrinsic interest, this particular combinatorial dynamical system is valuable in providing an interesting example of (a) homomesy in a context where large orbit sizes make a cyclic sieving phenomenon unlikely to exist, (b) the use of Coxeter theory to greatly generalize the set of actions for which results hold, and (c) the usefulness of Striker's notion of generalized toggle groups.

Let $(W,R)$ be an arbitrary Coxeter system. We determine the number of elements of $W$ that have a unique reduced expression.

An element w of a Coxeter group W is said to be fully commutative, if any reduced expression of w can be obtained from any other by transposing adjacent pairs of generators. These elements were described in 1996 by Stembridge in the case of finite irreducible groups, and more recently by Biagioli, Jouhet and Nadeau (BJN) in the affine cases. We focus here on the length enumeration of these elements. Using a recursive description, BJN established for the associated generating functions systems of non-linear q-equations. Here, we show that an alternative recursive description leads to explicit expressions for these generating functions.

In this paper, we study the generating function of cyclically fully commutative elements in Coxeter groups, which are elements such that any cyclic shift of theirs reduced decompositions remains a reduced expression of a fully commutative element. By designing a finite state automaton recognizing reduced expressions of cyclically fully commutative elements, we can show that the aforementioned generating series is always rational.

Special matchings are purely combinatorial objects associated with a partially ordered set, which have applications in Coxeter group theory. We provide an explicit characterization and a complete classification of all special matchings of any lower Bruhat interval. The results hold in any arbitrary Coxeter group and have also applications in the study of the corresponding parabolic Kazhdan--Lusztig polynomials.

Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.

We prove that the pair of statistics (des,maj) on multiset permutations is equidistributed with the pair (stc,inv) on certain quotients of the symmetric group. We define the analogue of the statistic stc on multiset permutations, whose joint distribution with the inversions equals that of (des,maj). We extend the definition of the statistic stc to hyperoctahedral and even hyperoctahedral groups. Such functions, together with the Coxeter length, are equidistributed, respectively, with (ndes,nmaj) and (ddes,dmaj).

Introduced by Solomon in his 1976 paper, the descent algebra of a finite Coxeter group received significant attention over the past decades. As proved by Gessel, in the case of the symmetric group its structure constants give the comultiplication table for the fundamental basis of quasisymmetric functions. We show that this property actually implies several well known relations linked to the Robinson-Schensted-Knuth correspondence and some of its generalisations. We further use the theory of type B quasisymmetric functions introduced by Chow to provide analogue results when the Coxeter group is the hyperoctahedral group.

The group $G(m,1,n)$ consists of $n$-by-$n$ monomial matrices whose entries are $m$th roots of unity. It is generated by $n$ complex reflections acting on $\mathbf{C}^n$. The reflecting hyperplanes give rise to a (hyperplane) arrangement $\mathcal{G} \subset \mathbf{C}^n$. The internal zonotopal algebra of an arrangement is a finite dimensional algebra first studied by Holtz and Ron. Its dimension is the number of bases of the associated matroid with zero internal activity. In this paper we study the structure of the internal zonotopal algebra of the Gale dual of the reflection arrangement of $G(m,1,n)$, as a representation of this group. Our main result is a formula for the top degree component as an induced character from the cyclic group generated by a Coxeter element. We also provide results on representation stability, a connection to the Whitehouse representation in type~A, and an analog of decreasing trees in type~B.

We show that for the simple random walk on a Coxeter group generated by the Coxeter generators and identity, the likelihoods of being at any pair of states respect the weak Bruhat order. That is, after any number of steps, the most likely element is the identity, probabilities decrease along any geodesic from the identity, and the least likely element is the longest element, if the group is finite. The result remains true when different generators have different probabilities, so long as the identity is at least as likely as any other.

Originally studied by Conway and Coxeter, friezes appeared in various recreational mathematics publications in the 1970s. More recently, in 2015, Baur, Parsons, and Tschabold constructed periodic infinite friezes and related them to matching numbers in the once-punctured disk and annulus. In this paper, we study such infinite friezes with an eye towards cluster algebras of type D and affine A, respectively. By examining infinite friezes with Laurent polynomial entries, we discover new symmetries and formulas relating the entries of this frieze to one another. Lastly, we also present a correspondence between Broline, Crowe and Isaacs's classical matching tuples and combinatorial interpretations of elements of cluster algebras from surfaces.

In this article, following [A.~Daneshgar, M.~Hejrati, M.~Madani, {\it On cylindrical graph construction and its applications}, EJC, 23(1) p1.29, 45, 2016] we study the spectra of symmetric cylindrical constructs, generalizing some well-known results on the spectra of a variety of graph products, graph subdivisions by V.~B.~Mnuhin (1980) and the spectra of GI-graphs (see [M.~Conder, T.~Pisanski, and A.~{Ž}itnik, {\it GI-graphs: a new class of graphs with many symmetries}, 40, 209--231 (2014)] and references therein). In particular, we show that for bsymmetric cylinders with no internal vertex the spectra is actually equal to the eigenvalues of a perturbation of the base, and using this, we study the spectra of sparsifications of complete graphs by tree-cylinders. We also, show that a specific version of this construction gives rise to a class of highly symmetric graphs as a generalization of Petersen and Coxeter graphs.

Let $(W,S)$ be a Coxeter system and $\ast$ be an automorphism of $W$ with order $\leq 2$ such that $s^{\ast}\in S$ for any $s\in S$. Let $I_{\ast}$ be the set of twisted involutions relative to $\ast$ in $W$. In this paper we consider the case when $\ast=\text{id}$ and study the braid $I_\ast$-transformations between the reduced $I_\ast$-expressions of involutions. If $W$ is the Weyl group of type $B_n$ or $D_n$, we explicitly describe a finite set of basic braid $I_\ast$-transformations for all $n$ simultaneously, and show that any two reduced $I_\ast$-expressions for a given involution can be transformed into each other through a series of basic braid $I_\ast$-transformations. In both cases, these basic braid $I_\ast$-transformations consist of the usual basic braid transformations plus some natural "right end transformations" and plus exactly one extra transformation. The main result generalizes our previous work for the Weyl group of type $A_{n}$.

For every finite Coxeter group W , we prove that the number of chains in the shard intersection lattice introduced by Reading on the one hand and in the BHZ poset introduced by Bergeron, Zabrocki and the third author on the other hand, are the same. We also show that these two partial orders are related by an equality between generating series for their M{ö}bius numbers, and provide a dimension-preserving bijection between the order complex on the BHZ poset and the pulling triangulation of the permutahedron arising from the right weak order, analogous to the bijection defined by Reading between the order complex of the shard poset and the same triangulation of the permutahedron.

Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$, coroot lattice $\check{Q}$ and Coxeter number $h$. Recently the second named author defined a uniform $W$-isomorphism $ζ$ between the finite torus $\check{Q}/(mh+1)\check{Q}$ and the set of non-nesting parking fuctions $\operatorname{Park}^{(m)}(Φ)$. If $Φ$ is of type $A_{n-1}$ and $m=1$ this map is equivalent to a map defined on labelled Dyck paths that arises in the study of the Hilbert series of the space of diagonal harmonics. In this paper we investigate the case $m=1$ for the other infinite families of root systems ($B_n$, $C_n$ and $D_n$). In each type we define models for the finite torus and for the set of non-nesting parking functions in terms of labelled lattice paths. The map $ζ$ can then be viewed as a map between these combinatorial objects. Our work entails new bijections between (square) lattice paths and ballot paths.

Mirror graphs were introduced by Brešar et al. in 2004 as an intriguing class of graphs: vertex-transitive, isometrically embeddable into hypercubes, having a strong connection with regular maps and polytope structure. In this article we settle the structure of mirror graphs by characterizing them as precisely the Cayley graphs of the finite Coxeter groups or equivalently the tope graphs of reflection arrangements - well understood and classified structures. We provide a polynomial algorithm for their recognition.

We introduce bijections between generalized type $A_n$ noncrossing partitions (that is, associated to arbitrary standard Coxeter elements) and fully commutative elements of the same type. The latter index the diagram basis of the classical Temperley-Lieb algebra, while for each choice of standard Coxeter element the corresponding noncrossing partitions also index a basis, given by the images in the Temperley-Lieb algebra of the simple elements of the dual Garside structure (associated to this choice of standard Coxeter element) of the Artin braid group on $n+1$ strands. We then show that our bijections come from triangular base changes between the diagram basis and the various bases indexed by noncrossing partitions, by explicitly describing the orders giving triangularity. These orders were introduced in a joint paper with Williams and provide exotic lattice structures on noncrossing partitions. Several combinatorial objects are introduced along the way, including an involution on the set of noncrossing partitions.

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

The cluster algebra of any acyclic quiver can be realized as the coordinate ring of a subvariety of a Kac-Moody group -- the quiver is an orientation of its Dynkin diagram, defining a Coxeter element and thereby a double Bruhat cell. We use this realization to connect representations of the quiver with those of the group. We show that cluster variables of preprojective (resp. postinjective) quiver representations are realized by generalized minors of highest-weight (resp. lowest-weight) group representations, generalizing results of Yang-Zelevinsky in finite type. In type $A_n^{\!(1)}$ and finitely many other affine types, we show that cluster variables of regular quiver representations are realized by generalized minors of group representations that are neither highest- nor lowest-weight; we conjecture this holds more generally.