[論文レビュー] On the Quantum Time Complexity of Divide and Conquer

Jonathan Allcock, Jinge Bao+3 more|arXiv (Cornell University)|Nov 28, 2023

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

この論文は、組み合わせ段階と完了段階において量子探索および最小値/最大値探索を活用することで、古典的分割統治アルゴリズムに対する一般的な量子高速化を確立している。Longest Distinct Substring、Kleeの被覆問題、株式取引最適化、k-増加部分列といった問題において、既知の量子クエリ下界まで多項対数的要因の差異を除き、近似的に最適な量子時間計算量を達成している。

ABSTRACT

In this work, we initiate a systematic study of the time complexity of quantum divide and conquer (QD&C) algorithms for classical problems, and propose a general framework for their analysis. We establish generic conditions under which search and minimization problems with classical divide and conquer algorithms are amenable to quantum speedup, and apply these theorems to various problems involving strings, integers, and geometric objects. These include Longest Distinct Substring, Klee's Coverage, several optimization problems on stock transactions, and k-Increasing Subsequence. For most of these problems our quantum time upper bounds match the quantum query lower bounds, up to polylogarithmic factors. We give a structured framework for describing and classifying a wide variety of QD&C algorithms so that quantum speedups can be more easily identified and applied, and prove general statements on QD&C time complexity covering a range of cases, accounting for the time required for all operations. In particular, we explicitly account for memory access operations in the commonly used QRAM (read-only) and QRAG (read-write) models, which are assumed to take unit time in the query model, and which require careful analysis when involved in recursion. Our generic QD&C theorems have several nice features. 1) To apply them, it suffices to come up with a classical divide and conquer algorithm satisfying the conditions of the theorem. The quantization of the algorithm is then completely handled by the theorem. This can make it easier to find applications which admit a quantum speedup, and contrast with dynamic programming algorithms which can be difficult to quantize due to their highly sequential nature. 2) As these theorems give bounds on time complexity, they can be applied to a greater range of problems than those based on query complexity, e.g., where the best-known quantum algorithms require super-linear time. 3) It can handle minimization problems as well as boolean functions, which allows us to improve on the query complexity result of Childs et al. [Childs et al., 2025] for k-Increasing Subsequence by a logarithmic factor.

研究の動機と目的

• 古典的分割統治アルゴリズムの量子時間計算量を体系的に分析すること。
• このようなアルゴリズムが量子高速化を達成するための一般的な条件を同定すること。
• 古典的分割統治アルゴリズムを、証明可能な時間計算量の上限を備えた量子版に変換する理論的枠組みを構築すること。
• この枠組みを文字列、整数、計算幾何学分野の具体的な問題に適用すること。
• 既知の量子クエリ下界まで多項対数的要因の差異を除き、タイトな量子時間上界を確立すること。

提案手法

• 分割統治アルゴリズムをモデル化するための4段階フレームワーク（作成、征服、完了、結合）を導入する。
• 結合段階および完了段階に、量子探索（グローバー）および量子最小値/最大値探索を適用する。
• QRAMおよびQRAG量子メモリモデルを用いて、古典的データへの協調的アクセスおよび重ね合わせられたメモリへのアクセスをモデル化する。
• 量子クエリ複雑度および動的計画法の技術を用いて、時間計算量の上限を導出する。
• 不変な量子クエリ下界を証明するために、ブール論理の多数決問題への還元を用いる。
• 1次元問題（例：単一株式単一取引）における既知の量子アルゴリズムを、高次元への一般化におけるサブルーチンとして活用する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、古典的分割統治アルゴリズムが量子計算を用いて高速化可能か？
• RQ2 サブ問題から全問題へ、一般化された変換によって量子高速化を体系的に転送できるか？
• RQ3 QRAMモデル下でのLongest Distinct SubstringおよびKleeの被覆問題の量子時間計算量は何か？
• RQ4 提案された量子アルゴリズムの上界と一致する量子クエリ下界を確立できるか？
• RQ5 APSPクラスに属する問題で、量子時間計算量がn^{3/2}またはn^{5/2}のオーダーでないものがあり、それが量子分割統治によって解けるか？

主な発見

• QRAMモデル下でのLongest Distinct Substring問題の量子時間計算量は、多項対数的要因の差異を除き、量子クエリ下界と一致するÕ(n^{2/3})である。
• d次元空間（d ≥ 8）におけるKleeの被覆問題では、量子時間計算量がO(n^{d/4 + ε})であり、古典的O(n^{d/2})の境界を改善している。
• 単一株式単一取引問題は、量子時間計算量がÕ(√n log^{5/2} n)に達しており、既知の量子クエリ下界と一致している。
• k-増加部分列問題の量子時間計算量はÕ(n)であり、多項対数的要因の差異を除き、量子クエリ下界と一致している。
• 最大部分行列問題（MSM）は、QRAGモデル下でO(n² log² n)の量子時間計算量を達成しており、タイトなΩ(n²)の量子クエリ下界が存在する。
• 最大4結合問題（M4C）は、QRAMモデル下でO(n^{3/2} log^{5/2} n)の量子時間計算量を達成しており、関連問題（例：最大三角形）に対してn^{3/2}未満の量子アルゴリズムの可能性を示唆している。