Single-Shot Decoding and Fault-tolerant Gates with Trivariate Tricycle Codes

기술 요약: 트리베리에이트 트라이사이클(Trivariate Tricycle) 코드를 이용한 싱글샷 디코딩 및 결함 허용 게이트

문제 정의
양자 오류 정정(QEC)은 대규모 양자 컴퓨팅을 위해 필수적이다. 표면 코드(surface code)는 성숙한 후보이지만, 양자 이득을 달로하기 위한 자원 오버헤드가 높다. 결과적으로, 더 나은 인코딩 비율과 상대적 거리를 제공하는 양자 저밀도 패리티 체크(qLDPC) 코드에 대한 요구가 높아지고 있다. 그러나 기존의 qLDPC 후보들은 바람직한 결함 허용 특성들(높은 회로 수준 노이즘 하에서의 임계값, 싱글샷 디코더 가능성(상당한 정확도 손실 없이 상수 개의 신드롬 라운드로부터 디코딩 가능), 그리고 풍부한 트랜스버설 또는 상수 깊이 논리 게이트(클리프ord 및 논-클리포드 모두 포함))를 동시에 갖추지 못한 경우가 많다. 이변량 바이사이클(bivariate bicycle, BB) 코드는 일부 영역에서 유망함을 보여주었으나, 높은 임계값, 싱글샷 능력, 그리고 효율적인 논-클리포드 게이트 구현을 결합한 포괄적인 코드 패밀리는 부족한 실정이었다.

방법론
저자들은 세 개의 트리베리에이트 다항식($A, B, C$)이 그룹 대수 $\mathbb{F}_2[G]$ (여기서 $G = \mathbb{Z}_\ell \times \mathbb{Z}_m \times \mathbb{Z}_p$) 위에 정의된 길이-3 체인 복합체(chain complex)를 기반으로 하는 BB 코드의 일반화인 트리베리에이트 트라이사이클(Trivariate Tricycle, TT) 코드를 소개한다.

• 구성: TT 코드는 세 개의 길이-1 체인 복합체의 텐서 곱으로부터 유도된 경계 사상(boundary maps)에 의해 정의되는 패리티 체크 행렬 $H_X$와 $H_Z$를 가진 CSS 코드이다. 핵심 특징은 $Z$-체크의 중복성을 인코딩하는 **메타 체크(meta-checks, $M_Z$)**의 포함이다.
• 레이아웃: TT 코드는 주기적 경계 조건과 추가적인 장거리 연결을 가진 3D 입방 격자(cubic lattice) 상에 배치될 수 있다. 3D 토릭 코드(3DTC)는 이 구성의 특정 사례로 식별된다.
• 분석: 저자들은 논리 큐비트의 수($k$)에 대한 해석적 표현식을 유도하고, 메타 체크 거리($d_M$)가 코드의 $Z$-거리($d_Z$)와 같음을 증명한다. 또한 코드 파라미터를 개선하기 위해 다항식 계수에 대한 수치적 탐색을 수행한다.
• 시뮬레이션: 성능은 현상론적(phenomenological) 및 회로 수준(circuit-level) 노이즈 모델 하에서 평가된다. 디코딩은 BP+OSD(Ordered Statistics Decoding을 결합한 Belief Propagation) 디코더를 사용하여 수행된다. 싱글샷 디코딩을 위해 중첩 윈도우(overlapping window) 전략이 채택된다.
• 게이트 구현: 저자들은 시프트 자기동형사상(shift automorphisms), 블록 간의 트랜스버설 CZ 게이트, 그리고 코호몰로지 컵 곱 형식론(cohomological cup product formalism)으로부터 유도된 상수 깊이 CCZ 회로를 통해 논리 게이트를 분석한다.

주요 기여 및 결과

1. 코드 파라미터 및 효율성:

   • 저자들은 3DTC를 능가하는 여러 TT 코드를 수치적으로 식별하였다. 예를 들어, $[[432, 12, 12]]$ TT 코드는 12개의 논리 큐비트를 인코딩하며, 동일한 3DTC 인코딩보다 48배 적은 데이터 큐비트를 사용하여 $Z$-거리 12를 달성한다.
   • TT 코드는 비대칭 거리($d_X \ge d_Z$)를 가지며, 이는 편향된 노이즈(biased noise)가 있는 아키텍처에 유리할 수 있다.
   • 이 코드들은 $d_Z$와 동일한 "메타 체크 거리"를 가지며, 이는 싱글샷 디코딩에 필수적인 속성이다.

