关于黑洞热力学，一个里程碑式的进展是关于黑洞的贝肯斯坦熵的发现，即黑洞熵正比于其视界面的面积
S=A4GNS=\frac{A}{4G_{N}}
这是经典下的黑洞熵，考虑半经典的情况，会出现bulk时空中量子场的纠缠熵修正，整体是一个广义熵
Sgen=A4GN+SmatterS_{gen}=\frac{A}{4G_{N}}+S_{matter}
通常，广义熵中的这两项都是发散的，但是物质场纠缠熵的发散可以和面积部分的牛顿常数的发散相互抵消，最终广义熵是一个UV finite的量。
同时描述加速膨胀宇宙的de-Sitter时空，也和黑洞具有十分类似的结构，它也具有事件视界，同时也可以给这个事件视界定义温度和熵之类的热力学变量。
关于de-Sitter宇宙和黑洞的相似性，可以见笔者的回答
普遍理论认为，宇宙大爆炸的模型是从奇点开始，那么与黑洞模型是否有相似之处？80 赞同 · 15 评论回答
这方面的研究一个自然的问题是是否存在一个更加清晰的阐述，能够说明为什么物质场的熵是发散的，而广义熵则是有限的，当然这个问题从重整化的角度有一些说明，然而最近Witten和Penington等人，通过代数的角度，给了这个问题一个更加清晰而深刻的理解。简单介绍一下这方面的进展，打算分为三部分介绍，首先在本文中做一些基础的铺垫，介绍一下冯诺依曼代数的构造及分类。
关于更为基础的代数量子场论的知识，（例如什么是对于一个代数cyclic 和seperating的态），请见本专栏的内容
代数量子场论简单介绍 zhuanlan.zhihu. 2020-12-20 12:30 Reeh-Schlieder定理： 考虑一个时空中的场 \phi(x^{\mu}) ,可以以此定义 \phi_{f}=\int d^{D}x f(x,t) \phi(x,t) 将这些算符作用于真空态上会形成希尔伯特空间 |\Psi_{f}\rangle=\phi_{f_{1}} \phi_{f_{2}}....\phi_{f_{n}}|\Omega\rangle 通常要求这些算符是定义在整个流形M上产生的态才是稠密（dense）的。 而 Reeh-Schlieder是说即使把这些算符 \phi 的支集限制在一个很小的区域U中，也可 以产生同样的希尔伯特空间，也是稠密的。即 \phi_{x_{1}} \phi_{x_{2}}....\phi_{x_{n}}|\Omega\rangle, x_{1}.....x_{n} \in U 证明稠密的意思则是我们无法找到一个态 |\chi\rangle 和其正交，除非这个 |\chi\rangle 是一个null state。 定义函数 \langle \chi |\phi(x_{1})\phi(x_{2}).....\phi(x_{n})|\Omega\rangle ，沿着一 个类时的方向做变换 x_{n} \to x_{n}+ut ，得到函数 g(u)=\langle \chi|\phi(x_{1})\phi(x_{2})....exp(iHu)\phi(x_{n})|\Omega\rangle 我们利用了 H|\Omega \rangle=0 . 我们先考虑u很小，以至于这个变换仍然在U内，所以g(u)=0 因为H正定，g(u)在u的复平面的上半平面是一个解析的函数。因此g(u)可以做 泰勒展开，并且只要存在一段上它是0,这个泰勒展开就是严格为0的，因此保证了 g(u)在任何u的值的时候都是0. 所以函数 \langle \chi |\phi(x_{1})\phi(x_{2}).....\phi(x_{n}+ut)|\Omega\rangle=0 对 于任意的u都恒成立。，然后可以继续进行这个操作，因为流形M上的任何一点， 都可以通过U上的点和类时的矢量往未来或者过去演化得到（想象zigzag的形 状）。然后对于x1,x2都重复xn的操作，所以虽然开始限制了x点的取值在u内，但 其实根据上面的叙述，这个限制是可以去掉的。这就是Reeh-Schlieder定理的证 明。 Reeh-Schilieder定理有一个简单的推论： 考虑两个类空的区域U，V，如果b算符在V内，假设 b\Omega=0 ，那么再考虑U内的算符a。 我们有[a,b]=0 b(a\Omega)=ab\Omega=0 因为 a\Omega 是稠密的，所以b=0。 这样如果本身 beq0 ，那么就存在矛 盾。所以假设不对，因此得到 b\Omega eq 0 . a和b的角色是对称的，所以也能推得 a\Omega eq 0 . 这个推论下给出两个定义，对于U区域，有一个算子代数 \mathcal{A}_{U} ,然 后 如果 a \Omega, a \in \mathcal{A}_{U} 是稠密的，那么我们说 |\Omega\rangle这个态对于算子代数是cyclic的。 对于不等于0的 a \in \mathcal{A}_{U} ,如果 a|\Omega\rangle eq 0 .就说 这个态对于算子代数是separating的 Reeh-Schlieder定理和它的推论给出了真空态是一个cyclic separating的矢 量。 Tomita Takasaki 理论和Modular Hamiltonian： 定义冯诺伊曼代数 \mathcal{A} 和它的互补 \mathcal{A}' 起点是Tomita算子，即一个反线性的算符 S_{\Omega}: \mathcal{H} \to \mathcal{H} S_{\Omega}O |\Omega\rangle=O^{\dagger}|\Omega\rangle S_{\Omega} 是一个态依赖的算子，并且需要依赖于真空态的cyclicseparating的性质。通过定义易得 S^{2}=1 , S|\Omega\rangle=|\Omega\rangle ，同时定义 S^{\dagger} 定 义在代数 \mathcal{A}' 上。 如果S是可逆的，那么就有如下唯一的分解 S=J\Delta^{1/2} , \Delta 是modular算子， J 是一个反幺正的算符叫做 modular conjugation。 \Delta =S^{\dagger}S ,着名的modular Hamiltonian就是通过这个算子得出 的， \Delta=e^{-K} . 真空态算符在这些作用下都是不变的 J|\Omega\rangle=\Delta|\Omega\rangle=|\Omega\rangle Tomita-Takasaki理论的核心是说,冯诺伊曼代数按照modular变换不变： \Delta^{it} \mathcal{A}\Delta^{-it}=\mathcal{A} 同时modular conjugation诱导出这样一个变化 JAJ=A' Tomita-takasaki理论是能够推导relative entropy的单调性的一种很直接的方 法，因此也就能够比较直观的证明纠缠熵的强次可加性。同时，这种通过J对于算符 的构造，比如 O'=JOJ 还可以应用到构造黑洞内部的算符的过程中。 最后看一下最简单的情况下Modular Hamiltonian怎么写，通常来说， Modular Hamiltonian作为非局域算符是非常难以计算的。 在Rindler时空下，在假设希尔伯特空间可以factorize的时候， \mathcal{H}=\mathcal{H}_{L} \otimes \mathcal{H}_{R} modular算符 \Delta=\rho_{r} \otimes \rho_{l}^{-1} 因为态可以通过欧式路径积分来表达，这时在做了欧式转动之后，密度矩阵元 由boost算子给出 所以 \Delta_{\Omega}=exp(-2\pi K_{r})exp(2\pi K_{l})=exp(-2\pi K
小主，这个章节后面还有哦，请点击下一页继续阅读，后面更精彩！