ZAP: Zoned Architecture and Performant Compiler for Field Programmable Atom Array

ZAP 은 반복적인 전역 탐색을 단일 패시 하드웨어 인식 흐름으로 대체함으로써 실행 품질을 경쟁력 있게 유지하면서 최대 10,000 배에 달하는 다수 차수의 컴파일 속도 향상을 달성하는 필드 프로그래머블 원자 배열을 위한 공동 설계된 존 아키텍처와 결정론적 컴파일러를 도입합니다.

핵심

수천 명의 무용수 (원자) 가 있는 거대한 무대에서 대규모이고 고위험의 춤 공연을 조직하려고 상상해 보세요. 표준 양자 컴퓨터에서는 무용수들이 고정된 위치에 묶여 있어, 서로 상호작용하게 하려면 복잡하고 느린 동작을 사용해 서로를 "넘어가는" 움직임을 만들어야 합니다.

하지만 중성 원자 양자 컴퓨팅에서는 무용수들이 실제로 보이지 않는 자기 기포 (광학 집게) 위에 떠 있습니다. 당신은 그들을 들어 올려 무대 어디든 즉시 이동시킬 수 있습니다. 이것이 놀랍게 들리나요? 하지만 함정이 있습니다. 너무 많은 무용수를 한 번에 움직이면 그들이 서로 부딪히거나 (크로스토크), 음악이 너무 커져 무용수들이 혼란을 겪고 리듬을 잃게 됩니다 (노이즈).

문제는 이러한 수천 명의 움직이는 무용수를 위한 "안무" (컴파일러) 를 작성하는 것이 극도로 어렵다는 점입니다. 이전 방법들은 완벽한 춤을 찾기 위해 수백만 번의 시뮬레이션을 실행하여 해결책을 모색했는데, 이는 몇 시간에서 며칠이 걸렸습니다. 이는 실제 사용에는 너무 느립니다.

이제 ZAP(Zoned Architecture and Performant Compiler) 가 등장합니다. ZAP 은 혼란을 해결하기 위해 단순하고 영리한 트릭을 사용하는 천재적인 새로운 무대 매니저라고 생각하세요.

큰 아이디어: 두 개의 특수한 방

ZAP 은 전체 무대를 하나의 큰 혼란으로 취급하는 대신, 무대를 두 개의 명확한 "방"으로 나눕니다:

1. 저장실: 이는 무용수들이 춤을 추지 않을 때 앉는 조용하고 안전한 대기 공간입니다. 여기서는 무용수들이 서로 멀리 떨어져 있어 실수로 부딪히지 않습니다.
2. 무대 (얽힘 영역): 이는 실제 "파트너 춤" (두 큐비트 게이트) 이 일어나는 작고 특별한 영역입니다. 바닥은 무용수 쌍이 완벽하게 손을 잡을 수 있는 특정 위치로 설정되어 있습니다.

ZAP 의 작동 방식 (안무)

춤 연주가 필요할 때, ZAP 은 전체 쇼에 대한 모든 움직임을 한 번에 계획하려고 시도하지 않습니다. 대신 결정론적, 한 번 통과 전략을 사용합니다:

1. "선제적" 움직임: 음악이 시작되기 전에 ZAP 은 어떤 무용수들이 무대로 가야 하는지 빠르게 파악합니다. 단순히 가장 가까운 무용수를 선택하는 것이 아니라, 다음에 이동해야 할 무용수들을 미리 파악합니다. 저장실에서 무용수들을 배치하여 호출될 때 서로 부딪히지 않고 동시에 무대로 이동할 수 있도록 합니다.
2. "머무르기 또는 이동하기" 결정: 무용수 한 쌍이 무대에서 춤을 마친 후, 그들은 다음 춤을 위해 무대에 남거나 저장실로 돌아가는 선택을 합니다.
   • 이전 방법 은 경직되어 있었습니다: 모든 사람을 무대에 남기거나 (노이즈 위험), 즉시 모두를 보내는 (이동 시간 낭비) 방식이었습니다.
   • ZAP 의 트릭: 비용을 계산합니다. "이 무용수를 여기에 두면 노이즈가 발생할까? 보내면 시간이 너무 걸릴까?" 각 무용수마다 속도와 안전을 균형 있게 고려하여 가장 현명한 선택을 합니다.
