定向图的斜秩

定向图Gσ是一个不含有环(loop)和重边的有向图,其中G称作它的基图.S(Gσ)是Gσ的斜邻接矩阵.S(Gσ)的秩称为Gσ的斜秩,记为sr(Gσ).定向图的斜邻接矩阵是斜对称的,因而,它的斜秩是偶数.本文主要考虑简单定向图的斜秩,首先给出斜秩的一些简单基本知识,紧接着分别刻画斜秩是2的定向图和斜秩是4的带有悬挂点的定向图;其次利用匹配数给出具有n个顶点、围长是k的单圈图的斜秩表达式;作为推论,列出斜秩是4的所有单圈图和带有悬挂点的双圈图;另外研究具有n个顶点、围长是k的单圈图的图类中斜秩的最小值,并刻画了极图;最后研究斜邻接矩阵是非奇异的定向单圈图.     

定向图的斜Randic能量

图G是一个简单无向图,G~σ是图G在定向σ下的定向图,G被称作G~σ的基础图.定向图G~σ的斜Randi6矩阵是实对称n×n矩阵R_s(G~σ)=[(r_s)_(ij)].如果(v_i,v_j)是G~σ的弧,那么(r_s)_(ij)=(d_id_j)~(-1/2)且(r_s)_(ji)=(d_id_j)~(-1/2),否则(r_s)_(ij)=(r_s)_(ji)=0.定向图G~σ的斜Randi能量RE_s(G~σ)是指R_s(G~σ)的所有特征值的绝对值的和.首先刻画了定向图G~σ的斜Randi矩阵R_s(G~σ)的特征多项式的系数.然后给出了定向图G~σ的斜Randi能量RE_s(G~σ)的积分表达式.之后给出了RE_s(G~σ)的上界.最后计算了定向圈的斜Randi能量RE_s(G~σ).     

有向图斜能量的若干性质

令G为简单无向图,给图G的每条边赋予一个方向,得到的有向图记为G~σ.有向图G~σ的斜能量ε_s(G~σ)定义为G~σ的斜邻接矩阵特征值的绝对值之和.运用奇异值不等式,得到了有向图斜能量和去边后所得有向子图斜能量之间的若干性质.     

具有完美匹配的(2n,m)-图的极小斜能量

有向图G~σ的斜能量E_s(G~σ)定义为G~σ的斜邻接矩阵特征值的绝对值之和.令H_(2n,m)是顶点个数为2n,边数为m,具有完美匹配且不含偶圈的图的集合.得到了H_(2n,m)中具有最小斜能量的图,其中2n≤m≤3n-2.     

树和单圈图的斜谱矩

给定图$G$,对图$G$的每条边确定一个方向,称为$G$的定向图$G^\sigma$, $G$称为$G^\sigma$的基础图. $G^\sigma$的斜邻接矩阵$S(G^\sigma)$是反对称矩阵,其特征值是0或纯虚数. $S(G^\sigma)$所有特征值的$k$次幂之和称为$G^\sigma$的$k$阶斜谱矩,其中$k$是非负整数.斜谱矩序列可用于对图进行排序.本文主要研究定向树和定向单圈图的斜谱矩,并对这两类图的斜谱矩序列依照字典序进行排序.首先确定了直径为$d$的树作为基础图的所有定向树中,斜谱矩序最大的$2\lfloor\frac{d}{4}\rfloor$个图; 然后确定以围长为$g$的单圈图作为基础图的所有定向单圈图中, 斜谱矩序最大的$2\lfloor\frac{g}{4}\rfloor+1$个图.     

具有斜特征值互逆性质的单圈图

设G是一个无向图.如果对G的任一(某个)定向图G,G的斜邻接矩阵S(G)的每一个特征值λ,其倒数1/λ同样也是S(G)的特征值,且重数与λ相同,就称G是具有强迫(允许)斜特征值互逆性质.本文确定了所有具有强迫(允许)斜特征值互逆性质的单圈图.     

不存在秩为r(G)+2c(G)-1或r(G)-2c(G)+1的符号图

设Γ=(G,σ)是一个符号图,其中G是Γ的基图.设r(G,σ)是Γ的秩.[Linear Algebra Appl.,2018,538:166-186]和[Linear Multilinear Algebra,2019,67:2520-2539]分别证明了r(G)-2c(G)≤r(G,σ)≤r(G)+2c(G),其中,r(G)和c(G)分别是G的秩和圈空间维数.本文主要证明没有符号图的秩能够达到r(G)+2c(G)-1和r(G)-2c(G)+1,并且证明了存在无穷多个符号图的秩r(G,σ)=r(G)+2c(G)-s,其中s∈[0,4c(G)]且s≠1及4c(G)-1.     

变换图的正则性和谱半径

在前人对八种变换图研究的基础上,探讨了变换后满足正则性的原图的性质,得到了如下结果:G~( )及G~(---)是正则图当且仅当G是正则图;G~( -)和G~(-- )为正则图的充要条件是G为C_n、K_(2,n-2)或K_4;G~( - )和G~(- -)是正则图当且仅当G为C_5、K_7、K_2、K_(3,3)或G_0;G~(- )和G~( --)是正则的当且仅当G是(n-1)/2-正则图．同时还讨论了变换图的谱半径上界,并对这些上界进行了估计．     

给定阶数的简约单圈图的秩集(英文)

图的秩定义为其邻接阵的秩.如果一个连通图中不同顶点的邻域是不同的,我们称该图是简约图.本文证明有n个顶点简约单圈图的秩r满足:若r是偶数,则2n/3≤r≤n;若r是奇数,则(2n+5)/3≤r≤n.同时我们给出有偶数秩r和阶数3r/2或奇数秩r和阶数(3r-5)/2极大简约单圈图的刻画.     

