资料快照：2026-10-07 · 中文研究导读

265｜二维有隙面积律：为什么基态纠缠没有铺满体积

官方问题族 265；本版含 2 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：adc7f1241b42，核对日期：2026-10-07。

A. 问题与历史背景

一般量子态需要指数数量的振幅描述，随机纯态的子区纠缠通常随体积增长；真实局域哈密顿量的低能态却往往简单得多。面积律提出，区域 $A$ 与外部的纠缠主要由边界贡献：二维中随边长而不是面积增长。这是张量网络、量子相分类和多体模拟的重要依据。

对一维有隙系统，Hastings 在 2007 年证明面积律，并建立与矩阵乘积态近似的联系。二维不能简单复制这个论证：边界本身含越来越多自由度，而相关函数指数衰减也不自动控制全部纠缠谱。

局部维数为固定 $q$ ，系统定义在任意有限的方格诱导子图 $\Lambda$ 上。哈密顿量具有固定有限作用范围 $R$ 和局域强度界 $J$ ；唯一基态为 $|\Omega\rangle$ ，并假设整个系统具有下界 $\Delta>0$ 的谱隙：

H-E_0\ge\Delta\bigl(I-|\Omega\rangle\langle\Omega|\bigr).

稿件声称存在只依赖 $q,R,J,\Delta$ 的常数 $C$ ，对任意 $A\subseteq\Lambda$ 都有

S(\rho_A)=-\operatorname{Tr}\rho_A\log\rho_A \le C\,|\partial_\Lambda A|, \qquad \rho_A=\operatorname{Tr}_{\Lambda\setminus A} |\Omega\rangle\langle\Omega|.

$|\partial_\Lambda A|$ 为穿过该子区边界的格点边数。常数不依赖系统和子区的大小、形状。它不要求每个局部子区截出的哈密顿量都有隙，也不以平移不变或无挫折为前提；这是结果的主要力度。

第二篇针对开边界 $L\times L$ 方格上的最近邻哈密顿量，在同样的固定局域维数、强度和整体唯一基态隙条件下，声称存在非零 PEPS $|\Phi\rangle$ ，满足

D\le C L^c,\qquad \min_\theta\left\|\frac{\Phi}{\|\Phi\|} -e^{i\theta}\Omega\right\|\le L^{-1}.

$D$ 是虚拟键维数； $C,c$ 只依赖固定模型界。误差控制的是归一化的整个量子态向量，不仅是能量密度或少数局域期望值。由纯态距离与迹距离的关系，这种误差也控制任意范数有界可观测量的期望值误差。

面积律只约束熵，是对纠缠谱的一种汇总；多项式键维数的全局 PEPS 近似需要额外控制谱尾、不同切分间的相容性和压缩误差，不能在一般情形下当作面积律的同义改写。

**潜在积极影响：**为二维有隙相使用 PEPS 提供一般性的表达能力保证；帮助解释为什么低能多体态占据全部 Hilbert 空间中很特殊的一部分；为张量网络误差分析、基态纠缠诊断和可控近似奠定基础。

但“存在少量参数的表示”与“能在多项式时间内找到、收缩或制备它”有明显距离。稿件没有给出一般二维基态问题的高效算法，常数和幂次也未因此变成适合数值计算的规模。

唯一基态条件同样不能忽略。环面上具有拓扑简并的模型不直接属于这个陈述；带有受保护无隙边缘的开边界模型也未必满足统一整体隙。面积律的主导边界项本身不能识别拓扑序，其次领项和纠缠结构仍需单独研究。

O265-01 A two-dimensional area law from a global spectral gap。形式化目录：未列入。BibTeX 键：OAI:A-two-dimensional-area-law-from-a-global-spectral-gap-September-24-2026。
O265-02 Polynomial PEPS approximation of gapped square-grid ground states。形式化目录：未列入。BibTeX 键：OAI:Polynomial-PEPS-approximation-of-gapped-square-grid-ground-states-September-24-2026。