1. 引言
在组合矩阵论中,符号模式矩阵是一个十分活跃的研究课题,它在社会学、经济学、化学、计算机科学等众多领域中具有广泛的实际应用背景。1987年,C. Eschenbach引出并研究了符号模式允许和要求某种实矩阵的性质,C. Eschenbach,F. Hall和李忠善等人对符号模式矩阵的很多性质都进行了研究 [1] - [6] 。2016年,Steve Kirkland [7] 等人首次提出了代数正矩阵的概念:对于实方阵A,如果存在实系数多项式f使得
是正矩阵,那么A称为代数正矩阵。除此之外,他们也提出了符号模式矩阵要求代数正和允许代数正这两个重要问题。2019年,Sunil Das [8] 等人刻画了星符号模式矩阵和三对角符号模式矩阵要求代数正。2022年,Biswas A,Kundu S [9] 刻画了所有3阶对称的符号模式矩阵要求代数正。2021年,Sunil Das [10] 给出了5阶树符号模式矩阵要求代数正的等价刻画。2022年,Sunil Das [11] 给出从低阶代数正矩阵构造高阶代数正矩阵的方法。迄今为止,符号模式矩阵要求代数正和允许代数正仍是组合矩阵论中的两个非常重要的问题。很多学者和专家关于符号模式矩阵的研究已经取得了大量丰硕的成果,但是还有很多问题亟待解决,例如,n阶Hessenberg符号模式矩阵允许代数正的充分必要条件,但是研究的难度较大。因此,本文研究4阶Hessenberg符号模式矩阵。首先,证明4阶Hessenberg符号模式矩阵不可约;然后,根据4阶Hessenberg符号模式矩阵中除对角线以外元素的正负号个数进行分类,给出4阶Hessenberg符号模式矩阵允许代数正的必要条件。
2. 预备知识
符号模式矩阵是指所有元素都取自集合
的矩阵。对于实矩阵
,以
的符号为元素组成的符号模式矩阵称为A的符号模式矩阵。对于任意符号模式矩阵A,所有与A的符号相同的实矩阵组成的集合称为A所决定的定性矩阵类,记为
。所有元素都是正实数的矩阵称为正矩阵,即矩阵中每个元素都大于零,记作
。设A是实方阵,如果存在一个实系数多项式f使得
,那么称A是代数正矩阵。设A是符号模式矩阵,如果
中任意矩阵都是代数正矩阵,那么称符号模式矩阵A是要求代数正的。设A是符号模式矩阵,如果
中存在代数正矩阵,那么称符号模式矩阵A允许代数正。设V是有限集合,
,则集合对
称为一个有向图。V中的元素称为顶点。E中元素称为弧。D中首尾相连的一串弧称为有向路径。若存在一条从a到b的有向路径,也存在一条从b到a的有向路径,则称有向图
的两个顶点a和b强连通 [12] 。
本文中
表示矩阵(或符号模式矩阵) A的第i行j列元素。本文讨论的矩阵都是实方阵。R表示是实数域。
取自集合
。
3. 主要结论
这部分考虑4阶Hessenberg符号模式矩阵,证明Hessenberg符号模式矩阵不可约,按除对角线外元素的取值情况进行分类讨论,给出4阶Hessenberg符号模式矩阵允许代数正的必要条件。
首先,给出Hessenberg符号模式矩阵的概念。
定义3.1 符号模式矩阵A形如
,
其中
,
,其余位置的元素都为0,称A是Hessenberg符号模式矩阵。
其次,证明4阶Hessenberg符号模式矩阵不可约。
引理3.1 [13] 方阵A不可约当且仅当其有向图
强连通。
引理3.2 4阶Hessenberg符号模式矩阵A不可约。
证明 设A是4阶Hessenberg符号模式矩阵,则
.
由
,故A的有向图
中任意两个顶点
之间都存在有向路径,则
强连通。由引理3.1可知,A不可约。
设A是n阶符号模式矩阵,取A中+的元素,其余元素用0替代,记为
,取A中−的元素,其余元素用0替代,记为
,则
。
引理3.3 设A是4阶Hessenberg符号模式,如果A允许代数正,则
。
证明 设4阶Hessenberg符号模式矩阵A允许代数正,则令
中存在矩阵
,
是代数正矩阵。由( [9] ,定理3)可知,
是代数正矩阵。由( [7] ,定理12)可知,
的每行和每列都含有正数或负数,所以
,因此
。
定理3.4 设A是4阶Hessenberg符号模式矩阵。若A允许代数正,则A或−A的形式如下:
,
,
,
,
,
,
,
,
,
,
,
,
,
.
证明 设4阶Hessenberg符号模式A允许代数正,则由引理3.3可知,
。不妨设
。
当A中除对角线外有2个+,则A的形式如下:
,
由( [7] ,定理12]可知,A的每行和每列含有+或−,则矩阵
.
当A中除对角线外含有3个+,则A的形式如下:
,
,
,
.
若
,则
,
则有向图
中顶点2到顶点
不存在有向路径,故
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵
.
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵
.
若
,则
,
则有向图
中顶点
到3不存在有向路径,则
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
当A中除对角线外含有4个+,则A的形式如下:
,
,
,
,
,
.
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵
.
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵A符合。
若
,则
,
则有向图
中顶点2到顶点
不存在有向路径,则
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵
.
若
,则
,
则有向图
中顶点
到2不存在有向路径,则
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
若
,则
,
则有向图
中顶点1到
不存在有向路径,则
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
当A中除对角线外有含5个+,则A的形式如下:
,
,
,
.
若
,则
.
因为有向图
中顶点1到顶点
不存在有向路径,所以
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
若
,则
.
因为有向图
中顶点
到顶点3不存在有向路径,所以
不强连通。由引理3.1可知,
可约。又因为A不可约,由( [9] ,定理4)可知,A不是允许代数正,产生矛盾。
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵A符合。
若
,则根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵A符合。
当A中除对角线外含有6个+,则A的形式如下:
。
根据( [7] ,定理12),A的每行和每列都含有一个+或−,所以符号模式矩阵A符合。
当
时,−A的形式与上面所得符号模式相同。
4. 结论
本文主要通过对4阶Hessenberg符号模式矩阵的研究,给出4阶Hessenberg符号模式矩阵允许代数正必要条件。本文的研究方法为特殊符号模式矩阵允许代数正的研究提供一定的思路和方法。
基金项目
辽宁省教育厅青年项目(LQ2020021)。