기술 요약: 중성 원자 배열을 위한 자가 교정 양자 코드 연구

1. 문제 정의

결함 허용 양자 컴퓨팅의 발전에는 낮은 오버헤드를 가진 양자 오류 정정 코드(QECC)가 필요하다. 표면 코드는 널리 사용되지만, 물리적 큐비트 오버헤드가 높다는 단점이 있다. 이변량 바이사이클(Bivariate bicycle, BB) 코드는 비로컬 연결성을 활용하여 훨씬 적은 수의 물리적 큐비트로 경쟁력 있는 성능을 제공하는 유망한 대안으로 부상했다. 그러나 BB 코드는 유한 차원 유클리드 임베딩에 의해 제약을 받으며, 이는 궁극적인 스케일링 특성을 제한한다.

양자 메모리의 핵심 과제는 "수동적(passive)" 또는 "자가 교정(self-correcting)" 오류 정정을 구현하는 것이다. 전통적인 능동 디코딩은 회로 중간 측정과 피드백을 필요로 하며, 이는 지연 시간과 복잡성을 유발한다. 자가 교정 메모리에서 영감을 얻은 수동 디코딩은 오류를 지속적으로 억제하기 위해 로컬하고 상수 깊이인 회로(종종 측정이 필요 없는)를 사용한다. 4D 토릭 코드는 자가 교정을 보여주지만, 물리적으로 구현하기 어려운 고차원 연결성을 요구한다. 저자들은 비로컬 연결성을 처리할 수 있는 중성 원자 플랫폼에 특화되어, BB 코드의 낮은 오버헤드와 자가 교정의 잠재력을 결합할 수 있는 양자 저밀도 패리티 검사(LDPC) 코드가 존재하는지 조사한다.

2. 방법론

2.1. 코드 구성: ZSZ 코드

저자들은 BB 코드의 비가환 일반화로 정의되는 양자 LDPC 코드 계열인 ZSZ 코드를 소개한다.

• 대수적 기초: 이 코드는 2블록 군 대수(Two-Block Group Algebra, 2BGA) 프레임워크를 사용하여 구축된다. 이들은 프레젠테이션 $\langle x, y \mid x^\ell = y^m = yxy^{-1}x^{-q} = 1 \rangle$에 의해 정의되는 준직적 곱 군 $G = \mathbb{Z}_\ell \rtimes_q \mathbb{Z}_m$을 활용한다 (여기서 $qm \equiv 1 \pmod \ell$).
• 트위스트 메커니즘: BB 코드(아벨 사례 $q=1$에 해당)와 달리, ZSZ 코드는 $y$가 $x$에 작용하는 방식이 비자명한($yxy^{-1} = x^q$) "트위스트"(준직적 곱)를 채택한다. 이는 큐비트와 패리티 검사 사이의 미시적 연결 규칙을 수정한다.
• 구조: 이 코드는 각 패리티 검사가 6개의 큐비트를 포함하고 각 큐비트가 6개의 검사(X형 3개, Z형 3개)에 참여하는 CSS 코드이다. 패리티 검사 행렬 $H_X$와 $H_Z$는 군 대수 원소 $a, b \in \mathbb{F}_2[G]$의 좌측 정규 표현 및 우측 정규 표현으로부터 구성된다.
• 기하학적 구조: 코드는 큐비트가 주기적 경계를 가진 $\ell \times m$ 격자의 링크에 거주하는 2D 직사각형 임베딩을 허용한다. 비가환 트위스트는 연결성을 변화시켜, 표준적인 BB 코드의 직사각형 격자와는 다른 케일리 그래프(Cayley graph) 구조를 생성한다.

2.2. 수치 시뮬레이션

저자들은 두 가지 구별된 디코딩 전략을 사용하여 코드 성능을 평가하기 위해 회로 수준의 탈분극 노이즈 모델 하에서 광범위한 수치 시뮬레이션을 수행했다.

1. 글로벌 디코딩 (능동): $d$ 라운드의 증후(syndrome) 추출 후 글로벌 벨리프 프로파게이션 및 순서 통계 디코더(BP+OSD)를 시뮬레이션한다.
2. 수동 디코딩 (자가 교정): 로컬하고 싱글 샷(single-shot)인 "그리디(greedy)" 디코더를 사용하여 100 라운드 이상의 증후 추출을 시뮬레이션한다. 이 디코더는 제로 온도 깁스 샘플러(Gibbs sampler)로서 작동하며, 중간 측정을 수행하지 않고 증후 가중치를 최소화하기 위해 로컬 수정을 적용한다.

2.3. 하드웨어 구현 제안

본 논문은 움직이는 트위저 배열에 갇힌 중성 원자 배열에서 ZSZ 코드를 구현하기 위한 구체적인 전략을 제안한다.

