[論文レビュー] Periodicity of Grover walks on distance-regular graphs

Yusuke Yoshie|arXiv (Cornell University)|May 20, 2018

graph theory and CDMA systems参考文献 4被引用数 6

ひとこと要約

本稿は、距離正則グラフ上のグローバー散乱の周期性を調査し、遷移行列の有理固有値に基づいた周期性の必要条件を確立する。ハミンググラフおよびジョンソングラフの周期的性を完全に特徴付け、直径 ≤ 4 の一般の距離正則グラフへのスペクトル解析を拡張することで、周期的強正則グラフの分類について新たな証明を提供する。

ABSTRACT

Characterizations graphs of some classes to induce periodic Grover walks have been studied for recent years. In particular, for the strongly regular graphs, it has been known that there are only three kinds of such graphs. Here, we focus on the periodicity of the Grover walks on distance-regular graphs. The distance-regular graph can be regarded as a kind of generalization of the strongly regular graphs and the typical graph with an equitable partition. In this paper, we find some classes of such distance-regular graphs and obtain some useful necessary conditions to induce periodic Grover walks on the general distance-regular graphs. Also, we apply this necessary condition to give another proof for the strong regular graphs.

研究の動機と目的

• 距離正則グラフが周期的グローバー散乱を誘発する条件を特徴づけ、既知の強正則グラフに関する結果を拡張する。
• 単純なランダムウォークの遷移行列の有理固有値に基づいた周期性の必要条件を導出する。
• スペクトル的性質と構造的制約を用いて、すべての周期的ハミンググラフおよびジョンソングラフを分類する。
• 距離正則グラフの枠組みを用いて、周期的強正則グラフの分類について代替的証明を提供する。
• 直径 ≥ 3 の周期的距離正則グラフを特徴づける基盤を、構造的およびスペクトル的制約を同定することで確立する。

提案手法

• グラフ上の単純なランダムウォークの遷移行列 T(G) のスペクトル解析を用いて、グローバー散乱の周期性を推論する。
• グローバー散乱の発展演算子のすべての固有値が単位根であることが周期性のための条件であることを適用する。
• 距離正則グラフの修正された商行列 Q̃ の特性多項式を用いて必要条件を導出する。
• T(G) の固有値と単位根との関係を用いて、グラフの直径および構造を制約する。
• 交差配列 (b_i, c_i, a_i) に対する組合せ的制約を適用して、非周期的構成を除外する。
• 代数的数論を用いて、固有値を含む式が整数であるかどうかを分析し、有理性および整数性条件を強制する。

実験結果

リサーチクエスチョン

• RQ1 どの距離正則グラフが周期的グローバー散乱を支持するか。また、それらが満たすべき構造的制約は何か。
• RQ2 遷移行列 T(G) の固有値にどのような必要条件が、グローバー散乱の周期性を保証するか。
• RQ3 周期的強正則グラフの分類を、距離正則グラフの枠組みを用いて再導出できるか。
• RQ4 ハミンググラフ H(d, q) のパラメータ (d, q) およびジョンソングラフ J(n, k) のパラメータ (n, k) のうち、周期的グローバー散乱をもたらす完全な集合は何か。
• RQ5 距離正則グラフの商行列のスペクトル的性質をどのように用いて周期性を決定できるか。

主な発見

• 有理固有値をもつ遷移行列 T(G) を持つ任意の距離正則グラフについて、グローバー散乱が周期的であるためには直径が 5 より小さくなければならない。
• ハミンググラフ H(d, q) は、(d, q) ∈ {(1,2), (1,3), (2,2), (3,3), (4,2)} のときに限り周期的である。
• ジョンソングラフ J(n, k) は、(n, k) ∈ {(2,1), (3,1), (4,2)} のときに限り周期的である。
• 直径 2 のすべての周期的距離正則グラフは、C₅、K_{k,k}、および K_{m,m,m}（正の整数 k, m）として分類される。
• 修正された商行列の特性多項式から導出された必要条件により、周期的強正則グラフの分類について新たな証明が可能となる。
• 直径 d ≥ 3 の場合、パラメータの数が増え、完全な分類がより複雑になるため、現在の必要条件を超える追加の制約が必要となる。