비가산 양자 코드와 고에탈·프레파라타 코드

본 논문은 비가산 양자 오류 정정 코드를 구성하기 위한 새로운 프레임워크를 제시한다. 기존의 안정자(stabilizer) 코드는 가산(additive) 구조에 기반해 GF(4) 위의 자기수준 코드를 이용해 설계되었으며, 이는 코드의 차원과 거리 사이에 제한을 만든다. 최근 몇몇 비가산 코드가 높은 차원을 제공한다는 것이 알려졌지만, 그 대부분은 그래프 상태나 수치 최적화에 의존해 찾기 어려운 구조였다. 저자들은 이러한 문제를 해결하기 위해, 일반적인 안정자 코드 C₀를 시작점으로 삼고, 그 정규자(N) 내의 코사트 대표 집합 T₀를 선택해 C₀의 Pauli 변환 이미지들을 직교 서브스페이스로 만든 뒤, 이들을 합쳐 새로운 양자 코드 C를 만든다. 이를 ‘union stabilizer code’라 명명하고, 정의와 정리들을 통해 차원은 |T₀|·2^{k}이며, 최소 거리는 T₀ 사이의 거리 하한에 의해 보장된다고 증명한다. 구체적인 구현을 위해 저자들은 고전 비선형 코드인 고에탈(G(m))과 프레파라타(P(m)) 코드를 활용한다. 두 코드는 모두 Reed–Muller 코드 RM(m−3,m)의 코사트 합집합이며, RM(m−2,m) 안에 포함되는 계층 구조를 가진다. 고에탈 코드는 2^{m²−2m+2}개의 코사트를, 프레파라타 코드는 2^{m²−m+1}개의 코사트를 가진다. 이를 기반으로 CSS 형태의 안정자 코드 C₀ (예: