[論文レビュー] A density-matrix renormalization group algorithm for simulating quantum circuits with a finite fidelity

Thomas Ayral, Thibaud Louvet+4 more|arXiv (Cornell University)|Jul 12, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本論文は、有限の忠実度を有する量子回路をシミュレートすることを目的とした密度行列密度行列縮約法（DMRG）アルゴリズムを提案する。これは、ヒルベルト空間のハミルトニアンからユニタリ量子回路へのDMRGの拡張であり、深さの大きい回路に対して正確な方法と比較して指数的スピードアップを達成する。単一コアでGoogleの量子優位性実験の忠実度を再現し、QAOA回路では誤差率を100倍低減する。これは、現在の量子計算における主な障壁はキュービット数ではなく忠実度であることを示している。

ABSTRACT

We develop a density-matrix renormalization group (DMRG) algorithm for the simulation of quantum circuits. This algorithm can be seen as the extension of time-dependent DMRG from the usual situation of hermitian Hamiltonian matrices to quantum circuits defined by unitary matrices. For small circuit depths, the technique is exact and equivalent to other matrix product state (MPS) based techniques. For larger depths, it becomes approximate in exchange for an exponential speed up in computational time. Like an actual quantum computer, the quality of the DMRG results is characterized by a finite fidelity. However, unlike a quantum computer, the fidelity depends strongly on the quantum circuit considered. For the most difficult possible circuit for this technique, the so-called "quantum supremacy" benchmark of Google Inc. , we find that the DMRG algorithm can generate bit strings of the same quality as the seminal Google experiment on a single computing core. For a more structured circuit used for combinatorial optimization (Quantum Approximate Optimization Algorithm or QAOA), we find a drastic improvement of the DMRG results with error rates dropping by a factor of 100 compared with random quantum circuits. Our results suggest that the current bottleneck of quantum computers is their fidelities rather than the number of qubits.

研究の動機と目的

• ハミルトニアンに限らないユニタリ時間発展演算子を扱えるDMRGベースの手法を開発し、ヒルベルト空間のハミルトニアンからユニタリ時間発展への技術の拡張を図る。
• 3つの回路タイプ（Googleの量子優位性回路、ランダム回路、組合せ最適化のためのQAOA回路）に対してアルゴリズムをベンチマークする。
• 近位の量子デバイスをシミュレートする際、計算コストと忠実度のどちらが主な制限要因であるかを評価する。
• 構造的回路（例：QAOA）はランダム回路よりもDMRGにより著しく利益を受けることの裏付けを示し、忠実度が回路構造に依存することを明らかにする。

提案手法

• 時間依存DMRGアルゴリズムを、ハミルトニアンではなくユニタリ発展演算子を扱えるように変更し、量子回路のシミュレーションを可能にする。
• 行列積状態（MPS）表現を用いて量子状態を圧縮し、計算効率を高めるために結合次元χに切り詰める。
• MPSの特異値分解（SVD）を適用し、最も顕著なもつれモードを特定・保持する。特異値はSμ ∝ 2−N/4g(μ/2N/2)のスケーリングに従う。
• 特異値分布をモデル化するためのスケーリング則g(x) = 2cos(½A⁻¹(πx))を用い、切り捨てによる忠実度の低下を予測する。
• メトロポリスサンプリングを実装し、|Ψx|²に従うビットストリングを生成可能にし、測定結果の効率的サンプリングを実現する。
• 交差エントロピーベンチマークを用いて忠実度を定量的に評価し、実際の量子ハードウェア性能と比較する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン時間発展ではなくユニタリ時間発展を支配する量子回路をシミュレートするために、DMRGを一般化できるか？
• RQ2 DMRGシミュレーションの忠実度は、特にランダム回路と構造的回路の間で、回路構造にどのように依存するか？
• RQ3 深さのある量子回路に対して、正確なシミュレーションと比較して、DMRGがどの程度の指数的スピードアップを達成しつつも高い忠実度を維持できるか？
• RQ4 なぜDMRGアルゴリズムはQAOA回路に対してランダムな量子優位性回路よりも著しく優れた性能を示すのか？これは回路構造の役割に何を示唆するか？
• RQ5 DMRGシミュレーションの忠実度は実際の量子ハードウェアと同等であり、Googleの優位性実験のような主要な実験ベンチマークを再現できるか？

主な発見

• DMRGアルゴリズムは、Googleの量子優位性回路のビットストリング統計を、元の実験と同等の忠実度で再現し、単一コアで実現した。
• QAOA回路では、ランダム回路と比較して誤差率が100倍低減され、忠実度が回路構造に強く依存することを示している。
• 混沌沌とした極限において、DMRGシミュレーションの忠実度はF(χ) ≈ 4χ / 2^{N/2}とスケーリングし、均一な特異値分布の最悪ケースと比較して4倍優れている。
• 特異値スペクトルは非一様なスケーリング則Sμ ∝ 2−N/4g(μ/2N/2)に従い、g(x) = 2cos(½A⁻¹(πx))である。これは構造的回路における性能向上を説明する。
• メトロポリスサンプリングにより、平均受容率約70％で効率的なビットストリング生成が可能であり、1つの受理ビットストリングあたり約1.5の振幅計算で実現できる。
• アルゴリズムの忠実度はNが大きいときlog(2)/Dに飽和し、これはキュービット数ではなく回路の深さDに起因する根本的限界を示している。