[论文解读] On the support of the Grover walk on higher-dimensional lattices

Norio Konno, Sarato Takahashi|arXiv (Cornell University)|Jan 28, 2020

Quantum chaos and dynamical systems参考文献 8被引用 4

一句话总结

该论文通过求解满足 $|\lambda|=1$ 的特征值问题 $U_G\Psi = \lambda\Psi$，确定了在 $d$ 维格点上 Grover 量子行走的平稳测度的最小有界支撑大小。对于移动移位情形，最小支撑为 $2^d$ 个点；对于翻转-翻转移位情形，当 $d \geq 2$ 时最小支撑为 4 个点，而在 1D 情况下不存在有限支撑。结果通过谱方法与代数方法对先前工作进行了改进。

ABSTRACT

This paper presents the minimum supports of states for stationary measures of the Grover walk on the d-dimensional lattice by solving the corresponding eigenvalue problem. The numbers of the minimum supports for moving and flip-flop shifts are 2^d (d ge 1) and 4 (d ge 2), respectively.

研究动机与目标

• 确定 Grover 量子走在 $\mathbb{Z}^d$ 上的平稳测度所能支持的最小格点数量。
• 通过特征值分析解决并改进先前关于支撑大小结果的不一致之处。
• 证明在 1D 情况下，采用移动移位的 Grover 量子行走不存在有限支撑。
• 通过直接求解特征值问题，统一并验证谱映射与傅里叶分析所得结果。

提出的方法

• 求解满足 $|\lambda|=1$ 的特征值问题 $U_G\Psi = \lambda\Psi$，以识别平稳振幅。
• 利用 Grover 量子比特矩阵 $G$ 定义 $\mathbb{Z}^d$ 上的时间演化算符 $U_G$。
• 应用投影算符 $P_{2i-1}, P_{2i}$ 将酉演化分解为方向性移位。
• 应用谱映射定理与代数约束，推导支撑大小的上下界。
• 为 $d=2$ 和 $d \geq 3$ 构造具有最小支撑的显式平稳态。
• 通过检查振幅配置在时间演化下的不变性，验证支撑大小在行走演化下保持不变。

实验结果

研究问题

• RQ1 在 $\mathbb{Z}^d$ 上采用移动移位的 Grover 量子行走中，能支持平稳测度的最小格点数量是多少？
• RQ2 在 $\mathbb{Z}^d$ 上采用翻转-翻转移位的 Grover 量子行走中，能支持平稳测度的最小格点数量是多少？
• RQ3 在 1D 情况下，采用移动移位的 Grover 量子行走是否存在有限支撑的平稳测度？
• RQ4 与先前基于傅里叶分析和谱映射的方法相比，本研究结果如何？

主要发现

• 对于 $\mathbb{Z}^d$ 上采用移动移位的 Grover 量子行走（$d \geq 1$），最小支撑大小为 $2^d$。
• 对于 $\mathbb{Z}^d$ 上采用翻转-翻转移位的 Grover 量子行走（$d \geq 2$），最小支撑大小为 4。
• 通过特征值系统中的反证法，证明了在 1D 情况下采用移动移位的 Grover 量子行走不存在有限支撑。
• 在翻转-翻转移位下，为 $d \geq 2$ 显式构造了恰好包含 4 个非零项的平稳态。
• $d=2$ 和 $d \geq 3$ 的结果与 Stefanak 等人及 Higuchi 等人的先前结果一致，并对其进行了推广。
• 通过构造满足 $\#(S(\Psi^{(\lambda)}_\star)) = 4$ 的 $\Psi^{(\lambda)}_\star$，证实了翻转-翻转移位情形下该边界的紧致性。