[논문 리뷰] QuanTree and QuanLin, Two Special Purpose Quantum Compilers

Robert R. Tucci|ArXiv.org|2007. 12. 23.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 4

한 줄 요약

이 논문은 양자 보행 기반 알고리즘(예: Farhi-Goldstone-Gutmann NAND 공식 평가기)을 위한 효율적인 회로 합성 가능성을 제공하는, 자바로 작성된 두 가지 전문화된 양자 컴파일러인 QuanTree와 QuanLin을 소개한다. QuanTree는 균형 잡힌 이진 트리 그래프의 해밀토니안에 기반한 양자 진화 연산자를 컴파일하며, QuanLin은 선형(열린 스트링) 그래프에 기반한 연산자를 컴파일한다. 양자 컴파일러는 프레셰 노름 오차 한계를 갖는 3차 수준의 Suzuki-Trotter 근사법을 사용하여, 근사 양자 회로로 변환한다.

ABSTRACT

This paper introduces QuanTree v1.1 and QuanLin v1.1, two Java applications available for free. (Source code included in the distribution.) Each application compiles a different type of input quantum evolution operator. The applications output a quantum circuit that is approximately equal to the input evolution operator. QuanTree compiles an input evolution operator whose Hamiltonian is proportional to the incidence matrix of a balanced, binary tree graph. QuanLin compiles an input evolution operator whose Hamiltonian is proportional to the incidence matrix of a line (open string) graph. Both applications also output an error, defined as the distance in the Frobenius norm between the input evolution operator and the output quantum circuit.

연구 동기 및 목표

• 특정 양자 보행 알고리즘에서 발생하는 양자 진화 연산자 전용 컴파일러를 개발하는 것.
• 균형 잡힌 이진 트리 및 선형 그래프의 인cidenc 행렬에서 유도된 유니터리 연산자의 효율적 컴파일링을 가능하게 하는 것.
• 재현 가능성과 양자 알고리즘 파ip라인에의 통합을 위해 소스 코드를 포함한 오픈소스 자바 도구를 제공하는 것.
• 입력 유니터리와 컴파일된 회로 간의 프레셰 노름을 사용하여 컴파일 정확도를 정량화하는 것.
• 앞으로 더 큰 양자 알고리즘(예: Farhi-Goldstone-Gutmann NAND 공식 평가)에의 통합을 지원하는 것.

제안 방법

• QuanTree는 $ U = e^{iH_{\text{tree}}} $ 형태의 진화 연산자를 컴파일하며, 여기서 $ H_{\text{tree}} $ 는 $ N_B $ 큐비트를 가진 균형 잡힌 이진 트리 그래프의 인cidenc 행렬에 비례한다.
• QuanLin은 $ U = e^{iH_{\text{line}}} $ 를 컴파일하며, 여기서 $ H_{\text{line}} $ 는 선형 그래프(그레이 코드로 연결된 상태)의 인cidenc 행렬에 비례한다.
• 두 컴파일러 모두 $ N_T=1 $ 인 3차 수준의 Suzuki-Trotter 근사법을 사용하며, 오차 척도는 QuanTree의 경우 $ \mathcal{O}(g^4 / N_T^3) $, QuanLin의 경우 $ N_T > 1 $ 일 때 $ \mathcal{O}(g^{r+1} / N_T^r) $ 이다.
• 컴파일러는 세 가지 출력 파일을 생성한다: 오차 메트릭스가 기록된 로그 파일, 기호 형태로 양자 회로를 기술한 영문 파일, 그리고 시각적 표현을 위한 그림 파일.
• 컴파일러는 목표 유니터리 $ U = e^{iH} $ 를 정확한 대각화를 통해 계산한 후, 기본 연산자 시퀀스(SEQ)를 곱하여 컴파일된 회로를 검증하고, 프레셰 노름 오차를 계산한다.
• 제어판을 통해 사용자는 $ N_B $, 결합 상수 $ g $, 그리고 트롯 수 $ N_T $ 를 설정할 수 있으며, 출력으로는 기본 연산자 수와 오차가 포함된다.

실험 결과

연구 질문

• RQ1 트리 구조의 그래프에서 유도된 양자 진화 연산자를 근사 최적의 양자 회로로 효율적으로 컴파일하는 방법은 무엇인가?
• RQ2 트리 및 선형 그래프 해밀토니안에 대해 3차 수준의 Suzuki-Trotter 분해를 사용할 경우, 양자 회로 근사의 달성 가능한 정확도는 어느 정도인가?
• RQ3 구조화된 해밀토니안을 위한 전문화된 컴파일러가 일반 목적의 양자 컴파일러보다 회로 깊이와 게이트 수 측면에서 뛰어난 성능을 보일 수 있는가?
• RQ4 트롯 수 $ N_T $ 를 증가시킬 경우, 컴파일된 양자 회로의 오차 척도에 어떤 영향을 미치는가?
• RQ5 트리 그래프 표현에서 덜 유의미한 노드(dud node)의 역할은 무엇이며, 힐베르트 공간 차원과 회로 합성에 어떤 영향을 미치는가?

주요 결과

• QuanTree는 $ N_B \in \{2,3,4,\ldots\} $ 큐비트를 가진 균형 잡힌 이진 트리에 대해 $ e^{iH_{\text{tree}}} $ 의 진화 연산자를 성공적으로 컴파일하며, $ N_T $ 개의 트롯을 사용할 경우 $ \mathcal{O}(g^4 / N_T^3) $ 오차를 갖는다.
• QuanLin은 선형 그래프(그레이 코드로 연결된 상태)에 대해 $ e^{iH_{\text{line}}} $ 를 컴파일하며, $ r=2,4,6,\ldots $ 인 순서 $ r $ 의 Suzuki 근사에서 $ \mathcal{O}(g^{r+1} / N_T^r) $ 오차를 달성한다.
• 정확한 유니터리와 컴파일된 회로 간의 프레셰 노름 오차는 로그 파일에 계산되고 기록되며, 이는 근사의 정밀도를 정량적으로 측정하는 데 기여한다.
• $ N_T = 1 $ 일 경우, QuanTree는 참조 문헌 [4] 에서 유도된 3차 근사법을 사용하여 $ \mathcal{O}(g^4) $ 오차를 얻는다.
• 컴파일러는 인간이 읽을 수 있는 영문 파일과 그림 파일을 생성하여, 단일 큐비트 게이트와 제어 연산자 기반의 회로를 기술함으로써 검증 및 양자 소프트웨어 스택에의 통합을 가능하게 한다.
• 소스 코드는 공개되어 있어 연구자들이 새로운 그래프 구조나 고차수 근사법을 위한 컴파일러 확장이 가능하다.