Cultivating logical catalysts for fault-tolerant dyadic phase rotations

문제 정의

결함 허용 양자 컴퓨팅(Fault-tolerant quantum computation)은 일반적으로 범용성을 달取得하기 위해 클리포드 연산(Clifford operations)에 비클리포드 자원 상태(매직 상태)를 보완하여 사용합니다. 회전된 표면 코드(rotated surface code)와 같이 제한된 가로지르는 게이트 세트(transversal gate sets)를 가진 코드에서, 미세한 이진 분수 위상 회전(예: $Z_{2^{-b}}$)을 구현하는 표준적인 접근 방식은 두 가지 주요 병목 현상에 직면합니다:

1. 근사 오차(Approximation Error): 표준적인 Clifford+T 합성 및 반복 성공(Repeat-Until-Success, RUS) 회로는 목표 회전을 근사합니다. 합성 정밀도 $\epsilon$은 목표 논리 오류율보다 낮게 선택되어야 하며, 이는 계산 요구 사항에 따라 비클리포드 비용(T-count)이 증가하게 만듭니다.
2. 검증의 어려움(Verification Difficulty): "매직 상태 배양(magic state cultivation)"(저거리 상태를 준비하고, 검증한 뒤, 고거리로 성장시키는 방식)은 표준적인 $|T\rangle$ 상태에 대해서는 성공적이었으나, 더 미세한 이진 분수 위상($b \ge 3$)으로 쉽게 확장되지 않습니다. $Z_{2^{-b}}|+\rangle$와 같은 상태를 직접 검증하려면 비클리포드 측정이 필요한데, 이는 검증에 필요한 자원이 바로 검증하고자 하는 대상이 되는 순환 의존성(circular dependency)을 생성합니다.
3. 촉매의 한계(Catalyst Limitations): 위상 구배 상태(phase-gradient states)와 같은 기존의 촉매 방법은 재사용성은 높지만, 비클리포드 준비가 필요하거나 정밀도 $b$에 따라 온라인 비용(깊이 및 T-count)이 스케일링되는 문제를 가집니다. 또한, 위상 구배 상태는 비클리포드 애더(adder)의 고유 상태이므로 클리포드 연산만을 사용하여 배양하기가 어렵습니다.

방법론

저자들은 위상 킥백(phase kickback)을 통해 정확한 미세 이진 분수 게이트($Z_{2^{-b}}$)를 구현하는 재사용 가능한 논리 촉매 상태를 위한 표면 코드 배양 프로토콜을 제안합니다. 핵심 메커니-즘은 제어된-클리포드 촉매(controlled-Clifford catalyst) 프레임워크에 기반합니다:

1. 촉매 구축:

   • 촉매는 고주기 클리포드 회로 $U$의 고유 상태로 정의됩니다. 구체적으로, 저자들은 교대하는 불연속적 CNOT 층으로 구성된 "브릭워크(brickwork)" CNOT 회로 $U_n$을 활용합니다.
   • 목표 위상 $Z_{2^{-b}}$에 대해, 저자들은 $n = 2^b + 1$개의 큐비트를 선택합니다. 회로 $U_n$은 $2^m$ (여기서 $m = \lceil \log_2 n \rceil$)의 주기를 가집니다.
   • 고유값 $\omega_m^r$을 갖는 $U_n$의 고유 상태 $|\psi_{n,r}\rangle$가 촉매 역할을 합니다. 제어된-$U_n$ 가젯(gadget) 내에서 사용될 때, 위상 킥백은 제어 큐비트에 정확한 $Z_{2^{-b}}$ 회전을 적용하는 동시에 촉매를 자기 자신으로 되돌립니다.
   • 사례 연구: 본 논문은 $\sqrt{T} = Z_{1/8}$ 게이트($b=3$)에 초점을 맞춥니다. 이를 위해서는 주기가 16인 9-큐비트 브릭워크 회로 $U_9$가 필요합니다. 촉매는 고유값 $e^{i\pi/8}$을 갖는 $r=1$ 고유 상태 $|\psi_9\rangle$입니다.

2. 배양 프로토콜:
   프로토콜은 세 단계를 통해 $|\psi_9\rangle$의 결함 허용 논리 복사본을 준비합니다:

   • 물리적 준비 및 인코딩: 물리적 9-큐비트 고유 상태를 준비하고 이를 9개의 독립적인 거리-3 회전 표면 코드 블록($Rot(3)$)으로 인코딩합니다.
   • 논리적 검증 (위상 추정): 인코딩된 상태는 양자 위상 추정(QPE) 회로를 통해 논리적 $U_9$ 측정을 거칩니다.
     • 결정적으로, 논리적 $U_9$ 체크는 **본질적으로 결함 허용(intrinsically fault-tolerant)**입니다. $U_9$는 16제곱근의 이산 스펙트럼을 가지므로, 사소한 신드롬(target phase를 읽음)을 가진 단 한 번의 위상 추정 라운드는 상태를 정확히 올바른 고유 공간으로 투영합니다.
     • 저자들은 단 한 번의 검증 라운드($N_1=1$)가 $|T\rangle$ 배양에 필요한 반복적인 체크 없이도 유효한 논리 결함 거리 $f_{logical} \approx 2.654$를 제공함을 증명합니다.
   • 코드 성장: 포스트 셀렉션(post-selected)된 블록은 거리 3에서 거리 7로 성장합니다. 이는 보충적 간극 디코딩(complementary-gap decoding)을 사용하여 잔여 오류를 필터링하면서, 유니터리 성장($Rot(3) \to Reg(3) \to Rot(5)$) 및 안정자 측정 성장($Rot(5) \to Rot(7)$)을 포함합니다.

