arXiv++ Combinatorics

The Bernstein vertex operators, which can be used to build recursively the Schur functions, are extended to superspace. Four families of super vertex operators are defined, corresponding to the four natural families of Schur functions in superspace. Combinatorial proofs that the super Bernstein vertex operators indeed build the Schur functions in superspace recursively are provided. We briefly mention a possible realization, in terms of symmetric functions in superspace, of the super-KP hierarchy, where the tau-function naturally expands in one of the super-Schur bases.

The theory of symmetric functions has been extended to the case where each variable is paired with an anticommuting one. The resulting expressions, dubbed superpolynomials, provide the natural N=1 supersymmetric version of the classical bases of symmetric functions. Here we consider the case where two independent anticommuting variables are attached to each ordinary variable. The N=2 super-version of the monomial, elementary, homogeneous symmetric functions, as well as the power sums, are then constructed systematically (using an exterior-differential formalism for the multiplicative bases), these functions being now indexed by a novel type of superpartitions. Moreover, the scalar product of power sums turns out to have a natural N=2 generalization which preserves the duality between the monomial and homogeneous bases. All these results are then generalized to an arbitrary value of N. Finally, for N=2, the scalar product and the homogenous functions are shown to have a one-parameter deformation, a result that prepares the ground for the yet-to-be-defined N=2 Jack superpolynomials.

Macdonald superpolynomials provide a remarkably rich generalization of the usual Macdonald polynomials. The starting point of this work is the observation of a previously unnoticed stability property of the Macdonald superpolynomials when the fermionic sector m is sufficiently large: their decomposition in the monomial basis is then independent of m. These stable superpolynomials are readily mapped into bisymmetric polynomials, an operation that spoils the ring structure but drastically simplifies the associated vector space. Our main result is a factorization of the (stable) bisymmetric Macdonald polynomials, called double Macdonald polynomials and indexed by pairs of partitions, into a product of Macdonald polynomials (albeit subject to non-trivial plethystic transformations). As an off-shoot, we note that, after multiplication by a t-Vandermonde determinant, this provides explicit formulas for a large class of Macdonald polynomials with prescribed symmetry. The factorization of the double Macdonald polynomials leads immediately to the generalization of basically every elementary properties of the Macdonald polynomials to the double case (norm, kernel, duality, positivity, etc). When lifted back to superspace, this validates various previously formulated conjectures in the stable regime. The q,t-Kostka coefficients associated to the double Macdonald polynomials are shown to be q,t-analogs of the dimensions of the irreducible representations of the hyperoctahedral group B_n. Moreover, a Nabla operator on the double Macdonald polynomials is defined and its action on a certain bisymmetric Schur function can be interpreted as the Frobenius series of a bigraded module of dimension (2n+1)^n, a formula again characteristic of the Coxeter group of type B_n. Finally, as a side result, we obtain a simple identity involving products of four Littlewood-Richardson coefficients.

A generalization of the Macdonald polynomials depending upon both commuting and anticommuting variables has been introduced recently. The construction relies on certain orthogonality and triangularity relations. Although many superpolynomials were constructed as solutions of highly over-determined system, the existence issue was left open. This is resolved here: we demonstrate that the underlying construction has a (unique) solution. The proof uses, as a starting point, the definition of the Macdonald superpolynomials in terms of the Macdonald non-symmetric polynomials via a non-standard (anti)symmetrization and a suitable dressing by anticommuting monomials. This relationship naturally suggests the form of two family of commuting operators that have the defined superpolynomials as their common eigenfunctions. These eigenfunctions are then shown to be triangular and orthogonal. Up to a normalization, these two conditions uniquely characterize these superpolynomials. Moreover, the Macdonald superpolynomials are found to be orthogonal with respect to a second (constant-term-type) scalar product and its norm is evaluated. The latter is shown to match (up to a q-power) the conjectured norm with respect to the original scalar product. Finally, we recall the super-version of the Macdonald positivity conjecture and present two new conjectures which both provide a remarkable relationship between the new (q,t)-Kostka coefficients and the usual ones.

We introduce a conjectural construction for an extension to superspace of the Macdonald polynomials. The construction, which depends on certain orthogonality and triangularity relations, is tested for high degrees. We conjecture a simple form for the norm of the Macdonald polynomials in superspace, and a rather non-trivial expression for their evaluation. We study the limiting cases q=0 and q=\infty, which lead to two families of Hall-Littlewood polynomials in superspace. We also find that the Macdonald polynomials in superspace evaluated at q=t=0 or q=t=\infty seem to generalize naturally the Schur functions. In particular, their expansion coefficients in the corresponding Hall-Littlewood bases appear to be polynomials in t with nonnegative integer coefficients. More strikingly, we formulate a generalization of the Macdonald positivity conjecture to superspace: the expansion coefficients of the Macdonald superpolynomials expanded into a modified version of the Schur superpolynomial basis (the q=t=0 family) are polynomials in q and t with nonnegative integer coefficients.

