Searcharxiv⌕ Search

arXiv subjects

Paul Terwilliger

Publications and source records attributed to Paul Terwilliger.

At least 127 records · Page 7Linked to original sources

The Tetrahedron algebra, the Onsager algebra, and the $\mathfrak{sl}_2$ loop algebra

Let $K$ denote a field with characteristic 0 and let $T$ denote an indeterminate. We give a presentation for the three-point loop algebra $\mathfrak{sl}_2 \otimes K\lbrack T, T^{-1},(T-1)^{-1}\rbrack$ via generators and relations. This presentation displays $S_4$-symmetry. Using this presentation we obtain a decomposition of the above loop algebra into a direct sum of three subalgebras, each of which is isomorphic to the Onsager algebra.

math-ph↗

Some trace formulae involving the split sequences of a 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 (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 irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. In the literature on Leonard pairs there exist two parameter sequences called the first split sequence and the second split sequence. We display some attractive formulae for the first and second split sequence that involve the trace function.

math.RA↗

Two non-nilpotent linear transformations that satisfy the cubic $q$-Serre relations

Let $K$ denote an algebraically closed field with characteristic 0, and let $q$ denote a nonzero scalar in $K$ that is not a root of unity. Let $A_q$ denote the unital associative $K$-algebra defined by generators $x,y$ and relations x^3y-[3]_q x^2yx +[3]_q xyx^2 -yx^3=0, y^3x-[3]_q y^2xy +[3]_q yxy^2 -xy^3=0, where $[3]_q = (q^3-q^{-3})/(q-q^{-1})$. We classify up to isomorphism the finite-dimensional irreducible $A_q$-modules on which neither of $x,y$ is nilpotent. We discuss how these modules are related to tridiagonal pairs.

math.QA↗

Taut distance-regular graphs and the subconstituent algebra

We consider a bipartite distance-regular graph $G$ with diameter $D$ at least 4 and valency $k$ at least 3. We obtain upper and lower bounds for the local eigenvalues of $G$ in terms of the intersection numbers of $G$ and the eigenvalues of $G$. Fix a vertex of $G$ and let $T$ denote the corresponding subconstituent algebra. We give a detailed description of those thin irreducible $T$-modules that have endpoint 2 and dimension $D-3$. In an earlier paper the first author defined what it means for $G$ to be taut. We obtain three characterizations of the taut condition, each of which involves the local eigenvalues or the thin irreducible $T$-modules mentioned above.

math.CO↗

The quantum algebra $U_q(sl_2)$ and its equitable presentation

We show that the quantum algebra $U_q(sl_2)$ has a presentation with generators $x,x^{-1},y,z$ and relations $x x^{-1}=1$, $x^{-1} x=1$, $\frac{qxy-q^{-1}yx}{q-q^{-1}}=1$, $\frac{qyz-q^{-1}zy}{q-q^{-1}}=1$, $\frac{qzx-q^{-1}xz}{q-q^{-1}}=1$. We call this the equitable presentation. We investigate the action of $x,x^{-1},y,z$ on finite-dimensional $U_q(sl_2)$-modules.

math.QA↗

The equitable presentation for the quantum group $U_q(g)$ associated with a symmetrizable Kac-Moody algebra $g$

We consider the quantum group $U_q(g)$ associated with a symmetrizable Kac-Moody algebra $g$. We display a presentation for $U_q(g)$ that we find attractive; we call this the equitable presentation. For $g=sl_2$ the equitable presentation has generators $X,X^{-1},Y,Z$ and relations $X X^{-1} =1$, $X^{-1} X=1$, $\frac{qXY-q^{-1}YX}{q-q^{-1}}=1$, $\frac{qYZ-q^{-1}ZY}{q-q^{-1}}=1$, $\frac{qZX-q^{-1}XZ}{q-q^{-1}}=1$.

math.QA↗

Balanced Leonard Pairs

Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. By a Leonard pair on $V$ we mean an ordered 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 irreducible tridiagonal and the matrix representing $A$ is diagonal. Let $v^*_0, ..., v^*_d$ (resp. $v_0, ..., v_d$) denote a basis for $V$ that satisfies (i) (resp. (ii)). For $0 \leq i \leq d$ let $a_i$ denote the coefficient of $v^*_i$, when we write $A v^*_i$ as a linear combination of $v^*_0, ..., v^*_d$, and let $a^*_i$ denote the coefficient of $v_i$, when we write $A^* v_i$ as a linear combination of $v_0..., v_d$. In this paper we show $a_0=a_d$ if and only if $a^*_0=a^*_d$. Moreover we show that for $d \geq 1$ the following are equivalent: (i) $a_0=a_d$ and $a_1=a_{d-1}$; (ii) $a^*_0=a^*_d$ and $a^*_1=a^*_{d-1}$; (iii) $a_i=a_{d-i}$ and $a^*_i=a^*_{d-i}$ for $0 \leq i \leq d$. We say $A$, $A^*$ is balanced whenever (i)--(iii) hold. We say $A$, $A^*$ is essentially bipartite (resp. essentially dual bipartite}) whenever $a_i$ (resp. $a^*_i$) is independent of $i$ for $0 \leq i \leq d$. Observe that if $A$, $A^*$ is essentially bipartite or dual bipartite, then $A$, $A^*$ is balanced. For $d \neq 2$ we show that if $A$, $A^*$ is balanced then $A$, $A^*$ is essentially bipartite or dual bipartite.

