Fast magic state preparation by gauging higher-form transversal gates in parallel

기술 요약: 고차 폼 가로형 게이트의 병렬 게이징을 통한 빠른 매직 상태 준비

문제 정의
보편적 결함 허용 양자 컴퓨팅(FTQC)은 클리포드 연산(Clifford operations)을 보완하여 게이트 텔레포테이션이나 파울리 기반 계산(PBC)을 통해 비-클리포드 게이트를 가능하게 하는 "매직 상태(magic states)"의 준비를 필요로 한다. 최근 양자 저밀도 패리티 검사(qLDPC) 코드의 발전은 논리적 연산을 위한 오버헤드를 줄였으나, 매직 상태의 준비는 여전히 병목 현상으로 남아 있다. 기존 방식은 일반적으로 가로형 비-클리포드 게이트(예: CCZ 또는 T)나 매직 상태 증류(distillation)에 의존하며, 이는 자원 집약적이거나 병렬성에 제한이 있을 수 있다. 또한, 논리적 상태를 준비하기 위한 표준 게이징 측정은 종종 코드 거리($d$)에 비례하는 시간 오버헤드($O(d)$)를 요구하여 상태 준비 속도를 제한한다. 본 논문은 qLDPC 코드를 대상으로 상수 시간 오버헤드와 선형 큐비트 오버헤드를 가지는 빠르고 병렬적인 결함 허용 매직 상태 준비 프로토콜을 다룬다.

방법론
저자들은 **고차 폼 가로형 게이트(higher-form transversal gates)**를 지원하는 qLDPC 코드에 적용되는 **고차 폼 게이징 측정(higher-form gauging measurements)**에 기반한 절차를 소개한다.

1. 고차 폼 가로형 게이트: 본 논문은 가로형 게이트와 고차 폼 대칭(일반적으로 위상적 코드와 관련된)의 개념를 qLDPC 코드로 일반화한다. $h$-폼 가로형 게이트는 체 복합체(chain complex) 내의 $h$-코사이클($\ker \delta_{h+1}$)의 표현으로 정의되며, 여기서 게이트는 온사이트 유니터리(on-site unitaries)의 곱으로 작용한다. 연구의 초점은 매직 상태를 생성하기 위해 측정될 수 있는 1-폼 클리포드 게이트(예: 1-form CZ 또는 XS 게이트)에 맞춰져 있다.
2. 게이징 측정 프로토콜: 핵심 절차(알고리즘 1)는 다음 세 단계로 구성된다:
   • 안실라 초기화: 체 복합체의 모든 하이퍼엣지(hyperedge, $C_{h+1}$)에 대해 안실라 큐비트를 $|0\rangle$ 상태로 초기화한다.
   • 일반화된 가우스 법칙 측정: 체 복합체의 각 정점(vertex, $C_h$)에 대해 일반화된 가우스 법칙 연산자 $A_v$를 측정한다. 이 연산자는 온사이트 대칭 작용 $U_v$를 인접한 안실라 하이퍼엣지의 파울리-X 연산자들과 결합시킨다.
   • 판독 및 바이프로덕트(Byproduct): 안실라 하이퍼엣지 큐비트들을 $Z$ 기저에서 측정한다. 측정 결과에 따라, 데이터 큐비트에 (부분 대칭에 대응하는) 유니터리 바이프로덕트 연산자를 적용한다.
3. 병렬성: 개별 논리 연산자를 순차적으로 측정하거나 $O(d)$ 라운드가 필요한 표준 게이징과 달리, 이 절차는 모든 $h$번째 코호몰로지 그룹 $H_h(C_\bullet)$의 대표 원소들을 상수 시간 단계 내에 동시에 측정한다.

주요 기여

