기술 요약: 물리적 연산 없이 논리적 큐비트를 얽히게 하기

문제 정의

확장 가능한 결함 허용 양자 컴퓨팅은 양자 오류 정정(QEC)에 의존한다. 최근의 진전은 고율 양자 저밀도 패리티 검사(qLDPC) 코드를 통해 QEC 오버헤드를 줄이는 데 집중되어 왔으나, 이러한 설계들은 종종 논리 게이트를 사후적인 제약 조건으로 취급한다. 실제로 논리적 얽힘 게이트는 공간-시간 오버헤드와 오류 예산, 특히 밀집된 국소적 얽힘이 있는 회로에서 지배적인 역할을 한다. 논리적 얽힘 게이트(예: CNOT)를 구현하기 위한 전통적인 방식은 반복적인 측정 단계, 조밀한 물리적 2-큐비트 게이트 층, 또는 보조 코드블록을 필요로 하며, 이는 모두 상당한 오류 누적과 자원 비용을 초래한다. 근본적인 과제는 저장과 계산의 공동 설계를 최적화하는 것이며, 특히 논리적 얽힘 게이트의 비용 하한선을 다루는 것이다.

방법론

저자들은 **팬텀 코드(phantom codes)**라고 명명된 새로운 클래스의 QEC 코드를 도입하고 체계적으로 조사한다. 이들은 코드블록 내의 임의의 순서가 정해진 논리 큐비트 쌍 사이의 논리적 얽힘 게이트를 오직 **물리적 큐비트의 치환(재라벨링)**만으로 구현할 수 있는 CSS 안정기(stabilizer) 코드이다.

이 방법론은 팬텀 코드를 식별하고 구축하기 위해 네 가지 상호 보완적인 접근 방식을 포함한다:

1. 전수 조사(Exhaustive Enumeration): 블록 길이 $n \le 14$인 모든 $2.71 \times 10^{10}$개의 비동등 CSS 코드를 체계적으로 탐색하였다. 여기에는 안정기 그룹 생성, 큐비트 치환 및 전역 하다마드(Hadamard) 변환에 따른 동치 클래스 분류, 그리고 치환 기반 CNOT 구현의 존재 여부를 확인하기 위한 SAT 솔버 사용이 포함된다.
2. SAT 기반 발견(SAT-Based Discovery): 전수 조사가 계산적으로 불가능한 $n > 14$의 경우, 저자들은 코드 발견 문제를 불리언 만족 가능성(Boolean Satisfiability, SAT) 문제로 정식화하였다. 안정기 생성 행렬을 자유 변수로 취급함으로써, $n = 21$까지의 팬텀 코드를 식별하고 특정 논리 큐비트 수($k$) 및 거리($d$)에 대한 최소 블록 길이를 확립하였다.
3. 해석적 구성(양자 리드-머러, Quantum Reed–Muller): 더 높은 $k$와 확장 가능한 가계(families)에 접근하기 위해, 저자들은 양자 리드-머러(qRM) 코드를 기반으로 하는 무한한 팬텀 코드 가계를 구축하였다. 이는 선택된 논리 연산자를 안정기로 승격시킴으로써 부모 qRM 코드를 "게이지 고정(gauge-fixing)"하여, 논리 큐비트를 코드 거리와 교환하는 과정을 포함한다.
4. 이진화 및 합성(Binarization and Concatenation): 거리가 $d > \sqrt{n}$인 코드를 달성하기 위해, 저자들은 고거리 자기 쌍대(self-dual) GF(4) 큐디트 코드를 이진화를 통해 큐비트 코드로 변환한 뒤, $[[4, 2, 2]]$ 팬텀 코드와 합성하는 체계를 개발하였다.

연구는 또한 정의된 CNOT 외에도 지원되는 논리 게이트 집합(오토모피즘 및 폴드-다이아고날 게이트를 통한 클리포드 게이트와 비-클리포드 "매직" 게이트 포함)을 특성화한다. 마지막으로, 저자들은 대표적인 팬텀 코드($[[64, 4, 8]]$)를 표면 코드 베이스라인과 비교하는 엔드-투-엔드 노이즈 시뮬레이션을 수행한다.

주요 기여

