arXiv++ Combinatorics

Jack polynomials generalize several classical families of symmetric polynomials, including Schur polynomials, and are further generalized by Macdonald polynomials. In 1989, Richard Stanley conjectured that if the Littlewood-Richardson coefficient for a triple of Schur polynomials is 1, then the corresponding coefficient for Jack polynomials can be expressed as a product of weighted hooks of the Young diagrams associated to the partitions indexing the coefficient. We prove a special case of this conjecture in which the partitions indexing the Littlewood-Richardson coefficient have at most 3 parts. We also show that this result extends to Macdonald polynomials.

Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$-core. A partition is an $(s,t)$-core if it is both an $s$- and a $t$-core. Since the work of Anderson on $(s,t)$-cores, the topic has received a growing attention. This paper expands the discussion to multiple-cores. More precisely, we explore $(s,s+1,\dots,s+k)$-core partitions much in the spirit of a recent paper by Stanley and Zanello. In fact, our results exploit connections between three combinatorial objects: multi-cores, posets and lattice paths (with a novel generalization of Dyck paths). Additional results and conjectures are scattered throughout the paper. For example, one of these statements implies a curious symmetry for twin-prime $(s,s+2)$-core partitions.

We consider sequences of degrees of ordinary irreducible $S_n$-characters. We assume that the corresponding Young diagrams have rows and columns bounded by some linear function of $n$ with leading coefficient less than one. We show that any such sequence has at least exponential growth and we compute an explicit bound.

We introduce the structure of vacillating Hecke tableaux, and establish a one-to-one correspondence between vacillating Hecke tableaux and linked partitions by using the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis and Yong. Linked partitions arise in free probability theory. Motivated by the Hecke insertion algorithm, we define a Hecke diagram as a Young diagram possibly with a marked corner. A vacillating Hecke tableau is defined as a sequence of Hecke diagrams subject to certain addition and deletion of rook strips. The notion of a rook strip was introduced by Buch in the study of the Littlewood-Richardson rule for stable Grothendieck polynomials. A rook strip is a skew Young diagram with at most one square in each row and column. We show that the crossing number and the nesting number of a linked partition can be determined by the maximal number of rows and the maximal number of columns of the diagrams in the corresponding vacillating Hecke tableau. The proof relies on a theorem due to Thomas and Yong concerning the lengths of the longest strictly increasing and the longest strictly decreasing subsequences in a word. This implies that the crossing number and the nesting number have a symmetric joint distribution over linked partitions, confirming a conjecture of de Mier. We also prove a conjecture of Kim which states that the crossing number and the nesting number have a symmetric joint distribution over the front representations of partitions.

We introduce the following class of partizan games, called pomax games. Given a partially ordered set whose elements are colored black or white, the players Black and White take turns removing any maximal element of their own color. If there is no such element, the player loses. We prove that pomax games are always integer-valued and for colored tree posets and chess-colored Young diagram posets we give a simple formula for the value of the game. However, for pomax games on general posets of height 3 we show that the problem of deciding the winner is PSPACE-complete and for posets of height 2 we prove NP-hardness. Pomax games are just a special case of a larger class of integer-valued games that we call element-removal games, and we pose some open questions regarding element-removal games that are not pomax games.

Let $λ$ be a partition, viewed as a Young diagram. We define the hook difference of a cell of $λ$ to be the difference of its leg and arm lengths. Define $h_{1,1}(λ)$ to be the number of cells of $λ$ with hook difference one. In the paper of Buryak and Feigin (arXiv:1206.5640), algebraic geometry is used to prove a generating function identity which implies that $h_{1,1}$ is equidistributed with $a_2$, the largest part of a partition that appears at least twice, over the partitions of a given size. In this paper, we propose a refinement of the theorem of Buryak and Feigin and prove some partial results using combinatorial methods. We also obtain a new formula for the q-Catalan numbers which naturally leads us to define a new q,t-Catalan number with a simple combinatorial interpretation.

