关于黑洞热力学，一个里程碑式的进展是关于黑洞的贝肯斯坦熵的发现，即黑洞熵正比于其视界面的面积
S=A4GNS=\\frac{A}{4G_{N}}
这是经典下的黑洞熵，考虑半经典的情况，会出现bulk时空中量子场的纠缠熵修正，整体是一个广义熵
Sgen=A4GN+SatterS_{gen}=\\frac{A}{4G_{N}}+S_{atter}
通常，广义熵中的这两项都是发散的，但是物质场纠缠熵的发散可以和面积部分的牛顿常数的发散相互抵消，最终广义熵是一个UVfite的量。
同时描述加速膨胀宇宙的de-Sitter时空，也和黑洞具有十分类似的结构，它也具有事件视界，同时也可以给这个事件视界定义温度和熵之类的热力学变量。
关于de-Sitter宇宙和黑洞的相似性，可以见笔者的回答
普遍理论认为，宇宙大爆炸的模型是从奇点开始，那么与黑洞模型是否有相似之处？80赞同·15评论回答
这方面的研究一个自然的问题是是否存在一个更加清晰的阐述，能够说明为什么物质场的熵是发散的，而广义熵则是有限的，当然这个问题从重整化的角度有一些说明，然而最近witteon等人，通过代数的角度，给了这个问题一个更加清晰而深刻的理解。简单介绍一下这方面的进展，打算分为三部分介绍，首先在本文中做一些基础的铺垫，介绍一下冯诺依曼代数的构造及分类。
关于更为基础的代数量子场论的知识，（例如什么是对于一个代数cyclic和seperatg的态），请见本专栏的内容
代数量子场论简单介绍zhuann.zhihu.2020-12-2012:30Reeh-Schlieder定理：考虑一个时空中的场\\phi(x^{\\u}),可以以此定义\\phi_{f}=\\td^{d}xf(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是一个nullstate。定义函数\\ngle\\chi|\\phi(x_{1})\\phi(x_{2}).....\\phi(x_{n})|\\oga\\rangle，沿着一个类时的方向做变换x_{n}\\tox_{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]=0b(a\\oga)=ab\\oga=0因为a\\oga是稠密的，所以b=0。这样如果本身beq0，那么就存在矛盾。所以假设不对，因此得到b\\ogaeq0.a和b的角色是对称的，所以也能推得a\\ogaeq0.这个推论下给出两个定义，对于U区域，有一个算子代数\\athcal{A}_{U},然后如果a\\oga,a\\\\athcal{A}_{U}是稠密的，那么我们说|\\oga\\rangle这个态对于算子代数是cyclic的。对于不等于0的a\\\\athcal{A}_{U},如果a|\\oga\\rangleeq0.就说这个态对于算子代数是separatg的Reeh-Schlieder定理和它的推论给出了真空态是一个cyclicseparatg的矢量。toitatakasaki理论和odurhailtonian：定义冯诺伊曼代数\\athcal{A}和它的互补\\athcal{A}'起点是toita算子，即一个反线性的算符S_{\\oga}:\\athcal{h}\\to\\athcal{h}S_{\\oga}o|\\oga\\rangle=o^{\\dagger}|\\oga\\rangleS_{\\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,着名的odurhailtonian就是通过这个算子得出的，\\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理论是能够推导retiveentropy的单调性的一种很直接的方法，因此也就能够比较直观的证明纠缠熵的强次可加性。同时，这种通过J对于算符的构造，比如o'=JoJ还可以应用到构造黑洞内部的算符的过程中。最后看一下最简单的情况下odurhailtonian怎么写，通常来说，odurhailtonian作为非局域算符是非常难以计算的。在Rdler时空下，在假设希尔伯特空间可以factorize的时候，\\athcal{h}=\\athcal{h}_{L}\\otis\\athcal{h}_{R}odur算符\\delta=\\rho_{r}\\otis\\rho_{l}^{-1}因为态可以通过欧式路径积分来表达，这时在做了欧式转动之后，密度矩阵元由boost算子给出所以\\delta_{\\oga}=exp(-2\\piK_{r})exp(2\\piK_{l})=exp(-2\\piK
以上基础对于本文较为重要。
首先简单介绍一下von-Neuann代数的分类，von-Neuann代数可以分为3类
最简单的一类是typeI的von-Neuann代数，通常的量子力学系统满足的是这一类代数。作用于希尔伯特空间K上的所有有界算子（boundedoperator）组成typeI的von-Neuann代数。根据希尔伯特空间K的维数决定不同的冯诺依曼代数。例如如果K是有限维的，那么代数属于typeIdI_{d},如果K是无穷维的，那么代数属于typeI∞I_{\\fty}.typeI的冯诺依曼代数可以定义一个线性函数：a→traa\\totra
满足交换性和非负性
tr(ab)=tr(ba),tr(a?a)?0fora≠0tr(ab)=tr(ba),\\quadtr(a^{\\dagger}a)\\geqsnt0\\quadfor\\quadaeq0
因此它是求迹运算，例如对应于有限维，可以把算符写成矩阵，求迹就是通常大家所熟悉的矩阵求迹。
通常考虑无穷维的情况，数学上可以构造更多非平庸的冯诺依曼代数。
首先来构造typeII的代数，考虑如下的最大纠缠的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\\nglev^{\\dagger},w\\rarv^{\\dagger}w,再讨论其上的算符，算符有两种，分别是从左作用到线性空间上和从右作用到线性空间上，2,2′_{2},_{2}',a∈2,v→av,a′∈2′,v→va′tra\\_{2},v\\toav,\\quada'\\_{2}',v\\tova'^{tr},其中tr表示转置。和‘相互对易。
更为清楚的表示是，V可以写成V=\\otisw'，作用于w空间，而‘作用于w‘空间。由上面的例子可以看出，对于最大纠缠的两体态，可以写为I2′=I2\/2I_{2}'=I_{2}\/\\sqrt{2},其中I是恒等矩阵，当然也可以写出更一般的矩阵，对应不同的两体纠缠，它们都对应V空间的态。
我们可以利用这个基本的矢量空间，构造无穷维的张量积结构
v1?v2?...?vk..∈V[1]?V[2]...?V[k]....v_{1}\\otisv_{2}\\otis...\\otisv_{k}..\\V^{[1]}\\otisV^{[2]}...\\otisV^{[k]}....