论文部分内容阅读
符号矩阵理论是组合矩阵论的一个新兴研究分支,是近年来在组合数学中较为活跃的一个研究方向。该理论主要研究矩阵的仅与其符号模式有关的定性性质。符号矩阵理论最早起源于经济学中对某些问题的定性性质的研究。其开创性工作是由诺贝尔奖获得者、经济学家P.Samuelson作出的(参见文献[16])。由于符号矩阵理论在经济学中有着重要的应用背景,从而引起了经济学家,数学家及计算机理论专家的广泛关注。1995年,R.A.Brualdi与B.L.Shader的关于符号矩阵论的专著《Matrices of Sign-solvable Linear Systems》([5])的问世极大地推动了符号矩阵理论的发展,它全面系统地总结了在符号矩阵理论方面的研究成果,同时给出了许多新的结论,从而使符号矩阵理论成为组合数学的一个新兴的研究热点。
近年来,符号矩阵理论的研究有着从实数域向复数域推广的趋势。1997年,J.J. McDonald,D. D. Olesky M. J. Tsatsomeros和P. van den Driessche在文献[14]中将符号模式矩阵的概念推广到ray模式矩阵,并研究了ray模式矩阵的ray非奇异性及ray模式矩阵类的行列式值域的问题。1998年,C. A. Eschenbach,F. J. Hall,and Z.Li.等在文献[6]中从另一个方面对符号模式矩阵的概念做了推广,即所谓的“复符号模式矩阵”。在以上两种推广下都有一个基本问题有待解决,即ray非异阵或复符号非异阵的特征刻画。为了便于研究这个问题,在文献[14]中McDonald等同时提出了行列式值域的概念。2005年,在文献[20]中Jia-Yu Shao和Hai-YingShan对行列式值域问题进行了深入的研究,给出了一些行列式值域的必要条件,并据此列出了所有可能成为某一个矩阵在复符号模式下的行列式值域的区域形状。对于ray模式矩阵的行列式值域,他们定义了一个和行列式值域的形状密切相关的参数:行列式值域的叶数,并关于叶数这个参数提出了如下一些问题。
问题1:叶数是否一定有限?
问题2:如果叶数有上界,确定叶数的上确界,同时给出不同叶数的行列式值域的特征。
对于复符号模式可以提出类似的问题。
本文将主要对叶数这个参数进行研究。在文中我们定义了一种矩阵间的距离,利用这个概念我们证明复方矩阵在ray模式下行列式值域的叶数一定有限,并且最大可能值是2,然后我们证明叶数为2的矩阵行列式值域一定关于原点对称。利用上述结论我们列出了所有可能的ray模式下的行列式值域的形状,共9类,其中还有1类没有完全确定。我们在ray模式下的证明在复符号模式下也是可行的,利用复符号模式下相应的结论,我们排除了在文献[20]未被确定的6类可能成为行列式值域的区域中的4类,剩余2类共8种可能的区域还没有确定。