arXiv++ Combinatorics

The pattern-avoiding fillings of Young diagrams we study arose from Postnikov's work on positive Grassman cells. They are called Le-diagrams, and are in bijection with decorated permutations. Other closely-related diagrams are interpreted as acyclic orientations of some bipartite graphs. The definition of the diagrams is the same but the avoided patterns are different. We give here bijections proving that the number of pattern-avoiding filling of a Young diagram is the same, for these two different sets of patterns. The result was obtained by Postnikov via a reccurence relation. This relation was extended by Spiridonov to obtain more general results about other patterns and other polyominoes than Young diagrams, and we show that our bijections also extend to more general polyominoes.

We define and study the Plancherel-Hecke probability measure on Young diagrams; the Hecke algorithm of [Buch-Kresch-Shimozono-Tamvakis-Yong '06] is interpreted as a polynomial-time exact sampling algorithm for this measure. Using the results of [Thomas-Yong '07] on jeu de taquin for increasing tableaux, a symmetry property of the Hecke algorithm is proved, in terms of longest strictly increasing/decreasing subsequences of words. This parallels classical theorems of [Schensted '61] and of [Knuth '70], respectively, on the Schensted and Robinson-Schensted-Knuth algorithms. We investigate, and conjecture about, the limit typical shape of the measure, in analogy with work of [Vershik-Kerov '77], [Logan-Shepp '77] and others on the ``longest increasing subsequence problem'' for permutations. We also include a related extension of [Aldous-Diaconis '99] on patience sorting. Together, these results provide a new rationale for the study of increasing tableau combinatorics, distinct from the original algebraic-geometric ones concerning K-theoretic Schubert calculus.

Kerov's polynomials give irreducible character values in term of the free cumulants of the associated Young diagram. We prove in this article a positivity result on their coefficients, which extends a conjecture of S. Kerov. Our method, through decomposition of maps, gives a description of the coefficients of the k-th Kerov's polynomials using permutations in S(k). We also obtain explicit formulas or combinatorial interpretations for some coefficients. In particular, we are able to compute the subdominant term for character values on any fixed permutation (it was known for cycles).

In this paper we explore the combinatorics of the non-negative part (G/P)+ of a cominuscule Grassmannian. For each such Grassmannian we define Le-diagrams -- certain fillings of generalized Young diagrams which are in bijection with the cells of (G/P)+. In the classical cases, we describe Le-diagrams explicitly in terms of pattern avoidance. We also define a game on diagrams, by which one can reduce an arbitrary diagram to a Le-diagram. We give enumerative results and relate our Le-diagrams to other combinatorial objects. Surprisingly, the totally non-negative cells in the open Schubert cell of the odd and even orthogonal Grassmannians are (essentially) in bijection with preference functions and atomic preference functions respectively.

Kerov polynomials express the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as polynomials in the free cumulants of the associated Young diagram. We present two positivity conjectures for their coefficients. The latter are stronger than the positivity conjecture of Kerov-Biane, recently proved by Feray.

The fusion procedure provides a way to construct new solutions to the Yang-Baxter equation. In the case of the symmetric group the fusion procedure has been used to construct diagonal matrix elements using a decomposition of the Young diagram into its rows or columns. We present a new construction which decomposes the diagram into hooks, the great advantage of this is that it minimises the number of auxiliary parameters needed in the procedure. We go on to use the hook fusion procedure to find diagonal matrix elements computationally and calculate supporting evidence to a previous conjecture. We are motivated by the construction of certain elements that allow us to generate representations of the symmetric group and single out particular irreducible components. In this way we may construct higher representations of the symmetric group from elementary ones. We go some way to generalising the hook fusion procedure by considering other decompositions of Young diagrams, specifically into ribbons. Finally, we adapt our construction to the quantum deformation of the symmetric group algebra known as the Hecke algebra.

It is shown that the deformed Macdonald-Ruijsenaars operators can be described as the restrictions on certain affine subvarieties of the usual Macdonald-Ruijsenaars operator in infinite number of variables. The ideals of these varieties are shown to be generated by the Macdonald polynomials related to Young diagrams with special geometry. The super Macdonald polynomials and their shifted version are introduced, the combinatorial formulas for them are given.

We compute the limit shapes of the Young diagrams of the minimal difference $p$ partitions and provide a simple physical interpretation for the limit shapes. We also calculate the asymptotic distribution of the largest part of the Young diagram and show that the scaled distribution has a Gumbel form for all $p$. This Gumbel statistics for the largest part remains unchanged even for general partitions of the form $E=\sum_i n_i i^{1/ν}$ with $ν>0$ where $n_i$ is the number of times the part $i$ appears.

We derive a new expression for the q-analogue of the Young symmetrizer which generate irreducible representations of the Hecke algebra. We obtain this new expression using Cherednik's fusion procedure. However, instead of splitting Young diagrams into their rows or columns, we consider their principal hooks. This minimises the number of auxiliary parameters needed in the fusion procedure.

We describe the torus-equivariant cohomology ring of isotropic Grassmannians by using a localization map to the torus fixed points. We present two types of formulas for equivariant Schubert classes of these homogeneous spaces. The first formula involves combinatorial objects which we call ``excited Young diagrams'' and the second one is written in terms of factorial Schur $Q$- or $P$-functions. As an application, we give a Giambelli-type formula for the equivariant Schubert classes. We also give combinatorial and Pfaffian formulas for the multiplicity of a singular point in a Schubert variety.

The Springer modules have a combinatorial property called ``coincidence of dimensions,'' i.e., the Springer modules are naturally decomposed into submodules with common dimensions. Morita and Nakajima proved the property by giving modules with common dimensions whose induced modules are isomorphic to the submodules of Springer modules. They proved that the induced modules are isomorphic to the submodules, by showing the coincidence of their characters. Our aim is to construct isomorphisms between the induced modules and their corresponding submodules in a combinatorial manner. For this purpose, we show lemmas, which are equivalent to the classical Schur's lemma in special cases. We also give a procedure to construct isomorphisms, and explicitly construct isomorphisms in the case of the Springer modules corresponding to Young diagrams of two rows.

The combinatorics of certain osculating lattice paths is studied, and a relationship with oscillating tableaux is obtained. More specifically, the paths being considered have fixed start and end points on respectively the lower and right boundaries of a rectangle in the square lattice, each path can take only unit steps rightwards or upwards, and two different paths are permitted to share lattice points, but not to cross or share lattice edges. Such paths correspond to configurations of the six-vertex model of statistical mechanics with appropriate boundary conditions, and they include cases which correspond to alternating sign matrices and various subclasses thereof. Referring to points of the rectangle through which no or two paths pass as vacancies or osculations respectively, the case of primary interest is tuples of paths with a fixed number $l$ of vacancies and osculations. It is then shown that there exist natural bijections which map each such path tuple $P$ to a pair $(t,η)$, where $η$ is an oscillating tableau of length $l$ (i.e., a sequence of $l+1$ partitions, starting with the empty partition, in which the Young diagrams of successive partitions differ by a single square), and $t$ is a certain, compatible sequence of $l$ weakly increasing positive integers. Furthermore, each vacancy or osculation of $P$ corresponds to a partition in $η$ whose Young diagram is obtained from that of its predecessor by respectively the addition or deletion of a square. These bijections lead to enumeration formulae for osculating paths involving sums over oscillating tableaux.

We prove an upper bound for characters of the symmetric groups. Namely, we show that there exists a constant a>0 with a property that for every Young diagram λwith n boxes, r(λ) rows and c(λ) columns |Tr ρ^λ(π) / Tr ρ^λ(e)| < [a max(r(λ)/n, c(λ)/n,|π|/n) ]^{|π|}, where |π| is the minimal number of factors needed to write π\in S_n as a product of transpositions. We also give uniform estimates for the error term in the Vershik-Kerov's and Biane's character formulas and give a new formula for free cumulants of the transition measure.

We study asymptotics of an irreducible representation of the symmetric group S_n corresponding to a balanced Young diagram λ(a Young diagram with at most C\sqrt{n} rows and columns for some fixed constant C) in the limit as n tends to infinity. We show that there exists a constant D (which depends only on C) with a property that |χ^λ(π)| = | Tr ρ^λ(π)/Tr ρ^λ(e) | < [ D max(1,|π|^2/n) / \sqrt{n}} ]^{|π|}, where |π| denotes the length of a permutation (the minimal number of factors necessary to write πas a product of transpositions). Our main tool is an analogue of Frobenius character formula which holds true not only for cycles but for arbitrary permutations.

