[논문 리뷰] Entanglement-Assisted and Subsystem Quantum Codes: New Propagation Rules and Constructions

Gaojun Luo, Martianus Frederic Ezerman외 1명|arXiv (Cornell University)|2022. 06. 20.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 일반화된 리드-솔로몬(GRS) 코드의 에르미트 헐을 분석하여 양자 오류 수정 코드의 전파 규칙을 새롭게 제안한다. 특히 $k$-차원 GRS 코드에서 $(k-1)$-차원 에르미트 헐이 최대 거리 분리(MDS)인 경우를 구성함으로써, 싱글턴 유사 경계 하에서 최적의 양자 오류 수정 코드를 유도한다. 이는 근사적으로 전파 규칙이 유지되며, 최적의 양자 코드를 생성함을 보여준다.

ABSTRACT

This paper proposes new propagation rules on quantum codes in the entanglement-assisted and in quantum subsystem scenarios. The rules lead to new families of such quantum codes whose parameters are demonstrably optimal. To obtain the results, we devise tools to puncture and shorten codes in ways that ensure their Hermitian hulls have certain desirable properties. More specifically, we give a general framework to construct $k$-dimensional generalized Reed-Solomon codes whose Hermitian hulls are $(k-1)$-dimensional maximum distance separable codes.

연구 동기 및 목표

• 스태빌라이저 프레임워크를 초월하는 엔트랑글먼트 보조 및 서브시스템 양자 코드를 위한 새로운 전파 규칙을 개발하기 위해.
• EAQECC 및 서브시스템 프레임워크에서 최적의 양자 코드를 생성하는 체계적인 고전적 코드 설계의 부족을 해결하기 위해.
• 특히 GRS 코드와 같은 고전적 선형 코드를 식별하여, 그들의 에르미트 헐이 바람직한 MDS 성질을 가지도록 하여 최적의 양자 코드 설계를 가능하게 하기 위해.
• 펄스링크 및 단순화 작업이 최적의 헐 구조를 유지함을 보여주어, 양자 코드의 매개변수 최적화를 가능하게 하기 위해.
• 싱글턴 유사 경계에 매칭되거나 이를 근접하는 최적의 EAQECC 및 서브시스템 코드를 체계적으로 구성할 수 있는 일반적 프레임워크를 제공하기 위해.

제안 방법

• 저자는 일반화된 리드-솔로몬(GRS) 코드의 에르미트 헐을 분석하고, $k$-차원 GRS 코드에서 헐이 $(k-1)$-차원 MDS 코드가 되는 조건을 유도한다.
• 그들은 헐의 구조를 유지하면서 GRS 코드를 펄스링크 및 단순화하는 프레임워크를 제안하여, 결과적으로 고전적 코드가 최적의 매개변수를 유지하도록 한다.
• 전파 규칙는 [6]의 레마 1을 적용함으로써 유도되며, 이는 EAQECC의 매개변수와 고전적 원소의 헐 차원 및 쌍대 코드의 차원을 연결한다.
• 특정 조건 하에서 펄스링크가 헐 차원을 유지함을 활용하여, $c$ 개의 얽힌 쌍을 가진 새로운 EAQECC를 구성할 수 있다.
• 유사한 펄스링크 및 단순화 기법을 적용함으로써, 제어된 헐을 가진 고전적 코드를 활용하여 서브시스템 코드로의 일반화를 수행한다.
• 이론적 결과는 명시적인 구성과 기존 및 새로운 최적의 EAQECC 및 서브시스템 코드의 매개변수를 나열한 표를 통해 뒷받침된다.

실험 결과

연구 질문

• RQ1 스태빌라이저 프레임워크를 초월하여 최적성을 유지하는 엔트랑글먼트 보조 및 서브시스템 양자 코드를 위한 새로운 전파 규칙를 설정할 수 있는가?
• RQ2 특히 GRS 코드와 같은 고전적 선형 코드에서 어떤 조건이 그들의 에르미트 헐이 MDS이면서 차원이 $k-1$가 되도록 보장하는가?
• RQ3 고전적 코드에 대해 펄스링크 및 단순화 작업을 어떻게 적용하여 최적의 헐 구조를 유지하고 최적의 양자 코드를 생성할 수 있는가?
• RQ4 결과적으로 유도된 EAQECC 및 서브시스템 코드는 싱글턴 유사 경계를 충족하는가? 그리고 그 매개변수는 고전적 코드의 매개변수에서 체계적으로 유도될 수 있는가?
• RQ5 이 프레임워크는 비-MDS 고전적 코드 또는 다른 내적곱(Euclidean 등)으로 일반화되어 새로운 양자 코드 가족을 도출할 수 있는가?

주요 결과

• 저자는 $\mathbb{F}_{q^2}$ 위에서 $k$-차원 GRS 코드를 구성하여 그들의 에르미트 헐이 $(k-1)$-차원 MDS 코드가 되도록 하였으며, 이는 최적의 양자 코드 설계를 위한 핵심 요소가 된다.
• 이러한 코드를 펄스링크 및 단순화함으로써, 싱글턴 유사 경계 하에서 명백히 최적임을 입증한 $[[n, \kappa, \delta; c]]_q$ EAQECC의 새로운 가족을 도출하였다.
• 전파 규칙는 순수한 $[[n, \kappa, \delta]]_q$ 코드로부터 $[[n-s, \kappa, \geq \delta; s]]_q$ EAQECC를 구성할 수 있도록 하여, 기존 결과를 더 넓은 범주로 확장한다.
• 서브시스템 코드의 경우, 저자는 표 III에서 새로운 매개변수를 제시하였으며, 대부분의 항목이 최적이며 이전에 문헌에 보고되지 않은 바이다.
• 이 구성은 $q+1$를 초월하는 길이를 가진 최적의 서브시스템 코드를 도출하며, $n = q^2 - 1 - s$ 및 $n = q^2 - i(q+1) - s$의 경우를 포함하여 $\delta = k - s + 1$ 및 $r = k - s$를 달성한다.
• 결과는 제안된 방법이 싱글턴 유사 상한에 도달하거나 이를 근접하는 양자 코드를 생성함을 확인하며, 실용적 구현을 지원하기 위해 $q \in \{2,3\}$에 대해 명시적인 매개변수 표를 제공한다.