arXiv++ Combinatorics

In this manuscript we show that two partial orders defined on the set of standard Young tableaux of shape $α$ are equivalent. In fact, we give two proofs for the equivalence of the box order and the dominance order for {tableaux}. Both are algorithmic. The first of these proofs emphasizes links to the Bruhat order for the symmetric group and the second provides a more straightforward construction of the cover relations. This work is motivated by the known result that the equivalence of the two combinatorial orders leads to a description of the geometry of the representation space of invariant subspaces of nilpotent linear operators.

We show that J_n, the Stanley-Reisner ideal of the n-cycle, has a free resolution supported on the (n-3)-dimensional simplicial associahedron A_n. This resolution is not minimal for n > 5; in this case the Betti numbers of J_n are strictly smaller than the f-vector of A_n. We show that in fact the Betti numbers of J_n are in bijection with the number of standard Young tableaux of shape (d+1, 2, 1^{n-d-3}). This complements the fact that the number of (d-1)-dimensional faces of A_n are given by the number of standard Young tableaux of (super)shape (d+1, d+1, 1^{n-d-3}); a bijective proof of this result was first provided by Stanley. An application of discrete Morse theory yields a cellular resolution of J_n that we show is minimal at the first syzygy. We furthermore exhibit a simple involution on the set of associahedron tableaux with fixed points given by the Betti tableaux, suggesting a Morse matching and in particular a poset structure on these objects.

In this paper, we present a direct bijective proof of the hook-length formula for standard immaculate tableaux, which arose in the study of non-commutative symmetric functions. Our proof is along the spirit of Novelli, Pak and Stoyanovskii's combinatorial proof of the hook-length formula for standard Young tableaux.

Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new $q$-Selberg integral. It is also shown that the new $q$-Selberg integral has an expression in terms of Schur functions.

A tableau inversion is a pair of entries in row-standard tableau $T$ that lie in the same column of $T$ yet lack the appropriate relative ordering to make $T$ column-standard. An $i$-inverted Young tableau is a row-standard tableau along with a precisely $i$ inversion pairs. Tableau inversions were originally introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, with the number of $i$-inverted tableaux that standardize to a fixed standard Young tableau corresponding to a specific Betti number of the associated fiber. In this paper we approach the topic of tableau inversions from a completely combinatorial perspective. We develop formulas enumerating the number of $i$-inverted Young tableaux for a variety of tableaux shapes, not restricting ourselves to inverted tableaux that standardize a specific standard Young tableau, and construct bijections between $i$-inverted Young tableaux of a certain shape with $j$-inverted Young tableaux of different shapes. Finally, we share some the results of a computer program developed to calculate tableaux inversions.

We prove that the number of oscillating tableaux of length $n$ with at most $k$ columns, starting at $\emptyset$ and ending at the one-column shape $(1^m)$, is equal to the number of standard Young tableaux of size~$n$ with $m$ columns of odd length, all columns of length at most $2k$. This refines a conjecture of Burrill, which it thereby establishes. We prove as well a "Knuth-type" extension stating a similar equi-enumeration result between generalised oscillating tableaux and semistandard tableaux.

We define a solitary game, the Yamanouchi toppling game, on any connected graph of n vertices. The game arises from the well-known chip-firing game when the usual relation of equivalence defined on the set of all configurations is replaced by a suitable partial order. The set all firing sequences of length m that the player is allowed to perform in the Yamanouchi toppling game is shown to be in bijection with all standard Young tableaux whose shape is a partition of the integer m with at most n-1 parts. The set of all configurations that a player can obtain from a starting configuration is encoded in a suitable formal power series. When the graph is the simple path and each monomial of the series is replaced by a suitable Schur polynomial, we prove that such a series reduces to Hall-Littlewod symmetric polynomials. The same series provides a combinatorial description of orthogonal polynomials when the monomials are replaced by products of moments suitably modified.

We define a collection of functions $s_i$ on the set of plane trees (or standard Young tableaux). The functions are adapted from transpositions in the representation theory of the symmetric group and almost form a group action. They were motivated by $\textit{local moves}$ in combinatorial biology, which are maps that represent a certain unfolding and refolding of RNA strands. One main result of this study identifies a subset of local moves that we call $s_i$-local moves, and proves that $s_i$-local moves correspond to the maps $s_i$ acting on standard Young tableaux. We also prove that the graph of $s_i$-local moves is a connected, graded poset with unique minimal and maximal elements. We then extend this discussion to functions $s_i^C$ that mimic reflections in the Weyl group of type $C$. The corresponding graph is no longer connected, but we prove it has two connected components, one of symmetric and the other of asymmetric plane trees. We give open questions and possible biological interpretations.

We introduce the Tesler polytope Tes_n(a_1,a_2,...,a_n), whose integer points are the Tesler matrices of size n with nonnegative integer hook sums a_1,a_2,...,a_n. We show that Tes_n(a) is a flow polytope and therefore the number of Tesler matrices is counted by the type A_n Kostant partition function evaluated at (a_1,a_2,...,a_n,-a_1-...-a_n). We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of Tes_n(a) when all a_i>0 is given by the Mahonian numbers and calculate the volume of Tes_n(1,1,...,1) to be a product of consecutive Catalan numbers multiplied by the number of standard Young tableaux of staircase shape.

The Selberg integral is an important integral first evaluated by Selberg in 1944. Stanley found a combinatorial interpretation of the Selberg integral in terms of permutations. In this paper, new combinatorial objects "Young books" are introduced and shown to have a connection with the Selberg integral. This connection gives an enumeration formula for Young books. It is shown that special cases of Young books become standard Young tableaux of various shapes: shifted staircases, squares, certain skew shapes, and certain truncated shapes. As a consequence, product formulas for the number of standard Young tableaux of these shapes are obtained.

