[論文レビュー] k-Boson Quantum Walks Do Not Distinguish Arbitrary Graphs

Jamie Smith|arXiv (Cornell University)|Apr 1, 2010

Quantum and electron transport phenomena参考文献 1被引用数 10

ひとこと要約

本稿は、任意のkに対してkフェルミオン量子ウォークがすべての非同型グラフを区別できないことを示している。細胞代数に基づくk同値性を導入することで、著者らは、2つのグラフがk同値である場合、それらのkフェルミオンウォークは同一のグリーン関数を生成することを証明した。これは、ギャンブルらが提起した「相互作用を伴うkフェルミオンウォークがすべてのグラフに対してグラフ同型性問題を解けるか？」という問いに対して、否定的解答を提供するものである。

ABSTRACT

In this paper, we define k-equivalence, a relation on graphs that relies on their associated cellular algebras. We show that a k-Boson quantum walk cannot distinguish pairs of graphs that are k- equivalent. The existence of pairs of k-equivalent graphs has been shown by Ponomarenko et al. [2, 6]. This gives a negative answer to a question posed by Gamble et al. [7].

研究の動機と目的

• 相互作用を伴うkフェルミオン量子ウォークが、すべての非同型グラフのペアを区別できるかどうかを検証すること。
• 細胞代数を構造的不変量として用いて、グラフのk同値性を定義し、分析すること。
• k同値なグラフがkフェルミオンウォークにおいて同一のグリーン関数を生成することを示し、それらが区別不能であることを示すこと。
• ギャンブルらが提起した、kフェルミオンウォークがグラフ同型性問題をPに帰着できる可能性についての未解決問いを解消すること。

提案手法

• グラフに付随する細胞代数の弱同型を用いてk同値性を定義する。
• 隣接行列の対称テンソル積とサイト基底の相互作用項を用いてkフェルミオンハミルトニアンを構築する。
• グラフ同型がテンソル積空間に誘導する作用を用いて、k同値なグラフ間でのハミルトニアンを写像する。
• ユニタリ時間発展演算子（U = exp(-itH)）がk同値性のもとで保存されることを証明し、これにより同一のグリーン関数が得られることを示す。
• バーグィ（2009）とエヴドキモフ（1999）の既知のk同値グラフの構成を用いて、すべてのkに対してその存在を確立する。
• 細胞代数の枠組みを用いて、2フェルミオンウォークからkフェルミオンウォークへの結果の一般化を実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限kに対して、相互作用を伴うkフェルミオン量子ウォークは、すべての非同型グラフを区別できるか？
• RQ2 グラフのどの構造的不変量がkフェルミオン量子ウォークのもとで保存されるか？
• RQ3 細胞代数に基づくk同値性で定義されるグラフは、kフェルミオンウォークにおいて同一のグリーン関数を生成するか？
• RQ4 多粒子量子ウォークを用いてグラフ同型性問題を解く際に、根本的な制限があるか？
• RQ5 細胞代数およびその弱同型は、量子ウォーク下でのグラフの区別可能性とどのように関係するか？

主な発見

• 任意のk ≥ 1に対して、細胞代数の枠組みのもとでk同値であるが非同型なグラフが存在する。
• k同値なグラフは、kフェルミオン量子ウォークにおいて同一のグリーン関数を生成するため、ウォークによって区別されない。
• kフェルミオンハミルトニアンはk同値性のもとで共変的に変換され、ユニタリ時間発展演算子および観測可能な結果が保存される。
• 相互作用を伴うkフェルミオンウォークは一般にはグラフ同型性問題を解けない。なぜなら、k同値な非同型グラフを区別できないからである。
• この結果は、2フェルミオンウォークに関する先行研究を一般化し、グラフ同型性問題をPに帰着できるという手法には限界があることを確認する。
• バーグィ（2009）とエヴドキモフ（1999）のk同値グラフの構成はすべてのkに対して有効であり、このようなペアの存在を裏付けている。