冯诺依曼代数简介及其转变（一）：冯诺依曼代数的构造及分类（1/2）

关于黑洞热力学，一个里程碑式的进展是关于黑洞的贝肯斯坦熵的发现，即黑洞熵正比于其视界面的面积

S=A4GNS=\\frac{A}{4G_{N}}

这是经典下的黑洞熵，考虑半经典的情况，会出现bulk时空中量子场的纠缠熵修正，整体是一个广义熵

Sgen=A4GN+SatterS_{gen}=\\frac{A}{4G_{N}}+S_{atter}

通常，广义熵中的这两项都是发散的，但是物质场纠缠熵的发散可以和面积部分的牛顿常数的发散相互抵消，最终广义熵是一个UV fite的量。

同时描述加速膨胀宇宙的de-Sitter时空，也和黑洞具有十分类似的结构，它也具有事件视界，同时也可以给这个事件视界定义温度和熵之类的热力学变量。

关于de-Sitter宇宙和黑洞的相似性，可以见笔者的回答

普遍理论认为，宇宙大爆炸的模型是从奇点开始，那么与黑洞模型是否有相似之处？80 赞同 · 15 评论回答

这方面的研究一个自然的问题是是否存在一个更加清晰的阐述，能够说明为什么物质场的熵是发散的，而广义熵则是有限的，当然这个问题从重整化的角度有一些说明，然而最近witteon等人，通过代数的角度，给了这个问题一个更加清晰而深刻的理解。简单介绍一下这方面的进展，打算分为三部分介绍，首先在本文中做一些基础的铺垫，介绍一下冯诺依曼代数的构造及分类。

关于更为基础的代数量子场论的知识，（例如什么是对于一个代数cyclic 和seperatg的态），请见本专栏的内容

