[논문 리뷰] QuanFou, QuanGlue, QuanOracle and QuanShi, Four Special Purpose Quantum Compilers

Robert R. Tucci|ArXiv.org|2008. 02. 17.

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

한 줄 요약

이 논문은 특정 유니터리 진화 연산자를 정확하게 양자 회로로 컴파일하는 데 전용으로 개발된 자바로 작성된 네 가지 전용 양자 컴파일러인 QuanFou, QuanGlue, QuanOracle, QuanShi를 소개한다. 각 도구는 서로 다른 양자 연산(예: 이산 푸리에 변환, 상태 이동, 결합 해밀토니안, 오라클 행렬 등)을 대상으로 하며, DFT와 대각 행렬 합성 기반의 정확한 수치 분해를 통해 정밀하고 매개변수 없는 회로 생성을 가능하게 하여 양자 알고리즘 설계 및 시뮬레이션에 유리하다.

ABSTRACT

This paper introduces QuanFou v1.1, QuanGlue v1.1, QuanOracle v1.1, QuanShi v1.1, four Java applications available for free. (Source code included in the distribution.) Each application compiles a different kind of input quantum evolution operator. The applications output a quantum circuit that equals the input evolution operator.

연구 동기 및 목표

• 특정으로 자주 사용되는 양자 연산을 위한 전용 양자 컴파일러를 개발하여 양자 회로 설계의 정밀도와 효율성을 향상시키기.
• Trotterization이나 Suzuki 근사치에 의존하지 않고, 유니터리 연산자(수치 정밀도 수준까지)를 정확하게 컴파일할 수 있도록 하기.
• QuanSuite 생태계를 지원하기 위해 기본 양자 빌딩 블록을 위한 전용 컴파일러를 도구 세트에 추가하기.
• 재현 가능성과 양자 소프트웨어 스택 내 통합을 위해 소스 코드가 제공되는 오픈소스 무료 자바 응용 프로그램 제공하기.
• 핵심 양자 원소의 정확한 컴파일을 통해 복잡한 양자 알고리즘의 구축을 촉진하기

제안 방법

• 각 컴파일러는 특정 유니터리 진화 연산자를 대상으로 한다: QuanFou는 이산 푸리에 변환(DFT)을, QuanShi는 순환 상태 이동을, QuanGlue는 이중 수준 결합 해밀토니안을, QuanOracle는 밴드 오라클 행렬을 대상으로 한다.
• 컴파일러는 정확한 행렬 분해 기법을 사용한다: DFT 및 이동 연산자에 대해서는 DFT 행렬과 대각 행렬 단계를 활용한 고유값 분해를 활용한다.
• 예를 들어 $ U_{shift} $ 연산자에 대해서는 항등식 $ U_{shift} = V D V^\top $ 를 사용하며, 여기서 $ V $ 는 DFT 행렬이고 $ D $ 는 단위근 $ \lambda_m = \omega^{mt} $ 를 원소로 가지는 대각 행렬이다. 여기서 $ \omega = e^{-i2\pi/N_S} $ 이다.
• 대각 행렬 $ D $ 는 큐비트 수 상태를 제어로 사용하는 제어 위상 게이트의 시퀀스로 컴파일되며, $ D = \exp(-i \frac{2\pi}{N_S} t A) $ 로 표현되며, 여기서 $ A = \sum_m m P_m $ 는 정수의 대각 행렬이다.
• 큐비트 수 $ N_B $ 에 대해 귀납법을 사용하여 일반화하며, 각 큐비트에 대해 수량 연산자 $ n(k) $ 의 합으로 $ A $ 를 표현함으로써 모듈러 회로 구축이 가능해진다.
• 출력 회로는 검증 및 통합을 위해 여러 형식(Log, 영문, 그림)으로 생성되며, 모든 도구는 QWalk 라이브러리 기반으로 개발되었고 QuanSuite 프레임워크의 일부이다.

실험 결과

연구 질문

• RQ1 Trotterization과 같은 근사 방법에 의존하지 않고 특정 양자 연산을 정확한 양자 회로로 컴파일하는 방법은 무엇인가?
• RQ2 순환 상태 이동 연산자 $ U_{shift} $ 는 단일 및 이중 큐비트 게이트의 최적의 순서로 어떻게 분해할 수 있는가?
• RQ3 밴드 오라클 행렬은 구조적 행렬 분해를 통해 정확하게 컴파일할 수 있으며, 사용자가 정의한 밴드는 어떻게 회로에 인코딩할 수 있는가?
• RQ4 기존의 항등식과 제어 위상 게이트를 사용하여 DFT 행렬을 양자 회로로 어떻게 합성할 수 있는가?
• RQ5 DFT 행렬과 그 수반 행렬은 순환 행렬인 $ U_{shift} $ 와 $ U_{DFT} $ 의 정확한 컴파일을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• QuanFou는 DFT 행렬 분해를 활용하여 유니터리 진화 행렬 $ U_{DFT} $ 에 대해 근사 오차 없이 정확한 양자 회로를 생성한다.
• QuanShi는 $ U_{shift} $ 를 $ V D V^\dagger $ 로 표현함으로써 상태 이동 연산자를 정확하게 컴파일한다. 여기서 $ D $ 는 $ \lambda_m = \omega^{mt} $ 를 원소로 가지는 대각 행렬이며, $ V $ 는 DFT 행렬이다.
• 이 분해에서 $ U_{shift} $ 의 대각 행렬 $ D $ 는 큐비트 수 상태를 제어로 사용하는 제어 위상 게이트의 시퀀스로 구현되며, $ D = \exp(-i \frac{2\pi}{N_S} t A) $ 로 표현되며, 여기서 $ A = \sum_k 2^k n(k) $ 이다.
• 큐비트 수 $ N_B = 3 $ 인 경우, 행렬 $ A $ 는 $ 2^2 n(2) + 2 n(1) + n(0) $ 로 표현되며, 이는 큐비트 간 위상 게이트 시퀀스의 모듈러 구축을 가능하게 한다.
• QuanOracle는 입력 매개변수 $ a_k, b_k $ 를 통해 사용자 정의 밴드를 지원하며, 겹치지 않는 유효한 간격인지 검사하여 정확한 오라클 상태 정의를 보장한다.
• 모든 컴파일러는 Trotterization과 Suzuki 근사치를 회피하므로, 쇼어 알고리즘 또는 그로버 알고리즘과 같은 양자 알고리즘에서 유니터리 연산자의 정확한 합성에 적합하다.