APP下载

Hamming图H(D,q)与Hadamard乘法

2016-05-11付月敏

河北省科学院学报 2016年1期
关键词:邻接矩阵同理顶点

付月敏

(河北师范大学 数学与信息科学学院,河北 石家庄 050024)



Hamming图H(D,q)与Hadamard乘法

付月敏

(河北师范大学 数学与信息科学学院,河北 石家庄050024)

摘要:本文给出了Hamming图H(D,q)的标准模上的一组基,并讨论了该基在 Hadamard乘法下的性质.

关键词:Hamming图; Hadamard乘法; 基

1预备知识

令Γ=(X,R)表示一个没有重边,没有环的无向有限连通图,其中X为顶点集,R为边集.令∂为Γ顶点之间的距离函数.记D:=max{∂(x,y)|x,y∈X},我们称D为Γ的直径.称Γ是距离正则的,如果对于任意整数h,i,j(0≤h,i,j≤D),任意顶点x,y∈X,当∂(x,y)=h时,数值

对于0≤i≤D,规定MatX(C)中矩阵Ai如下:

称Ai为Γ的第i个距离矩阵,矩阵A1称为Γ的邻接矩阵,简记为A.易知:

2完全图及其标准模上的Hadamard乘法

任意两个顶点都邻接的简单图称为完全图,具有n个顶点的完全图记为Kn.完全图是直径为2的距离正则图[1].令A为Kn=(X,R)的邻接矩阵,取定x∈X,A*=A*(x)为Kn的对偶邻接矩阵,V=CX为其标准模.则由E0=|X|-1J可知

A0=I,A=J-I=|X|E0-I.

(1)

其中,

定义MatX(C)中矩阵Δ如下:

并且下式成立:

(2)

引理1符号如上所述,则有

1)AΔ=ΔA*;

2)A*Δ=ΔA.

证明: 由式(1),(2)可知

故1)式成立.同理2)式可证.

引理3设y∈X,且y≠x.则有

(3)

(4)

成立,其中Ⅱ为全1列向量.

证明: 由Δ的定义以及E0=n-1J和E0+E1=I事实结论可得.

引理4下面结论成立:

1)对于任意y∈X,且y≠x,有

(5)

2)对于不同的y,z∈X,且y,z≠x,且有

1)得证.同理2)可证.

引理5下面结论成立:

1)对于任意u∈V,

2)对于任意y∈X,且y≠x,有

3)对于不同的y,z∈X,且y,z≠x,有

由(4)和(5)有

2)得证.同理3)可证.

3Hamming图及其标准模上的Hadamard乘法

定义1设Y是一个基数为q(q≥2)的有限集合,D为正整数,Hamming图H(D,q)的顶点集为X=YD.两个顶点相邻当且仅当这两个序列仅有一个位置上的元素不同.

定义2 设图Γ=(X,R)和图Γ′=(X′,R′),规定Γ×Γ′为顶点集合X×X′的图.顶点(u,v)与顶点(u′,v′)邻接当且仅当或者u=v且u′与v′在图Γ′中邻接,或者u′=v′且u与v在图Γ中邻接.我们称Γ×Γ′是Γ与Γ′的卡氏积.

定义3文献[6,p.404]对于任意B∈MatX′(C)和B′∈MatX′(C),规定B⊗B′为MatX×X′(C)中矩阵,且((u,u′),(v,v′)的值等于B的(u,v)值与B′的(u′,v′)值之积.我们称B⊗B′为B与B′与的张量积.

由文献[3,p.107]有

(B1⊗B1′)(B2⊗B2′)=(B1B2)(B1′B2′);

(6)

B⊗(γ1B1′+γ2B2′)=γ1B⊗B1′+γ2B⊗B2′;

(7)

(γ1B1′+γ2B2′)⊗B=γ1B1′⊗B+γ2B2′⊗B,

其中,γ1,γ2∈C.

引理6文献[6.p.404]Hamming图H(D,q)可以看做D个Kq的卡氏积,即Kq×Kq×…×Kq则H(D,q)的邻接矩阵A为

(8)

其中,I1为q×q的单位矩阵.H(D,q)的对偶邻接矩阵A*为

(9)

(10)

构成V的一组基.

定义4取定x∈X,规定MatX(C)中矩阵Δ为

(11)

由(6)可知Δ可逆,并且其逆元

(12)

引理8符号如上所述,则有

1)AΔ=ΔA*;

2)A*Δ=ΔA.

证明: 由(7),(8)和(11)可知

由引理1,式(9),(7)和(11)可知上式为

从而1)得证.同理2)可证.

对于任意y,z∈X,设

(13)

是其中两个元素,由(3.12),(3.13)和引理7可知

对于任意y,z∈X,有

(14)

下面给出本文的主要结论.

定理1符号如上所述,下面结论成立:

1)对于任意u∈V,

2)对于任意y∈Γ(x)有

3)对于不同的y,z∈Γ(x)有

再由引理5知1)成立.

从而3)式成立.

参考文献:

[1]BrouwerA.E.,CohenA.M.andNeumaierA.Distance-RegularGraphs[M].Springer,Berlin,1989.

[2]冯克勤,章璞,李尚志.群与代数表示引论[M].合肥: 中国科学技术大学出版社,2006.

[3]EvesH.ElementaryMatrixTheory[M].AllynandBaconInc.,Boston,1966.

[4]BiggsN.AlgebraicGraphTheory[M].Secondedition,CambridgeUniversityPress,Cambridge,1993.

[5]TerwilligerP.Thesubconstituentalgebraofanassociationscheme,(PartI)[J].J.AlgebraCombin.,1992,1(4):363-388.

Hamming graphsH(D,q) and Hadamard multiplication

FU Yue-min

(CollegeofMathematicsandInformationScience,HebeiNormalUniversity,ShijiazhuangHebei050024,China)

Abstract:In this paper,we give a base |y∈X} for the standard module of Hamming graphs H(D,q),and discuss the properties of the base under the Hadamard multiplication.

Keywords:Hamming graphs;Hadamard multiplication; Base

中图分类号:O157.5

文献标识码:A

文章编号:1001-9383(2016)01-0001-06

作者简介:付月敏,女,河北人,硕士研究生,主要研究方向为代数与代数组合.

基金项目:河北省自然科学基金项目(A2013205021)

收稿日期:2016-02-17

猜你喜欢

邻接矩阵同理顶点
轮图的平衡性
过非等腰锐角三角形顶点和垂心的圆的性质及应用(下)
过非等腰锐角三角形顶点和垂心的圆的性质及应用(上)
善良的战争:在支离破碎的世界中建立同理心
避免同理心耗竭
班主任应该给学生一颗同理心
基于邻接矩阵变型的K分网络社团算法
基于子模性质的基因表达谱特征基因提取
DELAY-TIME MODEL BASED ON IMPERFECT INSPECTION OF AIRCRAFT STRUCTURE WITHIN FINITE TIME SPAN
数学问答