We introduce a new representation of the paths of the Forrester-Baxter RSOS models which represents the states of the irreducible modules of the minimal models M(p',p). This representation is obtained by transforming the RSOS paths, for the cases p> 2p'-2, to new paths for which horizontal edges are allowed at certain heights. These new paths are much simpler in that their weight is nothing but the sum of the position of the peaks. This description paves the way for the interpretation of the RSOS paths in terms of fermi-type charged particles out of which the fermionic characters could be obtained constructively. The derivation of the fermionic character for p'=2 and p=kp'+/- 1 is outlined. Finally, the particles of the RSOS paths are put in relation with the kinks and the breathers of the restricted sine-Gordon model.

We present a new path description for the states of the non-unitary M(k+1,2k+3) models. This description differs from the one induced by the Forrester-Baxter solution, in terms of configuration sums, of their restricted-solid-on-solid model. The proposed path representation is actually very similar to the one underlying the unitary minimal models M(k+1,k+2), with an analogous Fermi-gas interpretation. This interpretation leads to fermionic expressions for the finitized M(k+1,2k+3) characters, whose infinite-length limit represent new fermionic characters for the irreducible modules. The M(k+1,2k+3) models are also shown to be related to the Z_k graded parafermions via a (q to 1/q) duality transformation.

We present a simple bijection between restricted (Bressoud) lattice paths and RSOS paths in regime II. Both types of paths describe states in Z_k parafermionic irreducible modules. The bijection implies a direct correspondence between a RSOS path and a parafermionic state in a quasi-particle basis.

A bijection is presented between (1): partitions with conditions $f_j+f_{j+1}\leq k-1$ and $ f_1\leq i-1$, where $f_j$ is the frequency of the part $j$ in the partition, and (2): sets of $k-1$ ordered partitions $(n^{(1)}, n^{(2)}, ..., n^{(k-1)})$ such that $n^{(j)}_\ell \geq n^{(j)}_{\ell+1} + 2j$ and $ n^{(j)}_{m_j} \geq j+ {\rm max} (j-i+1,0)+ 2j (m_{j+1}+... + m_{k-1})$, where $m_j$ is the number of parts in $n^{(j)}$. This bijection entails an elementary and constructive proof of the Andrews multiple-sum enumerating partitions with frequency conditions. A very natural relation between the $k-1$ ordered partitions and restricted paths is also presented, which reveals our bijection to be a modification of Bressoud's version of the Burge correspondence.

A lattice-path description of $K$-restricted jagged partitions is presented. The corresponding lattice paths can have peaks only at even $x$ coordinate and the maximal value of the height cannot be larger than $K-1$. Its weight is twice that of the corresponding jagged partitions. The equivalence is demonstrated at the level of generating functions. A bijection is given between $K$-restricted jagged partitions and partitions restricted by the following frequencies conditions: $f_{2j-1}$ is even and $f_j+f_{j+1}\leq K-1$, where $f_j$ is the number of occurrences of the part $j$ in the partition. Bijections are given between paths and these restricted partitions and between paths and partitions with successive ranks in a prescribed interval.

A multi-parafermion basis of states for the Z_k parafermionic models is derived. Its generating function is constructed by elementary steps. It corresponds to the Andrews multiple-sum which enumerates partitions whose parts separated by the distance k-1 differ by at least 2. Two analogous bases are derived for graded parafermions; one of these entails a new expression for their fermionic characters.

We construct a generalization of the theory of symmetric functions involving functions of commuting and anticommuting (Grassmannian) variables. These new functions, called symmetric functions in superspace, are invariant under the diagonal action of the symmetric group acting on the sets of commuting and anticommuting variables. We first obtain superspace analogues of a number of standard objects and concepts in the theory of symmetric functions: partitions, monomials, elementary symmetric functions, completely symmetric functions, power sums, involutions, generating functions, Cauchy formulas, and scalar products. We then consider a one-parameter extension of the combinatorial scalar product. It provides the natural setting for the definition of a family of ``combinatorial'' orthogonal Jack polynomials in superspace. We show that this family coincides with that of ``physical'' Jack polynomials in superspace that were previously introduced by the authors as orthogonal eigenfunctions of a supersymmetric quantum mechanical many-body problem. The equivalence of the two families is established by showing that the ``physical'' Jack polynomials are also orthogonal with respect to the combinatorial scalar product. This equivalence is also directly demonstrated for particular values of the free parameter.

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.

By jagged partitions we refer to an ordered collection of non-negative integers $(n_1,n_2,..., n_m)$ with $n_m\geq p$ for some positive integer $p$, further subject to some weakly decreasing conditions that prevent them for being genuine partitions. The case analyzed in greater detail here corresponds to $p=1$ and the following conditions $n_i\geq n_{i+1}-1$ and $n_i\geq n_{i+2}$. A number of properties for the corresponding partition function are derived, including rather remarkable congruence relations. An interesting application of jagged partitions concerns the derivation of generating functions for enumerating partitions with special restrictions, a point that is illustrated with various examples.

We present a natural extension of Andrews' multiple sums counting partitions with difference 2 at distance $k-1$, by deriving the generating function for $K$-restricted jagged partitions. A jagged partition is a collection of non-negative integers $(n_1,n_2,..., n_m)$ with $n_m\geq 1$ subject to the weakly decreasing conditions $n_i\geq n_{i+1}-1$ and $n_i\geq n_{i+2}$. The $K$-restriction refers to the following additional conditions: $n_i \geq n_{i+K-1} +1$ or $ n_i = n_{i+1}-1 = n_{i+K-2}+1= n_{i+K-1}$. The corresponding generalization of the Rogers-Ramunjan identities is displayed, together with a novel combinatorial interpretation.

This work initiates the study of {\it orthogonal} symmetric polynomials in superspace. Here we present two approaches leading to a family of orthogonal polynomials in superspace that generalize the Jack polynomials. The first approach relies on previous work by the authors in which eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland Hamiltonian were constructed. Orthogonal eigenfunctions are now obtained by diagonalizing the first nontrivial element of a bosonic tower of commuting conserved charges not containing this Hamiltonian. Quite remarkably, the expansion coefficients of these orthogonal eigenfunctions in the supermonomial basis are stable with respect to the number of variables. The second and more direct approach amounts to symmetrize products of non-symmetric Jack polynomials with monomials in the fermionic variables. This time, the orthogonality is inherited from the orthogonality of the non-symmetric Jack polynomials, and the value of the norm is given explicitly.