🔬 物理学

A Zoo of Fermionic Relative Rényi Negativities in the Sachdev-Ye-Kitaev Models

本文引入了一族相对 Rényi 负性（relative Rényi negativities）作为强关联费米子系统的纠缠见证物，利用路径积分表示法通过大 $N$ 展开在 Sachdev-Ye-Kitaev 模型中对其进行评估，并揭示了在简单观测量中不可见的阶一纠缠相变。

原作者： Linjing Jiang, Pengfei Zhang

发布于 2026-10-30

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： Linjing Jiang, Pengfei Zhang

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在量子世界中，粒子可以变得如此紧密地联系在一起，以至于它们不再是独立的实体，而是跨越空间共享单一的存在。这种被称为“纠缠”的现象，是许多最具前景的未来技术背后的引擎，从不可破解的通信网络到能在几秒钟内解决当今超级计算机需要数千年才能解决的问题的量子计算机。对于那些处于完美隔离且处于纯态的系统，科学家们长期以来一直有一种可靠的方法来测量这种联系：一种被称为“纠缠熵”的计算。它就像是量子链路的温度计，告诉研究人员两个系统部分之间共享了多少信息。然而，现实世界很少如此纯净。大多数量子系统都会与环境发生相互作用，变成“混合态”，在这种状态下，纠缠的清晰信号会被热量和热抖动的噪声所淹没。在这些混乱且真实的条件下，旧有的工具失效了。标准的测量方法要么变得无法计算，要么会发出虚假警报，暗示在并不存在联系的地方存在着联系。

复旦大学和合肥国家实验室的研究团队现在开发了一套专门用于穿透这种噪声的新工具。他们专注于一类被称为 Sachdev–Ye–Kitaev 模型的理论模型，这些模型描述了以混沌、全连接方式进行相互作用的粒子集合。这些模型以难以求解而闻名，但也极有可能持有理解黑洞如何处理信息的关键。研究人员引入了一系列被称为“相对 Rényi 负性”（relative Rényi negativities）的新测量指标。与以往尝试衡量混合态纠缠的方法不同，这些新指标被设计为严格的见证者：如果数值为零，则不存在纠缠；如果为正，则一定存在纠缠。通过将量子系统视为一个庞大的相互作用粒子网络，并使用一种称为“路径积分”的高级数学技术来追踪它们的历史，该团队能够计算出那些过于庞大以至于无法通过暴力模拟计算出的系统数值。

结果揭示了一个此前不可见的量子行为图景。研究人员发现，并非所有的测量指标表现都相同。其中一些表现得非常可靠，随着系统变热而稳步下降，就像房间降温时温度计下降一样。这些特定的测量指标似乎是取代那些更难计算的旧标准的最佳候选者。然而，这个新家族中的其他成员表现得却很奇怪。随着温度的变化，这些特定的测量指标并不仅仅是平滑地上升或下降；它们会突然从一个数值跳跃到另一个数值。这种被称为“一级相变”的突发转变，标志着粒子连接方式的一种根本性重组。至关重要的是，这些剧烈的变化在标准的热力学观测指标中是完全隐形的。如果一名科学家只观察系统的能量或热容，将看不到任何异常，然而纠缠结构已经发生了根本性的翻转。

这一发现表明，量子世界包含了只有通过正确的探测手段才能揭示的隐藏复杂层级。研究人员指出，这些突然的跳跃之所以发生，是因为系统的数学描述可以根据温度的不同，稳定在不同的“鞍点”（saddles）配置中。在某些临界点，系统从一种配置切换到另一种配置，导致纠缠度发生跃迁。这种行为在标准混沌模型以及一个更复杂的版本中都被观察到了，后者通过耦合两个独立的系统，模拟了连接两个黑洞的虫洞几何结构。在耦合系统中，新测量指标检测到了随着温度降低而出现的两次截然不同的相变，揭示了系统两侧连接方式变化的序列。其中一次相变对应于系统已知的热转变，而第二次相变则是纠缠本身固有的新现象，发生在不同的温度尺度上。

这项研究证实，相对 Rényi 负性不仅是抽象的数学好奇心，更是诊断噪声环境下量子连接健康状况的实用工具。通过展示这些测量指标能够检测到标准物理学所遗漏的相变，这项工作为研究强关联费米子系统开启了一扇新窗口。研究人员提出，这些测量指标可能作为一种新型的“自由能”，即一种支配纠缠态稳定性的热力学势。尽管这项工作是在理论模型和大规模数值模拟领域进行的，但其发现表明，未来的量子模拟器实验有可能观察到这些隐藏的相变。观察这些隐形纠缠转变的能力，对于构建稳健的量子技术至关重要，能够确保维持量子信息的脆弱链路不会被环境的热量悄无声息地破坏。

技术摘要：Sachdev–Ye–Kitaev 模型中费米子相对 Rényi 负性的“动物园”

问题陈述
表征强关联费米子系统中混合态的量子纠缠仍然是一个重大挑战。虽然冯·诺依曼纠缠熵对于纯态是定义良好的，但在混合态中，它会将热贡献与纠缠贡献混淆在一起。对数负性 $N_A = \ln \|\rho^{T_A}\|_1$ 是混合态的标准纠缠单调量，但在相互作用系统中，其评估在计算上是极其困难的，通常仅限于通过精确对角化方法研究小尺寸系统。

