Quantum codes in the Lee metric

기술 요약: 리 미터릭(Lee Metric)에서의 양자 코드

문제 제기
현재의 양자 오류 정정 이론적 프레임워크는 주로 큐비트(2-레벨 시스템)를 가정하며, 물리적 서브시스템의 개수를 세는 해밍 미터릭(Hamming metric)을 활용한다. 그러나 핵 스핀이나 초전도 회로와 같은 많은 물리적 플랫폼은 자연스럽게 $q > 2$인 $q$-레벨 시스템(qudits)을 갖는다. 이러한 시스템에서 오류는 임의의 파울리 플립(Pauli flip)이라기보다 위상 공간에서의 작은 이동(연속 변수 시스템의 변위 노이즈와 유사함)으로 모델링되는 경우가 많다. 결과적으로, 크기 $k$의 이동(예: $X^k$)은 크기 1의 이동과 물리적으로 구별되며, 발생 확률은 이동의 크기에 따라 감소하는 경향이 있다. 표준 해밍 미터릭은 동일한 수의 큐디트 상에서 작용한다면 $X^1$과 $X^k$를 동일한 가중치로 취급하므로 이러한 구조를 포착하지 못한다. 본 논문은 리 미터릭(Lee metric)을 사용하여 $X$와 $Z$ 이동의 크기에 따라 오류에 가중치를 부여함으로써(단순히 서포트 크기만이 아니라), $\mathbb{Z}_q$ 상의 양자 안정기 코드(quantum stabilizer codes)를 위한 체계적인 형식론을 개발하여 문헌의 공백을 메운다.

방법론
저자들은 고전적인 리 미터릭 코딩 이론을 양자 영역으로 확장하여, 리 미터릭에서의 양자 코드를 위한 포괄적인 이론적 프레임워크를 개발한다. 방법론은 다음과 같은 몇 가지 핵심 단계로 진행된다:

1. 미터릭 정의: 저자들은 $n$개의 큐디트에 대한 파울리 문자열 $X^x Z^z$에 대해 두 가지 미터릭을 정의한다:

   • 분리된 리 미터릭(Separate Lee Metric): CSS 코드에 적합한 쌍 $(|x|_L, |z|_L)$을 기록한다.
   • 결합 리 미터릭(Joint Lee Metric): 합 $|x|_L + |z|_L$을 기록한다. 큐비트의 경우, 이는 $Y$ 오류에 가중치 2를, $X$와 $Z$에는 가중치 1을 부여하며, 이는 $Y$ 오류가 독립적인 $X$ 및 $Z$ 프로세스로부터 발생한다는 가정을 반영한다.
     리 가중치 $|x|_L$은 $\sum \min(x_i, q-x_i)$로 정의된다.

2. 안정기 형식론(Stabilizer Formalism): 저자들은 리 미터릭을 사용하여 심플렉틱 안정기 형식론을 $\mathbb{Z}_q$로 일반화한다. 이들은 구 구형 충전 경계(sphere-packing bounds)를 유도하고 이러한 경계를 만족하는 **완벽 코드(perfect codes)**를 식별한다. 해밍 미터릭에서는 완벽 양자 코드가 드물고 거리 3으로 제한되는 것과 달리, 리 미터릭은 더 높은 거리와 다양한 파라미터를 가진 완벽 코드를 허용한다(예: $\mathbb{Z}_{10}$ 상의 단일 큐디트 완벽 코드).

3. CSS 코드와 토션(Torsion): 논문의 상당 부분은 합성 $q$에 대한 CSS 코드에 집중한다. 저자들은 패리티 검사 행렬의 **스미스 정규형(Smith Normal Form, SNF)**을 활용하여 코드 공간 구조를 분석한다. 이들은 논리 큐디트의 차원이 $q$를 나누지만 $q$보다는 작은 경우인 "토션 인자(torsion factors)"를 명시적으로 규명한다. 이를 통해 특정 차원을 가진 논리 연산자를 구성하고 명시적인 공액 쌍(conjugate pairs)의 논리 연산자를 유도할 수 있다.

