2025-11-10T03:11:03.166903

New Quantum MDS Codes with Flexible Parameters from Hermitian Self-Orthogonal GRS Codes

Campion, Hernando, McGuire
Let $q$ be a prime power. Let $λ>1$ be a divisor of $q-1$, and let $τ>1$ and $ρ>1$ be divisors of $q+1$. Under certain conditions we prove that there exists an MDS stabilizer quantum code with length $n=λτσ$ where $2\le σ\le ρ$. This is a flexible construction, which includes new MDS parameters not known before.
academic

New Quantum MDS Codes with Flexible Parameters from Hermitian Self-Orthogonal GRS Codes

基本信息

  • 论文ID: 2501.17010
  • 标题: New Quantum MDS Codes with Flexible Parameters from Hermitian Self-Orthogonal GRS Codes
  • 作者: Oisin Campion (University College Dublin), Fernando Hernando (Universitat Jaume I), Gary McGuire (University College Dublin)
  • 分类: cs.IT (Information Theory), math.IT (Mathematical Information Theory)
  • 发表时间: 2025年1月29日
  • 论文链接: https://arxiv.org/abs/2501.17010

摘要

设qq为素数幂，λ>1\lambda > 1为q−1q-1的因子，τ>1\tau > 1和ρ>1\rho > 1为q+1q+1的因子。在特定条件下，作者证明了存在长度为n=λτσn = \lambda\tau\sigma（其中2≤σ≤ρ2 \leq \sigma \leq \rho）的MDS稳定子量子码。这是一个灵活的构造方法，包含了之前未知的新MDS参数。

研究背景与动机

  1. 核心问题: 构造具有灵活参数的量子最大距离分离(MDS)码，特别是在长度范围q+1q+1到q2+2q^2+2之间的码。
  2. 重要性:
    • 量子MDS码达到量子Singleton界限，是理论上最优的量子纠错码
    • 在量子计算和量子通信中具有重要应用价值
    • MDS猜想限制了qq进制量子MDS码的长度最多为q2+2q^2+2
  3. 现有方法局限性:
    • 已知长度小于q+1q+1的MDS码已经存在
    • 现有构造主要集中在长度为q−1q-1或q+1q+1的倍数的码
    • 缺乏长度不是q−1q-1或q+1q+1倍数且最小距离d>q/2d > q/2的码
  4. 研究动机: 通过Hermitian自正交广义Reed-Solomon(GRS)码构造新的量子MDS码，特别关注长度在q+1q+1到q2+2q^2+2之间且不是q−1q-1或q+1q+1倍数的码。

核心贡献

  1. 主要定理: 证明了在特定条件下存在[[n,n−2d+2,d]]q[[n, n-2d+2, d]]_q量子MDS码，其中n=λτσn = \lambda\tau\sigma
  2. 灵活构造: 提供了参数选择的灵活性，σ\sigma可在[ρ/κ,2][\rho/\kappa, 2]范围内选择
  3. 新参数: 构造了之前未知的MDS参数，特别是长度不为q−1q-1或q+1q+1倍数的码
  4. 显式扭曲向量: 与以往证明扭曲向量存在性的工作不同，本文给出了扭曲向量的显式构造
  5. 完整分析: 通过"失效点"理论提供了自正交性保证的严格数学分析

方法详解

任务定义

构造满足以下条件的量子MDS码：

  • 输入：素数幂q≥3q \geq 3，q−1q-1的因子λ>1\lambda > 1，q+1q+1的因子τ>1,ρ>1\tau > 1, \rho > 1
  • 约束：gcd⁡(λ,τ)=1\gcd(\lambda, \tau) = 1，ρ/κ≥2\rho/\kappa \geq 2（其中κ=gcd⁡(λ,ρ)⋅gcd⁡(τ,ρ)\kappa = \gcd(\lambda,\rho) \cdot \gcd(\tau,\rho)）
  • 输出：[[n,n−2d+2,d]]q[[n, n-2d+2, d]]_q量子MDS码，n=λτσn = \lambda\tau\sigma

模型架构

1. 评估集构造

评估集定义为： A:={ζλiζτjζρk:0≤i<λ,0≤j<τ,0≤k<σ}A := \{\zeta_\lambda^i \zeta_\tau^j \zeta_\rho^k : 0 \leq i < \lambda, 0 \leq j < \tau, 0 \leq k < \sigma\}

其中ζt\zeta_t表示原始tt次单位根。

2. 扭曲向量设计

扭曲向量vv满足： v(i,j,k)q+1:=ζλ−iL⋅skv(i,j,k)^{q+1} := \zeta_\lambda^{-iL} \cdot s_k

其中：

  • LL是待优化的参数
  • s0,…,sσ−1∈Fq∗s_0, \ldots, s_{\sigma-1} \in \mathbb{F}_q^*满足∑k=0σ−1sk=0\sum_{k=0}^{\sigma-1} s_k = 0

3. 广义Reed-Solomon码

通过评估映射构造： evv,A:Fq2[X]<k→Fq2n,f↦(v0f(a0),…,vn−1f(an−1))\text{ev}_{v,A} : \mathbb{F}_{q^2}[X]_{<k} \to \mathbb{F}_{q^2}^n, \quad f \mapsto (v_0f(a_0), \ldots, v_{n-1}f(a_{n-1}))

技术创新点

1. Hermitian正交性条件

