技术摘要：通用 $(r, \delta)$-量子局部可恢复码的界限

问题陈述

本文研究了能够纠正多个擦除（erasures）的**量子局部可恢复码（qLRCs）**的基本极限。虽然现有文献已经建立了 qLRC 的界限，但这些结果通常依赖于限制性的假设：

• 纯度（Purity）： 许多界限仅适用于“纯”码（即低权重错误将码空间映射到正交子空间），排除了可能提供更好参数的“非纯”码。
• 稳定器结构（Stabilizer Structure）： 若干结果受限于稳定器码或特定的代数构造（例如 CSS、Hermitian 双包含码）。
• 不相交的恢复块（Disjoint Recovery Blocks）： 许多界限假设恢复块（用于修复故障的坐标集）是不相交的或构成一个划分。
• 专注于单擦除（Single-Erasure Focus）： 通用的多擦除界限通常简化为单擦除分析，或者需要特定的结构分解。

作者旨在为通用的 $(r, \delta)$-qLRC 建立 Singleton 型上界，这些界限满足以下要求：

1. 不假设纯度或稳定器结构。
2. 允许任意重叠的恢复块。
3. 在局部块内显式处理多擦除（$\delta \ge 2$）情况。

方法论

作者结合了信息论论证、熵性质和组合选择引理。

1. 多擦除的选择引理

一个核心技术贡献是选择引理（引理 14），它通过重叠的恢复块构造可纠正的擦除集。

• 机制： 给定坐标预算 $N$，该引理选择一个可以利用局部恢复信道进行顺序恢复的擦除集 $S$。
• 两阶段过程：
  • 第一阶段： 从至少有 $t$ 个未覆盖坐标的块中选择 $t = \delta - 1$ 个坐标。
  • 第二阶段： 如果块中的未覆盖坐标少于 $t$ 个，则选择这些块中所有可用的坐标。
• 结果： 这确保了即使在存在重叠的情况下，选定的擦除集 $S$ 也能在由全局距离处理剩余擦除之前，通过局部恢复完成。

2. 熵与解耦论证

界限是基于量子 Singleton 界框架推导出的，并针对局部恢复进行了调整：

• 一般情况（非纯/任意重叠）： 作者使用选择引理构造两个不相交的可纠正擦除集（$A_1$ 和 $A_2$）。通过应用数据处理不等式和可纠正集的解耦性质（引理 8），他们推导出了维度界限 $k \le n - |A_1| - |A_2|$。
• 纯码情况： 对于纯码，作者利用了小集合上的约化态是最大混合态的性质（引理 20）。这使得能够实现与参考系统（reference system）的局部解耦（引理 21），从而得到一个更强的界限，其中局部支撑码的熵被最大化。

3. 整数优化

初始界限涉及向下取整函数。作者通过整数优化（推论 16，命题 17）来收紧这些界限。他们推导出了一个显式的余数修正项（$\varepsilon$），该项可以将维度 $k$ 的上界降低高达 $\delta - 2$。

4. 最小局部性下的结构分析

在局部性参数等于擦除容忍度（$r = \delta$）的特定情况下，作者分析了 $\mathbb{F}_q$-线性稳定器码。他们证明了一个分解定理（定理 28），表明此类码在移除固定的纯态坐标因子后，可以分解为不相交的内部 MDS 码和一个外部稳定器码。

核心贡献与结果

1. 通用 Singleton 型界限（定理 15）

本文为具有任意重叠的通用量子子空间建立了界限：
$$k \le n - 2d + 2 - (\delta - 1) \left\lfloor \frac{n - d + 1}{r + \delta - 1} \right\rfloor - \text{修正项}$$

• 意义： 该界限适用于非纯码和重叠块。
• 退化： 当 $\delta = 2$ 时，它退化为 Golowich 和 Guruswami 的通用单擦除界限。
• 优化： 整数优化得到了一个更紧凑的界限（推论 16），并带有一个显式的修正项 $\varepsilon \in [0, \delta-2]$。

2. 纯码界限（定理 22）

对于纯码，作者推导出了一个更强的界限：
$$k \le n - 2 \max_{0 \le e \le d-1} \left\{ e + (\delta - 1) \left\lfloor \frac{n - e}{r + \delta - 1} \right\rfloor \right\}$$

• 意义： 它将 Galindo 等人的参数界限（最初针对双包含的经典构造）扩展到了任意纯量子子空间。
• 改进： 它移除了先前纯码界限（如 Stylianou–Boche）中的不相交块假设，并在余数超过局部性参数时提供了更紧凑的表达式。

3. 结构约束与分解

• 等式条件： 本文刻画了满足界限的条件，表明等式强制要求局部 MDS 结构以及恢复块的特定隔离属性（定理 25, 26）。
• 最小局部性 ($r=\delta$)： 对于 $r=\delta$ 的线性稳定器码，作者证明了该码分解为不相交的 MDS 内部码和一个外部码（定理 28）。这意味着距离 $d$ 必须能被 $\delta$ 整除，并提供了一个比通用情况更精确的维度界限。

4. 达到界限的族

本文分析了三个达到这些界限的码族，证明了结果的紧致性：

1. 粘合 GRS 族（纯、重叠）： 一个具有不可避免重叠的纯 CSS 族。它在某些参数下表现出对通用界限的严格改进，并同时在其他参数下同时达到通用界限和纯界限。
2. 非纯级联码（Impure Concatenated Codes）： 通过标准级联构造的非纯 CSS 码，达到了通用界限，证明了即使在没有纯度的情况下该界限也是紧致的。
3. 现有的 Hermitian 族（纯、重叠、$d > \delta$）： 一种能够达到所有推导出的界限（包括全局距离超过局部距离的情况）的现有构造。

意义与主张

本文声称填补了量子 LRC 理论中的一个关键空白，提供了如下界限：

• 通用性： 适用于非稳定器、非纯码及任意重叠，超越了先前工作的限制性假设。
• 紧致性： 这些界限通过显式构造被证明是可达到的，且整数优化为通用 $(r, \delta)$-qLRC 提供了第一个显式的余数修正。
• 统一性： 纯码界限将几个现有的结果（Galindo 等人、Stylianou–Boche）统一并扩展到了任意纯子空间，而无需要求不相交的划分或特定的代数构造。

作者谦虚地指出，虽然已经建立了这些界限并确定了达到界限的族，但仍需未来的工作来确定完整的可达参数范围，并将结构性结论（如分解定理）扩展到 $\mathbb{F}_q$-线性稳定器码之外。本文并未提出新的实验实现或除分布式量子存储理论框架之外的具体应用。