不含偶圈双圈图的极小斜能量

令G为简单连通图. 给图G的每条边赋予一个方向, 得到的有向图, 记为G^\sigma. 有向图G^\sigma的斜能量E_{s}(G^{\sigma})定义为G^\sigma的斜邻接矩阵特征值的绝对值之和. 令\mathcal{B}^\circ_{n}表示顶点个数为n不含偶圈的双圈图的集合. 考虑了\mathcal{B}^\circ_{n}中图依斜能量从小到大的排序问题. 利用有向图斜能量的积分公式和实分析的方法, 当n \geq 156和155 \geq n\geq 12时, 分别得到了\mathcal{B}^\circ_{n}中具有最小、次二小和次三小斜能量的双圈图.     

Schuster性质在循环图上的实现

第四届国际图论会议上提出的十大未解决问题之一:确定所有满足=G~2的图G,本文提供了一种在循环图上搜索具有=G~2性质的图G的方法,由此得到: 在C_n,在C_n中仅有C_(14)<1,4>和C_(14)<1,6>具有性质=G~2。     

图的上可嵌入性

证明了一个连通无环图G如果能嵌入某个 (定向或不可定向 )曲面S上使得每个面的大小不超过 5 ,则G是上可嵌入的 .     

含有多个圈的图的秩

研究了含有多个圈的图的邻接矩阵的秩.将k(k≥2)条点不交的路,首和尾分别粘合得到的图称为Θ-图.用Γ(k-1)表示含有Θ-图作为导出子图的(k-1)-圈图的集合,而用C(η,k)表示含有n个顶点和k个边不交的圈的图的集合.确定了Γ(k-1)中秩等于5和6的图以及C(n,k)中秩等于4,5和6的图.     

划分格中的Mbius函数和秩生成函数

设S={1,2,…,n},P(n)是由S的所有划分组成的集合.对于π,σ∈P(n),如果π中的每个块包含在σ的一个块里,就定义π≤σ,那么P(n)作成一个格.如果M(n,k)是由S的所有k部划分组成的集合,而L(n,k)是由M(n,k)生成的格.在P(n)和L(n,k)中,给出M(o|¨)bius函数,并且确定了特征多项式和秩生成函数的表示式.     

斜群代数的截断代数和平凡扩张

主要讨论有限群G=N×MSL(3,C)的McKay箭图,及其对应的斜群代数∧V*G的截断箭图和截断代数的性质,证明了当3|(n+1),3|r时,其特殊截断代数的平凡扩张与斜群代数∧V*G同构.     

图的最大亏格的一个性质

本文所考虑的图均指有限元向图，没有解释的术语和记号同[1]．一个图称为简单图如果不含重边及环．曲面S这里指一个紧的，连通的，2－维闭流形（定向或不可定向），其亏格记为g（S）．连通图G在曲面S上的一个2－胞腔嵌入意指存在一个1－1连续映射h：G→S使得S＼h（G）的每个连通分支与圆盘拓扑同胚．连通图G的定向亏格γ（G）（或不可定向亏格γ（G））是指最小的整数k使得G在亏格为k的定向（或不可走向）曲面S上有2－胞腔嵌入；而图G的最大定向亏格，也常称之为最大亏格，记为γM（G）,是指最大的整数k使得G在亏格为k定向曲面S上有…     

平方图的汉米尔顿性

一个图 G 的平方图(记作 G~2),是在 G 中把所有距离为2的点对用边相邻接而形成的图.本文主要结果是:定理.如果 G 是连通,无 S(K_(1,3))导出子图的图,则 G~2是顶点泛圈图.这样,Gould 和 Jacobson 提出的两个猜想得到证明.结合这一方向上已有的工作,平方图的汉米尔顿问题基本上得到满意的解决.     

保持算子乘积谱函数的映射

设A和B为无限维复Banach空间上的标准算子代数,记ΔR(·)为下列谱函数之一σR(·),σRl(·),σRr(·),σRl(·)∩σRr(·),(a)σR(·),ησR(·),σRp(·),σRc(·),σRap(·),σRs(·),σRap(·)∩σRs(·),σRp(·)∩σRc(·),σRp(·)∪σRc(·),其中R=A或B.证明了A和B之间的每个保持算子Jordan三乘积(算子乘积)之谱函数ΔR(·)的满射φ必有形式φ=επ,其中ε是1的立方根(1的平方根)而π或者是A和B之间的代数同构,或者是代数反同构.也获得不定度规空间上的标准算子代数之间保持算子斜乘积之谱函数的映射的完全刻画.     

保持算子乘积谱函数的映射

设A和B为无限维复Banach空间上的标准算子代数,记Δ~R(·)为下列谱函数之一:σ~R(·),σ_l~R(·),σ_r~R(·),σ_l~R(·)∩σ_r~R(·),(?)σ~R(·),(?)σ~R(·),σ_p~R(·),σ_c~R(·),σ_(ap)~R(·),σ_s~R(·),σ_(ap)~R(·)∩σ_s~R(·),σ_p~R(·)∩σ_c~R(·),σ_p~R(·)∪σ_c~R(·),其中R=A或B.证明了A和B之间的每个保持算子Jordan三乘积(算子乘积)之谱函数△~R(·)的满射Φ必有形式Φ=(?)π,其中(?)是1的立方根(1的平方根)而π或者是A和B之间的代数同构,或者是代数反同构.也获得不定度规空间上的标准算子代数之间保持算子斜乘积之谱函数的映射的完全刻画.