Extended and Entanglement-assisted Quantum Quasi-twisted Codes

技术摘要：扩展型与纠缠辅助型拟扭转量子码

问题陈述
构建高性能量子纠错码（QECC）和纠缠辅助量子纠错码（EAQECC）仍然是量子信息论中的一个关键挑战。从经典线性码构造稳定器 QECC 的一个主要约束是要求该经典码必须是埃尔米特自正交（Hermitian self-orthogonal）的。虽然拟循环（Quasi-Cyclic, QC）码已被广泛用于满足这一要求，但它们仅是更广泛的拟扭转（Quasi-Twisted, QT）码类中的一个特定子集。此外，现有方法往往难以在不具备严格自正交约束的情况下优化码参数或最大化纠缠利用率。本文旨在解决将代码构造范围从索引-2 QC 码扩展到索引-3 QT 码的需求，并开发能够在保持扩展过程中自正交性的同时实现最大纠缠 EAQECC 的技术。

方法论
作者通过专注于 $\mathbb{F}_{q^2}$ 上一生成元 $\lambda$-拟扭转（QT）码（索引为 3）的研究，提出了对先前研究的双重泛化。该方法分为三个主要阶段：

1. 代数框架： 研究定义了一类长度为 $3m$、索引为 3 的一生成元 $\lambda$-QT 码。其生成矩阵结构为 $G = (g(x), g(x)f(x), g(x)u(x))$，其中 $g(x)$ 整除 $x^m - \lambda$。作者建立了埃尔米特自正交的条件，具体要求 $\lambda^{q+1} = 1$ 且满足整除条件 $g^{\perp q}(x) \mid g(x)$。
2. 代码扩展： 本文引入了一种扩展构造技术。通过基于分量码的埃尔米特对偶码向生成矩阵添加特定的行，作者创建了一个扩展码 $C'$。作者证明，如果关于这些添加向量的汉明重量（或特征 $p$）满足特定条件，则扩展码 $C'$ 能够保持埃尔米特自正交性。这使得推导出具有改进参数（增加长度和维度）的稳定器 QECC 成为可能。
3. 纠缠辅助构造： 对于不严格要求自正交性或旨在最大化纠缠的情况，作者分析了矩阵 $HH^\dagger$ 的秩（其中 $H$ 是校验矩阵）。他们推导了涉及特定矩阵乘积谱的代数条件，以确保 $HH^\dagger$ 是满秩的。该条件保证了最大纠缠 EAQECC 的构造，其中所需的纠缠比特数（$c$）等于 $n-k$。

核心贡献

• 代码类的泛化： 本工作将以往关于索引-2 QC 码的研究扩展到了索引-3 QT 码，后者是一个更广泛的类别，当其中一个分量为零时，自然包含索引-2 的情况。
• 自正交扩展： 提出了一种新颖的扩展方法，该方法保留了一生成元索引-3 QT 码的埃尔米特自正交性。这使得系统地构造参数为 $[[3m+3, m+2\deg(g(x))-3, d]]_q$ 的稳定器 QECC 成为可能。
• 最大纠缠 EAQECCs： 本文提供了构建最大纠缠 EAQECCs 的特定代数准则。它展示了这些码可以实现参数 $[[3m, m-\deg(g(x)), d; 2m+\deg(g(x))]]_q$ 以及 $[[3m, 2m+\deg(g(x)), d^\perp_H; m-\deg(g(x))]]_q$。
• 计算验证： 利用 Magma 代数软件，作者计算了在 $\mathbb{F}_4$（四元码）上特定实例的码，以生成二进制量子码。

结果
作者展示了从扩展的索引-3 四元 QT 码中获得的数值结果。

• 稳定器码： 构造了若干具有改进参数的二进制稳定器 QECC。显著的例子包括：
  • 从 $[15, 4, 8]_4$ 码导出的 $[[18, 7, 4]]_2$。
  • 从 $[63, 16, 22]_4$ 码导出的 $[[66, 31, 9]]_2$。
  • 从 $[78, 18, 32]_4$ 码导出的 $[[81, 42, 8]]_2$。
    这些结果与现有的最佳已知线性码表（如 [25]）进行了对比，结果显示所构造的码在其长度和维度下达到了最优或近优参数。
• EAQECCs： 构造了一个具有参数 $[[15, 2, 6; 13]]_2$ 的特定最大纠缠 EAQECC，使用了 13 个纠缠比特（ebits）。

意义与主张
本文声称其主要意义在于成功将代码扩展技术应用于更广泛的索引-3 QT 码类。通过这种方式，它克服了以往局限于索引-2 QC 码的研究限制。作者断言，这种方法产生了“最优量子码”和“良好的最大纠缠 EAQECCs”。该工作证明了 QT 框架是生成具有增强参数的量子码的稳健基础，为通过稳定器和纠缠辅助机制提高量子通信可靠性提供了切实可行的路径。研究结论认为，这些构造通过有效的双重泛化，有效地扩展了具有卓越性能特征的可用量子码库。