[논문 리뷰] Faster and shorter synthesis of Hamiltonian simulation circuits

Timothée Goubault de Brugière, Simon Martiel|arXiv (Cornell University)|2024. 04. 04.

Simulation Techniques and ApplicationsDecision Sciences인용 수 3

한 줄 요약

이 논문은 하미르토니안 시뮬레이션을 위한 파울리 로테이션 시퀀스를 구현하는 양자 회로를 합성하기 위해 탐욕적 휴리스틱을 제안한다. 이는 엔트랑글링 게이트 수나 깊이를 최소화하는 데 목적이 있으며, 클리포드 변환을 탐욕적으로 선택하여 주로 정규성(Identity)의 누적을 극대화함으로써 기존 최상위 기법 대비 깊이를 최대 4배까지 감소시킨다. 이 방법은 효율적이며 순서 유지 합성에까지 확장 가능하다.

ABSTRACT

We devise greedy heuristics tailored for synthesizing quantum circuits that implement a specified set of Pauli rotations. Our heuristics are designed to minimize either the count of entangling gates or the depth of entangling gates, and they can be adjusted to either maintain or loosen the ordering of rotations. We present benchmark results demonstrating a depth reduction of up to a factor of 4 compared to the current state-of-the-art heuristics for synthesizing Hamiltonian simulation circuits. We also show that these heuristics can be used to optimize generic quantum circuits by decomposing and resynthesizing them.

연구 동기 및 목표

• 하미르토니안 시뮬레이션을 위한 파울리 로테이션을 구현하는 양자 회로에서 엔트랑글링 게이트 수와 깊이를 최소화하는 문제를 해결하기 위해.
• 기존 방법이 코디아고날라이제이션과 단계 다항식 합성에 의존하여 추가 엔트랑글링 게이트를 유도하는 한계를 극복하기 위해.
• 파울리 연산자 표현에서 주어진 정규성의 수를 추적함으로써 기저 변경과 게이트 수를 동시에 최적화하는 탐욕적이고 저비용의 접근법을 개발하기 위해.
• 일반적인 양자 회로 최적화에 더 넓은 적용성을 갖기 위해 순서 유지 합성으로의 확장을 위해.
• 소규모 인스턴스에서 경쟁 가능한 성능를 달성하면서도 낮은 런타임을 유지하여 기존의 대규모 구조 최적화 기법을 보완하기 위해.

제안 방법

• 양자 회로에서 파울리 연산자의 벡터화된 표현을 $\mathbb{F}_2^{2n}$에서 사용하여 클리포드 게이트에 의한 공액 작용과 파울리 항의 추적을 효율적으로 수행한다.
• 두 큐비트 클리포드 조각을 적용한 후 큐비트에서 증가하는 주어진 정규성(I 항)의 수를 측정하기 위한 점수 함수를 정의하며, 이는 비클리포드 게이트 수 감소를 우선시한다.
• 18개의 표준 단일-CNOT 클리포드 조각(예: $CNOT \cdot (U_1 \otimes U_2)$, $U_1 \in \{I, H, X\}$, $U_2 \in \{I, H, S\}$)을 탐색하여 최적의 기저 변경을 식별한다.
• 탐욕적 선택은 점수 함수를 최대화하는 조각을 우선시함으로써 비자명한 파울리 항의 수를 줄이고, 더 효율적인 단일 큐비트 로테이션 구현을 가능하게 한다.
• 비용 함수를 조정하여 깊이 최적화 및 수량 최적화 버전을 지원하며, 일반적인 회로 합성에 대해 로테이션 순서를 유지할 수 있도록 조정이 가능하다.
• 후처리 단계에서 점수 함수에 영향을 주지 않는 중복된 클리포드 게이트를 제거하여 최소한의 회로 오버헤드를 확보한다.

실험 결과

연구 질문

• RQ1 하미르토니안 시뮬레이션에서 파울리 로테이션 시퀀스를 위한 엔트랑글링 게이트 깊이를 최소화하는 데 있어, 탐욕적이고 저비용의 휴리스틱이 최신 기법을 능가할 수 있는가?
• RQ2 회로 최적화에서 클리포드 기저 변경을 이끄는 데 있어 주어진 정규성 누적을 점수 함수로 사용하는 것이 얼마나 효과적인가?
• RQ3 로테이션 순서를 유지하거나 완화함으로써도 깊이 및 수량 감소를 상당히 달성할 수 있는가?
• RQ4 제안된 휴리스틱은 하미르토니안 시뮬레이션을 넘어 일반적인 양자 회로 최적화로 효과적으로 확장될 수 있는가?
• RQ5 더 큰 인스턴스에 대해 코디아고날라이제이션 및 단계 다항식 합성과 비교했을 때 성능 및 효율성이 어떻게 스케일링되는가?

주요 결과

• 제안된 휴리스틱은 하미르토니안 시뮬레이션 회로에서 현재 최상의 기법 대비 최대 4배 깊이 감소를 달성한다.
• 엔트랑글링 게이트 수를 효과적으로 줄이며, 낮은 실행 시간과 탐욕적 최적화 덕분에 큰 인스턴스에서도 경쟁력 있는 성능를 보인다.
• 주어진 정규성 누적에 기반한 점수 함수는 명시적 코디아고날라이제이션 없이도 최적의 클리포드 변환을 효율적으로 식별할 수 있게 한다.
• 로테이션 순서를 유지해야 하는 경우에도 이 방법은 효과적이며, 일반적인 양자 회로 합성에의 응용을 가능하게 한다.
• 코디아고날라이제이션 및 단계 다항식 합성과 같은 기존의 대규모 구조 최적화 기법을 보완하며, 특히 소규모에서 중간 규모의 회로에서 뛰어난 성능를 발휘한다.
• 벤치마크 결과는 탐욕 전략이 더 철저하거나 구조화된 방법들이 놓치는 중요한 최적화를 포착하고 있음을 확인한다.