Quantum Locally Recoverable Codes With Asymmetric Locality¶

作者: Jiang Li, Lingfei Jin, Chaoping Xing
来源: IEEE Transactions on Information Theory
主题: 其他
相关性: 1/10
机构绿灯: Shanghai Jiao Tong University（US News 前 50，免分进入精读）
链接: https://doi.org/10.1109/tit.2026.3703812

一、领域脉络与小综述¶

这个方向是什么¶

本文属于量子纠错码的一个子方向——量子局部可恢复码 (Quantum Locally Recoverable Codes, qLRCs)。根本问题是：在未来的量子数据存储系统中，如何设计量子纠错码，使得当某个量子比特（qubit）发生错误时，可以通过访问少量其他量子比特来恢复它，从而降低存储系统的修复带宽和I/O开销。这是经典分布式存储中“局部可恢复码 (LRC)”概念在量子领域的自然推广。当前该子方向处于非常早期的阶段——第一篇系统性引入qLRC的论文（Golowich & Guruswami, 2023）距今仅约一年，本文是紧随其后的第二篇核心理论工作。

发展脉络（history）¶

奠基工作：经典LRC (2012-2014)
Gopalan et al. (2012)：首次系统定义了经典LRC的局部性参数 \( r \)（一个符号出错时，最多访问 \( r \) 个其他符号即可恢复），并推导了Singleton-like界 \( d \le n - k - \lceil k/r \rceil + 2 \)。这是整个领域的起点。
Tamo & Barg (2014)：构造了达到上述界的最优LRC（Tamo-Barg码），奠定了经典LRC的构造基础。
量子LRC的引入 (2023)
Golowich & Guruswami (2023)：首次将LRC概念推广到量子情形，定义了qLRC的局部性参数 \( r \)（X型或Z型错误均可通过访问 \( r \) 个其他量子比特恢复），并推导了qLRC的Singleton-like界 \( d \le 2^{n - k - \lceil k/r \rceil + 2} \)（注意这里的 \( d \) 是量子码的最小距离，定义与经典不同）。这篇论文是本文的直接前驱。
非对称量子码 (AQC) 的已有工作 (2000s-2010s)
Steane (1996), Calderbank et al. (1997)：CSS构造——将量子码分解为两个经典线性码 \( C_X, C_Z \)，分别对应X型错误和Z型错误的纠正能力。这是量子码构造的核心工具。
Ioffe & Mézard (2007)：提出非对称量子码（AQC）的概念——在物理实现中，X型错误和Z型错误的概率往往不同（例如在偏置噪声信道中），因此允许两个方向的纠错能力不同（\( d_X \neq d_Z \)）可以提升码率。这一思想被本文直接借用。
本文的位置
本文是Golowich & Guruswami (2023) 的直接后继：将qLRC从“对称局部性”（一个 \( r \) 同时控制X和Z恢复）推广到“非对称局部性”（\( r_X \) 控制X恢复，\( r_Z \) 控制Z恢复），并利用AQC的思想来匹配实际物理噪声的偏置特性。
本文的核心贡献是：① 建立了非对称qLRC与经典LRC之间的连接（通过CSS构造）；② 推导了非对称qLRC的Singleton-like界；③ 构造了达到该界的最优码族。

子线索聚类¶

这些被引文献大致落在两条子线索上：

线索A：经典LRC的理论与构造
包括Gopalan et al. (2012)、Tamo & Barg (2014)、以及后续的许多最优LRC构造工作（如Blaum et al., 2013; Rawat et al., 2016等）。这些工作为量子推广提供了“模板”——qLRC的界和构造几乎都是经典LRC对应结果的量子类比。
线索B：量子码的CSS构造与非对称量子码
包括Steane (1996)、Calderbank et al. (1997) 的CSS构造，以及Ioffe & Mézard (2007) 的非对称量子码。本文的核心工具——CSS构造——来自这条线索，而非对称局部性的动机也直接来自AQC。

这个方向在追问的核心问题¶