3. 한 번 통과 흐름: 이전 매니저들이 계획을 세우고 그것이 나쁘다는 것을 깨닫고 다시 시작하는 (반복적 탐색) 것과 달리, ZAP 은 한 번에 전체를 계획합니다. 이는 악보를 너무 잘 알고 있어 오케스트라 전체를 50 번이나 리허설할 필요가 없는 지휘자처럼, 신호만 주면 음악이 흐르는 것과 같습니다.

결과: 속도와 품질

해당 논문은 ZAP 이 두 가지 측면에서 게임 체인저라고 주장합니다:

• 속도: 놀라울 정도로 빠릅니다. 다른 매니저들이 100 명의 무용수를 위한 연주를 계획하는 데 수 분에서 수 시간이 걸렸던 반면, ZAP 은 0.1 초 미만에 완료합니다. 이는 1,000 배에서 10,000 배의 속도 향상입니다. 병목 현상이었던 과정을 즉시 발생하는 것으로 바꿉니다.
• 품질: ZAP 은 무용수를 언제 이동시키고 언제 멈춰 두어야 하는지에 대해 매우 영리하기 때문에 "부딪힘" (크로스토크) 과 "혼란" (결어긋남) 을 줄입니다. 결과적으로 춤은 더 정확해지고 음악은 더 선명해집니다. 이는 무용수들이 기이한 패턴으로 상호작용해야 하는 복잡하고 messy 한 연주기 (구조화된 알고리즘) 에 특히 그렇습니다.

왜 이것이 중요한가

해당 논문은 하드웨어 (두 개의 방) 와 소프트웨어 (매니저) 를 함께 작동하도록 설계함으로써 양자 컴퓨터를 마침내 확장할 수 있다고 주장합니다. 불가능한 퍼즐을 해결하려 발목이 잡히는 대신, ZAP 은 양자 프로그램을 실행할 수 있는 실용적이고 빠르며 신뢰할 수 있는 방법을 제공합니다.

간단히 말해: ZAP 은 움직이는 자동차들이 있는 도시를 위한 초효율적인 교통 관제사와 같습니다. 완벽한 경로를 찾기 위해 모든 가능한 교통 체증을 시뮬레이션하는 대신, 스마트하고 사전 계획된 차선 및 신호 시스템을 사용하여 모든 사람을 즉시 그리고 사고 없이 목적지로 이동시킵니다.

기술 요약

기술 요약: ZAP – 필드 프로그래머블 원자 배열을 위한 존 아키텍처 및 고성능 컴파일러

1. 문제 제기

중성 원자 양자 컴퓨팅은 수천 개의 물리적 큐비트와 높은 충실도의 게이트 연산을 제공하는 확장성 중심 플랫폼으로 부상했습니다. 이 아키텍처의 정의적 특징은 광학 집게 (음향 광학 편향기, AOD) 를 사용하여 원자를 동적으로 재배치하여 연결성을 확립함으로써, 초전도 회로와 같은 정적 아키텍처에서 발견되는 비용이 많이 드는 SWAP 게이트 체인의 필요성을 제거한다는 점입니다.

그러나 이러한 동적 기능은 심각한 컴파일러 - 아키텍처 과제를 도입합니다. 기존 컴파일러 (Enola, ZAC, PowerMove 등) 는 재구성 가능한 원자 배열에 논리 회로를 매핑하기 위해 느리고 반복적인 탐색 기반 알고리즘에 의존합니다. 이러한 접근 방식은 확장성이 부족합니다. 적당히 크기의 문제들에 대한 컴파일 시간은 분에서 시간으로 급증하여, 오류 정정 시스템 개발을 저해하고 알고리즘 연구에 필수적인 빠른 피드백 루프를 방해하는 병목 현상을 만듭니다. 더 나아가 이러한 컴파일러는 실행 품질 (충실도) 과 속도를 동시에 최적화하는 데 어려움을 겪으며, 원자 수송 오버헤드, 전역 레이저 필드에서의 크로스토크, 그리고 결어긋남 사이의 트레이드오프를 적절히 관리하지 못하는 경우가 많습니다.

