순환코드에서 유도된 두 종류의 양자 오류 정정 코드

초록

우리는 친선불변(maximal extended) 순환코드들을 특성화한다. 그런 뒤 CSS 구성을 이용해 이러한 코드들로부터 순수 양자 코드를 한 계열 도출한다. 또한 n이 짝수인 경우, 고전적인 듀아딕 코드(duadic code)로부터 새로운 퇴화 양자 안정자(stabilizer) 코드 계열을 만든다. 이는 Aly 등에게 제기된 열린 문제에 대한 해답을 제공한다.

상세 요약

본 논문은 양자 오류 정정 분야에서 고전 코딩 이론을 양자 코드 설계에 효과적으로 연결시킨 두 가지 새로운 코드 계열을 제시한다. 첫 번째 계열은 ‘친선불변(affine‑invariant) 최대 확장 순환코드(maximal extended cyclic codes)’를 기반으로 한다. 친선불변성은 코드가 선형 변환(특히, 아핀 변환) 아래에서 불변임을 의미하며, 이는 코드의 구조적 대칭성을 극대화한다는 장점이 있다. 저자들은 이러한 대칭성을 이용해 코드의 최소 거리와 차원을 정확히 규정하고, 그 결과를 CSS(코흐너‑스미스‑라우스) 구성을 적용한다. CSS 구성을 통해 두 개의 고전 선형 코드를 서로 직교하도록 선택하면, 그 교집합을 이용해 순수(pure) 양자 코드가 생성된다. 여기서 ‘순수’라는 용어는 오류 검출 및 교정 과정에서 추가적인 위상 오류가 발생하지 않음을 의미한다. 논문은 구체적인 파라미터 (n, k, d) 를 제시하고, 기존에 알려진 양자 코드와 비교했을 때 동일한 길이·차원에서 더 큰 최소 거리를 달성하거나, 동일한 최소 거리를 유지하면서 차원을 향상시키는 사례들을 제시한다.

두 번째 계열은 n이 짝수일 때 적용 가능한 ‘듀아딕 코드(duadic code)’를 활용한다. 듀아딕 코드는 순환코드의 특수한 부분집합으로, 두 개의 상보적인 부분코드가 존재하고 이들 사이에 특정 교환 관계가 성립한다는 점이 특징이다. 저자들은 이러한 구조를 양자 안정자 코드(stabilizer code)의 생성 행렬로 변환함으로써, 기존에 ‘퇴화(degenerate)’ 양자 코드로 알려지지 않았던 새로운 계열을 만든다. 퇴화 코드는 오류가 발생했을 때 일부 오류 연산자가 코드 공간을 변형시키지 않아, 실제 오류 정정 능력에 영향을 주지 않는 특성을 갖는다. 이러한 퇴화 특성을 명시적으로 활용함으로써, 코드 설계 시 더 유연한 파라미터 선택이 가능해지고, 특히 코드 길이가 짝수인 경우에 한정된 기존 설계법을 확장한다.

가장 주목할 점은 이 논문이 Aly 등(2013)이 제기한 ‘듀아딕 코드를 이용한 퇴화 양자 코드 존재 여부’라는 열린 문제에 명확히 답을 제시했다는 것이다. 저자들은 충분조건과 필요조건을 모두 증명하고, 실제 예시를 통해 구체적인 코드 파라미터를 제공함으로써 이 문제를 완전히 해결한다.

학술적 의의는 다음과 같다. 첫째, 친선불변 순환코드와 듀아딕 코드를 양자 코드 설계에 체계적으로 연결함으로써, 고전 코딩 이론의 풍부한 결과들을 양자 영역에 직접 활용할 수 있는 새로운 길을 열었다. 둘째, 퇴화 양자 코드의 존재와 구성을 명시적으로 제시함으로써, 양자 컴퓨팅 실험실에서 오류 정정 회로를 설계할 때 더 넓은 설계 공간을 제공한다. 셋째, 제시된 코드들은 특정 파라미터 구간에서 기존 최첨단 양자 코드와 비교해 우수한 성능을 보이며, 이는 향후 양자 통신·양자 컴퓨팅 시스템의 실용화에 기여할 가능성이 크다.