代数量子场论简单介绍 zhuann.zhihu. 2020-12-20 12:30 Reeh-Schlieder定理： 考虑一个时空中的场 \\phi(x^{\\u}) ,可以以此定义 \\phi_{f}=\\t d^{d}x f(x,t) \\phi(x,t) 将这些算符作用于真空态上会形成希尔伯特空间 |\\psi_{f}\\rangle=\\phi_{f_{1}} \\phi_{f_{2}}....\\phi_{f_{n}}|\\oga\\rangle 通常要求这些算符是定义在整个流形上产生的态才是稠密（dense）的。 而 Reeh-Schlieder是说即使把这些算符 \\phi 的支集限制在一个很小的区域U中，也可 以产生同样的希尔伯特空间，也是稠密的。即 \\phi_{x_{1}} \\phi_{x_{2}}....\\phi_{x_{n}}|\\oga\\rangle, x_{1}.....x_{n} \\ U 证明稠密的意思则是我们无法找到一个态 |\\chi\\rangle 和其正交，除非这个 |\\chi\\rangle 是一个null state。 定义函数 \\ngle \\chi |\\phi(x_{1})\\phi(x_{2}).....\\phi(x_{n})|\\oga\\rangle ，沿着一 个类时的方向做变换 x_{n} \\to x_{n}+ut ，得到函数 g(u)=\\ngle \\chi|\\phi(x_{1})\\phi(x_{2})....exp(ihu)\\phi(x_{n})|\\oga\\rangle 我们利用了 h|\\oga \\rangle=0 . 我们先考虑u很小，以至于这个变换仍然在U内，所以g(u)=0 因为h正定，g(u)在u的复平面的上半平面是一个解析的函数。因此g(u)可以做 泰勒展开，并且只要存在一段上它是0,这个泰勒展开就是严格为0的，因此保证了 g(u)在任何u的值的时候都是0. 所以函数 \\ngle \\chi |\\phi(x_{1})\\phi(x_{2}).....\\phi(x_{n}+ut)|\\oga\\rangle=0 对 于任意的u都恒成立。，然后可以继续进行这个操作，因为流形上的任何一点， 都可以通过U上的点和类时的矢量往未来或者过去演化得到（想象zigzag的形 状）。然后对于x1,x2都重复xn的操作，所以虽然开始限制了x点的取值在u内，但 其实根据上面的叙述，这个限制是可以去掉的。这就是Reeh-Schlieder定理的证 明。 Reeh-Schilieder定理有一个简单的推论： 考虑两个类空的区域U，V，如果b算符在V内，假设 b\\oga=0 ，那么再考虑U内的算符a。 我们有[a,b]=0 b(a\\oga)=ab\\oga=0 因为 a\\oga 是稠密的，所以b=0。 这样如果本身 beq0 ，那么就存在矛 盾。所以假设不对，因此得到 b\\oga eq 0 . a和b的角色是对称的，所以也能推得 a\\oga eq 0 . 这个推论下给出两个定义，对于U区域，有一个算子代数 \\athcal{A}_{U} ,然 后 如果 a \\oga, a \\ \\athcal{A}_{U} 是稠密的，那么我们说 |\\oga\\rangle这个态对于算子代数是cyclic的。 对于不等于0的 a \\ \\athcal{A}_{U} ,如果 a|\\oga\\rangle eq 0 .就说 这个态对于算子代数是separatg的 Reeh-Schlieder定理和它的推论给出了真空态是一个cyclic separatg的矢 量。 toita takasaki 理论和odur hailtonian： 定义冯诺伊曼代数 \\athcal{A} 和它的互补 \\athcal{A}' 起点是toita算子，即一个反线性的算符 S_{\\oga}: \\athcal{h} \\to \\athcal{h} S_{\\oga}o |\\oga\\rangle=o^{\\dagger}|\\oga\\rangle S_{\\oga} 是一个态依赖的算子，并且需要依赖于真空态的cyclicseparatg的性质。通过定义易得 S^{2}=1 , S|\\oga\\rangle=|\\oga\\rangle ，同时定义 S^{\\dagger} 定 义在代数 \\athcal{A}' 上。 如果S是可逆的，那么就有如下唯一的分解 S=J\\delta^{1\/2} , \\delta 是odur算子， J 是一个反幺正的算符叫做 ation。 \\delta =S^{\\dagger}S ,着名的odur hailtonian就是通过这个算子得出 的， \\delta=e^{-K} . 真空态算符在这些作用下都是不变的 J|\\oga\\rangle=\\delta|\\oga\\rangle=|\\oga\\raoita-takasaki理论的核心是说,冯诺伊曼代数按照odur变换不变： \\delta^{it} \\athcal{A}\\delta^{-it}=\\athcal{A} 同时ation诱导出这样一个变化 JAJ=A' toita-takasaki理论是能够推导retive entropy的单调性的一种很直接的方 法，因此也就能够比较直观的证明纠缠熵的强次可加性。同时，这种通过J对于算符 的构造，比如 o'=JoJ 还可以应用到构造黑洞内部的算符的过程中。 最后看一下最简单的情况下odur hailtonian怎么写，通常来说， odur hailtonian作为非局域算符是非常难以计算的。 在Rdler时空下，在假设希尔伯特空间可以factorize的时候， \\athcal{h}=\\athcal{h}_{L} \\otis \\athcal{h}_{R} odur算符 \\delta=\\rho_{r} \\otis \\rho_{l}^{-1} 因为态可以通过欧式路径积分来表达，这时在做了欧式转动之后，密度矩阵元 由boost算子给出 所以 \\delta_{\\oga}=exp(-2\\pi K_{r})exp(2\\pi K_{l})=exp(-2\\pi K

以上基础对于本文较为重要。

首先简单介绍一下von-Neuann代数的分类，von-Neuann代数可以分为3类

最简单的一类是type I 的von-Neuann代数，通常的量子力学系统满足的是这一类代数。 作用于希尔伯特空间K上的所有有界算子（bounded operator）组成type I的von-Neuann代数。根据希尔伯特空间K的维数决定不同的冯诺依曼代数。例如如果K是有限维的，那么代数属于type IdI_{d} , 如果K是无穷维的，那么代数属于type I∞I_{\\fty} . type I的冯诺依曼代数可以定义一个线性函数： a→traa \\to tr a

满足交换性和非负性

tr(ab)=tr(ba),tr(a?a)?0fora≠0tr(ab)=tr(ba), \\quad tr(a^{\\dagger}a) \\geqsnt 0 \\quad for \\quad a eq 0

因此它是求迹运算，例如对应于有限维，可以把算符写成矩阵，求迹就是通常大家所熟悉的矩阵求迹。

通常考虑无穷维的情况，数学上可以构造更多非平庸的冯诺依曼代数。

首先来构造type II的代数，考虑如下的最大纠缠的EpR态

12(|↑?|↑?+|↓?|↓?)\\frac{1}{\\sqrt{2}}(|\\uparrle|\\uparrle+|\\downarrle |\\downarrle)

一个简单的等价操作是不妨将其中一个变为左矢量空间，使得EpR态可以写为（省略了归一化因子 12\\frac{1}{\\sqrt{2}} )

（，）（，）(10)（1，0）+(01)（0，1）=(1001)\\left( \\beg{array}{c} 1 \\\\ 0 \\end{array} \\right) （1，0）+\\left( \\beg{array}{c} 0 \\\\ 1 \\end{array} \\right) （0，1）=\\left( \\beg{array}{c} 1 & 0\\\\ 0 &1 \\end{array} \\right)

因此一个纠缠对可以通过一个2*2的矩阵来描述，作为一个基本的矢量空间。

其内积的定义为 ?v?,w?=trv?w\\ngle v^{\\dagger} ,w\\rar v^{\\dagger}w , 再讨论其上的算符，算符有两种，分别是从左作用到线性空间上和从右作用到线性空间上， 2,2′_{2},_{2}' , a∈2,v→av,a′∈2′,v→va′tra \\ _{2}, v \\to av, \\quad a'\\ _{2}', v\\to v a'^{tr} , 其中tr表示转置。和‘相互对易。

更为清楚的表示是，V可以写成 V= \\otis w' ， 作用于w空间，而‘作用于w‘空间。 由上面的例子可以看出，对于最大纠缠的两体态，可以写为 I2′=I2\/2I_{2}'=I_{2}\/\\sqrt{2} , 其中I是恒等矩阵，当然也可以写出更一般的矩阵，对应不同的两体纠缠，它们都对应V空间的态。

我们可以利用这个基本的矢量空间，构造无穷维的张量积结构

v1?v2?...?vk..∈V[1]?V[2]...?V[k]....v_{1}\\otis v_{2} \\otis ...\\otis v_{k}.. \\ V^{[1]} \\otis V^{[2]}...\\otis V^{[k]}....

本章未完，点击下一页继续阅读。