arXiv++ Combinatorics

An increasing tableau is a semistandard tableau with strictly increasing rows and columns. It is well known that the Catalan numbers enumerate both rectangular standard Young tableaux of two rows and also Dyck paths. We generalize this to a bijection between rectangular 2-row increasing tableaux and small Schröder paths. We demonstrate relations between the jeu de taquin for increasing tableaux developed by H. Thomas and A. Yong and the combinatorics of tropical frieze patterns. We then use this jeu de taquin to present new instances of the cyclic sieving phenomenon of V. Reiner, D. Stanton, and D. White, generalizing results of D. White and of J. Stembridge.

We elaborate upon a bijection discovered by Cools, Draisma, Payne, and Robeva between the set of rectangular standard Young tableaux and the set of equivalence classes of chip configurations on certain metric graphs under the relation of linear equivalence. We present an explicit formula for computing the $v_0$-reduced divisors (representatives of the equivalence classes) associated to given tableaux, and use this formula to prove (i) evacuation of tableaux corresponds (under the bijection) to reflecting the metric graph, and (ii) conjugation of the tableaux corresponds to taking the Riemann-Roch dual of the divisor.

In this paper, we give bijections between the set of 4123-avoiding down-up alternating permutations of length $2n$ and the set of standard Young tableaux of shape $(n,n,n)$, and between the set of 4123-avoiding down-up alternating permutations of length $2n-1$ and the set of shifted standard Young tableaux of shape $(n+1, n, n-1)$ via an intermediate structure of Yamanouchi words. Moreover, we get the enumeration of 4123-avoiding up-down alternating permutations of even and odd length by presenting bijections between 4123-avoiding up-down alternating permutations and standard Young tableaux.

In how many ways can you place n chocolate pieces all of different sizes in an n by n chocolate box, in such a way that when you go from left to right and from top to bottom, there are no gaps AND the sizes increase along each row and each column? The answer is the well-known OEIS Sequence Number 85. To our amazement, the analogous sequence for a three-dimensional chocolate box was not there. Here we fill this gap, and more importantly, offer some computational and theoretical challenges about enumerating families of Solid Standard Young Tableaux.

The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t = 1, it is equivalent to the k-tableaux characterization of Lapointe and Morse (2007). In this paper, we extend Haiman's (1992) dual equivalence relation on standard Young tableaux to all starred strong tableaux. The elementary equivalence relations can be interpreted as labeled edges in a graph which share many of the properties of Assaf's dual equivalence graphs. These graphs display much of the complexity of working with k-Schur functions and the interval structure on affine Symmetric Group modulo the Symmetric Group. We introduce the notions of flattening and squashing skew starred strong tableaux in analogy with jeu da taquin slides in order to give a method to find all isomorphism types for affine dual equivalence graphs of rank 4. Finally, we make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.

We give three interpretations of the number $b$ of orbits of the Borel subgroup of upper triangular matrices on the variety $\ms{X}$ of complete quadrics. First, we show that $b$ is equal to the number of standard Young tableaux on skew-diagrams. Then, we relate $b$ to certain values of a modified Hermite polynomial. Third, we relate $b$ to a certain cell decomposition on $\ms{X}$ previously studied by De Concini, Springer, and Strickland. Using these, we give asymptotic estimates for $b$ as the dimension of the quadrics increases.

The enumeration of standard Young tableaux (SYTs) of shape λ can be easily computed by the hook-length formula. In 1981, Amitai Regev proved that the number of SYTs having at most three rows with n entries equals the nth Motzkin number M_n. In 2006, Regev conjectured that the total number of SYTs of skew shape λ/(2, 1) over all partitions λ having at most three parts with n entries is the difference of two Motzkin numbers, M_{n-1} - M_{n-3}. Ekhad and Zeilberger proved Regev's conjecture using a computer program. In 2009, S.-P. Eu found a bijection between Motzkin paths and SYTs of skew shape with at most three rows to prove Regev's conjecture, and Eu also indirectly showed that for the fixed μ = (μ1,μ2) the number of SYTs of skew shape λ/μ over all partitions λ having at most three parts can be expressed as a linear combination of the Motzkin numbers. In this paper, we will find an explicit formula for the generating function for the general case: for each partition μ having at most three parts the generating function gives a formula for the coefficients of the linear combination of Motzkin numbers. We will also show that these generating functions are unexpectedly related to the Chebyshev polynomials of the second kind.

