[論文レビュー] Programming the full stack of an open-access quantum computer

Virginia Frey, Richard Rademacher+6 more|arXiv (Cornell University)|Jun 11, 2021

Quantum Computing Algorithms and Architecture参考文献 26被引用数 5

ひとこと要約

本稿では、捕獲イオン量子コンピュータ向けに、高レベルの回路抽象化と低レベルのアナログ制御、FPGAレベルのハードウェア命令を統合するフルスタック量子プログラミング言語Qualaを紹介する。デジタルゲート、パルス波形、リアルタイム意思決定論理、キャリブレーションに配慮した記号的代数をシームレスに統合することで、特にQuantumIONのようなリモートアクセスプラットフォームにおいて、量子プログラムのコンパイルおよびハードウェア実行のエンドツーエンドの透明性を提供する。

ABSTRACT

We present a new quantum programming language called "Quala" that enables true full-stack programming of quantum hardware. Quala allows seamless integration of abstraction layers such as the digital circuit layer and the analog control pulse waveform layer. Additionally, the language supports user-issued low-level hardware instructions like FPGA actions. Mid-circuit measurements and branching decision logic support real-time, adaptive programs. This flexibility allows users to write code for everything from quantum error correction to analog quantum simulation. The combination of a user-facing calibration database and a powerful symbolic algebra framework provides users with an unprecedented level of expressiveness and transparency. We display the salient characteristics of the language structure and describe how the accompanying compiler can translate programs written in any abstraction layer into precisely timed hardware commands. We intend for this language to bridge the gap between circuit-level programming and physical operations on real hardware while maintaining full transparency in each level of the stack. This eliminates the need for "behind-the-scenes" compilation and provides users with insights into the day-to-day calibration routines.

研究の動機と目的

• 現在の量子プログラミング言語におけるフルスタックの透明性の欠如、特にリモートアクセス量子ハードウェアにおいての課題を解決すること。
• 捕獲イオン系における高レベルの量子回路と低レベルのアナログパルス制御の間の意味的ギャップを埋めること。
• 回路、パルス、ハードウェアのすべての抽象化レイヤーで、曇りのないコンパイルを伴わず、量子プログラムの記述、コンパイル、デバッグを可能にすること。
• 中間回路測定と条件付き論理を介したリアルタイム適応プログラミングをサポートすることにより、量子誤り訂正やアナログシミュレーションに不可欠な動的制御を実現すること。
• ユーザーがアクセス可能なキャリブレーションデータベースと記号的代数フレームワークを統合し、表現力と再現性を向上させること。

提案手法

• 回路レベルのゲート、アナログパルス波形、低レベルのFPGA制御命令の3つの抽象化レイヤーをネイティブにサポートするドメイン固有言語としてQualaを設計すること。
• 任意のレイヤーで記述されたプログラムを正確なタイミングのハードウェア命令に変換するコンパイラを実装し、レイヤー間での意味的整合性を保持すること。
• 相対的または絶対的タイミングでアクションをシーケンス可能なEventおよびSegment構造を導入し、複雑な実験ワークフローを可能にすること。
• 実行時意思決定論理を介して条件付き実行と中間回路測定を組み込み、適応的量子プログラムを可能にすること。
• ハードウェア固有のルーチン（例：ドーピラー冷却、サイドバンド冷却）と再利用可能なゲート定義を備えた標準ライブラリを提供し、高レベルプログラミングを簡素化すること。
• 記号的代数とキャリブレーションデータベースを用いて、ハードウェアチューニングパラメータを露わに管理することで、透明性と再現性を向上させること。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、1つの統一されたフレームワーク内で、回路レベルのプログラミングと低レベルのアナログ制御、FPGAレベルのハードウェア制御を統合できるか？
• RQ2 リモートアクセス量子ハードウェアにおいて、量子プログラムのコンパイルおよび実行におけるフルスタックの透明性を実現するための設計原則は何か？
• RQ3 リアルタイム意思決定論理と中間回路測定を、高レベル量子言語でネイティブにサポートするにはどうすればよいか？
• RQ4 記号的代数フレームワークとキャリブレーションデータベースは、量子プログラミングにおける表現力と再現性をどの程度向上できるか？
• RQ5 異なる捕獲イオン系およびFPGA制御量子ハードウェアプラットフォームにわたる移植性を確保する十分な一般性を持つフルスタック言語を設計できるか？

主な発見

• Qualaは、回路レベルのゲート、アナログパルス波形、FPGAレベルの制御命令を1つの言語内で統合することで、フルスタックプログラミングを実現し、曇りのないコンパイルレイヤーの必要性を排除した。
• 中間回路測定と条件付き実行をサポートしており、量子誤り訂正やアナログシミュレーションに不可欠なリアルタイム適応型プログラムを可能にした。
• コンパイラは、任意の抽象化レベルで記述されたプログラムを正確なタイミングのハードウェア命令に変換し、高レベルコードから物理的ハードウェア動作へのエンドツーエンドの追跡可能性を保証した。
• ユーザーがアクセス可能なキャリブレーションデータベースと記号的代数フレームワークの統合により、ユーザーがキャリブレーションルーチンを確認・変更可能となり、透明性と再現性が向上した。
• ドーピラー冷却、サイドバンド冷却、グローバル回転、イジング相互作用、測定を含む完全な実験プロトコルがQualaを用いて正常に符号化・実行された。これは、フルスタック機能の有効性を実証するものである。
• 言語設計は、捕獲イオン系にとどまらず、他のFPGA制御量子ハードウェアプラットフォームへも拡張可能であり、より広範な移植性とコミュニティの採用を支援する。