[论文解读] Some algebra related to $P$-and $Q$-polynomial association schemes

Tatsuro Ito, K. TANABE+1 more|ArXiv.org|Jun 27, 2004

Advanced Algebra and Geometry参考文献 21被引用 37

一句话总结

本文引入了三对角（TD）对——在有限维向量空间上满足特定三对角作用条件与不可约性的可对角化线性算子对。证明了此类对具有对称且单峰的特征子空间维数，满足由参数 β, γ, γ*, ϱ, ϱ* 定义的二次代数关系，并表现出由 β+1 控制的特征值间距，为分类 TD 对及其与关联方案和正交多项式的关系奠定了基础结构。

ABSTRACT

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 o V$ and $A^*:V o 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.

研究动机与目标

• 将三对角（TD）对的形式化并作为 P- 和 Q-多项式关联方案中出现的结构的推广进行研究。
• 建立 TD 对的结构性质，包括直径相等与特征子空间维数的对称性。
• 推导出一个二次代数关系（推广 Dolan-Grady 关系），通过五个参数刻画 TD 对。
• 为通过将其与子构成代数、Terwilliger 代数及 q-Racah 多项式联系起来，奠定分类 TD 对的基础。

提出的方法

• 将 TD 对定义为在有限维向量空间 V 上的一对可对角化线性算子 A 和 A*，其满足在对方的特征子空间上具有三对角作用且不可约。
• 利用三对角作用条件，证明算子 A 和 A* 的直径 d 和 δ 必须相等。
• 证明 A 和 A* 的第 i 个特征子空间的维数 ρi 具有对称性（ρi = ρd−i）和单峰性（当 i ≤ d/2 时，ρi−1 ≤ ρi）。
• 推导出涉及 A 和 A* 的一对非交换二次关系，该关系推广了 Dolan-Grady 关系，参数为 β, γ, γ*, ϱ, ϱ*。
• 证明当 d ≥ 3 时，这些关系唯一确定了 TD 对的代数结构。
• 通过推导出的关系，将结果与已知代数结构（如 Terwilliger 代数和 Askey-Wilson 代数）联系起来。

实验结果

研究问题

• RQ1 当两个在有限维向量空间上的可对角化线性算子在对方的特征子空间上表现出三对角作用且不生成非平凡不变子空间时，会引发哪些结构性约束？
• RQ2 在这种对中，A 和 A* 的特征子空间维数之间有何关系？它们表现出何种对称性或单峰性？
• RQ3 能否推导出一个刻画此类算子换位子结构的二次代数关系？该关系由哪些参数控制？
• RQ4 A 和 A* 的特征值如何相互关联？参数 β 在其间距中起什么作用？
• RQ5 这些 TD 对在多大程度上推广了关联方案与正交多项式理论中的已知结构？

主要发现

• TD 对中两个算子 A 和 A* 的直径 d 和 δ 相等。
• A 和 A* 的第 i 个特征子空间的维数 ρi 具有对称性（ρi = ρd−i）和单峰性（当 i ≤ d/2 时，ρi−1 ≤ ρi）。
• 在基域中存在唯一参数 β, γ, γ*, ϱ, ϱ*，使得 A 和 A* 满足以下二次换位子关系：[A, A²A* − βAA*A + A*A² − γ(AA* + A*A) − ϱA*] = 0 与 [A*, A*²A − βA*A A* + A A*² − γ*(A*A + AA*) − ϱ*A] = 0。
• 对于 2 ≤ i ≤ d−1，有 (θi−2 − θi+1)/(θi−1 − θi) = β+1，其中 θi 是 A 的特征值。
• 对于 2 ≤ i ≤ d−1，同样有 (θ*i−2 − θ*i+1)/(θ*i−1 − θ*i) = β+1，表明 A* 的特征值间距也具有对称性。
• 本文猜想生成函数 ∑ρiti 等于几何级数乘积 (1+t+⋯+tdj)，暗示了特征子空间维数的组合分解。