BZPEER

preprint2020arXiv

Idempotent systems

In this paper we introduce the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. We focus on a family of idempotent systems, said to be symmetric. A symmetric idempotent system is an abstraction of the primary module for the subconstituent algebra of a symmetric association scheme. We describe the symmetric idempotent systems in detail. We also consider a class of symmetric idempotent systems, said to be $P$ -polynomial and $Q$ -polynomial. In the topic of orthogonal polynomials there is an object called a Leonard system. We show that a Leonard system is essentially the same thing as a symmetric idempotent system that is $P$ -polynomial and $Q$ -polynomial.

preprint2015arXiv

An LR pair that can be extended to an LR triple

Fix an integer $d \geq 0$ , a field $\mathbb{F}$ , and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$ . By a decomposition of $V$ we mean a sequence $\{V_i\}_{i=0}^d$ of $1$ -dimensional $\mathbb{F}$ -subspaces of $V$ such that $V = \sum_{i=0}^d V_i$ (direct sum). Consider $\mathbb{F}$ -linear transformations $A$ , $B$ from $V$ to $V$ . Then $A,B$ is called an LR pair whenever there exists a decomposition $\{V_i\}_{i=0}^d$ of $V$ such that $A V_i = V_{i-1}$ and $B V_i = V_{i+1}$ for $0 \leq i \leq d$ , where $V_{-1}=0$ and $V_{d+1}=0$ . By an LR triple we mean a $3$ -tuple $A,B,C$ of $\mathbb{F}$ -linear transformations from $V$ to $V$ such that any two of them form an LR pair. In the present paper, we consider how an LR pair $A,B$ can be extended to an LR triple $A,B,C$ .

preprint2015arXiv

Leonard pairs having zero-diagonal TD-TD form

Fix an algebraically closed field $\mathbb{F}$ and an integer $n \geq 1$ . Let $\text{Mat}_n(\mathbb{F})$ denote the $\mathbb{F}$ -algebra consisting of the $n \times n$ matrices that have all entries in $\mathbb{F}$ . We consider a pair of diagonalizable matrices in $\text{Mat}_{n}(\mathbb{F})$ , each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{n}(\mathbb{F})$ . In the present paper, we find all Leonard pairs $A,A^*$ in $\text{Mat}_{n}(\mathbb{F})$ such that each of $A$ and $A^*$ is irreducible tridiagonal with all diagonal entries $0$ . This solves a problem given by Paul Terwilliger.

preprint2015arXiv

Linear transformations that are tridiagonal with respect to the three decompositions for an LR triple

Fix an integer $d \geq 0$ , a field $\mathbb{F}$ , and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$ . By a decomposition of $V$ we mean a sequence $\{V_i\}_{i=0}^d$ of $1$ -dimensional subspaces of $V$ whose sum is $V$ . For a linear transformation $A$ from $V$ to $V$ , we say $A$ lowers $\{V_i\}_{i=0}^d$ whenever $A V_i = V_{i-1}$ for $0 \leq i \leq d$ , where $V_{-1}=0$ . We say $A$ raises $\{V_i\}_{i=0}^d$ whenever $A V_i = V_{i+1}$ for $0 \leq i \leq d$ , where $V_{d+1}=0$ . An ordered pair of linear transformations $A,B$ from $V$ to $V$ is called LR whenever there exists a decomposition $\{V_i\}_{i=0}^d$ of $V$ that is lowered by $A$ and raised by $B$ . In this case the decomposition $\{V_i\}_{i=0}^d$ is uniquely determined by $A,B$ ; we call it the $(A,B)$ -decomposition of $V$ . Consider a $3$ -tuple of linear transformations $A$ , $B$ , $C$ from $V$ to $V$ such that any two of $A$ , $B$ , $C$ form an LR pair on $V$ . Such a $3$ -tuple is called an LR triple on $V$ . Let $α$ , $β$ , $γ$ be nonzero scalars in $\mathbb{F}$ . The triple $αA, βB, γC$ is an LR triple on $V$ , said to be associated to $A,B,C$ . Let $\{V_i\}_{i=0}^d$ be a decomposition of $V$ and let $X$ be a linear transformation from $V$ to $V$ . We say $X$ is tridiagonal with respect to $\{V_i\}_{i=0}^d$ whenever $X V_i \subseteq V_{i-1} + V_i + V_{i+1}$ for $0 \leq i \leq d$ . Let $\cal X$ be the vector space over $\mathbb{F}$ consisting of the linear transformations from $V$ to $V$ that are tridiagonal with respect to the $(A,B)$ and $(B,C)$ and $(C,A)$ decompositions of $V$ . There is a special class of LR triples, called $q$ -Weyl type. In the present paper, we find a basis of $\cal X$ for each LR triple that is not associated to an LR triple of $q$ -Weyl type.

