기술 요약: QBX - 칩렛 기반 2-로컬 큐비트 해밀토니안 시뮬레이션을 위한 컴파일러

문제 정의

2-로컬 큐비트 해밀토니안 시뮬레이션은 이징(Ising), XY, 하이젠베르크(Heisenberg) 모델과 같은 재료 과학부터 QAOA와 같은 최적화 알고리즘에 이르기까지 광범위한 응용 분야에 필수적인 기초적인 작업입니다. 그러나 이를 현재의 노이즈가 있는 중간 규모 양자(NISQ) 장치에서 실행하는 것은 제한된 큐비트 용량, 결맞음(decoherence), 그리고 연산 노이즈로 인해 매우 어렵습니다.

모놀리식 양자 칩은 주파수 충돌 및 제조 수율 감소와 같은 확장성 문제를 겪는 반면, 칩렛 아키텍처(Multi-Chip Modules 또는 MCM)는 유망한 확장 솔루션으로 부상했습니다. 이러한 아키텍처는 여러 개의 작은 칩렛을 연결하지만, 다음과 같은 고유한 컴파일링 과제를 야기합니다:

1. 통신 비용: 칩렛 간 커플링은 칩 내부 링크보다 훨씬 더 노이즈가 심하고 비용이 많이 듭니다.
2. 이질성: 기존의 범용 컴파일러(예: Qiskit, t|ket⟩)는 모든 큐비트 연결을 균일하게 취급하여, 온칩(on-chip) 링크와 크로스 칩(cross-chip) 링크 사이의 노이즈 차이를 무시하며, 이는 결과적으로 최적화되지 않은 충실도(fidelity)를 초래합니다.
3. 도메인 특화 컴파일러의 확장성: 해밀토니안 시뮬레이션을 위한 기존 도메인 특화 컴파일러들은 모놀리식 아키텍처를 위해 설계되었습니다. 이들은 칩렛 시스템에 적합한 문제 규모로 확장하는 데 실패하며, 크로스 칩 통신을 위한 최적화 기능이 부족합니다.
4. 하드웨어 기능의 저활용: 고속도로(highways, 효율적인 장거리 얽힘 자원)와 같은 칩렛 특화 메커니즘이 라우팅 깊이를 줄이거나 연산을 집계하기 위한 목적으로 충분히 활용되지 못하고 있습니다.

방법론

저자들은 칩렛 아키텍처 상의 2-로컬 큐비트 해밀토니안 시뮬레이션을 위해 명시적으로 설계된 최초의 도메인 특화 양자 컴파일러인 QBX를 제안합니다. QBX는 고수준의 시맨틱 최적화와 하드웨어 인지 매핑을 통합하는 확장 가능한 계층적 접근 방식을 채택합니다.

핵심 개념

1. 파울리 세트(Pauli Sets) 및 블록(Blocks):

   • 파울리 세트: QBX는 동일한 제어(control/root) 큐비트를 공유하는 동일 유형(예: $ZZ, YY, XX$)의 다중 2-로컬 파울리 문자열을 하나의 단위로 집계합니다. 이러한 집계는 이들을 멀티 타겟 제어 게이트에 적합한 단일 단위로 변환합니다.
   • 파울리 블록: 동일한 제어 및 타겟 큐비트를 가지지만 서로 다른 파울리 유형(예: 동일 쌍에 작용하는 $ZZ, YY, XX$)을 가진 파울리 세트의 그룹입니다. 이 구조는 **고속도로 재사용(highway reuse)**을 가능하게 합니다.

2. 고속도로 메커니즘(Highway Mechanism):

   • QBX는 상수 깊이의 장거리 통신을 가능하게 하는 얽힌 상태(일반화된 GHZ 또는 cat-like 상태)인 "고속도로"를 활용합니다.
   • 제어-공백 재사용(Control-Empty Reuse): 두 고속도로 게이트가 동일한 제어 및 타겟을 공유하고, 그 사이에 타겟에 작용하는 게이트들로만 구분되어 있다면, 고속도로 상태를 재구축 없이 재사용할 수 있습니다.
   • 교차-Y 재사용(Cross-Y Reuse): 특정 시퀀스(예: $ZZ$ 다음에 $YY$)에서, 고속도로를 재구축하는 비용을 피하기 위해 제어 큐비트에 $Y$ 게이트를, 고속도로 큐비트에 $X$ 게이트를 적용함으로써 고속도로를 재사용할 수 있습니다.

컴파일 파이프라인

QBX는 다음 다섯 단계를 거쳐 해밀토니안을 처리합니다:

