기술 요약: 삼직교 코드 패밀리에서의 횡단적 코드 스위칭 (Transversal Code Switching)

문제 정의

보편적인 결함 허용 양자 컴퓨팅(Universal fault-tolerant quantum computation)을 위해서는 임의의 유니터리 연산을 구현할 수 있는 게이트 세트가 필요하다. 그러나 이스틴-클닐 정리(Eastin-Knill theorem)는 단일 양자 오류 정정 코드(QECC)가 보편적인 횡단적 게이트 세트를 지원할 수 없음을 규명한다. 이러한 한계를 극려하기 위한 표준적인 접근 방식들은 비-클리포드 게이트(예: $T$-게이트)를 위해 매직 상태 증류(magic state distillation)에 의존하지만, 이 과정은 논리적 연산보다 훨씬 더 많은 수의 큐비트와 게이트를 요구하는 매우 자원 집약적인 과정이다.

대안적으로, 삼직교 코드(triorthogonal codes)는 클리포드 계층(Clifford hierarchy)의 더 높은 수준에서 횡단적 비-클리포드 게이트(예: $T$ 및 controlled-controlled-$Z$)를 지원하지만, 모든 클리포드 게이트에 대한 횡단적 구현은 부족하다. 반면, 대칭 CSS 코드는 횡단적 클리포드 게이트를 지원하지만 고차원 비-클리포드 게이트는 지원하지 못한다. 과제는 매직 상태 증류의 막대한 오버헤드를 발생시키지 않으면서 이러한 역량들을 어떻게 통합할 것인가 하는 점이다.

방법론

저자들은 삼직교 코드($Q_T$)와 호환 가능한 대칭 CSS 코드($Q_{Sym}$) 사이의 논리적 상태 전이를 오직 횡단적 연산만을 사용하여 가능하게 하는 횡단적 코드 스위칭 프레임워크를 제안한다. 이 방법론은 삼직교 코드의 구조에 따라 두 가지 주요 전략으로 나뉜다.

1. 퍼처드 양자 리드-머러 코드 (Punctured Quantum Reed–Muller, PQRM)

삼직교 코드가 PQRM 패밀리에 속하는 경우, 저자들은 호환 가능한 대칭 CSS 파트너를 식별하기 위한 체계적인 **코드 맵(code map)**을 구축한다.

• 횡단성 조건 (Transversality Conditions): 삼직교 코드 $Q_T$와 (물리적 큐비트 수가 다를 수 있는) 대칭 코드 $Q_{Sym}$ 사이의 일방향 횡단적 CNOT 게이트를 위한 조건을 도출한다. 이는 필요한 quotient space isomorphism ($C_1/C_2^\perp \cong C_3/C_4^\perp$)과 dual space inclusion ($C_2^\perp \subseteq C_4^\perp$)을 만족시키기 위해 확장된 대칭 코드를 구성하는 과정을 포함한다.
• 코드 맵: 주어진 PQRM 코드 $Q_m^r$에 대해, $r \leq s \leq (m-1)/2$를 만족하는 일련의 쌍을 이루는 대칭 코드 $Q_s^{2s+1}$을 식별한다. 이를 통해 서로 다른 클리포드 계층 수준을 지원하는 코드 간의 전환(예: 4D 컬러 코드에서 2D 스테인 코드로의 전환)이 가능하다.
• 구현: 스위칭은 횡단적 상태 텔레포테이션(transversal state teleportation)을 통해 실현된다. 논리 상태는 횡단적 CNOT 게이트를 사용하여 $Q_T$에서 $Q_{Sym}$로 텔레포테이션되며, 역방향은 횡단적 CZ 게이트를 사용한다 (역방향 CNOT은 횡단적이지 않기 때문이다).

2. 일반 삼직교 코드

PQRM 패밀리 이외의 삼직교 코드를 위해, 저자들은 호환 가능한 대칭 CSS 코드를 생성하는 체계적인 구성 방법을 제공한다.

• 구성: 주어진 삼직교 코드 $Q_T = \text{CSS}(C_1, C_2)$가 주어지면, $C_1 \subset C \subset C_2$를 만족하는 대칭 코드 $Q_{Sym} = \text{CSS}(C, C)$를 구성한다.
• 횡단성 증명: 이러한 쌍이 $Q_T$에서 $Q_{Sym}$로의 횡단적 CNOT 게이트와 그 역방향의 횡단적 CZ 게이트를 만족함을 입증하여, 논리 공간들이 서로 동형(isomorphic)임을 보장한다.