• 팬텀 코드의 정의 및 발견: 본 논문은 팬텀 코드를 공식적으로 정의하고, 기존의 두 가지 사례에서 100,000개 이상의 새로운 인스턴스와 다수의 오류 정정 가계로 그 범위를 확장하였다.
• 제로 오버헤드 얽힘: 이러한 코드들에 대해, 모든 인-블록(in-block) 논리적 얽힘 게이트는 회로 컴파일 단계로 물리적 큐비트 치환을 흡수함으로써 "컴파일하여 없앨 수(compiled away)" 있음을 입증하였다. 이는 해당 특정 게이트들에 대해 제로의 공간적 또는 시간적 오버헤드와 완벽한 충실도를 제공한다.
• 이론적 경계 및 속성: 저자들은 CSS 팬텀 코드에 대한 해밍 경계(Hamming bound)를 도출하고, 팬텀 속성이 논리 기저(logical basis)와 독립적임을 증명하였다. 또한, 치환과 교환되지 않는 엄격한 가역적(transversal) 논리 게이트(예: 가역적 하다마드 또는 매직 게이트)는 배제되며, 이에 따라 대안적인 결함 허용 전략이 필요함을 확립하였다.
• 실제 구현 도구: 비-LDPC 팬텀 코드를 위한 특정 프로토콜(Steane 방식의 오류 정정 및 사전 선택을 사용하는 결함 허용 상태 준비 포함)과 오류 상관관계를 추적하는 시공간 슬라이딩 윈도우 디코더를 개발하였다.

결과

• 코드 지형: 저자들은 광범위한 파라미터에 걸쳐 팬텀 코드를 식별하였다. 주목할 만한 예로는 $[[64, 4, 8]]$ qRM 코드와 SAT 탐색을 통해 발견된 $n=21$까지의 다양한 코드들이 있다.
• 논리 게이트 집합: CNOT 외에도, 식별된 코드들은 로컬 클리포드, 치환 및 폴드-다이아고날 상호작용을 통해 다양한 클리포드 게이트(예: $H^{\otimes k}$, $CZ$, $S$)와 다이아고날 매직 게이트(예: $T$, $C^kZ$)를 지원한다.
• 벤치마킹 성능: 현실적인 물리적 오류율($p=10^{-3}$ 및 예상치 $5 \times 10^{-4}$)을 적용한 엔드-투-엔드 시뮬레이션 결과, 밀집된 국소적 얽힘 작업에서 팬텀 코드가 표면 코드에 비해 상당한 이점을 보였다:
  • GHZ 상태 준비: 4~64개의 논리 큐비트에 대해, 팬텀 코드는 유사한 물리적 큐비트 수를 가진 표면 코드와 비교했을 때 논리적 불충실도(infidelity)를 약 56배 감소시켰다 (약 24%의 사전 선택 수락률 기준).
  • 트로터화된 다체 시뮬레이션(Trotterized Many-Body Simulation): 8-바디 항을 가진 해밀토니안에 대해 8~64개의 논리 큐비트를 대상으로 했을 때, 팬텀 코드는 표면 코드 대비 논리적 불충실도를 약 94배 감소시켰다.
  • 단일 블록 CNOT 회로: 인-블록 CNOT이 지배적인 영역에서, 팬텀 코드의 논리적 실패율은 회로 깊이가 증가함에 따라 일정하게 유지되었으나(CNOT 비용이 0이므로), 표면 코드의 실패율은 선형적으로 증가하였다.

의의 및 주장

본 논문은 팬텀 코드가 밀집된 국소적 얽힘 구조(예: 페르미온 시뮬레이션, 상관 위상 준비)를 특징으로 하는 워크로드에 대해 결함 허용 양자 컴퓨팅을 위한 실행 가능한 아키텍처 경로를 제공한다고 주장한다. 논리 연산을 설계의 중심에 둠으로써, 이 코드들은 얽힘에 대해 "제로 오버헤드 극한(zero-overhead extreme)"을 달위하며, 비-LDPC임에도 불구하고 낮은 인코딩 비율($k = O(\log n)$)에도 불구하고 맞춤형 작업에서 선도적인 결함 허용 아키텍처(표면 코드 등)를 능가한다.

저자들은 팬텀 코드가 실질적인 제약 조건(Steane 방식의 QEC 및 사전 선택 필요)을 부과하지만, 비-LDPC 코드가 효율적인 논리 계산을 위해 공동 설계될 때 특정 응용 분야에서 LDPC 코드를 능가할 수 있음을 보여준다고 강조한다. 이 연구는 인코딩 비율, 코드 거리, 그리고 논리 게이트 효율성 사이의 트레이드오프에 대한 광범위한 탐색을 촉발한다.