定理3.3: 两个单项式Xe1,Xe2X^{e_1}, X^{e_2}的评估向量在Hermitian内积下正交，当且仅当满足以下条件之一：

  1. e1+e2≢L(modλ)e_1 + e_2 \not\equiv L \pmod{\lambda}
  2. e1≢e2(modτ)e_1 \not\equiv e_2 \pmod{\tau}
  3. e1≡e2(modρ)e_1 \equiv e_2 \pmod{\rho}

2. 失效点理论

定义4.1: 如果(e1,e2)(e_1, e_2)满足：

  1. e1+e2≡L(modλ)e_1 + e_2 \equiv L \pmod{\lambda}
  2. e1≡e2(modτ)e_1 \equiv e_2 \pmod{\tau}
  3. e1≢e2(modρ)e_1 \not\equiv e_2 \pmod{\rho}

则称为失效点。通过分析第一个失效点来优化参数LL。

3. 分类讨论

根据λ\lambda的奇偶性和其他条件，分为三种情况：

情况1（λ\lambda偶数）：T=λ+4τ2T = \frac{\lambda + 4\tau}{2}

情况2（λ\lambda奇数且满足特定条件）：T=λ+τT = \lambda + \tau

情况3（λ\lambda奇数的其他情况）：T=λ+3τ2T = \frac{\lambda + 3\tau}{2}

实验设置

理论验证

本文主要为理论构造，通过数学证明验证方法的正确性，而非实验验证。

参数实例

论文提供了多个具体的参数实例来验证构造的有效性和新颖性。

实验结果

主要结果

1. 新码族构造

推论7.1: 当q≡3(mod8),q>3q \equiv 3 \pmod{8}, q > 3时，对任意2≤d≤5q+182 \leq d \leq \frac{5q+1}{8}，存在[[3(q2−1)8,k,d]]q[[\frac{3(q^2-1)}{8}, k, d]]_q量子MDS码。

推论7.2: 对奇数qq和特定条件，存在[[σq2−14m,k,d]]q[[\sigma\frac{q^2-1}{4m}, k, d]]_q量子MDS码。

2. 具体实例

  • q=11q = 11: [[45,33,7]]11[[45, 33, 7]]_{11} MDS码
  • q=83,m=7q = 83, m = 7: [[492,400,47]]83[[492, 400, 47]]_{83} MDS码
  • q=29,m=3q = 29, m = 3: [[280,234,24]]29[[280, 234, 24]]_{29} MDS码

3. 与已知构造的比较

通过与文献12中的参数表对比，证明了所构造的码确实是新的，不被现有构造覆盖。

匹配已知族

论文也展示了该构造可以重现一些已知的码族，验证了方法的正确性：

  • 匹配文献5中Theorem 4.5的参数
  • 匹配文献8中Theorem 3.7的参数
  • 匹配文献13中Theorem 3.3的参数

小距离实例

推论7.7: 当q≡1(mod6)q \equiv 1 \pmod{6}时，对任意2≤σ≤(q+1)/22 \leq \sigma \leq (q+1)/2，存在[[6σ,k,5]]q[[6\sigma, k, 5]]_q量子MDS码。

推论7.8: 当q≡5(mod6),q>5q \equiv 5 \pmod{6}, q > 5时，存在[[6σ,k,7]]q[[6\sigma, k, 7]]_q量子MDS码。

相关工作

主要研究方向

  1. 稳定子量子码: 基于经典加性码的构造方法
  2. 量子MDS码: 达到量子Singleton界限的最优码
  3. GRS码方法: 使用广义Reed-Solomon码构造量子码

本文优势

  1. 显式构造: 相比于存在性证明，给出了扭曲向量的显式形式
  2. 参数灵活性: 提供了比现有方法更灵活的参数选择
  3. 新参数范围: 构造了长度不为q±1q \pm 1倍数的新码

结论与讨论

主要结论

  1. 成功构造了具有灵活参数的新量子MDS码族
  2. 证明了这些码在某些参数范围内是首次被构造的
  3. 提供了完整的理论分析框架

局限性

  1. 距离限制: 由文献10可知，使用GRS方法构造的码满足d≤q+1d \leq q+1
  2. 参数约束: 需要满足gcd⁡(λ,τ)=1\gcd(\lambda,\tau) = 1等约束条件
  3. 长度范围: 主要关注q+1q+1到q2+2q^2+2之间的长度

未来方向

  1. 探索超出MDS猜想范围的码构造
  2. 研究更大最小距离的构造方法
  3. 扩展到其他类型的量子码

深度评价

优点

  1. 理论严谨: 提供了完整的数学证明和分析框架
  2. 方法创新: 失效点理论为分析自正交性提供了新工具
  3. 实用价值: 构造的码具有实际应用潜力
  4. 写作清晰: 论文结构清晰，逻辑严密

不足

  1. 计算复杂度: 未讨论构造算法的计算复杂度
  2. 编解码: 未涉及具体的编解码算法
  3. 性能分析: 缺乏与其他非MDS码的性能比较

影响力

  1. 理论贡献: 为量子码理论提供了新的构造方法
  2. 应用前景: 在量子通信和量子计算中有潜在应用
  3. 可复现性: 理论构造易于验证和复现

适用场景

  1. 量子纠错码的理论研究
  2. 量子通信系统的码设计
  3. 需要高可靠性的量子计算应用

参考文献

论文引用了18篇相关文献，主要包括：

  • 量子稳定子码的经典文献1,4,9
  • 近期量子MDS码构造工作2,6,11,12
  • GRS码在量子码中的应用7,10
  • 约束循环码相关工作5,8,13

总体评价: 这是一篇高质量的理论论文，在量子MDS码构造方面做出了重要贡献。论文提供了新的参数族，理论分析严谨，对该领域的发展具有积极意义。