Constant-rate quantum codes with low-weight stabilizers and full logical Clifford actions via transversal and fold-transversal gates

기술 요약: 저중량 안정화 기저와 전체 논리 클리포드 작용을 갖는 상수율 양자 코드

문제 정의
저공간 오버헤드 결함 허용 양자 계산의 추구는 높은 인코딩율($k/n$), 큰 코드 거리($d$), 그리고 공간 효율적인 논리 연산 구현을 동시에 달고 만족하는 양자 오류 정정 코드의 필요성을 제기한다. 가로형 게이트(transversal gates)는 보조 큐비트 없이 오류 전파를 제한함으로써 본질적인 결함 허용성을 제공하지만, 일반적으로 고율 코드에서 범용 게이트 세트나 심지어 전체 논리 클리포드 군(Clifford group)을 생성하기에는 불충분하다. 퀀텀 리드-뮬러(quantum Reed–Muller), SHYPS, 또는 팬텀 코드(phantom codes)와 같은 기존의 접근 방식들은 종종 이러한 바람직한 기준들을 동시에 충족하지 못한다. 구체적으로, 가로형 및 폴드-가로형(fold-transversal) 게이트를 통해 전체 논리 클리포드 군을 지원하는 기존의 구성들은 일반적으로 소멸하는 인코딩율, 급격히 증가하는 안정화 기저 중량(고밀도 안정화 기저), 또는 확장성을 저해하는 거리 제약 문제를 겪는다. 핵심 과제는 상수 인코딩율, 성장하는 거리, 서브로그(sublogarithmic)로 성장하는 안정화 중량, 그리고 전적으로 가로형 및 폴드-가로형 게이트에 의해 생성되는 완전한 논리 클리포드 작용을 유지하는 코드 패밀리를 구축하는 것이다.

방법론
저자들은 PRISM 코드(Irreducible Steinberg Modules로부터의 Product codes)라고 명명된 새로운 양자 CSS 코드 패밀리를 소개한다. 이 구성은 세 단계로 진행된다:

1. 기초 클래식 코드 (Steinberg 코드): 구성은 Chevalley 군(특히 $SL_{r+1}(q)$)과 관련된 구형 티츠 빌딩(spherical Tits buildings)의 최상위 호몰로지로부터 유도된 클래식 이진 코드 패밀리로 시작된다. Steinberg 코드라고 불리는 이 코드들은 **Steinberg 표현(Steinberg representation)**을 활용한다. 여기서 활용되는 결정적인 속성은 특정 파라미터(필드 크기 $q$가 2의 거듭제곱인 경우)에 대해 Steinberg 모듈이 **절대 가약(absolutely irreducible)**이라는 점이다. 이는 코드 공간이 군 작용이 전체 행렬 대수를 생성할 만큼 풍부한 표현 공간임을 보장한다.
2. 하이퍼그래프 곱 (HGP): 양자 코드는 두 개의 Steinberg 코드를 하이퍼그래프 곱으로 취함으로써 구축된다. 저자들은 왼쪽 섹터의 논리 큐비트는 유지하고 오른쪽 섹터의 큐를 게이징 아웃(gauging out)하는 **좌측 섹터 HGP (LS-HGP)**에 집중한다. 이 구성은 시드(seed) 클래식 코드의 상수 인코딩율과 자기동형(automorphism) 특성을 상속받는다.
3. 대칭성을 통한 게이트 합성: 논리 클리포드 군은 다음을 통해 생성된다:
   • 가로형 게이트 (Transversal Gates): 코드 블록 간의 물리적 가로형 CNOT 게이트는 논리적 병렬 CNOT을 유도한다.
   • 폴드-가로형 게이트 (Fold-Transversal Gates): HGP 코드에 내재된 ZX-쌍대성(ZX-duality)을 활용하여, 저자들은 물리적 큐비트 치환(대각선을 가로지르는 스왑)과 가로형 단일 큐비트 게이트가 결합된 폴드-가로형 하다마르드($H_{fd}$) 및 페이즈($S_{fd}$) 게이트를 사용한다.
   • 코드 자기동형 (Code Automorphisms): 밑바탕이 되는 Steinberg 코드의 자기동형(Tanner-graph automorphisms)은 양자 수준으로 격상된다. Steinberg 표현의 절대 가약성 덕분에, 이러한 자기동형은 조밀한 논리 연산 집합을 생성한다.