3. 시뮬레이션 전략:
   제어된-$U_9$를 위한 Toffoli 게이트를 포함하는 비클리포드 성격의 검증 단계 때문에, 저자들은 하이브리드 시뮬레이션을 채택합니다:

   • 프런트 엔드(Front End): 텐서 네트워크(MPS) 상태 벡터 시뮬레이션이 노이즈가 있는 물리적 준비와 논리적 $U_9$ 검증을 추적합니다. 이는 실패한 샷을 버리는 대신, 성공 확률을 분석적으로 계산(Rao–Blackwellization)합니다.
   • 백 엔드(Back End): 프런트 엔드에서 추출된 신드롬 정보를 시드로 사용하는 매칭 기반 디코딩(PyMatching)을 갖춘 스테빌라이저 시뮬레이션(Stim)이 클리포드 전용 성장 단계를 시뮬레이션합니다.

주요 기여

• 정확한 이진 분수 촉매: 본 논문은 비클리포드 검증 없이도 정확한 이진 분수 위상($Z_{2^{-b}}$)을 구현하는 재사용 가능한 촉매 상태를 배양하는 방법을 소개합니다. 이 상태들은 클리포드 회로의 고유 상태입니다.
• 단일 라운드 검증: 저자들은 고주기 클리포드 회로의 경우, 단 한 번의 논리적 위상 추정 라운드가 결함 허용 검증을 달성하기에 충분하다는 것을 보여주며, 이는 $|T\rangle$ 상태에 일반적으로 필요한 다중 라운드와 대조됩니다.
• 일정한 온라인 깊이: 촉매의 온라인 호출은 병렬화된 Toffoli 게이트를 통해 상수 T-깊이(b와 무관)를 갖는 제어된-클리포드 회로를 사용하여, 합성법의 로그 깊이나 위상 구배 애더의 선형 깊이를 피합니다.
• 하이브리드 시뮬레이션 프레임워크: 비클리포드 검증을 포함하는 배양 프로토콜을 평가하기 위해 텐서 네트워크와 스테빌라이저 코드를 결합한 강력한 시뮬레이션 방법론을 제시합니다.

결과

• 성능: 물리적 오류율 $p = 10^{-3}$에서, 프로토콜은 약 7회의 예상 시도를 통해 논리적 누설률(leakage rate)이 $\sim 10^{-6}$인 거리-7 논리 촉매를 성공적으로 배양합니다. 더 강력한 포스트 셀렉션을 사용하면 이를 $\sim 10^{-7}$까지 억제할 수 있습니다.
• $|T\rangle$ 배양과의 비교: 단일 라운드 검증은 9개의 표면 코드 블록을 차지하고 더 미세한 위상을 지원함에도 불구하고, 최근의 단일 블록 $|T\rangle$ 배양 프로토콜과 유사한 누설률을 달성합니다.
• 자원 트레이드오프:
  • 온라인 비용: $\sqrt{T}$ 촉매는 호출당 상수 깊이로 8개의 Toffoli 게이트(또는 32개의 T 게이트)를 필요로 합니다. 이는 고정밀 타겟을 위한 최적화된 RUS 및 합성 방법과 경쟁 가능하거나 더 우수하며, 동시에 정확합니다.
  • 오프라인 비용: 준비 비용은 여러 번의 사용에 걸쳐 분산(amortized)됩니다. 그러나 촉매 크기는 $O(2^b)$ 논리 큐비트로 스케일링되는데($\sqrt{T}$의 경우 9개 블록), 이는 합성법(보조 큐비트 0개)이나 위상 구배 상태($O(b)$ 큐비트)에 비해 상당한 오버헤드입니다.

의의 및 주장

본 논문은 다음과 같은 독특한 트레이드오프를 제공한다고 주장합니다: 즉, 합성 비용의 $\epsilon$-의존성(정밀도가 높아짐에 따라 비용이 증가함)을 자원 상태 크기의 $b$-의존성(위상의 미세함에 따라 자원 크기가 증가함)과 교환하는 것입니다.

• 정확성: 합성이나 RUS와 달리, 촉매는 사용당 제로의 근사 오차를 도입합니다. 회전은 대수적으로 정확하며, 촉매 자체의 잔여 논리 부정확도(infidelity)에 의해서만 제한됩니다.
• 지연 시간(Latency): 상수 온라인 T-깊이는 가변적 또는 로그 깊이가 해로운(예: 트로터화된 시뮬레이션의 내부 루프) 지연 시간 민감 애플리케이션에 대한 구조적 이점입니다.
• 실행 가능성: 이 프로토콜은 이전에는 미세한 이진 분수 위상에 필요한 검증의 비클리포드 성격 때문에 차단되었던, 밑바닥부터 고충실도 미세 위상 촉매를 준비하기 위한 구체적인 클리포드 전용 경로를 제공합니다.

저자들은 이 프로토콜의 큐비트 오버헤드가 "완만한(modest)" 값의 $b$(적당히 미세한 위상)에 국한되지만, 고정된 미세 이진 분수 위상의 반복적인 적용이 포함된 워크로드에 매우 효과적이라고 결론짓습니다. 이들은 $O(2^b)$ 오버헤드를 줄이고 다른 구조화된 매직 상태(예: $|CCZ\rangle$)로 배양을 확장하는 것을 주요 향후 연구 방향으로 제시합니다.