[论文解读] Tridiagonal pairs of shape (1,2,1)

Melvin A. Vidar|ArXiv.org|Feb 21, 2008

Mathematics and Applications参考文献 4被引用 9

一句话总结

本文通过引入参数数组，对域上的(1,2,1)型三对角对进行了分类，构造了底层向量空间的六个不同基，并详细描述了线性算子A和A*在每个基上的作用。其主要贡献是通过参数数组对这类三对角对实现了完整分类，建立了同构类与参数数组之间的一一对应关系。

ABSTRACT

Let $\mathbb F$ denote a field and let $V$ denote a vector space over $\mathbb F$ with finite positive dimension. We consider a pair of linear transformations $A:V o V$ and $A^*:V o V$ that satisfies the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i brace_{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 brace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $AV^*_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 eq 0, W eq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d = δ$ and that for $0 \leq i \leq d$ the dimensions of $V_i, V_{d-i}, V^*_i, V^*_{d-i}$ coincide; we denote this common value by $ρ_i$. The sequence $\lbrace ρ_i brace_{i=0}^d$ is called the {\it shape} of the pair. In this paper we assume the shape is $(1,2,1)$ and obtain the following results. We describe six bases for $V$; one diagonalizes $A$, another diagonalizes $A^*$, and the other four underlie the split decompositions for $A,A^*$. We give the action of $A$ and $A^*$ on each basis. For each ordered pair of bases among the six, we give the transition matrix. At the end we classify the tridiagonal pairs of shape $(1,2,1)$ in terms of a sequence of scalars called the parameter array.

研究动机与目标

• 通过参数数组对域上的(1,2,1)型三对角对进行分类。
• 为与这类对相关的向量空间V构造六个不同的基。
• 描述线性算子A和A*在每个基上的作用。
• 计算六个基中每对有序基之间的过渡矩阵。
• 建立(1,2,1)型三对角对的同构类与参数数组之间的一一对应关系。

提出的方法

• 通过可对角化性、特征子空间上的三对角作用以及不可约性条件来定义三对角对。
• 利用初等幂等元引入TD系统概念，并验证该对满足TD系统的公理。
• 构造六个基：一个对角化A，一个对角化A*，以及四个来自分裂分解的基。
• 在每个基中使用A和A*的矩阵表示，显式计算其作用。
• 使用线性代数技术与基变换，推导每对基之间的过渡矩阵。
• 证明参数数组唯一确定了三对角对的同构类。

实验结果

研究问题

• RQ1 如何在域上对(1,2,1)型三对角对进行完全分类？
• RQ2 与这类对相关的向量空间V的六个标准基是什么？A和A*在这些基上如何作用？
• RQ3 六个基中每对之间的过渡矩阵是什么？
• RQ4 A和A*的分裂分解如何与三对角对的结构相关联？
• RQ5 参数数组在(1,2,1)型三对角对的同构类分类中起什么作用？
• RQ6 能否从给定的参数数组显式构造出一个(1,2,1)型三对角对？

主要发现

• 本文建立了(1,2,1)型三对角对的同构类与参数数组之间的一一对应关系。
• 构造了六个不同的基：一个对角化A，一个对角化A*，以及四个来自分裂分解的基。
• 显式计算并以矩阵形式描述了A和A*在每个基上的作用。
• 计算了任意两个基之间的过渡矩阵，并证明其定义良好。
• 参数数组(θ₀, θ₁, θ₂; φ₁, φ₂, φ₃)完全决定了三对角对的同构类。
• 通过直接和分解与秩论证，验证了不可约性条件(vi)，即不存在非平凡的A-和A*-不变子空间。