1. 파울리 그래프 파티셔(Pauli Graph Partitioner): 큐비트를 노드로, 파울리 문자열 상호작용을 엣지로 하는 그래프를 구축합니다. 이 그래프를 서브그래프(세트)로 분할하여 여러 세트에 걸쳐 있는 파울리 문자열의 수를 최소화합니다. 이는 ILP(정수 선형 계획법) 또는 확장성을 위한 METIS 휴리스틱을 통해 해결되는 제약 최 p최적화 문제로 정식화됩니다.
2. 세트 오케스트레이터(Set Orchestrator): 분할된 세트를 물리적 칩렛에 매핑합니다. 이는 거리와 강도에 따라 가중치가 부여된 총 통신 비용을 최소화하기 위해 ILP를 통한 이차 할당 문제(QAP)를 해결합니다.
3. 파울리 블록 스케줄러(Pauli Block Scheduler): 각 세트 내의 파울리 문자열을 파울리 블록으로 집계합니다. 이 블로들을 레이어로 스케줄링하여, 고속도로를 사용할지(크로스 칩 또는 대규모 인트라 칩 블록의 경우) 아니면 로컬 라우팅을 사용할지 결정합니다. 서로 소(disjoint)인 블록들을 병렬로 실행하여 동시성을 극대화합니다.
4. 인트라 칩렛 매퍼(Intra-chiplet Mapper): 각 칩렛 내의 물리적 레지스터에 논리 큐비트를 매핑하며, 단기 국소성(예: SABRE 매퍼 사용)을 최적화합니다.
5. 회로 생성기(Circuit Generator): 스케줄 레이어를 최종 회로로 합성합니다. 라우팅 거리를 최소화하기 위해 교환 가능한 레이어를 동적으로 재정렬하고, 고속도로 구축, 얽힘 생성 및 재사용 로직(Control-empty 및 Cross-Y)을 구현합니다.

주요 기여

1. 칩렛을 위한 최초의 도메인 특화 컴파일러: QBX는 고수준의 해밀토니안 시맨틱스와 칩렛 아키텍처의 이질적인 제약 사이의 간극을 메우는 최초의 컴파일러입니다.
2. 계층적 매핑 전략: 큐비트-투-칩렛 할당과 인트라 칩렛 매핑을 분리함으로써, QBX는 크로스 칩 통신 거리와 횟수를 효과적으로 최소화합니다.
3. 체계적인 고속도로 재사용: QBX는 Control-empty 및 Cross-Y 고속도로 재사용에 대한 정리를 도입하고 증명하여, 여러 파울리 연산에 걸쳐 고속도로 구축 비용을 분담(amortize)할 수 있게 합니다.
4. 파울리 문자열의 집계: 2-로컬 파울리 문자열을 파울리 세트 및 블록으로 집계하는 방식은 멀티 타겟 제어 게이트의 효율적인 실행을 가능하게 하여, 게이트 수준 라우팅에 비해 회로 깊이를 크게 줄여줍니다.

결과

저자들은 324, 440, 990 큐비트의 시뮬레이션 백엔드에서 QAOA 및 다양한 물리 모델(Ising, XY, Heisenberg)을 포함한 51개의 회로를 대상으로 QBX를 일반 목적 컴파일러(Qiskit, t|ket⟩), 칩렛 특화 컴파일러(MECH), 도메인 특화 해밀토니안 컴파일러(2QAN, Paulihedral)와 비교 평가했습니다.

• 일반 목적 컴파일러 대비 성능:
  • QBX-METIS는 Qiskit 대비 회로 깊이를 2.57배 줄였으며, t|ket⟩ 대비 10.35배 줄였습니다.
  • 유효 CNOT 횟수(불충실도를 나타내는 지표)는 Qiskit 대비 1.30배, t|ket⟩ 대비 2.62배 감소했습니다.
• 도메인 특화 컴파일러 대비 성능:
  • 2QAN과 비교했을 때, QBX는 대등한 깊이(1.13배 낮음)를 달성하면서도 2QAN이 타임아웃되었던 훨씬 더 큰 문제 규모까지 확장 가능했습니다. 2QAN의 스케줄링 복잡도($O(m^4)$)는 확장성을 제한한 반면, QBX의 그리디 스케줄러는 $O(N_c m n)$으로 동작합니다.
  • Paulihedral는 재귀 깊이 제한으로 인해 모든 벤치마크에서 실패했습니다.
• MECH 대비 성능:
  • QBX는 회로 깊이에서 1.69배, 유효 CNOT 횟수에서 1.08배 우수한 성능을 보이며 일반 칩렛 컴파일러인 MECH를 능가했습니다. 이는 도메인 특화 시맨틱 최적화의 가치를 입증합니다.
• 확장성:
  • QBX-METIS는 ILP 기반 솔버(QBX-CPLEX)나 다른 컴파일러들이 실패하거나 타임아웃되는 문제 규모에서도 탁월한 확장성을 보여주었습니다.
  • 민감도 분석 결과, 칩렛의 수가 증가할수록 Qiskit 대비 QBX의 성능 우위가 더욱 확대됨을 확인했습니다.

의의

본 논문은 QBX가 근접 미래의 양자 하드웨어에서 대규모 해밀토니안 시뮬레이션을 가능하게 하는 중요한 진전이라고 주장합니다. 2-로컬 해밀토니안 시뮬레이션이 칩렛 아키텍처에서 활용할 수 있는 특정 구조적 특성(가환성, 파울리 유형의 균질성)을 가지고 있음을 인식함으로써, QBX는 범용 컴파일러의 최적화되지 않은 출력을 피합니다.

이 연구는 칩렛 아키텍처에서 도메인 특화 지식이 얼마나 중요한지를 강조합니다. 단순히 일반적인 라우팅 최적화를 적용하는 것만으로는 불충분하며, 컴파일러는 칩렛 구조의 제약을 극복하기 위해 고수준 시맨틱(파울리 문자열 집계와 같은)과 하드웨어 특화 기능(고속도로 재사용과 같은)을 반드시 활용해야 합니다. 저자들은 칩렛 기술을 통한 양자 용량 확장을 지원하기 위해 QBX가 양자 컴파일링의 필연적인 진화 단계라고 규정합니다.