arXiv Science⌕ Search

arXiv subjects

Paul Terwilliger

Publications and source records attributed to Paul Terwilliger.

131 records · Page 8Linked to original sources
arXiv2003

Two linear transformations each tridiagonal with respect to an eigenbasis of the other; comments on the parameter array

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 of any given Leonard pair is deterined by a certain sequence of scalars called its {\it parameter array}. The set of parameter arrays is an affine algebraic variety. We give two characterizations of this variety. One involves bidiagonal matrices and the other involves orthogonal polynomials.

math.RA↗
arXiv2003

Leonard pairs and the Askey-Wilson relations

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$ which satisfy the following two properties: (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 irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Referring to the above Leonard pair, we show there exists a sequence of scalars $β,γ,γ^*, \varrho,\varrho^*,ω, η, η^*$ taken from K such that both (i) A^2 A^*-βA A^*A+A^*A^2-γ(AA^*+A^*A) -\varrho A^* =γ^*A^2+ωA+\etaI; (ii) A^{*2}A-βA^*AA^*+AA^{*2}-γ^*(A^*A+AA^*) -\varrho^*A =γA^{*2}+ωA^*+η^*I. The sequence is uniquely determined by the Leonard pair provided the dimension of $V$ is at least 4. The equations above are called the Askey-Wilson relations.

math.QA↗
arXiv2003

The shape of a tridiagonal pair

Let K denote an algebraically closed field with characteristic 0. Let V denote a vector space over K with finite positive dimension and let A,B denote a tridiagonal pair on V. We make an assumption about this pair. Let q denote a nonzero scalar in K which is not a root of unity. We assume A and B satisfy the q-Serre relations (i) A^3B - [3]A^2BA + [3]ABA^2 - BA^3=0; (ii) B^3A - [3]B^2AB + [3]BAB^2 - AB^3=0, where [3]=(q^3-q^{-3})/(q-q^{-1}). Let (ρ_0, ρ_1,...,ρ_d) denote the shape vector for A,B. We show the entries in this shape vector are bounded above by binomial coefficients. Indeed we show ρ_i is at most (d \atop i) for 0 \leq i \leq d. We obtain this result by displaying a spanning set for V.

math.QA↗
arXiv2001

Tight distance-regular graphs

We consider a distance-regular graph $\G$ with diameter $d \ge 3$ and eigenvalues $k=θ_0>θ_1>... >θ_d$. We show the intersection numbers $a_1, b_1$ satisfy $$ (θ_1 + {k \over a_1+1}) (θ_d + {k \over a_1+1}) \ge - {ka_1b_1 \over (a_1+1)^2}. $$ We say $\G$ is {\it tight} whenever $\G$ is not bipartite, and equality holds above. We characterize the tight property in a number of ways. For example, we show $\G$ is tight if and only if the intersection numbers are given by certain rational expressions involving $d$ independent parameters. We show $\G$ is tight if and only if $a_1\not=0$, $a_d=0$, and $\G$ is 1-homogeneous in the sense of Nomura. We show $\G$ is tight if and only if each local graph is connected strongly-regular, with nontrivial eigenvalues $-1-b_1(1+θ_1)^{-1}$ and $-1-b_1(1+θ_d)^{-1}$. Three infinite families and nine sporadic examples of tight distance-regular graphs are given.

math.CO↗