arXiv++ Combinatorics

We first briefly review the role of lattice paths in the derivation of fermionic expressions for the M(p,p') minimal model characters of the Virasoro Lie algebra. We then focus on the recently introduced half-lattice paths for the M(p,2p+/-1) characters, reformulating them in such a way that the two cases may be treated uniformly. That the generating functions of these half-lattice paths are indeed M(p,2p+/-1) characters is proved by describing weight preserving bijections between them and the corresponding RSOS lattice paths. Here, the M(p,2p-1) case is derived for the first time. We then apply the methods of Bressoud and Warnaar to these half-lattice paths to derive fermionic expressions for the Virasoro characters X^{p,2p+/-1}_{1,2} that differ from those obtained from the RSOS paths. This work is an extension of that presented by the third author at the "7th International Conference on Lattice Path Combinatorics and Applications", Siena, Italy, July 2010.

Some new relations on skew Schur function differences are established both combinatorially using Schützenberger's jeu de taquin, and algebraically using Jacobi-Trudi determinants. These relations lead to the conclusion that certain differences of skew Schur functions are Schur positive. Applying these results to a basis of symmetric functions involving ribbon Schur functions confirms the validity of a Schur positivity conjecture due to McNamara. A further application reveals that certain differences of products of Schubert classes are Schubert positive.

Fermionic expressions for all minimal model Virasoro characters $χ^{p, p'}_{r, s}$ are stated and proved. Each such expression is a sum of terms of fundamental fermionic form type. In most cases, all these terms are written down using certain trees which are constructed for $s$ and $r$ from the Takahashi lengths and truncated Takahashi lengths associated with the continued fraction of $p'/p$. In the remaining cases, in addition to such terms, the fermionic expression for $χ^{p, p'}_{r, s}$ contains a different character $χ^{\hat p, \hat p'}_{\hat r,\hat s}$, and is thus recursive in nature. Bosonic-fermionic $q$-series identities for all characters $χ^{p, p'}_{r, s}$ result from equating these fermionic expressions with known bosonic expressions. In the cases for which $p=2r$, $p=3r$, $p'=2s$ or $p'=3s$, Rogers-Ramanujan type identities result from equating these fermionic expressions with known product expressions for $χ^{p, p'}_{r, s}$. The fermionic expressions are proved by first obtaining fermionic expressions for the generating functions $χ^{p, p'}_{a, b, c}(L)$ of length $L$ Forrester-Baxter paths, using various combinatorial transforms. In the $L\to\infty$ limit, the fermionic expressions for $χ^{p, p'}_{r, s}$ emerge after mapping between the trees that are constructed for $b$ and $r$ from the Takahashi and truncated Takahashi lengths respectively.

We provide further boson-fermion q-polynomial identities for the `finitised' Virasoro characters χ^{p, p'}_{r,s} of the Forrester-Baxter minimal models M(p, p'), for certain values of r and s. The construction is based on a detailed analysis of the combinatorics of the set P^{p, p'}_{a, b, c}(L) of q-weighted, length-L Forrester-Baxter paths, whose generating function χ^{p, p'}_{a, b, c}(L) provides a finitisation of χ^{p, p'}_{r,s}. In this paper, we restrict our attention to the case where the startpoint a and endpoint b of each path both belong to the set of Takahashi lengths. In the limit L -> infinity, these polynomial identities reduce to q-series identities for the corresponding characters.

We further develop the finite length path generating transforms introduced previously, and use them to obtain constant sign polynomial expressions that reduce, in the limit of infinite path lengths, to parafermion and ABF Virasoro characters. This provides us, in the ABF case, with combinatorial proofs of Melzer's boson-fermion polynomial identities.

We study combinatorial aspects of q-weighted, length-L Forrester-Baxter paths, P^{p, p'}_{a, b, c}(L), where p, p', a, b, c \in Z_{+}, 0 < p < p', 0 < a, b, c < p', c = b \pm 1, L+a-b \equiv 0 (mod 2), and p and p' are co-prime. We obtain a bijection between P^{p, p'}_{a, b, c}(L) and partitions with certain prescribed hook differences. Thereby, we obtain a new description of the q-weights of P^{p, p'}_{a, b, c}(L). Using the new weights, and defining s_0 and r_0 to be the smallest non-negative integers for which |p s_0 - p' r_0|=1, we restrict the discussion to P^{p, p'}_{s_0} \equiv P^{p, p'}_{s_0,s_0,s_0+1}(L), and introduce two combinatorial transforms: 1. A Bailey-type transform B: P^{p, p'}_{s_0}(L) -> P^{p, p'+p}_{s_0 + r_0}(L'), L \leq L', 2. A duality-type transform D: P^{p, p'}_{s_0}(L) -> P^{p'-p, p'}_{s_0}(L). We study the action of B and D, as q-polynomial transforms on the P^{p, p'}_{s_0}(L) generating functions, χ^{p, p'}_{s_0}(L). In the limit L -> \infinity, χ^{p, p'}_{s_0}(L) reduces to the Virasoro characters, χ^{p, p'}_{r_0, s_0}, of minimal conformal field theories M^{p, p'}, or equivalently, to the one-point functions of regime-III Forrester-Baxter models. As an application of the B and D transforms, we re-derive the constant-sign expressions for χ^{p, p'}_{r_0, s_0}, first derived by Berkovich and McCoy.