We define a statistic called the weight of oscillating tableaux. Oscillating tableaux, a generalization of standard Young tableaux, are certain walks in Young's lattice of partitions. The weight of an oscillating tableau is the sum of the sizes of all the partitions that it visits. We show that the average weight of all oscillating tableaux of shape lambda and length 2n plus the size of lambda has a surprisingly simple formula: it is a quadratic polynomial in the size of lambda and n. Our proof via the theory of differential posets is largely computational. We suggest how the homomesy paradigm of Propp and Roby may lead to a more conceptual proof of this result and reveal a hidden symmetry in the set of perfect matchings.

A survey paper, to appear as a chapter in a forthcoming Handbook on Enumeration.

We introduce the notion of "type" of a tableau, that allows us to define new families of tableaux including both balanced and standard Young tableaux. We use these new objects to describe the set of reduced decompositions of any permutation. We then generalize the work of Fomin \emph{et al.} by giving, among other things, a new proof of the fact that balanced and standard tableaux are equinumerous, and by exhibiting many new families of tableaux having similar combinatorial properties to those of balanced tableaux.

We give a bijection between the symmetric group S_n, and the set of standard Young tableaux of rectangular shape m^n, m<=n, that have order n under jeu de taquin promotion.

Let $P$ be the Gelfand--Tsetlin polytope defined by the skew shape $λ/μ$ and weight $w$. In the case corresponding to a standard Young tableau, we completely characterize for which shapes $λ/μ$ the polytope $P$ is integral. Furthermore, we show that $P$ is a compressed polytope whenever it is integral and corresponds to a standard Young tableau. We conjecture that a similar property hold for arbitrary $w$, namely that $P$ has the integer decomposition property whenever it is integral. Finally, a natural partial ordering on GT-polytopes is introduced that provides information about integrality and the integer decomposition property, which implies the conjecture for certain shapes.

We give formulae for computing Kronecker coefficients occurring in the expansion of $s_μ*s_ν$, where both $μ$ and $ν$ are nearly rectangular, and have smallest parts equal to either 1 or 2. In particular, we study $s_{(n,n-1,1)}*s_{(n,n)}$, $s_{(n-1,n-1,1)}*s_{(n,n-1)}$, $s_{(n-1,n-1,2)}*s_{(n,n)}$, $s_{(n-1,n-1,1,1)}*s_{(n,n)}$ and $s_{(n,n,1)}*s_{(n,n,1)}$. Our approach relies on the interplay between manipulation of symmetric functions and the representation theory of the symmetric group, mainly employing the Pieri rule and a useful identity of Littlewood. As a consequence of these formulae, we also derive an expression enumerating certain standard Young tableaux of bounded height, in terms of the Motzkin and Catalan numbers.

The number of standard Young tableaux of a fixed shape is famously given by the hook-length formula due to Frame, Robinson and Thrall. A bijective proof of Novelli, Pak and Stoyanovskii relies on a sorting algorithm akin to jeu-de-taquin which transforms an arbitrary filling of a partition into a standard Young tableau by exchanging adjacent entries. Recently, Krattenthaler and Müller defined the complexity of this algorithm as the average number of performed exchanges, and Neumann and the author proved it fulfils some nice symmetry properties. In this paper we recall and extend the previous results and provide new bijective proofs.

A specialisation of a transformation formula for multi-dimensional elliptic hypergeometric series is used to provide compact, non-determinantal formulae for the generating function with respect to the major index of standard Young tableaux of skew shapes of the form "staircase minus rectangle".

Using a modified version of jeu de taquin, Novelli, Pak and Stoyanovskii gave a bijective proof of the hook-length formula for counting standard Young tableaux of fixed shape. In this paper we consider a natural extension of jeu de taquin to arbitrary posets. Given a poset P, jeu de taquin defines a map from the set of bijective labelings of the poset elements with $\{1,2,...,|P|\}$ to the set of linear extensions of the poset. One question of particular interest is for which posets this map yields each linear extension equally often. We analyze the double-tailed diamond poset $D_{m,n}$ and show that uniform distribution is obtained if and only if $D_{m,n}$ is d-complete. Furthermore, we observe that the extended hook-length formula for counting linear extensions on d-complete posets provides a combinatorial answer to a seemingly unrelated question, namely: Given a uniformly random standard Young tableau of fixed shape, what is the expected value of the left-most entry in the second row?

Kazhdan--Lusztig polynomials arise in the context of Hecke algebras associated to Coxeter groups. The computation of these polynomials is very difficult for examples of even moderate rank. In type $A$ it is known that the leading coefficient, $μ(x,w)$ of a Kazhdan--Lusztig polynomial $P_{x,w}$ is either 0 or 1 when $x$ is fully commutative and $w$ is arbitrary. In type $D$ Coxeter groups there are certain "bad" elements that make $μ$-value computation difficult. The Robinson--Schensted correspondence between the symmetric group and pairs of standard Young tableaux gives rise to a way to compute cells of Coxeter groups of type $A$. A lesser known correspondence exists for signed permutations and pairs of so-called domino tableaux, which allows us to compute cells in Coxeter groups of types $B$ and $D$. I will use this correspondence in type $D$ to compute $μ$-values involving bad elements. I will conclude by showing that $μ(x,w)$ is 0 or 1 when $x$ is fully commutative in type $D$.