저자들은 코드 블록이 하나보다 클 때, 블록 간 가로형 CNOT, 로컬 폴드-가로형 게이트, 그리고 코드 자기동형의 조합이 임의의 논리 클리포드 연산을 합성하기에 충분함을 입증한다. 이는 심플렉틱 표현이 일련의 프리미티브 게이트들에 의해 전체 이진 심플렉틱 군 $Sp_{2m}(\mathbb{F}_2)$를 생성함을 보여줌으로써 증명된다.

주요 기여 및 결과

• 새로운 코드 패밀리 (PRISM): 본 논문은 다음과 같은 특성을 동시에 달성하는 최초의 알려진 양자 코드 패밀리 구성을 제시한다:
  • 상수 인코딩율: 코드 크기 $n$이 증가함에 따라 인코딩율 $k/n$이 소멸하지 않고 유지된다.
  • 성장하는 거리: 코드 거리 $d$는 $n$에 대해 서브폴리노미얼(subpolynomially)하게 성장한다 (구체적으로 $d \sim \exp[(\log n)^{1/2+o(1)}]$).
  • 서브로그 안정화 중량: 안정화 중량 $w$는 $(\log n)^{1/2-o(1)}$로 성장한다. 실제적인 코드 크기(예: $n \lesssim 10^{18}$)에 대해, 안정화 중량은 $\lesssim 10$이며, 이는 코드가 점근적으로 엄격한 qLDPC는 아님에도 불구하고 최첨단 qLDPC 코드들과 유사한 수준이다.
  • 전체 논리 클리포드 작용: 전체 논리 클리포드 군은 오직 가로형 및 폴드-가로형 게이트만을 사용하여 생성되며, 보조 큐로 혹은 매직 상태 주입(magic state injection)을 필요로 하지 않는다.
• 이론적 프레임워크: 본 연구는 유한군 표현론, 특히 Steinberg 표현을 양자 코드 파라미터와 결환 허용 논리 게이트를 공동으로 설계하는 메커니즘으로 확립한다.
• 성능: 작은 인스턴스에 대한 메모리 시뮬레이션 결과, PRISM 코드는 유사한 논리 큐 개수와 코드 거리를 가진 회전된 표면 코드(rotated surface-code) 블록에 비해 높은 오류 정정 성능을 보인다.
• 트레이드오프 (Trade-offs): 이 구성은 전체 논리 클리포드 군을 생성하기 위해 최소 두 개의 코드 블록을 필요로 한다 (단일 블록 팬텀 코드와 대조적임). 또한, 임의의 논리 클리포드 연산을 합성하는 과정에서 프리미티브 게이트들의 시퀀스로 심플렉틱 행렬을 분해해야 하므로, 기존 구성들에 비해 더 큰 시간 오버헤드(게이트 깊이)가 발생할 수 있다.

의의
본 논문은 낮은 공간 오버헤드를 갖는 결함 허용 양자 계산을 향한 경로를 제공한다고 주장한다. 풍부한 네이티브 논리 게이트 세트를 갖춘 고율 코드를 결합함으로써, PRISM 코드는 고율 코드들이 직면해 온 "주소 지정 가능성(addressability)" 장애물을 해결한다. 안정화 중량이 코드 크기에 따라 증가하긴 하지만(엄격한 qLDPC가 되는 것을 방지함), 그 증가 폭이 충분히 느리기 때문에(서브로그 성장), 실질적으로 유의미한 코드 크기 범위 내에서는 효과적으로 저중량 안정화 코드로 동작한다. 본 연구는 서브로그 안정화 중량이 코드 대칭성에 의해 생성되는 완전한 네이티브 클리포드 작용과 공존할 수 있음을 보여주며, 결함 허용 아키텍처를 설계하는 새로운 패러다임을 제시한다.