Resilience Beyond the Light Cone: Error-Detected Primitives for Practical Dynamic Circuits

문제 정의

중간 회로 측정(mid-circuit measurements)과 고전적 피드포워드(classical feedforward)를 유니터리 게이트와 통합하는 동적 양자 회로는 정적 유니터리 회로에 비해 상당한 이점을 제공합니다. 즉, 시스템 크기에 관계없이 상수 깊이($O(1)$) 내에서 장거리 얽힘(long-range entanglement)을 생성하고 전역 연산(global operations)을 수행할 수 있는 능력입니다. 이러한 능력은 정적 회로가 리브-로빈슨슨 경계(Lieb-Robinson bounds)에 의해 상관관계가 제한되는 "광추(light-cone)" 제약을 우회할 수 있게 해줍니다.

그러나 이러한 이론적 이점은 현재의 노이즈가 많은 하드웨어에서 실질적인 긴장 상태에 직면해 있습니다. 상수 깊이의 동적 회로를 달로는 구현하기 위해서는 일반적으로 시스템 크기에 비례하는 $O(N)$ 규모의 중간 회로 측정이 필요합니다. 초전도 프로세서의 경우, 판독 오류(readout errors)가 지배적인 노이즈 원인인 경우가 많으며, 피드포워드와 관련된 지연 시간(latency)은 이러한 프로토콜이 의존하는 장거리 얽힘을 저하시키는 오류를 유발할 수 있습니다. 결과적으로, 동적 회로 프리미티브의 충실도(fidelity)는 종종 더 깊은 정적 유니터리 구현보다 높지 못하며, 이는 근접 미래 기기(near-term devices)에서의 활용성을 제한합니다.

방법론

저자들은 분산 제어(distributed control) 개념을 중심으로 한 일반적이고 오버헤드가 낮은 오류 탐지 프레임워크를 제안합니다. 이 접근 방식은 두 가지 핵심 프리미티브를 사용하여 광범위한 클래스의 동적 회로 프로토콜을 단일 운영 모델로 통합합니다.

1. 분산(Distribute): 단일 제어 큐비트의 논리적 상태를 $N$개의 앤실라(ancilla) 큐비트에 분산된 비국소적 GHZ 상태로 인코딩합니다. 이는 단일 라운드의 중간 회로 측정과 피드포워드(구체적으로 퓨전 측정(fusion measurements)을 포함한 CNOT 래더)를 통한 상수 깊이 회로를 통해 달성됩니다.
2. 붕괴(Collapse($n$)): 분산된 GHZ 상태를 다시 단일 큐비트로 축소하는 역 연산입니다. 매개변수 $n$은 오류 탐지 능력을 제어합니다.
   • 베이스라인 ($n=1$): 모든 큐비트를 $X$ 기저(basis)에서 측정하여 상태를 투영하고, 패리티(parity)에 기반한 피드포워드 보정을 적용합니다.
   • 오류 강화 ($n \ge 2$): 저자들은 GHZ 상태를 $n$-큐비트 패치(patch)로 분할함으로써 붕괴 과정 중의 오류를 탐지하는 두 가지 전략을 도입합니다.
     • 명시적 체크(Explicit Checks): 각 패치 내의 "체크" 큐비트에서 스테빌라이저($Z_j Z_{j+1}$)를 직접 측정하여 퓨전 측정 오류(도메인 월(domain walls)로 나타남) 및 게이트 유도 비트 플립(bit-flip) 오류를 탐지합니다.
     • 암시적 체크(Implicit Checks): 추가적인 2-큐비트 게이트를 대가로 붕괴 측정 중의 **판독 오류(readout errors)**까지 탐지할 수 있는 더 강력한 전략입니다. 논리적 연산자의 중복 측정을 비교함으로써, 측정 오류로 인한 불충실성을 나타내는 불일치를 식별하며, 이는 판독 유도 불충실도를 고전적 사후 선택(postselection) 오버헤드로 교환하는 효과를 가집니다.

이 프레임워크는 후속 연산이 클리포드(Clifford) 또는 에르미트(Hermitian)인 경우, 피드포вода 보정(denoted as $distribute^*$ and $collapse(n)^*$)을 유예할 수 있게 하여 필요한 측정 라운드 수를 줄여줍니다.

주요 기여

본 논문은 기존의 여러 동적 회로 프로토콜을 이 오류 탐지 프레임워크 내에 삽입함으로써 이를 통합하고 업그레이드합니다.

