arXiv++ Combinatorics

We give a review of the current status of the X=M conjecture. Here X stands for the one-dimensional configuration sum and M for the corresponding fermionic formula. There are three main versions of this conjecture: the unrestricted, the classically restricted and the level-restricted version. We discuss all three versions and illustrate the methods of proof with many examples for type A_{n-1}^{(1)}. In particular, the combinatorial approach via crystal bases and rigged configurations is discussed. Each section ends with a conglomeration of open problems.

A new fermionic formula for the unrestricted Kostka polynomials of type $A_{n-1}^{(1)}$ is presented. This formula is different from the one given by Hatayama et al. and is valid for all crystal paths based on Kirillov-Reshetihkin modules, not just for the symmetric and anti-symmetric case. The fermionic formula can be interpreted in terms of a new set of unrestricted rigged configurations. For the proof a statistics preserving bijection from this new set of unrestricted rigged configurations to the set of unrestricted crystal paths is given which generalizes a bijection of Kirillov and Reshetikhin.

Rigged configurations are combinatorial objects originating from the Bethe Ansatz, that label highest weight crystal elements. In this paper a new unrestricted set of rigged configurations is introduced for types ADE by constructing a crystal structure on the set of rigged configurations. In type A an explicit characterization of unrestricted rigged configurations is provided which leads to a new fermionic formula for unrestricted Kostka polynomials or q-supernomial coefficients. The affine crystal structure for type A is obtained as well.

The X=M conjecture of Hatayama et al. asserts the equality between the one-dimensional configuration sum X expressed as the generating function of crystal paths with energy statistics and the fermionic formula M for all affine Kac--Moody algebra. In this paper we prove the X=M conjecture for tensor products of Kirillov--Reshetikhin crystals B^{1,s} associated to symmetric powers for all nonexceptional affine algebras.

The Kirillov--Reshetikhin modules W^{r,s} are finite-dimensional representations of quantum affine algebras U'_q(g), labeled by a Dynkin node r of the affine Kac--Moody algebra g and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^{2,s} corresponding to W^{2,s} for the algebra of type D_n^{(1)}.

Hatayama et al. conjectured fermionic formulas associated with tensor products of U'_q(g)-crystals B^{r,s}. The crystals B^{r,s} correspond to the Kirillov--Reshetikhin modules which are certain finite dimensional U'_q(g)-modules. In this paper we present a combinatorial description of the affine crystals B^{r,1} of type D_n^{(1)}. A statistic preserving bijection between crystal paths for these crystals and rigged configurations is given, thereby proving the fermionic formula in this case. This bijection reflects two different methods to solve lattice models in statistical mechanics: the corner-transfer-matrix method and the Bethe Ansatz.

Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it is difficult to compute the fermionic formula efficiently. Kleber (q-alg/9611032 and math.QA/9809087) found an algorithm for the simply-laced algebras which overcomes this problem. We present a method which reduces all other cases to the simply-laced case using embeddings of affine algebras. This is the fermionic analogue of the virtual crystal construction by the authors, which is the realization of crystal graphs for arbitrary quantum affine algebras in terms of those of simply-laced type.

Kerov, Kirillov, and Reshetikhin defined a bijection between highest weight vectors in the crystal graph of a tensor power of the vector representation, and combinatorial objects called rigged configurations, for type $A^{(1)}_n$. We define an analogous bijection for all nonexceptional affine types, thereby proving (in this special case) the fermionic formulas conjectured by Hatayama, Kuniba, Takagi, Tsuboi, Yamada, and the first author.

Kang et al. provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, this result is generalized to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfect crystals. The motivation for this work is an interpretation of fermionic formulas, which arise from the combinatorics of Bethe Ansatz studies of solvable lattice models, as branching functions of affine Lie algebras. It is shown that the conditions for the tensor product theorem are satisfied for coherent families of crystals previously studied by Kang, Kashiwara and Misra, and the coherent family of crystals $\{B^{k,l}\}_{l\ge 1}$ of type $A_n^{(1)}$.

q-Supernomial coefficients are generalizations of the q-binomial coefficients. They can be defined as the coefficients of the Hall-Littlewood symmetric function in a product of the complete symmetric functions or the elementary symmetric functions. Hatayama et al. give explicit expressions for these q-supernomial coefficients. A combinatorial expression as the generating function of ribbon tableaux with (co)spin statistic follows from the work of Lascoux, Leclerc and Thibon. In this paper we interpret the formulas by Hatayama et al. in terms of rigged configurations and provide an explicit statistic preserving bijection between rigged configurations and ribbon tableaux thereby establishing a new direct link between these combinatorial objects.

Level-restricted paths play an important role in crystal theory. They correspond to certain highest weight vectors of modules of quantum affine algebras. We show that the recently established bijection between Littlewood--Richardson tableaux and rigged configurations is well-behaved with respect to level-restriction and give an explicit characterization of level-restricted rigged configurations. As a consequence a new general fermionic formula for the level-restricted generalized Kostka polynomial is obtained. Some coset branching functions of type $A$ are computed by taking limits of these fermionic formulas.

In this paper it is shown that the one-dimensional configuration sums of the solvable lattice models of Andrews, Baxter and Forrester and the string functions associated with admissible representations of the affine Lie algebra A$_1^{(1)}$ as introduced by Kac and Wakimoto can be exploited to yield a very general class of conjugate Bailey pairs. Using the recently established fermionic or constant-sign expressions for the one-dimensional configuration sums, our result is employed to derive fermionic expressions for fractional-level string functions, parafermion characters and A$_1^{(1)}$ branching functions. In addition, $q$-series identities are obtained whose Lie algebraic and/or combinatorial interpretation is still lacking.

A bijection is defined from Littlewood-Richardson tableaux to rigged configurations. It is shown that this map preserves the appropriate statistics, thereby proving a quasi-particle expression for the generalized Kostka polynomials, which are q-analogues of multiplicities in tensor products of irreducible general linear group modules indexed by rectangular partitions.

We prove a bosonic formula for the generating function of level-restricted paths for the infinite families of affine Kac-Moody algebras. In affine type A this yields an expression for the level-restricted generalized Kostka polynomials.

Using new $q$-functions recently introduced by Hatayama et al. and by (two of) the authors, we obtain an A_2 version of the classical Bailey lemma. We apply our result, which is distinct from the A_2 Bailey lemma of Milne and Lilly, to derive Rogers-Ramanujan-type identities for characters of the W_3 algebra.

Inhomogeneous lattice paths are introduced as ordered sequences of rectangular Young tableaux thereby generalizing recent work on the Kostka polynomials by Nakayashiki and Yamada and by Lascoux, Leclerc and Thibon. Motivated by these works and by Kashiwara's theory of crystal bases we define a statistic on paths yielding two novel classes of polynomials. One of these provides a generalization of the Kostka polynomials while the other, which we name the A$_{n-1}$ supernomial, is a $q$-deformation of the expansion coefficients of products of Schur polynomials. Many well-known results for Kostka polynomials are extended leading to representations of our polynomials in terms of a charge statistic on Littlewood-Richardson tableaux and in terms of fermionic configuration sums. Several identities for the generalized Kostka polynomials and the A$_{n-1}$ supernomials are proven or conjectured. Finally, a connection between the supernomials and Bailey's lemma is made.