The research on pattern-avoidance has yielded so far limited knowledge on Wilf-ordering of permutations. The Stanley-Wilf limits sqrt[n](|S_n(tau)|) and further works suggest asymptotic ordering of layered versus monotone patterns. Yet, Bona has provided the only known up to now result of its type on ordering of permutations: |S_n(1342)|<|S_n(1234)|<|S_n(1324)| for n>6. We give a different proof of this result by ordering S_3 up to the stronger shape-Wilf-order: |S_Y(213)|<=|S_Y(123)|<=|S_Y(312)| for any Young diagram Y, derive as a consequence that |S_Y(k+2,k+1,k+3,tau)|<=|S_Y(k+1,k+2,k+3,tau)|<= |S_Y(k+3,k+1,k+2,tau)| for any tau in S_k, and find out when equalities are obtained. (In particular, for specific Y's we find out that |S_Y(123)|=|S_Y(312)| coincide with every other Fibonacci term.) This strengthens and generalizes Bona's result to arbitrary length permutations. While all length-3 permutations have been shown in numerous ways to be Wilf-equivalent, the current paper distinguishes between and orders these permutations by employing all Young diagrams. This opens up the question of whether shape-Wilf-ordering of permutations, or some generalization of it, is not the ``true'' way of approaching pattern-avoidance ordering.

Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young tableaux. We define a generalization of Schur polynomials as expansion coefficients of generalized Schur operators. We show that the commutating relation of generalized Schur operators implies Pieri's formula to generalized Schur polynomials.

We study the shape of the Young diagram λassociated via the Robinson-Schensted-Knuth algorithm to a random permutation in S_n such that the length of the longest decreasing subsequence is not bigger than a fixed number d; in other words we study the restriction of the Plancherel measure to Young diagrams with at most d rows. We prove that in the limit n\to\infty the rows of λbehave like the eigenvalues of a certain random matrix (traceless Gaussian Unitary Ensemble) with d rows and columns. In particular, the length of the longest increasing subsequence of such a random permutation behaves asymptotically like the largest eigenvalue of the corresponding random matrix.

Formulas are obtained that express the Schur S-functions indexed by Young diagrams of rectangular shape as linear combinations of "mixed" products of Schur's S- and Q-functions. The proof is achieved by using representations of the affine Lie algebra of type A_1^{(1)}. A realization of the basic representation that is of ``D_2^{(2)}''-type plays the central role.

This is an expository paper which has two parts. In the first part, we study quiver varieties of affine $A$-type from a combinatorial point of view. We present a combinatorial method for obtaining a closed formula for the generating function of Poincaré polynomials of quiver varieties in rank 1 cases. Our main tools are cores and quotients of Young diagrams. In the second part, we give a brief survey of instanton counting in physics, where quiver varieties appear as moduli spaces of instantons, focusing on its combinatorial aspects.

We consider $β$--Plancherel measures \cite{Ba.Ra.} on subsets of partitions -- and their asymptotics. These subsets are the Young diagrams contained in a $(k,\ell)$--hook, and we calculate the asymptotics of the expected shape of these diagrams, relative to such measures. We also calculate the asymptotics of the distribution function of the lengths of the rows and the columns for these diagrams. This might be considered as the restriction to the $(k,\ell)$--hook of the fundamental work of Baik, Deift and Johansson \cite{B.D.J.1}. The above asymptotics are given here by ratios of certain Selberg-type multi--integrals.