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

Basic Information

• Paper ID: 2501.17010
• Title: New Quantum MDS Codes with Flexible Parameters from Hermitian Self-Orthogonal GRS Codes
• Authors: Oisin Campion (University College Dublin), Fernando Hernando (Universitat Jaume I), Gary McGuire (University College Dublin)
• Classification: cs.IT (Information Theory), math.IT (Mathematical Information Theory)
• Publication Date: January 29, 2025
• Paper Link: https://arxiv.org/abs/2501.17010

Abstract

Let $q$ be a prime power, $\lambda > 1$ be a divisor of $q-1$, and $\tau > 1$ and $\rho > 1$ be divisors of $q+1$. Under specific conditions, the authors prove the existence of MDS stabilizer quantum codes of length $n = \lambda\tau\sigma$ (where $2 \leq \sigma \leq \rho$). This is a flexible construction method that includes previously unknown new MDS parameters.

Research Background and Motivation

1. Core Problem: Constructing quantum maximum distance separable (MDS) codes with flexible parameters, particularly codes with lengths in the range $q+1$ to $q^2+2$.
2. Significance:
   • Quantum MDS codes achieve the quantum Singleton bound, representing theoretically optimal quantum error-correcting codes
   • Possess important applications in quantum computing and quantum communication
   • The MDS conjecture restricts the length of $q$-ary quantum MDS codes to at most $q^2+2$
3. Limitations of Existing Methods:
   • MDS codes of length less than $q+1$ are already known to exist
   • Existing constructions primarily focus on codes with lengths that are multiples of $q-1$ or $q+1$
   • Lack of codes with lengths that are not multiples of $q-1$ or $q+1$ and minimum distance $d > q/2$
4. Research Motivation: Constructing new quantum MDS codes through Hermitian self-orthogonal generalized Reed-Solomon (GRS) codes, with particular focus on codes with lengths between $q+1$ and $q^2+2$ that are not multiples of $q-1$ or $q+1$.

Core Contributions

1. Main Theorem: Proves the existence of $[[n, n-2d+2, d]]_q$ quantum MDS codes under specific conditions, where $n = \lambda\tau\sigma$
2. Flexible Construction: Provides flexibility in parameter selection, with $\sigma$ selectable in the range $[\rho/\kappa, 2]$
3. New Parameters: Constructs previously unknown MDS parameters, particularly codes with lengths that are not multiples of $q-1$ or $q+1$
4. Explicit Twist Vectors: Unlike previous work proving existence of twist vectors, this paper provides explicit construction of twist vectors
5. Complete Analysis: Provides rigorous mathematical analysis of self-orthogonality guarantees through "failure point" theory

Methodology Details

Problem Formulation

Constructing quantum MDS codes satisfying the following conditions:

• Input: Prime power $q \geq 3$, divisor $\lambda > 1$ of $q-1$, divisors $\tau > 1, \rho > 1$ of $q+1$
• Constraints: $\gcd(\lambda, \tau) = 1$, $\rho/\kappa \geq 2$ (where $\kappa = \gcd(\lambda,\rho) \cdot \gcd(\tau,\rho)$)
• Output: $[[n, n-2d+2, d]]_q$ quantum MDS code, $n = \lambda\tau\sigma$

Model Architecture

1. Evaluation Set Construction

The evaluation set is defined as: $A := \{\zeta_\lambda^i \zeta_\tau^j \zeta_\rho^k : 0 \leq i < \lambda, 0 \leq j < \tau, 0 \leq k < \sigma\}$

where $\zeta_t$ denotes a primitive $t$-th root of unity.

2. Twist Vector Design

The twist vector $v$ satisfies: $v(i,j,k)^{q+1} := \zeta_\lambda^{-iL} \cdot s_k$

where:

• $L$ is a parameter to be optimized
• $s_0, \ldots, s_{\sigma-1} \in \mathbb{F}_q^*$ satisfy $\sum_{k=0}^{\sigma-1} s_k = 0$

3. Generalized Reed-Solomon Codes

Constructed through the evaluation map: $\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}))$

Technical Innovations

1. Hermitian Orthogonality Condition

Theorem 3.3: Two monomials $X^{e_1}, X^{e_2}$ have evaluation vectors that are orthogonal under the Hermitian inner product if and only if one of the following conditions holds:

1. $e_1 + e_2 \not\equiv L \pmod{\lambda}$
2. $e_1 \not\equiv e_2 \pmod{\tau}$
3. $e_1 \equiv e_2 \pmod{\rho}$

2. Failure Point Theory

Definition 4.1: A pair $(e_1, e_2)$ is called a failure point if:

1. $e_1 + e_2 \equiv L \pmod{\lambda}$
2. $e_1 \equiv e_2 \pmod{\tau}$
3. $e_1 \not\equiv e_2 \pmod{\rho}$

