[論文レビュー] How Much Structure Is Needed for Huge Quantum Speedups?

Scott Aaronson|arXiv (Cornell University)|Sep 14, 2022

Quantum Computing Algorithms and Architecture被引用数 14

ひとこと要約

この論文は、指数的量子高速化の構造的要件を調査し、このような高速化が周期性や隠れ部分群構造といった極めて特異な問題の性質を必要とすることを主張している。これらは量子干渉が正しい答えに振幅を集約することを可能にする。本研究は、普遍的な量子優位性の概念に挑戦し、指数的高速化がまれであり、深いつながりを持つ数学的構造に依存することを示している。近年のヤマカワとジャンドリの研究によって、こうした高速化ですら、標準的な意思決定問題を超えた特定の問題タイプに依存することが明らかになった。

ABSTRACT

I survey, for a general scientific audience, three decades of research into which sorts of problems admit exponential speedups via quantum computers -- from the classics (like the algorithms of Simon and Shor), to the breakthrough of Yamakawa and Zhandry from April 2022. I discuss both the quantum circuit model, which is what we ultimately care about in practice but where our knowledge is radically incomplete, and the so-called oracle or black-box or query complexity model, where we've managed to achieve a much more thorough understanding that then informs our conjectures about the circuit model. I discuss the strengths and weaknesses of switching attention to sampling tasks, as was done in the recent quantum supremacy experiments. I make some skeptical remarks about widely-repeated claims of exponential quantum speedups for practical machine learning and optimization problems. Through many examples, I try to convey the "law of conservation of weirdness," according to which every problem admitting an exponential quantum speedup must have some unusual property to allow the amplitude to be concentrated on the unknown right answer(s).

研究の動機と目的

• 指数的量子高速化を可能にする問題構造の種類を理解すること。
• 機械学習や最適化の実用的応用における量子優位性に関する広く受け入れられている主張の妥当性を評価すること。
• オракルとクエリ複雑度の役割を、多項式速度化と指数的速度化の区別にどのように果たすかを明らかにすること。
• ヤマカワとジャンドリの最近の進展が、量子高速化の限界に関する以前の予想を反証するか、あるいは回避するかを評価すること。
• 擬似ランダムなピークを持つ量子回路を用いた検証可能な量子優位性の実現可能性を検討すること。

提案手法

• オラクル（ブラックボックス）クエリモデルにおける量子高速化を分析し、より実用的な量子回路モデルと対比する。
• 有界誤差量子多項式時間（BQP）の枠組みを適用し、P や NP などの古典的複雑度クラスと比較する。
• 周期的または隠れ部分群構造を有する問題において、構成的・破壊的干渉が正しい答えへの振幅集中に果たす役割を検討する。
• アーロンソンとアームバイニスの予想（ランダムオラクル下で全ブール関数に対して超多項式の高速化は不可能）を評価する。
• 意思決定問題と NP 探索問題の違いを検討し、ランダムオラクル上でも探索問題では指数的高速化が生じ得ることを示す。
• 特定の基底状態を高確率で出力する擬似ランダム量子回路を用いた検証可能な量子優位性の新しいパラダイムを提唱する。

実験結果

リサーチクエスチョン

• RQ1 指数的量子高速化を可能にする問題に必要な構造的性質は何か？
• RQ2 なぜ多くの既知の量子高速化は多項式にとどまり、指数的高速化は極めてまれなのか？
• RQ3 ランダムオラクル上でも NP 探索問題に対して指数的量子高速化が生じ得るか？ これは以前の予想をどのように挑戦するか？
• RQ4 すべての指数的量子高速化が、問題の構造における何らかの「不思議さ」（weirdness）を活用しているという「不思議さの保存則」が成り立つのか？
• RQ5 特定の基底状態を出力する確率が非常に高い擬似ランダム量子回路を構築可能か？ これにより検証可能な近い将来の量子優位性が実現可能か？

主な発見

• 指数的量子高速化は、周期性や隠れ部分群対称性といった極めて非一般的な問題構造を必要とし、干渉による振幅集中を可能にする。
• アーロンソン＝アームバイニス予想（ランダムオラクル下で全ブール関数に対して超多項式高速化は不可能）は未解決のままだが、強く支持される証拠と多項式影響理論との深い関係がある。
• ヤマカワとジャンドリの2022年の結果は、ランダムオラクル上でのNP探索問題に対して指数的高速化を達成し、意思決定問題から探索問題への焦点の移行によってアーロンソン＝アームバイニス予想を回避した。
• サンプリングタスクに基づく量子優位性実験は有望だが、検証や古典的シミュレーションとの区別に課題を抱える。
• 特定の基底状態を高確率で出力する擬似ランダム量子回路は、検証可能な近い将来の量子優位性の基盤となり得るが、その存在性と困難性は未解決のまま。
• 本論文は、すべての指数的量子高速化が何らかの形での「不思議さ」を問題構造が利用していると結論づけ、これを「不思議さの保存則」と呼ぶ原則を提唱する。