🔢 mathematics

Quantum complexity and generalized area law in fully connected models

本文为全连接（几何非局域）哈密顿量的能隙基态建立了一个广义面积律，证明了其二分纠缠熵随系统尺寸呈至多对数级增长，从而实现了高效的矩阵乘积态近似以及针对置换不变情况下的多项式对数时间计算。

原作者： Donghoon Kim, Tomotaka Kuwahara

发布于 2026-09-25

📖 1 分钟阅读🧠 深度阅读

原作者： Donghoon Kim, Tomotaka Kuwahara

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

在量子物理学的广袤领域中，科学家们一直在试图理解自然界最微小的构建模块是如何组织自身的。当许多粒子聚集在一起形成一个复杂的系统时，它们并不仅仅是作为独立个体的集合而存在；相反，它们通过一种被称为“纠缠”的现象紧密地联系在一起。这种连接如此深邃，以至于一个粒子的状态会瞬间反映出另一个粒子的状态，无论它们相隔多远。几十年来，研究人员一直依赖于一个被称为“面积律”（area law）的指导原则来理解这种复杂性。这一规则表明，在大多数普通材料中，两个部分之间的纠缠量仅取决于它们接触的表面积，而不是材料的总体积。这一原则至关重要，因为它意味着即使是最复杂的量子态也可以使用可控的信息量来描述，从而使科学家能够在计算机上对其进行模拟。然而，这一规则仅在排列成单线的系统中得到了严格证明。当科学家观察那些每个粒子都同时与所有其他粒子相互作用的系统——完全忽略物理距离时——规则似乎失效了，复杂性呈现出爆炸式增长的态势。

日本理化学研究所（RIKEN）的一个研究小组现在已经证明，即使在这些极端的、全连接的系统中，这种复杂性的爆炸也并非不可避免。他们专注于一种特定的量子模型，其中每一个组成部分都与所有其他组成部分相互作用，这种设置常用于描述从原子核行为到黑洞物理学的各种现象。在这些模型中，不存在用来分隔粒子的几何距离；每个位点实际上都是其他所有位点的邻居。直觉上，人们可能会认为这样的系统会纠缠得一团糟，纠缠会像一张网一样扩散到到处。然而，研究人员发现，如果系统具有稳定的能量间隙（energy gap）——即一个使基态与激发态保持区别的缓冲带——那么纠缠就会保持得相当温和。他们证明了任何两组粒子之间的纠缠量随系统增大而增长的速度非常缓慢，具体表现为以对数速率增加。这意味着，尽管缺乏物理边界，系统仍能自然地组织自身，使得每个粒子仅与其余部分保持微弱的连接，从而有效地将混沌限制在可控范围内。

这一发现的关键在于研究人员如何分析系统的能量。他们假设与单个粒子相关的能量保持有界，且不会随着系统变大而失控增长。在这一条件下，他们发现系统的基态表现得几乎就像是一组独立的粒子集合，只有极小部分的系统会偏离这种简单、有序的状态。他们证明了许多粒子发生剧烈波动的构型是非常罕见的，因此在实际应用中可以被忽略。这一见解使他们能够证明，整个复杂的量子态可以用一种被称为矩阵乘积态（matrix product state）的数学结构进行高精度近似。简单来说，这意味着即使系统是全连接的，也可以通过一种相对于系统规模呈多项式级增长的内存需求的计算机算法来进行描述，从而使其在计算上变得可行。

当系统具有一种特殊的对称性（即无论如何标记粒子，规则都不发生变化）时，这些发现变得更加强大。在这种置换不变（permutation-invariant）的设定下，研究人员证明了纠缠量根本不会增长；无论系统变得多么庞大，它都保持恒定。此外，他们开发了一种经典算法，可以在仅随系统规模对数增长的时间内计算出这些基态的能量和结构。这相比于以往随着系统增长而呈指数级增加耗时的计算方法，是一个巨大的进步。这项工作表明，高效描述和计算这些复杂态的能力并不严格取决于粒子在空间上的接近程度，而是取决于其底层能量水平的稳定性。

这一结果挑战了长期以来的观点，即几何局域性（即事物仅与其直接邻居相邻的事实）是控制量子复杂性的唯一途径。通过证明一种广义面积律适用于全连接系统，研究人员扩展了量子物理学中可能性的概念范围。他们展示了即使在一个每个粒子都在与其他所有粒子交谈的世界里，基态仍然可以保持简单和有序。这并不意味着所有此类系统都是简单的；研究人员指出，如果能量条件不满足（例如在某些无序模型中），纠缠确实会变得难以承受。然而，对于具有稳定、有界能量尺度的广泛类系统，复杂性是受控的。这为理解从自旋玻璃到量子模拟器等广泛的物理现象提供了新的理论基础，并为更高效地解决量子多体物理中最困难的问题之一开辟了道路。

技术摘要：全连接模型中的量子复杂性与广义面积律

问题陈述
纠缠面积律（Entanglement area law）指出，能隙基态的纠缠熵随子系统的边界面积而非其体积进行缩放。虽然这在具有一维（1D）局部性的系统中已得到严格证明，但在高维局部系统中的地位仍未解决，并且在几何非局域系统中，该定律通常失效。全连接（全对全相互作用）系统是几何非局域性的一个极端情况，其中空间维度失去了意义。在这些系统中，纠缠结构具有高度变异性：某些模型（如 Lipkin-Meshkov-Glick 模型）表现出对数级缩放，而其他模型（如 Sachdev-Ye-Kitaev 或横场 Sherrington-Kirkкраft 模型）则通常表现出体积律缩放。核心挑战在于，确定在全连接系统中，即便不存在几何局域性且在任何二分划分中都存在广泛的“边界”，满足广义面积律的能隙基态需具备怎样的结构条件。

