arXiv++ Combinatorics

Motivated by the study of simultaneous cores, we give three proofs (in varying levels of generality) for the expected norm of a weight in a highest weight representation of a complex simple Lie algebra. First, we argue directly using the polynomial method and the Weyl character formula. Second, we use the combinatorics of semistandard tableaux to obtain the result in type A. Third, and most interestingly, we relate this problem to the "Winnie-the-Pooh problem" regarding orthogonal decompositions of Lie algebras; although this approach offers the most explanatory power, it applies only to Cartan types other than A and C. We conclude with computations of many combinatorial cumulants.

Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$. Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our independence posets are a further generalization of distributive lattices, eliminating also the lattice requirement: an independence poset that is a lattice is always a trim lattice, and every trim lattice is the independence poset for a unique (up to isomorphism) acyclic directed graph $G$. We characterize when an independence poset is a lattice with a graph-theoretic condition on $G$. We generalize the definition of rowmotion from distributive lattices to independence posets, and we show it can be computed in three different ways. We also relate our constructions to torsion classes, semibricks, and 2-simpleminded collections arising in the representation theory of certain acyclic finite-dimensional algebras.

We generalize the Tamari lattice by extending the notions of $231$-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group $\mathfrak{S}_{n}$. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a certain aligned condition of inversion sets; a concept which can in fact be generalized to any reduced expression of any element in any (not necessarily finite) Coxeter group.

Rowmotion is a simple cyclic action on the distributive lattice of order ideals of a poset: it sends the order ideal x to the order ideal generated by the minimal elements not in x. It can also be computed in "slow motion" as a sequence of local moves. We use the setting of trim lattices to generalize both definitions of rowmotion, proving many structural results along the way. We introduce a flag simplicial complex (similar to the canonical join complex of a semidistributive lattice), and relate our results to recent work of Barnard by proving that extremal semidistributive lattices are trim. As a corollary, we prove that if A is a representation finite algebra and mod A has no cycles, then the torsion classes of A ordered by inclusion form a trim lattice.

We say two posets are "doppelgängers" if they have the same number of $P$-partitions of each height $k$. We give a uniform framework for bijective proofs that posets are doppelgängers by synthesizing $K$-theoretic Schubert calculus techniques of H. Thomas and A. Yong with M. Haiman's rectification bijection and an observation of R. Proctor. Geometrically, these bijections reflect the rational equivalence of certain subvarieties of minuscule flag manifolds. As a special case, we provide the first bijective proof of a 1983 theorem of R. Proctor---that plane partitions of height $k$ in a rectangle are equinumerous with plane partitions of height $k$ in a trapezoid.

Using techniques introduced by H. Thomas and N. Williams in "Cyclic Symmetry of the Scaled Simplex," we prove that modular sweep maps are bijective. We construct the inverse of the modular sweep map by passing through an intermediary set of equitable partitions; motivated by an analogy to stable marriages, we prove that the set of equitable partitions for a fixed word forms a distributive lattice when ordered componentwise. We conclude that the general sweep maps defined by D. Armstrong, N. Loehr, and G. Warrington in "Sweep Maps: A Continuous Family of Sorting Algorithms" are bijective. As a special case of particular interest, this gives the first proof that the zeta map on rational Dyck paths is a bijection.

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.

Let gcd(a,b)=1. J. Olsson and D. Stanton proved that the maximum number of boxes in a simultaneous (a,b)-core is (a^2-1)(b^2-1)/24, and that this maximum was achieved by a unique core. P. Johnson combined Ehrhart theory with the polynomial method to prove D. Armstrong's conjecture that the expected number of boxes in a simultaneous (a,b)-core is (a-1)(b-1)(a+b+1)/24. We extend P. Johnson's method to compute the variance to be ab(a-1)(b-1)(a+b)(a+b+1)/1440. By extending the definitions of "simultaneous cores" and "number of boxes" to affine Weyl groups, we give uniform generalizations of all three formulae above to simply-laced affine types. We further explain the appearance of the number 24 using the "strange formula" of H. Freudenthal and H. de Vries.

