[論文レビュー] Clifford-based Circuit Cutting for Quantum Simulation

Kaitlin N. Smith, Michael A. Perlin+6 more|arXiv (Cornell University)|Mar 19, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文では、クリフォードベースのシミュレーションと回路カットを組み合わせることで、近似的にクリフォードな量子回路の効率的で高精度なシミュレーションを可能にする新しい量子回路シミュレーションフレームワーク、SuperSimを紹介する。クリフォード断片を分離して効率的にシミュレートし、回路カットを用いて全体の出力を再構築することで、限られた古典的リソースで100量子ビット以上の回路を高速にシミュレートでき、主要ベンチマークにおいて最先端の手法を桁違いに上回る性能を発揮する。

ABSTRACT

Quantum computing has potential to provide exponential speedups over classical computing for many important applications. However, today's quantum computers are in their early stages, and hardware quality issues hinder the scale of program execution. Benchmarking and simulation of quantum circuits on classical computers is therefore essential to advance the understanding of how quantum computers and programs operate, enabling both algorithm discovery that leads to high-impact quantum computation and engineering improvements that deliver to more powerful quantum systems. Unfortunately, the nature of quantum information causes simulation complexity to scale exponentially with problem size. In this paper, we debut Super.tech's SuperSim framework, a new approach for high fidelity and scalable quantum circuit simulation. SuperSim employs two key techniques for accelerated quantum circuit simulation: Clifford-based simulation and circuit cutting. Through the isolation of Clifford subcircuit fragments within a larger non-Clifford circuit, resource-efficient Clifford simulation can be invoked, leading to significant reductions in runtime. After fragments are independently executed, circuit cutting and recombination procedures allow the final output of the original circuit to be reconstructed from fragment execution results. Through the combination of these two state-of-art techniques, SuperSim is a product for quantum practitioners that allows quantum circuit evaluation to scale beyond the frontiers of current simulators. Our results show that Clifford-based circuit cutting accelerates the simulation of near-Clifford circuits, allowing 100s of qubits to be evaluated with modest runtimes.

研究の動機と目的

• 大規模な量子回路の古典的シミュレーションコストの指数関数的増加に取り組むこと、特にノイジィな中規模量子（NISQ）時代における課題を解決すること。
• 近的クリフォード回路に内在する構造を活用することで、既存のシミュレータのスケーラビリティの限界を乗り越えること。
• 量子アプリケーションのベンチマークやアルゴリズム開発を可能にする実用的で高性能なシミュレーションフレームワークを開発すること。
• 効率的なクリフォードシミュレーションと回路カットを組み合わせることで、古典的ハードウェアを用いて100量子ビット以上の回路をシミュレート可能にすること。
• 拡張可能なバックエンドサポートを通じて、将来の実量子ハードウェアや多様なシミュレータとの統合を支援すること。

提案手法

• フレームワークは、大規模な量子回路を、非クリフォード回路内のクリフォード断片を特定・分離することで、部分回路に分解する。
• クリフォード部分回路は、Stimベースのシミュレーションバックエンドを用いて、二次の古典的複雑度で効率的にシミュレートされる。
• 非クリフォード断片は回路からカットされ、個別に実行され、回路カット再構成手順を用いて結果が再結合される。
• 再構成プロセスは、断片シミュレーションからの確率分布を組み合わせて、全体の回路出力を回復するためのステッチ式を用いる。
• 最適化として、クリフォード回路におけるパウリ期待値がゼロであることが既知の場合、下流のステッチ計算をスキップする。
• 今後の拡張には、パースィング、シミュレーション、後処理ステップの並列化、GPUアクセceleration、実量子ハードウェアや他のシミュレータとのハイブリッド実行のサポートが含まれる。

実験結果

リサーチクエスチョン

• RQ1 クリフォードシミュレーションと回路カットを組み合わせることで、大規模な近的クリフォード量子回路のスケーラブルなシミュレーションが可能になるか？
• RQ2 SuperSimの性能は、近的クリフォード回路における実行時間と忠実度の観点で、最先端のシミュレータと比べてどの程度優れているか？
• RQ3 クリフォード回路の構造的性質（例えば、ゼロとなるパウリ期待値）が、回路カットにおける計算オーバーヘッドをどの程度低減できるか？
• RQ4 現在の実装で、SuperSimが効率的にシミュレートできる量子ビット数の上限は何か？
• RQ5 古典的シミュレータと実量子ハードウェアとの間で動的バックエンド選択を行うことで、シミュレーション効率はどの程度向上するか？

主な発見

• SuperSimは、限られた古典的実行時間で100量子ビット以上の近的クリフォード量子回路をシミュレート可能であり、以前のシミュレータの能力をはるかに上回る。
• 近的クリフォード回路を含む2つのベンチマークアプリケーションにおいて、SuperSimは最先端のアプローチに対して桁違いの高速化を達成した。
• クリフォード部分回路の分離によりシミュレーションコストが低減され、クリフォード回路は量子ビット数に対して二次関数的スケーリングを示すため、指数関数的スケーリングに比べて大幅に効率的である。
• 多くのパウリ期待値がゼロであるという事実を活用することで、クリフォード状態、特に多量子ビット系において、下流のステッチ計算を削減できる。
• 回路パースィング、断片シミュレーション、後処理の並列化により、性能をさらに向上可能であり、GPUおよびマルチコアサポートの計画が進行中である。
• SuperSimのオープンソースリリースは、量子アルゴリズム設計、エラー訂正、ハードウェア開発分野の研究を加速すると期待される。