Simple logical quantum computation with concatenated symplectic double codes

기술 요약: 결합된 심플렉틱 더블 코드(Concatenated Symplectic Double Codes)를 이용한 단순 논리 양자 계산

문제 정의
양자 오류 정정(QEC)의 최근 발전은 양자 메모리를 위한 강력한 코드들, 예를 들어 위상 코드(topological codes, 예: 표면 코드)나 양자 저밀도 패리티 검사(qLDPC) 코드를 만들어냈다. 그러나 이러한 코드들에서 결함 허용(fault-tolerant) 논리 게이트를 수행하는 것은 여전히 큰 과제로 남아 있다. 위상 코드는 단순한 가로지르는(transversal) 게이트를 제공하지만, 인코딩율이 낮고 규모가 커짐에 따라 오버헤드가 높다는 단점이 있다. 반대로 qLDPC 및 결합된(concatenated) 코드들은 더 나은 비율을 제공하지만, 상태 주입(state injection), 신드롬 추출, 증류(distillation)를 위해 상당한 시공간적 오버헤드를 수반하는 복잡한 프로토콜을 필요로 하는 경우가 많다. 따라서 중성 원자나 이온 트랩과 같이 큐비트 이동(SWAP) 비용이 낮은 하드웨어 플랫폼에 적합하도록, 높은 인코딩율과 단순하고 구현 가능한 논리 게이트 세트 사이의 균형을 맞추는 코드 아키텍처가 필요하다.

방법론
저자들은 결합된 심플렉틱 더블(Concatenated Symplectic Double, CSD) 코드를 제안하고 분석한다. 이 구성은 두 단계의 결합 과정을 포함한다:

1. 외부 코드(Outer Code): 비-CSS 시드 코드 $C$로부터 구축된 심플렉틱 더블 코드 $D(C)$이다. 심플렉틱 더블 구성은 베이스 코드 $[[n, k, d]]$로부터 파라미터 $[[2n, 2k, \ge d]]$를 갖는 CSS 코드를 생성한다. 결정적으로, 이 구성은 X 섹터와 Z 섹터를 교환하는 순열인 ZX-쌍대성(ZX-duality)($\tau$)을 도입하여 물리 큐비트 $i$와 $i+n$을 쌍으로 묶는다.
2. 내부 코드(Inner Code): 특정 $[[n', 2, d']]$ 안정자 코드 $Q$가 $D(C)$와 결합된다. 저자들은 내부 C4 코드블록을 위한 내부 코드로 C4 코드($[[4, 2, 2]]$)에 집중한다.
3. 결합 방식(Concatenation Scheme): C4 코드블록의 논리 큐비트들은 ZX-쌍대성 $\tau$에 따라 외부 $D(C)$ 코드의 물리 큐비트로 매핑된다. 구체적으로, $D(C)$ 내의 물리 큐비트 쌍 $\{i, i+n\}$(이들은 $\tau$에 의해 연관됨)은 하나의 C4 코드블록의 두 논리 큐비트로 인코딩된다.

본 논문은 결과적으로 생성되는 C4-CSD 코드($C4 \otimes_\tau D(C)$)를 연구하며, 그 파라미터, 논리 게이트 세트 및 결함 허용 특성을 분석한다.

주요 기여

• SWAP-가로지르는 논리 게이트(SWAP-Transversal Logical Gates): 본 연구의 주요 기여는 결합 구조가 논리 게이트의 결함 허용 성능을 업그레이드한다는 것을 입증한 것이다. 외부 심플렉틱 더블 코드 상의 "폴드-가로지르는(fold-transversal)" 게이트(즉, $\tau$-궤도 상에서 작용하는 게이트)는 결합된 C4-CSD 코드 상에서 SWAP-가로지르는 게이트가 된다. 이는 이러한 게이트들이 물리적 단일 큐비트 게이트와 큐비트 재라벨링(SWAP)만을 사용하여 구현될 수 있음을 의미하며, 이는 소프트웨어적으로 추적 가능하다.
• 전체 클리포드 군(Full Clifford Group) 생성:
  • 시드 코드와 심플렉틱 더블 구조로부터 상속된 게이트 세트($G_\tau$)는 리프티드 오토모피즘(lifted automorphisms), 하다마드 유형 게이트($H_\tau$), 그리고 CZ 유형 게이트($S_\tau$)를 포함한다.
  • 전체 클리포드 군을 달성하기 위해, 저자들은 기저 클래식 코드의 오토모피즘 군으로부터 유도된 폴드-가로지르는 위상 게이트($U_P(\pi)$)를 도입한다. 이는 $U_P(\pi)|+\rangle$ 상태로 준비된 자원 상태를 사용하는 상태 주입을 통해 구현된다.
  • 특정 코드 인스턴스(표 1에 녹색 체크 표시가 있는 코드들)의 경우, $G_\tau$와 주입된 $U_P(\pi)$ 게이트의 조합은 단일 코드블록 상의 논리 큐비트에 대해 전체 심플렉칙 군 $Sp_{4k}(\mathbb{F}_2)$를 생성한다.
