arXiv++ Combinatorics

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.

We study the remarkable Saxl conjecture which states that tensor squares of certain irreducible representations of the symmetric groups S_n contain all irreducibles as their constituents. Our main result is that they contain representations corresponding to hooks and two row Young diagrams. For that, we develop a new sufficient condition for the positivity of Kronecker coefficients in terms of characters, and use combinatorics of rim hook tableaux combined with known results on unimodality of certain partition functions. We also present connections and speculations on random characters of S_n.

We give combinatorial descriptions of the restrictions to T-fixed points of the classes of structure sheaves of Schubert varieties in the T-equivariant K-theory of Grassmannians and of maximal isotropic Grassmannians of orthogonal and symplectic types. We also give formulas, based on these descriptions, for the Hilbert series and Hilbert polynomials at T-fixed points of the corresponding Schubert varieties. These descriptions and formulas are given in terms of two equivalent combinatorial models: excited Young diagrams and set-valued tableaux. The restriction fomulas are positive, in that for a Schubert variety of codimension d, the formula equals (-1)^d times a sum, with nonnegative coefficients, of monomials in the expressions (e^{-α}-1), as αruns over the positive roots. In types A_n and C_n the restriction formulas had been proved earlier by [Kreiman 05], [Kreiman 06] by a different method. In type A_n, the formula for the Hilbert series had been proved earlier by [Li-Yong 12]. The method of this paper, which relies on a restriction formula of [Graham 02] and [Willems 06], is based on the method used by [Ikeda-Naruse 09] to obtain the analogous formulas in equivariant cohomology. The formulas we give differ from the K-theoretic restriction formulas given by [Ikeda-Naruse 11], which use different versions of excited Young diagrams and set-valued tableaux. We also give Hilbert series and Hilbert polynomial formulas which are valid for Schubert varieties in any cominuscule flag variety, in terms of the 0-Hecke algebra.

Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.

We study Jack characters, which are the coefficients of the power-sum expansion of Jack symmetric functions with a suitable normalization. These quantities have been introduced by Lassalle who formulated some challenging conjectures about them. We conjecture existence of a weight on non-oriented maps (i.e., graphs drawn on non-oriented surfaces) which allows to express any given Jack character as a weighted sum of some simple functions indexed by maps. We provide a candidate for this weight which gives a positive answer to our conjecture in some, but unfortunately not all, cases. In particular, it gives a positive answer for Jack characters specialized on Young diagrams of rectangular shape. This candidate weight attempts to measure, in a sense, the non-orientability of a given map.

We investigate pattern avoidance in alternating permutations and generalizations thereof. First, we study pattern avoidance in an alternating analogue of Young diagrams. In particular, we extend Babson-West's notion of shape-Wilf equivalence to apply to alternating permutations and so generalize results of Backelin-West-Xin and Ouchterlony to alternating permutations. Second, we study pattern avoidance in the more general context of permutations with restricted ascents and descents. We consider a question of Lewis regarding permutations that are the reading words of thickened staircase Young tableaux, that is, permutations that have (k - 1) ascents followed by a descent, followed by (k - 1) ascents, et cetera. We determine the relative sizes of the sets of pattern-avoiding (k - 1)-ascent permutations in terms of the forbidden pattern. Furthermore, we give inequalities in the sizes of sets of pattern-avoiding permutations in this context that arise from further extensions of shape-equivalence type enumerations.

We calculate the Fourier-Deligne transform of the IC extension to ${\C}^{n+1}$ of the local system ${\mathcal L}_Λ$ on the cone over $\Conf_n(¶^1)$ associated to a representation $Λ$ of $S_n$, where the length $n-k$ of the first row of the Young diagram of $Λ$ is at least $\frac{|Λ|-1}{2}$. The answer is the IC extension to the dual vector space ${\C}^{n+1}$ of the local system ${\mathcal R}_λ$ on the cone over the $k$-th secant variety of the rational normal curve in $¶^n$, where ${\mathcal R}_λ$ corresponds to the representation $λ$ of $S_k$, the Young diagram of which is obtained from the Young diagram of $Λ$ by deleting its first row. We also prove an analogous statement for $S_n$-local systems on fibers of the Abel-Jacobi map. We use our result on the Fourier-Deligne transform to rederive a part of a result of Michel Brion on Kronecker coefficients.

Lecture notes for the proceedings of the workshop "Algebraic Combinatorics related to Young diagram and statistical physics", Aug. 6-10 2012, I.I.A.S., Nara, Japan.

The classical Hurwitz numbers of degree n together with the Hurwitz numbers of the seamed surfaces of degree n give rise to the Klein topological field theory. We extend this construction to the Hurwitz numbers of all degrees at once. The corresponding Cardy-Frobenius algebra is induced by arbitrary Young diagrams and arbitrary bipartite graphs. It turns out to be isomorphic to the algebra of differential operators from arXiv:1210.6955 which serves a model for open-closed string theory. The operator associated with the Young diagram of the transposition of two elements coincides with the cut-and-join operator which gives rise to relations for the classical Hurwitz numbers. We prove that the operators corresponding to arbitrary Young diagrams and bipartite graphs also give rise to relations for the Hurwitz numbers.

Motivated by the algebraic open-closed string models, we introduce and discuss an infinite-dimensional counterpart of the open-closed Hurwitz theory describing branching coverings generated both by the compact oriented surfaces and by the foam surfaces. We manifestly construct the corresponding infinite-dimensional equipped Cardy-Frobenius algebra, with the closed and open sectors are represented by conjugation classes of permutations and the pairs of permutations, i.e. by the algebra of Young diagrams and bipartite graphes respectively.

We study multiplication of any Schubert polynomial $\mathfrak{S}_w$ by a Schur polynomial $s_λ$ (the Schubert polynomial of a Grassmannian permutation) and the expansion of this product in the ring of Schubert polynomials. We derive explicit nonnegative combinatorial expressions for the expansion coefficients for certain special partitions $λ$, including hooks and the 2x2 box. We also prove combinatorially the existence of such nonnegative expansion when the Young diagram of $λ$ is a hook plus a box at the (2,2) corner. We achieve this by evaluating Schubert polynomials at the Dunkl elements of the Fomin-Kirillov algebra and proving special cases of the nonnegativity conjecture of Fomin and Kirillov. This approach works in the more general setup of the (small) quantum cohomology ring of the complex flag manifold and the corresponding (3-point) Gromov-Witten invariants. We provide an algebro-combinatorial proof of the nonnegativity of the Gromov-Witten invariants in these cases, and present combinatorial expressions for these coefficients.

These notes are designed to offer some (perhaps new) codicils to related work, a list of problems and conjectures seeking (preferably) combinatorial proofs. The main items are Eulerian polynomials and hook/contents of Young diagram, mostly on the latter. We also have items on Frobenius theorem and multi-core partitions; most recently, some problems on (what we call) colored over-partitions. Formulas analogues to or in the spirit of works by Han, Nekrasov-Okounkov and Stanley are distributed throughout. Concluding remarks are provided at the end in hopes of directing the interested researcher, properly. The newly added problem is on chromatic polynomials

Cover-inclusive Dyck tilings are tilings of skew Young diagrams with ribbon tiles shaped like Dyck paths, in which tiles are no larger than the tiles they cover. These tilings arise in the study of certain statistical physics models and also Kazhdan--Lusztig polynomials. We give two bijections between cover-inclusive Dyck tilings and linear extensions of tree posets. The first bijection maps the statistic (area + tiles)/2 to inversions of the linear extension, and the second bijection maps the "discrepancy" between the upper and lower boundary of the tiling to descents of the linear extension.