In this paper we classify all Schur functions and skew Schur functions that are multiplicity free when expanded in the basis of fundamental quasisymmetric functions, termed F-multiplicity free. Combinatorially, this is equivalent to classifying all skew shapes whose standard Young tableaux have distinct descent sets. We then generalize our setting, and classify all F-multiplicity free quasisymmetric Schur functions with one or two terms in the expansion, or one or two parts in the indexing composition. This identifies composition shapes such that all standard composition tableaux of that shape have distinct descent sets. We conclude by providing such a classification for quasisymmetric Schur function families, giving a classification of Schur functions that are in some sense almost F-multiplicity free.

The Wronski map is a finite, PGL_2(C)-equivariant morphism from the Grassmannian Gr(d,n) to a projective space (the projectivization of a vector space of polynomials). We consider the following problem. If C_r < PGL_2(C) is a cyclic subgroup of order r, how may C_r-fixed points are in the in a fibre of the Wronski map over a C_r-fixed point in the base? In this paper, we compute a general answer in terms of r-ribbon tableaux. When r=2, this computation gives the number of real points in the fibre of the Wronski map over a real polynomial with purely imaginary roots. More generally, we can compute the number of real points in certain intersections of Schubert varieties. When r divides d(n-d) our main result says that the generic number of C_r-fixed points in the fibre is the number of standard r-ribbon tableaux rectangular shape (n-d)^d. Computing by a different method, we show that the answer in this case is also given by the number of of standard Young tableaux of shape (n-d)^d that are invariant under N/r iterations of jeu de taquin promotion. Together, these two results give a new proof of Rhoades' cyclic sieving theorem for promotion on rectangular tableaux. We prove analogous results for dihedral group actions.

Unexpected product formulas for the number of standard Young tableaux of certain truncated shapes are found and proved. These include shifted staircase shapes minus a square in the NE corner, rectangular shapes minus a square in the NE corner, and some variations.

Let $SYT_{n}$ be the set of all standard Young tableaux with $n$ cells and $\leq_{weak}$ be Melnikov's the weak order on $SYT_n$. The aim of this paper is to introduce a conjecture, called the {\it property of inner tableau translation} and discuss its significance in the studies of the weak order. We will prove the conjecture for some specific cases

Combinatorial spiders are a model for the invariant space of the tensor product of representations. The basic objects, webs, are certain directed planar graphs with boundary; algebraic operations on representations correspond to graph-theoretic operations on webs. Kuperberg developed spiders for rank 2 Lie algebras and sl_2. Building on a result of Kuperberg's, Khovanov-Kuperberg found a recursive algorithm giving a bijection between standard Young tableaux of shape (n,n,n) and irreducible webs for sl_3 whose boundary vertices are all sources. In this paper, we give a simple and explicit map from standard Young tableaux of shape (n,n,n) to irreducible webs for sl_3 whose boundary vertices are all sources, and show that it is the same as Khovanov-Kuperberg's map. Our construction generalizes to some webs with both sources and sinks on the boundary. Moreover, it allows us to extend the correspondence between webs and tableaux in two ways. First, we provide a short, geometric proof of Petersen-Pylyavskyy-Rhoades's recent result that rotation of webs corresponds to jeu-de-taquin promotion on (n,n,n) tableaux. Second, we define another natural operation on tableaux called a shuffle, and show that it corresponds to the join of two webs. Our main tool is an intermediary object between tableaux and webs that we call an m-diagram. The construction of m-diagrams, like many of our results, applies to shapes of tableaux other than (n,n,n).

We extend earlier work of the same author to enumerate alternating permutations avoiding the permutation pattern 2143. We use a generating tree approach to construct a recursive bijection between the set A_{2n}(2143) of alternating permutations of length 2n avoiding 2143 and standard Young tableaux of shape (n, n, n) and between the set A_{2n + 1}(2143) of alternating permutations of length 2n + 1 avoiding 2143 and shifted standard Young tableaux of shape (n + 2, n + 1, n). We also give a number of conjectures and open questions on pattern avoidance in alternating permutations and generalizations thereof.

Let $u\in\mathrm{End}(\mathbb{C}^n)$ be nilpotent. The variety of $u$-stable complete flags is called the Springer fiber over $u$. Its irreducible components are parameterized by a set of standard Young tableaux. The Richardson (resp. Bala-Carter) components of Springer fibers correspond to the Richardson (resp. Bala-Carter) elements of the symmetric group, through Robinson-Schensted correspondence. Every Richardson component is isomorphic to a product of standard flag varieties. On the contrary, the Bala-Carter components are very susceptible to be singular. First, we characterize the singular Bala-Carter components in terms of two minimal forbidden configurations. Next, we introduce two new families of components, wider than the families of Bala-Carter components and Richardson components, and both in duality via the tableau transposition. The components in the first family are characterized by the fact that they have a dense orbit of special type under the action of the stabilizer of $u$, whereas all components in the second family are iterated fiber bundles over projective spaces.

