[論文レビュー] The NISQ Complexity of Collision Finding

Yassine Hamoudi, Qipeng Liu+1 more|arXiv (Cornell University)|Nov 23, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、ランダムオракルモデルにおける量子-古典的クエリのトレードオフを分析するための新規技術、ハイブリッド圧縮オラクルフレームワークを導入する。この手法により、互いに不一致な基底における古典的クエリと量子的クエリからの知識獲得を一貫して追跡でき、衝突探査のクエリ複雑度の最適境界を提供するとともに、探索問題の証明を簡素化する。

ABSTRACT

Collision-resistant hashing, a fundamental primitive in modern cryptography, ensures that there is no efficient way to find distinct inputs that produce the same hash value. This property underpins the security of various cryptographic applications, making it crucial to understand its complexity. The complexity of this problem is well-understood in the classical setting and $Θ(N^{1/2})$ queries are needed to find a collision. However, the advent of quantum computing has introduced new challenges since quantum adversaries $\unicode{x2013}$ equipped with the power of quantum queries $\unicode{x2013}$ can find collisions much more efficiently. Brassard, Höyer and Tapp and Aaronson and Shi established that full-scale quantum adversaries require $Θ(N^{1/3})$ queries to find a collision, prompting a need for longer hash outputs, which impacts efficiency in terms of the key lengths needed for security. This paper explores the implications of quantum attacks in the Noisy-Intermediate Scale Quantum (NISQ) era. In this work, we investigate three different models for NISQ algorithms and achieve tight bounds for all of them: (1) A hybrid algorithm making adaptive quantum or classical queries but with a limited quantum query budget, or (2) A quantum algorithm with access to a noisy oracle, subject to a dephasing or depolarizing channel, or (3) A hybrid algorithm with an upper bound on its maximum quantum depth; i.e., a classical algorithm aided by low-depth quantum circuits. In fact, our results handle all regimes between NISQ and full-scale quantum computers. Previously, only results for the pre-image search problem were known for these models by Sun and Zheng, Rosmanis, Chen, Cotler, Huang and Li while nothing was known about the collision finding problem.

研究の動機と目的

• ブラックボックス方式でランダムオラクルにアクセスするハイブリッド量子-古典的アルゴリズムにおけるクエリ下界を証明するための一般的手法の欠如に対処すること。
• ランダムオラクルモデルにおける衝突探査問題の最適量子-古典的トレードオフを特定するという未解決問題を解消すること。
• 古典的クエリ（標準基底）と量子的クエリ（フーリエ基底）からの知識を一貫して記録できる統一されたフレームワークを構築すること。
• 限られた量子クエリアクセスや高い量子クエリコストといった現実的な制約を考慮することで、量子アルゴリズム分析のより実用的なモデルを提供すること。
• ハイブリッドアクセスモデル下でのよりタイトなリソース推定とセキュリティ証明を可能にすることで、後量子暗号とニア・タイム量子コンピューティングを支援すること。

提案手法

• Zhandryの圧縮オラクル技法の拡張として、不一致な基底におけるクエリの記録を一貫可能にするハイブリッド圧縮オラクルフレームワークを提案する。
• 標準基底とフーリエ基底における直交射影子を用いて、古典的クエリと量子的クエリからの知識獲得をトランスクリプトベースで追跡するアプローチを導入する。
• アルゴリズムが重ね合わせ状態での限定的量子クエリと標準基底での古典的クエリを実行するハイブリッドクエリモデルを採用し、フレームワークがそれらの組み合わせた進行状況を追跡する。
• クエリ履歴に基づいて状態を部分空間に分解し、射影子による重なりを測定することで、クエリ複雑度の境界を導出する。
• 重なりを示す部分空間の誤差項を抑え込むために、コーシー＝シュワルツ不等式や三角不等式などの不等式を用いる。
• 射影子の構造的性質（例えば、直交性、完全性）を活用して、クエリ層を跨ぐ成功確率に関する再帰的境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ランダムオラクルモデルにおける衝突探査問題の最適な量子-古典的クエリトレードオフは何か？
• RQ2 古典的クエリと量子的クエリを一貫して扱える統一されたフレームワークを開発できるか？
• RQ3 従来の技術が不一致なクエリ基底を考慮できない場合、ハイブリッドアルゴリズムのクエリ下界をどのように確立できるか？
• RQ4 このフレームワークは、量子クエリの深さが限られているニア・タイム量子コンピューティングや後量子暗号にどのような影響を及えるか？
• RQ5 このフレームワークは、ハイブリッドクエリモデルにおける探索問題の既存の下界を簡素化または改善できるか？

主な発見

• 本稿は、ロスマンイスが提起した未解決問題を解決し、ランダムオラクルモデルにおける衝突探査問題の最適量子-古典的トレードオフを確立した。
• ハイブリッド圧縮オラクルフレームワークは、先行研究に比べて、探索問題の最適トレードオフの証明をより簡単かつ体系的に行える。
• フレームワークは、不一致な基底における直交射影子を用いて、古典的クエリと量子的クエリからの知識獲得をモデル化することで、タイトな境界を達成する。
• 分析により、ハイブリッドアルゴリズムの成功確率は、異なるクエリ部分空間からの寄与の和によって制限され、誤差項はコーシー＝シュワルツ不等式および三角不等式を用いて抑え込まれることが示された。
• 量子クエリが高コストであるか、限られている場合でさえ、多くの古典的クエリがあっても、量子の高速化は制限されることを示した。
• 結果として、プレイメージ探索や衝突探査のアルゴリズムは、わずかな量子クエリしか持たない限り、顕著な高速化を達成できないことが示唆された。