4. 결함 허용성 및 게이트 확산(Fault Tolerance and Gate Spread): 논문은 클리포드 게이트(Clifford gates)의 리 오류 확산(Lee error spread, $w_B$) 개념을 도입하여, 게이트가 오류의 리 가중치를 얼마나 증가시킬 수 있는지 정량화한다. 이는 GKP 코드에서의 변위 오류 증폭과 유사하다. 저자들은 논리 게이트의 결함 거리가 코드 거리와 게이트의 확산 비율로 제한됨을 증명한다. 이들은 리 가중치를 정확히 보존하는 확산 1의 게이트(치환 및 푸리에 게이트)를 식별한다.

5. 그레이 맵을 통한 큐비트화(Qubitization via Gray Maps): 큐디트와 큐비트 아키텍처 사이의 간극을 메우기 위해, 저자들은 그레이 맵(Gray map)을 사용하여 $\mathbb{Z}_4$ 안정기 코드를 큐비트 코드로 변환한다. 이들은 이 맵이 $\mathbb{Z}_4^n$의 리 미터릭에서 $\mathbb{Z}_2^{2n}$의 해밍 미터릭으로의 등거리 사상(isometry)임을 입증한다. 결정적으로, $\mathbb{Z}_4$ 파울리 연산자는 큐비트 클리포드 게이트로 매핑되지만, $\mathbb{Z}_4$ 클리포드 게이트는 비-클리포드 게이트(T 및 CS 포함)를 포함하는 클리포드 계층의 세 번째 레벨로 매핑된다는 것을 보여준다.

6. 리-LDPC 코드 및 경계(Lee-LDPC Codes and Bounds): 저자들은 체크 행렬이 유한한 리 가중치를 갖는 리-LDPC 코드를 정의한다. 수론적 기하학(geometry of numbers)의 도구(전이 정리)를 사용하여, 임의의 비자명한 양자 리-LDPC 코드에 대해 리 거리는 $q$에 관계없이 균일하게 $O(n)$을 초과할 수 없음을 증명한다. 이는 LDPC 프레임워크 내에서 높은 거리를 가진 코드를 달성하기 위해 큰 $q$를 사용하는 것에 대한 장애물을 설정한다.

7. 자기 수정 및 메모리: 논문은 **헬리컬 반복 코드(helical repetition codes)**와 그 하이퍼그래프 곱(hypergraph products)을 조사한다. 저자들은 국소 메트로폴리스스 역학(local Metropolis dynamics) 하에서, 특정 고전적 헬리컬 코드가 충분히 큰 $q$에 대해 에너지 장벽과 엔트로피 효과 모두에 기인하여 고정된 온도에서 지수적으로 긴 메모리 시간을 나타낼 수 있음을 보여준다. 이를 하이퍼그래프 곱을 통해 양자 CSS 코드로 확장했을 때, 이 코드들은 $Z$ 오류에 대한 자기 수정 능력을 상속받지만, $X$ 오류의 자기 수정 여부는 미해결 과제로 남아 있다.

주요 기여 및 결과