• 증후 추출: 증후 큐비트가 광학 트위저를 통해 데이터 큐비트에 결합되는 단일 앤실라(ancilla) 증후 추출 프로토콜이 설계되었다.
• 라우팅: 저자들은 원자 배열을 이동시키기 위한 아코스틱-광학 편향기(AOD)를 사용하는 라우팅 프로토콜을 상세히 설명한다. 라우팅 복잡도는 수평 섹터(좌측 케일리 그래프 라우팅)의 경우 $O(\log \ell)$이고, 수직 섹터(우측 케일리 그래프 라우팅)의 경우 $O(m)$이다. 로그 직경($m = O(\log \ell)$)을 갖는 코드의 경우, 총 라우팅 복잡도는 $O(\log \ell)$이다.

3. 주요 기여 및 결과

3.1. 코드 특성

• 확장 및 가둠(Expansion and Confinement): 이론적 분석에 따르면 ZSZ 코드는 케일리 그래프에서 작은 집합 확장(small-set expansion)을 보이며, 이는 작은 오류 집합에 대해 선형 가둠(linear confinement)으로 이어진다. 이는 BB 코드가 동일한 영역에서 이 특성을 보이지 않는 것과 대조되는, 자가 교정을 위한 필수 조건이다.
• 파라미터: 저자들은 다양한 논리 큐비트 수($k$)와 추정된 거리($d$)를 가진 여러 후보 코드(예: ZSZ144, ZSZ288, ZSZ756)를 식별했다.

3.2. 글로벌 디코딩 하의 성능

• $d$ 라운드의 증후 추출과 BP+OSD 디코딩 하에서, ZSZ 코드는 회로 수준의 탈분극 노이즈 하에서 약 **0.5%**의 임계값(threshold)을 보여준다.
• 이 성능은 동일한 모델 하에서 표면 코드(추정 임계값 ~0.8%) 및 BB 코드와 경쟁할 만한 수준이며, 동시에 훨씬 더 많은 논리 큐비트를 물리적 크기 대비 효율적으로 인코딩한다.

3.3. 수동 디코딩 하의 성능

• 로컬 그리디 디코더를 사용할 때, 저자들은 ZSZ 코드에서 약 **0.095%**의 지속 가능한 임계값을 관찰했다.
• 비교: 이 임계값은 동일한 노이즈 모델과 디코더 하에서 4D 토릭 코드의 추정 지속 가능 임계값인 **0.06%**보다 눈에 띄게 높다.
• BB 코드와의 대조: 결정적으로, 저자들은 동일한 수동 디코딩 체계 하에서 BB 코드가 지속 가능한 임계값을 보인다는 증거를 발견하지 못했다. 이는 ZSZ 코드의 비가환 트위스트가 수동 교정에 유리한 방식으로 오류 정정 역학을 근본적으로 변화시킨다는 것을 시사한다.
• 자원 효율성: ZSZ756 코드는 동일한 수의 논리 큐비트를 위해 4개의 $L=4$ 4D 토릭 코드를 사용하면서도 데이터 큐비트의 약 12%만을 사용하여 이를 능가한다.

3.4. 구현 가능성

본 논문은 ZSZ 코드를 위한 완전한 증후 추출 라운드가 원자 배열의 단순한 글로벌 움직임(그리드 전송 및 순환 이동)을 사용하여 달성될 수 있음을 입증한다. 라우팅 복잡도($O(\log \ell)$)가 BB 코드($O(1)$)보다는 높지만, 로그 스케일이며 하이퍼그래프 곱 코드(hypergraph product codes)와 유사한 수준이므로 중성 원자 아키텍처에서 구현 가능하다.

4. 의의 및 주장

본 논문은 ZSZ 코드가 확장 가능한 자가 교정 양자 메모리의 유망한 후보임을 주장한다. 주요 의의는 단순한 비가환 BB 코드의 일반화가 다음과 같은 결과를 낼 수 있음을 입증했다는 데 있다:

1. 우수한 수동 성능: 4D 토릭 코드(자가 교정의 벤치마크)보다 높은 지속 가능한 임계값을 갖는 수동 디코딩 성능을 보여준다.
2. 하드웨어 호환성: ZSZ 코드가 요구하는 비로컬 연결성을 처리하기에 매우 적합한 중성 원자 플랫폼을 위한 실행 가능한 경로를 제공한다.
3. 새로운 패러다임: 비가환 군 구조를 활용하면 중등도 코드 길이에서도 아벨 대응물(BB 코드)에는 존재하지 않는 질적 행동(자가 교정과 같은)을 가진 양자 코드를 설계할 수 있음을 시사한다.

저자들은 관찰된 임계값이 특정 노이즈 모델과 디코더에 기반하고 있다는 점을 언급하며 즉각적인 실용성에 대해서는 신중한 태도를 유지한다. 그들은 증후 추출 스케줄링 최적화, 훅 에러(hook errors) 완화, 그리고 이 코드들을 위한 결함 허용 상태 준비 및 논리 게이트 프로토콜 개발을 위한 추가 연구가 필요함을 인정한다. 그러나 지속 가능한 임계값이 4D 토릭 코드보다 높다는 수치적 증거는 ZSZ 코드가 측정 불필요한(measurement-free) 확장 가능한 양자 메모리를 향한 중요한 진전임을 확립한다.