[論文レビュー] A streamlined quantum algorithm for topological data analysis with exponentially fewer qubits

Sam McArdle, András Gilyén+1 more|arXiv (Cornell University)|Sep 26, 2022

Topological and Geometric Data Analysis被引用数 14

ひとこと要約

本論文は、補助キュービットを導入して量子特異値変換（QSVT）回路におけるノイズレスな制御NOT操作を可能にすることで、トポロジカル・データ解析のための量子アルゴリズムを簡素化し、キュービット要件を削減する。この補助キュービットを用いた手法により、投影ユニタリ符号化を再定義することで、正確性を維持したまま指数関数的に少ないキュービット数を実現し、量子トポロジカル・データ解析におけるリソース効率を著しく向上させる。

ABSTRACT

Topological invariants of a dataset, such as the number of holes that survive from one length scale to another (persistent Betti numbers) can be used to analyze and classify data in machine learning applications. We present an improved quantum algorithm for computing persistent Betti numbers, and provide an end-to-end complexity analysis. Our approach provides large polynomial time improvements, and an exponential space saving, over existing quantum algorithms. Subject to gap dependencies, our algorithm obtains an almost quintic speedup in the number of datapoints over previously known rigorous classical algorithms for computing the persistent Betti numbers to constant additive error - the salient task for applications. However, we also introduce a quantum-inspired classical power method with provable scaling only quadratically worse than the quantum algorithm. This gives a provable classical algorithm with scaling comparable to existing classical heuristics. We discuss whether quantum algorithms can achieve an exponential speedup for tasks of practical interest, as claimed previously. We conclude that there is currently no evidence for this being the case.

研究の動機と目的

• 量子トポロジカル・データ解析アルゴリズムにおけるキュービットの過剰な消費を低減すること。
• 低キュービット要件で安定した量子特異値変換（QSVT）を実現すること。
• 補助キュービットを用いたノイズ耐性の高い投影ユニタリ符号化フレームワークを開発すること。
• 量子TDAにおける境界作用素と射影子の実装におけるリソース効率を向上させること。
• 現在の量子アルゴリズムの代替として、スケーラブルで低深さの、恒久的ホモロジー計算のための量子アルゴリズムを提供すること。

提案手法

• ノイズのあるCΠNOTゲートをノイズレスなCΠ'NOTゲートに変換する追加の補助キュービットを導入し、安定した投影ユニタリ符号化を可能にする。
• 標準のQSVTブロックを、UとCΠNOT操作を統合した新しい投影ユニタリ符号化U̅に再コンパイルした回路構造に置き換える。
• Gilyenら（2019）のQSVTの堅牢性を活用し、誤差伝搬をεL + εR + εで境界化することで、忠実度の維持を保証する。
• 量子メモリ（QROMまたはQRAM）を用いて、頂点座標をコherentにロードし、コン pactマッピングにおけるメンバーシップオракルのための二乗距離を計算する。
• メンバーシップオラクルO_m_k^iの制御適用によりCΠNOTゲートを構築し、その後にマルチ制御Toffoli操作とアンコンピュテーションを実行する。
• 境界作用素∂_k^iおよび部分空間射影子（Ker, Im, Ker∩Im）の投影ユニタリ符号化にQSVTを適用し、√Nスケーリングを用いたユニタリ埋め込みを実施する。

実験結果

リサーチクエスチョン

• RQ1 量子トポロジカル・データ解析に必要なキュービット数を正確性を損なわずに削減できるか？
• RQ2 補助キュービットを用いて、QSVT回路におけるノイズのある制御NOT操作をノイズレスな同等物に置き換えられるか？
• RQ3 補助キュービットを用いた再コンパイルが、投影ユニタリ符号化の誤差境界とリソースコストに与える影響は何か？
• RQ4 本手法は、TDAにおける境界作用素符号化の従来手法と比較して、リソース効率に優れているか？
• RQ5 ∂_k^iの投影ユニタリ符号化を、ゼロの補助キュービットと改善された非クリフォード深度で実装できるか？

主な発見

• 提案手法により、境界作用素∂_k^iのための補助キュービット要件が~O(log N + log k)からゼロに削減され、従来手法を上回る性能を発揮する。
• ノイズレスなCΠ'NOTゲートを用いた(1, m+1, εL + εR + ε)の投影ユニタリ符号化が達成され、耐障害性が向上する。
• ユニタリ埋め込みアプローチにより、∂_k^iの(√N, 0, 0)の投影ユニタリ符号化が実現され、非クリフォード深度はO(log N)であるのに対し、従来手法ではΩ(N)であった。
• 非クリフォードゲート数がO(N²)から2(N−1)の単一キュービット回転に削減され、回路の深さとスケーラビリティが著しく向上する。
• 補助キュービットの使用により、ノイズレスなCΠNOT操作が可能になり、誤差の蓄積が低減され、安定したQSVTベースの計算が実現する。
• 本手法により、正確性を維持したまま指数関数的なキュービット削減が達成され、近い将来の装置における大規模な量子TDAの実現が可能になる。