[논문 리뷰] A Rudimentary Quantum Compiler

Robert R. Tucci|ArXiv.org|1998. 05. 07.

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

한 줄 요약

이 논문은 CS 분해 정리(Cholesky-Schur decomposition)를 사용하여 임의의 유니터리 행렬을 기본 양자 게이트의 순서로 분해하는 새로운 양자 컴파일러 알고리즘을 제안한다. 오픈소스 C++ 프로그램 Qubiter에 구현된 이 방법은 유니터리 변환을 반복적으로 적용하여 양자 연산을 줄이며, 0도 각도 최적화를 거친 후 2 큐비트 이산 푸리에 변환(DFT)을 25개의 최적화된 게이트로 분해한다.

ABSTRACT

We present a new algorithm for reducing an arbitrary unitary matrix into a sequence of elementary operations (operations such as controlled-nots and qubit rotations). Such a sequence of operations can be used to manipulate an array of quantum bits (i.e., a quantum computer). We report on a C++ program called "Qubiter" that implements our algorithm. Qubiter source code is publicly available.

연구 동기 및 목표

• 임의의 유니터리 행렬을 기본 양자 연산(게이트)의 순서로 분해하는 일반 목적의 알고리즘을 개발하기.
• 실제 양자 회로 합성을 위해 Qubiter라는 이름의 C++ 프로그램에 알고리즘을 구현하기.
• 복잡한 유니터리 연산자를 양자 컴퓨터에 적합한 게이트 수준의 순서로 변환함으로써 양자 알고리즘의 컴파일링을 가능하게 하기.
• 특정 유니터리 행렬 클래스에 대해 다항식 시간 효율성을 달성할 수 있는 미래의 최적화를 위한 기반 마련하기.
• 체계적인 게이트 분해 프레임워크를 통해 양자 베이지안 네트워크와의 통합 지원하기.

제안 방법

• 알고리즘은 유니터리 행렬 U를 왼쪽 및 오른쪽 유니터리 행렬(L, R)과 특이값을 담은 중심 D 행렬로 구성된 블록으로 반복적으로 인수분해하는 데 CS 분해 정리를 사용한다.
• 분해 과정은 이진 트리 구조를 따르며, 각 레벨에서 이전 레벨의 L 및 R 행렬에 대해 CS 분해를 적용하여 1×1 행렬에 도달할 때까지 단계적으로 축소된다.
• 중앙 행렬(예: 대각 유니터리 행렬 또는 D 행렬의 직합)은 단일 큐비트 게이트인 단위상 게이트(PHAS), 제어-노트(CNOT), 단일 큐비트 회전 게이트(ROTY, ROTZ)의 순서로 분해된다.
• 핵심 기법은 대각 유니터리 행렬을 위상 각도에 대한 푸리에 유사 변환을 통해 지수 행렬 형태의 파울리 연산자 곱으로 표현하는 것이다.
• 이 방법은 유니터리 행렬을 2의 거듭제곱 차원으로 패딩함으로써 큐비트 기반 양자 회로와의 호환성을 확보하여 임의의 유니터리 행렬을 처리할 수 있다.
• Qubiter 프로그램은 두 가지 모드로 알고리즘을 구현한다: 행렬에서 게이트 순서로의 컴파일링, 게이트 순서에서 행렬로의 디컴파일링이며, 표준 양자 게이트 연산을 지원한다.

실험 결과

연구 질문

• RQ1 모든 유니터리 행렬을 기본 양자 게이트의 순서로 분해할 수 있는 일반 목적의 양자 컴파일러 알고리즘을 개발할 수 있는가?
• RQ2 CS 분해 정리를 체계적으로 적용하여 양자 연산을 반복적으로 분해함으로써 효율적인 회로 합성을 가능하게 할 수 있는가?
• RQ3 이 방법의 게이트 수 과부하가 알려진 효율적인 분해 방식(예: 이산 푸리에 변환에 대한 것들)과 비교해 볼 때 어떻게 되는가?
• RQ4 특정 유니터리 행렬 클래스(예: DFT)에 대해 다항식 스케일링을 달성할 수 있도록 알고리즘을 최적화할 수 있는가?
• RQ5 결과로 도출된 게이트 순서는 실용적인 소프트웨어 도구를 통해 어떻게 표현되고 다룰 수 있는가?

주요 결과

• 0도 각도 최적화를 비활성화한 상태에서 이 알고리즘은 2 큐비트 이산 푸리에 변환(DFT) 행렬을 33개의 기본 양자 게이트로 성공적으로 분해한다.
• 0도 각도 최적화를 적용하여 각도가 0인 게이트를 제거한 후, 2 큐비트 DFT에 대한 게이트 수는 25개로 감소한다.
• 이 방법은 행렬의 구조나 계산 복잡도에 관계없이 모든 유니터리 행렬에 일반적으로 적용 가능하다.
• 현재 형태로는 다항식 효율성이 확보되지 않으며, DFT를 O(4^N_B)개의 게이트로 표현하지만, 알려진 효율적 분해 방식은 O(N_B^2)개의 게이트를 사용한다.
• Qubiter 소프트웨어 도구는 공개되어 있으며, 알고리즘의 기능적 구현을 제공하며, 양자 회로의 컴파일링 및 디컴파일링을 모두 지원한다.
• 이 프레임워크는 향후 최적화 및 양자 오류 수정 기법과의 통합을 위한 확장도 가능하다.