[論文レビュー] Quantum computing with Qiskit

Ali Javadi-Abhari, Matthew Treinish+10 more|arXiv (Cornell University)|May 14, 2024

Quantum Computing Algorithms and Architecture被引用数 170

ひとこと要約

本論文は Qiskit、IBM のオープンソース量子ソフトウェアツールキットを紹介し、設計思想、アーキテクチャ、問題の符号化から量子-古典実行までのエンドツーエンドのワークフローを説明する。動的回路とハードウェア再ターゲティングを含み、凝縮物質物理の例を挙げる。

ABSTRACT

We describe Qiskit, a software development kit for quantum information science. We discuss the key design decisions that have shaped its development, and examine the software architecture and its core components. We demonstrate an end-to-end workflow for solving a problem in condensed matter physics on a quantum computer that serves to highlight some of Qiskit's capabilities, for example the representation and optimization of circuits at various abstraction levels, its scalability and retargetability to new gates, and the use of quantum-classical computations via dynamic circuits. Lastly, we discuss some of the ecosystem of tools and plugins that extend Qiskit for various tasks, and the future ahead.

研究の動機と目的

• 量子ソフトウェア・スタック内における Qiskit の設計思想と範囲を説明する。
• 回路、トランスパイル、ターゲット、プリミティブを含むコアアーキテクチャを説明する。
• 量子コンピュータ上で凝縮物質問題を解くエンドツーエンドのワークフローを実証する。
• 動的回路やハードウェア再ターゲティングなどの概念を含む Qiskit エコシステムを強調する。

提案手法

• 4段階のワークフローを説明する：問題の符号化、トランスパイル、プリミティブを介した実行、ポストプロセッシング。
• プラグインインターフェースと外部拡張を通じたモジュラリティと拡張性を説明する。
• 回路最適化と翻訳の基盤としての Pass Manager およびトランスパイラアーキテクチャを詳述する。
• プリミティブ（sampler と estimator）と量子-古典ワークロード用のランタイム統合を紹介する。
• 複数の抽象レベルでの回路表現とハードウェアへの再ターゲティングを示すための、Ising-model ハミルトニアンのエンドツーエンドシミュレーションを紹介する。
• Qiskit 内で使用される可視化ツールとテンソル順序規約について論じる。

Figure 1: The quantum computing software stack at various abstraction levels. Qiskit’s scope spans the middle-end from (b) to (d), which includes all the tools and algorithms needed to efficiently represent and compile circuits. a) A representation of the problem and the observable to be measured, f

実験結果

リサーチクエスチョン

• RQ1 Qiskit は抽象レベル全体で古典的な問題を量子回路へどのように符号化するか？
• RQ2 トランスパイラのパスマネージャは異なるハードウェア命令セット向けに回路を最適化・再ターゲティングするのにどう作用するか？
• RQ3 実用的な量子計算において量子-古典統合と動的回路はどのような役割を果たすか？
• RQ4 回路作成から測定・ポストプロセシングまでを実機でエンドツーエンドのワークフローとしてどのようにサポートするか？
• RQ5 本論文は Qiskit の実用性とエコシステム（例：性能、再ターゲティング、動的回路）に関するどのような証拠を提供しているか？

主な発見

• Qiskit は問題のマッピングからハードウェア実行までのエンドツーエンドのワークフローを有効にし、動的回路とハードウェア対応の再ターゲティングを含む。
• 4段階のワークフロー（problem→transpile→execute→post-process）は、柔軟な API によってサポートされるコアパターンである。
• 再ターゲット可能なトランスパイルは新しいハードウェアゲート（例：partial ZX）を導入し、回路時間を短縮できる。
• 動的回路と特定用途のスケジューリング（例：ダイナミックデカップリング）により回路深度を削減し、信頼性を向上させる。
• 本論文は IBM のハードウェア上で Ising-model ハミルトニアンのシミュレーションを実証し、複数レベルの回路表現と最適化技術を示している。
• Qiskit はコアツールキットを超える機能拡張のためのツールとプラグインのエコシステムをサポートしている。

Figure 2: Qiskit’s software architecture.