×

II(_1)因子的汤普森定理。 (英语) Zbl 1369.46054号

在[SIAM J.应用数学.32,39–63(1977;Zbl 0361.15009号)],R.C.汤普森能够用(x_1\geq\cdots\geqx_n\geq0)和(y_1|\geq\ cdots\ geq|y_n|\)来刻画这些向量对(x\in\mathbb R^n)和(y \in\mathbb C^n),从而存在具有奇异值\(x\)和对角线\(y\)的(A\ in M_n(mathbb C)\)。条件是\[\开始{对齐}&\sum_{j=1}^k|y_j|\leq\sum_{j=1}^kx_j,\quad k=1,\点,n,\\&\sum{j=1}^{n-1}|y_j |-|y_n|\leq \sum_j=1}^{n-1}xj-xn。\结束{对齐}\标记{1}\]这个特征是Schur-Horn定理的一个变体,它在(a)是自伴的情况下表征了这些对。不等式(1)相当于所谓的子joralization(用\(|y|\prec_w-x\)表示)。
具有对角线(y)和奇异值(x)的矩阵(a)的存在性等价于存在单位(U,V),使得(UYV)的对角线为(x),其中(y)是具有对角线上(y)的对角矩阵。
这些想法可以扩展的一个自然框架是II-因子。在这方面已经做了很多工作,我参考了这篇论文的参考文献列表,以获得关于这一主题的重要论文的子集。II(1)-因子之所以适用于这些思想,是因为它们在某种意义上是全矩阵代数的“正确”无限维泛化(特别是因为它们具有忠实的轨迹,以及特征值和奇异值的连续类似物,从而允许人们定义优化)。
因此,在这里,作者在II(1)-因子的设置下证明了一个汤普森定理。将“对角线”推广到II因子(mathcal M)是一个条件期望(即,正态投影)(e_{mathcal a})到masa上。作者证明的结果是:
定理。对于具有条件期望(E_{mathcal a})和(T\in\mathcal M\)、(a\in\mathcal a\)的II\(_1)因子(mathcal M)和masa\(mathcalA\子集\mathcalM\),下列语句是等价的:
(i)
\(A\prec_w T\);
(ii)
\(E_{mathcal A}中的A\(上划线{{UTV:\;U,V\在mathcal U(\mathcal M)\}}中)。
在引言和序言之后,该证明包含了论文的大部分内容,包括将问题更严格地简化为更简单的案例,并以一种基本的方式加以使用M。维奇安德兰的II因子中的Schur-Horn定理[“von Neumann代数中的Schour-Horn公式”,Preprint(2012),arXiv:1209.0909],这基本上是上述定理,其中\(A\)和\(T\)是自伴和\(V=U^*\)。
在最后一节中,作者证明了他们的结果暗示了拉维坎德兰的结果。

MSC公司:

46升10 von Neumann代数的一般理论
15A42型 包含特征值和特征向量的不等式
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Argerami,M。;Massey,P.,《({\rm II}_1)因子中的Schur-Horn定理》,印第安纳大学数学系。J.,56,5,2051-2059(2007)·Zbl 1136.46043号 ·doi:10.1512/iumj.2007.56.3113
[2] Argerami,Mart{'{i}}n;佩德罗·梅西(Pedro Massey),《迈向木匠定理》,Proc。阿默尔。数学。《社会学杂志》,137,11,3679-3687(2009)·Zbl 1183.46058号 ·doi:10.1090/S0002-9939-09-099999-7
[3] Argerami,Mart{'{i}}n;Massey,Pedro,Schur-Horn定理({\rm II}_\infty)-因子,太平洋数学杂志。,261, 2, 283-310 (2013) ·Zbl 1283.46042号 ·doi:10.2140/pjm.2013.261.283
[4] 威廉·阿维森(William Arveson);Richard V.Kadison,《自共轭算子的对角线》。《算子理论、算子代数和应用》,Contemp。数学。414247-263(2006),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1113.46064号 ·doi:10.1090/conm/414/07814
[5] Bhat,B.V.Rajarama;Ravichandran,Mohan,有限谱算子的Schur-Horn定理,Proc。阿默尔。数学。《社会学杂志》,142,10,3441-3453(2014)·Zbl 1311.46054号 ·doi:10.1090/S0002-9939-2014-12114-9
[6] Chong,Kong Ming,Hardy,Littlewood和P’olya定理的一些推广及其应用,Canad。数学杂志。,26, 1321-1340 (1974) ·Zbl 0295.28006号
[7] Dykema,Kenneth J。;方俊生;唐纳德·W·哈德温。;Smith,Roger R.,有限因子中masas的carpenter和Schur-Horn问题,伊利诺伊州数学杂志。,56, 4, 1313-1329 (2012) ·Zbl 1292.46040号
[8] Fack,T.,Sur la concept de valuer caract公司{e} 里斯蒂克,J.算子理论,7,2,207-333(1982)·Zbl 0493.46052号
[9] 法克、蒂埃里;Kosaki,Hideki,广义(s)-可测算子的个数,太平洋数学杂志。,123, 2, 269-300 (1986) ·Zbl 0617.46063号
[10] Hiai,Fumio,von Neumann代数中的优化和随机映射,J.Math。分析。申请。,127, 1, 18-48 (1987) ·Zbl 0634.46051号 ·doi:10.1016/0022-247X(87)90138-7
[11] 霍恩,阿尔弗雷德,双重随机矩阵和旋转矩阵的对角线,阿默。数学杂志。,76, 620-630 (1954) ·Zbl 0055.24601号
[12] 哈代,G.H。;Littlewood,J.E.,《不等式》(1934),剑桥大学出版社
[13] Hiai,Fumio;Nakamura,Yoshihiro,半有限von Neumann代数中广义数的优化,数学。Z.,195,1,17-27(1987)·Zbl 0598.46039号 ·doi:10.1007/BF01161595
[14] Kamei,Eizaburo,《有限因素的优化》,数学。日本。,28, 4, 495-499 (1983) ·Zbl 0527.47016号
[15] Mirsky,L.,矩阵理论中的不等式和存在定理,J.Math。分析。申请。,9, 1, 99-118 (1964) ·Zbl 0133.26202号
[16] F.穆雷。;冯·诺依曼,J.,《关于算子环》,《数学年鉴》,116-229(1936)
[17] Petz,D{’e}nes,自伴算子的谱标度和迹不等式,J.Math。分析。申请。,109, 1, 74-82 (1985) ·Zbl 0655.47032号 ·doi:10.1016/0022-247X(85)90176-3
[18] Ravichandran,M.,冯·诺依曼代数中的Schur-Horn定理,22页(2012)
[19] 舒尔,I.“{U} 伯Klasse von Mittelbildungen和Anwendungen是Sitzungsber的决定性因素。柏林。数学。Ges.等人。,22, 9-20 (1923)
[20] 艾伦·M·辛克莱。;Smith,Roger R.,《有限冯·诺依曼代数与masas》,伦敦数学学会讲义系列351,x+400页(2008),剑桥大学出版社,剑桥·Zbl 1154.46035号 ·doi:10.1017/CBO9780511666230
[21] Sing,Fuk Yum,关于具有指定对角元素和奇异值的矩阵的一些结果,Canad。数学。公牛。,19, 1, 89-92 (1976) ·Zbl 0341.15007号
[22] Thompson,R.C.,奇异值、对角元素和凸性,SIAM J.Appl。数学。,32, 1, 39-63 (1977) ·Zbl 0361.15009号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。