math.RA↗

Leonard pairs from 24 points of view

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 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. We call such a pair a {\it Leonard pair} on $V$. Referring to the above Leonard pair, we investigate 24 bases for $V$ on which the action of $A$ and $A^*$ takes an attractive form. With respect to each of these bases, the matrices representing $A$ and $A^*$ are either diagonal, lower bidiagonal, upper bidiagonal, or tridiagonal.

math.RA↗

Two linear transformations each tridiagonal with respect to an eigenbasis of the other

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 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. We call such a pair a Leonard pair on $V$. Refining this notion a bit, we introduce the concept of a Leonard system. We give a complete classification of Leonard systems. We discuss how Leonard systems correspond to the $q$-Racah and related polynomials from the Askey scheme.

math.RA↗

Some algebra related to $P$-and $Q$-polynomial association schemes

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 generalization of a Leonard pair called a tridiagonal pair. A Leonard pair is the same thing as a tridiagonal pair such that for each transformation all eigenspaces have dimension one.

math.CO↗

The Pseudo Cosine Sequences of a Distance-Regular Graph

Let $G$ denote a distance-regular graph with diameter $D\ge 3$, valency $k$, and intersection numbers $a_i$, $b_i$, $c_i$. By a {\it pseudo cosine sequence} of $G$ we mean a sequence of real numbers $s_0, s_1, ..., s_D$ such that $s_0=1$ and $c_i s_{i-1}+a_i s_i+b_i s_{i+1}=k s_1 s_i$ for $ 0 \le i \le D-1$. Let $s_0, s_1,..., s_D$ and $p_0, p_1, ..., p_D$ denote pseudo cosine sequences of $G$. We say this pair of sequences is {\it tight} whenever $s_0 p_0, s_1 p_1, ..., s_D p_D$ is a pseudo cosine sequence of $G$. In this paper, we determine all the tight pairs of pseudo cosine sequences of $G$.

math.CO↗

An inequality for regular near polygons

Let $G$ denote a near-polygon distance-regular graph with diameter $d\geq 3$, valency $k$ and intersection numbers $a_1>0$, $c_2>1$. Let $θ_1$ denote the second largest eigenvalue for the adjacency matrix of $G$. We show $θ_1$ is at most $(k-a_1-c_2)/(c_2-1)$. We show the following are equivalent: (i) Equality is attained above; (ii) $G$ is $Q$-polynomial with respect to $θ_1$; (iii) $G$ is a dual polar graph or a Hamming graph.

math.CO↗

Irreducible Modules for the Quantum Affine Algebra $U_q(\hat{sl}_2)$ and its Borel subalgebra $U_q(\hat{sl}_2)^{\geq 0}$