qLRC能达到的最优参数是什么？——即给定码长 \( n \)、维度 \( k \)、局部性 \( r \)，最小距离 \( d \) 的上界（Singleton-like界）是什么？达到该界的码是否存在？
如何构造达到最优参数的qLRC？——从经典LRC出发，通过CSS构造能否得到最优qLRC？需要什么条件？
非对称局部性是否带来参数上的优势？——当 \( r_X \neq r_Z \) 时，能否得到比对称情形更好的码率-距离权衡？

当前主流方法：几乎全部依赖CSS构造将量子问题转化为经典问题，然后借用经典LRC的已知结果。瓶颈在于：并非所有经典LRC都能通过CSS构造得到“好”的量子码——需要满足自对偶或对偶包含条件。

⚠️ 作者的 framing¶

这是作者的说法：作者将缺口frame成“现有qLRC只考虑对称局部性，但实际量子存储系统中X错误和Z错误的恢复代价可能不同，因此需要非对称局部性”。他们声称这是“motivated by asymmetric quantum codes (AQCs)”，并认为非对称设定是“自然的推广”。竞争路线（如直接构造非CSS的qLRC）被完全回避——本文所有构造都基于CSS，没有讨论非CSS构造的可能性。

什么明显该被引/该存在、却没出现在intro里？
- 没有引用任何关于量子LDPC码或量子乘积码的工作——这些是量子存储码的另一大类，且已有大量关于局部性（虽然不是显式LRC）的讨论。 - 没有引用量子局部性下界的已有工作（如关于量子LDPC码的距离下界），这些可能与qLRC的界有潜在联系。 - 没有引用量子噪声偏置的实验测量——作者声称非对称局部性由物理噪声偏置驱动，但没有引用任何实验证据表明偏置噪声信道确实需要不同的恢复代价。

张力¶

未见明显对立引用。所有被引工作（经典LRC、CSS构造、AQC）彼此兼容，本文是它们的直接组合。

二、最核心、最简单的例子 / 数学问题¶

第一步：把符号、模型、可观测数据交代清楚¶

符号（逐个点名）：

\( n \)：码长（量子比特数）。一个qLRC是 \( \mathbb{C}^{2^n} \) 的一个 \( 2^k \) 维子空间（即编码 \( k \) 个逻辑量子比特到 \( n \) 个物理量子比特）。
\( k \)：编码维度（逻辑量子比特数）。码率 \( = k/n \)。
\( d \)：量子码的最小距离。定义为：任何非零码字（量子态）被少于 \( d \) 个单量子比特错误作用后，仍与所有其他码字正交（即错误可被检测）。注意：量子距离的定义与经典不同——它衡量的是“能纠正多少个错误”，而不是“码字间的最小Hamming距离”。
\( [[n, k, d]] \)：量子码的标准参数表示。
\( r_X, r_Z \)：非对称局部性参数。\( r_X \) 表示：当发生一个X型错误（Pauli X算符作用在某个量子比特上）时，可以通过测量最多 \( r_X \) 个其他量子比特来定位并恢复该错误。\( r_Z \) 类似，针对Z型错误。
\( C_X, C_Z \)：两个经典线性码（在 \( \mathbb{F}_2 \) 上），用于CSS构造。CSS构造要求 \( C_Z^\perp \subseteq C_X \)（或等价地 \( C_X^\perp \subseteq C_Z \)），得到的量子码参数为 \( [[n, \dim(C_X) - \dim(C_Z^\perp), \min(d(C_X), d(C_Z^\perp))]] \)。
\( d_X, d_Z \)：非对称量子码的X距离和Z距离——分别衡量纠正X错误和Z错误的能力。在CSS构造下，\( d_X = d(C_X) \)，\( d_Z = d(C_Z^\perp) \)。
\( \delta_X, \delta_Z \)：归一化距离 \( \delta_X = d_X/n \)，\( \delta_Z = d_Z/n \)。
\( R \)：码率 \( R = k/n \)。

模型：