2. 방법론

저자들은 특정 하드웨어 레이아웃과 결정론적, 비반복적 컴파일러를 통합한 공동 설계 프레임워크인 ZAP(Zoned Architecture and Performant Compiler) 를 제안합니다.

하드웨어 아키텍처: 존 (Zone) 접근법

ZAP 은 원자 배열을 두 개의 명확한 영역으로 분할하여 공간적 구조를 부과합니다.

• 저장 존 (Storage Zone): 공간 광 변조기 (SLM) 로 생성된 깊은 전위 우물에 유휴 큐비트를 보유하여 결어긋남을 보존하고 크로스토크를 최소화하는 정적 영역입니다.
• 얽힘 존 (Entanglement Zone): 두 큐비트 게이트 실행을 위해 활성 큐비트가 수송되는 동적 영역입니다. 이 존은 라이드베르크 블로케이드 상호작용에 최적화되어 있으며, 원자 쌍이 블로케이드 반경 내에 배치되지만 쌍 사이에는 불필요한 상호작용을 방지하기 위해 간격을 유지합니다.

이 물리적 분리는 얽힘에 사용되는 전역 레이저 필드로부터 유휴 큐비트를 격리하여 크로스토크를 크게 감소시킵니다.

ZAP 컴파일러 프레임워크

ZAP 은 반복적 전역 탐색을 3 단계로 구성된 단일 패스, 결정론적 컴파일 흐름으로 대체합니다.

1. ASAP-분리 스케줄링 (ASAP-Separate Scheduling):
   모든 게이트를 그룹화하여 논리적 깊이를 최소화하는 표준 "ASAP-결합" 스케줄링과 달리, ZAP 은 ASAP-분리 전략을 사용합니다. 이는 모든 두 큐비트 게이트를 먼저 스케줄링한 후 남은 시간 슬롯에 단일 큐비트 게이트를 채워 넣습니다. 이러한 분리는 존 아키텍처에서 결어긋남의 주된 원인인 단계 간 큐비트 셔틀링 빈도를 줄입니다.

2. 라우팅 인식 배치 (Routing-Aware Placement):

   • 초기 매핑: 큐비트는 초기 단계에 참여하는 큐비트를 선호하는 가중 우선순위 시스템에 따라 저장 사이트에 매핑됩니다. 중요한 점은 이 매핑이 향후 라우팅 충돌을 예측하여 AOD 호환 이동 벡터를 생성할 가능성에 따라 후보 사이트를 점수화하는 "병렬 인식" 항을 포함한다는 것입니다.
   • 단계별 정제: 각 단계에서 컴파일러는 유휴 큐비트를 얽힘 존에 유지할지 아니면 저장소로 반환할지 동적으로 결정합니다. 이 결정은 (유지할 경우) 크로스토크로 인한 충실도 손실과 (이동할 경우) 수송 및 결어긋남 비용을 비교하는 비용 - 편익 분석에 기반합니다.
   • 탐욕적 할당: 활성 큐비트는 이동 거리를 최소화하면서 AOD 행/열 충돌을 피하는 이동 패턴을 우선시하는 휴리스틱을 사용하여 얽힘 쌍에 할당됩니다.

3. 충돌 인식 라우팅 (Conflict-Aware Routing):
   라우터는 논리적 이동을 물리적 명령어로 변환합니다. 이는 상호 호환 가능한 이동 세트 (AOD 행/열 제약 조건을 유지) 를 식별하고 병렬 배치로 실행합니다. 충돌이 발생할 때 (예: 같은 행에 있는 두 원자가 서로 다른 행으로 이동해야 하는 경우), ZAP 은 완전한 직렬화 없이 병렬 수송을 가능하게 하는 충돌 해결을 위한 파킹 작업 (short, intermediate displacements) 을 사용합니다.

3. 주요 기여

