[論文レビュー] Quantum Algorithms and the Power of Forgetting

Andrew M. Childs, Matthew Coudron+1 more|arXiv (Cornell University)|Nov 22, 2022

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

この論文は、EN TRANCE を含む頂点ラベルの連結部分グラフを維持する自然なクラスの効率的量子アルゴリズム—これらは、 welded tree 問題において ENTRANCE から EXIT へのパスを発見できないことを示している。 一方で、EXIT は効率的に特定可能である。 主な結果は、このようなアルゴリズムがパスを発見する確率が指数的に小さくなる以上に小さくなるという形式的な no-go 定理であり、この場合の量子高速化が中間のパス情報の忘却に依存している可能性を示唆している。

ABSTRACT

The so-called welded tree problem provides an example of a black-box problem that can be solved exponentially faster by a quantum walk than by any classical algorithm. Given the name of a special ENTRANCE vertex, a quantum walk can find another distinguished EXIT vertex using polynomially many queries, though without finding any particular path from ENTRANCE to EXIT. It has been an open problem for twenty years whether there is an efficient quantum algorithm for finding such a path, or if the path-finding problem is hard even for quantum computers. We show that a natural class of efficient quantum algorithms provably cannot find a path from ENTRANCE to EXIT. Specifically, we consider algorithms that, within each branch of their superposition, always store a set of vertex labels that form a connected subgraph including the ENTRANCE, and that only provide these vertex labels as inputs to the oracle. While this does not rule out the possibility of a quantum algorithm that efficiently finds a path, it is unclear how an algorithm could benefit by deviating from this behavior. Our no-go result suggests that, for some problems, quantum algorithms must necessarily forget the path they take to reach a solution in order to outperform classical computation.

研究の動機と目的

• welded tree 問題において、EXIT を効率的に特定できるにもかかわらず、ENTRANCE から EXIT へのパスを効率的に発見できる量子アルゴリズムが存在するかを調査すること。
• ENTRANCE を含む頂点ラベルの連結部分グラフを保持し、それらをオракル入力として使用する自然なクラスの量子アルゴリズムを分析すること。
• このようなアルゴリズムが、EXIT またはパスを発見する確率が指数的に小さくなる以上に小さくなることを証明すること。
• この結果が、標準的な干渉に基づく手法を超えた量子高速化における「忘却」の役割に与える影響を検討すること。

提案手法

• ENTRANCE を含む頂点ラベルの連結部分グラフを量子重ね合わせ状態で維持する「真正の」および「根付きの」量子アルゴリズムを定義する。
• オーガルのクエリ履歴および頂点ラベルへのアクセス履歴を追跡するための「トランスクリプト状態」を導入する。
• ランダムな色を保つ置換 σ を用いて、アドレスを頂点にマッピングすることで、真正で根付きのアルゴリズムの古典的シミュレーションを構築する。
• オーガル環境をモデル化するための分布 Dn を導入し、3色に塗られた welded tree グラフの族を用いる。この分布では、EXIT およびサイクルが高確率で隠蔽される。
• 任意のこのようなアルゴリズムに対して、EXIT やサイクルに遭遇する確率が 4p(n)⁴2⁻ⁿ/³ 以下であることを証明する。これは、多項式サイズの部分グラフに対して指数的に小さい。
• 組合せ論的および確率論的議論（特に和集合の上限およびパス埋め込み解析）を用い、ランダムな σ における部分木埋め込みが、EXIT やサイクルにほとんど当たらないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ENTRANCE を含む頂点ラベルの連結部分グラフを維持する効率的量子アルゴリズムは、welded tree 問題において ENTRANCE から EXIT へのパスを発見できるか？
• RQ2 中間のパス情報を忘れる量子アルゴリズムに、すなわちその情報が利用可能でも、根本的な制限は存在するか？
• RQ3 welded tree 問題における指数的量子高速化は、アルゴリズムがパス履歴を追跡または保存できないことに依存しているか？
• RQ4 このような量子アルゴリズムの振る舞いを、高精度で古典的アルゴリズムがシミュレートできるか。もし可能なら、どのような条件下で可能か？
• RQ5 EXIT やサイクルを非無視可能な確率で発見できないような welded tree グラフの分布を構築することは可能か？

主な発見

• ENTRANCE を含む頂点ラベルの連結部分グラフを維持し、それらのラベルのみをオーガル入力として使用する任意の量子アルゴリズムについて、EXIT またはサイクルに遭遇する確率は 4p(n)⁴2⁻ⁿ/³ 以下である。
• この上界は、任意の多項式サイズの部分グラフに対して指数的に小さくなるため、このようなアルゴリズムが ENTRANCE から EXIT へのパスを効率的に発見できないことが示される。
• この結果は、3色に塗られた welded tree グラフの分布からのサンプリングに対しても成り立つため、no-go 条件の強靭性が示される。
• これらのアルゴリズムの古典的シミュレーションは、その振る舞いを忠実に再現しており、この場合の量子優位性がパス追跡に起因しないことを示している。
• 解析により、ランダムな色分けとグラフ構造のおかげで、EXIT およびサイクルがこのようなアルゴリズムから隠蔽されており、検出はほとんど不可能であることが明らかになった。
• 本論文は形式的な障壁を確立した：パス情報の忘却を行う量子アルゴリズムが、特定の問題において指数的高速化を達成するために不可欠である可能性がある。