We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The proof is bijective and uses X. Viennot's theory of heaps and variants of the promotion operator. In addition, we provide a refinement of this result on orbits under the action of even and odd promotion operators. This gives an example of a homomesy for a nonabelian (dihedral) group that is not induced by an abelian subgroup. Our techniques extend to more general posets and to other statistics.

We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijection to other Coxeter elements using certain canonical factorizations. In particular, we give new bijections---fixing the set of reflections---between noncrossing partitions associated to distinct Coxeter elements.

The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras.

We use a projection argument to uniformly prove that $W$-permutahedra and $W$-associahedra have the property that if $v,v'$ are two vertices on the same face $f$, then any geodesic between $v$ and $v'$ does not leave $f$. In type $A$, we show that our geometric projection recovers a slight modification of the combinatorial projection given by D. Sleator, R. Tarjan, and W. Thurston.

Each positive rational number x>0 can be written uniquely as x=a/(b-a) for coprime positive integers 0<a<b. We will identify x with the pair (a,b). In this paper we define for each positive rational x>0 a simplicial complex \Ass(x)=\Ass(a,b) called the {\sf rational associahedron}. It is a pure simplicial complex of dimension a-2, and its maximal faces are counted by the {\sf rational Catalan number} \Cat(x)=\Cat(a,b):=\frac{(a+b-1)!}{a!\,b!}. The cases (a,b)=(n,n+1) and (a,b)=(n,kn+1) recover the classical associahedron and its "Fuss-Catalan" generalization studied by Athanasiadis-Tzanaki and Fomin-Reading. We prove that \Ass(a,b) is shellable and give nice product formulas for its h-vector (the {\sf rational Narayana numbers}) and f-vector (the {\sf rational Kirkman numbers}). We define \Ass(a,b) via {\sf rational Dyck paths}: lattice paths from (0,0) to (b,a) staying above the line y = \frac{a}{b}x. We also use rational Dyck paths to define a rational generalization of noncrossing perfect matchings of [2n]. In the case (a,b) = (n, mn+1), our construction produces the noncrossing partitions of [(m+1)n] in which each block has size m+1.

Let Z_m^k consist of the m^k alcoves contained in the m-fold dilation of the fundamental alcove of the type A_k affine hyperplane arrangement. As the fundamental alcove has a cyclic symmetry of order (k+1), so does Z_m^k. By bijectively exchanging the natural poset structure of Z_m^k for a natural cyclic action on a set of words, we prove an instance of the cyclic sieving phenomenon.

We prove a multivariate strengthening of Brenti's result that every root of the Eulerian polynomial of type $B$ is real. Our proof combines a refinement of the descent statistic for signed permutations with the notion of real stability-a generalization of real-rootedness to polynomials in multiple variables. The key is that our refined multivariate Eulerian polynomials satisfy a recurrence given by a stability-preserving linear operator. Our results extend naturally to colored permutations, and we also give stable generalizations of recent real-rootedness results due to Dilks, Petersen, and Stembridge on affine Eulerian polynomials of types $A$ and $C$. Finally, although we are not able to settle Brenti's real-rootedness conjecture for Eulerian polynomials of type $D$, nor prove a companion conjecture of Dilks, Petersen, and Stembridge for affine Eulerian polynomials of types $B$ and $D$, we indicate some methods of attack and pose some related open problems.

In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen to be in bijection with the alcoves in a 2-fold dilation in the geometric realization of the affine symmetric group. By considering the m-fold dilation we observe a larger set of order ideals in the k-bounded partition lattice that was considered by L. Lapointe, A. Lascoux, and J. Morse in the study of k-Schur functions. We identify the order ideal and the cyclic action on it explicitly in a geometric and combinatorial form.

We present an equivariant bijection between two actions--promotion and rowmotion--on order ideals in certain posets. This bijection simultaneously generalizes a result of R. Stanley concerning promotion on the linear extensions of two disjoint chains and recent work of D. Armstrong, C. Stump, and H. Thomas on root posets and noncrossing partitions. We apply this bijection to several classes of posets, obtaining equivariant bijections to various known objects under rotation. We extend the same idea to give an equivariant bijection between alternating sign matrices under rowmotion and under B. Wieland's gyration. Finally, we define two actions with related orders on alternating sign matrices and totally symmetric self-complementary plane partitions.