arXiv++ Combinatorics

We present combinatorial operators for the expansion of the Kronecker product of irreducible representations of the symmetric group. These combinatorial operators are defined in the ring of symmetric functions and act on the Schur functions basis. This leads to a combinatorial description of the Kronecker powers of the irreducible representations indexed with the partition (n-1,1) which specializes the concept of oscillating tableaux in Young's lattice previously defined by S. Sundaram. We call our specialization {\it Kronecker tableaux}. Their combinatorial analysis leads to enumerative results for the multiplicity of any irreducible representation in the Kronecker powers of the form ${\c^{(n-1,1)}}^{\otimes k}$.

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 present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the notion of a lambda-chain, which is a chain of positive roots defined by certain interlacing conditions.

The purpose of this paper is to give an explicit description of the trivial and alternating components of the irreducible representation decomposition of the bigraded module obtained as the tensor square of the coinvariant space for hyperoctahedral groups.

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.

A derivation of the basis of states for the $SM(2,4k)$ superconformal minimal models is presented. It relies on a general hypothesis concerning the role of the null field of dimension $2k-1/2$. The basis is expressed solely in terms of $G_r$ modes and it takes the form of simple exclusion conditions (being thus a quasi-particle-type basis). Its elements are in correspondence with $(2k-1)$-restricted jagged partitions. The generating functions of the latter provide novel fermionic forms for the characters of the irreducible representations in both Ramond and Neveu-Schwarz sectors.

The aim of the present survey paper is to provide an accessible introduction to a new chapter of representation theory - harmonic analysis for noncommutative groups with infinite-dimensional dual space. I omitted detailed proofs but tried to explain the main ideas of the theory and its connections with other fields. The fact that irreducible representations of the groups in question depend on infinitely many parameters leads to a number of new effects which never occurred in conventional noncommutative harmonic analysis. A link with stochastic point processes is especially emphasized. The exposition focuses on a single group, the infinite symmetric group. The reason is that presently this particular example is worked out the most. Furthermore, the infinite symmetric group can serve as a very good model for more complicated groups like the infinite-dimensional unitary group.

We show how the knowledge of the Fourier coefficients of the Cherednik kernel leads to combinatorial formulas for generalized exponents. We recover known formulas for generalized exponents of irreducible representations parameterized by dominant roots, and obtain new formulas for the generalized exponents for irreducible representations parameterized by the dominant elements of the root lattice which are sums of two orthogonal short roots.

Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda) of the Specht modules of the symmetric group. The q-Specht modules have an "integral form" which is defined over the Laurent polynomial ring Z_[q,q^{-1}] and they come equipped with a natural bilinear form with values in this ring. Now Z[q,q^{-1}] is not a principal ideal domain. Nonetheless, we try to compute the elementary divisors of the Gram matrix of the bilinear form on S_q(lambda). When they are defined, we give a precise relationship between the elementary divisors of the Specht modules S_q(lambda) and S_q(lambda'), where lambda' is the conjugate partition. We also compute the elementary divisors when lambda is a hook partition and give examples to show that in general elementary divisors do not exist.

We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples.

We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irreducible representations of such groups. We present machinery and examples to support (1), including a proof that certain families of groups of order n^(2 + o(1)) support n-by-n matrix multiplication, a necessary condition for the approach to yield exponent 2. Although we cannot yet completely achieve both (1) and (2), we hope that it may be possible, and we suggest potential routes to that result using the constructions in this paper.

We give asymptotic formulas for the multiplicities of weights and irreducible summands in high-tensor powers $V_λ^{\otimes N}$ of an irreducible representation $V_λ$ of a compact connected Lie group $G$. The weights are allowed to depend on $N$, and we obtain several regimes of pointwise asymptotics, ranging from a central limit region to a large deviations region. We use a complex steepest descent method that applies to general asymptotic counting problems for lattice paths with steps in a convex polytope.

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$.

We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T.

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 goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of. We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976. The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin. We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.

We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices. We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.

Using a general result of Lusztig, we give explicit formulas for the dimensions of K^F-invariants in irreducible representations of G^F, when G=GL_n, F:G->G is a Frobenius map, and K is an F-stable subgroup of finite index in G^theta for some involution theta:G->G commuting with F. The proofs use some combinatorial facts about characters of symmetric groups.