Let $U_q(\hat{sl}_2)^{\geq 0}$ denote the Borel subalgebra of the quantum affine algebra $U_q(\hat{sl}_2)$. We show that the following hold for any choice of scalars $ε_0, ε_1$ from the set ${1,-1}$. (i) Let $V$ be a finite-dimensional irreducible $U_q(\hat{sl}_2)^{\geq 0}$-module of type $(ε_0,ε_1)$. Then the action of $U_q(\hat{sl}_2)^{\geq 0}$ on $V$ extends uniquely to an action of $U_q(\hat{sl}_2)$ on $V$. The resulting $U_q(\hat{sl}_2)$-module structure on $V$ is irreducible and of type $(ε_0,ε_1)$. (ii) Let $V$ be a finite-dimensional irreducible $U_q(\hat{sl}_2)$-module of type $(ε_0,ε_1)$. When the $U_q(\hat{sl}_2)$-action is restricted to $U_q(\hat{sl}_2)^{\geq 0}$, the resulting $U_q(\hat{sl}_2)^{\geq 0}$-module structure on $V$ is irreducible and of type $(ε_0,ε_1)$.

math.QA↗

Tridiagonal pairs and the quantum affine algebra $U_q({\hat {sl}}_2)$

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 pairs and a family of orthogonal polynomials consisting of the $q$-Racah and some related polynomials of the Askey scheme. In this paper we discuss a mild generalization of a Leonard pair which we call a tridiagonal pair. We will show how certain tridiagonal pairs are associated with finite dimensional modules for the quantum affine algebra $U_q({\hat {sl}}_2)$.

math.QA↗

Distance-regular graphs, pseudo primitive idempotents, and the Terwilliger algebra

Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$ and Bose-Mesner algebra $M$. For $θ\in C\cup \infty$ we define a 1 dimensional subspace of $M$ which we call $M(θ)$. If $θ\in C$ then $M(θ)$ consists of those $Y$ in $M$ such that $(A-θI)Y\in C A_D$, where $A$ (resp. $A_D$) is the adjacency matrix (resp. $D$th distance matrix) of $Γ.$ If $θ= \infty$ then $M(θ)= C A_D$. By a {\it pseudo primitive idempotent} for $θ$ we mean a nonzero element of $M(θ)$. We use pseudo primitive idempotents to describe the irreducible modules for the Terwilliger algebra, that are thin with endpoint one.

math.CO↗

Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an overview

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 Leonard pair on $V$. We give an overview of the theory of Leonard pairs.

math.RA↗

Two relations that generalize the $q$-Serre relations and the Dolan-Grady relations

We define an algebra on two generators which we call the Tridiagonal algebra, and we consider its irreducible modules. The algebra is defined as follows. Let K denote a field, and let $β, γ, γ^*, \varrho, \varrho^*$ denote a sequence of scalars taken from K. The corresponding Tridiagonal algebra $T$ is the associative K-algebra with 1 generated by two symbols $A$, $A^*$ subject to the relations (i) \lbrack A,A^2A^*-βAA^*A + A^*A^2 -γ(AA^*+A^*A)- \varrho A^*\rbrack = 0, (ii) \lbrack A^*,A^{*2}A-βA^*AA^* + AA^{*2} -γ^* (A^*A+AA^*)- \varrho^* A\rbrack = 0, where $\lbrack r,s\rbrack $ means $rs-sr$. We call these relations the Tridiagonal relations. For $β= q+q^{-1}$, $γ= γ^*=0$, $\varrho=\varrho^*=0$, the Tridiagonal relations are the $q$-Serre relations. For $β= 2$, $γ= γ^*=0$, $\varrho=b^2$, $\varrho^*=b^{*2}$, the Tridiagonal relations are the Dolan-Grady relations. In the first part of this paper, we survey what is known about irreducible finite dimensional $T$-modules. We focus on how these modules are related to the Leonard pairs recently introduced by the present author, and the more general Tridiagonal pairs recently introduced by Ito, Tanabe, and the present author. In the second part of the paper, we construct an infinite dimensional irreducible $T$-module based on the Askey-Wilson polynomials.

math.QA↗

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

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$. Let $A,A^*$ denote a Leonard pair on $V$. There exists a decomposition of $V$ into a direct sum of 1-dimensional subspaces, with respect to which $A$ is lower bidiagonal and $A^*$ is upper bidiagonal. This is known as the {\it split decomposition}. We use the split decomposition to obtain several characterizations of Leonard pairs.

math.RA↗