局域性限制

局域性限制（locality bounds）指一组把码参数与空间维数绑定的 no-go 定理，代表作是 Bravyi、Poulin、Terhal 在 2009 年证明的二维界：任何几何局域的量子码满足 kd²=O(n)。它解释了为什么表面码在二维格点上常数开销不可能、为什么渐近好码必须使用非局域（长程）校验——整个 qLDPC 构造纲领的正当性来源。

图:BPT 证明的棋盘分割——把 $\sqrt{n}\times \sqrt{n}$ 方格切成交替着色的 A/B 方块,挖去方块角上的小区域 C,使任何局域约束至多接触一个 A 块与一个 B 块(来源:QE113)

定理陈述

考虑最一般的模型：$n$ 个有限维粒子放在 $\sqrt{n}\times \sqrt{n}$ 方格上，码空间由一组几何局域的相互对易投影子 $\{{\Pi }_a\}$（每个 ${\Pi }_a$ 只作用于某个常数尺寸方块内的粒子）的公共 1-本征空间定义——这比稳定子码更一般，覆盖了局域间隙哈密顿量 $H=-{\sum }_a{\Pi }_a$ 的基态空间。记 $k={\log }_2\dim \mathcal{C}$ 为编码的量子比特数，$d$ 为距离。Bravyi–Poulin–Terhal 证明存在只依赖局域半径与单体维数的常数 $c$，使Bravyi, Poulin & Terhal 2010 (PRL)：

$$k{d}^2\le cn.$$

经典侧对应结果是 $k\sqrt{d}\le cn$。三个直接推论：

• 二维码若要正码率 $k=\Theta (n)$，则 $d=O(1)$——常数距离，无纠错放大可言；
• 任意二维码 $d\le O(\sqrt{n})$；
• 环面码/表面码取 $k=O(1)$、$d=\sqrt{n}$，$k{d}^2\sim n$，标度已达紧——二维局域框架内没有改进余地。

证明思路：熵计数加解纠缠

证明只用量子信息论工具，分五步Bravyi, Poulin & Terhal 2010 (PRL)。

第一步，尺度阶梯。 由距离定义，任何尺寸 $\sim \sqrt{d}\times \sqrt{d}$ 的方块内错误可纠正；用更强的论证可得任何 $\sim d\times d$ 块也可纠正。记 $R$ 为”任意 $R\times R$ 方块均可纠正”的量度，则有两个台阶 $R\gtrsim \sqrt{d}$ 与 $R\gtrsim d$ 可用。

第二步，棋盘分割。 把格点切成 $R\times R$ 方块的棋盘（见图），交替归属区域 $A$ 与 $B$，并挖去方块角上的小连通区 $C$——选择参数使 $|C|=O(n/R)$。关键组合性质：任何局域投影子 ${\Pi }_a$ 至多与 $A$ 的一个块、$B$ 的一个块相交。

第三步，可纠正性的并封闭。 纠错条件（Knill–Laflamme 条件）蕴涵：两个相距足够远的可纠正区域之并仍可纠正。于是由第二步，$A$ 整体可纠正，$B$ 整体可纠正。

第四步，解纠缠引理（disentangling lemma）。 这是超越稳定子码的关键一步，是清洗引理（cleaning lemma）的推广：若区域 $M$ 及其外边界 ${\partial }^{+}M$ 均可纠正，则存在只作用于边界 $\partial M$ 的酉算符 $V$，把极大混合编码态中 $M$ 的纠缠完全解开——直观地说，$M$ 里的熵可以被”沿边界清出去”。由此，$A$（或 $B$）上任何算符的支撑都能换成 $C$ 上的支撑。

第五步，熵计数收尾。 取码空间上的极大混合态 $\rho$，其熵 $S(\rho )=k$。由纠错条件推出条件熵等式 $S(A|BC)=-S(A)$、$S(B|AC)=-S(B)$（严谨化用相对熵单调性），代入 Araki–Lieb 不等式与次可加性：

$$k=S(\rho )\le S(C)+S(B)-S(A)+S(C)+S(A)-S(B)\le 2S(C)\le O(|C|)\cdot O(1),$$

即 $k\le O(n/R)$。用第二步的 $R\gtrsim \sqrt{d}$ 得 $k\le O(n/d)$；用更强的 $R\gtrsim d$ 台阶并让 $C$ 只覆盖块边界（$|C|=O(n/R^2)\cdot R$），优化后收尾为 $k\le cn/d^2$，即 $k{d}^2\le cn$。单体熵上限（维度 $q$ 的粒子熵 $\le \log q$）提供了常数 $c$。

高维推广与常数

同样的框架在 $D$ 维给出 $k{d}^D\le O(n)$ 型的界（据 Breuckmann–Eberhardt 综述的引述Breuckmann & Eberhardt 2021 (PRX Quantum)）：三维允许 $k=\Theta (n)$ 与 $d=\Theta (n^{1/3})$ 并存——三维堆叠表面码、分形码（fractal-codes）正是这类标度的实现；界中常数的精确优化是后续多条工作的主题（如针对边界条件的改进）。注意该界只约束几何局域：校验重量为常数但不要求空间邻近的 qLDPC 码完全不受限，这正是下一节的主题。

从 no-go 到设计选择

BPT 界划定了一张地图：想要常数码率与线性距离（渐近好码，见good-quantum-codes），二维几何局域是死路，必须引入非局域校验。qLDPC 构造因此系统性地”稀疏但非局域”——超图积码的校验 Tanner 图已不可平面嵌入，双变量自行车码的校验含跨环面的长程边（bivariate-bicycle）。代价是硬件连通性（qldpc-hardware）与逻辑门实现（qldpc-logical-ops），收益是开销数量级的下降（qldpc-vs-surface）。局域性与开销的这笔交易，是量子纠错工程的核心决策之一。

延伸阅读

• quantum-bounds
• code-parameters
• qldpc-overview
• surface-code-threshold
• qldpc-vs-surface