arXiv++ Combinatorics

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.

We consider the problem of finding the number of matrices over a finite field with a certain rank and with support that avoids a subset of the entries. These matrices are a q-analogue of permutations with restricted positions (i.e., rook placements). For general sets of entries these numbers of matrices are not polynomials in q (Stembridge 98); however, when the set of entries is a Young diagram, the numbers, up to a power of q-1, are polynomials with nonnegative coefficients (Haglund 98). In this paper, we give a number of conditions under which these numbers are polynomials in q, or even polynomials with nonnegative integer coefficients. We extend Haglund's result to complements of skew Young diagrams, and we apply this result to the case when the set of entries is the Rothe diagram of a permutation. In particular, we give a necessary and sufficient condition on the permutation for its Rothe diagram to be the complement of a skew Young diagram up to rearrangement of rows and columns. We end by giving conjectures connecting invertible matrices whose support avoids a Rothe diagram and Poincaré polynomials of the strong Bruhat order.

Since every even power of the Vandermonde determinant is a symmetric polynomial, we want to understand its decomposition in terms of the basis of Schur functions. We investigate several combinatorial properties of the coefficients in the decomposition. In particular, we give recursive formulas for the coefficient of the Schur function $s_{\m}$ in the decomposition of an even power of the Vandermonde determinant in $n + 1$ variables in terms of the coefficient of the Schur function $s_ł$ in the decomposition of the same even power of the Vandermonde determinant in $n$ variables if the Young diagram of $\m$ is obtained from the Young diagram of $ł$ by adding a tetris type shape to the top or to the left. An extended abstract containing the statement of the results presented here appeared in the Proceedings of FPSAC11

We consider a deformation of Kerov character polynomials, linked to Jack symmetric functions. It has been introduced recently by M. Lassalle, who formulated several conjectures on these objects, suggesting some underlying combinatorics. We give a partial result in this direction, showing that some quantities are polynomials in the Jack parameter $α$ with prescribed degree. Our result has several interesting consequences in various directions. Firstly, we give a new proof of the fact that the coefficients of Jack polynomials expanded in the monomial or power-sum basis depend polynomially in $α$. Secondly, we describe asymptotically the shape of random Young diagrams under some deformation of Plancherel measure.

We introduce two families of symmetric functions generalizing the factorial Schur $P$- and $Q$- functions due to Ivanov. We call them $K$-theoretic analogues of factorial Schur $P$- and $Q$- functions. We prove various combinatorial expressions for these functions, e.g. as a ratio of Pfaffians, and a sum over excited Young diagrams. As a geometric application, we show that these functions represent the Schubert classes in the $K$-theory of torus equivariant coherent sheaves on the maximal isotropic Grassmannians of symplectic and orthogonal types. This generalizes a corresponding result for the equivariant cohomology given by the authors. We also discuss a remarkable property enjoyed by these functions, which we call the $K$-theoretic $Q$-cancellation property. We prove that the $K$-theoretic $P$-functions form a (formal) basis of the ring of functions with the $K$-theoretic $Q$-cancellation property.

The paper concerns the limit shape (under some probability measure) of convex polygonal lines with vertices on $\mathbb{Z}_+^2$, starting at the origin and with the right endpoint $n=(n_1,n_2)\to\infty$. In the case of the uniform measure, an explicit limit shape $γ^*:=\{(x_1,x_2)\in\mathbb{R}_+^2\colon \sqrt{1-x_1}+\sqrt{x_2}=1\}$ was found independently by Vershik (1994), Bárány (1995), and Sinai (1994). Recently, Bogachev and Zarbaliev (2011) proved that the limit shape $γ^*$ is universal for a certain parametric family of multiplicative probability measures generalizing the uniform distribution. In the present work, the universality result is extended to a much wider class of multiplicative measures, including (but not limited to) analogs of the three meta-types of decomposable combinatorial structures -- multisets, selections and assemblies. This result is in sharp contrast with the one-dimensional case where the limit shape of Young diagrams associated with integer partitions heavily depends on the distributional type.

We derive the limit shape of Young diagrams, associated with growing integer partitions, with respect to multiplicative probability measures underpinned by the generating functions of the form $\mathcal{F}(z)=\prod_{\ell=1}^\infty \mathcal{F}_0(z^\ell)$ (which entails equal weighting among possible parts $\ell\in\mathbb{N}$). Under mild technical assumptions on the function $H_0(u)=\ln(\mathcal{F}_0(u))$, we show that the limit shape $ω^*(x)$ exists and is given by the equation $y=γ^{-1}H_0(\mathrm{e}^{-γx})$, where $γ^2=\int_0^1 u^{-1}H_0(u)\,\mathrm{d}u$. The wide class of partition measures covered by this result includes (but is not limited to) representatives of the three meta-types of decomposable combinatorial structures --- assemblies, multisets and selections. Our method is based on the usual randomization and conditioning; to this end, a suitable local limit theorem is proved. The proofs are greatly facilitated by working with the cumulants of sums of the part counts rather than with their moments.

The functions satisfying the mean value property for an n-dimensional cube are determined explicitly. This problem is related to invariant theory for a finite reflection group, especially to a system of invariant differential equations. Solving this problem is reduced to showing that a certain set of invariant polynomials forms an invariant basis. After establishing a certain summation formula over Young diagrams, the latter problem is settled by considering a recursion formula involving Bernoulli numbers. Keywords: polyhedral harmonics; cube; reflection groups; invariant theory; invariant differential equations; generating functions; partitions; Young diagrams; Bernoulli numbers.

Let $(X_n)_{n \ge 0}$ be an irreducible, aperiodic, homogeneous Markov chain, with state space a totally ordered finite alphabet of size $m$. Using combinatorial constructions and weak invariance principles, we obtain the limiting shape of the associated RSK Young diagrams as a multidimensional Brownian functional. Since the length of the top row of the Young diagrams is also the length of the longest weakly increasing subsequences of $(X_k)_{1\le k \le n}$, the corresponding limiting law follows. We relate our results to a conjecture of Kuperberg by providing, under a cyclic condition, a spectral characterization of the Markov transition matrix precisely characterizing when the limiting shape is the spectrum of the $m \times m$ traceless GUE. For each $m \ge 4$, this characterization identifies a proper, non-trivial class of cyclic transition matrices producing such a limiting shape. However, for $m=3$, all cyclic Markov chains have such a limiting shape, a fact previously only known for $m=2$. For $m$ arbitrary, we also study reversible Markov chains and obtain a characterization of symmetric Markov chains for which the limiting shape is the spectrum of the traceless GUE. To finish, we explore, in this general setting, connections between various limiting laws and spectra of Gaussian random matrices, focusing in particular on the relationship between the terminal points of the Brownian motions, the diagonal terms of the random matrix, and the scaling of its off-diagonal terms, a scaling we conjecture to be a function of the spectrum of the covariance matrix governing the Brownian motion.