×

一个Minkowski型迹不等式和量子熵的强次可加性。二: 凹凸性。 (英语) Zbl 1171.47015号

本文继续[第一部分,在:五、。布斯拉耶夫(ed.)等人,“微分算子和谱理论”。M。第。伯曼70周年纪念系列。翻译。,序列号。2,美国。数学。Soc公司。189(41), 59–68 (1999;Zbl 0933.47014号)]. 在本文中,作者集中于以下形式的迹函数凸性不等式的证明
\[\Phi_{p,q}(A_1,\dots,A_m)=\左(\text{Tr}\left[\左(\sum_{j=1}^mA_j^p\right)^{q/p}\right]\右)^{1/q}\]
对于\(m\)正定算子\(A_j\)。在第一部分中,考虑了(q=1)的情况,证明了(0<p\leq1)的凹性和(p=2)的凸性。
本文的主要主题是(1<p<2)的联合凸性的未解决情况。本文讨论以下跟踪函数:
(1) 对于任何数字(p,q>0)和任何正整数(m),通过
\[\Phi_{p,q}(A_1,\dots,A_m)=\left\|\left(\sum_{j=1}^m A_j^p\right)^{1/p}\right\|_q。\]
(2) 对于任何数字\(p,q>0\)和任何正整数\(m\)和\(n\),在\(H_{mn}^+\)上定义\(\Psi_{p,q}\)
\[\Psi_{p,q}(A)=\left\|(\text{Tr}_2A^p) ^{1/p}\right\|_q。\]
(3) 对于任何固定的(n次n)矩阵(B)和任何数字(p,q>0),在(H_n^+)上定义(Upsilon_{p,q})
\[\Upsilon_{p,q}(A)=\text{Tr}\left[(B^*A^pB)^{q/p}\right]。\]
定理1.1定义了关于(p)和(q)的条件:对于所有(1)和所有(q>1),(Upsilon_{p,q})和。对于\(0\leqp\leqq\leq1),\(\Upsilon_{p,q})和\(\Psi{p,q})分别在\(H_n^+)和\。对于\(p>2),对于\(q\neq p\)的任何值,这些函数都不是凸函数或凹函数。
定理1.1。是定理1.3:对于\(1 \leq q \leq p \leq 2)和\(mathcal H=mathcal H_1\otimes\mathcal H2\otimes \mathcal-H_3)上的所有正算子\(A),
\[\文本{Tr}_3\左(\text{Tr}_2\左[(\text{事务}_1A^q) ^{p/q}\right]\right)^{q/p}\leq\text{Tr}_3\左(\text{事务}_1\左[(\text{Tr}_2A^p) ^{q/p}\right]\right)。\]
对于\(0\leqp\leq1)和任意\(q\geqp\),这个不等式相反。
作者详细介绍了证明定理1.1和1.3所需的技术。

MSC公司:

