Quantum codes in the Lee metric

技术摘要：李度量（Lee Metric）下的量子码

问题陈述
目前的量子纠错理论框架主要假设使用量子比特（二能级系统），并利用汉明度量（Hamming metric），该度量计算的是物理子系统受误差影响的数量。然而，许多物理平台（如核自旋或超导电路）天然具有 $q$ 能级系统（qudits），其中 $q > 2$。在这些系统中，误差通常被建模为相空间中的微小位移（类似于连续变量系统中的位移噪声），而非任意的泡利翻转。因此，幅度为 $k$ 的位移（例如 $X^k$）在物理上与幅度为 1 的位移是不同的，且发生的概率通常随位移幅度的增加而衰减。标准的汉明度量无法捕捉这种结构，因为它将作用在相同数量的 qudit 上的 $X^1$ 和 $X^k$ 视为权重相同的误差。本文通过开发一种针对 $\mathbb{Z}_q$ 上量子稳定器码的系统化形式化方法来填补文献空白，该方法利用了李度量，即根据 $X$ 和 $Z$ 位移的幅度而非仅根据其支撑集的大小来对误差进行加权。

方法论
作者开发了一个针对李度量量子码的全面理论框架，将经典的李度量编码理论扩展到了量子领域。该方法经过以下几个关键阶段：

1. 度量定义： 文中定义了两种用于 $n$ 个 qudit 上的泡利串 $X^x Z^z$ 的度量：

   • 分离李度量（Separate Lee Metric）： 记录对 $(|x|_L, |z|_L)$，适用于 CSS 码。
   • 联合李度量（Joint Lee Metric）： 记录总和 $|x|_L + |z|_L$。对于量子比特，这会给 $Y$ 误差分配权重 2，给 $X$ 和 $Z$ 误差分配权重 1，反映了 $Y$ 误差是由独立的 $X$ 和 $Z$ 过程产生的假设。
     李权重 $|x|_L$ 定义为 $\sum \min(x_i, q-x_i)$。

2. 稳定器形式化： 作者利用李度量将辛稳定器形式化（symplectic stabilizer formalism）推广到 $\mathbb{Z}_q$。他们推导了球填充界限（sphere-packing bounds），并识别出了饱和这些界限的完美码（perfect codes）。与汉明度量中完美量子码罕见且仅限于距离 3 不同，李度量允许存在具有更高距离和不同参数的完美码（例如 $\mathbb{Z}_{10}$ 上的单 qudit 完美码）。

3. CSS 码与扭（Torsion）： 该研究的大部分工作集中在复合 $q$ 上的 CSS 码。作者利用校验矩阵的**史密斯标准型（Smith Normal Form, SNF）**来分析码空间结构。他们明确表征了“扭因子（torsion factors）”，即逻辑 qudit 的维度虽然整除 $q$ 但小于 $q$。这使得构建具有特定维度的逻辑算子以及推导显式共轭对逻辑算子成为可能。

4. 容错与门扩散： 文中引入了 Clifford 门的**李误差扩散（Lee error spread, $w_B$）**概念，量化了一个门可以增加多少误差的李权重。这类似于 GKP 码中位移误差的放大。作者证明了逻辑门的容错距离受限于码距离除以门的扩散度。他们识别出了扩散度为 1 的门（置换门和傅里叶门），这类门能精确保持李权重不变。

5. 通过 Gray 映射进行量子比特化： 为了弥合 qudit 与 qubit 架构之间的差距，作者利用 Gray 映射将 $\mathbb{Z}_4$ 稳定器码转换为 qubit 码。他们证明了该映射是从 $\mathbb{Z}_4^n$ 上的李度量到 $\mathbb{Z}_2^{2n}$ 上汉明度量的等距映射。至关重要的是，他们展示了虽然 $\mathbb{Z}_4$ 泡利算子对应于 qubit Clifford 门，但 $\mathbb{Z}_4$ Clifford 门则对应于 Clifford 层级中的第三层（包括非 Clifford 门如 $T$ 和 $CS$）。