• 형식론: 단일 및 결합 리 미터릭을 모두 사용하여 $\mathbb{Z}_q$ 코드에 대한 엄밀한 안정기 형식론을 구축하였으며, 여기에는 구 구형 충전 경계 및 완벽 코드의 분류가 포함된다.
• 큐비트 이점: 큐비트의 경우, 결합 리 미터릭(Y 오류를 두 번 계산)에 최적화하는 것이 해밍 미터릭에 최적화하는 것보다 더 높은 거리를 얻을 수 있음을 입증했다. 예를 들어, $[[9, 1, 5]]$ 리-거리 코드는 임의의 두 $X/Z$ 오류 또는 하나의 $Y$ 오류를 정정할 수 있는 반면, 두 개의 임의의 오류를 정정하는 가장 짧은 해밍-거리 코드는 11개의 큐비트를 필요로 한다.
• 완벽 코드: $\mathbb{Z}_{10}$ 상의 단일 큐디트 완벽 코드 및 $\mathbb{Z}_{3^m}$ 상의 코드 군을 포함한 새로운 완벽 양자 리 코드 가계(families)를 식별하였으며, 이는 동일한 파라미터에 대해 해밍 미터릭에서는 존재하지 않는 것들이다.
• 이스틴-크니그(Eastin-Knill) 위반: 해밍 미터릭에서 모든 단일 큐디트 오류를 탐지하는 코드에 대해 횡단적 비-클리포드 게이트를 금지하는 이스틴-크니그 정리가 리 미터릭 코드에는 적용되지 않음을 보여주었다. 저자들은 모든 리-가중치-1 오류를 정정하면서도 연속적인 횡단적 논리 게이트 집합을 허용하는 완벽한 2-큐디트 $\mathbb{Z}_{10}$ 코드를 제시한다.
• 큐비트화: 그레이 맵을 사용하여 $\mathbb{Z}_4$ 코드를 비-가법적(non-additive) 큐비트 코드로 변환하여 클리포드 계층의 세 번째 레벨에서 횡단적 게이트를 갖도록 하는 방법을 제공하였다.
• 거리 경계: 리-LDPC 코드의 경우 리 거리가 $q$에 관계없이 $O(n)$으로 제한됨을 증명하였다. 이는 일반적인 코드에서 $n$이 고정되었을 때 거리가 $q$와 함께 증가할 수 있는 것과 대조되며, 리 미터릭에서의 희소 체크(sparse-check) 구조의 근본적인 한계를 강조한다.
• 고온 메모리: 고전적 헬리컬 반복 코드가 큰 $q$의 극한에서 대칭성 깨짐 덕분에 지수적으로 긴 메모리 시간을 갖는 고온 메모리로 작동할 수 있음을 입증하였다. 이들의 양자 하이퍼그래프 곱은 $Z$ 오류에 대해 자기 수정이 가능한 국소 2D 코드를 제공한다.

의의
본 논문은 리 미터릭이 스핀 큐비트와 같이 작은 이동 노이즈가 지배적인 시스템에 대해 더 현실적이고 잠재적으로 더 강력한 양자 오류 정정 프레임워크를 제공한다고 주장한다. 저자들은 리 미터릭을 통해 다음과 같은 점들을 밝혀냈다:

1. 효율성: 특정 노이즈 프로파일(낮은 가중치의 이동)에 맞춤화될 때, 코드는 더 효율적일 수 있다(동일한 오류 정정 능력에 대해 더 적은 물리적 자원 사용).
2. 새로운 가능성: 리 미터릭은 해밍 미터릭에서는 금지된 완벽 코드와 횡단적 게이트 집합의 존재를 가능하게 하며, 이는 오류 모델이 작은 이동으로 제한될 때 이스틴-크니그와 같은 표준 불가능 정리(no-go theorems)에 도전한다.
3. 확장성 한계: 큰 $q$가 이점을 제공할 수 있지만, 본 논문은 리-LDPC 코드의 거리에 대한 엄격한 $O(n)$ 경계를 식별함으로써, LDPC 체계 내에서 높은 거리와 자기 수정 능력을 갖춘 양자 메모리를 달성하기 위해서는 단순히 국소 차원 $q$를 높이는 것 이상의 것이 필요함을 시사한다.

이 연구는 양자 코드와 실험적 오류 모델 간의 "공동 설계(co-design)"를 향한 기초적인 단계로서, 물리적 큐디트의 고차원 힐베르트 공간을 더 견고한 양자 컴퓨팅을 위해 활용할 수 있는 경로를 제시한다.