[论文解读] Tridiagonal pairs of Krawtchouk type

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Jun 7, 2007

Finite Group Theory Research参考文献 30被引用 5

一句话总结

本文研究代数闭域上特征为零的Krawtchouk型三对角对，证明了在两个算子下不变的唯一非退化对称双线性形式的存在性，并建立了 $A,A^*$, $-A,-A^*$, $A^*,A$, 以及 $-A^*,-A$ 之间的同构关系。关键贡献在于通过形状向量的乘积生成函数以及固定两个算子的典范反自同构，对这类对进行了表征。

ABSTRACT

Let $K$ denote an algebraically closed field with characteristic 0 and let $V$ denote a vector space over $K$ with finite positive dimension. Let $A,A^*$ denote a tridiagonal pair on $V$ with diameter $d$. We say that $A,A^*$ has Krawtchouk type whenever the sequence $\lbrace d-2i brace_{i=0}^d$ is a standard ordering of the eigenvalues of $A$ and a standard ordering of the eigenvalues of $A^*$. Assume $A,A^*$ has Krawtchouk type. We show that there exists a nondegenerate symmetric bilinear form $< , >$ on $V$ such that $= < u,Av>$ and $= < u,A^*v>$ for $u,v\in V$. We show that the following tridiagonal pairs are isomorphic: (i) $A,A^*$; (ii) $-A,-A^*$; (iii) $A^*,A$; (iv) $-A^*,-A$. We give a number of related results and conjectures.

研究动机与目标

• 通过特征值排序和形状向量对Krawtchouk型三对角对进行表征。
• 建立在三对角对中两个算子下不变的唯一非退化对称双线性形式的存在性。
• 在Krawtchouk型条件下，证明四组算子对 ($A,A^*$, $-A,-A^*$, $A^*,A$, $-A^*,-A$) 是同构的。
• 探索环境代数的结构性质，包括固定两个算子的典范反自同构的存在性。
• 推测三对角对的参数数组表征，并将迹表达式与结构常数关联。

提出的方法

• 通过要求序列 $\{d-2i\}_{i=0}^d$ 为 $A$ 和 $A^*$ 的标准特征值排序，定义Krawtchouk型三对角对。
• 利用Leonard对与三对角对的理论，推导形状向量 $\{\rho_i\}_{i=0}^d$ 及其生成函数的性质。
• 在 $V$ 上构造一个非退化对称双线性形式 $\langle\cdot,\cdot\rangle$，使得对所有 $u,v \in V$，有 $\langle Au,v\rangle = \langle u,Av\rangle$ 且 $\langle A^*u,v\rangle = \langle u,A^*v\rangle$。
• 证明在 $\mathrm{End}(V)$ 上存在唯一的反自同构 $\dagger$，使得 $X^{\dagger\dagger} = X$，且 $A^\dagger = A$，$A^{*\dagger} = A^*$。
• 将参数数组中的结构常数 $\zeta_i$ 与幂等元乘积及评价多项式的迹相关联。
• 利用典范反同构将 $A,A^*$ 与其在对偶空间 $\tilde{V}$ 中的像关联，并分析此类对的同构类。

实验结果

研究问题

• RQ1 每个Krawtchouk型三对角对是否都存在唯一一个在两个算子下不变的非退化对称双线性形式？
• RQ2 当 $A,A^*$ 为Krawtchouk型时，对 $(A,A^*)$, $(-A,-A^*)$, $(A^*,A)$, 以及 $(-A^*,-A)$ 是否同构？
• RQ3 Krawtchouk型三对角对的形状向量 $\{\rho_i\}_{i=0}^d$ 是否可表示为几何级数生成函数的乘积？
• RQ4 在Krawtchouk型对中，是否存在一个 $\mathrm{End}(V)$ 的典范反自同构，使得它固定 $A$ 和 $A^*$？
• RQ5 在特征为零的代数闭域上，三对角对的参数数组是否唯一确定其同构类？

主要发现

• 存在唯一的非退化对称双线性形式 $\langle\cdot,\cdot\rangle$ 在 $V$ 上，使得对所有 $u,v \in V$，有 $\langle Au,v\rangle = \langle u,Av\rangle$ 且 $\langle A^*u,v\rangle = \langle u,A^*v\rangle$，且该形式在标量乘法下唯一。
• Krawtchouk型三对角对的形状向量 $\{\rho_i\}_{i=0}^d$ 满足 $\sum_{i=0}^d \rho_i \lambda^i = \prod_{j=1}^N (1 + \lambda + \cdots + \lambda^{d_j})$，其中 $N$ 为非负整数，$d_j$ 为正整数。
• 当 $A,A^*$ 为Krawtchouk型时，四组对 $(A,A^*)$, $(-A,-A^*)$, $(A^*,A)$, 以及 $(-A^*,-A)$ 同构。
• 存在唯一的 $\mathrm{End}(V)$ 的反自同构 $\dagger$，使得 $X^{\dagger\dagger} = X$，且 $A^\dagger = A$，$A^{*\dagger} = A^*$。
• Krawtchouk型三对角对的参数数组由特征值 $\theta_i$, $\theta^*_i$ 和结构常数 $\zeta_i$ 唯一确定，其中 $\zeta_0 = 1$，$\zeta_d \neq 0$，且对 $2 \leq i \leq d-1$，特征值差值的有理表达式为常数。
• 推测两个三对角对同构当且仅当它们具有相同的参数数组，且结构常数 $\zeta_i$ 可通过幂等元乘积与评价多项式的迹表达。