数据生成机制：量子存储系统。一个 \( [[n, k, d]] \) 量子码将 \( k \) 个逻辑量子比特编码到 \( n \) 个物理量子比特上。存储过程中，每个物理量子比特可能独立地遭受Pauli错误（X、Z或Y=XZ）。纠错过程：先测量稳定子（stabilizer）得到错误症状（syndrome），然后根据症状定位错误并恢复。
局部恢复模型：当检测到一个错误（例如某个量子比特的X错误）时，恢复过程只允许访问该量子比特的“局部邻域”——最多 \( r_X \) 个其他量子比特。这些量子比特的测量结果用于推断错误位置并纠正。局部性参数 \( r_X \) 就是该邻域的最大大小。
已知/未知：码的构造（\( C_X, C_Z \)）是已知的设计参数。错误类型（X或Z）和位置是未知的，需要通过测量来推断。

可观测数据：

可观测：稳定子测量的结果（syndrome）——一组 \( n-k \) 个二元观测值，每个对应一个稳定子生成元的测量结果。这些观测值指示了错误是否发生以及（部分）位置信息。
不可观测/潜在：错误的精确位置和类型（X、Z或Y）。只能通过syndrome和局部恢复过程来推断。在局部恢复场景中，恢复过程只能访问 \( r_X \) 或 \( r_Z \) 个其他量子比特的syndrome信息，而不是全部 \( n \) 个。

第二步：讲最小内核¶

最简特例：考虑 \( n=5, k=1, r_X=2, r_Z=2 \) 的对称情形（即 \( r_X = r_Z = 2 \)）。这是Golowich & Guruswami (2023) 论文中构造的一个例子。

设定：我们要构造一个 \( [[5,1,3]] \) 量子码（著名的5-qubit码），并赋予它局部性 \( r=2 \)。这意味着：当任何一个量子比特发生X或Z错误时，只需访问最多2个其他量子比特即可恢复。
CSS构造：取 \( C_X = C_Z = C \)，其中 \( C \) 是 \( [5,2,3] \) 经典线性码（即 \( n=5, k=2, d=3 \)）。CSS构造要求 \( C^\perp \subseteq C \)。这里 \( C^\perp \) 是 \( [5,3,2] \) 码，确实包含在 \( C \) 中（因为 \( C^\perp \) 的每个码字都是 \( C \) 的码字？需要验证——实际上 \( C^\perp \subseteq C \) 意味着 \( C \) 是自对偶包含的，即 \( C \) 包含其对偶码）。得到的量子码参数为 \( [[5, \dim(C) - \dim(C^\perp), \min(d(C), d(C^\perp))]] = [[5, 2-3, \min(3,2)]] \)——这不对，因为 \( \dim(C) - \dim(C^\perp) = -1 \)。所以这个例子不成立。实际上5-qubit码的CSS构造需要更精细的选择。

更简单的正确例子：考虑 \( n=4, k=0 \) 的平凡情形——但这不是一个有用的码。

真正的最小内核：本文的核心数学问题是：

给定两个经典线性码 \( C_X, C_Z \subseteq \mathbb{F}_2^n \)，满足 \( C_Z^\perp \subseteq C_X \)，且 \( C_X \) 具有局部性 \( r_X \)，\( C_Z \) 具有局部性 \( r_Z \)，那么通过CSS构造得到的量子码 \( Q = CSS(C_X, C_Z) \) 是否具有非对称局部性 \( (r_X, r_Z) \)？如果是，它的参数 \( [[n, k, d]] \) 满足什么上界？

这个问题的答案（本文的主要结果）是：

连接定理：如果 \( C_X \) 是经典LRC（局部性 \( r_X \)），且 \( C_Z \) 是经典LRC（局部性 \( r_Z \)），那么 \( Q = CSS(C_X, C_Z) \) 是一个非对称qLRC，其X局部性 \( \le r_X \)，Z局部性 \( \le r_Z \)。
Singleton-like界：对于任何非对称qLRC（通过CSS构造得到），有：
\[d_X \le n - k - \left\lceil \frac{k}{r_X} \right\rceil + 2, \quad d_Z \le n - k - \left\lceil \frac{k}{r_Z} \right\rceil + 2\]
其中 \( d_X, d_Z \) 分别是X距离和Z距离。
最优性条件：达到上述界的码称为“CSS-最优”的。本文构造了多族达到该界的码。

为什么这是最小内核：因为所有技术细节（证明、构造）都围绕这个核心问题展开。去掉所有为一般性服务的技术假设（如有限域大小、码长条件等），剩下的就是这个“经典LRC → CSS构造 → 非对称qLRC”的转化关系。