• 통합 프레임워크: 저자들은 팬아웃(fan-out) 게이트, 다중 큐비트 파울리 회전(multi-qubit Pauli rotations), 그리고 W 상태, 디케(Dicke) 상태, 비-정규 행렬 곱 상태(non-normal matrix product states)의 준비를 포함한 다양한 프리미티브가 모두 동일한 기초적인 분산 제어 구조에 의존함을 입증합니다.
• 오류 탐지형 하다마르 테스트(Error-Detected Hadamard Test): 새로운 응용 사례가 소개되었습니다: 상수 깊이의 오류 탐지형 하다마르 테스트 구현입니다. $k$개의 레이어로 분해된 $N$-큐비트 유니터리 $U$에 대해, 표준 구현은 $O(Nk)$의 깊이를 요구합니다. 제안된 동적 방식은 내장된 오류 탐지를 통해 깊이 $O(k)$를 달성하며, 이는 위상 추정(phase estimation) 및 스펙트럼 분석을 위한 이 프리미티브의 적용 가능성을 크게 확장합니다.
• 트레이드오프 분석: 이 프레임워크는 불충실도(infidelity)를 사후 선택 오버헤드로 명시적으로 교환합니다. 추가적인 앤실라를 필요로 하지 않으며 상수 깊이의 게이트 비용만을 발생시키므로, 근접 미래 하드웨어에 적합합니다.

실험 결과

저자들은 IBM Quantum Heron r3 프로세서(ibm_boston)에서 프레임워크를 검증했습니다.

1. 장거리 얽힘 (벨 쌍, Bell Pair):

   • 최대 $\ell = 100$ 큐비트까지 떨어진 벨 쌍을 준비하기 위해 장거리 CNOT 게이트를 구현했습니다.
   • 오류 탐지 없이: 동적 회로는 얽힘 인증 임계값($F > 0.5$)에 도달하지 못하고 $F = 0.39 \pm 0.01$의 충실도를 기록했습니다.
   • 오류 탐지 적용 시 ($n=2$, 암시적 체크): 사후 선택된 충실도는 $F = 0.59 \pm 0.02$에 도달하여 임계값을 여유롭게 넘어섰습니다. 이는 오류가 탐지되지 않은 동적 회로와 정적 유니터리 베이스라인($F = 0.33 \pm 0.01$) 모두보다 유의미한 개선을 보여줍니다. 수용률(acceptance rate)은 실용적인 수준($p \gtrsim 10^{-2}$)을 유지했습니다.

2. W 상태 준비:

   • 최대 40 큐비트의 GHZ 상태를 소비하여 시스템 크기 $N=20$ 큐비트까지의 W 상태(단일 들뜸의 대칭적 중첩)를 준비했습니다.
   • 충실도 개선: 오류 탐지는 연구된 가장 큰 크기들에 대해 베이스라인 대비 $\Delta F \approx 0.2$의 절대적 충실도 향상을 가져왔습니다.
   • 품질: 오류 탐지된 상태는 "모두 0(all-zeros)" 성분이 억제되었고(더 나은 패리티 투영을 나타냄), 더 강한 가중치 1(weight-one) 피크를 보였습니다. 수용률은 높은 수준($p > 0.46$)을 유지했습니다.

의의 및 주장

본 논문은 자신의 오류 탐지 방식이 동적 회로의 이론적 약속과 노이즈가 많은 하드웨어에서의 실제 성능 사이의 긴장을 해결한다고 주장합니다. 판독 오류를 관리 가능한 사후 선택 비용으로 변환함으로써, 이 프레임워크는 정적 회로가 너무 깊고 오류가 수정되지 않은 동적 회로가 너무 노이즈가 심한 영역에서도 장거리 얽힘을 생성할 수 있게 합니다.

저자들은 이 접근 방식이 다음과 같음을 강조합니다:

• 광범위한 상태 준비 및 게이트 합성 프로토콜을 통합합니다.
• 이러한 프로토콜을 공통의 저오버헤드 오류 탐지 메커니즘으로 업그레이드합니다.
• 현재의 하드웨어에서 실질적인 유용성을 입증하여, 근접 미래 응용 분야에서 저깊이 동적 회로 프리미티브를 실현 가능한 영역으로 가져옵니다.

이 연구는 현재의 초점이 오류 탐지(사후 선택)에 맞춰져 있지만, 이 프레임워크가 향후 유틸리티 규모의 응용에 필수적인 능동적 오류 수정(active error correction)을 향한 자연스러운 경로를 제공한다는 점을 언급하며 마무리됩니다.