arXiv++ Combinatorics

There are many different ways that the exponents of Weyl groups of irreducible root systems have been defined and put into practice. One of the most classical and algebraic definitions of the exponents is related to the eigenvalues of Coxeter elements. While the coefficients of the height root when expressed as a linear combination of simple roots are combinatorial objects in nature, there are several results asserting relations between these exponents and coefficients. This study was conducted to give a uniform and fairly elementary proof of the fact that the second smallest exponent of the Weyl group is one or two plus the largest coefficient of the highest root of the root system depending upon a simple condition on the root lengths. As a consequence, we obtain a necessary and sufficient condition for a root system to be of type $G_2$ in terms of these numbers.

Let $Φ$ be an irreducible crystallographic root system and $\mathcal P$ its root polytope, i.e., its convex hull. We provide a uniform construction, for all root types, of a triangulation of the facets of $\mathcal P$. We also prove that, on each orbit of facets under the action of the Weyl gruop, the triangulation is unimodular with respect to a root sublattice that depends on the orbit.

The (extended) Linial arrangement $\mathcal{L}_Φ^m$ is a certain finite truncation of the affine Weyl arrangement of a root system $Φ$ with a parameter $m$. Postnikov and Stanley conjectured that all roots of the characteristic polynomial of $\mathcal{L}_Φ^m$ have the same real part, and this has been proved for the root systems of classical types. In this paper we prove that the conjecture is true for exceptional root systems when the parameter $m$ is sufficiently large. The proof is based on representations of the characteristic quasi-polynomials in terms of Eulerian polynomials.

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.

Let $ρ$ be a metric on the set $X=\{1,2,\dots,n+1\}$. Consider the $n$-dimensional polytope of functions $f:X\rightarrow \mathbb{R}$, which satisfy the conditions $f(n+1)=0$, $|f(x)-f(y)|\leq ρ(x,y)$. The question on classifying metrics depending on the combinatorics of this polytope have been recently posed by A. M. Vershik \cite{V}. We prove that for any "generic" metric the number of $(n-m)$-dimensional faces, $0\leq m\leq n$, equals $\binom{n+m}{m,m,n-m}=(n+m)!/m!m!(n-m)!$. This fact is intimately related to regular triangulations of the root polytope (the convex hull of the roots of $A_n$ root system). Also we get two-sided estimates for the logarithm of the number of Vershik classes of metrics: $n^3\log n$ from above and $n^2$ from below.

Let $Φ$ be an irreducible (possibly noncrystallographic) root system of rank $l$ of type $P$. For the corresponding cluster complex $Δ(P)$, which is known as pure $(l-1)$-dimensional simplicial complex, we define the generating function of the number of faces of $Δ(P)$ with dimension $i-1$, which is called the {\it $f$-polynomial}. We show that the $f$-polynomial has exactly $l$ simple real zeros on the interval $(0, 1)$ and the smallest root for the infinite series of type $A_l$, $B_l$ and $D_l$ monotone decreasingly converges to zero as the rank $l$ tends to infinity. We also consider the generating function (called the {\it $f^{+}$-polynomial}) of the number of faces of the positive part $Δ_{+}(P)$ of the complex $Δ(P)$ with dimension $i-1$, whose zeros are real and simple and are located in the interval $(0, 1]$, including a simple root at $t=1$. We show that the roots $\{ t^{+}_{P, ν+1} \}_{ν=1}^{l-1}$ in decreasing order of $f^{+}$-polynomial alternate with the roots $\{ t_{P, ν} \}_{ν=1}^{l}$ in decreasing order of $f$-polynomial.

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.

From a root system, one may consider the arrangement of reflecting hyperplanes, as well as its toric and elliptic analogues. The corresponding Weyl group acts on the complement of the arrangement and hence on its cohomology. We consider a sequence of linear, toric, or elliptic arrangements which arise from a family of root systems of type A, B, C, or D, and we show that the rational cohomology stabilizes as a sequence of Weyl group representations. Our techniques combine a Leray spectral sequence argument similar to that of Church in the type A case along with FI$_W$-module theory which Wilson developed and used in the linear case. A key to the proof relies on a combinatorial description, using labelled partitions, of the poset of connected components of intersections of subvarieties in the arrangement.

In a finite real reflection group, two factorizations of a Coxeter element into an arbitrary number of reflections are shown to lie in the same orbit under the Hurwitz action if and only if they use the same multiset of conjugacy classes. The proof makes use of a surprising lemma, derived from a classification of the minimal linear dependences (matroid circuits) in finite root systems: any set of roots forming a minimal linear dependence with positive coefficients has a disconnected graph of pairwise acuteness.

It is known that a connected simple graph $G$ associates a simple polytope $P_G$ called a graph associahedron in Euclidean space. In this paper we show that the set of facet vectors of $P_G$ forms a root system if and only if $G$ is a cycle graph and that the root system is of type A.

We consider discretisations of the Macdonald--Mehta integrals from the theory of finite reflection groups. For the classical groups, $\mathrm{A}_{r-1}$, $\mathrm{B}_r$ and $\mathrm{D}_r$, we provide closed-form evaluations in those cases for which the Weyl denominators featuring in the summands have exponents $1$ and $2$. Our proofs for the exponent-$1$ cases rely on identities for classical group characters, while most of the formulas for the exponent-$2$ cases are derived from a transformation formula for elliptic hypergeometric series for the root system $\mathrm{BC}_r$. As a byproduct of our results, we obtain closed-form product formulas for the (ordinary and signed) enumeration of orthogonal and symplectic tableaux contained in a box.

