王燕玲,邵燕靈

一類含有2n個(gè)非零元的極小譜任意符號(hào)模式

王燕玲,邵燕靈

(中北大學(xué)數(shù)學(xué)系,山西太原030051)

設(shè)A為n階符號(hào)模式矩陣,若對(duì)任意給定的一個(gè)n次首1實(shí)系數(shù)多項(xiàng)式f(x),都存在一個(gè)實(shí)矩陣B∈Q(A),使得B的待征多項(xiàng)式為f(x),則稱A為譜任意符號(hào)模式.若一個(gè)譜任意符號(hào)模式的任意真子模式都不是譜任意的,則稱這個(gè)譜任意符號(hào)模式為極小譜任意符號(hào)模式.本文給出了一類含有2n個(gè)非零元的極小譜任意符號(hào)模式.

符號(hào)模式矩陣;冪零矩陣;譜任意

0 引言

符號(hào)模式矩陣是元素取自于集合{+,-,0}的矩陣.由給定的實(shí)矩陣B={bij}的每個(gè)元素的符號(hào)sign(bij)所組成的矩陣稱為B的符號(hào)模式矩陣,記為signB.全體n階符號(hào)模式矩陣組成的集合用Qn表示.對(duì)任意A∈Qn,所有與A有相同符號(hào)模式的n階實(shí)矩陣組成的集合{B|signB=A}稱為A的定性矩陣類,記為Q(A).

符號(hào)模式矩陣A中的某些非零元被零代替后得出的符號(hào)模式稱為A的子模式,記作S,也稱A為S的母模式.每個(gè)符號(hào)模式是其本身的母模式和子模式.若S是A的子模式且S≠A.則稱S是A的真子模式,A是S的真母模式.

若對(duì)任意給定的一個(gè)n次首1實(shí)系數(shù)多項(xiàng)式f(x),都存在一個(gè)實(shí)矩陣B∈Q(A),使得B的特征多項(xiàng)式為f(x),則稱A為譜任意符號(hào)模式(SAP).若一個(gè)譜任意模式的任意真子模式都不是譜任意的,則稱該譜任意模式為極小譜任意模式(MSAP).顯然,如果A是譜任意的,那么它一定是慣量任意和蘊(yùn)含冪零的.對(duì)一個(gè)n階符號(hào)模式A,若任一矩陣B∈Q(A)是非奇異的,則A是符號(hào)非奇異的;若每一個(gè)矩陣B∈Q(A)是奇異的,則A是符號(hào)奇異的.

譜任意問(wèn)題最早在文[1]中提出,并據(jù)隱函數(shù)存在定理給出了一種證明符號(hào)模式及其所有母模式是譜任意的方法,第一個(gè)n≥2階譜任意符號(hào)模式在文[2]中提出.后來(lái),文[3-9]等文章分別給出了一些慣量任意和譜任意模式.

本文研究一類形式如下的n階符號(hào)模式:

其中最后一行的正元在n-r+1列.將證明當(dāng)n≥3,2≤r

1 有關(guān)結(jié)論

引理1[1]設(shè)A∈Qn,假設(shè)存在某個(gè)冪零矩陣B∈Q(A),且B中至少含有n個(gè)零元,記為bi1j1,bi2j2,…, binjn.把B中的這n個(gè)非零元用變量x1,…,xn代替后所得的矩陣記為X,設(shè)X的特征多項(xiàng)式為pX(x)=xn-

α1xn-1+α2xn-2-…+(-1)n-1αn-1x+(-1)nαn.如果當(dāng)(x1,…,xn)=(ai1j1,…,ainjn)時(shí),

設(shè)x1,…,xn是實(shí)變量,αi=αi(x1,…,xn)是關(guān)于變量x1,…,xn的實(shí)函數(shù)(其中i=1,2,…,n),且αi對(duì)任意xj(j=1,2,…,n)均有連續(xù)偏導(dǎo)數(shù).定義函數(shù)α1,…,αn對(duì)變量x1,…,xn的雅可比矩陣為奇異,則A的任意母模式是譜任意的.

當(dāng)l≥1,r≥2,且cj>0(j=1,…,l)時(shí),令

其中最后一行的b元在l-r列.若r≥l,則Cl,r中不含b元.

引理2[3]當(dāng)1≤l≤n且2≤l0.

任取實(shí)矩陣Bn,r∈Q(An,r),設(shè)Bn,r有如下形式:

其中b>0,ai>0(i=1,2,…,n-2,n),且b元在n-r+1列.

引理3 設(shè)n階矩陣Bn,r的特征多項(xiàng)式為fBn,r(x)=xn-α1xn-1+α2xn-2-…+(-1)n-1αn-1x+(-1)nαn,令α0=1,則

(1)

(2)當(dāng)a1=1時(shí),

證明(1)

因此(1)成立.

證明(2)

按n-r列展開(kāi),可得

由引理2可知,上式是cn-r,r的形式,即det(J)>0.引理得證.

這里給出一個(gè)定義,對(duì)于一個(gè)實(shí)系數(shù)多項(xiàng)式f(t),令Zf={a>0|f(a)=0},如果Zf非空,則Zf的最小值記作min(Zf).

