[論文レビュー] Quantum Computer Benchmarking via Quantum Algorithms

Κωνσταντίνος Γεωργόπουλος, Clive Emary+1 more|arXiv (Cornell University)|Dec 17, 2021

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、IBMの量子コンピュータをスケーラブルで現実世界を想起させるアルゴリズム（離散的・連続的時間量子ウォーク、グローバーのアルゴリズム、位相推定など）を用いて、ノイズモデルと理想的シミュレーションを組み合わせた、量子アルゴリズムに基づくベンチマークフレームワークを導入する。主な貢献は、アーキテクチャに特化した詳細なパフォーマンス分析であり、ノイズの挙動、回路効率、実装のトレードオフの違いを明らかにしている。特に、デジタル量子プロセッサ上で連続的時間量子アルゴリズムの初のベンチマークとそのパウリゲートへの分解が行われ、小規模システムでは分解が非効率であることが示された。

ABSTRACT

We present a framework that utilizes quantum algorithms, an architecture aware quantum noise model and an ideal simulator to benchmark quantum computers. The benchmark metrics highlight the difference between the quantum computer evolution and the simulated noisy and ideal quantum evolutions. We utilize our framework for benchmarking three IBMQ systems. The use of multiple algorithms, including continuous-time ones, as benchmarks stresses the computers in different ways highlighting their behaviour for a diverse set of circuits. The complexity of each quantum circuit affects the efficiency of each quantum computer, with increasing circuit size resulting in more noisy behaviour. Furthermore, the use of both a continuous-time quantum algorithm and the decomposition of its Hamiltonian also allows extracting valuable comparisons regarding the efficiency of the two methods on quantum systems. The results show that our benchmarks provide sufficient and well-rounded information regarding the performance of each quantum computer.

研究の動機と目的

• ノイズの影響を受ける中規模量子（NISQ）デバイスの包括的でスケーラブルかつアーキテクチャに配慮したベンチマークの不足に対処する。
• 量子ボリュームのような一般的な指標の限界を克服し、現実世界の応用に関連するアルゴリズム固有のパフォーマンスインサイトを提供する。
• 異なる量子アルゴリズムが量子ハードウェアをどのように異なる方法で負荷をかけるかを評価し、ハードウェア固有の弱みと強みを明らかにする。
• ネイティブな連続的時間量子ウォークと、そのパウリゲートシーケンスへのデジタル分解との間の効率的トレードオフを調査する。
• 量子コンピュータの実行、ノイズありシミュレーション、理想的シミュレーションの間の詳細なマルチメトリック比較を通し、ハードウェア固有のノイズ効果を隔離する。

提案手法

• スケーラブルな量子アルゴリズム5つ（離散的時間量子ウォーク、連続的時間量子ウォーク（CTQW）、CTQWハミルトニアンのパウリゲートへの分解、グローバーのアルゴリズム、量子位相推定）を用いたベンチマークフレームワークを設計する。
• IBMQデバイスの実際のハードウェア特性（例：ゲートエラー、デ coherent 時間）を反映するノイズモデルを実装し、現実的な量子進化をシミュレートする。
• ノイズのない基準出力を比較のための基準として生成するために、理想的な量子シミュレータを用いる。
• 3つのベンチマーク指標を定義する：(1) 量子コンピュータ出力と理想的シミュレーションとの間のフィデリティ、(2) 量子コンピュータとノイズありシミュレーションとの間のフィデリティ、(3) ノイズありシミュレーションと理想的シミュレーションとの間のフィデリティ。これらは三角不等式構造を形成する。
• 3台のIBMQ超伝導プロセッサ（5キュービットのBogotá、Santiago；7キュービットのCasablanca）ですべての回路を実行し、機器間での結果を比較する。
• 結果の可視化（出力分布の図示）と比較指標を用いた分析を通し、アルゴリズムのパフォーマンス、ノイズ感受性、回路効率を評価する。

実験結果

リサーチクエスチョン

• RQ1 異なる量子アルゴリズムが量子ハードウェアをどのように異なる方法で負荷をかけるか。これにより、NISQデバイス固有のパフォーマンス特性がどのように明らかになるか。
• RQ2 連続的時間量子ウォークのハミルトニアンをパウリゲートに分解することは、デジタル量子プロセッサ上で回路効率とフィデリティにどの程度影響を与えるか。
• RQ3 現実世界を想起させるアルゴリズムを用いたベンチマークは、量子ボリュームのようなアーキテクチャに依存しない指標よりも、量子コンピュータのパフォーマンスに関するより情報豊かなインサイトを提供できるか。
• RQ4 3つのベンチマーク指標（理想的シミュレーションとのフィデリティ、ノイズありシミュレーションとのフィデリティ、ノイズありと理想的シミュレーションとのフィデリティ）は、量子ハードウェアの構造的弱みをどのように明らかにするか。
• RQ5 連続的時間量子アルゴリズムをベンチマークとして使用することは、標準的なベンチマークでは捉えきれない、ノイズ挙動やゲートキャリブレーションの差を露呈するか。

主な発見

• 同じ量子ボリューム（32）を持つIBMQデバイス間のパフォーマンス差を、このベンチマークフレームワークが成功裏に捉えた。これは、量子ボリュームだけではハードウェア挙動を十分に特徴づけられないことを示している。
• 連続的時間量子ウォーク（CTQW）とそのパウリ分解は、異なるフィデリティの結果を生じ、特に小規模システムでは回路の深さとゲート数の増加により、分解の方が著しく非効率であることが判明した。
• 回路サイズが大きくなるにつれて、理想的シミュレーションとのフィデリティが低下する傾向があり、ノイズがより複雑で大きな回路で蓄積されやすいことが示された。
• フレームワークにより、キャリブレーションされたノイズパラメータが実際のノイズレベルを過大または過小評価する可能性があることが判明。ノイズありシミュレーションと実ハードウェア出力との間に乖離が見られた。
• 複数のアルゴリズムを用いることで、さまざまなハードウェア挙動が明らかになった。例えば、CTQWは離散的時間ウォークよりもノイズに対して感受性が高く、接続性やゲートエラーのパターンが露呈された。
• 本研究は、ネイティブな連続的時間量子アルゴリズムとそのデジタル分解を用いたデジタル量子コンピュータのベンチマークを初めて実施し、今後のNISQシステムにおける新しいベンチマークパラダイムを確立した。