Lazy-Move Compilation for Neutral-Atom Quantum Computers via a Buffer-Relay Fabric

기술 요약: 버퍼-릴레이 패브릭을 통한 중성 원자 양자 컴퓨터용 레이지-무브(Lazy-Move) 컴파일

문제 정의
중성 원자 양자 컴퓨팅은 높은 큐비트 수와 긴 결맞음 시간(coherence times)을 제공하지만, 고유한 연결성은 짧은 거리의 리드베리 블로케이드(Rydberg blockade)에 의해 제한됩니다. 현재의 최첨단 컴파일 전략은 데이터 원자를 물리적으로 이동시켜 각 게이트 실행 전 연산 쌍을 블로케이드 반경 내로 가져오는 "재구성 중심(reconfiguration-centric)" 접근 방식에 의존합니다. 이러한 방식은 유연성을 제공하지만, 다음과 같은 상당한 비용을 발생시킵니다:

1. 충실도 저하(Fidelity Degradation): 각 이동은 운동 가열(motional heating), SLM(Spatial Light Modulator)과 AOD(Acousto-Optic Deflector) 간의 핸드오프 오류, 그리고 원자 손실 위험을 유발합니다.
2. 지연 시간(Latency): AOD의 이동 지연 시간은 단일 게이트 펄스 지속 시간보다 실질적으로 훨씬 깁니다.
3. 확장성(Scalability): 회로 깊이가 깊어짐에 따라, 수천 번의 수송 이벤트에 따른 누적 비용은 전체 회로의 충실도와 실행 시간을 저하시킵니다.

핵심 과제는 데이터 원자의 지속적인 이동에 의존하지 않고, 충실도를 보존하고 지연 시간을 줄임으로써 장거리 연결성을 회복하는 것입니다.

방법론: BRIDGE 프레임워크
저자들은 정적 하드웨어 패브릭과 "레이지-무브(lazy-move)" 컴파일러의 공동 설계인 BRIDGE(Buffer-Relay Interconnect for Data-stable Gate Execution)를 제시합니다. 이 접근 방식은 전통적인 설계 논리를 뒤집습니다. 즉, 데이터 원자가 서로 만나기 위해 이동하는 대신, 인코딩되지 않는 "버퍼" 원자들의 정적인 네트워크를 통해 얽힘(entanglement)을 라우팅하며, 데이터 원자는 엄격한 손익 분기점 분석(break-even analysis)이 이동 비용을 정당화할 때만 이동합니다.

• 하드웨어 아키텍처 (버퍼-릴레이 패브릭):

  • 이종 원자 기판(Dual-Species Substrate): 시스템은 $^{87}\text{Rb}$(데이터 원자)와 $^{133}\text{Cs}$(버퍼 원자)의 두 종으로 구성된 교차 배치된 2D 인터리브 어레이를 활용합니다.
  • 채널 선택성: 종 특이적 어드레싱과 포르스터 공명(Förster resonances)을 통해 세 개의 독립적인 결합 채널(Rb–Cs 강함, Cs–Cs 강함, Rb–Rb 억제됨)을 생성합니다.
  • 기하학적 배치: Cs 버퍼 원자는 정사각형 격자($d_{BB} = 8.0\,\mu\text{m}$)를 형성하며, Rb 데이터 원자는 $2\times2$ 버퍼 플래킷(plaquette)의 중심에 배치됩니다($d_{DB} = 5.66\,\mu\text{m}$). 이 기하학적 구조는 데이터-데이터 간 직접적인 크로스토크를 억제하면서 데이터-버퍼 및 버퍼-버퍼 결합을 강력하게 유지합니다.
  • BAM 게이트: 얽힘은 버퍼-원자 매개(Buffer-Atom-Mediated, BAM) 게이트를 통해 분배됩니다. 다중 홉 릴레이 경로가 중간 버퍼 원자들을 통해 리드베리 들뜸(excitation)을 전달함으로써, 두 연산자를 재배치하지 않고도 임의의 데이터 쌍이 상호작용할 수 있게 합니다.

