Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below.
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal.
We call such a pair a {\it Leonard pair} on $V$. We discuss a correspondence between Leonard pairs and a class of orthogonal polynomials consisting of the $q$-Racah polynomials and some related polynomials of the Askey scheme. For the polynomials in this class we obtain the 3-term recurrence, difference equation, Askey-Wilson duality, and orthogonality in a uniform manner using the corresponding Leonard pair.
A Leonard pair is a pair of diagonalizable linear transformations of a finite-dimensional vector space, each of which acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. Let $\mathbb F$ denote an algebraically closed field, and fix a nonzero $q \in \mathbb F$ that is not a root of unity. The universal double affine Hecke algebra (DAHA) $\hat{H}_q$ of type $(C_1^\vee,C_1)$ is the associative $\mathbb F$-algebra defined by generators $\lbrace t_i^{\pm 1}\rbrace_{i=0}^3$ and relations (i) $t_it_i^{-1}=t_i^{-1}t_i=1$; (ii) $t_i+t_i^{-1}$ is central; (iii) $t_0t_1t_2t_3 =…
Let $\mathbb F$ denote a field, and let $V$ denote a vector space over $\mathbb F$ with finite positive dimension. Pick a nonzero $q \in \mathbb F$ such that $q^4 \not=1$, and let $A,B,C$ denote a Leonard triple on $V$ that has $q$-Racah type. We show that there exist invertible $W, W', W'' $ in ${\rm End}(V)$ such that (i) $A$ commutes with $W$ and $W^{-1}BW-C$; (ii) $B$ commutes with $W'$ and $(W')^{-1}CW'-A$; (iii) $C$ commutes with $W''$ and $(W'')^{-1}AW''-B$. Moreover each of $W,W', W''$ is unique up to multiplication by a nonzero scalar in $\mathbb F$. We show that the three elements $W…
The Bannai-Ito polynomials are shown to arise as Racah coefficients for sl_{-1}(2). This Hopf algebra has four generators including an involution and is defined with both commutation and anticommutation relations. It is also equivalent to the parabosonic oscillator algebra. The coproduct is used to show that the Bannai-Ito algebra acts as the hidden symmetry algebra of the Racah problem for sl_{-1}(2). The Racah coefficients are recovered from a related Leonard pair.
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy the following two conditions: There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. We give a correspondence between Leo…
The relation between Wilson and para-Racah polynomials and representations of the degenerate rational Sklyanin algebra is established. Second order Heun operators on quadratic grids with no diagonal terms are determined. These special or S-Heun operators lead to the rational degeneration of the Sklyanin algebra; they also entail the contiguity and structure operators of the Wilson polynomials. The finite-dimensional restriction yields a representation that acts on the para-Racah polynomials.
Gasper & Rahman's multivariate $q$-Racah polynomials are shown to arise as connection coefficients between families of multivariate $q$-Hahn or $q$-Jacobi polynomials. The families of $q$-Hahn polynomials are constructed as nested Clebsch--Gordan coefficients for the positive-discrete series representations of the quantum algebra $su_q(1,1)$. This gives an interpretation of the multivariate $q$-Racah polynomials in terms of $3nj$ symbols. It is shown that the families of $q$-Hahn polynomials also arise in wavefunctions of $q$-deformed quantum Calogero--Gaudin superintegrable systems.
In previous work a higher rank generalization $R(n)$ of the Racah algebra was defined abstractly. The special case of rank one encodes the bispectrality of the univariate Racah polynomials and is known to admit an explicit realization in terms of the operators associated to these polynomials. Starting from the Dunkl model for which we have an action by $R(n)$ on the Dunkl-harmonics, we show that connection coefficients between bases of Dunkl-harmonics diagonalizing certain Abelian subalgebra are multivariate Racah polynomials. By lifting the action of $R(n)$ to the connection coefficients, we …
The Gasper and Rahman multivariate $(-q)$-Racah polynomials appear as connection coefficients between bases diagonalizing different abelian subalgebras of the recently defined higher rank $q$-Bannai-Ito algebra $\mathcal{A}_n^q$. Lifting the action of the algebra to the connection coefficients, we find a realization of $\mathcal{A}_n^q$ by means of difference operators. This provides an algebraic interpretation for the bispectrality of the multivariate $(-q)$-Racah polynomials, as was established in [Iliev, Trans. Amer. Math. Soc. 363 (3) (2011), 1577-1598]. Furthermore, we extend the Bannai-I…
We consider the generic quantum superintegrable system on the $d$-sphere with potential $V(y)=\sum_{k=1}^{d+1}\frac{b_k}{y_k^2}$, where $b_k$ are parameters. Appropriately normalized, the symmetry operators for the Hamiltonian define a representation of the Kohno-Drinfeld Lie algebra on the space of polynomials orthogonal with respect to the Dirichlet distribution. The Gaudin subalgebras generated by Jucys-Murphy elements are diagonalized by families of Jacobi polynomials in $d$ variables on the simplex. We define a set of generators for the symmetry algebra and we prove that their action on t…
Character expansion expresses extended HOMFLY polynomials through traces of products of finite dimensional R- and Racah mixing matrices. We conjecture that the mixing matrices are expressed entirely in terms of the eigenvalues of the corresponding R-matrices. Even a weaker (and, perhaps, more reliable) version of this conjecture is sufficient to explicitly calculate HOMFLY polynomials for all the 3-strand braids in arbitrary (anti)symmetric representations. We list the examples of so obtained polynomials for V=[3] and V=[4], and they are in accordance with the known answers for torus and figur…
The Racah problem for the quantum superalgebra $\mathfrak{osp}_{q}(1|2)$ is considered. The intermediate Casimir operators are shown to realize a $q$-deformation of the Bannai-Ito algebra. The Racah coefficients of $\mathfrak{osp}_q(1|2)$ are calculated explicitly in terms of basic orthogonal polynomials that $q$-generalize the Bannai-Ito polynomials. The relation between these $q$-deformed Bannai-Ito polynomials and the $q$-Racah/Askey-Wilson polynomials is discussed.
Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $B:V\to V$ which satisfy both (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $B$ is diagonal; (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $B$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We introduce two canonical for…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. By definition a Leonard pair on $V$ is a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy the following two conditions: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. There is a correspondence between Leonard pa…
The Koornwinder-Macdonald multivariable generalization of the Askey-Wilson polynomials is studied for parameters satisfying a truncation condition such that the orthogonality measure becomes discrete with support on a finite grid. For this parameter regime the polynomials may be seen as a multivariable counterpart of the (one-variable) $q$-Racah polynomials. We present the discrete orthogonality measure, expressions for the normalization constants converting the polynomials into an orthonormal system (in terms of the normalization constant for the unit polynomial), and we discuss the limit $q\…
The irreducible $*$-representations of the Lie algebra $su(1,1)$ consist of discrete series representations, principal unitary series and complementary series. We calculate Racah coefficients for tensor product representations that consist of at least two discrete series representations. We use the explicit expressions for the Clebsch-Gordan coefficients as hypergeometric functions to find explicit expressions for the Racah coefficients. The Racah coefficients are Wilson polynomials and Wilson functions. This leads to natural interpretations of the Wilson function transforms. As an application…
Basing on evaluation of the Racah coefficients for SU_q(3) (which supported the earlier conjecture of their universal form) we derive explicit formulas for all the 5-, 6- and 7-strand Wilson averages in the fundamental representation of arbitrary SU(N) group (the HOMFLY polynomials). As an application, we list the answers for all 5-strand knots with 9 crossings. In fact, the 7-strand formulas are sufficient to reproduce all the HOMFLY polynomials from the katlas.org: they are all described at once by a simple explicit formula with a very transparent structure. Moreover, would the formulas for …
By now it is well established that the quantum dimensions of descendants of the adjoint representation can be described in a universal form, independent of a particular family of simple Lie algebras. The Rosso-Jones formula then implies a universal description of the adjoint knot polynomials for torus knots, which in particular unifies the HOMFLY (SU_N) and Kauffman (SO_N) polynomials. For E_8 the adjoint representation is also fundamental. We suggest to extend the universality from the dimensions to the Racah matrices and this immediately produces a unified description of the adjoint knot pol…
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. Consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy both conditions below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal, and the matrix representing $A^*$ is irreducible tridiagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal, and the matrix representing $A$ is irreducible tridiagonal. Such a pair is called a Leonard pair on $V$. In this paper we introduce a mild…
The interpretation of the Meixner-Pollaczek, Meixner and Laguerre polynomials as overlap coefficients in the positive discrete series representations of the Lie algebra su(1,1) and the Clebsch-Gordan decomposition leads to generalisations of the convolution identities for these polynomials. Using the Racah coefficients convolution identities for continuous Hahn, Hahn and Jacobi polynomials are obtained. From the quantised universal enveloping algebra for su(1,1) convolution identities for the Al-Salam and Chihara polynomials and the Askey-Wilson polynomials are derived by using the Clebsch-Gor…
This paper is a next step in the project of systematic description of colored knot polynomials started in arXiv:1506.00339. In this paper, we managed to explicitly find the $\textit{inclusive}$ Racah matrices, i.e. the whole set of mixing matrices in channels $R^{\otimes 3}\longrightarrow Q$ with all possible $Q$, for $R=[3,3]$. The case $R=[3,3]$ is a multiplicity free case as well as $R=[2,2]$ obtained in arXiv:1605.03098. The calculation is made possible by the use of highest weight method with the help of Gelfand-Tseitlin tables. The result allows one to evaluate and investigate $[3,3]$-co…
The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair generalize the ones of tridiagonal pairs of Racah type. The algebra generated by the pair of divided polynomials is identified as a higher-order generalization of the Onsager algebra. It can be viewed as a subalgebra of the q-Onsager algebra for a proper specialization at q the primitive 2Nth root of unity. Orthogonal polynomials beyond the Leonard duality are re…
An algebra is introduced which can be considered as a rank 2 extension of the Askey-Wilson algebra. Relations in this algebra are motivated by relations between coproducts of twisted primitive elements in the two-fold tensor product of the quantum algebra $\mathcal{U}_{q}(\mathfrak{sl}(2,\mathbb C))$. It is shown that bivariate $q$-Racah polynomials appear as overlap coefficients of eigenvectors of generators of the algebra. Furthermore, the corresponding $q$-difference operators are calculated using the defining relations of the algebra, showing that it encodes the bispectral properties of th…
This paper is a new step in the project of systematic description of colored knot polynomials started in arXiv:1506.00339. In this paper, we managed to explicitly find the inclusive Racah matrix, i.e. the whole set of mixing matrices in channels R^3->Q with all possible Q, for R=[3,1]. The calculation is made possible by the use of a newly-developed efficient highest-weight method, still it remains tedious. The result allows one to evaluate and investigate [3,1]-colored polynomials for arbitrary 3-strand knots, and this confirms many previous conjectures on various factorizations, universality…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. The structure o…
Matrix-valued spherical functions related to the quantum symmetric pair for the quantum analogue of $(SU(2) \times SU(2), \text{diag})$ are introduced and studied in detail. The quantum symmetric pair is given in terms of a quantised universal enveloping algebra with a coideal subalgebra. The matrix-valued spherical functions give rise to matrix-valued orthogonal polynomials, which are matrix-valued analogues of a subfamily of Askey-Wilson polynomials. For these matrix-valued orthogonal polynomials a number of properties are derived using this quantum group interpretation: the orthogonality re…
