量子力学中有一个令人不安的事实：你对一个系统了解得越少，它的熵就越高。但纠缠熵把这个直觉推向了一个更微妙的层次——你之所以对一个粒子“无知”，恰恰是因为它和另一个粒子之间存在一种无法拆解的关联。这种“因关联而产生的无知”，被量化为一串数字，成了物理学家窥探量子多体世界、黑洞内部乃至时空几何本身的一把钥匙。纠缠熵衡量的从来不是系统本身的混乱程度，而是你把系统切成两半之后，一半与另一半之间那条看不见的纽带有多紧。
切一刀，然后丢失信息
要理解纠缠熵，得先接受一个操作上的“暴力”：把系统分成两部分，A和B，然后假装B不存在。在量子力学的语言里，这叫对B求偏迹，得到A的约化密度矩阵 (\rho_A)。如果整个系统AB处于一个纯态，且A与B之间没有任何纠缠，那么 (\rho_A) 也是一个纯态，冯·诺依曼熵 (S(\rho_A) = -\mathrm{Tr}(\rho_A \log \rho_A)) 为零。你对A的了解是完整的。
但只要A与B之间存在哪怕一丝纠缠，(\rho_A) 就会变成混合态，纠缠熵随之大于零。最极端的情形是最大纠缠态：A和B各自看起来都处于完全随机的混合状态，纠缠熵达到最大值 (\log_2 d_A)（(d_A) 是A的维度）。此时，关于A的任何测量结果都是等概率的，你从A身上得不到任何确定信息——但恰恰是这种“彻底的无知”，告诉你A与B之间的关联是完美的。纠缠熵的数值，就是你在丢弃B时被迫丢失的那部分信息的量度。
有一个性质值得记住：对于纯态AB，无论你怎么切，A的纠缠熵永远等于B的纠缠熵。这意味着纠缠熵不依赖于你选择关注哪一半，它描述的是切口本身的性质。
从自旋到黑洞：同一种熵，不同的舞台
纠缠熵最初是量子信息理论家的工具，后来物理学家发现它在几乎每一个尺度上都出人意料地有用。
在凝聚态物理中，纠缠熵被用来刻画量子相变的“指纹”。一个处于临界点的一维量子系统，其纠缠熵随子系统尺寸 (L) 呈对数增长，增长系数正比于共形场论的中心荷 (c)。这提供了一种从数值上识别普适类的办法：你不需要知道系统的微观细节，只需测量纠缠熵如何随尺寸变化，就能读出支配该相变的底层理论。
在量子模拟的前沿，纠缠熵甚至扮演了“加速器”的角色。2025年一项发表在《自然-物理学》上的研究建立了纠缠熵与量子模拟算法误差之间的定量联系：随着系统纠缠程度升高，量子模拟的误差反而减小并趋于稳定，而经典模拟的资源消耗则呈指数级膨胀。换句话说，纠缠熵在这里成了一个路标，告诉你什么时候该放弃经典计算机，转向量子硬件。
而纠缠熵最富戏剧性的舞台，是黑洞物理。霍金辐射的纠缠熵是否遵循佩奇曲线，成为判断黑洞蒸发过程中信息是否守恒的关键判据。如果信息真的丢失了，纠缠熵会单调增长到黑洞完全蒸发；如果信息被保存，纠缠熵会在黑洞寿命的中点附近达到峰值然后回落。这条曲线的形状本身，就是量子引力理论必须回答的问题。纠缠熵从实验室里的自旋链一路走到事件视界，度量对象变了，但核心操作没有变：切掉一部分，看剩下那部分有多“混合”。
它不是热力学熵
纠缠熵与热力学熵共享一个数学形式，但物理含义截然不同，混淆二者是理解纠缠熵时最常见的偏差。
热力学熵描述的是一个系统在宏观上的不可区分度：你不知道系统具体处于哪个微观态，熵量化了这种无知。一杯水的熵很大，是因为水分子的排列方式多得不可胜数，而你对具体排列一无所知。纠缠熵则不同。即使你拥有关于AB整体的完整波函数——你对整个系统没有任何无知——A的纠缠熵仍然可以很大。这种熵不来自“你不知道整体状态”，而来自“整体状态本身就不允许你把A和B分别描述为独立的个体”。
一个具体的例子：两个电子处于自旋单态 ((|\uparrow\downarrow\rangle – |\downarrow\uparrow\rangle)/\sqrt{2})。如果你问“第一个电子的自旋是什么”，量子力学的回答是“没有确定值”。它的约化密度矩阵是最大混合态，纠缠熵为1比特。但你并没有丢失任何关于这个两电子系统的信息——整个态是纯的，完全确定。纠缠熵捕捉的是量子关联造成的“局部不确定性”，这种不确定性在经典概率的框架里找不到对应物。
另一个需要留意的点是：纠缠熵对紫外截断敏感。在连续量子场论中，直接计算纠缠熵会得到发散的结果，物理上有意义的部分需要经过仔细的截断和重整化才能提取。这意味着纠缠熵不是一个可以不加审视就跨尺度搬运的量——你在格点模型里算出的数值，和场论里的“同一概念”之间，隔着一层需要小心处理的技术壁垒。
一个正在扩张的概念版图
纠缠熵的学术疆域仍在生长。Rényi熵作为它的推广族，提供了比冯·诺依曼熵更丰富的纠缠结构信息：后者只捕捉约化密度矩阵本征值的平均行为，而Rényi熵的不同阶数捕捉的是高阶矩。在二维共形场论中，高度激发态的冯·诺依曼纠缠熵与热态的行为一致，但Rényi熵却不一定——这意味着“热化”的判定取决于你把纠缠结构看得多细。
另一个值得关注的方向是全息对偶框架下的纠缠熵。Ryu-Takayanagi公式将边界量子场论中一个子区域的纠缠熵，等同于对偶反德西特空间中一个极小曲面的面积。这个公式把量子信息、几何和引力编织在一起，暗示时空的连通性本身可能由纠缠来支撑。纠缠熵从一个信息论的度量，变成了理解时空结构的候选基石——这大概是它最出人意料的一次身份跃迁。
问与答
问：纠缠熵可以为负吗？
答：不可以。冯·诺依曼熵的定义 (S = -\mathrm{Tr}(\rho \log \rho)) 中，密度矩阵的本征值在0到1之间，其对数为非正，加权求和后取负号，结果必然非负。纯态的纠缠熵为零，混合态大于零。
问：为什么纯态AB中A和B的纠缠熵一定相等？
答：这是施密特分解的直接推论。任何纯态AB都可以写成 (\sum_i \sqrt{p_i} |i_A\rangle |i_B\rangle) 的形式，A和B的约化密度矩阵具有相同的非零本征值集合 ({p_i})，因此熵相等。
问：纠缠熵和互信息是什么关系？
答：对于纯态AB，互信息 (I(A:B) = S_A + S_B – S_{AB})。由于 (S_{AB}=0)（纯态）且 (S_A = S_B)，互信息等于 (2S_A)。互信息衡量的是A与B之间总关联，而纠缠熵只捕捉其中的量子纠缠部分（对于纯态，两者在数值上成比例）。
问：Rényi熵和冯·诺依曼纠缠熵有什么区别？
答：Rényi熵 (S_n = \frac{1}{1-n}\log \mathrm{Tr}(\rho_A^n)) 是一族参数化的熵，当 (n \to 1) 时回到冯·诺依曼熵。不同阶的Rényi熵对约化密度矩阵本征值分布的不同侧面敏感，因此在拓扑序、共形场论等场景中能提供冯·诺依曼熵遗漏的信息。
问：为什么连续量子场论中的纠缠熵会发散？
答：因为纠缠主要产生于子区域边界附近短距离的量子涨落，这些涨落在连续极限下贡献了紫外发散。物理上有意义的是发散项中的普适系数（如二维共形场论中的中心荷），或经过重整化后的有限部分。
问：纠缠熵能用来判断一个量子态是不是拓扑有序的吗？
答：可以。对于二维拓扑有序相，纠缠熵在大子系统极限下包含一个常数修正项 (-\log D)，其中 (D) 是任意子的量子维度平方和的平方根。这个常数项不依赖于子系统的边界长度，是拓扑序的指纹。
问：黑洞的纠缠熵和贝肯斯坦-霍金熵是同一个东西吗？
答：不是。贝肯斯坦-霍金熵 (S_{BH} = A/(4G)) 是黑洞作为热力学对象的热力学熵。纠缠熵在黑洞物理中通常指霍金辐射与黑洞内部之间的量子纠缠程度，佩奇曲线的研究对象是后者。两者通过全息原理和广义熵的概念产生深刻联系，但物理角色不同。
问：量子模拟中“纠缠加速”是什么意思？
答：指随着系统纠缠熵增大，量子模拟算法相对于经典算法的优势更加明显。经典算法模拟多体纠缠态所需的资源随纠缠增长呈指数上升，而量子模拟的资源消耗保持在多项式水平，且在强纠缠区域误差趋于减小。
问：纠缠熵在实验上能被直接测量吗？
答：在少数特定系统中可以。例如在中子自旋模型实验中，通过自由感应衰减测量中心自旋与环境的纠缠熵演化。对于更大的系统，通常需要量子态层析或干涉测量等间接手段，且随系统尺寸增长成本迅速上升。
问：如果两个系统之间没有纠缠，纠缠熵一定为零吗？
答：对于纯态AB，是的。可分离纯态就是直积态 (\rho_{AB} = \rho_A \otimes \rho_B)，A的约化密度矩阵是纯态，纠缠熵为零。但如果AB整体是混合态，即使没有量子纠缠，经典关联也可以存在，此时纠缠熵的判据需要更细致的分析（如纠缠负度等）。
问：全息纠缠熵公式说的是什么？
答：Ryu-Takayanagi公式断言，边界共形场论中一个空间子区域A的纠缠熵，等于对偶反德西特空间中与A的边界同调的极小曲面面积除以 (4G_N)。这是纠缠熵与时空几何之间最直接的定量桥梁。