Parameter $L$ is optimized by analyzing the first failure point.

3. Case Analysis

Based on the parity of $\lambda$ and other conditions, three cases are distinguished:

Case 1 ($\lambda$ even): $T = \frac{\lambda + 4\tau}{2}$

Case 2 ($\lambda$ odd with specific conditions): $T = \lambda + \tau$

Case 3 ($\lambda$ odd, other cases): $T = \frac{\lambda + 3\tau}{2}$

Experimental Setup

Theoretical Verification

This paper is primarily a theoretical construction, verified through mathematical proofs rather than experimental validation.

Parameter Examples

The paper provides multiple concrete parameter instances to verify the effectiveness and novelty of the construction.

Experimental Results

Main Results

1. New Code Family Construction

Corollary 7.1: When $q \equiv 3 \pmod{8}, q > 3$, for any $2 \leq d \leq \frac{5q+1}{8}$, there exist $[[\frac{3(q^2-1)}{8}, k, d]]_q$ quantum MDS codes.

Corollary 7.2: For odd $q$ and specific conditions, there exist $[[\sigma\frac{q^2-1}{4m}, k, d]]_q$ quantum MDS codes.

2. Concrete Examples

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

3. Comparison with Known Constructions

By comparing with the parameter table in reference 12, the paper demonstrates that the constructed codes are indeed new and not covered by existing constructions.

Recovery of Known Families

The paper also demonstrates that the construction can reproduce some known code families, verifying the correctness of the method:

• Matches parameters from Theorem 4.5 in reference 5
• Matches parameters from Theorem 3.7 in reference 8
• Matches parameters from Theorem 3.3 in reference 13

Small Distance Examples

Corollary 7.7: When $q \equiv 1 \pmod{6}$, for any $2 \leq \sigma \leq (q+1)/2$, there exist $[[6\sigma, k, 5]]_q$ quantum MDS codes.

Corollary 7.8: When $q \equiv 5 \pmod{6}, q > 5$, there exist $[[6\sigma, k, 7]]_q$ quantum MDS codes.

Related Work

Main Research Directions

1. Stabilizer Quantum Codes: Construction methods based on classical additive codes
2. Quantum MDS Codes: Optimal codes achieving the quantum Singleton bound
3. GRS Code Methods: Using generalized Reed-Solomon codes for quantum code construction

Advantages of This Work

1. Explicit Construction: Unlike existence proofs, provides explicit forms of twist vectors
2. Parameter Flexibility: Offers more flexible parameter selection than existing methods
3. New Parameter Ranges: Constructs new codes with lengths that are not multiples of $q \pm 1$

Conclusions and Discussion

Main Conclusions

1. Successfully constructs new quantum MDS code families with flexible parameters
2. Proves that these codes are constructed for the first time in certain parameter ranges
3. Provides a complete theoretical analysis framework

Limitations

1. Distance Constraint: By reference 10, codes constructed using the GRS method satisfy $d \leq q+1$
2. Parameter Constraints: Must satisfy constraints such as $\gcd(\lambda,\tau) = 1$
3. Length Range: Primarily focuses on lengths between $q+1$ and $q^2+2$

Future Directions

1. Explore code constructions beyond the MDS conjecture range
2. Investigate construction methods for larger minimum distances
3. Extend to other types of quantum codes

In-Depth Evaluation

Strengths

1. Theoretical Rigor: Provides complete mathematical proofs and analysis framework
2. Methodological Innovation: Failure point theory provides new tools for analyzing self-orthogonality
3. Practical Value: Constructed codes have potential practical applications
4. Clear Presentation: Paper has clear structure and rigorous logic

Weaknesses

1. Computational Complexity: Does not discuss computational complexity of the construction algorithm
2. Encoding/Decoding: Does not address specific encoding and decoding algorithms
3. Performance Analysis: Lacks comparison with performance of other non-MDS codes

Impact

1. Theoretical Contribution: Provides new construction methods for quantum code theory
2. Application Prospects: Has potential applications in quantum communication and quantum computing
3. Reproducibility: Theoretical construction is easy to verify and reproduce

Applicable Scenarios

1. Theoretical research on quantum error-correcting codes
2. Code design for quantum communication systems
3. Quantum computing applications requiring high reliability

References

The paper cites 18 relevant references, primarily including:

• Classical literature on quantum stabilizer codes 1,4,9
• Recent work on quantum MDS code constructions 2,6,11,12
• Applications of GRS codes in quantum codes 7,10
• Related work on constrained cyclic codes 5,8,13

Overall Assessment: This is a high-quality theoretical paper that makes important contributions to quantum MDS code construction. The paper provides new parameter families with rigorous theoretical analysis, contributing positively to the development of this field.