• 블록 간 연결성(Inter-Block Connectivity): 저자들은 여러 코드블록 간의 전역 클리포드 군이 블록 간의 가로지르는 CNOT 게이트를 단일 블록 클리포드 게이트와 결합하여 달성 가능함을 보여준다.
• 회로 단순화: C4-CSD 코드의 독특한 특징은 단일 코드블록 상의 임의의 논리 클리포드 회로가 기능적으로 단순한 물리 회로로 컴파일될 수 있다는 점이다. 즉, 주입된 $U_P(\pi)$ 게이트와 단일 레이어의 물리적 단일 큐비트 클리포드 게이트가 교차하는 형태로 구성된다. 재라벨링을 위한 SWAP은 "풀림(untangled)"이 가능하여, 오직 단일 큐비트 게이트와 텔레포테이션 기반의 오류 정정만이 활성화된 회로를 남긴다.

결과

• 코드 파라미터: 논문은 다양한 비-CSS 시드 코드(예: $[[4, 2, 2]], [[6, 4, 2]], [[5, 1, 3]]$)로부터 유도된 특정 C4-CSD 코드들을 표로 제공한다. 예를 들어, $[[16, 4, 4]]$ C4-CSD 코드는 $L=2$ C4 many-hypercubes(MHC) 코드와 동형임이 밝혀졌다.
• 게이트 세트: 저자들은 다양한 인스턴스에 대해 게이트 세트 $G_\tau$와 $\langle U_P(\pi) \rangle$의 크기를 계산한다. 또한 어떤 코드가 추가적인 어댑터 없이 전체 클리포드 군을 생성할 수 있는지, 그리고 어떤 코드가 부분적인 상태 주입이나 범용 어댑터를 필요로 하는지를 식별한다.
• 수치 시뮬레이션: 상태 준비 및 양자 오류 정정(QEC)에 대한 회로 수준의 시뮬레이션이 수행되었다. 결과는 C4-CSD 코드가 최첨단 물리적 오류율 근처에서도 유망한 성능을 보이며, 양자 메모리로서 효과적으로 작동함을 나타낸다.
• 디코딩: 논문은 이 코드들의 디코더에 대해 논의하며, 구조적 특성 덕분에 효율적인 신드롬 추출 및 교정이 가능함을 언급한다.

의의 및 주장

저자들은 결합된 심플렉틱 더블 코드가 중·대규모 양자 컴퓨터의 기초가 되는 계산 코드의 강력한 후보라고 주장한다. 이들의 의의는 다음과 같다:

1. 단순성: 논리 클리포드 군은 단일 큐비트 게이트와 큐비트 재라벨링에 크게 의존하는 "기능적으로 단순한 회로"를 통해 구현되며, 이는 게이트 실행 중 복잡한 다중 큐비트 물리적 상호작용의 필요성을 최소화한다.
2. 하드웨어 호환성: 큐비트 재라벨링(SWAP)에 대한 의존성은 이 코드들을 중성 원자 및 이온 트랩과 같이 큐비트 이동이 네이티브하고 비용이 낮은 아키텍처에 특히 적합하게 만든다.
3. 성능: 이 코드들은 경쟁력 있는 회로 수준의 성능과 높은 인코딩율을 제공하여, 위상 코드의 오버헤드 문제를 해결하면서도 다른 고율(high-rate) 코드들이 흔히 요구하는 복잡한 게이트 프로토콜을 피할 수 있다.

논문은 시드 코드의 최적화와 이러한 구성의 확장성에 관한 열린 질문을 던지며 마무리하지만, C4-CSD 코드가 운영 복잡성을 줄이면서 결함 허용 논리 계산을 향한 실행 가능한 경로를 제공한다는 핵심적인 주장을 유지한다.