2. 임계값 및 싱글샷 디코더 가능성:

   • 회로 수준 노이즈: 회로 수준 노이즈 하에서, TT 코드는 $Z$ 에러 채널에서 약 0.3%, $X$ 에러 채널에서 약 1%(싱글샷 디코딩 사용 시)의 임계값을 보여준다.
   • 싱글샷 성능: 중첩 윈도우 전략을 사용한 수치 시뮬레이션은 TT 코드가 $Z$ 에러 채널에서 싱글샷 디코더 가능성을 보유하고 있음을 확인해 준다. 논리 에러율은 윈도우 크기가 증가함에 따라 정체(plateau)되는데, 이는 상당한 정확도 저하 없이 상수 개의 신드롬 라운드만으로 디코딩을 수행할 수 있음을 나타낸다.
   • $X$ 메모리 실험은 강력한 에러 억제를 보여주며, 의사 임계값(pseudo-thresholds)이 3DTC보다 일관되게 높게 나타난다.

3. 결함 허용 게이트:

   • 자기동형사상 및 트랜스버설 게이트: 코드는 블록 내에서 클리포드 게이트를 수행하는 시프트 자기동형사상을 지원한다. 또한, 두 코드 블록 사이에서 트랜스버설 CZ 게이트를 구현할 수 있으며, 이는 특정 논리 큐비트 집합에는 작용하고 다른 집합에는 항등 연산자로 작용한다.
   • 상수 깊이 CCZ: 저자들은 상수 깊이(깊이-2) 물리적 CCZ 회로를 허용하는 TT 코드의 하위 구성(특히 무게-2 다항식을 가진 $(2,2,2)$ 코드)을 식별하였다. 이 회로는 세 개의 코드 블록에 걸쳐 논리적 CCZ 게이트를 구현한다.
   • 성능 비교: 논리 CCZ 게이트를 지원하는 $[[48, 3, 4]]$ $(2,2,2)$ TT 코드는 동일한 $Z$-거리를 가진 일반적인 3DTC에 필요한 데이터 큐비트의 1/4만을 사용한다.
   • 거리-2 코드: 저자들은 CCZ 게이트를 지원하지만 일부 논리 큐비트에 대해 $Z$-거리가 2인 더 높은 인코딩 비율을 가진 코드들도 탐구한다. 이들은 $Z$ 기저에서는 에러 검출(error-detecting)만 가능하지만, 저자들은 이러한 큐비트들을 게이지 고정(gauge-fixing)함으로써 추가적인 트랜스버설 CZ 게이트를 가진 더 높은 거리의 에러 정정 코드를 얻을 수 있음을 보여준다.

의의
본 논문은 TT 코드가 여러 핵심적인 결함 허용 특성들을 단일 패밀리로 통합함으로써 qLDPC 코드 설계의 중요한 진전을 이루었다고 주장한다. 그 의의는 다음과 같다:

• 자원 효율성: 동일한 논리적 거리와 용량에 대해 3DTC와 비교하여 큐비트 오버헤드의 상당한 감소를 입증하였다.
• 디코딩 효율성: 싱글샷 디코더 가능성에 대한 증거를 제공함으로써, 디코딩에 필요한 시간 오버헤드와 클래식 계산 자원을 줄여준다.
• 게이트 범용성: 상수 깊이 회로를 통해 논-클리포드 게이트(CCZ)를 구현하는 경로를 제공하며, 이는 과도한 오버헤드 없이 토폴로지컬 코드에서 달성하기 어려운 기능이다.
• 다재다능함: TT 구성은 균형 잡힌 거리나 편향된 노이즈에 최적화된 코드를 모두 허용하는 유연성을 가지며, 3DTC를 특수 사례로 포함한다.

저자들은 TT 코드의 거리 비대칭성이 특정 노이즈 프로파일에 대해서는 버그가 아닌 기능(feature)이지만, 향후 연구에서 거리 균형을 탐구할 수 있다고 결론짓는다. 또한, 현재의 신드롬 추출 회로가 회로 수준의 거리에 완전히 최적화되지 않았음을 언급하며, 향후 성능 개선의 여지가 있음을 시사하였다.