[論文レビュー] LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing.

Dave Wecker, Krysta M. Svore|arXiv (Cornell University)|Feb 18, 2014

Quantum Computing Algorithms and Architecture参考文献 23被引用数 153

ひとこと要約

LIQUi|⟩ は、F# に埋め込まれたモジュラーでドメイン特化型の量子プログラミング言語であり、多様なハードウェアバックエンドを対象に、量子アルゴリズムの高水準な開発、シミュレーション、最適化を可能にする。14キュービットのインスタンス（例：8193の因数分解）まで完全シミュレーションをサポートし、32 GB の RAM を使用して 31キュービットのシミュレーション（700万ゲート）を実現。ゲート成長とメモリ最適化された線形代数を用いた高度な最適化技術により、スケーラブルな量子回路シミュレーションを実証した。

ABSTRACT

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum hardware. It enables easy programming, compilation, and simulation of quantum algorithms and circuits, and is independent of a specific quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum algorithms, with F# as the host language. It also allows the extraction of a circuit data structure that can be used for optimization, rendering, or translation. The circuit can also be exported to external hardware and software environments. Two different simulation environments are available to the user which allow a trade-off between number of qubits and class of operations. LIQUi|> has been implemented on a wide range of runtimes as back-ends with a single user front-end. We describe the significant components of the design architecture and how to express any given quantum algorithm.

研究の動機と目的

• スケーラブルな量子アルゴリズム開発を可能にするモジュラーかつ拡張可能なソフトウェアアーキテクチャの設計。
• F# に埋め込まれた直感的な量子回路プログラミングを可能にする高水準なドメイン特化言語の提供。
• 多様なバックエンドを対象に、量子回路の効率的かつ効果的なシミュレーション、最適化、ハードウェア出力の実現。
• ノイズモデルやエラー訂正を含む、アルゴリズム作成から検証に至るエンドツーエンドのワークフローの支援。
• 古典的制御を伴う量子アルゴリズムを、特定の量子ハードウェアアーキテクチャにマッピングすることの支援。

提案手法

• F# に量子ドメイン特化言語（DSL）を埋め込み、量子操作の型安全で高水準な抽象化を提供。
• 量子操作、回路操作、シミュレーション、バックエンドコンパイルを分離するモジュラーなソフトウェアアーキテクチャを採用。
• 2つのシミュレーションバックエンドを採用：小規模な回路には全状態ベクトルシミュレーション、大規模な回路にはアモニチュードサンプリング。
• 隣接する制御操作を統合することでゲート数を削減するゲート成長を適用し、シミュレーション性能を顕著に向上。
• 外部ツールやハードウェアコンパイル向けの回路エクスポートをサポートし、量子シミュレーターや実デバイスとの相互運用性を実現。
• 古典的制御論理を統合し、アドジョイント操作をサポートすることで、複雑なアルゴリズムのモジュラー設計を可能に。

実験結果

リサーチクエスチョン

• RQ1 F# のような一般用途の関数型言語に、高水準で型安全な量子プログラミング言語をどのように埋め込むことができるか？
• RQ2 どのようなシミュレーション技術が、古典的ハードウェア上で大規模な量子回路を効率的に実行可能にするか？
• RQ3 ゲート成長のような量子回路最適化を、リソースのオーバーヘッドを低減するために体系的に行うにはどうすればよいか？
• RQ4 量子ソフトウェアスタックにおける拡張性とハードウェア非依存性を実現するアーキテクチャパターンは何か？
• RQ5 古典的制御を伴う量子アルゴリズムを、どのように合成・検証・特定の量子ハードウェア制約にマッピングできるか？

主な発見

• LIQUi|⟩ は、14ビットの数（8193）のシュールのアルゴリズムを、31キュービットと700万ゲートを用いて、32 GB の RAM のみで成功してシミュレーションした。
• 14キュービットのインスタンスのシミュレーションに 43,384 分（30.1日間）を要し、当時、量子シミュレーターで完全に因数分解された最大の数であった。
• ゲート成長により、1ラウンドあたり約50万ゲートが18,000ゲートに削減され、シミュレーション効率が顕著に向上した。
• 最適化されたメモリ使用と数学パッケージの内側ループのタイトニングにより、13ビットインスタンスのシミュレーション時間は3年から4日間に短縮された。
• システムはエンドツーエンドのシミュレーション、最適化、回路エクスポートをサポートしており、複数のハードウェアおよびソフトウェアプラットフォームでの検証とデプロイメントを可能にした。
• LIQUi|⟩ は、約30キュービットまでの量子回路のスケーラブルなシミュレーションを可能にし、大規模なアルゴリズム開発の実現可能性を示した。