三、这篇论文做了什么¶

三句话¶

研究了什么问题：在量子数据存储系统中，X型错误和Z型错误的恢复代价可能不同，因此本文引入非对称局部性参数 \( (r_X, r_Z) \) 来分别刻画两类错误的恢复能力，并研究具有非对称局部性的量子局部可恢复码（qLRC）的参数界与构造。
核心工具/方法：通过CSS构造将非对称qLRC与两个经典LRC \( C_X, C_Z \) 建立联系，利用经典LRC的已知结果（Singleton界、最优构造）来推导量子情形。
主要结论：推导了非对称qLRC的Singleton-like界，刻画了达到该界的条件（CSS-最优），并基于经典LRC构造了多族纯且CSS-最优的非对称qLRC。

关键设定与假设¶

完整设定（在第二节最小记号的基础上补全）：

量子码模型：一个 \( [[n, k, d]] \) 量子码是 \( \mathbb{C}^{2^n} \) 的一个 \( 2^k \) 维子空间。稳定子形式：由 \( n-k \) 个可交换的Pauli算符（稳定子生成元）定义，所有稳定子的共同+1本征空间就是码空间。
CSS构造：给定两个经典线性码 \( C_X, C_Z \subseteq \mathbb{F}_2^n \)，满足 \( C_Z^\perp \subseteq C_X \)。CSS码定义为：
\[CSS(C_X, C_Z) = \{ |x + C_Z^\perp\rangle : x \in C_X \}\]
其中 \( |x + C_Z^\perp\rangle = \frac{1}{\sqrt{|C_Z^\perp|}} \sum_{y \in C_Z^\perp} |x + y\rangle \)。参数：\( k = \dim(C_X) - \dim(C_Z^\perp) \)，\( d = \min(d(C_X), d(C_Z^\perp)) \)。
非对称局部性定义（本文定义1）：一个 \( [[n, k, d]] \) 量子码 \( Q \) 称为具有非对称局部性 \( (r_X, r_Z) \)，如果：
对于任何X型错误（Pauli X作用在某个量子比特上），存在一个恢复过程，只测量最多 \( r_X \) 个其他量子比特的稳定子，就能确定错误位置并纠正。
对于任何Z型错误，类似地存在一个恢复过程，只测量最多 \( r_Z \) 个其他量子比特。
假设：
CSS构造假设：所有构造的qLRC都基于CSS构造。这意味着码的稳定子可以分解为X型稳定子和Z型稳定子，分别对应 \( C_X \) 和 \( C_Z \)。
经典LRC假设：使用的经典LRC \( C_X, C_Z \) 具有已知的局部性参数 \( r_X, r_Z \)，且满足CSS构造所需的对偶包含条件 \( C_Z^\perp \subseteq C_X \)。
纯码假设：构造的码是“纯”的（pure），即所有非零稳定子都有权重 \( \ge d \)。这是量子码构造中的常见假设，简化了距离分析。

相比已有文献的放宽/强化： - 放宽：相比Golowich & Guruswami (2023) 的对称局部性（一个 \( r \) 控制所有错误），本文允许 \( r_X \neq r_Z \)，更灵活。 - 强化：本文只考虑CSS构造的qLRC，而Golowich & Guruswami (2023) 讨论了更一般的稳定子码（不一定是CSS）。这是本文的一个限制——非CSS的qLRC可能具有更好的参数，但本文没有研究。

主要结果¶

定理1（连接定理，本文定理3）：如果 \( C_X \) 是一个 \( [n, k_X, d_X] \) 经典LRC（局部性 \( r_X \)），\( C_Z \) 是一个 \( [n, k_Z, d_Z] \) 经典LRC（局部性 \( r_Z \)），且 \( C_Z^\perp \subseteq C_X \)，那么 \( Q = CSS(C_X, C_Z) \) 是一个 \( [[n, k_X - (n - k_Z), \min(d_X, d_Z^\perp)]] \) 非对称qLRC，其X局部性 \( \le r_X \)，Z局部性 \( \le r_Z \)。

