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

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

## A. 问题与历史背景

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

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

## B. 面积律主稿的精确含义

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

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

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

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

## C. PEPS 配套结果为什么是另一项进展

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

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

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

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

## D. 对研究的积极影响与边界

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

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

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

## 原稿及配套材料

- **O265-01** [A two-dimensional area law from a global spectral gap](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/A-two-dimensional-area-law-from-a-global-spectral-gap-September-24-2026/paper.pdf)。形式化目录：未列入。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](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Polynomial-PEPS-approximation-of-gapped-square-grid-ground-states-September-24-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Polynomial-PEPS-approximation-of-gapped-square-grid-ground-states-September-24-2026`。

[返回总览](../README.md) · [来源与核验记录](../sources.md)