[論文レビュー] Quantum walks on regular uniform hypergraphs

Ying Liu, Jiabin Yuan+2 more|arXiv (Cornell University)|Sep 15, 2017

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿では、正則な一様ハイパーグラフと二部グラフの間の一対一対応を確立することで、離散時間量子ウォークのモデルを正則な一様ハイパーグラフに提案する。これにより、Szegedyの量子ウォークフレームワークの適用が可能となり、古典的ランダムウォークに対して2乗の加速を達成するとともに、二部グラフの2つの部集合のサイズが異なる場合でも遷移行列のスペクトル的性質を導出する。これはハイパーグラフ上での量子アルゴリズムの基盤を築く。

ABSTRACT

Quantum walks on graphs have shown prioritized benefits and applications in wide areas. In some scenarios, however, it may be more natural and accurate to mandate high-order relationships for hypergraphs, due to the density of information stored inherently. Therefore, we can explore the potential of quantum walks on hypergraphs. In this paper, by presenting the one-to-one correspondence between regular uniform hypergraphs and bipartite graphs, we construct a model for quantum walks on bipartite graphs of regular uniform hypergraphs with Szegedy's quantum walks, which gives rise to a quadratic speed-up. Furthermore, we deliver spectral properties of the transition matrix, given that the cardinalities of the two disjoint sets are different in the bipartite graph. Our model provides the foundation for building quantum algorithms on the strength of quantum walks, suah as quantum walks search, quantized Google's PageRank and quantum machine learning, based on hypergraphs.

研究の動機と目的

• 標準的なグラフよりも高次な関係をよりよく捉える正則な一様ハイパーグラフ上の量子ウォークモデルの開発。
• 正則な一様ハイパーグラフと二部グラフの間の一対一対応を確立し、Szegedyの量子ウォークフレームワークの利用を可能にする。
• 二部グラフの2つの部分集合の基数が異なる場合にも、Szegedyの量子ウォークを一般化する。
• 量子ウォーク演算子の遷移行列のスペクトル的性質を導出し、ダイナミクスと性能の分析に不可欠な要素を提供する。
• ハイパーグラフ構造のデータに対する探索、PageRank、機械学習などの量子アルゴリズムの基盤を提供する。

提案手法

• 正則な一様ハイパーグラフを、一方の集合が頂点を、もう一方がハイパーエッジを表す二部グラフにマッピングする。
• 頂点からエッジ、エッジから頂点への遷移行列を用いて、ハイパーグラフ上の古典的ランダムウォークを定義する。
• 二部グラフ上の反射演算子に基づき、Szegedyの手法を用いてユニタリな時間発展演算子を構築する。
• 二部グラフの部分集合のサイズが異なる場合を扱えるようにSzegedyの形式的枠組みを拡張し、修正されたスペクトル解析を実施する。
• 遷移行列の特異値 $ \sigma_k = \cos \theta_k $ を用いて、ウォーク演算子の固有値を導出する。
• 固有空間を分析：$ nd - (m+n) $ 個の固有値が 1、$ n - m $ 個の固有値が -1、残りの $ 2m $ 個の固有値が $ e^{\pm 2i\theta_k} $ の形を取る。

実験結果

リサーチクエスチョン

• RQ1 正則な一様ハイパーグラフ上の離散時間量子ウォークを、Szegedyの量子ウォークモデルと互換性のある枠組みにどのようにマッピングできるか。
• RQ2 二部グラフの2つの部分集合のサイズが異なる場合、遷移行列にどのようなスペクトル的性質が現れるか。
• RQ3 二部グラフ表現を介してハイパーグラフに一般化した場合でも、Szegedyの量子ウォークの2乗の加速が保たれるか。
• RQ4 部分集合のサイズが異なる場合、量子ウォーク演算子の固有構造はどのように分解できるか。
• RQ5 遷移行列の特異値が、量子ウォークのダイナミクスを決定づける役割を果たすか。

主な発見

• 正則な一様ハイパーグラフと二部グラフの間の一対一対応が確立され、Szegedyの量子ウォークフレームワークの利用が可能になった。
• 量子ウォークモデルは、古典的ランダムウォークに対して2乗の加速を達成しており、Szegedyの元々の結果と整合的である。
• ユニタリ時間発展演算子 $ W $ は、$ nd - (m + n) $ 個の固有値が 1 であり、$ n - m $ 個の固有値が -1 であり、それぞれ1次元の不変部分空間に属する。
• 残りの $ 2m $ 個の固有値は $ \lambda_k = e^{\pm 2i\theta_k} $ であり、$ \theta_k \in (0, \pi/2) $ であり、特異値 $ \sigma_k = \cos \theta_k $ から導出される。
• 固有ベクトルは明示的に $ |k\rangle = \frac{A|\mu_k\rangle - e^{\pm i\theta_k} B|\nu_k\rangle}{\sqrt{2} \sin \theta_k} $ と構成され、ウォークのダイナミクスとハイパーグラフ構造の間の関連が明確に示された。
• スペクトル分解によりウォーク演算子の完全な特徴付けが得られ、量子アルゴリズムにおける到達時間の解析や確率増幅の分析が可能になった。