[論文レビュー] QRAM: A Survey and Critique

Samuel Jaques, Arthur G. Rattew|arXiv (Cornell University)|May 17, 2023

Quantum Computing Algorithms and Architecture被引用数 18

ひとこと要約

この論文は量子RAMの提案を概観し、能動モデルと受動モデルを対比し、それらの物理的・計算的影響を分析する。既存の提案の下では安価で拡張可能な受動QRAMは実現が難しいと主張し、一方で回路ベースのQRAMは特定の応用には依然有用である。

ABSTRACT

Quantum random-access memory (QRAM) is a mechanism to access data (quantum or classical) based on addresses which are themselves a quantum state. QRAM has a long and controversial history, and here we survey and expand arguments and constructions for and against. We use two primary categories of QRAM from the literature: (1) active, which requires external intervention and control for each QRAM query (e.g. the error-corrected circuit model), and (2) passive, which requires no external input or energy once the query is initiated. In the active model, there is a powerful opportunity cost argument: in many applications, one could repurpose the control hardware for the qubits in the QRAM (or the qubits themselves) to run an extremely parallel classical algorithm to achieve the same results just as fast. We apply these arguments in detail to quantum linear algebra and prove that most asymptotic quantum advantage disappears with active QRAM systems, with some nuance related to the architectural assumptions. Escaping the constraints of active QRAM requires ballistic computation with passive memory, which creates an array of dubious physical assumptions, which we examine in detail. Considering these details, in everything we could find, all non-circuit QRAM proposals fall short in one aspect or another. In summary, we conclude that cheap, asymptotically scalable passive QRAM is unlikely with existing proposals, due to fundamental obstacles that we highlight. These obstacles are deeply rooted in the requirements of QRAM, but are not provably inevitable; we hope that our results will help guide research into QRAM technologies that circumvent or mitigate these obstacles. Finally, circuit-based QRAM still helps in many applications, and so we additionally provide a survey of state-of-the-art techniques as a resource for algorithm designers using QRAM.

研究の動機と目的

• 文献全体にわたるQRAMの定義と概念を調査・統一する。
• 能動QRAMと受動QRAMのアーキテクチャの実現性とコストモデルを評価する。
• QRAMモデルが量子線形代数および関連アルゴリズムに与える影響を分析する。
• 回路ベースのQRAM技術のリソース調査を提供し、下界を評価する。

提案手法

• QRAMのタイプを定義・分類する（CRACM、CRAQM、QRACM、QRAQM）と、能動モデルと受動モデルを区別する。
• 能動QRAMの機会費用を分析する。制御ハードウェアを古典的並列計算に再利用できる場合を考慮する。
• 受動的ボールリスティックQRAMの要件と、それに伴う物理的前提を検討する。
• QRAM仮定の下での量子線形代数タスクを批判的に分析し、漸近的な量子利得の限界を証明する。
• 回路ベースのQRAMの下界を調査し、ゲートベースのアプローチと比較する。
• エラーモデルと古典RAMの類推を論じて、実現可能性を文脈化する。

実験結果

リサーチクエスチョン

• RQ1 能動QRAMと受動QRAMの根本的な相違点は何であり、それぞれのコストにはどのような影響があるか？
• RQ2 どのようなアーキテクチャ的・物理的仮定の下で、QRAMは量子線形代数や関連タスクにおいて漸近的な量子優位性を提供できるか？
• RQ3 現行の提案の下で安価で拡張可能な受動QRAMは実現可能か、主要な技術的障壁は何か？
• RQ4 回路ベースQRAMとゲートQRAMは、下界と耐fault計算の実用性の観点でどう比較されるか？
• RQ5 コストと誤り制約を考慮した場合、QRAMは化学、算術、暗号解析などの応用でどのような役割を果たせるか？

主な発見

• 能動QRAMには機会費用が伴う。制御ハードウェアは非常に parallell 古典アルゴリズムを実行でき、量子利得を減少させる。
• 受動QRAMは強力でしばしば疑わしい物理的前提と、介入なしに機能するためにはほぼゼロの内部ノイズを必要とする。
• 量子線形代数では、建築の詳細に依存するが、能動QRAMモデルの下で多くの漸近的な量子優位性は薄れる。
• 回路ベースQRAMはメモリサイズに比例したコストを負い、耐障害実装に対して厳密な下界が確立されている。
• 受動ゲートQRAMは、批評で指摘された fundamental limitations により現行の提案下で依然として魅力がない。
• QRAMは化学や量子算術などの応用で、作業を古典共処理機にオフロードすることで、アクセスコストの一部を相殺し、依然として有用である。