Two classes of avalanche-finite matrices and their critical groups (integer cokernels) are studied from the viewpoint of chip-firing/sandpile dynamics, namely, the Cartan matrices of finite root systems and the McKay-Cartan matrices for finite subgroups G of general linear groups. In the root system case, the recurrent and superstable configurations are identified explicitly and are related to minuscule dominant weights. In the McKay-Cartan case for finite subgroups of the special linear group, the cokernel is related to the abelianization of the subgroup G. In the special case of the classical McKay correspondence, the critical group and the abelianization are shown to be isomorphic.

In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.

We compute the cohomology of the complement of toric arrangements associated to root systems as representations of the corresponding Weyl groups. Specifically, we develop an algorithm for computing the cohomology of the complement of toric arrangements associated to general root systems and we carry out this computation for the exceptional root systems $G_2$, $F_4$, $E_6$ and $E_7$. We also compute the total cohomology of the complement of the toric arrangement associated to $A_n$ as a representation of the Weyl group and give a formula for its Poincaré polynomial.

In previous work, the first and third authors introduced staircase tableaux, which they used to give combinatorial formulas for the stationary distribution of the asymmetric simple exclusion process (ASEP) and for the moments of the Askey-Wilson weight function. The fact that the ASEP and Askey-Wilson moments are related at all is quite surprising, and is due to Uchiyama-Sasamoto-Wadati. The ASEP is a model of particles hopping on a one-dimensional lattice of N sites with open boundaries, particles can enter and exit at both left and right borders. It was introduced around 1970 and is cited as a model for both traffic flow and translation in protein synthesis. Meanwhile, the Askey-Wilson polynomials are a family of orthogonal polynomials in one variable, they sit at the top of the hierarchy of classical orthogonal polynomials. So we have the relationship ASEP -- staircase tableaux -- Askey-Wilson moments It is well-known that Askey-Wilson polynomials can be viewed as the one-variable case of the multivariate Koornwinder polynomials, also known as the Macdonald polynomials for the type BC root system. It is natural then to ask whether one can generalize the relationships among the ASEP, Askey-Wilson moments, and staircase tableaux, in such a way that Koornwinder moments replace Askey-Wilson moments. In a recent work, we demonstrated a close connection between Koornwinder moments and the two-species ASEP (a particle model involving two species of particles with different "weights"). In this article we introduce rhombic staircase tableaux, and show that we have the relationship 2-species ASEP -- rhombic staircase tableaux -- Koornwinder moments In particular, we give formulas for the steady state distribution of the two-species ASEP and for Koornwinder moments, in terms of rhombic staircase tableaux.

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 study Hall-Littlewood polynomials using an integrable lattice model of $t$-deformed bosons. Working with row-to-row transfer matrices, we review the construction of Hall-Littlewood polynomials (of the $A_n$ root system) within the framework of this model. Introducing appropriate double-row transfer matrices, we extend this formalism to Hall-Littlewood polynomials based on the $BC_n$ root system, and obtain a new combinatorial formula for them. We then apply our methods to prove a series of refined Cauchy and Littlewood identities involving Hall-Littlewood polynomials. The last two of these identities are new, and relate infinite sums over hyperoctahedrally symmetric Hall-Littlewood polynomials with partition functions of the six-vertex model on finite domains.

For a map $\mathcal M$ cellularly embedded on a connected and closed orientable surface, the bases of its Lagrangian (also known as delta-) matroid $Δ(\mathcal M)$ correspond to the bases of a Lagrangian subspace $L$ of the standard orthogonal space $\mathbb{Q}^E\oplus\mathbb{Q}^{E^*}$, where $E$ and $E^*$ are the edge-sets of $\mathcal M$ and its dual map. The Lagrangian subspace $L$ is said to be a representation of both $\mathcal M$ and $Δ(\mathcal M)$. Furthermore, the bases of $Δ(\mathcal M)$, when understood as vertices of the hypercube $[-1,1]^n$, induce a polytope $\mathbf P(Δ(\mathcal M))$ with edges parallel to the root system of type $BC_n$. In this paper we study the action of the Coxeter group $BC_n$ on $\mathcal M$, $L$, $Δ(\mathcal M)$ and $\mathbf P(Δ(\mathcal M))$. We also comment on the action of $BC_n$ on $\mathcal M$ when $\mathcal M$ is understood a dessin d'enfant.

Let $Δ$ be a rank 2 hyperbolic root system. Then $Δ$ has generalized Cartan matrix $H(a,b)= \left(\begin{smallmatrix} ~2 & -b\\ -a & ~2 \end{smallmatrix}\right)$ indexed by $a,b\in\mathbb{Z}$ with $ab\geq 5$. If $a\neq b$, then $Δ$ is non-symmetric and is generated by one long simple root and one short simple root; whereas if $a= b$, $Δ$ is symmetric and is generated by two long simple roots. We prove that if $a\neq b$, then $Δ$ contains an infinite family of symmetric rank 2 hyperbolic root subsystems $H(k,k)$ for certain $k\geq 3$, generated by either two short or two long simple roots. We also prove that $Δ$ contains non-symmetric rank 2 hyperbolic root subsystems $H(a',b')$, for certain $a',b'\in\mathbb{Z}$ with $a'b'\geq 5$. One of our tools is a characterization of the types of root subsystems that are generated by a subset of roots. We classify these types of subsystems in rank 2 hyperbolic root systems.

We present a new combinatorial formula for Hall-Littlewood functions associated with the affine root system of type $\tilde A_{n-1}$, i.e. corresponding to the affine Lie algebra $\hat{\mathfrak{sl}}_n$. Our formula has the form of a sum over the elements of a basis constructed by Feigin, Jimbo, Loktev, Miwa and Mukhin in the corresponding irreducible representation. Our formula can be viewed as a weighted sum of exponentials of integer points in a certain infinite-dimensional convex polyhedron. We derive a weighted version of Brion's theorem and then apply it to our polyhedron to prove the formula.