[논문 리뷰] Two linear transformations each tri-diagonal with respect to an eigenbasis of the other; the TD-D canonical form and the LB-UB canonical form

Paul Terwilliger|ArXiv.org|2003. 04. 06.

graph theory and CDMA systems참고 문헌 31인용 수 8

한 줄 요약

이 논문은 리드먼 쌍에 대한 두 개의 표준형—TD-D 및 LB-UB—을 제안한다. 리드먼 쌍이란 서로의 고유기저에 대해 삼중대각 또는 하삼중대각/상삼중대각인 선형 변환의 쌍을 의미한다. 주요 기여는 삼중대각-대각 또는 하삼중대각/상삼중대각 행렬이 리드먼 쌍을 이루는 조건을 규명하고, 명시적 매개변수화와 기초 초함수 급수 항등식을 통해 이들을 q-라카 학교 다항식과 연결하는 것이다.

ABSTRACT

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 o V$ and $B:V o 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 forms for Leonard pairs. We call these the TD-D canonical form and the LB-UB canonical form. In the TD-D canonical form the Leonard pair is represented by an irreducible tridiagonal matrix and a diagonal matrix, subject to a certain normalization. In the LB-UB canonical form the Leonard pair is represented by a lower bidiagonal matrix and an upper bidiagonal matrix, subject to a certain normalization. We describe the two canonical forms in detail. As an application we obtain the following results. Given square matrices $A,B$ over $\K$, with $A$ tridiagonal and $B$ diagonal, we display a necessary and sufficient condition for $A,B$ to represent a Leonard pair. Given square matrices $A,B$ over $\K$, with $A$ lower bidiagonal and $B$ upper bidiagonal, we display a necessary and sufficient condition for $A,B$ to represent a Leonard pair. We briefly discuss how Leonard pairs correspond to the $q$-Racah polynomials and some related polynomials in the Askey scheme. We present some open problems concerning Leonard pairs.

연구 동기 및 목표

• 유한 차원 벡터 공간에서 필드 K 상에서 리드먼 쌍에 대한 두 가지 표준형—TD-D 및 LB-UB—을 정의하고 특성화하기.
• 행렬 쌍(한 쪽은 삼중대각, 다른 쪽은 대각, 또는 한 쪽은 하삼중대각, 다른 쪽은 상삼중대각)이 리드먼 쌍을 형성하는 데 필요한 필요충분 조건을 제공하기.
• 명시적 매개변수화를 통해 리드먼 쌍과 아스키 체계 내의 q-라카 학교 다항식 간의 대응관계를 수립하기.
• 행렬 정규화 및 구조적 제약 조건을 통한 프레임워크를 제공하여 리드먼 쌍을 식별하고 분류할 수 있도록 하기.

제안 방법

• TD-D 표준형 도입: 특정 정규화 하에, 기약 삼중대각 행렬과 대각 행렬로 이루어진 리드먼 쌍을 표현하기.
• LB-UB 표준형 정의: 다시 정규화 하에, 하삼중대각 행렬과 상삼중대각 행렬로 이루어진 쌍을 표현하기.
• 고유기저의 구조와 행렬 표현을 이용해 행렬 원소에 대한 재귀 관계와 매개변수 제약 조건을 유도하기.
• 기본 초함수 급수 $_4\phi_3$ 를 사용해 고유기저 간 전이 행렬의 원소를 표현하기.
• 매개변수 $r_1, r_2, s, s^*, q, d$ 를 이용해 고유값 $\theta_i$, $\theta^*_j$ 및 전이 계수 $k_j$, $k^*_j$ 의 명시적 공식 유도하기.
• 전이 행렬 원소가 고유값에 대한 q-라카 학교 다항식임을 증명하고, 대수적 구조와 수직 다항식 간의 연결 고리 확립하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 삼중대각 행렬 A와 대각 행렬 B가 리드먼 쌍을 형성하는가?
• RQ2 하삼중대각 행렬 A와 상삼중대각 행렬 B가 리드먼 쌍을 형성하는 조건은 무엇인가?
• RQ3 고유기저 간 전이 행렬 원소는 q-라카 학교 다항식을 어떻게 표현할 수 있는가?
• RQ4 TD-D 및 LB-UB 표준형을 정의하는 정확한 정규화 조건는 무엇인가?
• RQ5 매개변수 $r_1, r_2, s, s^*, q, d$ 는 리드먼 쌍의 구조와 관련 다항식의 특성을 어떻게 결정하는가?

주요 결과

• TD-D 표준형은 정규화를 제외하고 유일하게 존재하며, A는 삼중대각, B는 대각 행렬이 되며, 특정 고유값 및 전이 계수 제약 조건을 만족한다.
• LB-UB 표준형은 정규화 하에 존재하고 유일하며, A는 하삼중대각, B는 상삼중대각 행렬이 되어 동일한 리드먼 쌍에 대한 다른 행렬 표현을 제공한다.
• 고유기저 간 전이 행렬 원소는 기본 초함수 급수 $_4\phi_3$ 로 표현되며, 이는 고유값에 대한 q-라카 학교 다항식으로 확인된다.
• 고유값 $\theta_i$, $\theta^*_j$ 및 전이 계수 $k_j$, $k^*_j$ 의 명시적 공식이 $q$-포크하머 기호와 매개변수 $r_1, r_2, s, s^*, q, d$ 를 이용해 유도되었다.
• 쌍 $A, A^*$ 는 행렬 대수 $\mathrm{Mat}_{d+1}(\mathbb{K})$ 를 생성하며, 이는 그들의 대수적 독립성과 환경 대수의 완전 생성을 확인한다.
• 리드먼 쌍의 구조는 정확히 아스키-윌슨 체계에 대응하며, q-라카 학교 다항식은 고유값 수열과 관련된 수직 다항식으로 자연스럽게 나타난다.