直觉：CSS构造将量子码的X错误恢复能力与 \( C_X \) 的经典恢复能力绑定，Z错误恢复能力与 \( C_Z \) 的经典恢复能力绑定。因为 \( C_X \) 是经典LRC（局部性 \( r_X \)），所以X错误可以通过访问 \( r_X \) 个其他量子比特恢复；类似地Z错误。
必要条件：\( C_Z^\perp \subseteq C_X \)（CSS构造条件）。
解决的技术难点：证明经典LRC的局部恢复过程可以“提升”到量子情形，且不破坏量子码的稳定子结构。关键是要证明：经典恢复过程中使用的线性组合（在 \( \mathbb{F}_2 \) 上）可以翻译为量子测量（Pauli算符的乘积），且这些测量与稳定子可交换。

定理2（Singleton-like界，本文定理4）：对于任何通过CSS构造得到的 \( [[n, k, d_X, d_Z]] \) 非对称qLRC（具有非对称局部性 \( (r_X, r_Z) \)），有：

\[d_X \le n - k - \left\lceil \frac{k}{r_X} \right\rceil + 2, \quad d_Z \le n - k - \left\lceil \frac{k}{r_Z} \right\rceil + 2\]

直觉：这是经典LRC的Singleton界 \( d \le n - k - \lceil k/r \rceil + 2 \) 在量子情形的直接类比。证明思路：利用CSS构造将量子码的X距离与 \( C_X \) 的经典距离关联，然后对 \( C_X \) 应用经典LRC的Singleton界。
必要条件：码必须通过CSS构造得到。对于非CSS的qLRC，这个界不一定成立（可能更紧或更松）。
解决的技术难点：需要将量子码的“局部性”条件翻译为经典码的“局部性”条件。本文证明：如果量子码具有X局部性 \( r_X \)，那么 \( C_X \) 一定具有经典局部性 \( \le r_X \)。这个翻译不是平凡的——需要用到CSS构造的稳定子结构。

定理3（最优构造，本文定理5-7）：基于经典LRC（如Tamo-Barg码、Blaum-Roth码等），构造了多族纯且CSS-最优的非对称qLRC，即达到定理2的界。

构造方法：取 \( C_X \) 为某个最优经典LRC（达到Singleton界），取 \( C_Z \) 为另一个最优经典LRC，使得 \( C_Z^\perp \subseteq C_X \)。然后通过CSS构造得到量子码。
具体例子：当 \( r_X = r_Z = r \) 时，构造的码恢复Golowich & Guruswami (2023) 的结果。当 \( r_X \neq r_Z \) 时，构造了新的码族，例如 \( r_X = 2, r_Z = 3 \) 的情形。

证明路线与技术技巧¶

整体路线（以定理2的证明为例）：

步骤1：将量子局部性转化为经典局部性
证明：如果 \( Q = CSS(C_X, C_Z) \) 具有X局部性 \( r_X \)，那么 \( C_X \) 是一个经典LRC（局部性 \( \le r_X \)）。证明思路：利用CSS构造的稳定子结构，将量子恢复过程“投影”到经典码字空间，得到经典恢复过程。
步骤2：对 \( C_X \) 应用经典LRC的Singleton界
经典LRC的Singleton界（Gopalan et al., 2012）：\( d(C_X) \le n - k_X - \lceil k_X / r_X \rceil + 2 \)。
步骤3：关联 \( d_X \) 与 \( d(C_X) \)
在CSS构造下，\( d_X = d(C_X) \)（因为X距离由 \( C_X \) 的经典距离决定）。
步骤4：关联 \( k_X \) 与 \( k \)
\( k = k_X - (n - k_Z) \)，所以 \( k_X = k + n - k_Z \)。代入步骤2的界，得到 \( d_X \le n - (k + n - k_Z) - \lceil (k + n - k_Z) / r_X \rceil + 2 = k_Z - k - \lceil (k + n - k_Z) / r_X \rceil + 2 \)。这还不是最终形式。
步骤5：利用 \( k_Z \) 的下界
因为 \( C_Z^\perp \subseteq C_X \)，有 \( k_Z \ge n - k_X \)。代入步骤4，经过代数化简得到 \( d_X \le n - k - \lceil k / r_X \rceil + 2 \)。（具体化简过程在论文引理2中给出。）

