Fault-tolerant quantum computation with static atomic buses

기술 요약: 정적 원자 버스를 이용한 결함 허용 양자 컴퓨팅

문제 정의
확장 가능한 결함 허용 양자 컴퓨팅(FTQC)을 위해서는 코드 블록 간의 논리 연산과 고율 양자 오류 정정(QEC)을 위한 증후(syndrome) 측정을 수행할 수 있는 고충실도 장거리 연결성이 필요하다. 중성 원자 플랫폼에서 장거리 연결성은 전통적으로 원자 셔틀링(이송)을 통해 달성된다. 그러나 이 방식은 $O(d^{1/3})$의 지연 시간 스케일링을 유발하며, 모션 히팅(motional heating)을 유발하여 $O(d^{2/3})$로 스케일링되는 디페이징 오류를 발생시킨다. 이러한 효과는 논리 오류율을 저하시키고 QEC 사이클의 효율성을 제한하며, 특히 고율 양자 저밀도 패리티 검사(qLDPC) 코드나 표면 코드 패치 간의 가로형(transversal) 논리 게이트 실행에 걸림돌이 된다. 직접적인 리드베리 상호작용(Rydberg interaction)이 범위를 확장할 수는 있지만, 이는 대개 수십 마이크로미터 이내로 제한되며 전기장 변동 및 원자 위치에 매우 민감하다.

방법론
저자들은 데이터 큐비트를 이동시키지 않고도 장거리 얽힘 연산을 가능하게 하는 보조 매개 원자를 활용하는 정적 원자 버스(static atomic buses) 기반의 중성 원자 아키텍처를 제안한다. 방법론은 미시적 원자 물리학과 아키텍처 제약 조건을 통합하는 공동 설계(co-design) 접근 방식을 포함한다:

1. 원자 버스 해밀토니안: 크로스토크를 억제하기 위해 이종 원자(루비듐과 세슘) 아키텍처를 채택한다. 데이터 원자와 앤실러 매개체(ancilla mediator)는 체인 형태로 배열된다. 역학은 큐비트 상태를 리드베리 상태에 결합하는 전역 레이저 드라이브와 원자 간의 반데르발스(vdW) 상호작용을 포함하는 해밀토니안에 의해 지배된다.
2. 최적 제어 설계: 저자들은 제어된-Z(CZ) 게이트를 위한 시간 최적 레이저 펄스를 설계하기 위해 경사 상승 펄스 엔지니어링(GRAPE)을 사용한다. 최적화 목표는 다음과 같다:
   • 시간 최적성: 자발적 방출 오류를 줄이기 위해 게이트 지속 시간을 최소화한다.
   • 강건성: 열적 운동으로 인한 상호작용 강도 변화에 대한 민감도를 완화하기 위해 제약 조건을 포함한다. 이는 타겟 분리 거리에서 국부적으로 평탄한 상호작용 포텐셜($dB/dR \approx 0$)을 생성하도록 특정 리드베리 주양자수($n$)와 격자 간격($r_0$)을 선택함으로써 달성된다.
   • 탈얽힘(Disentanglement): 매개체 원자가 양 끝단의 큐비트로부터 완전히 탈얽힘되어 기저 상태로 돌아오도록 보장한다.
3. 아키텍처 통합: 이 프레임워크는 두 가지 주요 사용 사례에 적용된다:
   • 가로형 게이트(Transversal Gates): 인접한 표면 코드 패치(거리 $d$) 간의 논리 CZ 게이트 구현.
   • 장거리 안정기 판독(Long-Range Stabilizer Readout): 고율 qLDPC 코드(La-cross 및 bivariate bicycle 코드)를 위한 비로컬 안정기 측정 실행.
4. 시뮬레이션 및 벤치마킹: Stim 시뮬레이터와 BPOSD(Belief-Propagation with Ordered-Statistics Decoder)를 사용하여 대규모 수치 시뮬레이션을 수행한다. 정적 버스 아키텍처는 셔틀링 유도 히팅, 열적 운동, 셔틀링 유도 히팅을 포함한 노이즈 소스를 모델링하여, 동적 원자 셔틀링에 의존하는 동등한 아키텍처와 벤치마킹된다.

주요 기여

