[논문 리뷰] Nonbinary Quantum Stabilizer Codes

Alexei Ashikhmin, Emanuel Knill|ArXiv.org|2000. 05. 01.

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

한 줄 요약

이 논문은 유한체 $\mathbb{F}_{q^2}$ 위의 자기수직 코드를 사용하여 비이진 양자 정규화 코드를 구성하는 일반적 프레임워크를 수립한다. 여기서 $q = p^m$는 소수 거듭제곱이다. 비이진 오류 기저와 추적 기반 내적을 통해 이분법 정규화 코드 구성 방식을 일반화함으로써, $q$-항 양자 코드를 고전적 자기수직 코드와 연결시켜, 알려진 매개변수와 최소 거리를 갖는 양자 코드를 직접 구성할 수 있게 한다.

ABSTRACT

We define and show how to construct nonbinary quantum stabilizer codes. Our approach is based on nonbinary error bases. It generalizes the relationship between selforthogonal codes over $GF_{4}$ and binary quantum codes to one between selforthogonal codes over $GF_{q^2}$ and $q$-ary quantum codes for any prime power $q$.

연구 동기 및 목표

• 소수 거듭제곱 $q$에 대해 $\mathbb{F}_{q^m}$ 위의 비이진 양자 시스템으로 이분법 시스템을 넘어서 양자 정규화 코드 이론을 확장하기 위해.
• 고전적 $\mathbb{F}_{q^2}$ 위의 자기수직 코드를 사용하여 $q$-항 양자 정규화 코드의 체계적 구성 방법을 수립하기 위해.
• 이론적 도구를 사용하여 이분법 $\mathbb{F}_4$ 기반 정규화 코드 구성 방식을 임의의 소수 거듭제곱 차원으로 일반화하기 위해.
• 기존의 양호한 고전적 자기수직 코드와 최소 거리가 높은 새로운 비이진 양자 코드 사이의 다리를 놓기 위해.
• 특정 추적 기반 내적에 대해 $\mathbb{F}_{p^m}$-선형 코드가 자기수직일 경우, 예측 가능한 매개변수를 갖는 유효한 양자 코드가 도출됨을 보여주기 위해.

제안 방법

• 유한체 $\mathbb{F}_{p^m}$ 에서의 추적 함수 $\mathop{tr}: \mathbb{F}_{p^m} \to \mathbb{F}_p$ 를 통해 정의된 비이진 오류 기저를 사용하여, $p^m$ 차원 힐베르트 공간에서 양자 오류 연산자를 정의한다.
• 벡터 공간 $\mathbb{F}_{p^m}^n \times \mathbb{F}_{p^m}^n$ 에서의 심플렉틱 내적을 $({\bf a},{\bf b}) * ({\bf a}',{\bf b}') = \mathop{tr}(\langle{\bf a},{\bf b}'\rangle_* - \langle{\bf a}',{\bf b}\rangle_*)$ 로 정의하며, 여기서 $\langle{\bf a},{\bf b}\rangle_* = \sum_i a^{(i)}b^{(i)}$ 이다.
• 이 내적에 대해 자기수직인 고전적 $\mathbb{F}_p$-선형 코드 $C \subseteq \mathbb{F}_{p^m}^{2n}$ 로부터 양자 정규화 코드를 구성한다.
• 기저 벡터 $({\bf a}_i, \phi({\bf b}_i))$ 를 $C$ 에서 선택하며, $\phi$ 는 추적 형식에 의해 유도된 동형사상이다. 이로 인해 $|C| = p^r$ 일 때 차원이 $p^{mn - r}$ 인 코드가 유도된다.
• 벡터 $C^\perp \setminus C$ 의 무게를 사용하여 최소 거리 $d = \min\{\mathop{wt}({\bf v}) \mid {\bf v} \in C^\perp \setminus C\}$ 를 결정한다.
• Bierbrauer와 Edel 이 제안한 자기수직 코드의 기존 구성 방법을 응용하여, 양호한 매개변수를 갖는 구체적인 양자 코드를 생성한다.

실험 결과

연구 질문

• RQ1 소수 거듭제곱 $q$ 에 대해, 고전적 코드를 $\mathbb{F}_{q^2}$ 에서 구성할 때 비이진 양자 정규화 코드를 어떻게 체계적으로 구성할 수 있는가?
• RQ2 이분법 $\mathbb{F}_4$ 기반 정규화 코드 구성 방식을 고차원 양자 시스템으로 어떻게 일반화할 수 있는가?
• RQ3 추적 함수와 관련된 내적의 선택이 자기수직 조건과 결과적으로 얻어지는 코드 매개변수에 어떤 영향을 미치는가?
• RQ4 기존의 고전적 자기수직 코드 가족을 활용하여 최소 거리가 높은 새로운 비이진 양자 코드를 구성할 수 있는가?
• RQ5 $\mathbb{F}_{p^m}$-선형성과 추적 기반 내적 하에서의 자기수직 조건 간의 관계는 양자 코드 구성 맥락에서 어떻게 설명될 수 있는가?

주요 결과

• 논문은 $q = p^m$ 일 때, $\mathbb{F}_{q^2}$ 위에서 차원 $r$ 의 자기수직 고전적 코드 $C$ 를 사용하여 추적 기반 내적을 통해 $[[n, mn - r]]_q$ 양자 정규화 코드를 구성한다.
• 유도된 양자 코드의 최소 거리는 $d = \min\{\mathop{wt}({\bf v}) \mid {\bf v} \in C^\perp \setminus C\}$ 로, 이는 쌍대 코드의 무게 분포에 따라 결정된다.
• 기존의 자기수직 고전적 코드에서 유도된 명시적 양자 코드들이 제시되며, 이는 $[[q^r, q^r - (r+2), 3]]_q$, $[[q^2+1, q^2 - 3, 3]]_q$, 그리고 $d=3$ 인 다른 코드들을 포함한다.
• 이 구성 방법은 $\mathbb{F}_{p^m}$-선형 코드가 추적 내적 하에서 자기수직일 경우 유효한 양자 코드가 도출됨을 보장하며, 이러한 코드는 일반적인 $\mathbb{F}_p$-선형 코드보다 우수한 성능을 보일 것으로 기대된다.
• Bierbrauer와 Edel 이 제안한 고전적 자기수직 코드와 비이진 양자 정규화 코드 사이의 직접적인 연결을 수립하여, 그들의 구성 방법을 즉각적으로 적용할 수 있게 한다.
• 이 프레임워크는 이분법 사례($q=2$)를 일반화하며, 체 이론적 심플렉틱 형식을 사용하여 비이진 양자 정규화 코드에 대한 통합적인 접근을 제공한다.