关键跳跃点：

步骤1的翻译：这是最吃功夫的部分。需要证明：量子恢复过程（涉及Pauli算符的测量）可以“降维”到经典恢复过程（涉及 \( \mathbb{F}_2 \) 上的线性组合）。关键引理（引理1）：如果 \( Q = CSS(C_X, C_Z) \) 具有X局部性 \( r_X \)，那么对于任何 \( i \in [n] \)，存在一个集合 \( S_i \subseteq [n] \setminus \{i\} \)，\( |S_i| \le r_X \)，以及系数 \( a_j \in \mathbb{F}_2 \)（\( j \in S_i \)），使得 \( x_i = \sum_{j \in S_i} a_j x_j \) 对所有 \( x \in C_X \) 成立。这正是经典LRC的定义。

技术技巧点名：

CSS构造：核心工具，将量子问题转化为两个经典码问题。
经典LRC的Singleton界：直接借用Gopalan et al. (2012) 的结果。
对偶码关系：利用 \( C_Z^\perp \subseteq C_X \) 来关联 \( k_X \) 和 \( k_Z \)，这是代数化简的关键。
Tamo-Barg构造：用于构造达到Singleton界的最优经典LRC，然后通过CSS构造得到最优qLRC。

真实例子与应用¶

本文为纯理论/无实证例子。论文没有包含任何真实量子系统的实验数据或模拟实验。所有“例子”都是理论构造——例如在Section V中，作者给出了几个具体的参数选择（如 \( n=15, k=7, r_X=3, r_Z=4 \) 的构造），但这些只是理论上的存在性证明，没有实际实现或性能评估。

🔎 结论是否比证明窄¶

是。有几个地方结论比证明窄：

定理2（Singleton-like界）的适用范围：论文明确声明该界只适用于通过CSS构造得到的非对称qLRC（见定理4的陈述：“For any CSS qLRC with asymmetric locality...”）。但作者在摘要和引言中多次使用“qLRCs with asymmetric locality”这个更一般的术语，可能让读者误以为该界对所有非对称qLRC都成立。实际上，对于非CSS的qLRC，这个界是否成立是开放问题。
最优构造的“纯”条件：论文构造的码都是“纯”的（pure），即所有非零稳定子都有权重 \( \ge d \）。但实际中，非纯的qLRC可能具有更好的参数（更大的 \( k \) 或 \( d \)）。作者没有讨论非纯构造的可能性。
局部性参数的“≤”：在连接定理（定理3）中，结论是“X局部性 \( \le r_X \)”，而不是“= \( r_X \)”。这意味着构造的码的实际局部性可能小于 \( r_X \)，但作者没有给出下界或精确值。对于实际应用，知道精确的局部性比上界更重要。

四、开放问题¶

非CSS的qLRC的Singleton-like界：本文的界只适用于CSS构造的qLRC。对于一般的稳定子qLRC（非CSS），是否存在类似的界？如果存在，是否更紧？扎根：定理4的陈述明确限定“For any CSS qLRC...”，且作者在结论部分（Section VI）提到“It would be interesting to study the Singleton-like bound for general qLRCs (not necessarily CSS)”。
非纯qLRC的构造：本文只构造了纯qLRC。非纯qLRC是否可能达到更好的参数（更大的 \( k \) 或 \( d \)）？扎根：论文在Section V的所有构造都明确标注为“pure”，且没有讨论非纯情形。
精确局部性的刻画：本文只给出了局部性的上界（\( \le r_X \)），没有给出下界或精确值。对于给定的码，如何计算其精确的局部性？扎根：定理3的结论是“X locality ≤ r_X”，作者没有声称等式成立。
与量子LDPC码的关系：量子LDPC码（低密度奇偶校验码）是另一类具有局部性（稀疏校验矩阵）的量子码。qLRC与量子LDPC码之间是否存在联系？能否将qLRC的构造方法推广到LDPC设定？扎根：论文没有引用任何量子LDPC码的工作，这是一个明显的空白。

Maintained by 陈星宇 · Homepage · Source on GitHub