raybet雷竞app|雷竞技官网下载|雷电竞下载苹果

AMP

数学物理的发展

1687 - 9139 1687 - 9120

Hindawi

10.1155 / 2017/9343717

9343717

研究文章

在量子统计力学:研究指南

http://orcid.org/0000 - 0001 - 6633 - 3404 北京

乌拉迪斯拉夫•亚当

¹ ²

Leandre

雷米

^{1

理论物理和天体物理研究所

格但斯克大学

Wita Stwosza 57

格但斯克80 - 952

波兰

ug.edu.pl} ^{2

单位体重指数

西北大学

Potchefstroom

南非

nwu.ac.za}

2017年

23 11 2017年

2017年 26 04 2017年 02 08年 2017年 09年 08年 2017年 23 11 2017年

这是一个开放的文章在知识共享归属许可下发布的,它允许无限制的使用,分布和繁殖在任何媒介,提供最初的工作是正确的引用。

我们提供介绍的研究应用量子统计物理的非交换微积分。集中在非交换微积分,我们描述了物理概念和数学结构出现在大型量子系统的分析及其后果。这些包括代数方法的出现和就业的无限维度结构的必要性。举个例子来说,一个随机过程的量化,统计力学的新形式,量子场理论,讨论了量子关联。 1。基本思想</t我tle> <p>在本文中,我们将试图给的面积和路线图概述量子统计力学,而不过于转移的细节。相比之下,我们强烈强调进化微积分用于统计力学的描述。的背景下,我们把书诸圣(<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B1"> 1</xrefgydF4y2Ba>]和汤普森[<xrefgydF4y2Baref-type="bibr" rid="B3"> 2</xrefgydF4y2Ba>),和更高级的材料,我们参考书籍的小巷<xrefgydF4y2Baref-type="bibr" rid="B4"> 3</xrefgydF4y2Ba>),埃姆(<xrefgydF4y2Baref-type="bibr" rid="B5"> 4</xrefgydF4y2Ba>Haag [],<xrefgydF4y2Baref-type="bibr" rid="B6"> 5</xrefgydF4y2Ba>],Takesaki [<xrefgydF4y2Baref-type="bibr" rid="B7"> 6</xrefgydF4y2Ba>],Terp [<xrefgydF4y2Baref-type="bibr" rid="B8"> 7</xrefgydF4y2Ba>),Bratteli和罗宾逊(<xrefgydF4y2Baref-type="bibr" rid="B9"> 8</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B66"> 9</xrefgydF4y2Ba>]。</pgydF4y2Ba> <p>使我们的博览会十分清楚,我们从历史的评论开始。牛顿经典力学的给了他的原则17世纪的结束。然而,经典力学发展到丰富的数学理论只有在19世纪下半叶。沉思片刻后,我们意识到尽管牛顿和莱布尼兹介绍(古典)微积分的基本原则,它是柯西(1830 ',尽管“的ε-δ定义限制”是在1817年首次由博尔扎诺)终于澄清了极限的概念,然后黎曼(大约1860年)澄清积分的概念。因此,在19世纪,下半年的原则(古典)微积分是完全确定的。这给了机会,把经典力学转变成一个成熟的理论(拉格朗日,汉密尔顿,刘维尔等等)。所以可用的微积分与一个成熟的理论,更多的用了几十年的时间获得一个完全成熟的经典力学理论。随后,(古典)统计力学出现作为一个结合经典力学和概率理论的发展。</pgydF4y2Ba> <p>我们将表明,类似的情况也发生在20世纪但在量子理论的背景下。起点是海森堡运动方程在量子理论。他第一次写了非交换推导,换向器。(我们回想一下,推导是一元函数满足莱布尼茨产品法律。)看到这,就够了,一个换向器满足莱布尼兹法则!这可以被视为一个类比牛顿的引入(古典)分化写一个经典系统的运动方程。海森堡,出生、约旦和狄拉克意识到不可交换性是量子力学的存在的理由,他们引入了所谓的正则量子化。这意味着经典力学的基本关系,<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"> <mml:mtable> <mml:mlabeledtr id="EEq1.1"> <mml:mtd> <mml:mtext> (1)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mfenced open="{" close="}" separators="|"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> 问</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:mfenced> <mml:mo> ∝</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> δ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mi class="cond"> </mml:mi> <mml:mi> 我</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> j</米米l:米我> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 1、2</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 3</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mo> …</米米l:米o> <mml:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>应该被<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M2"> <mml:mtable> <mml:mlabeledtr id="EEq1.2"> <mml:mtd> <mml:mtext> (2)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mfenced open="[" close="]" separators="|"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> <mml:mo> ^</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> 问</米米l:米我> </mml:mrow> <mml:mo> ^</米米l:米o> </mml:mover> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:mfenced> <mml:mo> ∝</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> δ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="double-struck"> 我</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi class="cond"> </mml:mi> <mml:mi> 我</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> j</米米l:米我> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 1、2</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mn mathvariant="normal"> 3</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mo> …</米米l:米o> <mml:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>在哪里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M3"> <mml:mo stretchy="false"> {</米米l:米o> <mml:mo> ·</米米l:米o> <mml:mo> ,</米米l:米o> <mml:mo> ·</米米l:米o> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>代表泊松括号,而<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M4"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 一个</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> b</米米l:米我> <mml:mo stretchy="false"> ]</米米l:米o> <mml:mo> =</米米l:米o> <mml:mi> 一个</米米l:米我> <mml:mi> b</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mi> b</米米l:米我> <mml:mi> 一个</米米l:米我> </mml:math> </inline-formula>表示换向器。</pgydF4y2Ba> <p>但量子化程序求两个严重的问题:<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>术语的关系(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.2"> 2</xrefgydF4y2Ba>)表示?</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>什么选择表示的唯一性?</pgydF4y2Ba> </list-item> <p></p> <p>一个简短的回答第一个问题说的关系(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.2"> 2</xrefgydF4y2Ba>)没有有限维空间实现。此外,除了新形式的几何量化(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.2"> 2</xrefgydF4y2Ba>)表示无限的自伴算子作用于一个无限维空间分离的希尔伯特空间。我们强调,新形式的量化,使用函数微积分,一个认为单一运营商<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M5"> <mml:mi> V</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> t</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> <mml:mover accent="true"> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> <mml:mo> ^</米米l:米o> </mml:mover> <mml:mi> t</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>和<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M6"> <mml:mi> U</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> 年代</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> <mml:mover accent="true"> <mml:mrow> <mml:mi> 问</米米l:米我> </mml:mrow> <mml:mo> ^</米米l:米o> </mml:mover> <mml:mi> 年代</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>。</pgydF4y2Ba> <p>但是一项严格的研究正则变换的薛定谔表示关系的有限自由度导致<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M7"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> </mml:mi> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数的无限运营商(见例子<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M8"> <mml:mrow> <mml:mn> 2</米米l:米n> </mml:mrow> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B10"> 10</xrefgydF4y2Ba>])。此外,怀特曼的量子场理论公式和李代数的理论导致方案的描述一个物理系统基于无限运营商。尽管代数的数学方面分析了无限运营商在许多细节(参见[<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B13"> 11</xrefgydF4y2Ba>- - - - - -<xrefgydF4y2Baref-type="bibr" rid="B15"> 13</xrefgydF4y2Ba>]),众所周知,正式计算可以误导(见部分<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M9"> <mml:mi mathvariant="normal"> V</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mo> 。</米米l:米o> <mml:mn mathvariant="normal"> 5</米米l:米n> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B16"> 14</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>一般来说,看起来,在量子力学中可以区分两个方案,一个物理系统的描述(cf。<xrefgydF4y2Baref-type="bibr" rid="B11"> 15</xrefgydF4y2Ba>])。第一个,只是描述,使用无界的运营商。第二个使用有界的运营商。的概念引入范数拓扑组可见是大力提倡的西格尔(<xrefref- - - - - -- - - - - -- - - - - - - - -type="bibr" rid="B12"> 16</xrefgydF4y2Ba>]。认为赞成这个想法,可以说,在实验室的物理学家只处理可见的有界函数!然而,正如已经说Borchers [<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B11"> 15</xrefgydF4y2Ba>),在这种方法中,<我t一个l我c> “一些详细信息物理系统通常是失去了。”</我t一个l我c>此外,这个方案也承认自己“非现实的国家”严重定义熵(见[<xrefgydF4y2Baref-type="bibr" rid="B41"> 17</xrefgydF4y2Ba>)和引用)。</pgydF4y2Ba> <p>这里,我们将认为非交换集成理论提供了第三种方案躺在上面讨论的方法。除了其他技术条件,它依赖于选择“更多”常规的运营商,在“更多”常规手段<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M10"> <mml:mrow> <mml:mi> τ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>可测性(见下一个页面定义和细节)。因此,它将被描述,一个是表现非常良好<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M11"> <mml:mrow> <mml:msup> <mml:mrow></mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>无限的代数运算符。此外,有界函数代数的自伴的元素是元素的某些代数界运营商。</pgydF4y2Ba> <p>转向第二个问题,我们应该记得所谓的唯一性定理,归因于冯诺依曼,韦尔,Rellich。这个定理说,第二个问题的答案考虑考虑系统的性质。更准确地说,一个系统被称为小如果它有有限数量的自由度。相反,一个有无限个自由度系统称为大型系统。</pgydF4y2Ba> <p>唯一性定理指出,对于小系统,关系(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.2"> 2</xrefgydF4y2Ba>),酉等价,有独特的表现。值得指出的是,这个属性是梯形公式狄拉克的量子力学的形式主义。我们回想一下,形式主义的基础是一对<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M12"> <mml:mtable> <mml:mlabeledtr id="EEq1.3"> <mml:mtd> <mml:mtext> (3)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> B</米米l:米我> <mml:mfenced separators="" open="(" close=")"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:msub> <mml:mfenced separators="" open="(" close=")"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:mfenced> <mml:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>在哪里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M13"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>表示所有有界的线性算子可分,无限维的希尔伯特空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M14"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M15"> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>代表跟踪类运营商希尔伯特空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M16"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。特别是,密度矩阵描述(量子)国家形成一个凸(产生)的子集<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M17"> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。</pgydF4y2Ba> <p>对于大型系统,情况有很大的不同。有<我t一个l我c> 很多</我t一个l我c>非等效的表征的关系(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.2"> 2</xrefgydF4y2Ba>)当自由度的数目是无限的。这里要注意的关键是,统计力学和场论都是出类拔萃的大系统理论!</pgydF4y2Ba> <p>这一事实被认为在20世纪五十年代的发现所谓的“奇怪的表示。“进一步,观察到,开展大型系统的量子化的基础上狄拉克的形式可以导致严重的困难。给说明性的示例中,我们首先提到的问题与福克表示。福克表示随后于1932年引入,充分阐述了库克于1953年。这可能是最著名的方案的描述无限的量子系统。但在这个表示,唯一能够描述衡量系统。换句话说,我们不能描述相互作用的粒子。此外,在五十年代范霍夫所示([<xrefref- - - - - -type="bibr" rid="B17"> 18</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B18"> 19</xrefgydF4y2Ba>),也看到分段<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M18"> <mml:mi> 我</米米l:米我> <mml:mi> e</米米l:米我> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B5"> 4</xrefgydF4y2Ba>]),不存在一个非凡的扰动微积分在福克表示。我们无法抗拒提及微扰计算是计算在狄拉克的形式主义的主要工具。最后,值得指出的是,交互图中不存在交互相对论量子场理论;这是Haag定理的本质(见部分<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M19"> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mo> 。</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo> 。</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B6"> 5</xrefgydF4y2Ba>)和/或部分<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M20"> <mml:mn mathvariant="normal"> 3所示。1</米米l:米n> <mml:mo> 。</米米l:米o> <mml:mi mathvariant="normal"> d</米米l:米我> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B5"> 4</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>转向第二个例子中,我们希望讨论量子吉布斯拟设。吉布斯拟设旨在描述(古典)规范的平衡态,给出了归一化常数,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M21"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> β</米米l:米我> <mml:mi> H</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>。在这里,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M22"> <mml:mrow> <mml:mi> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>代表认为的哈密顿系统,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M23"> <mml:mrow> <mml:mi> β</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是“逆”的温度。我们强调,这是经典统计物理的基本成分。的量化<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M24"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> β</米米l:米我> <mml:mi> H</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>意味着现在<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M25"> <mml:mrow> <mml:mi> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是哈密顿算符和量子态,我们要求<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M26"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> β</米米l:米我> <mml:mi> H</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>应该是一个跟踪类操作符。但至少是这种情况的时候,,满足必要的条件:<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M27"> <mml:mrow> <mml:mi> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>有纯点光谱与积累点无穷。不幸的是,即使是汉密尔顿的谐振子和氢原子不满足这个要求!</pgydF4y2Ba> <p>因此,我们到达的结论,根据第二部分的(非)唯一性定理,一个应该作为起点不同的代数结构<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M28"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。</pgydF4y2Ba> <p>在继续之前,让我们暂停简述可能代数(除了<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M29"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>)可用于量子大型系统的描述。</pgydF4y2Ba> <p>我们从的概念开始<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M30"> <mml:mrow> <mml:msup> <mml:mrow></mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>巴拿赫代数。这是一个巴拿赫空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M31"> <mml:mrow> <mml:mi mathvariant="fraktur"> B</米米l:米我> </mml:mrow> </mml:math> </inline-formula>配备了乘法和退化。操作都是连续的拓扑诱导的常态。如果<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M32"> <mml:mi> 一个</米米l:米我> <mml:mo> ·</米米l:米o> <mml:mi> b</米米l:米我> <mml:mo> =</米米l:米o> <mml:mi> b</米米l:米我> <mml:mo> ·</米米l:米o> <mml:mi> 一个</米米l:米我> </mml:math> </inline-formula>,因为<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M33"> <mml:mi> 一个</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> b</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="fraktur"> B</米米l:米我> </mml:math> </inline-formula>,然后<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M34"> <mml:mrow> <mml:mi mathvariant="fraktur"> B</米米l:米我> </mml:mrow> </mml:math> </inline-formula>被称为交换。规范满足额外的条件时,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M35"> <mml:mfenced open="‖" close="‖" separators="|"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> <mml:mi> 一个</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mo> =</米米l:米o> <mml:msup> <mml:mrow> <mml:mfenced open="‖" close="‖" separators="|"> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> </mml:mfenced> </mml:mrow> <mml:mrow> <mml:mn> 2</米米l:米n> </mml:mrow> </mml:msup> </mml:math> </inline-formula>,那么这样的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M36"> <mml:mrow> <mml:msup> <mml:mrow></mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>巴拿赫代数称为<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M37"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>将用代数和<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M38"> <mml:mrow> <mml:mi mathvariant="fraktur"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。冯·诺依曼代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M39"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一个具体的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M40"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M41"> <mml:mrow> <mml:mi mathvariant="fraktur"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>(所以<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M42"> <mml:mi mathvariant="fraktur"> 一个</米米l:米我> <mml:mo> ⊂</米米l:米o> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>对于一个希尔伯特空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M43"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>),关闭对弱者算子拓扑。需要注意的重要的一点是,每个交换冯诺依曼代数是同构的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M44"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> X</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>对于一些测度空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M45"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> X</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> μ</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>相反,对于每一个<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M46"> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>有限测度空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M47"> <mml:mrow> <mml:mi> X</米米l:米我> </mml:mrow> </mml:math> </inline-formula>,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M48"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> </mml:mi> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M49"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> X</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>冯·诺依曼代数。在这里,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M50"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> X</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>代表所有(基本上)有界函数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M51"> <mml:mrow> <mml:mi> X</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。因此,冯·诺依曼非交换代数的理论提供了很好的起点非交换集成。我们完成这个简短的代数结构的定义<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M52"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> O</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数。它将用于描述Wightman法则。<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M53"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> O</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数是<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M54"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> </mml:mi> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M55"> <mml:mrow> <mml:mi mathvariant="script"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>线性算子的定义在一个共同的密集的子空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M56"> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>希尔伯特空间的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M57"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>和离开<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M58"> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>不变的。的乘法<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M59"> <mml:mrow> <mml:mi mathvariant="script"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>运营商构成而退化<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M60"> <mml:mi> 一个</米米l:米我> <mml:mo> ↦</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> __</米米l:米o> </mml:mrow> </mml:msup> </mml:math> </inline-formula>在<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M61"> <mml:mrow> <mml:mi mathvariant="script"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>被定义为<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M62"> <mml:msup> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> __</米米l:米o> </mml:mrow> </mml:msup> <mml:mo> =</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> <mml:msub> <mml:mrow> <mml:mo> |</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:msub> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M63"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>希尔伯特空间通常是伴随。</pgydF4y2Ba> <p>在上个世纪30年代,冯·诺依曼和穆雷给冯·诺依曼代数的分类。来描述这个分类中,我们,首先,召回的定义中心<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M64"> <mml:mi mathvariant="script"> Z</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M65"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>:<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M66"> <mml:mtable> <mml:mlabeledtr id="eq4"> <mml:mtd> <mml:mtext> (4)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi mathvariant="script"> Z</米米l:米我> <mml:mfenced separators="|"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mo> =</米米l:米o> <mml:mfenced open="{" close="}" separators="|"> <mml:mrow> <mml:mi> 一个</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo> :</米米l:米o> <mml:mi> 一个</米米l:米我> <mml:mi> b</米米l:米我> <mml:mo> =</米米l:米o> <mml:mi> b</米米l:米我> <mml:mi> 一个</米米l:米我> <mml:mtext> </mml:mtext> <mml:mo> ∀</米米l:米o> <mml:mi> b</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula> <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M67"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>如果被称为因素<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M68"> <mml:mi mathvariant="script"> Z</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:mi mathvariant="double-struck"> C</米米l:米我> <mml:mi mathvariant="double-struck"> 我</米米l:米我> </mml:math> </inline-formula>。冯·诺依曼(<xrefgydF4y2Baref-type="bibr" rid="B19"> 20.</xrefgydF4y2Ba>)表明,分离希尔伯特空间上的每个冯诺依曼代数是同构的直接积分因子。这个分解本质上是独一无二的。因此,给上述冯诺依曼代数的分类,可以限制自己的因素。</pgydF4y2Ba> <p>可以区分三种类型的因素。第一种,用我,包括所有线性有界算子的代数希尔伯特空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M69"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。如果<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M70"> <mml:mi mathvariant="normal"> d</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> 米</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo> =</米米l:米o> <mml:mi> n</米米l:米我> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我> </mml:math> </inline-formula>,然后一个人<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M71"> <mml:msub> <mml:mrow> <mml:mi> 米</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="double-struck"> C</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M72"> <mml:mi> n</米米l:米我> <mml:mo> ×</米米l:米o> <mml:mi> n</米米l:米我> </mml:math> </inline-formula>矩阵与复杂的条目。这些因素都是用<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M73"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 我</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>。当<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M74"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一个可分离的无限维的希尔伯特空间,那么我们得到的基本成分狄拉克的形式主义,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M75"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。这些<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M76"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>代数配有规范化痕迹<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M77"> <mml:mi mathvariant="normal"> T</米米l:米我> <mml:mi mathvariant="normal"> r</米米l:米我> </mml:math> </inline-formula>,部分定义积极、线性泛函,这样<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M78"> <mml:mi mathvariant="normal"> T</米米l:米我> <mml:mi mathvariant="normal"> r</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi> 一个</米米l:米我> <mml:mi> b</米米l:米我> <mml:mo> =</米米l:米o> <mml:mi mathvariant="normal"> T</米米l:米我> <mml:mi mathvariant="normal"> r</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi> b</米米l:米我> <mml:mi> 一个</米米l:米我> </mml:math> </inline-formula>对于任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M79"> <mml:mi> 一个</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> b</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M80"> <mml:mi mathvariant="normal"> T</米米l:米我> <mml:mi mathvariant="normal"> r</米米l:米我> </mml:math> </inline-formula>被定义为一个矩阵的对角线元素之和表示的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M81"> <mml:mi> 一个</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。</pgydF4y2Ba> <p>第二种类型,用二世,粗略地讲,包括代数等,他们的预测是一个特定类型的;更准确地说,没有最小的预测,但也有非零有限的预测。第一种和第二种称为半有限的。这样的代数的重要公共财产,他们可以配备一个痕迹。我们强调,一个给定的跟踪可以不同于半有限的代数的代数规范描述了一个类型。</pgydF4y2Ba> <p>最后,也有类型III的因素。这些因素是他们的重要财产不能配备一个非凡的痕迹(见,例如,部分<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M82"> <mml:mn> 2。7</米米l:米n> <mml:mo> 。</米米l:米o> <mml:mn> 3</米米l:米n> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B9"> 8</xrefgydF4y2Ba>])。更深层次的讨论,我们参考读者<xrefgydF4y2Baref-type="bibr" rid="B7"> 6</xrefgydF4y2Ba>]。</pgydF4y2Ba> <p>很长一段时间,III型代数,尤其是在数学物理,认为是外来的。但是,1967年,这种观点是完全放弃了。在他的作品中,权力<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B20"> 21</xrefgydF4y2Ba>)是研究均匀超有限代数的表示。非常“物理”而言,他的结果可以表示为一个一维自旋链的分析。这样一个模型由无穷多的网站,与代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M83"> <mml:msub> <mml:mrow> <mml:mi> 米</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="double-struck"> C</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>与每个站点相关联。因此,局部可见与网站相关的元素<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M84"> <mml:msub> <mml:mrow> <mml:mi> 米</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="double-struck"> C</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。在每个站点是由一个当地的平衡<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M85"> <mml:mn mathvariant="normal"> 2</米米l:米n> <mml:mo> ×</米米l:米o> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:math> </inline-formula>矩阵的形式<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M86"> <mml:msup> <mml:mrow> <mml:mi> Z</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:msup> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> - - - - - -</米米l:米o> <mml:mi> β</米米l:米我> <mml:msub> <mml:mrow> <mml:mi> H</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> c</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:msup> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M87"> <mml:mrow> <mml:mi> Z</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是常数正常化,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M88"> <mml:msub> <mml:mrow> <mml:mi> H</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> c</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> 米</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="double-struck"> C</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是当地的哈密顿与网站相关联。研究上述系统的热力学限制,表明,权力<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M89"> <mml:mi> β</米米l:米我> <mml:mo> ∉</米米l:米o> <mml:mo stretchy="false"> {</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mi> ∞</米米l:米我> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,平衡表征导致类型III冯诺依曼代数。此外,如果<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M90"> <mml:mi> β</米米l:米我> <mml:mo> ≠</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> β</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ′</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>类型III,一个非等值的因素。因此,他表明,冯·诺依曼这种类型的代数形式一个大家庭,他们可以标记为“物理”参数。</pgydF4y2Ba> <p>Araki-Woods后续结果,Hugenholtz et al .,和其他人已经表明,这种类型的冯·诺依曼代数是典型的大型系统的研究(见[<xrefgydF4y2Baref-type="bibr" rid="B21"> 22</xrefgydF4y2Ba>])。我们强调这是完美和谐的第二部分(非)唯一性定理;量化的大型系统会导致不同的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M91"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>!</pgydF4y2Ba> <p>就像一开始提到的,限制和积分的精确描述在经典微积分是转向经典力学的发展以及统计力学。在这里,我们想描述类似的进程,但现在的量子理论。</pgydF4y2Ba> <p>在上个世纪30年代晚期,冯·诺依曼意识到非交换集成应该在量子理论起着关键作用。首先,他提出了开展非交换集成通过使用复杂的矩阵代数上定义的规范(见[<xrefgydF4y2Baref-type="bibr" rid="B22"> 23</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>但独立的基本步骤是由西格尔(<xrefgydF4y2Baref-type="bibr" rid="B23"> 24</xrefgydF4y2Ba>]和Dixmier [<xrefgydF4y2Baref-type="bibr" rid="B24"> 25</xrefgydF4y2Ba>五十年代初。他们广义积分的概念更一般的代数。为半有限的冯·诺依曼代数理论的非交换集成完成了1974年纳尔逊(见[<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B25"> 26</xrefgydF4y2Ba>])。是非常重要的,首先有必要定义非交换的概念可衡量的运营商(量子可测函数的对应)。为此,跟踪的概念是必要的。因此,非交换积分的理论做了第一种和第二种的冯诺依曼代数。</pgydF4y2Ba> <p>我们不能抵制提及这一理论的一个突出特点。限制,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M92"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,一个可以显示所有(非交换)可衡量的运营商有界!这不是对其他代数。因此,这个奇怪的结果表明狄拉克的形式是例外。换句话说,非交换微积分对小型系统非常不同,它适用于大型系统。</pgydF4y2Ba> <p>继续分析大型系统中,上述理论应该广义非交换集成类型III冯诺依曼代数。达到首先由Haagerup(1977)和第二篇学术论文的贡献主要由Takesaki,康涅狄格州,赛。希尔森事前提出Araki-Masuda, Kosaki,多兹,多兹,德Pagter。这是最好的一般参考(<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B8"> 7</xrefgydF4y2Ba>]。更深层次的讨论,我们参考读者<xrefgydF4y2Baref-type="bibr" rid="B26"> 27</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B27"> 28</xrefgydF4y2Ba>]。上述的基本步骤概括依赖于建设一个(多)大冯·诺依曼代数,所谓的交叉的产品<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M93"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M94"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是原来的代数和<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M95"> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>代表了模块化的行动。这里重要的一点需要注意的是<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M96"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一个适当的子集<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M97"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>。此外,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M98"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>可以很容易地发现在吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M99"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>家庭的某些正则映射不动点。</pgydF4y2Ba> <p>的主要意义更大的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M100"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>是这种交叉产品是一种半有限的超类型III代数的代数吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M101"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。因此,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M102"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>可配备(半有限的)跟踪。因此,一个可以定义非交换可衡量的运营商。然后,通过一个具体的特定子集的非交换可衡量的运营商,一个到达非交换同行(经典函数)的空间,例如,非交换<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M103"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>或Orlicz空间。</pgydF4y2Ba> <p>完成上述简短的阐述非交换微积分,我们必须添加一个完整的账户(非交换)推导了在<xrefgydF4y2Baref-type="bibr" rid="B28"> 29日</xrefgydF4y2Ba>]。为一个派生的例证可以用于量子动力系统的研究,我们参考读者<xrefgydF4y2Baref-type="bibr" rid="B29"> 30.</xrefgydF4y2Ba>]。然而,我们不会在任何必要的方式使用这些事实,这个主题将会下降。总之,我们有以下。<d我年代p- - - - - -问uote></disp-quote></p> <p> <italic> <italic> (大)量子系统,在20世纪的年代,我们得到了一个情况,可以认为是类似于一个属,经典物理学,19世纪结束的时候。因此,我们在位置采用为大型系统的描述,提出了非交换演算,分析量子统计力学和量子场论。这给了一个机会改变量子统计力学和量子场论变成一个成熟的理论。最后,现在应该清楚,微积分在狄拉克的形式并不适合用于大型系统的研究。而且,一个真正的量子系统不能被描述在有限维的结构。特别是,量子系统的正确描述不能依赖的因素</我t一个l我c> <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M104"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> 我</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M105"> <mml:mi> n</米米l:米我> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我> </mml:math> </inline-formula> <italic> !</我t一个l我c> </italic></p> <p></p> </sec> <sec id="sec2"> <title>2。应用程序</t我tle> <p>现在我们能够表明上述计算可以应用于大型系统的研究。</pgydF4y2Ba> <sec id="sec2.1"> <title>2.1。老问题的澄清</t我tle> <p>上述框架的第一个重要的结果是,它产生一个更好的理解出现困难,在20世纪五十年代,研究大型量子系统(参看第一部分)。特别是,我们已经看到,从非交换集成的观点,代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M106"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是一个非常特殊的一个。此外,微积分的基础上,对<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M107"> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:math> </inline-formula>不适合大型量子系统的研究。我们这里需要注意的是一个线性的积极功能条件只有在有界可见其行为可以表现出“非物质的”属性;例如,它可以导致熵的定义问题。更详细的讨论这个问题将推迟到部分<xrefref- - - - - -- - - - - -- - - - - - - - -type="sec" rid="sec2.3"> 2。3</xrefgydF4y2Ba>和<xrefgydF4y2Baref-type="sec" rid="sec2.4"> 2。4</xrefgydF4y2Ba>。</pgydF4y2Ba> <p>转向”奇怪的表示,“我们注意到一个重要的相互作用会导致变化的另一个非等值的福克表示。因此,范霍夫等事实的观察微扰微积分福克内进行空间框架和Haag定理对量子场理论不是意想不到的结果!澄清这些问题是在Haag-Kastler方法(详情,请参阅[<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B6"> 5</xrefgydF4y2Ba>])。最近的当地协变量子场理论,我们参考读者<xrefgydF4y2Baref-type="bibr" rid="B30"> 31日</xrefgydF4y2Ba>]。应用程序的非交换微积分量子领域将得到部分<xrefgydF4y2Baref-type="sec" rid="sec2.4"> 2。4</xrefgydF4y2Ba>。</pgydF4y2Ba> <p>结束本节,我们想说,吉布斯拟设相关的问题就都解决了发展中公里理论;也就是说,一位将军<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M108"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>机器采用!详情,请参阅Bratteli卷二世和罗宾逊的书<xrefgydF4y2Baref-type="bibr" rid="B66"> 9</xrefgydF4y2Ba>]。</pgydF4y2Ba> </sec> <sec id="sec2.2"> <title>2.2。Markov-Feller过程的量化</t我tle> <p>Markov-Feller过程构成的重要子集的家庭(古典)随机过程(见[<xrefgydF4y2Baref-type="bibr" rid="B31"> 32</xrefgydF4y2Ba>])。这些过程的一个特点是马尔可夫半群的一一对应。反过来,一个马尔可夫半群是唯一由其无穷小生成器。但一个马尔可夫半群的无穷小发生器与Markov-Feller相关过程有一个明确的形式提供的(经典)<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M109"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>空间。全面阐述无穷小的描述发电机对应Markov-Feller过程、经典<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M110"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>空间和插值策略已经被证明是非常有效的工具。作为上述战略的所有材料非交换同行,Markov-Feller过程的量化是一个简单的任务(见[<xrefgydF4y2Baref-type="bibr" rid="B32"> 33</xrefgydF4y2Ba>- - - - - -<xrefgydF4y2Baref-type="bibr" rid="B35"> 36</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>在非交换在Haagerup理论工作<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M111"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>空间,下面的结果:<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>非交换<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M112"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>空间量子晶格模型描述。</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>经典的量子同行马尔可夫半群的无穷小发电机与Markov-Feller过程得到和相关研究。值得指出的是,滞后型和扩散型过程进行了分析。</pgydF4y2Ba> </list-item> <list-item> <label>(3)</l一个bel> <p>具体说明模型的量子动力系统给出了(cf。<xrefgydF4y2Baref-type="bibr" rid="B36"> 37</xrefgydF4y2Ba>])。</pgydF4y2Ba> </list-item> <p></p> <p>但有可能会问这种量子化的动态展览是否稳定和/或一个能够描述“回归均衡”这样的动力系统。看来,最重要的工具在这种研究log-Sobolev不等式(见Guionnet和Zegarlinski的彻底的回顾<xrefgydF4y2Baref-type="bibr" rid="B37"> 38</xrefgydF4y2Ba>)在近期的理论和一个全面书目)。但是你可能猜想的理论(非交换)<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M113"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>空间不适合这样的研究(见[<xrefgydF4y2Baref-type="bibr" rid="B38"> 39</xrefgydF4y2Ba>),下一小节)。</pgydF4y2Ba> </sec> <sec id="sec2.3"> <title>2.3。统计力学和玻耳兹曼的理论</t我tle> <p>提到,在标准方法中,(量子)统计力学的基本数学成分是一对双(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.3"> 3</xrefgydF4y2Ba>)建模所考虑的系统的状态和可见。但这里关键的点需要注意的是以下的观察:<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>对于任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M114"> <mml:mi> 一个</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M115"> <mml:mi> ϱ</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi mathvariant="script"> F</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>人,对于任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M116"> <mml:mi> n</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> N</米米l:米我> </mml:math> </inline-formula>,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M117"> <mml:mi mathvariant="normal"> T</米米l:米我> <mml:mi mathvariant="normal"> r</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi> ϱ</米米l:米我> <mml:msup> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我> </mml:mrow> </mml:msup> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我> </mml:math> </inline-formula>。因此,在标准的统计力学方法,我们采用可见所有时刻是有限的。如此可见称为常规。我们强调,为古典系统也是如此。</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>两人(<xrefgydF4y2Baref-type="disp-formula" rid="EEq1.3"> 3</xrefgydF4y2Ba>)允许有界可见。但在这两种情况下(经典和量子)典型可见是无界的。</pgydF4y2Ba> </list-item> <p></p> <p>上述观察结果表明更一般的设置,允许无限的必要性可见,与此同时,保护财产的有限性的时刻。在论文中提出了这样一个更一般的设置(<xrefgydF4y2Baref-type="bibr" rid="B39"> 40</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B40"> 41</xrefgydF4y2Ba>]。描述上面的泛化,我们需要一些开场白。</pgydF4y2Ba> <p>经典的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M118"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>空间形式的巴拿赫空间更为广泛意义上的一个子集,Orlicz空间的类。Orlicz空间是通过选择一个子集定义的可测函数通过一个适当的年轻的功能。在这些笔记,我们将需要两个混凝土Orlicz空间:<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M119"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>和<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M120"> <mml:mi> l</米米l:米我> <mml:mo> </mml:mo> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。他们是由相应的年轻的功能:<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M121"> <mml:mi> x</米米l:米我> <mml:mo> ↦</米米l:米o> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:math> </inline-formula>和<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M122"> <mml:mo> ↦</米米l:米o> <mml:mi> x</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。特别是,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M123"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>是可测函数的子集<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M124"> <mml:mrow> <mml:mi> f</米米l:米我> </mml:mrow> </mml:math> </inline-formula>这样<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M125"> <mml:mrow> <mml:mo stretchy="false"> ∫</米米l:米o> <mml:mrow> <mml:mi></mml:mi> </mml:mrow> </mml:mrow> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> <mml:mi> d</米米l:米我> <mml:mi> μ</米米l:米我> <mml:mo> <</米米l:米o> <mml:mi> ∞</米米l:米我> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M126"> <mml:mrow> <mml:mi> μ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>被认为是衡量固定模式。的主要意义<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M127"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>讨论源于Pistone-Sempi结果(<xrefgydF4y2Baref-type="bibr" rid="B42"> 42</xrefgydF4y2Ba>]:<我t一个l我c> 经典正则可见被</我t一个l我c> <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M128"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula> <italic> 讨论。</我t一个l我c>此外,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M129"> <mml:mi> l</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>讨论是一种同构对偶空间的副本<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M130"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>。重要的是要注意,这个对偶空间是entropic-type定义的函数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M131"> <mml:mo> ↦</米米l:米o> <mml:mi> x</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> x</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。下一个结果的行<xrefgydF4y2Baref-type="bibr" rid="B39"> 40</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B40"> 41</xrefgydF4y2Ba>),</pgydF4y2Ba> <statement id="prop2.1"> <title>命题1。</t我tle> <p>双对<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M132"> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo> ,</米米l:米o> <mml:mi> l</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo> </mml:mo> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:math> </inline-formula>提供了基本的数学成分的描述(常规)经典系统。</pgydF4y2Ba> </statement> <p>为了支持上述说法,我们注意(详情,请参阅[<xrefgydF4y2Baref-type="bibr" rid="B41"> 17</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B39"> 40</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B40"> 41</xrefgydF4y2Ba>])如下:<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>Pistone-Sempi结果(<xrefgydF4y2Baref-type="bibr" rid="B42"> 42</xrefgydF4y2Ba>)说,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M133"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>很适合古典的描述经常可见。</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>定义的熵要好得多<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M134"> <mml:mi> f</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> </mml:mo> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。众所周知,条件<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M135"> <mml:mi> f</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:math> </inline-formula>是不足以保证熵的明确性(见[<xrefgydF4y2Baref-type="bibr" rid="B43"> 43</xrefgydF4y2Ba>锻炼),第四章,§6日18)。</pgydF4y2Ba> </list-item> <list-item> <label>(3)</l一个bel> <p>在现代的玻尔兹曼方程理论,空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M136"> <mml:mi> l</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>看来作为弱解的存在性条件的玻尔兹曼方程(对于一大类内核);参见[<xrefgydF4y2Baref-type="bibr" rid="B44"> 44</xrefgydF4y2Ba>]。值得指出的是,条件<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M137"> <mml:mi> f</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:math> </inline-formula>太弱,保证玻尔兹曼方程的解的存在!</pgydF4y2Ba> </list-item> <list-item> <label>(4)</l一个bel> <p>log-Sobolev不平等,最基本的分析工具的稳定性动力学,可以写成Poincare-type不平等<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M138"> <mml:mi> l</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>(<xrefgydF4y2Baref-type="bibr" rid="B38"> 39</xrefgydF4y2Ba>]。</pgydF4y2Ba> </list-item> <p></p> <p>转向量子系统,允许一个非交换集成理论(参见[<xrefgydF4y2Baref-type="bibr" rid="B45"> 45</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B46"> 46</xrefgydF4y2Ba>])<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>定义量子同行<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M139"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>和<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M140"> <mml:mi> l</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>(为简单起见,我们将表示他们同样的符号),</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>表明,熵也更好的定义,</pgydF4y2Ba> </list-item> <list-item> <label>(3)</l一个bel> <p>log-Sobolev不等式研究量子设置。</pgydF4y2Ba> </list-item> <p></p> <p>尽管量化的玻尔兹曼方程是不清楚,量子统计力学的方法基于量子双对<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M141"> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo> ,</米米l:米o> <mml:mi> l</米米l:米我> <mml:mtext> </mml:mtext> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> g</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> l</米米l:米我> <mml:mo> +</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:math> </inline-formula>提供数字转换的可能性很大类经典动态地图以及提升动态地图定义在有界可见的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M142"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>定义良好的地图上<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M143"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>,(<xrefgydF4y2Baref-type="bibr" rid="B47"> 47</xrefgydF4y2Ba>]。为此,一种是在第一种情况下使用插值方案基于DDdP方法(cf。<xrefgydF4y2Baref-type="bibr" rid="B45"> 45</xrefgydF4y2Ba>])。此前,结合Orlicz Orlicz空间的结果<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M144"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> Φ</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mi> ∞</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>(<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M145"> <mml:mrow> <mml:mi> Φ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>代表一个年轻的函数)是一个插值空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M146"> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mi> ∞</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> ,</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mn mathvariant="normal"> 0</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mi> ∞</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:math> </inline-formula>和非交换插值等夫妇在[<xrefgydF4y2Baref-type="bibr" rid="B48"> 48</xrefgydF4y2Ba>]。提升的动力<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M147"> <mml:msub> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> t</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> :</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo> →</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:math> </inline-formula>,这是显示(<xrefgydF4y2Baref-type="bibr" rid="B47"> 47</xrefgydF4y2Ba>]假设另外一个条件可以接受从物理的角度和工作在Haagerup的非交换集成方法,一个是能够提升<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M148"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> t</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>一个定义良好的地图<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M149"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。特别是,以下结果提取(<xrefgydF4y2Baref-type="bibr" rid="B47"> 47</xrefgydF4y2Ba>]。</pgydF4y2Ba> <statement id="thm2.2"> <title>定理2。</t我tle> <p>如果<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M150"> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一个完全积极的地图吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M151"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>满足细致平衡条件,然后扩展<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M152"> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> <mml:mo> ~</米米l:米o> </mml:mover> </mml:mrow> </mml:math> </inline-formula>的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M153"> <mml:mrow> <mml:mi> T</米米l:米我> </mml:mrow> </mml:math> </inline-formula>在<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M154"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>正规的诱发一个动作<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M155"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。</pgydF4y2Ba> </statement> </sec> <sec id="sec2.4"> <title>2.4。Orlicz空间量子领域的应用</t我tle> <p>在本节中,我们将看看第二种类型的大型系统中,量子领域。我们简要阐述这些大型系统的描述将设定的框架内完成连接Wightman量子场理论(见[<xrefgydF4y2Baref-type="bibr" rid="B49"> 49</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B50"> 50</xrefgydF4y2Ba>])与当地的网的理论<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M156"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>或者冯·诺依曼代数([<xrefgydF4y2Baref-type="bibr" rid="B6"> 5</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B51"> 51</xrefgydF4y2Ba>],参见[<xrefgydF4y2Baref-type="bibr" rid="B52"> 52</xrefgydF4y2Ba>];所有的细节,请参阅[<xrefgydF4y2Baref-type="bibr" rid="B53"> 53</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>第一种描述的大型系统中,量子统计力学,所有时刻的有限性是关键需求(参见前面的小节)。这里要注意重要的是怀特曼的第一假设理论的结果。我们回忆起(cf。<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B51"> 51</xrefgydF4y2Ba>)的第一个假设Wightman理论:运营商<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M157"> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> ,</米米l:米o> <mml:mo> …</米米l:米o> <mml:mo> ,</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> n</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M158"> <mml:msub> <mml:mrow> <mml:mi> f</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 我</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ∈</米米l:米o> <mml:msubsup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msubsup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="double-struck"> 米</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是一个<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M159"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>函数在闵可夫斯基空间紧凑的支持<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M160"> <mml:mrow> <mml:mi mathvariant="double-struck"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。每一个<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M161"> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和它的厄密共轭算子<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M162"> <mml:msubsup> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msubsup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>定义,至少在一个共同的稠密子集<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M163"> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>希尔伯特空间的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M164"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。此外,<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M165"> <mml:mtable> <mml:mlabeledtr id="EEq2.1"> <mml:mtd> <mml:mtext> (5)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> f</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mi mathvariant="script"> D</米米l:米我> <mml:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> D</米米l:米我> <mml:mo> ,</米米l:米o> </mml:mtd> </mml:mlabeledtr> <mml:mlabeledtr id="EEq2.2"> <mml:mtd> <mml:mtext> (6)</米米l:米text> </mml:mtd> <mml:mtd> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> j</米米l:米我> </mml:mrow> </mml:msub> <mml:msup> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> f</米米l:米我> </mml:mrow> </mml:mfenced> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> <mml:mi mathvariant="script"> D</米米l:米我> <mml:mo> ⊆</米米l:米o> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>对于任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M166"> <mml:mi> f</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:msubsup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 0</米米l:米n> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msubsup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="double-struck"> 米</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M167"> <mml:mi> j</米米l:米我> <mml:mo> =</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo> ,</米米l:米o> <mml:mo> …</米米l:米o> <mml:mo> ,</米米l:米o> <mml:mi> n</米米l:米我> </mml:math> </inline-formula>。说这个假设的另一种方法是说领域运营商构成的集合<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M168"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> O</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数。首先选择测量领域的运营商,我们注意到,对于任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M169"> <mml:mi> 米</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> N</米米l:米我> </mml:math> </inline-formula>和任何<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M170"> <mml:mi> u</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> v</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> D</米米l:米我> </mml:math> </inline-formula>,一个<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M171"> <mml:mtable> <mml:mlabeledtr id="EEq2.3"> <mml:mtd> <mml:mtext> (7)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> u</米米l:米我> <mml:mo> ,</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 米</米米l:米我> </mml:mrow> </mml:msup> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> f</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mi> v</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="double-struck"> C</米米l:米我> <mml:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>换句话说,一个可以说(无限)领域运营商有限时刻(共同的域)。</pgydF4y2Ba> <p>值得指出的是,这一观点可以被看作是一个“邀请”Orlicz空间解决这个特性的量子统计形式主义的起点是开发大型系统的新方法(见[<xrefgydF4y2Baref-type="bibr" rid="B41"> 17</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B40"> 41</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>因此,有人可能会问是否量子统计力学的新形式主义可以扩展到量子场理论。表明这是一个情况下,有必要进行更精确的要求Wightman字段与当地有关净冯诺依曼的代数。</pgydF4y2Ba> <p>冯·诺依曼的本地网络代数我们意味着一个作业<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M172"> <mml:mtable> <mml:mlabeledtr id="eq8"> <mml:mtd> <mml:mtext> (8)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi mathvariant="script"> O</米米l:米我> <mml:mo> ↦</米米l:米o> <mml:mi mathvariant="script"> 一个</米米l:米我> <mml:mfenced separators="|"> <mml:mrow> <mml:mi mathvariant="script"> O</米米l:米我> </mml:mrow> </mml:mfenced> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>的地区<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M173"> <mml:mrow> <mml:mi mathvariant="script"> O</米米l:米我> </mml:mrow> </mml:math> </inline-formula>在闵可夫斯基空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M174"> <mml:mrow> <mml:mi mathvariant="double-struck"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>(或更一般的洛伦兹流形<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M175"> <mml:mrow> <mml:mi> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>冯诺依曼代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M176"> <mml:mi mathvariant="script"> 一个</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> O</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>在希尔伯特空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M177"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>田野的运营商保序性的一般条件,位置,和协方差是应验了。</pgydF4y2Ba> <p>场算符可以以不同的方式与网络相关。我们将使用下面的一个。</pgydF4y2Ba> <p>让<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M178"> <mml:mrow> <mml:mi mathvariant="script"> P</米米l:米我> </mml:mrow> </mml:math> </inline-formula>密度是运营商的家庭与一个共同的域的定义<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M179"> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>在希尔伯特空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M180"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>这样,如果<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M181"> <mml:mi> ϕ</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> P</米米l:米我> </mml:math> </inline-formula>,然后还<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M182"> <mml:msub> <mml:mrow> <mml:mfenced open close="|" separators="|"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:mfenced> </mml:mrow> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ≡</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> __</米米l:米o> </mml:mrow> </mml:msup> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> P</米米l:米我> </mml:math> </inline-formula>。弱者换位<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M183"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi mathvariant="script"> P</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> w</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M184"> <mml:mrow> <mml:mi mathvariant="script"> P</米米l:米我> </mml:mrow> </mml:math> </inline-formula>被定义为所有有界运营商的设置吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M185"> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> </mml:math> </inline-formula>在<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M186"> <mml:mrow> <mml:mi mathvariant="script"> H</米米l:米我> </mml:mrow> </mml:math> </inline-formula>这样<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M187"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> v</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> C</米米l:米我> <mml:mi> ϕ</米米l:米我> <mml:mi> w</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo> =</米米l:米o> <mml:mo stretchy="false"> (</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> __</米米l:米o> </mml:mrow> </mml:msup> <mml:mi> v</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> C</米米l:米我> <mml:mi> w</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,尽管<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M188"> <mml:mi> v</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> w</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> D</米米l:米我> </mml:math> </inline-formula>。</pgydF4y2Ba> <p>为简单起见我们的论点,我们将限制自己一种真正的标量场<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M189"> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>;也就是说,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M190"> <mml:mi> ϕ</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>正值<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M191"> <mml:mi> ϕ</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mover accent="false"> <mml:mrow> <mml:mi> f</米米l:米我> </mml:mrow> <mml:mo> ¯</米米l:米o> </mml:mover> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>在<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M192"> <mml:mrow> <mml:mi mathvariant="script"> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。此外,除了Wightman假设,我们假设如下:<l是t> <list-item> <label>(A1)</l一个bel> </list-item> </list></p> <p> <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M193"> <mml:mi mathvariant="script"> P</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:msubsup> <mml:mrow> <mml:mi mathvariant="script"> O</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 问</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msubsup> <mml:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> w</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>是一种代数的双锥吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M194"> <mml:msubsup> <mml:mrow> <mml:mi mathvariant="script"> O</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> 问</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> p</米米l:米我> </mml:mrow> </mml:msubsup> <mml:mo> ≡</米米l:米o> <mml:mo stretchy="false"> {</米米l:米o> <mml:mi> x</米米l:米我> <mml:mo> ;</米米l:米o> <mml:mi> p</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mi> x</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> V</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> ,</米米l:米o> <mml:mi> x</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mi> 问</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> V</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M195"> <mml:msub> <mml:mrow> <mml:mi> V</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> +</米米l:米o> </mml:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mo stretchy="false"> {</米米l:米o> <mml:mi mathvariant="normal"> p</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> t</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> v</米米l:米我> <mml:mi mathvariant="normal"> e</米米l:米我> <mml:mi> </mml:mi> <mml:mi> </mml:mi> <mml:mi mathvariant="normal"> t</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> 米</米米l:米我> <mml:mi mathvariant="normal"> e</米米l:米我> <mml:mi mathvariant="normal"> l</米米l:米我> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> k</米米l:米我> <mml:mi mathvariant="normal"> e</米米l:米我> <mml:mi> </mml:mi> <mml:mi> </mml:mi> <mml:mi mathvariant="normal"> v</米米l:米我> <mml:mi mathvariant="normal"> e</米米l:米我> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> t</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> r</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mo stretchy="false"> }</米米l:米o> </mml:math> </inline-formula>。</pgydF4y2Ba> <list-item> <label>(A2)</l一个bel> <p>真空向量<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M196"> <mml:mrow> <mml:mi> Ω</米米l:米我> </mml:mrow> </mml:math> </inline-formula>循环的联盟吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M197"> <mml:mi mathvariant="script"> P</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ′</米米l:米我> </mml:mrow> </mml:msup> <mml:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> w</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>所有双锥<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M198"> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M199"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ′</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>的因果补吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M200"> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。</pgydF4y2Ba> </list-item> <p></p> <p>下面的定理是取自[<xrefgydF4y2Baref-type="bibr" rid="B51"> 51</xrefgydF4y2Ba>]但源于结果中给出<xrefgydF4y2Baref-type="bibr" rid="B54"> 54</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B55"> 55</xrefgydF4y2Ba>]。</pgydF4y2Ba> <statement id="thm2.3"> <title>定理3。</t我tle> <p>考虑两种情况下(A1)和(A2)。对于每一个双锥<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M201"> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> </mml:math> </inline-formula>,定义<d我年代p- - - - - -for米ul一个> <mml:math display="block" xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M202"> <mml:mtable> <mml:mlabeledtr id="EEq2.4"> <mml:mtd> <mml:mtext> (9)</米米l:米text> </mml:mtd> <mml:mtd> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> </mml:mfenced> <mml:mo> =</米米l:米o> <mml:msup> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:mi mathvariant="script"> P</米米l:米我> <mml:msup> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:mi> D</米米l:米我> </mml:mrow> </mml:mfenced> </mml:mrow> <mml:mrow> <mml:mi> w</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:mfenced> </mml:mrow> <mml:mrow> <mml:mi> ′</米米l:米我> </mml:mrow> </mml:msup> <mml:mo> 。</米米l:米o> </mml:mtd> </mml:mlabeledtr> </mml:mtable> </mml:math> </disp-formula>然后,一个有以下:<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p> <inline-formula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M203"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>冯·诺依曼代数和净吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M204"> <mml:mi> D</米米l:米我> <mml:mo> ↦</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>满足上述条件。此外,真空<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M205"> <mml:mrow> <mml:mi> Ω</米米l:米我> </mml:mrow> </mml:math> </inline-formula>为每一个循环<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M206"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>每个操作符<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M207"> <mml:mi> ϕ</米米l:米我> <mml:mo> ∈</米米l:米o> <mml:mi mathvariant="script"> P</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>有一个封闭的扩展<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M208"> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ⊂</米米l:米o> <mml:msup> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mo> __</米米l:米o> <mml:mo> ,</米米l:米o> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:math> </inline-formula>是隶属于<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M209"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。在这里,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M210"> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> ⊂</米米l:米o> <mml:mi> 一个</米米l:米我> </mml:math> </inline-formula>意味着的领域<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M211"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>包含在域的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M212"> <mml:mrow> <mml:mi> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>这<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M213"> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> </mml:msub> <mml:mo> =</米米l:米o> <mml:mi> 一个</米米l:米我> </mml:math> </inline-formula>域的<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M214"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi> ϕ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> e</米米l:米我> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> </inline-formula>。</pgydF4y2Ba> </list-item> <p></p> </statement> <p>定理<xrefgydF4y2Baref-type="statement" rid="thm2.3"> 3</xrefgydF4y2Ba>会导致以下。</pgydF4y2Ba> <statement id="coro2.4"> <title>推论4。</t我tle> <p>场运营商导致运营商附属冯诺依曼代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M215"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。我们回想一下,这个属性是起点的定义可衡量的运营商。</pgydF4y2Ba> </statement> <p>但是,正如第一节中提到的,对于大型系统,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M216"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>类型III代数。因此,应该采用更大的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M217"> <mml:mi mathvariant="script"> 米</米米l:米我> <mml:mo> ≡</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:msub> <mml:mrow> <mml:mo> ⋊</米米l:米o> </mml:mrow> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:msub> <mml:mi mathvariant="normal"> 我</米米l:米我> <mml:mi mathvariant="normal"> R</米米l:米我> </mml:math> </inline-formula>。看到(不是太困难<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M218"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo> ⊂</米米l:米o> <mml:mi mathvariant="script"> 米</米米l:米我> </mml:math> </inline-formula>),现场操作导致运营商附属<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M219"> <mml:mrow> <mml:mi mathvariant="script"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。然后,应用向量代数理论,得到一个不错的重量<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M220"> <mml:mrow> <mml:mi> τ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>在<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M221"> <mml:mrow> <mml:mi mathvariant="script"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>跟踪属性。因此,量子<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M222"> <mml:mrow> <mml:mi> τ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>可衡量的运营商<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M223"> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi mathvariant="script"> 米</米米l:米我> </mml:mrow> <mml:mo> ~</米米l:米o> </mml:mover> </mml:mrow> </mml:math> </inline-formula>可以定义。特别是,一个可以定义量子Orlicz空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M224"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。根据结果提出了(<xrefgydF4y2Baref-type="bibr" rid="B53"> 53</xrefgydF4y2Ba>),我们提出以下。</pgydF4y2Ba> <statement id="deff2.5"> <title>定义5。</t我tle> <p>一场算符<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M225"> <mml:mi> ϕ</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>隶属于<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M226"> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是说为了满足<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M227"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula> <italic> 规律的限制</我t一个l我c>如果强大的产品<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M228"> <mml:msub> <mml:mrow> <mml:mi> φ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> h</米米l:米我> <mml:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo> /</米米l:米o> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:mrow> </mml:msup> <mml:mi> ϕ</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> f</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:msub> <mml:mrow> <mml:mi> φ</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msub> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> h</米米l:米我> <mml:msup> <mml:mrow> <mml:mo stretchy="false"> )</米米l:米o> </mml:mrow> <mml:mrow> <mml:mn mathvariant="normal"> 1</米米l:米n> <mml:mo> /</米米l:米o> <mml:mn mathvariant="normal"> 2</米米l:米n> </mml:mrow> </mml:msup> </mml:math> </inline-formula>是一个可闭算子的闭包是什么<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M229"> <mml:mrow> <mml:mi> τ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>可测量的;也就是说,空间的闭包是一种元素<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M230"> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi mathvariant="script"> 米</米米l:米我> </mml:mrow> <mml:mo> ~</米米l:米o> </mml:mover> </mml:mrow> </mml:math> </inline-formula>(<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M231"> <mml:mrow> <mml:mi> h</米米l:米我> </mml:mrow> </mml:math> </inline-formula>独特的决心无界算子附属吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M232"> <mml:mrow> <mml:mi mathvariant="script"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>,而<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M233"> <mml:mrow> <mml:mi> φ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>代表与Orlicz空间关联的基本功能<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M234"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>)。</pgydF4y2Ba> </statement> <p>在上面的定义中使用的限制在物理上合理的。也就是说,加入<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M235"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi mathvariant="normal"> c</米米l:米我> <mml:mi mathvariant="normal"> o</米米l:米我> <mml:mi mathvariant="normal"> 年代</米米l:米我> <mml:mi mathvariant="normal"> h</米米l:米我> <mml:mo> - - - - - -</米米l:米o> <mml:mn mathvariant="normal"> 1</米米l:米n> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="fraktur"> 米</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> D</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>确保“广义时刻”的运营商都是有限的。这是在完美的协议第一Wightman假设的本质。更全面的治疗,我们参考读者<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B53"> 53</xrefgydF4y2Ba>]。</pgydF4y2Ba> </sec> <sec id="sec2.5"> <title>2.5。量子关联</t我tle> <p>这个词<我t一个l我c> 量子关联</我t一个l我c>指一定财产的量子态(量子态线性积极规范化泛代数认为指定的系统)。理解这一概念的特异性,自然首先古典概率论。特别是,在这个理论中,古典相关性的概念是完全描述(cf。<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B56"> 56</xrefgydF4y2Ba>])。概率论的基本成分是概率空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M236"> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> Ω</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> Σ</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> μ</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>和阿贝尔·冯·诺伊曼代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M237"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> Ω</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> μ</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M238"> <mml:mrow> <mml:mi> Ω</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一组,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M239"> <mml:mrow> <mml:mi> Σ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M240"> <mml:mrow> <mml:mi> σ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>代数的可衡量的子集<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M241"> <mml:mrow> <mml:mi> Ω</米米l:米我> </mml:mrow> </mml:math> </inline-formula>,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M242"> <mml:mrow> <mml:mi> μ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一个概率测度,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M243"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> Ω</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> μ</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>是所有本质上有界可测函数的集合。这里重要的是要注意,得到一个完整的描述(古典)相关性的概念一个子系统,概率空间的一个复合系统,产品结构是至关重要的。</pgydF4y2Ba> <p>古典概率的语法理论延伸到非交换领域代替<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M244"> <mml:msup> <mml:mrow> <mml:mi> l</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∞</米米l:米我> </mml:mrow> </mml:msup> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> Ω</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> μ</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>冯·诺依曼(一般来说,<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M245"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>可以在非交换代数吗<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M246"> <mml:mrow> <mml:mi mathvariant="fraktur"> 米</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。我们看到,这是非交换集成理论的起点。更重要的是,数字转换子系统和产品结构的概念,一个是被迫重写这些概念适当的代数张量的产品。</pgydF4y2Ba> <p>然而,<我t一个l我c> 当研究相关性,一个强大的重点必须放在措施</我t一个l我c>。但Riesz-Markov-Kakutani定理(波莱尔)概率之间制定了一一对应的措施<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M247"> <mml:mrow> <mml:mi> X</米米l:米我> </mml:mrow> </mml:math> </inline-formula>积极和归一化线性泛函,(州)(阿贝耳<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M248"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>)代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M249"> <mml:mi> C</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> X</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>的所有复杂的连续函数在一个紧凑的豪斯多夫空间<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M250"> <mml:mrow> <mml:mi> X</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。因此,而不是考虑概率测度,研究相应的状态。分析相关性的州与措施有一个巨大的优势,描述基于状态可以直接扩展到非交换领域。</pgydF4y2Ba> <p>因此,我们必须更换<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M251"> <mml:mi> C</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi> X</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>由一个<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M252"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M253"> <mml:mrow> <mml:mi mathvariant="fraktur"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>,研究量子关联的起点是一对<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M254"> <mml:mrow> <mml:mfenced separators="|"> <mml:mrow> <mml:mi mathvariant="fraktur"> 一个</米米l:米我> <mml:mo> ,</米米l:米o> <mml:mi> φ</米米l:米我> </mml:mrow> </mml:mfenced> </mml:mrow> </mml:math> </inline-formula>,在那里<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M255"> <mml:mrow> <mml:mi> φ</米米l:米我> </mml:mrow> </mml:math> </inline-formula>是一个国家<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M256"> <mml:mrow> <mml:mi mathvariant="fraktur"> 一个</米米l:米我> </mml:mrow> </mml:math> </inline-formula>。这样的话,一个非常经典的“量化”的一般描述相关性做了(见[<xrefgydF4y2Baref-type="bibr" rid="B57"> 57</xrefgydF4y2Ba>- - - - - -<xrefgydF4y2Baref-type="bibr" rid="B60"> 60</xrefgydF4y2Ba>])。特别是,松散来说,可以考虑一个纠缠(通常认为是量子理论的核心功能)缺乏疲软<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M257"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mtext> - - - - - -</米米l:米text> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>黎曼近似属性状态非交换结构的产品。<我t一个l我c> 这清楚地表明大区别标准集成理论和非交换。</我t一个l我c></p> <p>经常,一个是感兴趣的国家(“量子措施”)以某种方式相关物质的稳定性,运营商数量是定义良好的。另一方面,运营商在相应数量的存在GNS表示特征的状态正常(cf部分<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M258"> <mml:mn> 5.2</米米l:米n> <mml:mo> 。</米米l:米o> <mml:mn> 3</米米l:米n> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B66"> 9</xrefgydF4y2Ba>])。然而,说话的正常状态,冯·诺依曼代数设置必须使用。换句话说,非常具体<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M259"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数(弱闭)成为描述的基本成分。这个代数替换一个重要的结果是,描述复合系统包括两个子系统,一个非常特殊的张量积,张量积算子空间,必须工作。这个产品会导致适当的几何组合系统的密度矩阵。几何特征的主要意义就是它允许一看到本质区别<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M260"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数和冯·诺依曼代数方法来纠缠的特性。</pgydF4y2Ba> <p>在这样的计划,我们获得(详情,请参阅[<xrefgydF4y2Baref-type="bibr" rid="B60"> 60</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B61"> 61年</xrefgydF4y2Ba>])<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>两点关联函数的规范形式,</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>一般纠缠态的定义<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M261"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数以及冯诺依曼代数,</pgydF4y2Ba> </list-item> <list-item> <label>(3)</l一个bel> <p>措施真正的量子系统的纠缠,</pgydF4y2Ba> </list-item> <list-item> <label>(4)</l一个bel> <p>一般的描述形成的纠缠,</pgydF4y2Ba> </list-item> <list-item> <label>(5)</l一个bel> <p>PPT的一般描述。</pgydF4y2Ba> </list-item> <p></p> <p>我们想完成这个分段评价贝尔不等式。读者应该经常提醒量子关联定义的这些不平等。提出的方法是不同的,这一点需要澄清。</pgydF4y2Ba> <p>1964年,贝尔(<xrefgydF4y2Baref-type="bibr" rid="B62"> 62年</xrefgydF4y2Ba>描述一个<我t一个l我c> gedankenexperiment</我t一个l我c>测试存在的隐变量。它直接与测量的变量<我t一个l我c> 古典概率服从微积分!</我t一个l我c>特别是,贝尔不平等关注测量粒子的相互作用,然后分开。这些不平等方面的某些组合的两点相关功能。值得指出的是,尽管贝尔提出一些隐藏变量的存在,有一个贝尔不等式的证明没有任何假设的存在和属性的隐藏变量(参见[<xrefref- - - - - -- - - - - -- - - - - -- - - - - - - -type="bibr" rid="B63"> 63年</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B64"> 64年</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>这些不平等进行量子粒子检测,发现违反。我们必须为对象添加这样的违反将由量子力学。但这种违反意味着古典对象的相关性可以从量子的不同!然而,上述设置并不给任何解释这一现象的本质。我们只能说,古典概率是不够的“量子世界。”</pgydF4y2Ba> <p>我们的方法是给予澄清。我们已经表明,量子关联仅仅是量子化的结果的过程。此外,我们的方法提供了天然的措施真正的量子系统的量子关联。</pgydF4y2Ba> <p>因此,贝尔不平等是量子理论的重要成分的相关性,特别是在量子信息,但他们不能作为理论的起点。深入探讨量化相关性,我们参考读者<xrefgydF4y2Baref-type="bibr" rid="B60"> 60</xrefgydF4y2Ba>]。</pgydF4y2Ba> </sec> </sec> <sec id="sec3"> <title>3所示。最后的讲话和开放的问题</t我tle> <p>我们认为,一个应用程序的描述非交换微积分的大型系统既是自然的和富有成果的。特别是,不能有限维结构内进行量化,对大型系统的情况下,不会导致一个通用的代数<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M262"> <mml:mi> B</米米l:米我> <mml:mo stretchy="false"> (</米米l:米o> <mml:mi mathvariant="script"> H</米米l:米我> <mml:mo stretchy="false"> )</米米l:米o> </mml:math> </inline-formula>。幸运的是,集成和非交换理论推导的理论定义良好的通用冯诺依曼代数(甚至一些扩展<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M263"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi> C</米米l:米我> </mml:mrow> <mml:mrow> <mml:mi> ∗</米米l:米我> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> </inline-formula>代数设置)。</pgydF4y2Ba> <p>不用说,非交换衍生品也起着重要的作用在非交换的量子分析微积分的应用系统(更深层次的讨论,请参阅[<xrefgydF4y2Baref-type="bibr" rid="B9"> 8</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B66"> 9</xrefgydF4y2Ba>,<xrefgydF4y2Baref-type="bibr" rid="B29"> 30.</xrefgydF4y2Ba>])。</pgydF4y2Ba> <p>我们关闭本节与一些打开的问题。原因是量子统计力学,除了其在物理学的基础作用,目前富含许多新问题从一个具体的模型的分析。为了说明这一点,我们希望列出几个开放的问题(当然)反映作者的个人品味:<l是t> <list-item> <label>(1)</l一个bel> </list-item> </list></p> <p>完整的理论措施纠缠的冯·诺依曼代数(cf的话<我nl在e- - - - - -for米ul一个> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M264"> <mml:mn> 8</米米l:米n> <mml:mo> 。</米米l:米o> <mml:mn> 6</米米l:米n> </mml:math> </inline-formula>在[<xrefgydF4y2Baref-type="bibr" rid="B60"> 60</xrefgydF4y2Ba>])。</pgydF4y2Ba> <list-item> <label>(2)</l一个bel> <p>精心log-Sobolev量子统计力学广义框架的不平等。</pgydF4y2Ba> </list-item> <list-item> <label>(3)</l一个bel> <p>使用log-Sobolev机械、描述量子动力学的稳定性,使分析“回到平衡。”</pgydF4y2Ba> </list-item> <list-item> <label>(4)</l一个bel> <p>研究贝尔不等式的框架内量子Orlicz空间;这是一个修改Tsirelson问题[<xrefgydF4y2Baref-type="bibr" rid="B65"> 65年</xrefgydF4y2Ba>]。</pgydF4y2Ba> </list-item> <list-item> <label>(5)</l一个bel> <p>提供简单的例子微分结构量子场理论(cf。<xrefgydF4y2Baref-type="bibr" rid="B53"> 53</xrefgydF4y2Ba>])。</pgydF4y2Ba> </list-item> <p></p> </sec> <back> <sec> <title>的利益冲突</t我tle> <p>作者宣称没有利益冲突。</pgydF4y2Ba> </sec> <ack> <title>确认</t我tle> <p>作者非常感谢L.E. Labuschagne在校正提供了很多帮助。</pgydF4y2Ba> </ack> <ref-list> <ref id="B1" content-type="book"> <label>1</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 诸圣</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 量子力学的解释</我t一个l我c> <year> 1994年</gydF4y2Bayear> <publisher-loc> 普林斯顿,纽约</publ是her- - - - - -loc> <publisher-name> 普林斯顿大学出版社</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B3" content-type="book"> <label>2</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 汤普森</年代urn一个米e> <given-names> c·J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 数学统计力学</我t一个l我c> <year> 1972年</gydF4y2Bayear> <publisher-loc> 纽约,纽约,美国</publ是her- - - - - -loc> <publisher-name> 麦克米伦公司</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B4" content-type="book"> <label>3</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 窄小的街道</年代urn一个米e> <given-names> D。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 统计力学;严格的结果</我t一个l我c> <year> 1969年</gydF4y2Bayear> <publisher-loc> 纽约,纽约,美国</publ是her- - - - - -loc> <publisher-name> w·a·本杰明</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B5" content-type="misc"> <label>4</l一个bel> <element-citation publication-type="other"> <person-group person-group-type="author"> <name> <surname> 埃姆</年代urn一个米e> <given-names> G·G。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 代数方法在统计力学和量子场论</一个rt我cle- - - - - -t我tle> <comment> Wiley-Interscience 1972</co米米ent> </element-citation> </ref> <ref id="B6" content-type="book"> <label>5</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Haag</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 当地的量子物理学。字段,粒子,代数</我t一个l我c> <year> 1996年</gydF4y2Bayear> <edition> 2日</ed我t我on> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B7" content-type="book"> <label>6</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Takesaki</年代urn一个米e> <given-names> M。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 算子代数理论</我t一个l我c> <year> 1979年</gydF4y2Bayear> <volume> 我</volu米e> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B8" content-type="misc"> <label>7</l一个bel> <element-citation publication-type="other"> <person-group person-group-type="author"> <name> <surname> Terp</年代urn一个米e> <given-names> M。</g我ven- - - - - -n一个米e年代> </name> </person-group> <comment> Lp空间与冯·诺依曼代数关系3号,1981年</co米米ent> </element-citation> </ref> <ref id="B9" content-type="book"> <label>8</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Bratteli</年代urn一个米e> <given-names> O。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 罗宾逊</年代urn一个米e> <given-names> D。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 算子代数和量子统计力学我:C * - W *代数,对称组,分解的状态</我t一个l我c> <year> 1979年</gydF4y2Bayear> <publisher-name> 施普林格-;纽约,海德堡,柏林</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B66" content-type="book"> <label>9</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Bratteli</年代urn一个米e> <given-names> O。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 罗宾逊</年代urn一个米e> <given-names> d . W。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 算子代数和量子统计力学II:平衡态在量子统计力学模型</我t一个l我c> <year> 1981年</gydF4y2Bayear> <publisher-name> 施普林格-;纽约,海德堡,柏林</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B10" content-type="article"> <label>10</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 权力</年代urn一个米e> <given-names> r·T。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 无限的自伴的代数运算符</一个rt我cle- - - - - -t我tle> <source> <italic> 通信的数学物理</我t一个l我c> <year> 1971年</gydF4y2Bayear> <volume> 21</volu米e> <fpage> 85年</fp一个ge> <lpage> 124年</lp一个ge> <pub-id pub-id-type="other"> MR0283580</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1007 / BF01646746</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0214.14102</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0002695987</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B13" content-type="incollection"> <label>11</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 安东尼</年代urn一个米e> <given-names> j。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 井上</年代urn一个米e> <given-names> 一个。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 特拉帕尼</年代urn一个米e> <given-names> C。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 部分*代数和运算符实现数学及其应用</一个rt我cle- - - - - -t我tle> <source> <italic> 数学及其应用</我t一个l我c> <year> 2002年</gydF4y2Bayear> <volume> 553年</volu米e> <publisher-loc> 多德雷赫特、荷兰、美国</publ是her- - - - - -loc> <publisher-name> 提供参考</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B14" content-type="book"> <label>12</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Schmudgen</年代urn一个米e> <given-names> K。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> Akademie-Verlag无界算子代数和代表性理论</我t一个l我c> <year> 1990年</gydF4y2Bayear> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B15" content-type="article"> <label>13</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Bagarello</年代urn一个米e> <given-names> F。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 代数的无限运营商和物理应用程序:一个调查</一个rt我cle- - - - - -t我tle> <source> <italic> 在数学物理评论</我t一个l我c> <year> 2007年</gydF4y2Bayear> <volume> 19</volu米e> <issue> 3</我年代年代ue> <fpage> 231年</fp一个ge> <lpage> 271年</lp一个ge> <pub-id pub-id-type="other"> 2 - s2.0 - 34247362460</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1142 / S0129055X07002961</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl1144.82301</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B16" content-type="book"> <label>14</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 里德</年代urn一个米e> <given-names> M。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 西蒙</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 现代数学物理方法:功能分析</我t一个l我c> <year> 1972年</gydF4y2Bayear> <publisher-loc> 纽约,纽约,美国</publ是her- - - - - -loc> <publisher-name> 学术出版社</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B11" content-type="incollection"> <label>15</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Borchers</年代urn一个米e> <given-names> h·J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <person-group person-group-type="editor"> <name> <surname> 荒木</年代urn一个米e> <given-names> H。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> Wightman量子场理论的代数方面</一个rt我cle- - - - - -t我tle> <source> <italic> 国际研讨会在理论物理的数学方法</我t一个l我c> <year> 1975年</gydF4y2Bayear> <volume> 39</volu米e> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> <fpage> 283年</fp一个ge> <lpage> 292年</lp一个ge> <series> 数学课堂笔记</年代er我e年代> </element-citation> </ref> <ref id="B12" content-type="article"> <label>16</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 西格尔</年代urn一个米e> <given-names> 即。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 量子力学假设一般</一个rt我cle- - - - - -t我tle> <source> <italic> 《数学:第二个系列</我t一个l我c> <year> 1947年</gydF4y2Bayear> <volume> 48</volu米e> <fpage> 930年</fp一个ge> <lpage> 948年</lp一个ge> <pub-id pub-id-type="other"> MR0022652</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.2307 / 1969387</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0034.06602</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B41" content-type="incollection"> <label>17</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Labuschagne</年代urn一个米e> <given-names> l E。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 为什么Orlicz空间用于统计物理?</一个rt我cle- - - - - -t我tle> <source> <italic> 非交换分析算子理论和应用程序</我t一个l我c> <year> 2016年</gydF4y2Bayear> <volume> 252年</volu米e> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> <fpage> 271年</fp一个ge> <lpage> 283年</lp一个ge> <series> 线性算子和线性系统</年代er我e年代> <pub-id pub-id-type="doi"> 10.1007 / 978 - 3 - 319 - 29116 - 1 - _13</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl1368.46055</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B17" content-type="article"> <label>18</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 范霍夫</年代urn一个米e> <given-names> l</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 苏尔l 'operateur Hamiltonien德两个冠军量化en交互</一个rt我cle- - - - - -t我tle> <source> <italic> 公报de la架势des科学Academie皇家比利时</我t一个l我c> <year> 1951年</gydF4y2Bayear> <volume> 37</volu米e> <fpage> 1055年</fp一个ge> <lpage> 1072年</lp一个ge> </element-citation> </ref> <ref id="B18" content-type="article"> <label>19</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 范霍夫</年代urn一个米e> <given-names> l</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 德莱斯困难分歧倒联合国particulier de冠军quantifie模型</一个rt我cle- - - - - -t我tle> <source> <italic> 自然史答:统计力学及其应用</我t一个l我c> <year> 1952年</gydF4y2Bayear> <volume> 18</volu米e> <issue> 3</我年代年代ue> <fpage> 145年</fp一个ge> <lpage> 159年</lp一个ge> <pub-id pub-id-type="other"> 2 - s2.0 - 0002035181</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1016 / s0031 - 8914 (52) 80017 - 5</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0046.21307</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B19" content-type="article"> <label>20.</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 冯·诺依曼</年代urn一个米e> <given-names> J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 运营商的戒指。减少理论</一个rt我cle- - - - - -t我tle> <source> <italic> 《数学:第二个系列</我t一个l我c> <year> 1949年</gydF4y2Bayear> <volume> 50</volu米e> <fpage> 401年</fp一个ge> <lpage> 485年</lp一个ge> <pub-id pub-id-type="other"> MR0029101</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.2307 / 1969463</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0034.06102</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B20" content-type="article"> <label>21</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 权力</年代urn一个米e> <given-names> r·T。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 表示的统一超有限代数及其相关冯诺依曼戒指</一个rt我cle- - - - - -t我tle> <source> <italic> 《数学:第二个系列</我t一个l我c> <year> 1967年</gydF4y2Bayear> <volume> 86年</volu米e> <fpage> 138年</fp一个ge> <lpage> 171年</lp一个ge> <pub-id pub-id-type="other"> MR0218905</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.2307 / 1970364</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B21" content-type="article"> <label>22</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Yngvason</年代urn一个米e> <given-names> J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 类型III因素的作用在量子场理论</一个rt我cle- - - - - -t我tle> <source> <italic> 报告数学物理</我t一个l我c> <year> 2005年</gydF4y2Bayear> <volume> 55</volu米e> <issue> 1</我年代年代ue> <fpage> 135年</fp一个ge> <lpage> 147年</lp一个ge> <pub-id pub-id-type="doi"> 10.1016 / s0034 - 4877 (05) 80009 - 6</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> MR2126421</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B22" content-type="article"> <label>23</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 冯·诺依曼</年代urn一个米e> <given-names> J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 一些矩阵不等式和度量化矩阵的空间</一个rt我cle- - - - - -t我tle> <source> <italic> 托木斯克大学审查</我t一个l我c> <year> 1937年</gydF4y2Bayear> <volume> 1</volu米e> <fpage> 286年</fp一个ge> <lpage> 300年</lp一个ge> </element-citation> </ref> <ref id="B23" content-type="article"> <label>24</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 西格尔</年代urn一个米e> <given-names> 即。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> non-commutative扩展抽象的集成</一个rt我cle- - - - - -t我tle> <source> <italic> 《数学:第二个系列</我t一个l我c> <year> 1953年</gydF4y2Bayear> <volume> 57</volu米e> <fpage> 401年</fp一个ge> <lpage> 457年</lp一个ge> <pub-id pub-id-type="other"> MR0054864</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.2307 / 1969729</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B24" content-type="article"> <label>25</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Dixmier</年代urn一个米e> <given-names> J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 形式线性苏尔联合国anneau doperateurs</一个rt我cle- - - - - -t我tle> <source> <italic> 公报de la s m F</我t一个l我c> <year> 1953年</gydF4y2Bayear> <volume> 81年</volu米e> <fpage> 9</fp一个ge> <lpage> 39</lp一个ge> </element-citation> </ref> <ref id="B25" content-type="article"> <label>26</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 纳尔逊</年代urn一个米e> <given-names> E。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 笔记non-commutative集成</一个rt我cle- - - - - -t我tle> <source> <italic> 《泛函分析</我t一个l我c> <year> 1974年</gydF4y2Bayear> <volume> 15</volu米e> <issue> 2</我年代年代ue> <fpage> 103年</fp一个ge> <lpage> 116年</lp一个ge> <pub-id pub-id-type="other"> 2 - s2.0 - 33646751994</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1016 / 0022 - 1236 (74)90014 - 7</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0292.46030</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B26" content-type="book"> <label>27</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Takesaki</年代urn一个米e> <given-names> M。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 算子代数理论</我t一个l我c> <year> 2003年</gydF4y2Bayear> <volume> 二世</volu米e> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B27" content-type="incollection"> <label>28</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 康涅狄格州</年代urn一个米e> <given-names> 一个。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 在la理论非交换l 'integration</一个rt我cle- - - - - -t我tle> <source> <italic> Algebres d 'operateurs</我t一个l我c> <year> 1979年</gydF4y2Bayear> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> <fpage> 19</fp一个ge> <lpage> 143年</lp一个ge> </element-citation> </ref> <ref id="B28" content-type="article"> <label>29日</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Bratteli</年代urn一个米e> <given-names> O。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 派生,量值和群体行为对C *代数</一个rt我cle- - - - - -t我tle> <source> <italic> 1229年数学课堂讲稿,施普林格</我t一个l我c> <year> 1886年</gydF4y2Bayear> </element-citation> </ref> <ref id="B29" content-type="book"> <label>30.</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 酒井法子</年代urn一个米e> <given-names> 年代。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 在动力系统算子代数。无限的理论推导<我t一个l我c> C<年代up>*</年代up> </italic>代数</我t一个l我c> <year> 1991年</gydF4y2Bayear> <publisher-loc> 剑桥,麻萨诸塞州,美国</publ是her- - - - - -loc> <publisher-name> 剑桥大学出版社</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B30" content-type="article"> <label>31日</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Brunetti</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Fredenhagen</年代urn一个米e> <given-names> K。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Verch</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 一般协变局部性原理为当地的量子场理论新范式</一个rt我cle- - - - - -t我tle> <source> <italic> 通信的数学物理</我t一个l我c> <year> 2003年</gydF4y2Bayear> <volume> 237年</volu米e> <issue> 1 - 2</我年代年代ue> <fpage> 31日</fp一个ge> <lpage> 68年</lp一个ge> <pub-id pub-id-type="doi"> 10.1007 / s00220 - 003 - 0815 - 7</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> MR2007173</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B31" content-type="book"> <label>32</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Ligget</年代urn一个米e> <given-names> t M。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 相互作用的粒子系统</我t一个l我c> <year> 1985年</gydF4y2Bayear> <publisher-loc> 柏林,德国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B32" content-type="article"> <label>33</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Zegarlinski</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 量子随机动力学我:晶格自旋系统</一个rt我cle- - - - - -t我tle> <source> <italic> 数学物理电子杂志</我t一个l我c> <year> 1995年</gydF4y2Bayear> <volume> 1、论文2</volu米e> </element-citation> </ref> <ref id="B33" content-type="article"> <label>34</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Zegarlinski</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 在量子随机动力学和非交换<我t一个l我c> l<年代ub>p</年代ub> </italic>空间</一个rt我cle- - - - - -t我tle> <source> <italic> 字母在数学物理</我t一个l我c> <year> 1996年</gydF4y2Bayear> <volume> 36</volu米e> <fpage> 337年</fp一个ge> </element-citation> </ref> <ref id="B34" content-type="article"> <label>35</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> 答:W。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Zegarlinski</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 量子随机动力学二世</一个rt我cle- - - - - -t我tle> <source> <italic> 在数学物理评论</我t一个l我c> <year> 1996年</gydF4y2Bayear> <volume> 8</volu米e> <issue> 5</我年代年代ue> <fpage> 689年</fp一个ge> <lpage> 713年</lp一个ge> <pub-id pub-id-type="other"> 2 - s2.0 - 0030304703</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1142 / S0129055X9600024X</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0863.46041</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B35" content-type="article"> <label>36</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Zegarlinski</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 在量子随机动力学</一个rt我cle- - - - - -t我tle> <source> <italic> 马尔可夫Proc.和Rel。字段</我t一个l我c> <year> 1996年</gydF4y2Bayear> <volume> 2</volu米e> <fpage> 87年</fp一个ge> <lpage> 116年</lp一个ge> </element-citation> </ref> <ref id="B36" content-type="article"> <label>37</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> 答:W。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Olkiewicz</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Zegarlinski</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 晶格量子自旋系统的耗散动力学</一个rt我cle- - - - - -t我tle> <source> <italic> 物理学杂志》:数学和一般</我t一个l我c> <year> 1998年</gydF4y2Bayear> <volume> 31日</volu米e> <issue> 8</我年代年代ue> <fpage> 2045年</fp一个ge> <lpage> 2056年</lp一个ge> <pub-id pub-id-type="other"> MR1628657</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1088 / 0305 - 4470/31/8/015</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0032570463</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B37" content-type="incollection"> <label>38</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Guionnet</年代urn一个米e> <given-names> 一个。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Zegarlinski</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <person-group person-group-type="editor"> <name> <surname> Azema</年代urn一个米e> <given-names> J。</g我ven- - - - - -n一个米e年代> </name> <etal></etal> </person-group> <article-title> 讲座在对数水列夫的不平等</一个rt我cle- - - - - -t我tle> <source> <italic> 38 Seminaire de概率</我t一个l我c> <year> 2003年</gydF4y2Bayear> <volume> 1801年</volu米e> <fpage> 1</fp一个ge> <lpage> 134年</lp一个ge> </element-citation> </ref> <ref id="B38" content-type="article"> <label>39</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Bobkov</年代urn一个米e> <given-names> s G。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 格策</年代urn一个米e> <given-names> F。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 指数可积性和运输成本与对数水列夫的不平等</一个rt我cle- - - - - -t我tle> <source> <italic> 《泛函分析</我t一个l我c> <year> 1999年</gydF4y2Bayear> <volume> 163年</volu米e> <issue> 1</我年代年代ue> <fpage> 1</fp一个ge> <lpage> 28</lp一个ge> <pub-id pub-id-type="doi"> 10.1006 / jfan.1998.3326</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> MR1682772</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B39" content-type="article"> <label>40</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Labuschagne</年代urn一个米e> <given-names> l E。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 地图上的非交换Orlicz空间</一个rt我cle- - - - - -t我tle> <source> <italic> 伊利诺斯州数学杂志</我t一个l我c> <year> 2011年</gydF4y2Bayear> <volume> 55</volu米e> <issue> 3</我年代年代ue> <fpage> 1053年</fp一个ge> <lpage> 1081年</lp一个ge> <pub-id pub-id-type="other"> MR3069295</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B40" content-type="article"> <label>41</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Labuschagne</年代urn一个米e> <given-names> l E。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> Orlicz空间统计物理的应用程序</一个rt我cle- - - - - -t我tle> <source> <italic> 编年史亨利·庞加莱</我t一个l我c> <year> 2014年</gydF4y2Bayear> <volume> 15</volu米e> <fpage> 1197年</fp一个ge> <lpage> 1221年</lp一个ge> <pub-id pub-id-type="doi"> 10.1007 / s00023 - 013 - 0267 - 3</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> MR3205750</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B42" content-type="article"> <label>42</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 皮斯通</年代urn一个米e> <given-names> G。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Sempi</年代urn一个米e> <given-names> C。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 一个无限维空间几何结构在空间上的概率等价于一个给定的一个措施</一个rt我cle- - - - - -t我tle> <source> <italic> 统计年报</我t一个l我c> <year> 1995年</gydF4y2Bayear> <volume> 23</volu米e> <issue> 5</我年代年代ue> <fpage> 1543年</fp一个ge> <lpage> 1561年</lp一个ge> <pub-id pub-id-type="other"> MR1370295</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1214 /市场/ 1176324311</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B43" content-type="misc"> <label>43</l一个bel> <element-citation publication-type="other"> <person-group person-group-type="author"> <name> <surname> 布尔巴基</年代urn一个米e> <given-names> N。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 元素de数学</一个rt我cle- - - - - -t我tle> <comment> 里弗VI:集成,赫尔曼& Cie编程,巴黎,1952年</co米米ent> </element-citation> </ref> <ref id="B44" content-type="incollection"> <label>44</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Villani公司</年代urn一个米e> <given-names> C。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 回顾数学主题碰撞动力学理论</一个rt我cle- - - - - -t我tle> <source> <italic> 手册的数学流体动力学</我t一个l我c> <year> 2002年</gydF4y2Bayear> <volume> 我</volu米e> <publisher-loc> 北荷兰,阿姆斯特丹</publ是her- - - - - -loc> <fpage> 71年</fp一个ge> <lpage> 305年</lp一个ge> </element-citation> </ref> <ref id="B45" content-type="article"> <label>45</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 多兹</年代urn一个米e> <given-names> p·G。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 多兹</年代urn一个米e> <given-names> t·K。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> de Pagter</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 非交换巴拿赫空间功能</一个rt我cle- - - - - -t我tle> <source> <italic> Mathematische Zeitschrift</我t一个l我c> <year> 1989年</gydF4y2Bayear> <volume> 201年</volu米e> <issue> 4</我年代年代ue> <fpage> 583年</fp一个ge> <lpage> 597年</lp一个ge> <pub-id pub-id-type="other"> MR1004176</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1007 / BF01215160</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0001333435</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B46" content-type="article"> <label>46</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Labuschagne</年代urn一个米e> <given-names> l E。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 交叉产品Orlicz空间方法</一个rt我cle- - - - - -t我tle> <source> <italic> 伦敦数学学会学报》上。第三个系列</我t一个l我c> <year> 2013年</gydF4y2Bayear> <volume> 107年</volu米e> <issue> 5</我年代年代ue> <fpage> 965年</fp一个ge> <lpage> 1003年</lp一个ge> <pub-id pub-id-type="other"> MR3126389</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1112 / plm / pdt006</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 84890177315</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B47" content-type="book"> <label>47</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Labuschagne</年代urn一个米e> <given-names> l E。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 量子力学在Orlicz空间</我t一个l我c> <year> 2016年</gydF4y2Bayear> <comment> <ext-link ext-link-type="url" xlink:href="https://arxiv.org/abs/1605.01210"> https://arxiv.org/abs/1605.01210</ext- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -l在k> </comment> </element-citation> </ref> <ref id="B48" content-type="article"> <label>48</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 多兹</年代urn一个米e> <given-names> p·G。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 多兹</年代urn一个米e> <given-names> t·K。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> de Pagter</年代urn一个米e> <given-names> B。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 完全对称算子空间</一个rt我cle- - - - - -t我tle> <source> <italic> 积分方程和算子理论</我t一个l我c> <year> 1992年</gydF4y2Bayear> <volume> 15</volu米e> <issue> 6</我年代年代ue> <fpage> 942年</fp一个ge> <lpage> 972年</lp一个ge> <pub-id pub-id-type="other"> MR1188788</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1007 / BF01203122</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0807.46028</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0000660037</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B49" content-type="misc"> <label>49</l一个bel> <element-citation publication-type="other"> <person-group person-group-type="author"> <name> <surname> Streater</年代urn一个米e> <given-names> r F。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 怀特曼</年代urn一个米e> <given-names> 一个。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> PCT旋转和统计</一个rt我cle- - - - - -t我tle> <comment> 阅读1964 m·a·本杰明</co米米ent> </element-citation> </ref> <ref id="B50" content-type="misc"> <label>50</l一个bel> <element-citation publication-type="other"> <person-group person-group-type="author"> <name> <surname> Jost</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 量化的一般理论领域</一个rt我cle- - - - - -t我tle> <comment> 位于美国罗德岛州普罗维登斯,我。数学。Soc。1963</co米米ent> </element-citation> </ref> <ref id="B51" content-type="book"> <label>51</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 荒木</年代urn一个米e> <given-names> H。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 数学理论的量子领域</我t一个l我c> <year> 1999年</gydF4y2Bayear> <publisher-loc> 纽约,纽约,美国</publ是her- - - - - -loc> <publisher-name> 牛津大学出版社</publ是her- - - - - -n一个米e> </element-citation> </ref> <ref id="B52" content-type="article"> <label>52</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 布赫兹</年代urn一个米e> <given-names> D。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Haag</年代urn一个米e> <given-names> R。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 寻求理解相对论量子物理学</一个rt我cle- - - - - -t我tle> <source> <italic> 数学物理学报</我t一个l我c> <year> 2000年</gydF4y2Bayear> <volume> 41</volu米e> <issue> 6</我年代年代ue> <fpage> 3674年</fp一个ge> <lpage> 3697年</lp一个ge> <pub-id pub-id-type="other"> MR1768634</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1063/1.533324</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0981.81048</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0034400588</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B53" content-type="article"> <label>53</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Labuschagne</年代urn一个米e> <given-names> l E。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 积分和微分结构量子场理论</一个rt我cle- - - - - -t我tle> <source> <italic> 数学物理</我t一个l我c> <comment> <ext-link ext-link-type="url" xlink:href="https://arxiv.org/abs/1702.00665"> https://arxiv.org/abs/1702.00665</ext- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -l在k> </comment> </element-citation> </ref> <ref id="B54" content-type="article"> <label>54</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Driessler</年代urn一个米e> <given-names> W。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 萨默斯</年代urn一个米e> <given-names> 美国J。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Wichmann</年代urn一个米e> <given-names> 大肠。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 在量子领域之间的联系,后来冯·诺依曼当地运营商的代数</一个rt我cle- - - - - -t我tle> <source> <italic> 通信的数学物理</我t一个l我c> <year> 1986年</gydF4y2Bayear> <volume> 105年</volu米e> <issue> 1</我年代年代ue> <fpage> 49</fp一个ge> <lpage> 84年</lp一个ge> <pub-id pub-id-type="other"> MR847127</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1007 / BF01212341</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0003033348</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B55" content-type="article"> <label>55</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 布赫兹</年代urn一个米e> <given-names> D。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 在量子领域生成本地代数</一个rt我cle- - - - - -t我tle> <source> <italic> 数学物理学报</我t一个l我c> <year> 1990年</gydF4y2Bayear> <volume> 31日</volu米e> <issue> 8</我年代年代ue> <fpage> 1839年</fp一个ge> <lpage> 1846年</lp一个ge> <pub-id pub-id-type="other"> MR1067624</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1063/1.528680</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl0708.46061</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0040622675</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B56" content-type="book"> <label>56</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> Halmos</年代urn一个米e> <given-names> p R。</g我ven- - - - - -n一个米e年代> </name> </person-group> <source> <italic> 测度理论</我t一个l我c> <year> 1974年</gydF4y2Bayear> <publisher-loc> 纽约,纽约,美国</publ是her- - - - - -loc> <publisher-name> 施普林格</publ是her- - - - - -n一个米e> <series> 研究生数学教材</年代er我e年代> </element-citation> </ref> <ref id="B57" content-type="article"> <label>57</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> 答:W。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 缠结的形成</一个rt我cle- - - - - -t我tle> <source> <italic> 物理学杂志》:数学和一般</我t一个l我c> <year> 2002年</gydF4y2Bayear> <volume> 35</volu米e> <issue> 1</我年代年代ue> <fpage> 123年</fp一个ge> <lpage> 134年</lp一个ge> <pub-id pub-id-type="other"> MR1891816</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1088 / 0305 - 4470/35/1/310</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl1005.81018</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0037059725</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B58" content-type="incollection"> <label>58</l一个bel> <element-citation publication-type="book"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> </person-group> <person-group person-group-type="editor"> <name> <surname> 梳子</年代urn一个米e> <given-names> 人类。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 等</年代urn一个米e> </name> </person-group> <article-title> 在纠缠和量子关联的状态</一个rt我cle- - - - - -t我tle> <source> <italic> 算子代数和数学物理</我t一个l我c> <year> 2003年</gydF4y2Bayear> <fpage> 287年</fp一个ge> <lpage> 297年</lp一个ge> </element-citation> </ref> <ref id="B59" content-type="article"> <label>59</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 量子关联和积极的地图</一个rt我cle- - - - - -t我tle> <source> <italic> 字母在数学物理</我t一个l我c> <year> 2004年</gydF4y2Bayear> <volume> 67年</volu米e> <issue> 2</我年代年代ue> <fpage> 125年</fp一个ge> <lpage> 132年</lp一个ge> <pub-id pub-id-type="doi"> 10.1023 / B: MATH.0000032702.55066.a6</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> MR2073593</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B60" content-type="article"> <label>60</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 量子关联;量子概率方法</一个rt我cle- - - - - -t我tle> <source> <italic> 量子物理学</我t一个l我c> <year> 2015年</gydF4y2Bayear> <comment> <ext-link ext-link-type="url" xlink:href="https://arxiv.org/abs/1407.4754v4"> https://arxiv.org/abs/1407.4754v4</ext- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -l在k> </comment> </element-citation> </ref> <ref id="B61" content-type="article"> <label>61年</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 北京</年代urn一个米e> <given-names> w·A。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> 松岗</年代urn一个米e> <given-names> T。</g我ven- - - - - -n一个米e年代> </name> <name> <surname> Ohya</年代urn一个米e> <given-names> M。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 描述部分纠缠的正面换位州和措施</一个rt我cle- - - - - -t我tle> <source> <italic> 数学物理学报</我t一个l我c> <year> 2009年</gydF4y2Bayear> <volume> 50</volu米e> <issue> 11</我年代年代ue> <pub-id pub-id-type="other"> 2 - s2.0 - 72249087321</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1063/1.3227662</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="publisher-id"> 113509年</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> Zbl1304.81040</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B62" content-type="article"> <label>62年</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 贝尔</年代urn一个米e> <given-names> j·S。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 在Einstein-Podolski-Rosen悖论</一个rt我cle- - - - - -t我tle> <source> <italic> 物理</我t一个l我c> <year> 1964年</gydF4y2Bayear> <volume> 1</volu米e> <fpage> 195年</fp一个ge> <lpage> 200年</lp一个ge> </element-citation> </ref> <ref id="B63" content-type="article"> <label>63年</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> 兰道</年代urn一个米e> <given-names> l . J。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 违反的贝尔不等式在量子理论</一个rt我cle- - - - - -t我tle> <source> <italic> 物理信</我t一个l我c> <year> 1987年</gydF4y2Bayear> <volume> 120年</volu米e> <issue> 2</我年代年代ue> <fpage> 54</fp一个ge> <lpage> 56</lp一个ge> <pub-id pub-id-type="other"> MR879718</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="doi"> 10.1016 / 0375 - 9601 (87)90075 - 2</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> <pub-id pub-id-type="other"> 2 - s2.0 - 0002033550</pub- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -我d> </element-citation> </ref> <ref id="B64" content-type="article"> <label>64年</l一个bel> <element-citation publication-type="journal"> <person-group person-group-type="author"> <name> <surname> Tsirelson</年代urn一个米e> <given-names> b S。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title xml:lang="ru"> 量子类似物的贝尔不等式</一个rt我cle- - - - - -t我tle> <source> <italic> Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta imeni诉答:Steklova研究Akademii SSSR(食物)</我t一个l我c> <year> 1985年</gydF4y2Bayear> <volume> 142年</volu米e> <fpage> 174年</fp一个ge> <lpage> 194年</lp一个ge> <comment> <italic> 苏联数学杂志</我t一个l我c>,36卷,第四条,557 - 570年,1987页</co米米ent> </element-citation> </ref> <ref id="B65" content-type="misc"> <label>65年</l一个bel> <element-citation publication-type="other"> <person-group person-group-type="author"> <name> <surname> Tsirelson</年代urn一个米e> <given-names> b S。</g我ven- - - - - -n一个米e年代> </name> </person-group> <article-title> 贝尔的不平等和算子代数</一个rt我cle- - - - - -t我tle> <comment> <ext-link ext-link-type="url" xlink:href="http://qig.itp.uni-hannover.de/qiproblems/33"> http://qig.itp.uni-hannover.de/qiproblems/33</ext- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -- - - - - -l在k> </comment> </element-citation> </ref> </ref-list> </back> </article> </body> </html>