preprint2014arXiv

Leonard pairs having LB-TD form

Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$ . Let $\text{Mat}_{d+1}(\mathbb{F})$ denote the $\mathbb{F}$ -algebra consisting of the $(d+1) \times (d+1)$ matrices that have all entries in $\mathbb{F}$ . We consider a pair of diagonalizable matrices $A,A^*$ in $\text{Mat}_{d+1}(\mathbb{F})$ , each acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{d+1}(\mathbb{F})$ . For a Leonard pair $A,A^*$ there is a nonzero scalar $q$ that is used to describe the eigenvalues of $A$ and $A^*$ . In the present paper we find all Leonard pairs $A,A^*$ in $\text{Mat}_{d+1}(\mathbb{F})$ such that $A$ is lower bidiagonal with subdiagonal entries all $1$ and $A^*$ is irreducible tridiagonal, under the assumption that $q$ is not a root of unity. This gives a partial solution of a problem given by Paul Terwilliger.

preprint2014arXiv

Leonard pairs having specified end-entries

Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$ . Let $V$ be a vector space over $\mathbb{F}$ with dimension $d+1$ . A Leonard pair on $V$ is an ordered pair of diagonalizable linear transformations $A: V \to V$ and $A^* : V \to V$ , each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. Let $\{v_i\}_{i=0}^d$ (resp.\ $\{v^*_i\}_{i=0}^d$ ) be such an eigenbasis for $A$ (resp.\ $A^*$ ). For $0 \leq i \leq d$ define a linear transformation $E_i : V \to V$ such that $E_i v_i=v_i$ and $E_i v_j =0$ if $j \neq i$ $(0 \leq j \leq d)$ . Define $E^*_i : V \to V$ in a similar way. The sequence $Φ=(A, \{E_i\}_{i=0}^d, A^*, \{E^*_i\}_{i=0}^d)$ is called a Leonard system on $V$ with diameter $d$ . With respect to the basis $\{v_i\}_{i=0}^d$ , let $\{þ_i\}_{i=0}^d$ (resp.\ $\{a^*_i\}_{i=0}^d$ ) be the diagonal entries of the matrix representing $A$ (resp.\ $A^*$ ). With respect to the basis $\{v^*_i\}_{i=0}^d$ , let $\{θ^*_i\}_{i=0}^d$ (resp.\ $\{a_i\}_{i=0}^d$ ) be the diagonal entries of the matrix representing $A^*$ (resp.\ $A$ ). It is known that $\{θ_i\}_{i=0}^d$ (resp. $\{þ^*_i\}_{i=0}^d$ ) are mutually distinct, and the expressions $(θ_{i-1}-θ_{i+2})/(θ_i-θ_{i+1})$ , $(θ^*_{i-1}-θ^*_{i+2})/(θ^*_i - θ^*_{i+1})$ are equal and independent of $i$ for $1 \leq i \leq d-2$ . Write this common value as $β+ 1$ . In the present paper we consider the "end-entries" $θ_0$ , $θ_d$ , $θ^*_0$ , $θ^*_d$ , $a_0$ , $a_d$ , $a^*_0$ , $a^*_d$ . We prove that a Leonard system with diameter $d$ is determined up to isomorphism by its end-entries and $β$ if and only if either (i) $β\neq \pm 2$ and $q^{d-1} \neq -1$ , where $β=q+q^{-1}$ , or (ii) $β= \pm 2$ and $\text{Char}(\mathbb{F}) \neq 2$ .

preprint2012arXiv

