论文部分内容阅读
设C是复数域，V表示域C上的有限维非零向量空间.所谓V上的一个Leonard三元组指的是End(V)中的一个有序线性变换的三元组，使得对其中任意一个线性变换，存在V上的一组基，该线性变换在这组基下的矩阵是对角矩阵，另外两个线性变换在这组基下的矩阵是不可约三对角矩阵。 设整数D≥3.设1/2H"(2D+1，2)表示具有原始的P-多项式结构R0，R1，…，RD和另一Q-多项式结构E0，E2，E4，…，E3，E1的(2D+1)-立方体图的半图.设1/2(H)(4D，2)表示具有原始的P-多项式结构和原始的Q-多项式结构的4D-立方体图的对折半图，设1/2(H)(4D+2，2)表示具有原始的P-多项式结构和原始的Q-多项式结构的(4D+2)-立方体图的对折半图.以上三个图均是Racah型的距离正则图. 本文主要研究了以上三个距离正则图和Leonard三元组、复数域C上的Racah代数之间的关系. 所得结论: 1.取定1/2H"(2D+1，2)的一个顶点，设T1是关于此顶点的Terwilliger代数.首先构造T1的三个元素(Tl)1，(Tl)*1，(Tl)ε1，证明了此三元组(Tl)1，(Tl)*1，(Tl)ε1作用在每一个不可约T1-模上构成一个Leonard三元组，而且给出了此三元组满足的一些关系式.其次设(k)1表示生成元和实参数满足特定关系的一个Racah代数，最后给出了复数域C上的一个代数同态:(k)1→T1. 2.取定1/2(H)(4D，2)的一个顶点，设T2是关于此顶点的Terwilliger代数.首先构造T2的三个元素(Tl)2，(Tl)*2，(Tl)ε2，证明了此三元组(Tl)2，(Tl)*2，(Tl)ε2不仅作用在每一个不可约T2-模上构成一个Leonard三元组，而且给出了此三元组满足的一些关系式.其次设W表示型为ψ的不可约T2-模，设(E)ψ表示关于型ψ的一个Racah代数，最后证明在W上存在一个(E)ψ-模结构. 3.取定1/2(H)(4D+2，2)的一个顶点，设T3是关于此顶点的Terwilliger代数.首先构造T3的三个元素(Ll)3，(Ll)*3，(Ll)ε3，证明了此三元组(Ll)3，(Ll)*3，(Ll)ε3不仅作用在每一个不可约T3-模上构成一个Leonard三元组，而且给出了此三元组满足的一些关系式.其次设W表示带有额外参数e的不可约T3-模，设(E)e表示关于额外参数e的一个Racah代数，最后证明在W上存在一个(E)e-模结构.