[论文解读] Quantum two-block group algebra codes

Hsiang-Ku Lin, Leonid P. Pryadko|arXiv (Cornell University)|Jun 28, 2023

Coding theory and cryptography被引用 4

一句话总结

本文引入了量子两区块群代数（2BGA）码，这是一种新型的最小提升积（LP）码家族，通过用任意有限群（阿贝尔或非阿贝尔）替代循环群，对广义自行车码进行了推广。这些码保留了GB码的过完备稳定算符生成器结构，具备潜在的容错优势，并在某些情况下实现了线性距离扩展，突破了GB码的幂律距离界限。主要贡献在于系统性地构建并枚举了稳定算符权重 ≤8 的2BGA码，其性能优于以往的LP码与超图积码。

ABSTRACT

We consider quantum two-block group algebra (2BGA) codes, a previously unstudied family of smallest lifted-product (LP) codes. These codes are related to generalized-bicycle (GB) codes, except a cyclic group is replaced with an arbitrary finite group, generally non-abelian. As special cases, 2BGA codes include a subset of square-matrix LP codes over abelian groups, including quasi-cyclic codes, and all square-matrix hypergraph-product codes constructed from a pair of classical group codes. We establish criteria for permutation equivalence of 2BGA codes and give bounds for their parameters, both explicit and in relation to other quantum and classical codes. We also enumerate the optimal parameters of all inequivalent connected 2BGA codes with stabilizer generator weights $W \le 8$, of length $n \le 100$ for abelian groups, and $n \le 200$ for non-abelian groups.

研究动机与目标

• 开发一类新型量子LDPC码，其距离扩展性能超越先前构造的平方根界限。
• 通过用任意有限群（包括非阿贝尔群）替代循环群，推广广义自行车码，以突破现有距离限制。
• 建立置换等价性的判定准则，并推导出代码参数（包括距离与速率）的显式界限。
• 系统性地枚举稳定算符生成器权重 W ≤ 8、块长 n ≤ 100（阿贝尔群）与 n ≤ 200（非阿贝尔群）的最优2BGA码，识别出距离最大的码。

提出的方法

• 从有限群 G 的群代数 F[G] 上的两个可交换方阵构造2BGA码，推广广义自行车码的结构。
• 采用提升积（LP）构造框架，聚焦于两区块情形，以规避一般LP码的距离上界。
• 应用群代数理想与雅各布森根理论，确保非退化逻辑算符的存在性并稳定代码参数。
• 使用群代数元素的多项式表示，特别是阿贝尔群如 C_m × C_2 与非阿贝尔二面体群 D_m，以参数化码生成器。
• 利用代数数论与群代数中的对偶关系，推导出代码参数（距离、速率、权重）的显式界限。
• 对稳定算符权重 W ≤ 8 的所有非等价连通2BGA码进行详尽数值枚举，计算搜索覆盖阿贝尔与非阿贝尔群的群代数。

Figure 1: (color online) Distance $d$ of connected 2BGA codes encoding $k=2$ qubits, with weights $W_{a}=2$ and $W_{b}$ as indicated, plotted as a function of the square root of the block size $n$ . Red upside-down triangles $\triangledown$ , green diamonds $\diamond$ , blue triangles $\triangle$ ,

实验结果

研究问题

• RQ1 通过在码构造中用更一般的有限群替代循环群，能否将量子LDPC码的距离扩展性能提升至超越平方根界限？
• RQ2 由非阿贝尔群构造的2BGA码是否保留了广义自行车码的过完备稳定算符生成器结构，且该结构是否可提升容错潜力？
• RQ3 2BGA码在阿贝尔群与非阿贝尔群上的显式参数界限（尤其是距离与速率）为何？其性能与已知的LP码及超图积码相比如何？
• RQ4 2BGA码的置换等价性如何通过代数方法表征？其码等价类受何种对称性支配？
• RQ5 稳定算符生成器权重 W ≤ 8、块长 n ≤ 200 的所有最优2BGA码的完整集合为何？其参数为何？

主要发现

• 本文识别出2BGA码作为一类新型最小提升积（LP）码，可规避一般LP码的距离上界，具备实现线性距离扩展的潜力。
• 对于阿贝尔群，作者枚举了所有非等价连通2BGA码（W ≤ 8，n ≤ 100），发现存在 d = 10 的码（如 n = 56，m=14，k=4，d=10）。
• 对于非阿贝尔二面体群 D_m，作者枚举了所有此类码（W ≤ 8，n ≤ 200），包括一个 d = 8 的码（n = 64，m=16，k=8，d=8）。
• 该构造在某些情况下产生线性距离扩展，例如 n = 56 时 d = 10，超过平方根界限，且优于超图积码。
• 该方法成功将广义自行车码推广至非阿贝尔群，保留了过完备稳定算符生成器结构，使容错场景下的性能得以提升。
• 作者建立了2BGA码置换等价性的代数判定准则，实现了跨群类型的非等价码的分类与枚举。

Figure 2: (color online) As in Fig. 1 but for codes encoding $k=4$ qubits. In agreement with the results in Sec. IV.7 , there are no connected codes with $k>2$ and $W_{a}=W_{b}=2$ .