오류 정정과의 통합

본 연구의 핵심적인 방법론적 기여는 코드 스위칭 프로토콜을 스테인 오류 정정(Steane error correction) 절차에 직접 통합한 것이다.

• 코드 스위칭과 오류 정정을 별개의 순차적 단계로 수행하는 대신, 저자들은 텔레포테이션 회로를 신드롬 추출 과정 내에 내장시킨다.
• 이 접근 방식은 스테인 오류 정정에 필요한 앤실라(ancilla) 블록들을 코드 스위칭의 타겟 블록으로 활용함으로써, 앤실라 오버헤드와 총 CNOT 게이트 수를 줄인다.

주요 기여

1. 일반화된 횡단적 코드 스위칭: 본 논문은 이전의 일방향 횡단적 CNOT 기술(컬러 코드에 국한되었던)을 클리포드 계층의 더 높은 수준의 게이트를 지원하는 광범위한 삼직교 코드 패밀리로 확장하였다.
2. 체계적인 코드 매핑:
   • PQRM 코드의 경우, 어떠한 코드에 대해서도 호환 가능한 대칭 파트너를 식별할 수 있는 맵을 도입하여, 서로 다른 물리적 크기와 클리포드 계층 수준을 가진 코드 간의 전환을 가능하게 한다.
   • 비-PQRM 삼직교 코드의 경우, 호환 가능한 대칭 CSS 파트너를 합성하기 위한 구성적 알고리즘을 제공한다.
3. 오버헤드 감소: 코드 스위칭 프로토콜을 스테인 오류 정정과 결합함으로써, 상태 텔레포테이션과 관련된 자원 오버헤드(앤실라 큐비트 및 게이트 수)를 줄인다.
4. 벤치마킹: 프레임워크를 논리적 $n$-큐비트 양자 푸리에 변환(QFT) 회로를 사용하여 벤치마킹하며, $[[15, 1, 3]]$ 코드(횡단적 $T$ 지원)와 $[[31, 1, 3]]$ 코드(횡단적 $\sqrt{T}$ 지원)를 비교한다.

결과

저자들은 $[[15, 1, 3]]$ 및 $[[31, 1, 3]]$ 삼직교 코드를 $[[7, 1, 3]]$ 스테인 코드와 쌍을 이루어 논리적 QFT 회로를 컴파일함으로써 프레임워크를 벤치마킹한다.

• 게이트 수 감소: 결과에 따르면, 고차 클리포드 계층 게이트(특히 $[[31, 1, 3]]$ 코드를 통한 $\sqrt{T}$)를 활용하는 것이 3차 레벨 게이트(via $[[15, 1, 3]]$)를 사용하는 것보다 총 CNOT 수를 유의미하게 줄여준다.
• 확장성: 큰 $n$에 대해, $[[31, 1, 3]]$ 방식은 $[[15, 1, 3]]$ 방식에 비해 CNOT 오버헤드를 약 절반으로 줄인다. 작은 $n$의 경우, 이 감소율은 3배에서 10배까지 더욱 두드러진다.
• 자원 트레이드오프: $[[31, 1, 3]]$ 코드는 논리 큐비트당 더 많은 물리 큐비트를 요구하지만, 비-클리포드 게이트 분해(QFT에서 CNOT 오버헤드의 주요 원인)의 횟수를 줄임으로써 순 전체 자원 비용을 감소시킨다.

의의

본 논문은 이러한 결과가 자원 비용이 낮은 **이종 코드 아키텍처(heterogeneous code architectures)**의 잠재력을 강조한다고 주장한다. 클리포드 계층의 더 높은 수준의 횡단적 게이트를 코드 스위칭을 통해 직접 사용할 수 있게 함으로써, 본 프레임워크는 매직 상태 증류에만 전적으로 의존하지 않고도 더 효율적인 보편적 양자 컴퓨팅으로 가는 경로를 제시한다. 스테인 오류 정정과의 통합은 대규모 시스템에서 앤실라 오버헤드를 줄이기 위한 본 프로토콜의 실질적인 실행 가능성을 입증한다.