现有的替代方案，如未扭转和扭转 Rényi 负性（ $N_A^{(2n)}$ 和 $\tilde{N}_A^{(2n)}$ ），提供了计算上可及的代理指标。然而，这些量存在一个关键局限性：即使对于可分态，它们也可能为正值，这意味着它们不能严格作为纠缠见证器。此外，在费米子系统中，偏转置 $\rho^{T_A}$ 通常是非厄米的，这使得从 Rényi 比率中恢复对数负性所需的解析延拓变得复杂。

方法论
作者引入了一类新的观测量，称为相对 Rényi 负性，旨在作为费米子混合态的严格纠缠见证器。

探测器的构建：
作者利用了费米子偏转置的丰富结构。通过利用尺寸算符 $S_A$ 定义偏部分时间反演操作 $T_A$ （其中 $T_A = e^{i\frac{\pi}{2}S_A}$ ），他们在算符尺寸与密度矩阵代数性质之间建立了联系。
他们构造了广义 Rényi 矩 $M_A^f$ ，其定义为偏转置密度矩阵 $\rho^{T_A}$ 及其厄米共轭 $(\rho^{T_A})^\dagger$ 在由序列 $f \in \{+, -\}^{2n}$ 定义的不同排序下的迹。
相对 Rényi 负性定义为：
$P_A^f \equiv -\ln \left( \frac{|M_A^f|}{M_A^{f_t}} \right)$
其中 $f_t = (+, -, +, -, \dots)$ 对应于交替符号序列（即“扭转”情况）。根据广义 Hölder 不等式， $P_A^f \geq 0$ ，且当且仅当状态为可分时， $P_A^f = 0$ 。因此，任何非零值都证明了纠缠的存在。
路径积分表示：
为了在相互作用模型中评估这些量，作者推导了固定整数复制数下 $M_A^f$ 的路径积分表示。算符 $T_A$ 和 $T_A^{-1}$ 的插入被映射为修改后的边界条件以及虚时路径积分中的二点函数。具体而言，超算符的影响通过修改后的子系统 $A$ 的自由格林函数 $G_{A}^{f,0}$ 纳入其中，而子系统 $B$ 则保持标准的自由传播。
SYK 模型中的大 $N$ 展开：
该框架被应用于 Sachdev-Ye-Kitaev (SYK) 模型和 Maldacena-Qi 耦合 SYK 模型。利用大 $N$ 鞍点近似，作者求解了在 $2n$ 个复制体上的双局部场（格林函数 $G$ 和自能 $\Sigma$ ）。通过最小化有效作用量 $S_{G\Sigma}$ 来计算平均后的配分函数。

核心结果

作为纠缠见证器的验证： 作者证明，虽然传统的 Rényi 负性比率（例如 $\tilde{R}_A^{(4)}$ ）对于可分态可能为正，但相对 Réनी 负性 $P_A^f$ 对于可分态严格为零，从而使其成为有效的纠缠见证器。
在单体 SYK 模型中的行为：
- 对于“最小偏差”序列（即 $f$ 与交替序列仅有一个符号翻转差异的序列，例如 $f=(+,+,+,-)$ ），相对负性随温度升高呈现单调下降趋势。这种行为符合纠缠度量量的物理预期，表明这些特定的“动物园”成员是对数负性的合理代理指标。
- 对于“未扭转”序列（ $f=(+,+,+,+)$ ），作者观察到了一阶纠缠转变。在低温下，配分函数中存在多个共存的鞍点。物理解由具有最低在壳作用量的鞍点决定。这些鞍点之间的主导地位交换导致了相对负性的不连续跳变，这种转变在简单的热力学观测值中是不可见的。
在耦合 SYK 模型中的行为：
在 Maldacena-Qi 模型（两个耦合的 SYK 系统）中，相对负性揭示了随着温度降低（或等效于逆温度 $\beta J$ $β J$ 增加）发生的两次连续的一阶转变。
- 第一次转变（在较低 $\beta J$ 时）源于参考配分函数的热相变（与 Hawking-Page 相变相关）。
- 第二次转变（在较高 $\beta J$ 时）是相对负性本身的内在属性，源于分子配分函数中主导鞍点的变化。这表明在低温相中，副本间的相关性发生了定性变化，此时副本组织成近乎独立的对。

意义与主张
本文声称，相对 Rényi 负性提供了一个稳健且计算可行的框架，用于探测强关联费米子系统中的混合态纠缠。通过将费米子偏部分时间反演与尺寸算符联系起来，作者能够在通过大 $N$ 展开来评估这些量，从而绕过了对精确对角化的需求。

其主要意义在于发现了无法通过传统热力学观测值检测到的纠缠转变。竞争复制体鞍点的存在导致了相对负性的一阶转变，这表明这些量可以作为新类型相变的有效自由能。作者认为，“最小偏差”类型的成员为对数负性提供了极具前景的代理指标，而整个“动物园”式的观测量家族则揭示了量子多体系统中纠缠与复制体相关性的更丰富结构。

类似论文