• 컴파일러 전략 (Lazy-Move):

  • 정적 베이스라인 (BRIDGE-F): 논리 큐비트를 물리적 그리드에 매핑하고, 최단 경로 릴레이 알고리즘과 분리된 버퍼 스케줄링을 사용하여 모든 게이트를 버퍼 패브릭을 통해 라우팅하는 완전 정적 컴파일러입니다.
  • 하이브리드 최적화 (BRIDGE-H): "핫스팟"(긴 릴레이 체인 또는 시간적으로 밀집된 장거리 상호작용)을 평가하는 분석적 이동성 해상 단계입니다. 이는 단 한 번의 데이터 원자 이동이 미래의 릴레이 오류(충실도 및 시간) 감소 효과보다 더 큰 비용을 초래하지 않을 때, 즉 손익 분기 조건이 충족될 때만 이동을 트리거합니다.
  • 배치(Placement): 합의 기반 최적화(Consensus-Based Optimization, CBO) 탐색을 사용하며, 잠재적인 미래 셔틀링을 위한 공간적 여유를 확보하면서 초기 릴레이 길이를 최소화하기 위해 경량 머신러닝(ML) 웜 스타트(warm-start)를 선택적으로 활용합니다.

주요 기여

1. 정적 버퍼-릴레이 패브릭: 이종 원자 교차 배치를 사용하여 장거리 연결성을 컴파일러가 관리하는 고정된 자원으로 노출함으로써, 데이터 원자의 이동을 기본 라우팅 프리미티브로 사용하는 필요성을 제거한 최초의 설계입니다.
2. 레이지-무브 컴파일러: 데이터 원자의 이동을 드문 예외적 사건으로 취급하는 최초의 중성 원자 회로용 컴파일러입니다. 이는 단일 재배치 이동이 미래의 릴레이 오류 비용을 상쇄할 수 있는지 결정하기 위해 물리 기반의 손익 분기 테스트를 사용합니다.
3. 엔드 투 엔드 검증: 릴레이 펄스 충실도, 누설(leakage), 상관 오류, AOD 이동 지연 시간 및 총체적 회로 충실도를 포함한 현실적인 하드웨어 파라미터를 모델링한 종합 시뮬레이션 파이프라인을 구축했습니다.

결과
단일 공유 오류 모델 하에서 22개의 회로로 구성된 매치드 벤치마크 세트(QASMBench 및 VeriQBench)를 통해 평가되었습니다:

• 충실도(Fidelity): BRIDGE-F는 ZAP보다 약 10배, Enola(재구성 중심 베이스라인)보다 약 16배 높은 기하 평균 총 충실도를 달성했습니다. 가장 어려운 회로에서는 그 개선 폭이 2개 오더(two orders of magnitude)를 넘어섭니다.
• 실행 시간: BRIDGE-F는 ZAP 대비 약 540배, Enola 대비 약 1000배 빠른 회로 실행 시간을 보여줍니다.
• 이동(Movement): BRIDGE-F는 데이터 원자의 이동을 베이스라인의 수천 번의 수송 이벤트에서 **제로(0)**로 줄였습니다.
• 선택적 이동성: 하이브리드 BRIDGE-H 변형의 경우, 선택적 이동성은 일반적인 세트에서는 미미한 이득(중앙값 이득 $\approx 0\%$)을 보였으나, 시간적으로 밀집된 장거리 상호작용(예: 위상 변화 알고리즘)이 있는 특정 회로나 릴레이 충실도가 저하되는 경우 최대 $\sim 19\%$의 유의미한 개선을 보였습니다.
• 절제 실험(Ablation): 성능 향상은 주로 이동성 인식 배치(릴레이 길이 단축)와 정적 버퍼 패브릭 자체에 의해 주도되며, 단순한 스케줄링 휴리스틱 때문이 아닙니다.

의의 및 주장
본 논문은 BRIDGE가 중성 원자 양자 컴퓨팅의 공동 설계 지점에 대한 근본적인 변화를 나타낸다고 주장합니다. 연결성을 원자 운동의 결과가 아닌, 정적이고 라우팅 가능한 물리적 자원으로 취급함으로써, 이 접근 방식은 충실도와 실행 시간을 동시에 개선합니다. 저자들은 "레이지-무브" 원칙이 자기 제어형(self-disabling)의 무위험(no-regret) 메커니즘이라고 주장합니다. 즉, 현재의 하드웨어 파라미터 하에서는 정적 패브릭이 대부분의 워크로드에 충분하며, 이동성은 그것이 엄격하게 이득이 될 때만 호출됩니다. 이러한 아키텍처 수준의 변화는 재구성 중심 컴파일링의 누적 오류 페널티를 피할 수 있는 고충실도 대규모 양자 컴퓨팅으로 가는 경로를 제시합니다. 또한, 고정된 토폴로지는 데이터 원자는 정지해 있고 버퍼 네트워크가 측정 및 라우팅을 담당하는 표면 코드(surface-code) 결함 허용(fault tolerance)의 신드롬 추출 요구 사항과 잘 부합함을 언급합니다.