[論文レビュー] Canonical Construction of Quantum Oracles

Austin Gilliam, Marco Pistoia+1 more|arXiv (Cornell University)|Jun 18, 2020

Quantum Computing Algorithms and Architecture参考文献 11被引用数 4

ひとこと要約

本稿では、イジン模型やその他の代数的表現から、量子オラクルを標準的・代数的に構築する手法を提案する。この手法により、一般化されたグローバー反復を用いて所望の量子状態を効率的に符号化できる。本手法は、振幅増幅および推定におけるオラクル構築を標準化し、ゼロ和サブセット問題やフィボナッチ計算といったNP困難問題において優れた性能を示す。実験的検証は、実際のトラップドアイオントラップ量子ハードウェア（Honeywell System Model HØ、量子ボリューム64）を用いて行われた。

ABSTRACT

Selecting a set of basis states is a common task in quantum computing, in order to increase and/or evaluate their probabilities. This is similar to designing WHERE clauses in classical database queries. Even though one can find heuristic methods to achieve this, it is desirable to automate the process. A common, but inefficient automation approach is to use oracles with classical evaluation of all the states at circuit design time. In this paper, we present a novel, canonical way to produce a quantum oracle from an algebraic expression (in particular, an Ising model), that maps a set of selected states to the same value, coupled with a simple oracle that matches that particular value. We also introduce a general form of the Grover iterate that standardizes this type of oracle. We then apply this new methodology to particular cases of Ising Hamiltonians that model the zero-sum subset problem and the computation of Fibonacci numbers. In addition, this paper presents experimental results obtained on real quantum hardware, the new Honeywell computer based on trapped-ion technology with quantum volume 64.

研究の動機と目的

• 代数的制約に基づいて特定の量子状態を選択・評価するための、量子状態の選択と評価に適した量子オラクルの自動化および標準化。
• 回路設計段階での古典的オラクル評価の非効率性に対処し、量子ネイティブで標準的な符号化手法を提供すること。
• 振幅増幅および推定における一貫性のあるオラクル利用を可能にするために、グローバー反復を一般化すること。
• 実際の量子ハードウェアを用いたNP困難問題および組合せ計算における本手法の有効性の検証。
• 振幅推定と一般化されたボーン則との関係を確立し、量子計算を確率変数の確率空間として定式化すること。

提案手法

• 代数的表現（例：イジン模型）から標準的オラクルを構築する手法を提案。すべての所望の基底状態を共通の値にマッピングし、一様な位相マークを可能にする。
• オラクル論理と振幅増幅プロセスを分離することで、オラクル利用を標準化する一般化されたグローバー反復を導入。
• 関数（例：多項式、制約）をエンタングルドキー・バリュー・レジスタに符号化するための量子辞書パターンを採用。位相回転とQFTに基づく符号化を用いる。
• 制御位相ゲート（$R( heta)$）を用いた幾何級数符号化により、整数値を重ね合わせ状態として表現。これにより、効率的な状態準備が可能になる。
• 位相符号化状態から符号化された整数を抽出するために逆QFTを適用。回転の合成におけるモジュロ算術の性質を活用する。
• 複雑な振幅を色分けされた強度と色相として表現するピクセルベースの可視化を用い、状態の分析および検証を支援する。

実験結果

リサーチクエスチョン

• RQ1 イジンハミルトニアンなどの代数的表現から、どのようにして量子オラクルを体系的かつ標準的に構築できるか？
• RQ2 標準的オラクル構築が、量子アルゴリズムにおける振幅増幅および推定の効率性と正確性に与える影響は何か？
• RQ3 回路の深さ、忠実度、リソース使用量という観点から、本手法はヒューリスティック的およびナイーブなオラクル符号化戦略と比べてどのように異なるか？
• RQ4 一般化されたグローバー反復は、さまざまな問題にわたるオラクルベースの量子計算の標準化に効果的に使用できるか？
• RQ5 本手法は、特にNP困難な組合せ問題に対して、実際の量子ハードウェアで実証的に検証可能か、その範囲はどの程度か？

主な発見

• 標準的オラクル構築法により、ゼロ和サブセット問題のような複雑な代数的制約の符号化が効率的に行えるようになり、ヒューリスティック的・ナイーブなアプローチと比較して回路の深さが低減された。
• Honeywell System Model HØ（量子ボリューム64）を用いた実験結果により、本手法の実現可能性と頑健性が確認され、高い忠実度の状態準備および測定結果が得られた。
• 一般化されたグローバー反復により、異なるオラクルタイプにわたる振幅増幅の一貫性と標準化が可能となり、アルゴリズムの移植性と信頼性が向上した。
• 本手法により、標準的オラクルを用いたフィボナッチ数の計算が正確に行われ、成功確率および回路効率の点で、ヒューリスティック的およびナイーブな符号化戦略を上回った。
• ピクセルベースの可視化により、量子状態の振幅が理論的予測と一致していることが確認され、位相および振幅のパターンが期待される代数的構造と整合していた。
• 振幅推定と一般化されたボーン則との関係が検証され、量子計算が自然に確率変数に対応する確率空間を定義することを示した。