6. Lee-LDPC 码与界限： 作者定义了李-LDPC 码（Lee-LDPC codes），其校验矩阵具有受限的李权重。利用数论几何（传递定理）的工具，他们证明了对于任何非平凡的量子 Lee-LDップ码，其李距离不能超过 $O(n)$（相对于 $q$ 是一致的）。这为在 LDPC 框架内利用大 $q$ 来实现高距离码设定了障碍。

7. 自纠错与记忆： 文中研究了**螺旋重复码（helical repetition codes）**及其超图积（hypergraph products）。他们表明，在局部 Metropolis 动力学下，某些经典的螺旋码在足够大的 $q$ 时，由于能量势垒和熵效应的影响，表现出指数级的长记忆时间。当通过超图积扩展到量子 CSS 码时，这些码继承了针对 $Z$ 误差的自纠错能力，尽管 $X$ 误差自纠错的状态仍是一个开放性问题。

核心贡献与结果

• 形式化： 建立了使用联合和分离李度量的 $\mathbb{Z}_q$ 码的严格稳定器形式化方法，包括球填充界限和完美码的分类。
• 量子比特优势： 证明了对于量子比特，针对联合李度量（将 $Y$ 误差计为两次）进行优化，可以获得比针对汉明度量优化的码更高的距离。例如，一个 $[[9, 1, 5]]$ 李距离码可以纠正任何两个 $X/Z$ 误差或一个 $Y$ 误差，而纠正两个任意误差的最短汉明距离码则需要 11 个量子比特。
• 完美码： 识别出了新的完美量子李码族，包括 $\mathbb{Z}_{10}$ 上的单 qudit 码和 $\mathbb{Z}_{3^m}$ 上的码族，这些码在相同的参数下在汉明度量中并不存在。
• Eastin-Knill 定理违背： 展示了 Eastin-Knill 定理（该定理禁止在汉明度量下检测所有单 qudit 误差的码具有横向非 Clifford 门）不适用于李度量码。作者展示了一个在 $\mathbb{Z}_{10}$ 上的完美两 qudit 码，它能纠正所有李权重为 1 的误差，却允许存在连续的横向逻辑门族。
• 量子比特化： 提供了一种使用 Gray 映射将 $\mathbb{Z}_4$ 码“量子比特化”的方法，将其转换为具有第三层 Clifford 层级横向门的非加性（non-additive）qubit 码。
• 距离界限： 证明了对于 Lee-LDPC 码，无论 $q$ 如何，其李距离都受限于 $O(n)$。这与一般码（其距离可以随固定的 $n$ 随 $q$ 增长）形成对比，凸显了稀疏校验构造在李度量下的基本局限性。
• 高温记忆： 证明了经典螺旋重复码可以通过对称性破缺在 $q$ 趋于无穷大的极限下，作为高温记忆实现指数级的长记忆时间。其量子超图积提供了具有 $Z$ 误差自纠错能力的局部 2D 码。

意义
本文认为，对于由小位移噪声主导的系统（如自旋量子比特），李度量提供了一个更真实且可能更强大的量子纠错框架。通过超越汉明度量，作者揭示了：

1. 效率： 当针对特定的噪声剖面（低权重位移）进行定制时，码可以更加高效（在相同的纠错能力下使用更少的物理资源）。
2. 新可能性： 李度量使得存在完美码和横向门集成为可能，而这些在汉明度量中是被禁止的，这挑战了像 Eastin-Knill 这样针对受限于小位移误差模型的标准无限制定理。
3. 可扩展性限制： 虽然大 $q$ 带来了优势，但本文指出了 Lee-LDPC 码存在一个硬性的 $O(n)$ 距离界限，这表明要在 LDPC 范畴内实现高距离、自纠错的量子存储器，仅仅依靠增加局部维度 $q$ 是不够的。

这项工作为量子码与实验误差模型的“协同设计（co-design）”奠定了基础，为利用物理 qudit 的高维希尔伯特空间来实现更鲁棒的量子计算提供了一条路径。