arXiv subjects

Omar Foda

Publications and source records attributed to Omar Foda.

31 records · Page 2Linked to original sources

arXiv2000

On the combinatorics of Forrester-Baxter models

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.

math.QA↗

arXiv1998

Melzer's identities revisited

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.

math.QA↗

arXiv1998

Path generating transforms

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.

math.QA↗

arXiv1997

A Burge tree of Virasoro-type polynomial identities

Using a summation formula due to Burge, and a combinatorial identity between partition pairs, we obtain an infinite tree of q-polynomial identities for the Virasoro characters χ^{p, p'}_{r, s}, dependent on two finite size parameters M and N, in the cases where: (i) p and p' are coprime integers that satisfy 0 < p < p'. (ii) If the pair (p', p) has a continued fraction (c_1, c_2, ... , c_{t-1}, c_t+2), where t >= 1, then the pair (s, r) has a continued fraction (c_1, c_2, ... , c_{u-1}, d), where 1 =< u =< t, and 1 =< d =< c_{u}. The limit M -> infinity, for fixed N, and the limit N -> infinity, for fixed M, lead to two independent boson-fermion-type q-polynomial identities: in one case, the bosonic side has a conventional dependence on the parameters that characterise the corresponding character. In the other, that dependence is not conventional. In each case, the fermionic side can also be cast in either of two different forms. Taking the remaining finite size parameter to infinity in either of the above identities, so that M -> infinity and N -> infinity, leads to the same q-series identity for the corresponding character.

q-alg↗

arXiv1997

RSOS models and Jantzen-Seitz representations of Hecke algebras at roots of unity

A special family of partitions occurs in two apparently unrelated contexts: the evaluation of 1-dimensional configuration sums of certain RSOS models, and the modular representation theory of symmetric groups or their Hecke algebras $H_m$. We provide an explanation of this coincidence by showing how the irreducible $H_m$-modules which remain irreducible under restriction to $H_{m-1}$ (Jantzen-Seitz modules) can be determined from the decomposition of a tensor product of representations of affine $\sl_n$.

q-alg↗

arXiv1997

Combinatorics of solvable lattice models, and modular representations of Hecke algebras

We review and motivate recently-observed relationships between exactly solvable lattice models and modular representations of Hecke algebras. Firstly, we describe how the set of $n$-regular partitions label both of the following classes of objects: 1. The spectrum of unrestricted solid-on-solid lattice models based on level-1 representations of the affine algebras $\sl_n$, 2. The irreducible representations of type-A Hecke algebras at roots of unity: $H_m(\sqrt[n]{1})$. Secondly, we show that a certain subset of the $n$-regular partitions label both of the following classes of objects: 1. The spectrum of restricted solid-on-solid lattice models based on cosets of affine algebras $(sl(n)^_1 \times sl(n)^_1)/ sl(n)^_2$. 2. Jantzen-Seitz (JS) representations of $H_m(\sqrt[n]{1})$: irreducible representations that remain irreducible under restriction to $H_{m-1}(\sqrt[n]{1})$. Using the above relationships, we characterise the JS representations of $H_m(\sqrt[n]{1})$ and show that the generating series that count them are branching functions of affine $\sl_n$.

q-alg↗

arXiv1996

Demazure modules and vertex models: the affine sl(2) case

We characterize, in the case of affine sl(2), the crystal base of the Demazure module E_w(\La) in terms of extended Young diagrams or paths for any dominant integral weight \La and Weyl group element w. Its character is evaluated via two expressions, 'bosonic' and 'fermionic'.

q-alg↗

arXiv1994

Polynomial identities of the Rogers--Ramanujan type

Presented are polynomial identities which imply generalizations of Euler and Rogers--Ramanujan identities. Both sides of the identities can be interpreted as generating functions of certain restricted partitions. We prove the identities by establishing a graphical one-to-one correspondence between those two kinds of restricted partitions.

hep-th↗

arXiv1994

Virasoro character identities from the Andrews--Bailey construction

We prove $q$-series identities between bosonic and fermionic representations of certain Virasoro characters. These identities include some of the conjectures made by the Stony Brook group as special cases. Our method is a direct application of Andrews' extensions of Bailey's lemma to recently obtained polynomial identities.

hep-th↗

arXiv1994

An elliptic quantum algebra for $\widehat{sl}_2$

An elliptic deformation of $\widehat{sl}_2$ is proposed. Our presentation of the algebra is based on the relation $RLL=LLR^*$, where $R$ and $R^*$ are eight-vertex $R$-matrices with the elliptic moduli chosen differently. In the trigonometric limit, this algebra reduces to a quotient of that proposed by Reshetikhin and Semenov-Tian-Shansky. Conjectures concerning highest weight modules and vertex operators are formulated, and the physical interpretation of $R^*$ is discussed.

hep-th↗

arXiv1993

Vertex operators in solvable lattice models

We formulate the basic properties of q-vertex operators in the context of the Andrews-Baxter-Forrester (ABF) series, as an example of face-interaction models, derive the q-difference equations satisfied by their correlation functions, and establish their connection with representation theory. We also discuss the q-difference equations of the Kashiwara-Miwa (KM) series, as an example of edge-interaction models. Next, the Ising model--the simplest special case of both ABF and KM series--is studied in more detail using the Jordan-Wigner fermions. In particular, all matrix elements of vertex operators are calculated.

hep-th↗

arXiv1992

Corner Transfer Matrices and Quantum Affine Algebras

Let H be the corner-transfer-matrix Hamiltonian for the six-vertex model in the anti-ferroelectric regime. It acts on the infinite tensor product W = V . V . V ....., where is the 2-dimensional irreducible representation of the quantum affine sl(2). We observe that H is the derivation of quantum affine sl(2), and conjecture that the eigenvectors of H form the level-1 vacuum representation of quantum affine sl(2). We report on checks in support of our conjecture.

hep-th↗

arXiv1992

Diagonalization of the XXZ Hamiltonian by Vertex Operators

We diagonalize the anti-ferroelectric XXZ-Hamiltonian directly in the thermodynamic limit, where the model becomes invariant under the action of affine U_q( sl(2) ). Our method is based on the representation theory of quantum affine algebras, the related vertex operators and KZ equation, and thereby bypasses the usual process of starting from a finite lattice, taking the thermodynamic limit and filling the Dirac sea. From recent results on the algebraic structure of the corner transfer matrix of the model, we obtain the vacuum vector of the Hamiltonian. The rest of the eigenvectors are obtained by applying the vertex operators, which act as particle creation operators in the space of eigenvectors. We check the agreement of our results with those obtained using the Bethe Ansatz in a number of cases, and with others obtained in the scaling limit --- the $su(2)$-invariant Thirring model.

hep-th↗