arXiv++ Combinatorics

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.

Let $GL_M$ be general linear Lie group over the complex field. The irreducible rational representations of the group $GL_M$ are labeled by pairs of partitions $μ$ and $\tildeμ$ such that the total number of non-zero parts of $μ$ and $\tildeμ$ does not exceed $M$. Let $U$ be the representation of $GL_M$ corresponding to such a pair. Regard the direct product $GL_N\times GL_M$ as a subgroup of $GL_{N+M}$. Let $V$ be the irreducible rational representation of the group $GL_{N+M}$ corresponding to a pair of partitions $λ$ and $\tildeλ$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $GL_N$. Let $n$ be sum of parts of $λ$ less the sum of parts of $μ$. Let $\tilde{n}$ be sum of parts of $\tildeλ$ less the sum of parts of $\tildeμ$. For any choice of two standard Young tableaux of skew shapes $λ/μ$ and $\tildeλ/\tildeμ$ respectively, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $GL_N$, and of $\tilde{n}$ copies of the contragredient representation. This subspace is determined as the image of a certain linear operator $F$ in the tensor product, given by explicit multiplicative formula. When M=0 and $W=V$ is an irreducible representation of $GL_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator $F$ can be regarded as the rational analogue of the Young symmetrizer, corresponding to the chosen standard tableau of shape $λ$. Even in the special case M=0, our formula for the operator $F$ is new. Our results are applications of representation theory of the Yangian of the Lie algebra $gl_N$.

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 and we show that it very closely related to the combinatorial approach to random matrices. Our formulas are exact (in a sense that they hold not only asymptotically for large q). This result has many interesting applications, for example it allows to find precise asymptotics of characters of large symmetric groups and asymptotics of the Plancherel measure on Young diagrams.

Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.

Hessenberg varieties are a family of subvarieties of the flag variety, including the Springer fibers, the Peterson variety, and the entire flag variety itself. The seminal example arises from a problem in numerical analysis and consists for a fixed linear operator M of the full flags V_1 \subsetneq V_2 >... \subsetneq V_n in GL_n with M V_i contained in V_{i+1} for all i. In this paper I show that all Hessenberg varieties in type A_n and semisimple and regular nilpotent Hessenberg varieties in types B_n,C_n, and D_n can be paved by affine spaces. Moreover, this paving is the intersection of a particular Bruhat decomposition with the Hessenberg variety. In type A_n, an equivalent description of the cells of the paving in terms of certain fillings of a Young diagram can be used to compute the Betti numbers of Hessenberg varieties. As an example, I show that the Poincare polynomial of the Peterson variety in A_n is \sum_{i =0}^{n-1} \binom{n-1}{i} x^{2i}.

The Yangian of the Lie algebra $gl_N$ has a distinguished family of irreducible finite-dimensional representations, called elementary representations. They are parametrized by pairs, consisting of a skew Young diagram and a complex number. Each of these representations has an explicit realization, it extends the classical realization of the irreducible polynomial representations of $gl_N$ by means of the Young symmetrizers. We explicitly construct analogues of these elementary representations for the twisted Yangian, which corresponds to the Lie algebra $so_N$. Our construction provides solutions to several open problems in the classical representation theory. In particular, we obtain analogues of the Young symmetrizers for the Brauer centralizer algebra.

Fix a rectangular Young diagram R, and consider all the products of Schur functions s(mu) s(mu^c), where mu and mu^c run over all (unordered) pairs of partitions which are complementary with respect to R. Theorem: The self-complementary products, s(mu)^2 where mu=mu^c, are linearly independent of all other s(mu) s(mu^c). Conjecture: The products s(mu) s(mu^c) are all linearly independent.

Let $G_M$ be one of the complex Lie groups $O_M$ and $Sp_M$. The irreducible finite-dimensional representations of the group $G_M$ are labeled by partitions $μ$ satisfying certain extra conditions. Let $U$ be the representation of $G_M$ corresponding to $μ$. Regard the direct product $G_N\times G_M$ as a subgroup of $G_{N+M}$. Let $V$ be the irreducible representation of $G_{N+M}$ corresponding to a partition $λ$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $G_N$. Let $n$ be sum of parts of $λ$ less the sum of parts of $μ$. For any choice of a standard Young tableau of skew shape $λ/μ$, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $G_N$. This subspace is determined as the image of a certain linear operator $F(M)$ in the tensor product, given by an explicit formula. When M=0 and $W=V$ is an irreducible representation of $G_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator F(0) can be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the chosen standard tableau of shape $λ$. Even in the special case M=0, our formula for the operator $F(M)$ is new. Our results are applications of representation theory of the twisted Yangian, corresponding to $G_N$. In particular, $F(M)$ is an intertwining operator between two representations of the twisted Yangian in the $n$-fold tensor product.

The finite Pfaff lattice is given by commuting Lax pairs involving a finite matrix L (zero above the first subdiagonal) and a projection onto Sp(N). The lattice admits solutions such that the entries of the matrix L are rational in the time parameters t_1,t_2,..., after conjugation by a diagonal matrix. The sequence of polynomial tau-functions, solving the problem, belongs to an intriguing chain of subspaces of Schur polynomials, associated to Young diagrams, dual with respect to a finite chain of rectangles. Also, this sequence of tau-functions is given inductively by the action of a fixed vertex operator. As examples, one such sequence is given by Jack polynomials for rectangular Young diagrams, while another chain starts with any two-column Jack polynomial.