We study intersection numbers of invariant divisors in the toric manifold associated with the fan determined by the collection of Weyl chambers for each root system of classical type and of exceptional type $G_2$. We give a combinatorial formula for intersection numbers of certain subvarieties which are naturally indexed by elements of the Weyl group. These numbers describe the ring structure of the cohomology of the toric manifold.

We show that certain weighted average of the alpha-determinant of a $kn$ by $kn$ matrix of the form $A\otimes1_{1,k}$, the Kronecker product of a $kn$ by $n$ matrix $A$ and $1$ by $k$ all one matrix $1_{1,k}$, over permutations of $kn$ letters is reduced to the $k$-wreath determinant of $A$ up to constant. The constant is exactly given by the modified content polynomial for the Young diagram $(k^n)$. As a corollary, we give a `determinantal' formula for certain functions on the symmetric groups which are invariant under the left and right translation by a Young subgroup, especially the values of the Kostka numbers for rectangular shapes with arbitrary weight. This corollary gives a generalization of the formula of irreducible characters of the symmetric group for rectangular shapes due to Stanley.

In this paper, we consider a deformation of Plancherel measure linked to Jack polynomials. Our main result is the description of the first and second-order asymptotics of the bulk of a random Young diagram under this distribution, which extends celebrated results of Vershik-Kerov and Logan-Shepp (for the first order asymptotics) and Kerov (for the second order asymptotics). This gives more evidence of the connection with Gaussian $β$-ensemble, already suggested by some work of Matsumoto. Our main tool is a polynomiality result for the structure constant of some quantities that we call Jack characters, recently introduced by Lassalle. We believe that this result is also interested in itself and we give several other applications of it.

Asymptotic representation theory of general linear groups GL(n,q) over a finite field leads to studying probability measures ρon the group U of all infinite uni-uppertriangular matrices over F_q, with the condition that ρis invariant under conjugations by arbitrary infinite matrices. Such probability measures form an infinite-dimensional simplex, and the description of its extreme points (in other words, ergodic measures ρ) was conjectured by Kerov in connection with nonnegative specializations of Hall-Littlewood symmetric functions. Vershik and Kerov also conjectured the following Law of Large Numbers. Consider an n by n diagonal submatrix of the infinite random matrix drawn from an ergodic measure coming from the Kerov's conjectural classification. The sizes of Jordan blocks of the submatrix can be interpreted as a (random) partition of n, or, equivalently, as a (random) Young diagram λ(n) with n boxes. Then, as n goes to infinity, the rows and columns of λ(n) have almost sure limiting frequencies corresponding to parameters of this ergodic measure. Our main result is the proof of this Law of Large Numbers. We achieve it by analyzing a new randomized Robinson-Schensted-Knuth (RSK) insertion algorithm which samples random Young diagrams λ(n) coming from ergodic measures. The probability weights of these Young diagrams are expressed in terms of Hall-Littlewood symmetric functions. Our insertion algorithm is a modified and extended version of a recent construction by Borodin and the second author (arXiv:1305.5501). On the other hand, our randomized RSK insertion generalizes a version of the RSK insertion introduced by Vershik and Kerov (1986) in connection with asymptotic representation theory of symmetric groups (which is governed by nonnegative specializations of Schur symmetric functions).

We show that the distribution of the major index over the set of involutions in S_n that avoid the pattern 321 is given by the q-analogue of the n-th central binomial coefficient. The proof consists of a composition of three non-trivial bijections, one being the Robinson-Schensted correspondence, ultimately mapping those involutions with major index m into partitions of m whose Young diagram fits inside an n/2 by n/2 box. We also obtain a refinement that keeps track of the descent set, and we deduce an analogous result for the comajor index of 123-avoiding involutions.

We determine the most general form of a smooth function on Young diagrams, that is, a polynomial in the interlacing or multirectangular coordinates whose value depends only on the shape of the diagram. We prove that the algebra of such functions is isomorphic to quasi-symmetric functions, and give a noncommutative analog of this result.

We continue the study of root-theoretic Young diagrams (RYDs) from [Searles-Yong '13]. We provide an RYD formula for the $GL_n$ Belkale-Kumar product, after [Knutson-Purbhoo '11], and we give a translation of the indexing set of [Buch-Kresch-Tamvakis '09] for Schubert varieties of non-maximal isotropic Grassmannians into RYDs. We then use this translation to prove that the RYD formulas of [Searles-Yong '13] for Schubert calculus of the classical (co)adjoint varieties agree with the Pieri rules of [Buch-Kresch-Tamvakis '09], which were needed in the proofs of the (co)adjoint formulas.

We present a determinantal formula for the steady state probability of each state of the TASEP (Totally Asymmetric Simple Exclusion Process) with open boundaries, a 1D particle model that has been studied extensively and displays rich combinatorial structure. These steady state probabilities are computed by the enumeration of Catalan tableaux, which are certain Young diagrams filled with $α$'s and $β$'s that satisfy some conditions on the rows and columns. We construct a bijection from the Catalan tableaux to weighted lattice paths on a Young diagram, and from this we enumerate the paths with a determinantal formula, building upon a formula of Narayana that counts unweighted lattice paths on a Young diagram. Finally, we provide a formula for the enumeration of Catalan tableaux that satisfy a given condition on the rows, which corresponds to the steady state probability that in the TASEP on a lattice with $n$ sites, precisely $k$ of the sites are occupied by particles. This formula is an $α /\ β$ generalization of the Narayana numbers.

Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$. Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$, which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson. We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$, of the number of cover-inclusive Dyck tilings of $λ\setminusμ$. Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.

We give an explicit and simple construction of the incidence graph for the integral cohomology of real Grassmann manifold Gr(k,n) in terms of the Young diagrams filled with the letter q in checkered pattern. It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they compute the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincaré-Verdier duality. We also give an explicit formula of the Poincaré polynomial for Gr(k,n) and show that the Poincaré polynomial is also related to the number of points on Gr(k,n) over a finite field {F}_q with q being a power of prime which is also used in the Young diagrams.

We consider a stochastic version of Bulgarian solitaire: A number of cards are distributed in piles; in every round a new pile is formed by cards from the old piles, and each card is picked independently with a fixed probability. This game corresponds to a multi-square birth-and-death process on Young diagrams of integer partitions. We prove that this process converges in a strong sense to an exponential limit shape as the number of cards tends to infinity. Furthermore, we bound the probability of deviation from the limit shape and relate this to the number of rounds played in the solitaire.

We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess both uniform and non-uniform features. Using these classical type rules, as well as results of P.-E.Chaput-N.Perrin in the exceptional types, we suggest a connection between polytopality of the set of nonzero Schubert structure constants and planarity of the diagrams. This is an addition to work of A.Klyachko and A.Knutson-T.Tao on the Grassmannian and of K.Purbhoo-F.Sottile on cominuscule varieties, where the diagrams are always planar.

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

Partially ordered sets of type (k, n) are the sets such that a) cardinality of each set is n, b) dimension of each set is two, c) length of the maximal antichain in each set is k. Let α_k(n) be the number of partially ordered sets of type (k, n). We prove that α_k(n)<min{k^{2n}/((k!)^2), (n-k+1)^{2n}/(((n-k)!)^2)}. Denote by ξ_k(n) the number of permutations from S_n such that the maximal decreasing chain of such permutation has length k. We prove that ξ_k(n)<k^{2n}/(((k-1)!)^2). We survey connections among the pairs of linear orders, the pairs Young diagrams, two-dimensional arrays of positive integers and matrices of nonnegative integers. This survey is based on papers of Schensted and Knuth. We show the generating function of ξ_k(n). It was obtained by Gessen in 1990.