方法论
作者在特定的结构假设下，为满足特定条件的完全连接哈密顿量的能隙基态建立了广义面积律。该框架考虑了一个由 $n$ 个量子比特组成的 $k$ -局部哈密顿量 $H$ 。关键的结构假设如下：

能隙（Spectral Gap）： 哈密顿量具有一个与系统尺寸 $n$ 无关的常数能隙 $\Delta$ 。
有界局部能量尺度： 相互作用强度经过缩放，使得单个位点的相关能量保持有界。具体而言，通过 Kac 型归一化（例如，对成对相互作用进行 $1/n$ 缩放），涉及任何位点 $i$ 的相互作用范数之和被限制在一个常数 $\bar{g}$ 以内。这使本研究区别于那些局部能量尺度随 $n$ 增长的模型（例如某些无序 SK 或 SYK 模型）。

其证明策略背离了传统的面积律技术（如近似基态投影或 Lieb-Robinson 界），因为后者依赖于几何分离。相反，作者采用了一种定量权衡不等式（quantitative trade-off inequality），将能隙与局部观测量的涨落抑制联系起来。核心逻辑流程包括：

鲁棒性与自举（Robustness and Bootstrap）： 证明基态对于保持单位点约化密度矩阵不变的局部幺正变换具有鲁棒性。通过迭代应用“自举”论证，他们表明能隙迫使位于主导局部分量之外的 Schmidt 系数权重按 $O(1/n)$ 比例缩放。
涌现局部乘积结构： 这种极低的单点纠缠意味着基态在局部上集中在一个“平均场”态上。
集中不等式（Concentration Bounds）： 作者分析了偏离该平均场配置的总位点数量的概率分布。他们证明了一个拉伸指数级的集中界限，表明基态在具有大量局部偏差的构型上的权重可以忽略不计。
降维： 这种集中性使得有效希尔伯特空间可以被限制到一个由少量偏差构成的低维子空间内，从而便于高效近似。

主要贡献与结果

对数纠缠界限：
对于满足有界局部能量假设的一般全连接能隙哈密顿量，二分纠缠熵 $S_{A,B}(|\Omega\rangle)$ 的增长至多为对数级：
$S_{A,B}(|\Omega\rangle) \leq C \left(\frac{\bar{g}}{\Delta}\right)^3 \log n$
尽管缺乏几何局域性，这一结果依然成立，证明了低纠缠复杂度并不严格要求几何分离。
高效矩阵乘积态（MPS）近似：
由于基态集中在具有少量局部偏差的构型上，因此基态可以接受高效的 MPS 近似。对于任何固定的精度 $\epsilon$ ，存在一个键维数为 $D$ 的 MPS $|\Omega_D\rangle$ ：
$D = n^{O(\log^2(1/\epsilon))}$
对于常数精度，键维数随 $n$ 呈多项式缩放，从而实现了高效的经典表示。
置换不变系统：
在置换不变哈密顿量的特定情况下，作者证明了一个更强的结论：
- 常数纠缠： 纠缠熵被限制在一个与系统尺寸无关的常数 $O(1)$ 内。
- 多对数时间算法： 他们构建了一个经典算法，可以在 $O(\text{polylog}(1/\epsilon) \log(n/\epsilon))$ 时间内计算基态能量和误差为 $\epsilon$ 的近似基态矢量。对于反多项式精度（ $\epsilon = 1/\text{poly}(n)$ ），复杂度为对数多项式级（polylogarithmic in $n$ ）。这是通过在维度为偏差数 $z$ 的多项式级对称子空间内，对局部基底族进行变分优化实现的。

意义与主张
本文声称，通过证明在无限维（平均场）系统这一极端极限下，即使不存在几何局域性，也可以涌现出低纠缠复杂度，从而拓宽了面积律的概念和计算范围。这些结果确立了在传统几何论证失效的设定下的可证明面积律类界限。

作者通过强调均匀稀释相互作用强度（Kac 归一化）的必要性，明确区分了其发现与广义面积律的反例（如文献 [40]）。在他们的框架下，任何固定位点对之间的总相互作用强度随 $n$ 递减，从而保持局部能量尺度有界。这排除了局部能量尺度随系统尺寸增长从而导致体积律纠缠的机制。

此外，这项工作解决了能隙全连接模型的局部哈密顿量问题（LHP）。它意味着对于常数精度，该问题属于 NP 类，因为多项式键维数的 MPS 可作为可在多项式时间内验证的经典见证。然而，对于反多项式精度，键维数变为拟多项式级，这使得该精度区间下的精确复杂度类仍是一个开放问题。

作者指出，虽然其对数界限具有普适性，但常数界限和多对数时间算法是针对置换不变系统的。他们指出有限模式横场量子 Hopfield 模型是可能适用其通用对数界限的非置换不变系统的潜在候选者，尽管识别更广泛的此类模型仍是一个开放课题。最后，他们建议将这些技术扩展到具有 Kac 归一化的有限维强长程相互作用系统，是未来研究的一个有前景的方向。

技术摘要：全连接模型中的量子复杂性与广义面积律

类似论文