[論文レビュー] Periodicity for the Hadamard walk on cycles

Norio Konno, Yuki Shimizu+1 more|arXiv (Cornell University)|Apr 24, 2015

Quantum Computing Algorithms and Architecture参考文献 15被引用数 3

ひとこと要約

この論文は、サイクル $C_N$ 上のハダマールウォークが、$N = 2, 4, 8$ のみで周期的であることを証明している。それぞれの周期は $T_2 = 2$、$T_4 = 8$、$T_8 = 24$ である。パスカウントと円分多項式解析を用いて、他のすべての $N$ に対して周期性が存在しない（$T_N = \bar{\text{infty}}$）ことを示しており、これにより、先行する固有値に基づく手法とは異なり、多項式因数分解に根ざした新しい代数的アプローチを提案している。

ABSTRACT

The present paper treats the period T_N of the Hadamard walk on a cycle C_N with N vertices. Dukes (2014) considered the periodicity of more general quantum walks on C_N and showed T_2 =2, T_4=8, T_8=24 for the Hadamard walk case. We prove that the Hadamard walk does not have any period except for his case, i.e., N=2, 4, 8. Our method is based on a path counting and cyclotomic polynomials which is different from his approach based on the property of eigenvalues for unitary matrix that determines the evolution of the walk.

研究の動機と目的

• ハダマールウォークが周期的であるようなサイクルサイズ $N$ の正確な集合を特定すること。
• 既知のケース $N=2,4,8$ を超えて周期性が成立するかどうかという未解決の問題を解明すること。
• パスカウントと円分多項式因数分解に基づく新しい手法を構築し、周期性の分析に適用すること。
• すべての $N \notin \{2,4,8\}$ に対して $T_N = \bar{\text{infty}}$ であることを証明し、他のすべてのケースで周期性がないことを確認すること。

提案手法

• 著者たちは、$C_N$ 上のハダマールウォークの進化演算子 $U_N^{(s)}$ の固有多項式 $\det(\lambda I_{2N} - U_N^{(s)})$ を分析する。
• 彼らは固有多項式を円分多項式 $F_r(\lambda)$ の積と、追加の多項式 $G(\lambda)$ に分解する。
• 因数分解において非円分多項式因子 $G(\lambda)$ が存在することは、$(U_N^{(s)})^n = I_{2N}$ を満たす有限な $n$ が存在しないことを意味し、したがって $T_N = \infty$ である。
• 奇数 $N$ の場合、非円分多項式因子 $G(\lambda)$ の存在を証明し、周期性の不成立を排除する。
• $N = 2^n \times M$ で $M$ が奇数で $n \geq 1$ の場合、問題を $M$ が奇数の場合に還元し、非周期性の結果を拡張する。
• $N=16$ の固有多項式を明示的に計算し、非円分多項式因子を含むことを示し、$T_{16} = \infty$ を確認する。さらに、$n \geq 5$ の $N = 2^n$ に対しても一般化する。

実験結果

リサーチクエスチョン

• RQ1 どのサイクルサイズ $N$ に対して、$C_N$ 上のハダマールウォークは周期的か？
• RQ2 周期性は既知のケース $N=2,4,8$ を超えて継続するか？
• RQ3 固有値解析とは異なり、パスカウントと円分多項式因数分解を用いて周期性を特定できるか？
• RQ4 一般の $N$ に対して、進化演算子 $U_N^{(s)}$ の固有多項式の代数的構造は何か？
• RQ5 なぜ $N \notin \{2,4,8\}$ の場合、ウォークは周期的でなくなるのか？ その失敗を示す代数的不変量は何か？

主な発見

• ハダマールウォークは、$C_N$ 上で $N = 2, 4, 8$ のみで周期的であり、それぞれ $T_2 = 2$、$T_4 = 8$、$T_8 = 24$ である。
• $N = 3$ の場合、固有多項式に非円分多項式因子 $G(\lambda)$ が含まれるため、$T_3 = \infty$ である。
• すべての奇数 $N$ に対して、固有多項式に非円分多項式因子が含まれるため、$T_N = \infty$ である。
• $N = 16 = 2^4$ の場合、固有多項式に非円分多項式因子 $\lambda^4 - \frac{1}{2}\lambda^2 + 1$ と $\lambda^4 - \frac{3}{2}\lambda^2 + 1$ が含まれるため、$T_{16} = \infty$ である。
• $n \geq 5$ の $N = 2^n$ の場合、固有多項式に非円分多項式因子が含まれるため、$T_N = \infty$ である。
• パスカウントと円分多項式因数分解に基づくこの手法は、固有値に基づく手法とは異なり、代数的に独立した周期性解析の新しいアプローチを提供している。