Alphabet-Dependent Bounds for Pure Quantum $(r,\rho)$-Locally Recoverable Codes

技术摘要：纯量子 $(r, \rho)$-局部可恢复码的字母表相关界限

问题陈述
量子局部可恢复码（qLRCs）旨在允许从一小组其他量子比特中恢复被擦除的量子比特，这一特性对于分布式量子存储中的高效纠错至关重要。具体而言，一个 $(r, \rho)$-qLRC 确保任何单个量子比特都可以从最多 $r + \rho - 1$ 个量子比特中恢复，即使在该恢复集中发生了多达 $\rho - 1$ 个额外的擦除。

现有的理论极限，特别是 Singleton-like 界限和 GG Singleton-like 界限，是与字母表无关的。它们仅依赖于诸如码长 ($n$)、维度 ($\kappa$)、局部性 ($r, \rho$) 和最小距离 ($\delta$) 等参数，忽略了底层量子比特字母表的维度 ($q$)。因此，这些界限对于小到中等维度的量子比特字母表往往是松弛的。本文旨在解决在推导纯 $(r, \rho)$-qLRC 的字母表相关界限时，以更准确地反映率与距离之间权衡的问题。

方法论
作者通过利用Hermitian CSS 构造来推导新界限，该构造将定义在 $\mathbb{F}_{q^2}$ 上的经典线性码映射到定义在 $\mathbb{F}_q$ 上的量子码。

1. 经典基础： 本研究建立在 Gao 等人最近关于经典 $(r, \rho)$-LRC 研究结果的基础上，后者建立了经典码的字母表相关界限（包括 Griesmer-like、sphere-packing-like 和 Plotkin-like 界限）。
2. 向量子领域转化： 作者将这些经典界限应用于 CSS 构造所需的底层 Hermitian 对偶包含（dual-containing）经典码。通过将量子参数 ($n, \kappa, \delta$) 替换为对应的经典参数 ($n, k, d$)，其中 $k = (n+\kappa)/2$ 且字母表大小为 $q^2$，他们推导出了相应的量子界限。
3. 渐近分析： 本文分析了当码长 $n$ 趋于无穷大时这些界限的行为。通过将新界限的渐近形式与现有的 Singleton-like 界限进行比较，以建立紧致性的层级结构。
4. 优化： 对于 sphere-packing-like 界限，作者对缩短指数 $\tau$（在渐近意义下由比例 $\lambda$ 表示）进行了严格的优化，以确定在不同相对距离 ($\Delta$) 机制下的最紧约束。

主要贡献与结果
本文为纯 $(r, \rho)$-qLRC（即量子最小距离等于底层经典码的最小距离）建立了三个新的字母表相关上界：

1. 纯 Griesmer-like 界限： 一个关于维度和距离的码长 $n$ 的上界，其中包含了对 $q^2$ 次幂的求和。
2. 纯 Sphere-Packing-like 界限： 一个关于率 $\kappa/n$ 的上界，涉及 $\mathbb{F}_{q^2}$ 中 Hamming 球的体积。作者推导出了一个渐近形式，该形式根据临界相对距离 $\Delta_{crit}$ 分为两个机制：在低于该阈值时，界限显式地依赖于局部性参数和字母表大小；在高于该阈值时，它收敛到标准的渐近量子 sphere-packing 界限。
3. 纯 Plotkin-like 界限： 一个关于相对距离 $\delta/n$ 的上界，对于 $r \ge 3$，该界限严格优于 Griesmer-like 界限。

渐近层级
本文的一个核心结果是建立了针对 $r \ge 3$ 的纯 $(r, \rho)$-qLRC 的严格紧致性层级。在渐近机制下，这些界限满足以下紧致性排序（从最紧到最松）：
$$\text{Pure Plotkin-like} \succ \text{Pure Griesmer-like} \succ \text{Pure Singleton-like} \succ \text{GG Singleton-like}$$
这表明，字母表相关的 Plotkin-like 界限在所有推导出的界限中提供了最严格（因此是最准确）的率-距离权衡约束。

意义
本文声称通过提供首个针对纯 $(r, \rho)$-qLRC 的字母表相关界限，填补了理论空白。通过显式地纳入量子比特维度 $q$，这些界限比以往已知的字母表无关极限提供了更紧的约束，特别是对于具有小到中等字母表大小的码。本研究刻画了每个界限产生最紧约束的特定率-距离平面区域，从而为理解量子局部可恢复码的基本极限提供了更细致的理解。作者指出，实现这些界限的构造工作留待未来研究。