[论文解读] 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$ 上的Hadamard行走仅在 $N = 2, 4, 8$ 时具有周期性，其周期分别为 $T_2 = 2$，$T_4 = 8$，$T_8 = 24$。通过路径计数与分圆多项式分析，作者表明，对于所有其他 $N$，行走不具有周期性（$T_N = \bar{\text{infty}}$），与Dukes基于特征值的方法形成对比，提出了一种基于多项式因式分解的新型代数方法。

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.

研究动机与目标

• 确定Hadamard行走在循环图 $C_N$ 上呈现周期行为的精确循环尺寸集合 $N$。
• 解决关于周期性是否在已知情况 $N=2,4,8$ 之外仍成立的开放问题。
• 开发并应用一种基于路径计数与分圆多项式因式分解的新方法，以分析周期性。
• 提供证明：对于所有 $N \notin \{2,4,8\}$，有 $T_N = \bar{\text{infty}}$，从而确认在所有其他情况下均不具有周期性。

提出的方法

• 作者分析了Hadamard行走在 $C_N$ 上的演化算子 $U_N^{(s)}$ 的特征多项式 $\det(\lambda I_{2N} - U_N^{(s)})$。
• 他们将特征多项式分解为分圆多项式 $F_r(\lambda)$ 与一个额外多项式 $G(\lambda)$ 的乘积。
• 若因式分解中存在非分圆因子 $G(\lambda)$，则意味着不存在有限 $n$ 使得 $(U_N^{(s)})^n = I_{2N}$，因此 $T_N = \infty$。
• 对于奇数 $N$，他们证明了非分圆因子 $G(\lambda)$ 的存在性，从而排除了周期性。
• 对于 $N = 2^n \times M$ 且 $M$ 为奇数、$n \geq 1$ 的情况，他们将问题约化为奇数 $M$ 的情形，并将非周期性结果推广。
• 他们显式计算了 $N=16$ 的特征多项式，并证明其包含非分圆因子，从而确认 $T_{16} = \infty$，并进一步推广至 $N = 2^n$ 且 $n \geq 5$ 的情形。

实验结果

研究问题

• RQ1 对于哪些循环尺寸 $N$，$C_N$ 上的Hadamard行走具有周期性？
• RQ2 周期性是否在已知情况 $N=2,4,8$ 之外依然存在？
• RQ3 是否可以使用路径计数与分圆多项式因式分解而非特征值分析来判断周期性？
• RQ4 演化算子 $U_N^{(s)}$ 的特征多项式的代数结构在一般 $N$ 下是怎样的？
• RQ5 为何当 $N \notin \{2,4,8\}$ 时行走不具有周期性？何种代数不变量可揭示此失败的原因？

主要发现

• Hadamard行走仅在 $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 = 2^n$ 且 $n \geq 5$ 的情形，特征多项式包含非分圆因子，因此 $T_N = \infty$。
• 基于路径计数与分圆多项式因式分解的方法为周期性分析提供了一种新颖且代数上独立的途径，与基于特征值的方法有本质区别。