• 결정론적 단일 패스 컴파일: ZAP 은 이전 작업 (ZAC, Enola) 에서 발견된 반복적 탐색 루프를 제거하여 매핑 문제를 효율적으로 확장 가능한 결정론적 프로세스로 변환합니다.
• 하드웨어 구조화 공동 설계: 하드웨어를 저장 존과 얽힘 존으로 명시적으로 분할함으로써 ZAP 은 컴파일 작업을 단순화하여 크로스토크를 억제하는 특수 스케줄링 및 배치 전략을 가능하게 합니다.
• 하이브리드 유휴 큐비트 관리: 컴파일러는 크로스토크 노출과 수송 오버헤드 사이의 균형을 맞추는 동적 정책을 도입하여, 정적 "항상 이동" 또는 "항상 머무름" 전략보다 우수한 성능을 발휘합니다.
• 라우팅 인식 배치: 배치 휴리스틱은 매핑 단계에서 AOD 제약 조건 (행/열 결합) 을 명시적으로 고려하여 라우팅 중 복잡한 충돌 해결의 필요성을 줄입니다.

4. 실험 결과

저자들은 구조화된 양자 벤치마크 (예: QFT, QRAM, Adder, QAOA) 와 무작위 3-정규 회로에서 ZAP 을 평가하여 Enola, ZAC, PowerMove 와 비교했습니다.

• 컴파일 속도: ZAP 은 여러 차수의 속도 향상을 달성합니다.
  • ZAC 및 PowerMove와 비교할 때, 컴파일 시간은 수십 초에서 0.1 초 미만으로 감소합니다 (속도 향상 >1,000 배).
  • Enola와 비교할 때, 평가된 세트에서 속도 향상은 10,000 배 이상입니다.
  • ZAP 은 100 큐비트 회로에서도 0.1 초 미만의 컴파일 시간을 유지하며 500 큐비트까지 효과적으로 확장되는 반면, 기준선 방법론들은 계산적으로 불가능해집니다.
• 실행 품질 (충실도):
  • ZAP 은 일관되게 경쟁력 있거나 우수한 충실도를 제공합니다.
  • 불규칙한 연결성을 가진 구조화된 워크로드(예: QRAM, QFT) 에서 ZAP 은 크로스토크를 효과적으로 억제하고 수송 관련 손실을 제한함으로써 상당한 충실도 향상을 보입니다.
  • 위상적 모티프가 덜 두드러지는 무작위 3-정규 회로에서는 충실도 격차가 좁아지지만, ZAP 은 여전히 경쟁력 있습니다.
• 실행 시간: ZAP 은 감소된 셔틀링 오버헤드와 효율적인 스케줄링으로 인해 전체 회로 지속 시간을 최소화하여 물리적 실행 시간 (메이크스팬) 측면에서 종종 존 컴파일러 중 가장 빠릅니다.

5. 중요성 및 주장

이 논문은 하드웨어 구조화된 비반복적 컴파일이 빠르고 확장 가능하며 노이즈 인식 중성 원자 양자 컴퓨팅을 위한 실용적인 경로를 제공함을 ZAP 이 입증한다고 주장합니다.

• 확장성: 반복적 탐색 병목 현상을 제거함으로써 ZAP 은 이전에는 합리적인 시간 내에 해결 불가능했던 대규모 회로 (수백 개의 큐비트) 의 컴파일을 가능하게 합니다.
• 실용적 유용성: 컴파일 시간의 극적인 감소는 상호작용 워크플로우, 반복적 알고리즘 개발, 폐쇄 루프 보정을 촉진하여 양자 연구 발전을 위해 필수적입니다.
• 충실도 vs 속도 트레이드오프: 이 연구는 속도가 품질의 대가를 치러야 한다는 관념에 도전합니다. ZAP 은 크로스토크 및 수송과 관련된 컴파일러 결정이 가장 큰 영향을 미치는 복잡하고 구조화된 워크로드에서 실행 충실도를 동시에 개선하거나 유지하면서 막대한 속도 향상을 달성합니다.
• 미래 전망: 저자들은 하드웨어 결어긋남이 개선됨에 따라 크로스토크 및 수송에 대한 컴파일러 수준의 결정의 상대적 중요성이 증가할 것이며, 이는 향후 오류 정정 시스템을 위해 ZAP 공동 설계 철학이 점점 더 중요해질 것이라고 제안합니다.