Krawtchouk polynomials, the Lie algebra $\mathfrak{sl}_2$ , and Leonard pairs

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. In the present paper we give an elementary but comprehensive account of how the following are related: (i) Krawtchouk polynomials; (ii) finite-dimensional irreducible modules for the Lie algebra ${\mathfrak{sl}_2}$ ; (iii) a class of Leonard pairs said to have Krawtchouk type. Along the way we obtain elementary proofs of some well-known facts about Krawtchouk polynomials, such as the three-term recurrence, the orthogonality, the difference equation, and the generating function. The paper is a tutorial meant for a graduate student or a researcher unfamiliar with the above topics.

preprint2010arXiv

A classification of sharp tridiagonal pairs

Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$ , where $V_{-1}=0$ and $V_{d+1}=0$ ; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$ , where $V^*_{-1}=0$ and $V^*_{δ+1}=0$ ; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$ , $A^* W \subseteq W$ , $W \neq 0$ , $W \neq V$ . We call such a pair a {\it tridiagonal pair} on $V$ . It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i,V_{d-i},V^*_i, V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever ${\rm dim} V_0=1$ . It is known that if $F$ is algebraically closed then $A,A^*$ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the $μ$ -conjecture.

preprint2010arXiv

Tridiagonal matrices with nonnegative entries

In this paper we characterize the nonnegative irreducible tridiagonal matrices and their permutations, using certain entries in their primitive idempotents. Our main result is summarized as follows. Let $d$ denote a nonnegative integer. Let $A$ denote a matrix in $\matR$ and let $\{þ_i\}_{i=0}^d$ denote the roots of the characteristic polynomial of $A$ . We say $A$ is multiplicity-free whenever these roots are mutually distinct and contained in $\R$ . In this case $E_i$ will denote the primitive idempotent of $A$ associated with $þ_i$ $(0 \leq i \leq d)$ . We say $A$ is symmetrizable whenever there exists an invertible diagonal matrix $Δ\in \matR$ such that $ΔA Δ^{-1}$ is symmetric. Let $Γ(A)$ denote the directed graph with vertex set $\{0,1,...,d\}$ , where $i \rightarrow j$ whenever $i \neq j$ and $A_{ij} \neq 0$ . Theorem: Assume that each entry of $A$ is nonnegative. Then the following are equivalent for $0 \leq s,t \leq d$ : (i) The graph $Γ(A)$ is a bidirected path with endpoints $s$ , $t$ : (ii) The matrix $A$ is symmetrizable and multiplicity-free. Moreover the $(s,t)$ -entry of $E_i$ times $(þ_i-þ_0)...(þ_i-þ_{i-1})(þ_i-þ_{i+1})...(þ_i-þ_d)$ is independent of $i$ for $0 \leq i \leq d$ , and this common value is nonzero. Recently Kurihara and Nozaki obtained a theorem that characterizes the $Q$ -polynomial property for symmetric association schemes. We view the above result as a linear algebraic generalization of their theorem.

Kazumasa Nomura

Research overview

Is this your work?

9 publications

Idempotent systems

An LR pair that can be extended to an LR triple

Leonard pairs having zero-diagonal TD-TD form

Linear transformations that are tridiagonal with respect to the three decompositions for an LR triple

Leonard pairs having LB-TD form

Leonard pairs having specified end-entries

Krawtchouk polynomials, the Lie algebra $\mathfrak{sl}_2$ , and Leonard pairs

A classification of sharp tridiagonal pairs

Tridiagonal matrices with nonnegative entries

See the researcher in context

Building this map preview

Kazumasa Nomura

Research overview

Is this your work?

9 publications

Idempotent systems

An LR pair that can be extended to an LR triple

Leonard pairs having zero-diagonal TD-TD form

Linear transformations that are tridiagonal with respect to the three decompositions for an LR triple

Leonard pairs having LB-TD form

Leonard pairs having specified end-entries

Krawtchouk polynomials, the Lie algebra sl2\mathfrak{sl}_2sl2​, and Leonard pairs

A classification of sharp tridiagonal pairs

Tridiagonal matrices with nonnegative entries

See the researcher in context

Building this map preview

Krawtchouk polynomials, the Lie algebra $\mathfrak{sl}_2$ , and Leonard pairs