• 고차 폼 가로형 게이트의 정의: 본 논문은 위상적 설정에서의 고차 폼 대칭 개념을 확장하여, qLDPC 코드를 위한 $h$-폼 가로형 게이트를 공식적으로 정의한다. 또한 이러한 게이트가 어떻게 "클리어블(cleanable)"하고 이상 없는(anomaly-free) 상태가 되는지에 대한 조건을 확립한다.
• 빠른 게이징 측정: 저자들은 결함 허용성을 보장하기 위해 $O(d)$ 라운드가 필요한 일반적인 게이징 측정과 대조적으로, 상수 시간($O(1)$)과 선형 큐비트 오버헤드로 고차 폼 논리 클리포드 게이트의 결함 허용 측정을 달성하는 프로토콜을 제시한다.
• 매직 상태 준비: 적절한 qLDPC 코드에 1-폼 클리포드 게이트(예: 1-form CZ 또는 XS)를 적용함으로써, 이 절차는 논리 매직 상태를 병렬적으로 준비한다. CSS 코드의 경우, 0-폼 가로형 비-클리포드 게이트(예: CCZ 또는 T)의 존재는 1-폼 가로형 클리포드 게이트의 존재를 위한 충분조건(필요조건은 아님)임을 보여준다.
• 결함 허용성 분석: 본 논문은 이 절차가 결함 허용적임을 증명한다. 프로토콜의 코드 거리는 $\phi_h(C_\bullet)d/2$ (여기서 $\phi_h$는 $h$-Cheeger 상수, $d$는 원래의 코드 거리)로 제한되며, 측정 결함 거리는 $h$번째 호몰로지 그룹의 거리로 제한된다. 결함 허용성은 반복적인 신드롬 추출 라운드보다는 로컬 대칭($\text{Im } \delta_h$)에 의해 형성된 "검출기(detectors)"에 의존한다.

결과 및 예시
본 논문은 두 가지 주요 예시를 통해 접근 방식을 검증한다:

1. 3D 컬러 코드: 저자들은 0-폼 가로형 T 게이트를 지원하는 3D 컬러 코드가 자연스럽게 1-form 가로형 클리포드 게이트를 지원함을 보여준다. 이 코드에 게이징 측정을 적용하면 매직 상태가 생성된다. 이 특정 사례에서, 변형된 코드는 (로컬 유니터리 up to a local unitary) 곱 상태와 동등하며, 측정 결함 거리는 원래 코드의 Z-거리와 일치한다.
2. 뒤틀린 고차 그룹 게이지 이론 (HGGT): 저자들은 뒤틀린 $Z_2 \times Z_2 \times Z_2^{(1)}$ 고차 그룹 게이지 이론에 기반한 qLDPC 코드를 구축한다. 이 코드는 0-폼 가로형 CCZ 게이트를 요구하지 않고도 1-form 가로형 CZ 게이트를 지원한다. 이 절차는 이 코드 상에서 논리 클리포드 연산자를 성공적으로 측정하여 하이퍼그래프 매직 상태를 생성한다. 게이트의 논리적 작용은 매니폴드의 호몰로지(예: 3D 토러스)에 따라 결정되며, 논리 큐비트들 사이에 얽힘 상태를 생성한다.

의의 및 주장
본 논문은 이 작업이 상수의 시간 및 선형 공간 오버헤드를 가지는 빠르고 병렬적인 논리 매직 상태 준비를 위한 경로를 제공한다고 주장하며, 이는 확장 가능한 FTQC에 매우 중요하다.

• 효율성: 이 절차는 기초가 되는 qLDPC 코드의 상수 비율(constant rate) 특성을 보존하여, 인코딩되지 않은 상태 준비와 비교했을 때 상수 배의 시공간 오버헤드만을 발생시킨다.
• 새로운 설계 패러다임: 본 연구는 코드 설계의 초점을 제한적인 가로형 비-클리포드 게이트 요구 사항에서 전환시킨다. 대신, 매직 상태 준비를 위한 게이징 방법을 통해 충분한 고차 폼 클리포드 게이트(특히 1-form)를 지원하는 qLDPC 코드를 탐색하도록 동기를 부여한다.
• 싱글샷(Single-shot) 잠재력: 싱글샷 결함 허용 논리 파울리 상태 준비와 결합될 때, 이 절차는 "싱글샷" 논리 매직 상태 준비 프로토콜을 제공한다.
• 디코딩 이점: 저자들은 이 절차의 디코딩 문제가 "싱글샷 구조"를 가지고 있다고 언급하며, 이는 $O(d)$ 시간 동안 비-아벨리안 코드 공간을 유지해야 하는 표준 게이징 측정에 비해 디코더를 단순화할 수 있음을 시사한다.

결론적으로, 본 논문은 단일 샷 파울리 상태 준비와 1-form 클리포드 게이트를 갖춘 효율적인 qLDPC 코드를 발견하는 것이 이 방법의 잠재력을 완전히 실현하기 위한 향후 연구의 주요 과제임을 밝히며 마무리한다.