半有限冯-诺依曼代数中量子熵的强次熵不等式

IF 0.8 3区数学 Q2 MATHEMATICS Mathematische Nachrichten Pub Date : 2024-06-04 DOI:10.1002/mana.202300383

Andrzej Łuczak

{"title":"半有限冯-诺依曼代数中量子熵的强次熵不等式","authors":"Andrzej Łuczak","doi":"10.1002/mana.202300383","DOIUrl":null,"url":null,"abstract":"Let <math>\n <semantics>\n <mi>M</mi>\n <annotation>$\\mathcal {M}$</annotation>\n </semantics></math> be a semifinite von Neumann algebra with a normal faithful semifinite trace <math>\n <semantics>\n <mi>τ</mi>\n <annotation>$\\tau$</annotation>\n </semantics></math>, and let <math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mi>B</mi>\n <annotation>$\\mathcal {B}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mi>R</mi>\n <annotation>$\\mathcal {R}$</annotation>\n </semantics></math> be its subalgebras such that <math>\n <semantics>\n <mrow>\n <mi>R</mi>\n <mo>⊂</mo>\n <mi>A</mi>\n <mo>∩</mo>\n <mi>B</mi>\n </mrow>\n <annotation>$\\mathcal {R}\\subset \\mathcal {A}\\cap \\mathcal {B}$</annotation>\n </semantics></math> and that <math>\n <semantics>\n <mi>τ</mi>\n <annotation>$\\tau$</annotation>\n </semantics></math> restricted to any of these subalgebras is semifinite. Denote by <math>\n <semantics>\n <msub>\n <mi>E</mi>\n <mi>A</mi>\n </msub>\n <annotation>$\\mathbb {E}_\\mathcal {A}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <msub>\n <mi>E</mi>\n <mi>B</mi>\n </msub>\n <annotation>$\\mathbb {E}_\\mathcal {B}$</annotation>\n </semantics></math>, and <math>\n <semantics>\n <msub>\n <mi>E</mi>\n <mi>R</mi>\n </msub>\n <annotation>$\\mathbb {E}_\\mathcal {R}$</annotation>\n </semantics></math> the normal conditional expectations from <math>\n <semantics>\n <mi>M</mi>\n <annotation>$\\mathcal {M}$</annotation>\n </semantics></math> onto <math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mi>B</mi>\n <annotation>$\\mathcal {B}$</annotation>\n </semantics></math> and <math>\n <semantics>\n <mi>R</mi>\n <annotation>$\\mathcal {R}$</annotation>\n </semantics></math>, respectively, such that <math>\n <semantics>\n <mi>τ</mi>\n <annotation>$\\tau$</annotation>\n </semantics></math> is invariant with respect to any of them. The quadruple <math>\n <semantics>\n <mi>M</mi>\n <annotation>$\\mathcal {M}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mi>B</mi>\n <annotation>$\\mathcal {B}$</annotation>\n </semantics></math>, <math>\n <semantics>\n <mi>R</mi>\n <annotation>$\\mathcal {R}$</annotation>\n </semantics></math> is said to be a commuting square if\n\n ","PeriodicalId":49853,"journal":{"name":"Mathematische Nachrichten","volume":"297 9","pages":"3192-3206"},"PeriodicalIF":0.8000,"publicationDate":"2024-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A strong subadditivity-like inequality for quantum entropy in semifinite von Neumann algebras\",\"authors\":\"Andrzej Łuczak\",\"doi\":\"10.1002/mana.202300383\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let <math>\\n <semantics>\\n <mi>M</mi>\\n <annotation>$\\\\mathcal {M}$</annotation>\\n </semantics></math> be a semifinite von Neumann algebra with a normal faithful semifinite trace <math>\\n <semantics>\\n <mi>τ</mi>\\n <annotation>$\\\\tau$</annotation>\\n </semantics></math>, and let <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mi>B</mi>\\n <annotation>$\\\\mathcal {B}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mi>R</mi>\\n <annotation>$\\\\mathcal {R}$</annotation>\\n </semantics></math> be its subalgebras such that <math>\\n <semantics>\\n <mrow>\\n <mi>R</mi>\\n <mo>⊂</mo>\\n <mi>A</mi>\\n <mo>∩</mo>\\n <mi>B</mi>\\n </mrow>\\n <annotation>$\\\\mathcal {R}\\\\subset \\\\mathcal {A}\\\\cap \\\\mathcal {B}$</annotation>\\n </semantics></math> and that <math>\\n <semantics>\\n <mi>τ</mi>\\n <annotation>$\\\\tau$</annotation>\\n </semantics></math> restricted to any of these subalgebras is semifinite. Denote by <math>\\n <semantics>\\n <msub>\\n <mi>E</mi>\\n <mi>A</mi>\\n </msub>\\n <annotation>$\\\\mathbb {E}_\\\\mathcal {A}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <msub>\\n <mi>E</mi>\\n <mi>B</mi>\\n </msub>\\n <annotation>$\\\\mathbb {E}_\\\\mathcal {B}$</annotation>\\n </semantics></math>, and <math>\\n <semantics>\\n <msub>\\n <mi>E</mi>\\n <mi>R</mi>\\n </msub>\\n <annotation>$\\\\mathbb {E}_\\\\mathcal {R}$</annotation>\\n </semantics></math> the normal conditional expectations from <math>\\n <semantics>\\n <mi>M</mi>\\n <annotation>$\\\\mathcal {M}$</annotation>\\n </semantics></math> onto <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mi>B</mi>\\n <annotation>$\\\\mathcal {B}$</annotation>\\n </semantics></math> and <math>\\n <semantics>\\n <mi>R</mi>\\n <annotation>$\\\\mathcal {R}$</annotation>\\n </semantics></math>, respectively, such that <math>\\n <semantics>\\n <mi>τ</mi>\\n <annotation>$\\\\tau$</annotation>\\n </semantics></math> is invariant with respect to any of them. The quadruple <math>\\n <semantics>\\n <mi>M</mi>\\n <annotation>$\\\\mathcal {M}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mi>B</mi>\\n <annotation>$\\\\mathcal {B}$</annotation>\\n </semantics></math>, <math>\\n <semantics>\\n <mi>R</mi>\\n <annotation>$\\\\mathcal {R}$</annotation>\\n </semantics></math> is said to be a commuting square if\\n\\n \",\"PeriodicalId\":49853,\"journal\":{\"name\":\"Mathematische Nachrichten\",\"volume\":\"297 9\",\"pages\":\"3192-3206\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-06-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematische Nachrichten\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/mana.202300383\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematische Nachrichten","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/mana.202300383","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

设是一个半有穷冯-诺依曼代数，有一个正则忠实半有穷迹线 , 并设 , , 是它的子代数，使得和限于其中任何一个子代数都是半有穷的。用 , , 和分别表示来自于 , 和 , 的正态条件期望，使得相对于它们中的任何一个都是不变的。我们还研究了上述不等式中相等的情况，并得到了各种等价条件，其中有限冯-诺依曼代数方程的形式尤其吸引人。对于这类数组，在数组和的独立性假设下，还可以得到一个条件 .

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A strong subadditivity-like inequality for quantum entropy in semifinite von Neumann algebras

Let $M$ be a semifinite von Neumann algebra with a normal faithful semifinite trace $τ$ , and let $A$ , $B$ , $R$ be its subalgebras such that $R \subset A \cap B$ and that $τ$ restricted to any of these subalgebras is semifinite. Denote by $E_{A}$ , $E_{B}$ , and $E_{R}$ the normal conditional expectations from $M$ onto $A$ , $B$ and $R$ , respectively, such that $τ$ is invariant with respect to any of them. The quadruple $M$ , $A$ , $B$ , $R$ is said to be a commuting square if

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematische Nachrichten 数学-数学

CiteScore

1.50

自引率

0.00%

发文量

157

审稿时长

4-8 weeks

期刊介绍： Mathematische Nachrichten - Mathematical News publishes original papers on new results and methods that hold prospect for substantial progress in mathematics and its applications. All branches of analysis, algebra, number theory, geometry and topology, flow mechanics and theoretical aspects of stochastics are given special emphasis. Mathematische Nachrichten is indexed/abstracted in Current Contents/Physical, Chemical and Earth Sciences; Mathematical Review; Zentralblatt für Mathematik; Math Database on STN International, INSPEC; Science Citation Index

期刊最新文献

Issue Information Contents Issue Information Contents Equivariant birational types and derived categories