(Dual-)promotion and (dual-)evacuation are bijections on SYT(λ) for any partition λ. Let c^r denote the rectangular partition (c,...,c) of height r, and let sc_k (k > 2) denote the staircase partition (k,k-1,...,1). B. Rhoades showed representation-theoretically that promotion on SYT(c^r) exhibits the cyclic sieving phenomenon (CSP). In this paper, we demonstrate a promotion- and evacuation-preserving embedding of SYT(sc_k) into SYT(k^{k+1}). This arose from an attempt to demonstrate the CSP of promotion action on SYT(sc_k).

Closed formulas are known for $S(k,0;n)$, the number of standard Young tableaux of size $n$ and with at most $k$ parts, where $1\le k\le 5$. Here we study the analogue problem for $S(k,\ell;n)$, the number of standard Young tableaux of size $n$ which are contained in the $(k,\ell)$ hook. We deduce some formulas for the cases $k+\ell\le 4$.

Let $\mathcal{T}_3$ be the three-rowed strip. Recently Regev conjectured that the number of standard Young tableaux with $n-3$ entries in the "skew three-rowed strip" $\mathcal{T}_3 / (2,1,0)$ is $m_{n-1}-m_{n-3}$, a difference of two Motzkin numbers. This conjecture, together with hundreds of similar identities, were derived automatically and proved rigorously by Zeilberger via his powerful program and WZ method. It appears that each one is a linear combination of Motzkin numbers with constant coefficients. In this paper we will introduce a simple bijection between Motzkin paths and standard Young tableaux with at most three rows. With this bijection we answer Zeilberger's question affirmatively that there is a uniform way to construct bijective proofs for all of those identites.

We present an elegant bijection between standard Young tableaux with 2n cells and at most two rows, and pairs of standard Young tableaux of the same shape, with n+1 cells, where only the top row can have more than one cell.

A centrosymmetric permutation is one which is invariant under the reverse-complement operation, or equivalently one whose associated standard Young tableaux under the Robinson-Schensted algorithm are both invariant under the Schutzenberger involution. In this paper, we characterize the set of permutations avoiding 1243 and 2143 whose images under the reverse-complement mapping also avoid these patterns. We also characterize in a simple manner the corresponding Schroder paths under a bijection of Egge and Mansour. We then use these results to enumerate centrosymmetric permutations avoiding the patterns 1243 and 2143. In a similar manner, centrosymmetric involutions avoiding these same patterns are shown to be enumerated by the Pell numbers.

We identify a subalgebra \pH_n of the extended affine Hecke algebra \eH_n of type A. The subalgebra \pH_n is a \u-analogue of the monoid algebra of §_n \ltimes \ZZ_{\geq 0}^n and inherits a canonical basis from that of \eH_n. We show that its left cells are naturally labeled by tableaux filled with positive integer entries having distinct residues mod n, which we term \emph{positive affine tableaux} (PAT). We then exhibit a cellular subquotient \R_{1^n} of \pH_n that is a \u-analogue of the ring of coinvariants \CC[y_1,...,y_n]/(e_1,...,e_n) with left cells labeled by PAT that are essentially standard Young tableaux with cocharge labels. Multiplying canonical basis elements by a certain element π\in \pH_n corresponds to rotations of words, and on cells corresponds to cocyclage. We further show that \R_{1^n} has cellular quotients \R_λthat are \u-analogues of the Garsia-Procesi modules R_λwith left cells labeled by (a PAT version of) the λ-catabolizable tableaux. We give a conjectural description of a cellular filtration of \pH_n, the subquotients of which are isomorphic to dual versions of \R_λunder the perfect pairing on \R_{1^n}. We conjecture how this filtration relates to the combinatorics of the cells of \eH_n worked out by Shi, Lusztig, and Xi. We also conjecture that the k-atoms of Lascoux, Lapointe, and Morse and the R-catabolizable tableaux of Shimozono and Weyman have cellular counterparts in \pH_n. We extend the idea of atom copies of Lascoux, Lapoint, and Morse to positive affine tableaux and give descriptions, mostly conjectural, of some of these copies in terms of catabolizability.