arXiv++ Combinatorics

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.

Plane partitions naturally appear in many problems of statistical physics and quantum field theory, for instance, in the theory of faceted crystals and of topological strings on Calabi-Yau threefolds. In this paper a connection is made between the exactly solvable model with the boson dynamical variables and a problem of enumeration of boxed plane partitions - three dimensional Young diagrams placed into a box of a finite size. The correlation functions of the boson model may be considered as the generating functionals of the Young diagrams with the fixed heights of its certain columns. The evaluation of the correlation functions is based on the Yang-Baxter algebra. The analytical answers are obtained in terms of determinants and they can also be expressed through the Schur functions.

We derive a new expression for the diagonal matrix elements of irreducible representations of the symmetric group. 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 investigate the limiting distribution of the fluctuations of the maximal summand in a random partition of a large integer with respect to a multiplicative statistics. We show that for a big family of Gibbs measures on partitions (so called generalized Bose--Einstein statistics) this distribution is the well-known Gumbel distribution which usually appears in the context of indepedent random variables. In particular, it means that the (properly rescaled) maximal energy of an individual particle in the grand canonical ensemble of the $d$-dimensional quantum ideal gas has the Gumbel distribution in the limit. We also apply our result to find the fluctuations of the height of a random 3D Young diagram (plane partition) and investigate the order statistics of random partitions under generalized Bose--Einstein statistics.

We study asymptotics of reducible representations of the symmetric groups S_q for large q. We decompose such a representation as a sum of irreducible components (or, alternatively, Young diagrams) and we ask what is the character of a randomly chosen component (or, what is the shape of a randomly chosen Young diagram). Our main result is that for a large class of representations the fluctuations of characters (and fluctuations of the shape of the Young diagrams) are asymptotically Gaussian; in this way we generalize Kerov's central limit theorem. The considered class consists of representations for which the characters almost factorize and this class includes, for example, left-regular representation (Plancherel measure), tensor representations. This class is also closed under induction, restriction, outer product and tensor product of representations. Our main tool in the proof is the method of genus expansion, well known from the random matrix theory.

The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys--Murphy element involves many conjugacy classes with complicated coefficients. In this article we consider a combinatorial setup which allows us to manipulate such products easily: to each conjugacy class we associate a two-dimensional surface and the asymptotic properties of the conjugacy class depend only on the genus of the resulting surface. This construction closely resembles the genus expansion from the random matrix theory. As the main application we study irreducible representations of symmetric groups S_q for large q. We find the asymptotic behavior of characters when the corresponding Young diagram rescaled by a factor q^{-1/2} converge to a prescribed shape. The character formula (known as the Kerov polynomial) can be viewed as a power series, the terms of which correspond to two-dimensional surfaces with prescribed genus and we compute explicitly the first two terms, thus we prove a conjecture of Biane.

We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).

We give a basis for the space V spanned by the lowest degree part \hat{s}_λof the expansion of the Schur symmetric functions s_λin terms of power sums, where we define the degree of the power sum p_i to be 1. In particular, the dimension of the subspace V_n spanned by those \hat{s}_λfor which λis a partition of n is equal to the number of partitions of n whose parts differ by at least 2. We also show that a symmetric function closely related to \hat{s}_λhas the same coefficients when expanded in terms of power sums or augmented monomial symmetric functions. Proofs are based on the theory of minimal border strip decompositions of Young diagrams.

The Murnaghan-Nakayama rule is the classical formula for computing the character table of S_n. Y. Roichman has recently discovered a rule for the Kazhdan-Lusztig characters of q-Hecke algebras of type A, which can also be used for the character table of S_n. For each of the two rules, we give an algorithm for computing entries in the character table of S_n. We then analyze the computational complexity of the two algorithms, and in the case of characters indexed by partitions in the (k,l)-hook, compare their complexities to each other. It turns out that the algorithm based on the Murnaghan-Nakayama rule requires far less operations than the other algorithm. We note the algorithms' complexities' relation to two enumeration problems of Young diagrams and Young tableaux.

We introduce interpolation analogues of Schur Q-functions - the multiparameter Schur Q-functions. We obtain for them several results: a combinatorial formula, generating functions for one-row and two-rows functions, vanishing and characterization properties, a Pieri-type formula, a Nimmo-type formula (a relation of two Pfaffians), a Giambelli-Schur-type Pfaffian formula, a determinantal formula for the transition coefficients between multiparameter Schur Q-functions with different parameters. We write an explicit Pfaffian expression for the dimension of skew shifted Young diagram. This paper is a continuation of author's paper math.CO/0303169 and is a partial projective analogue of the paper by A. Okounkov and G. Olshanski q-alg/9605042, and of the paper by G. Olshanski, A. Regev and A. Vershik math.CO/0110077.

We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants in terms of normalized characters of the appropriate representation of the symmetric group S_q. Our analysis considers the case when the Young diagrams rescaled by q^{-1/2} converge towards some prescribed shape. We find explicitly the second order asymptotic expansion and outline the algorithm which allows to find the asymptotic expansion of any order. As a corollary we obtain the second order asymptotic expansion of characters evaluated on cycles in terms of free cumulants, i.e. we find explicitly terms in Kerov polynomials with the appropriate degree.

Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).

Classical Schur P-functions are the particular case of Hall-Littlewood polynomials when the parameter is equal to -1. We introduce factorial (interpolation) analogues of Schur P-functions. A dimension of a skew shifted Young diagram is the number of standard tableaux of the given shape. Also these numbers are equal up to simple factors to the decomposition coefficients of the restriction of an irreducible representation of a spin-symmetric group to a smaller spin-symmetric group. In terms of the factorial Schur P-functions we obtain an explicit formula for the dimension of a skew shifted Young diagram. The main application of this formula is the new derivation of Nazarov's classification of undecomposable projective characters of the infinite symmetric group.