某些整循环图的能量.pdfVIP

2012年 3月 广西师范学院学报：自然科学版 Mar．2012 第29卷 第 1期 JournalofGuangxiTeachersEducationUniversity：NaturalScienceEdition Vo1．29No．1 文章编号：1002—8743(2012)01—0016一O7 某些整循环图的能量 张培洋，熊腾飞，唐高华 (广西师范学院 数学科学学院，广西 南宁 530023) 摘 要：给出了整循环图的一个分解定理，利用这个分解定理得出了一些整循环图的能量，相应地决定了其超 能性 ．此外，还构造了几族具有 个顶点不同谱的正则等能超能图 ． 关键词：整循环图；分解定理 ；能量 中图分类号：O157．5 文献标识码：A 1 引 言 设r是带有单位元e的乘法群，对于 s ／-,，e S，且 S-1={SI1IS∈S}=S．Cayley图X=Cay (r，s)是无向图，其顶点集为 V(X)=／-,，边集为{{a，b}1a6 ∈S}． 对于正整数 1，单位Cayley图 =Cay( ， )定义在模 剩余类环 和 的可逆元作成 的乘法群 上．记 的元素为0，1，…，一1，则 ={以∈ 1gcd(a，)=1}，故图 的顶点集为 V(x )=乙={0，1，…，7／一1}，边集 {{口，b}Ia，b∈ ，gcd(a—b，)=1}．图 是正则图，顶点度数 为l l= (T,／)，其中 ()表示欧拉函数 ． gcd一图 (D)是单位Cayley图的推广，gcd一图 (D)的顶点集为 ={0，1，…， 一1}，边集为 {{a，b}Ia，b∈ ，gcd(a—b，)∈D}，这里 D是正整数 的一些正的真因子构成的集合 ．若 D= {d ，dz，…，d }，则也记 (D)= (d，dz，…，d)，特别地 (1)= ．gcd一图 (D)于2007年 首先由Klotz和Sander在 [1]中提出并证明了gcd一图 (D)的邻接矩阵的所有特征值都是整数 ． 若图G的邻接矩阵是循环矩阵，则称图G是循环图．若图G的邻接矩阵的所有特征值都是整数 ， 则称图G是整图 ．具有整谱的循环图称为整循环图 ．易见 ，图G是有 个顶点的循环图，当且仅当存 在加群 的子集S，使得 S=一S且G同构于Cayley图Cay( ，S)．将具有 个顶点的循环图记为 G(，S)，集合 s称为循环图G(，S)的循环集 ．对每一个 S∈S，顶点 i与顶点i±S(mod )相连 ． 2005年SO在文献[2]刻画了整循环图．设G (d)={忌Igcd(k，咒)=d，1≤愚 }是比咒小，且与 的 最大公约数为d的所有正整数集合 ．设D 是 的正因子d的集合，且 ≤詈．2005年So在文献[2]证 明了循环图G(n，S)是整图当且仅当存在 D D ，使得 S=U ∈。G (d)，即循环图G(，S)是整图当 且仅当它是 gcd一图 ． 设 A是具有咒个顶点图G的邻接矩阵 ． ，：，…， 是矩阵A 的特征值 ．图G的能量定义为 E(G)=∑nll／il．若图G的能量大于完全图K 的能量，即E(G)2n一2，则称图G是超能图． 收稿 日期：2012～02—07 * 基金项目：国家 自然科学基金项 目11171142)；广西科学基金项目(20儿GxNsFA018139，2011GXNSFA 018144，2010GXNSFB013048)；广西 “新世纪十百千人才工程”项 目(2011年立项)；广西研究生教育创新 计划资助项 目(2011106030701M06)(2011年立项) 通讯作者简介：唐高华(1965一)，男，广西桂林人，教授，博士 ． 第 1期 张培洋，等：某些整循环图的能量 ·17 · 若图G，，G：的顶点数相同，且E(G )=E(G：)，则称图G ，G：是等能图 ．若 咒=P。，P是素数，aE N+，Balakrishnan_3得到 E( )=2(P一1)P一 ，也证明了对于任一正整数 咒≥3，存在顶点数为4咒的