• 정적 버스 아키텍처: 알고리즘 동작 중에 큐비트 수송 없이 장거리 얽힘을 매개하는 앤실러 원자의 정적 체인을 사용하는 모듈형 프레임워크를 도입한다.
• 공동 설계된 펄스 프로토콜: 미시적 역학 및 운동 오류에 대한 강건성을 명시적으로 고려하여 높은 충실도($F \approx 0.999$)와 수백 나노초의 지속 시간을 달축하는 매끄러운 시간 최적 제어 펄스를 개발한다.
• 고율 코드 지원: 정적 버스가 La-cross 및 bivariate bicycle과 같은 고율 qLDPC 코드에 필요한 비로컬 연결성을 네이티브하게 지원함을 입증하여, 격자 수술(lattice surgery)이나 셔틀링의 $O(d)$ 오버헤드 없이 효율적인 증후 추출을 가능하게 한다.
• 보편적 계산 경로: 정적 버스가 논리 클리포드(Clifford) 연산 및 안정기 판독을 처리하고, 원자 셔틀링은 배경 작업(큐비트 재충전 및 매직 상태 팩토리 라우팅)으로 제한되는 하이브리드 접근 방식을 개략적으로 설명하여, 알고리즘 클록을 수송 지연으로부터 분리한다.

결과

• 게이트 성능: 저자들은 수백 나노초의 지속 시간과 99.9%에 근접하는 충실도를 갖는 버스 매개 CZ 게이트를 입증한다. 거리 $d=11$까지의 표면 코드에 대해 현재의 실험적 파라미터($n \approx 75$, $r_0 \approx 2.6$ $\mu$m)로 게이트 구현이 가능하다. $d=25$까지의 확장은 더 높은 리드베리 양자수($n \approx 95$)와 더 촘촘한 간격($r_0 \approx 1.7$ $\mu$m)을 통해 실현 가능함을 보여준다.
• 논리 오류율: 시뮬레이션 결과, 정적 버스 아키텍처는 현실적인 노이즈 파라미터($p \sim 10^{-3}$) 하에서 원자 셔틀링 아키텍처에 비해 10배 이상의 개선된 논리 오류율을 보일 것으로 예측된다. 이러한 개선은 셔틀링 기반 접근 방식의 병목 현상인 모션 히팅 오류를 억제함으로써 발생한다.
• 타이밍 지표:
  • 표면 코드: 논리 가로형 게이트 시간은 약 100 $\mu$s로 예측되며, $d \lesssim 12$에 대해 QEC 사이클 시간은 약 1 ms이다.
  • La-cross 코드: $d=7$ 코드의 경우, 정적 구현은 약 255260 $\mu$s의 QEC 사이클 시간을 달성하며, 이는 셔틀링 기반 구현의 약 1.62.0 ms와 비교하여 10배 빠른 속도이다.
  • Bivariate Bicycle 코드: 정적 아키텍처는 운동 기반 구현에 비해 사이클 시간을 2배 단축한다.
• 노이즈 탄력성: 이종 종(dual-species) 인코딩과 최적화된 리드베리 상태의 사용은 게이트를 미세한 원자 변위에 본질적으로 무감각하게 만들어, 모션 불충실도를 자발적 방출 한계까지 억제한다.

의의 및 주장
본 논문은 정적 원자 버스를 확장 가능한 FTQC를 위한 실용적이고 빠르며 고충실도의 대안으로 확립한다. 능동적인 원자 수송을 배경 작업(보충 및 자원 라우팅)으로 국한함으로써, 이 아키텍처는 주요 알고리즘 클록 사이클에서 수송 유도 지연과 히팅을 효과적으로 제거한다. 저자들은 이 연구가 정적 중성 원자 아키텍처의 논리적 성능에 대한 최초의 종합적이고 정량적인 평가를 제공하며, 이를 통해 범용 결함 허용 양자 컴퓨팅의 까다로운 연결성 요구 사항을 충족하면서도 동적 셔틀링 방식보다 성능 면에서 크게 앞선다는 것을 입어했다는 점을 주장한다. 결과적으로 정적 버스는 효율적인 논리 메모리, 클리포드 연산, 그리고 매직 상태 증류를 가능하게 하여 대규모 양자 컴퓨팅을 향한 실행 가능한 경로를 제시한다.