任芳國,和嘉琪

(陜西師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,陜西 西安 710119)

矩陣的Schattenp-范數(shù)是一類重要的矩陣范數(shù).它具有良好的性質(zhì),如酉不變性質(zhì)及單調(diào)性,因此矩陣Schattenp-范數(shù)在量子信息中刻畫量子態(tài)之間的距離和保真度、熵和相對熵以及量子的糾纏度和相干度有重要作用[1].本文在文獻(xiàn)[1-9]的基礎(chǔ)上,討論了矩陣Schattenp-范數(shù)與其主對角線元素及分塊矩陣主對角塊p-范數(shù)之間的關(guān)系,進(jìn)而給出矩陣與其伴隨換位子Schattenp-范數(shù)之間的關(guān)系,討論了矩陣的絕對值、換位子2-范數(shù)的界,所得結(jié)果細(xì)化和深化了矩陣Schattenp-范數(shù)的已有結(jié)果.

1 預(yù)備知識

為討論方便,引入以下定義和引理,其余未加說明的記號參見文獻(xiàn)[2].

注1 ‖A‖1為A的跡范數(shù),‖A‖2為A的Frobenius范數(shù),‖A‖∞為A的譜范數(shù).

定義3[4]設(shè)A∈Mn,稱(A*A)1/2為A的絕對值,記作|A|.

引理1 設(shè)A,B∈Mn是半正定矩陣且tr(AB)=0,則AB=0.

引理2[4](Weyl單調(diào)定理) 設(shè)A是n階Hermite矩陣,H是n階半正定矩陣,則λj(A+H)≥λj(A),其中j=1,2,…,n.

2 主要結(jié)論

分別利用矩陣分解、矩陣分塊的技巧及矩陣Schattenp-范數(shù)的特性,深入討論矩陣Schattenp-范數(shù)的性質(zhì).

定理1 設(shè)A=(aij)n∈n×n,p≥1,則:

(1) Re(tr(A))=‖A‖1,當(dāng)且僅當(dāng)A是半正定矩陣;

(3) 設(shè)e1,…,en與f1,…,fn是n中兩組標(biāo)準(zhǔn)正交基,則

(1) 必要性.由U1,V1是等距矩陣及柯西不等式有,

如果Re(tr(A))=‖A‖1,則由sk>0,k=1,…,r可知,

(2) 設(shè)f(x)=xp.由p≥1知,f(x)在[0,+∞]上為單調(diào)遞增凸函數(shù).由

(3) 令

U=(e1,…,en),V=(f1,…,fn),

結(jié)論證畢.

定理2 設(shè)p≥1,Pi∈n×n是一簇正交投影矩陣,其中i=1,…,m,有以下結(jié)論成立:

證明(1) 先證PiPj=δijPi.

再證c(B)是B的酉相似凸組合.

設(shè)s=j-i,若εs≠1及(εs)m=1知,

那么

最后,由‖·‖P是酉不變范數(shù)知,

又

故

且

綜上,定理得證.

定理3 設(shè)A∈Mn,p≥1,則:

(2) ‖A*A-AA*‖p≥(2-21/p)‖A*A‖p-21/p‖A2‖p;

證明(1) 由于

則由引理2知,

那么

‖A*A-AA*‖p≤21/p‖A*A‖p.

再由

則結(jié)論(1)成立.

(2) 由于‖AA*‖p=‖A*A‖p,‖A2‖p=‖(A2)*‖p,則

于是

‖A*A-AA*‖p=‖2A*A-(A*A+AA*)‖p≥‖2A*A‖p-‖A*A+AA*‖p≥
2‖A*A‖p-(21/p‖AA*‖p+21/p‖A2‖p)=(2-21/p)‖A*A‖p-21/p‖A2‖p.

|P-Q|=(P-Q)V=V(P-Q).

設(shè)W=(w1,…,wn)為W的列分塊矩陣,再由P2-Q2=1/2[(P+Q)(P-Q)+(P-Q)(P+Q)]知,

推論2 設(shè)A∈Mn,r=r(A),p≥1,則:

證明(1) 由矩陣的Frobenius范數(shù)的定義及向量的lp范數(shù)性質(zhì)知,‖A*A-AA*‖1≤r1-1/p‖A*A-AA*‖p,即有

r1/p-1‖A*A-AA*‖1≤‖A*A-AA*‖p,

再由定理3結(jié)論(3)知,

定理4 設(shè)A∈Mn是正規(guī)矩陣,X∈Mn,則:

(1) ‖AX-XA‖2=‖A*X-XA*‖2;

(2) ‖|A|X-X|A|‖2≤‖AX-XA‖2.

設(shè)U*XU=(xij)n,由Frobenius范數(shù)的酉不變性可知

推論3 設(shè)A,B∈Mn是正規(guī)矩陣,X∈Mn,則‖|A|X-X|B|‖2≤‖AX-XB‖2.

由

再結(jié)合定理4結(jié)論(2)有

‖|T|S-S|T|‖2≤‖TS-ST‖2.

即

那么‖|A|X-X|B|‖2≤‖AX-XB‖2.

于是由推論3有

即

3 總結(jié)

本文主要利用矩陣奇異值分解、譜分解、柯西不等式、分塊矩陣的主對角塊組成的準(zhǔn)對角矩陣可以表示成其凸組合、正交投影、正規(guī)矩陣及Schattenp-范數(shù)的特性,深入討論了矩陣主對角線元素與矩陣Schattenp-范數(shù)之間的關(guān)系,刻畫了分塊矩陣與其主對角塊p-范數(shù)之間的關(guān)系,深入研究了矩陣與其伴隨換位子Schattenp-范數(shù)之間的關(guān)系,給出了矩陣的絕對值及換位子之間Frobenius范數(shù)的界,所得結(jié)果細(xì)化和深化的矩陣Schattenp-范數(shù)的已有結(jié)果,這使我們更加了解Schattenp-范數(shù)的性質(zhì)以及為解決其量子信息數(shù)值問題奠定了基礎(chǔ).