[论文解读] Cyclic tridiagonal pairs, higher order Onsager algebras and orthogonal polynomials

Pascal Baseilhac, Azat M. Gainutdinov+1 more|arXiv (Cornell University)|Jan 1, 2016

Algebraic structures and combinatorial models参考文献 38被引用 1

一句话总结

本文引入了循环三对角对——三对角对与 Leonard 对的推广——其中算子在阶数为 N 的特征空间上循环作用。它定义了‘分裂多项式’，作为 q-Onsager 代数在 q 为本原 2N 次单位根时的更高阶 Onsager 代数的子代数。该框架将正交多项式理论扩展至 Leonard 对偶性之外，且在 N=2（q=i）时通过 Dunkl 平移算子给出了显式实现。

ABSTRACT

The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair generalize the ones of tridiagonal pairs of Racah type. The algebra generated by the pair of divided polynomials is identified as a higher-order generalization of the Onsager algebra. It can be viewed as a subalgebra of the q-Onsager algebra for a proper specialization at q the primitive 2Nth root of unity. Orthogonal polynomials beyond the Leonard duality are revisited in light of this framework. In particular, certain second-order Dunkl shift operators provide a realization of the divided polynomials at N=2 or q=i.

研究动机与目标

• 通过引入在特征空间上循环作用的阶数为 N 的循环三对角对，推广三对角对与 Leonard 对。
• 为这类对定义一类新算子，称为‘分裂多项式’，推广三对角代数的结构。
• 将这些分裂多项式生成的代数识别为 Onsager 代数的更高阶推广。
• 通过将正交多项式嵌入此新代数框架中，将正交多项式理论扩展至 Leonard 对偶性之外。
• 提供显式矩阵实现，并与单位根处的 q-Onsager 代数建立联系，特别是针对 N=2 和 q=i 的情形。

提出的方法

• 通过有限维向量空间 V 上的两个线性算子 C 和 C∗ 定义循环三对角对，使得每个算子在另一个算子的特征空间上以三对角形式作用，且具有 ZN-分次结构。
• 引入‘分裂多项式’作为由循环作用导出的多项式算子，满足广义交换关系。
• 证明由这些分裂多项式生成的代数同构于 q 为本原 2N 次单位根时的 q-Onsager 代数的子代数。
• 通过显式矩阵实现（例如附录中所示）构造循环三对角对，如在 N=3 时，W0 和 W1 作用于 (C^2)^⊗3 上。
• 采用表示论技术和谱分析方法，验证不可约性与循环性，确保无非平凡不变子空间。
• 在 N=2（q=i）时，通过二阶 Dunkl 平移算子实现分裂多项式，与已知的正交多项式系统建立联系。

实验结果

研究问题

• RQ1 如何将三对角对推广至包含阶数为 N 的特征空间上的循环作用？
• RQ2 与这类循环三对角对相关的分裂多项式会生成何种代数结构？
• RQ3 该构造与 q-Onsager 代数有何关系，特别是在单位根处？
• RQ4 能否系统性地将超越 Leonard 对偶性的正交多项式嵌入此框架中？
• RQ5 Dunkl 平移算子在 N=2 时实现分裂多项式中扮演何种角色？

主要发现

• 循环三对角对通过算子 C 和 C∗ 定义，其在 ZN-循环结构下在对方的特征空间上以三对角形式作用，且无不变子空间。
• 与这类对相关的分裂多项式生成的代数是 Onsager 代数的更高阶推广。
• 当 q 为本原 2N 次单位根时，该代数实现为 q-Onsager 代数的子代数，且在 N=3 时已明确确认同构关系。
• 在 N=2 时，分裂多项式通过二阶 Dunkl 平移算子实现，与 q=i 的特化情形相联系。
• 已构造显式矩阵实现，例如在 (C^2)^⊗3 上对 N=3 的情形，其中 W0 和 W1 在三个维数分别为 2、3 和 3 的特征空间上循环作用。
• 分裂多项式满足定理 4.3 与定理 4.4 中的关系，且在参数特化后系数匹配 β = -2。