[논문 리뷰] Asymmetric and Symmetric Subsystem BCH Codes and Beyond

Salah A. Aly|ArXiv.org|2008. 03. 06.

Quantum Computing Algorithms and Architecture참고 문헌 43인용 수 10

한 줄 요약

이 논문은 유한체 위에서 비대칭 및 대칭 서브시스템 BCH 코드를 도입하여, 큐비트 플립 오류와 위상 이동 오류의 발생 확률이 다를 경우에 해당하는 비대칭 양자 채널로의 양자 오류 수정을 확장한다. 고전적 BCH 및 리드-소로몬 코드를 활용하여 명시적인 매개변수를 가진 비대칭 양자 및 서브시스템 코드의 가족을 구성하고, 비대칭 싱글턴 및 허밍 경계를 수립하며, 최적의 비대칭 MDS 코드를 유도함으로써, $T_1 \ll T_2$ 동역학을 갖는 현실적인 노이지 양자 환경에서의 우수성을 입증한다.

ABSTRACT

Recently, the theory of quantum error control codes has been extended to subsystem codes over symmetric and asymmetric quantum channels -- qubit-flip and phase-shift errors may have equal or different probabilities. Previous work in constructing quantum error control codes has focused on code constructions for symmetric quantum channels. In this paper, we develop a theory and establish the connection between asymmetric quantum codes and subsystem codes. We present families of subsystem and asymmetric quantum codes derived, once again, from classical BCH and RS codes over finite fields. Particularly, we derive an interesting asymmetric and symmetric subsystem codes based on classical BCH codes with parameters $[[n,k,r,d]]_q$, $[[n,k,r,d_z/d_x]]_q$ and $[[n,k',0,d_z/d_x]]_q$ for arbitrary values of code lengths and dimensions. We establish asymmetric Singleton and Hamming bounds on asymmetric quantum and subsystem code parameters; and derive optimal asymmetric MDS subsystem codes. Finally, our constructions are well explained by an illustrative example. This paper is written on the occasion of the 50th anniversary of the discovery of classical BCH codes and their quantum counterparts were derived nearly 10 years ago.

연구 동기 및 목표

• 큐비트 플립 오류와 위상 이동 오류가 서로 다른 확률로 발생하는 양자 채널에 적합한 비대칭 양자 오류 제어 코드에 대한 이론적 프레임워크를 개발하는 것.
• 유한체 위에서의 고전적 BCH 및 리드-소로몬 코드를 활용하여 기존의 양자 및 서브시스템 코드 구성 방법을 비대칭 설정으로 일반화하는 것.
• 비대칭 양자 및 서브시스템 코드 매개변수에 대한 기본 경계—싱글턴 및 허밍 경계—를 수립하는 것.
• 최적의 비대칭 MDS 서브시스템 코드를 구성하고, 그 존재성과 매개변수를 입증하는 것.
• 대칭 양자 코드와 현실적인 비대칭 양자 노이즈 모델 간 격차를 메우며, 특히 $T_1 \ll T_2$ 조건을 갖는 경우에 초점을 맞추는 것.

제안 방법

• 두 고전적 코드 $C_1$ 및 $C_2$의 매개변수 $[n,k_1,d_1]_q$ 및 $[n,k_2,d_2]_q$ 를 사용하여 캘러드본-쇼-스타인(CSS) 구성법을 적용하여 비대칭 양자 코드를 형성한다.
• 비트 플립 및 위상 오류에 대한 별개의 오류 수정 능력을 정량화하기 위해 $d_x = \min\{\operatorname{wt}(C_1 \setminus C_2^\perp), \operatorname{wt}(C_2 \setminus C_1^\perp)\}$ 및 $d_z = \max\{\cdots\}$ 를 정의한다.
• 안정자 형식을 적용하여 매개변수 $[[n,k,r,d_x]]_q$ 를 갖는 서브시스템 코드(SSC) 및 매개변수 $[[n,k,r,d_z/d_x]]_q$ 를 갖는 비대칭 서브시스템 코드(ASSC)를 유도한다.
• 비대칭 싱글턴 경계를 유도: $k + r \leq n - d_x - d_z + 2$ 는 $[[n,k,r,d_z/d_x]]_q$ ASSC에 대해 성립하며, 비순수 코드에 대한 비대칭 허밍 경계를 유도한다.
• 고전적 BCH 및 RS 코드를 사용하여 명시적인 비대칭 양자 및 서브시스템 코드의 가족을 구성하며, 매개변수 $[[n,k,r,d]]_q$, $[[n,k,r,d_z/d_x]]_q$, 및 $[[n,k',0,d_z/d_x]]_q$ 를 갖는다.
• 모든 비대칭 서브시스템 코드가 비대칭 양자 코드의 특수한 경우로 볼 수 있으며, 반대로 모든 비대칭 양자 코드도 비대칭 서브시스템 코드의 특수한 경우로 볼 수 있음을 보여주며, 이는 쌍대성과 코드 분해를 통해 유도된다.

실험 결과

연구 질문

• RQ1 고전적 BCH 및 리드-소로몬 코드를 사용하여 큐비트 플립 오류와 위상 이동 오류의 발생 확률이 다를 경우를 고려한 비대칭 양자 오류 수정 코드를 구성할 수 있는가?
• RQ2 비대칭 양자 및 서브시스템 코드의 매개변수를 규명하는 데 기여하는 기본 경계—싱글턴 및 허밍 경계—는 무엇인가?
• RQ3 최적의 비대칭 MDS 코드는 어떻게 구성할 수 있으며, 이는 비대칭 싱글턴 경계를 등호로 만족하는가?
• RQ4 비대칭 양자 코드, 대칭 양자 코드, 서브시스템 코드 간의 매개변수 및 구조적 관계는 무엇인가?
• RQ5 서브시스템 코드 이론은 비대칭 양자 채널로 일반화될 수 있으며, 이는 고장 내성 양자 계산에 어떤 영향을 미치는가?

주요 결과

• 논문은 고전적 BCH 및 RS 코드를 기반으로 하여 매개변수 $[[n,k,r,d_z/d_x]]_q$ 를 갖는 명시적인 비대칭 양자 코드의 가족을 구성한다.
• 비대칭 싱글턴 경계를 수립: $k + r \leq n - d_x - d_z + 2$ 는 모든 비대칭 서브시스템 코드에 대해 성립하며, 최적의 비대칭 MDS 코드가 이 경계를 등호로 만족함을 보여준다.
• 순수 비대칭 서브시스템 코드에 대한 비대칭 허밍 경계를 유도: $\sum_{j=0}^{\lfloor(d_x-1)/2\rfloor} \binom{n}{j}(q^2-1)^j \leq q^n / (KK')$ 로서, 이는 양자 허밍 경계를 일반화한 것이다.
• 모든 비대칭 양자 코드 $[[n,k,d_z/d_x]]_q$ 가 비대칭 서브시스템 코드 $[[n,k,0,d_z/d_x]]_q$ 와 동치이며, 반대로도 성립함을 증명하여 두 클래스 간의 쌍대성을 확립한다.
• 일부 양자 BCH 코드가 LDPC 코드이기도 하며, 동일한 방법을 통해 비대칭 양자 LDPC 코드를 구성할 수 있음을 보여준다.
• 비대칭 서브시스템 코드의 구성 및 매개변수 유도 과정을 설명하는 예시를 제공한다.