[論文レビュー] Efficient Construction of Functional Representations for Quantum Algorithms

Lukas Burgholzer, Rudy Raymond+2 more|arXiv (Cornell University)|Mar 15, 2021

Quantum Computing Algorithms and Architecture参考文献 41被引用数 10

ひとこと要約

本稿では、意思決定図（DDs）を用いて量子回路の機能的表現を効率的に構築する2つの新規手法を提案する。中間表現のサイズを最小限に抑え、繰り返し構造を活用することに注力している。このアプローチにより、最先端手法よりも最大4.2倍の高速化を達成し、繰り返し構造を有するアルゴリズムでは指数的性能向上を実現。QFT やグローバーのアルゴリズムといった複雑な量子機能を、秒単位で構築可能となる。これに対して、従来のツールでは1日を経過しても完了しない。

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.

研究の動機と目的

• 量子アルゴリズム設計における重要なボトル neck を解決：量子回路の機能的表現の構築における指数的複雑性。
• 行列合成過程での中間表現の急速な増大によりスケーリングに失敗する既存ツールの限界を克服。
• 機能的表現構築過程における中間表現サイズの最小化を実現する汎用手法の開発。
• 繰り返し構造（例：グローバー反復）を活用し、指数的性能向上を達成する専用技術の設計。
• 実世界の量子アルゴリズム（QFT やグローバーのアルゴリズム）を対象とした広範な実験的評価を通じて、提案手法の優位性を実証。

提案手法

• 量子回路機能を効率的に格納・操作するため、意思決定図（DDs）をコンactな機能的表現として用いる。
• 一般手法を適用し、計算の爆発的増大を抑えるために、可能な限り最小の中間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は、提案手法よりも2桁以上長い実行時間を要し、15キュービットを超えるとメモリオーバーヘッドを発生させるが、提案手法は25キュービット以上にスケーリング可能であり、管理可能なメモリ使用量を維持している。
• DDにおける構造的冗長性の活用により、大規模な中間表現を効率的に処理でき、時間的およびメモリ的消費を削減できる。
• オープンソースのqfrフレームワークにより、量子回路機能の再現可能かつスケーラブルな構築が可能となり、スケーラビリティに限界のある産業用ツールチェインに対する実用的代替手段を提供する。