基于Racah型距离正则图的一些Leonard三元组和Racah代数

来源 :河北师范大学 | 被引量 : 0次 | 上传用户:wheatmm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设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-模结构.
其他文献
本文主要研究了矩阵多项式的块数值域.关于矩阵数值域的研究已有很多,取得了丰富的研究成果,并在迭代法的收敛分析、特征值定域及敏度分析方面有了广泛的应用.近年来,又相继研究
关于拟遗传代数的对偶扩张代数及其Ringel对偶代数的Cartan矩阵问题,是拟遗传代数理论中重要而有趣的课题,许多重要的公开问题都与之有密切联系。本论文讨论了由有限线性序集Λ
20世纪70年代,相继出现了各种广义导数的概念。著名的是Clarke的局部Lipschitz函数的广义方向导数和广义次梯度,但这个概念有许多局限之处。近几年来,不少学者对此问题作了大量
设Kv是v阶完全图,G是有限简单图,v阶λ重G-设计(G-填充设计,G-覆盖设计),G-GDλ(v)(G-PDλ(v),G-CDλ(v)),是一个序对(X,B),其中X是Kv的顶点集,B是Kv的一些与图G同构的子图(称为区组)的集合,
交不可约理想在非自伴算子代数的研究中扮演着重要角色。本文首先研究了套代数直和的交不可约理想,用矩阵单元给出了交不可约理想的形式,并证明了在套代数的直和中以下是等价的