47A63型 线性算子不等式
15A90型 矩阵理论在物理学中的应用(MSC2000)
15A45型 涉及矩阵的其他不等式
47N50型 算子理论在物理科学中的应用
第81页,共15页 量子测量理论、态操作、态准备
82B10型 量子平衡统计力学(通用)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ando T.(1979)。正定矩阵上某些映射的凸性及其在Hadamard积上的应用。线性代数。申请。26: 203–241 ·Zbl 0495.15018号 ·doi:10.1016/0024-3795(79)90179-4
[2] Ando T.和Hiai F.(1998年)。矩阵的Hölder型不等式。数学。伊内克。申请。1(1): 130 ·Zbl 0897.15008号
[3] 荒木H.(1976)。von Neumann代数状态的相对熵。出版物。RIMS京都大学11:809–833·Zbl 0326.46031号 ·doi:10.2977/prims/1195191148
[4] Bekjan T.(2004)。关于迹函数的联合凸性。线性代数。申请。390: 321–327 ·Zbl 1060.47019号 ·doi:10.1016/j.laa.2004.05.002
[5] Carlen,E.A.,Lieb,E.H.:一个Minkowski型迹不等式和量子熵的强次可加性。数学科学进展,AMS Transl。第189卷,第2辑,(1999)59-68。arXiv:数学/0701352·Zbl 0933.47014号
[6] Devetak I.、Junge M.、King C.和Ruskai M.B.(2006年)。完全有界p-范数的乘法性意味着一个新的可加性结果。Commun公司。数学。物理学。266: 37–63 ·Zbl 1118.46057号 ·doi:10.1007/s00220-006-0034-0
[7] 爱泼斯坦·H(1973)。关于E.Lieb两个定理的注记。Commun公司。数学。物理学。31: 317–325 ·Zbl 0257.46089号 ·doi:10.1007/BF01646492
[8] Hansen F.(2007)。Wigner–Yanase熵不是次可加的。《统计物理学杂志》。126(3): 643–648 ·Zbl 1111.82006年 ·doi:10.1007/s10955-006-9265-x
[9] Hayden P.、Jozsa R.、Petz D.和Winter A.(2004年)。满足等式量子熵强次可加性的态结构。Commun公司。数学。物理学。246: 359–374 ·Zbl 1126.82004年 ·doi:10.1007/s00220-004-1049-z
[10] Hiai F.(2001)。某些矩阵迹函数的凹性。台湾。数学杂志。5(3): 535–554 ·Zbl 0990.15008号
[11] Kosaki H.(1982)。插值理论和Wigner–Yanase–Dyson Lieb凹度。Commun公司。数学。物理学。87: 315–329 ·Zbl 0521.46064号 ·doi:10.1007/BF01206026
[12] Kosaki H.(1984年)。复数插值方法在von Neumann代数中的应用:非交换L p-空间。J.功能。分析。56(1): 29–78 ·Zbl 0604.46063号 ·doi:10.1016/0022-1236(84)90025-9
[13] Lieb E.H.(1973)。凸迹函数和Wigner–Yanase–Dyson猜想。高级数学。11: 267–288 ·Zbl 0267.46055号 ·doi:10.1016/0001-8708(73)90011-X
[14] Lieb E.H.(1975)。熵的一些凸性和次可加性。牛市。美国数学。社会学81:1–13·Zbl 0308.94020号 ·doi:10.1090/S0002-9904-1975-13621-4
[15] Lieb E.H.和Ruskai M.B.(1973年)。量子力学熵强次可加性的证明。数学杂志。物理学。14: 1938–1941 ·数字对象标识代码:10.1063/1166274
[16] Lieb E.H.和Ruskai M.B.(1974年)。一些Schwarz型算子不等式。高级数学。12: 269–273 ·Zbl 0274.46045号 ·doi:10.1016/S0001-8708(74)80004-6
[17] Lieb E.H.和Seiringer R.(2005)。熵的亚可加性更强。物理学。版次A 71:062329·Zbl 1227.82012年 ·doi:10.1103/PhysRevA.71.062329
[18] Pisier,G.:非交换向量值L p-空间和完全p-求和映射Astérisque,第247卷。法国数学学会,巴黎(1998年)·Zbl 0937.46056号
[19] Pisier G.(2003)。算子空间理论导论,第294卷。伦敦数学学会讲义系列。剑桥大学出版社·Zbl 1093.46001号
[20] Rockafellar T.(1974)。共轭对偶与优化,第16卷。应用数学地区系列会议。费城SIAM·Zbl 0296.90036号
[21] Ruskai,M.B.:量子熵不等式:平等条件综述。数学杂志。物理学。43, 4358–4375 (2002). 勘误表同上46,019901(2005)·Zbl 1060.82006年
[22] Seiringer R.(2006)。稀释费米气体的热力学压力。Commun公司。数学。物理学。261: 729–758 ·Zbl 1113.82009年 ·doi:10.1007/s00220-005-1433-3
[23] Seiringer R.(2007)。关于Wigner–Yanase熵次可加性的失败。莱特。数学。物理学。80: 285–288 ·Zbl 1123.81014号 ·doi:10.1007/s11005-007-0159-x
[24] 乌尔曼A.(1971)。Sätzeüber Dichtematrizen。威斯。Z.Karl-Marx Leipzig大学20:633–653
[25] 乌尔曼A.(1977)。插值理论中的相对熵和Wigner–Yanase–Dyson–Lieb凹度。Commun公司。数学。物理学。54: 21–32 ·Zbl 0358.46026号 ·doi:10.1007/BF01609834
[26] Wigner E.P.和Yanase M.M.(1963年)。分发的信息内容。程序。美国国家科学院。科学49:910-918·Zbl 0128.14104号 ·doi:10.1073/第469.910页
[27] Wigner E.P.和Yanase M.M.(1964年)。关于某些矩阵表达式的半正定性质。可以。数学杂志。16: 397–406 ·Zbl 0121.26203号 ·doi:10.4153/CJM-1964-041-x
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。