[논문 리뷰] Efficient Construction of Functional Representations for Quantum Algorithms

Lukas Burgholzer, Rudy Raymond외 2명|arXiv (Cornell University)|2021. 03. 15.

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

한 줄 요약

이 논문은 기하급수적으로 증가하는 중간 표현 크기 문제를 최소화하고 반복 구조를 활용함으로써 양자 회로의 기능적 표현을 효율적으로 구성하기 위한 두 가지 새로운 방법을 제안한다. 이 방법은 최신 기술 대비 최대 4.2배 빠른 속도를 달성하며, 반복적인 알고리즘에 대해 지수적 성능 향상을 이끌어내어 QFT 및 그로버 알고리즘과 같은 복잡한 양자 기능을 초단위로 구성한다. 이는 이전 도구가 하루가 넘도록 완료하지 못하는 영역이다.

ABSTRACT

Due to the significant progress made in the implementation of quantum hardware, efficient methods and tools to design corresponding algorithms become increasingly important. Many of these tools rely on functional representations of certain building blocks or even entire quantum algorithms which, however, inherently exhibit an exponential complexity. Although several alternative representations have been proposed to cope with this complexity, the construction of those representations remains a bottleneck. In this work, we propose solutions for efficiently constructing representations of quantum functionality based on the idea of conducting as many operations as possible on as small as possible intermediate representations -- using Decision Diagrams as a representative functional description. Experimental evaluations show that applying these solutions allows to construct the desired representations several factors faster than with state-of-the-art methods. Moreover, if repeating structures (which frequently occur in quantum algorithms) are explicitly exploited, exponential improvements are possible -- allowing to construct the functionality of certain algorithms within seconds, whereas the state of the art fails to construct it in an entire day.

연구 동기 및 목표

• 양자 알고리즘 설계의 핵심적 병목 현상인 양자 회로의 기능적 표현 구축 시 기하급수적 복잡도 문제를 해결한다.
• 행렬 조합 과정에서 급격히 증가하는 중간 표현 크기로 인해 확장성에 어려움을 겪는 기존 도구의 한계를 극복한다.
• 기능적 표현 구축 과정에서 중간 표현 크기를 최소화하기 위한 일반 목적의 방법을 개발한다.
• 반복적인 구조(예: 그로버 반복)를 활용하여 지수적 성능 향상을 이룰 수 있는 특화된 기법을 설계한다.
• 실제 양자 알고리즘인 QFT 및 그로버 알고리즘에 대한 광범위한 실험적 평가를 통해 제안된 방법의 우수성을 입증한다.

제안 방법

• 결정 다이어그램(DDs)을 사용하여 양자 회로의 기능을 효율적으로 저장하고 조작할 수 있는 압축된 기능적 표현을 구현한다.
• 일반적 방법을 적용하여 가능한 한 작은 크기의 중간 DD 표현에서 최대한 많은 연산을 수행함으로써 계산의 폭발적 증가를 줄인다.
• 반복적인 구조를 가진 회로(예: 반복 양자 알고리즘)에 특화된 최적화 기법을 도입하여 동일한 서브회로를 명시적으로 모델링하고 재사용한다.
• DD 내부의 구조적 공유와 중복 제거를 활용하여 행렬 조합 과정에서의 메모리 및 계산 오버헤드를 최소화한다.
• 제안된 기법들을 새로운 오픈소스 프레임워크인 qfr에 통합하여 https://github.com/iic-jku/qfr 에서 공개한다.
• QFT 및 그로버 알고리즘에 대한 표준 벤치마크를 사용하여 제안된 방법을 최신 기술 및 산업 도구(예: IBM Qiskit)와 비교한다.

실험 결과

연구 질문

• RQ1 중간 표현 크기를 최소화함으로써 양자 회로의 기능적 표현 구축 속도를 크게 향상시킬 수 있는가?
• RQ2 양자 알고리즘 내 반복적인 구조를 얼마나 효과적으로 활용하여 표현 구축 과정에서 지수적 성능 향상을 이룰 수 있는가?
• RQ3 제안된 방법은 런타임 및 메모리 사용 측면에서 기존 최신 기술 및 IBM Qiskit과 같은 산업 도구체계와 비교해 볼 때 어떤가?
• RQ4 현재 도구들이 시간 또는 메모리 제약으로 인해 실패하는 대규모 양자 회로(예: 20 큐비트 이상)의 기능적 표현을 제안된 방법이 구성할 수 있는가?
• RQ5 최적화된 조합 전략을 적용한 결정 다이어그램을 실제 양자 알고리즘(예: 양자 푸리에 변환 및 그로버 검색)에 적용했을 때 실용적 영향은 무엇인가?

주요 결과

• 제안된 일반적 방법은 평균적으로 최신 기술 대비 3.0배 빠르게 기능적 표현을 구축하며, 최대 4.2배 빠른 성능 향상을 보이며, 메모리 오버헤드도 최소한이다.
• 반복적인 구조를 가진 회로(예: 그로버 알고리즘)에 대해서는 전용 방법이 지수적 속도 향상을 달성한다: 23큐비트 인스턴스의 표현은 1초 미만에 구축되며, 최신 기술은 24시간 내로도 완료하지 못한다.
• qfr 프레임워크 내 구현은 25큐비트 QFT의 기능을 18.76초에 구성했으며, 최신 기술 대비 21.01초보다 빠르며, 다양한 스케일에서 일관된 성능 향상을 보였다.
• IBM의 Qiskit Aer UnitarySimulator는 제안된 방법 대비 런타임이 100배 이상 길며, 15큐비트를 초월해 메모리 오류를 겪는 반면, 제안된 방법은 메모리 사용이 관리 가능하며 25큐비트 이상으로 확장 가능하다.
• DD 내부의 구조적 중복을 효과적으로 활용함으로써 큰 중간 표현을 효율적으로 처리할 수 있어 시간과 메모리 소비를 모두 감소시킨다.
• 오픈소스인 qfr 프레임워크는 재현 가능하고 확장 가능한 양자 회로 기능 구축을 가능하게 하며, 확장성에 제한이 있는 산업 도구체계에 대한 실용적인 대안을 제공한다.