引理4[3]設(shè)f(t),g(t)為實(shí)系數(shù)式項(xiàng)式,且h(t)=g(t)-tf(t),如果f(0),g(0)>0,Zf和Zg非空,且min(Zg)

引理5 當(dāng)n≥3,2≤r

證明:(以下證明采用引理3的記號(hào))

假定αi=0(i=1,…,n),可得a1=a2=…=ar-1=1,而aj(j=r,r+1,…,n-2,n)是關(guān)于b的多項(xiàng)式.

令j=r,r+1,…,n-2,上述多項(xiàng)式滿足aj(b)=aj-1(b)-baj-r(b).令h(b)=an-2(b)-ban-r-1(b).容易驗(yàn)證aj(0)=1(j=r,r+1,…,n-2),且h(0)=1.令ar+i(b)=1-(i+1)b=0(i=0,1,…,r-1),可得b=.因此min(Za)

由上式可知min(Za2r-1)

同理,反復(fù)用引理3可知min(Zh)

ar+i(b)=1-(i+1)b,(i=0,1,…,n-r-2)

0=an-2(b)-ban-r-1(b),

an(b)=ban-r(b).

與前同理,可得min(Zh)0, (j=r,r+1,…,n-2),an(bh)=bhan-r(bh)>0,故當(dāng)a1=…=ar-1=1,aj=aj(bh)>0,(j=r,r+1,…,n-2),an=an(bh),b=bh時(shí),Bn,r∈Q(An,r)是冪零矩陣.引理得證.

引理6[4]一個(gè)n階不可約譜任意符號(hào)模式至少有2n-1個(gè)非零元.

2 主要結(jié)果

定理1 當(dāng)n≥3,2≤r

證明:由引理1,引理3和引理5得證.

定理2 當(dāng)n≥3,2≤r

證明:當(dāng)n≥3,2≤r

(1)sn-1,n-1≠0,否則S的跡為正,與S是SAP矛盾.

(2)si,i+1≠0.(i=2,…,n-r-1,n-r+1,…,n),否則S是符號(hào)奇異的,與S是SAP矛盾.

(3)sn-r,n-r+1≠0.sn,n-r+1≠0,否則S是符號(hào)非奇異的,與S是SAP矛盾.

(4)si,1≠0(i=1,2,…,n-2,n),否則由引理3(1)知αi≠0,與S是SAP矛盾.

再由引理6可知,An,r的任意真子模式都不是譜任意的,即An,r是MSAP,定理得證.

[1] DREW J H,JOHNSON C R,OL ESKY D D,et al.Spectrally Arbitrary Patterns[J].Linear A lgebra A pplication,2000, 308:121-137.

[2] MCDONALD J J,OL EXKY D D,TSATSOMEROS M J,et al.On the Spectra of Striped Sign Patterns[J].Linear Multilinear A lgebra,2003,51:39-48.

[3] CAVERS M S,KIMI J,SHADER B L,et al.On Determining Minimal Spectrally Arbitrary Patterns[J].Elec J L inear A lgebra,2005,13:240-248.

[4] BRITZ T,MCDONALD J J,OLESKY D D,et al.Minimal Spectrally Arbitary Sign Patterns[J].S IA M J Matrix A nal A ppl,2004,26:257-271.

[5] GAO Yu-bin,SHAO Yan-ling.A Spectrally Arbitrary Pattern[J].A dvances in Mathematics,2006,35:551-555.

[6] GAO Yu-bin,SHAO Yan-ling,LI Zhong-shan.A Note on Spectrally Arbitrary Sign Patterns[J].J P Journal of A lgebra, N umber Theory and A pplications,2006,11:15-35.

[7] MCDONALD J J,STUART J.Spectrally Arbitrary Ray Patterns[J].Linear A lgebra and Its A pplications,2008,429: 727-734.

[8] LI Shou-cang,GAO Yu-bin.Two New Classes of Spectrally Arbitrary Sign Patterns[J].A rs Combinatoria,2009,90:209-220.

[9] CAVERS M S,VANDER MEUL EN K N.Spectrally and Inertially Arbitrary Sign Patterns[J].Linear A lgebra A ppl, 2005,394:53-72.

A Class of Minimal Spectrally Arbitrary Patterns with 2nNonzero Entries

WANG Yan-ling,SHAO Yan-ling
(Department of Mathematics,North University of China,Taiyuan030051,China)

Ann×nsign patternAis a spectrally arbitrary pattern.If for any given real monic polynomial f(x)of degreen,there is a real matrixB∈Q(A)so that it charateristic polynomial isf(x).andAis known as a spectrally arbitrary pattern.IfAis a spectrally arbitrary pattern and no proper subpattern ofA is spectrally arbitrary,thenAis a minimally spectrally arbitrary pattern.In this paper,we introduce a class of minimally spectrally arbitrary patterns with 2nnonzero entries for ordern≥3.

sign pattern matrix;nilpotent matrix;spectrally arbitrary pattern

O157

A

0253-2395(2010)03-0349-05

2009-05-06;

2010-02-16

國(guó)家自然科學(xué)基金(10571163);山西省自然科學(xué)基金(2007011017,20090110007)

王燕玲(1981-),女,碩士研究生,研究方向:組合數(shù)學(xué).E-mail:fromwangyanling@163.com