[論文レビュー] Classically efficient graph isomorphism algorithm using quantum walks

B. L. Douglas, J. B. Wang|arXiv (Cornell University)|May 17, 2007

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿では、離散時間量子ウォークを用いたグラフ同型性のための古典的効率的アルゴリズムを提案しており、量子ウォークのシミュレーションが古典的コンピュータ上で効果的にエミュレート可能であることを示している。この手法は、特に強正則グラフを含む大規模なグラフデータベースにおける同型性クラスの同定に成功し、このアプローチを用いたグラフ同型性問題の多項式時間解法の可能性を示唆している。

ABSTRACT

Given the extensive application of classical random walks to classical algorithms in a variety of fields, their quantum analogue in quantum walks is expected to provide a fruitful source of quantum algorithms. So far, however, such algorithms have been scarce. In this work, we enumerate some important differences between quantum and classical walks, leading to their markedly different properties. We show that for many practical purposes, the implementation of quantum walks can be efficiently achieved using a classical computer. We then develop both classical and quantum graph isomorphism algorithms based on discrete-time quantum walks. We show that they are effective in identifying isomorphism classes of large databases of graphs, in particular groups of strongly regular graphs. We conjecture that the algorithms presented solve the graph isomorphism problem in polynomial time, and believe that similar methods employing quantum walks or derivatives of these walks may prove beneficial in constructing other algorithms for a variety of purposes. PACS numbers: 03.67.-a, 02.10.Ox, 89.20.Ff ∗Electronic address: [e-mail]

研究の動機と目的

• 古典的ウォークと量子ウォークの違いを調査し、アルゴリズム設計に与える影響を明らかにすること。
• 実用的なアルゴリズム的用途を想定した、量子ウォークの古典的効率的実装を開発すること。
• 離散時間量子ウォークに基づく古典的および量子の両方のグラフ同型性アルゴリズムを構築すること。
• これらのアルゴリズムが大規模なグラフデータベースにおける同型性クラスの同定にどの程度効果的であるかを評価すること。
• 提案手法が多項式時間でグラフ同型性問題を解けるかどうかを検討すること。

提案手法

• 著者たちは、多くの実用的用途において量子ウォークのダイナミクスが古典的コンピュータ上で効率的にエミュレート可能であるという事実を活用して、グラフ上での離散時間量子ウォークを古典的計算でシミュレートしている。
• グラフ構造上の量子ウォークの進化に基づいて、グラフ同型性アルゴリズムを設計し、得られたウォーク統計を用いてグラフを比較している。
• この手法は、量子ウォーク遷移振幅の計算と、異なるグラフ間でのその分布の比較を含み、同型性を検出する。
• アルゴリズムは、同型性テストに特に挑戦的とされる強正則グラフの大量データベースに対してテストされている。
• 著者たちは、非同型グラフを区別するための不変量を、量子ウォークの構造的性質に基づいて定義している。
• このアプローチは、量子版のアルゴリズムへと拡張されているが、古典的シミュレーションが主な計算エンジンのままである。

実験結果

リサーチクエスチョン

• RQ1 量子ウォークは、実用的なアルゴリズム的用途のために、古典的コンピュータ上で効率的にシミュレート可能か？
• RQ2 グラフ解析において、量子ウォークのダイナミクスは古典的ランダムウォークのダイナミクスとどの程度異なるか？
• RQ3 量子ウォークに基づく不変量は、大規模かつ複雑なグラフにおける同型性クラスを信頼性高く区別できるか？
• RQ4 提案されたアルゴリズムは、多項式時間でグラフ同型性問題を解けるか？
• RQ5 量子ウォークにインspiredされた手法は、同型性テストを超えた他の計算問題へ一般化可能か？

主な発見

• 本アルゴリズムで用いられる量子ウォークのダイナミクスは、古典的コンピュータ上で効率的にシミュレート可能であり、量子ハードウェアが不要な実用的実装を可能にしている。
• 提案された古典的アルゴリズムは、強正則グラフの大規模データベースにおける同型性クラスの同定に成功している。
• 特に強正則グラフのクラス内では、非同型グラフを区別する能力が非常に高いことが示された。
• 著者たちは、実験的性能と構造的解析に基づき、アルゴリズムが多項式時間でグラフ同型性問題を解けると仮説を立てている。
• 結果から、量子ウォークに基づく不変量はグラフ比較に強力なツールであり、新たな古典的および量子アルゴリズムの設計にインスピレーションを与える可能性がある。