[论文解读] Symmetry of distribution for the one-dimensional Hadamard walk

Norio Konno, Takao Namiki+1 more|ArXiv.org|May 13, 2002

Quantum Computing Algorithms and Architecture参考文献 28被引用 5

一句话总结

本文研究了一维Hadamard量子随机游走的概率分布的对称性特性，这是一种由Hadamard矩阵驱动的离散时间量子随机游走。通过在振幅态上使用转移矩阵形式，并利用P和Q算子分析路径分解，作者推导出振幅分布的精确表达式，并证明在特定初始条件下，该分布表现出反射对称性，其关键结果为：对所有l, m，有rₙ(l,m) = sₙ(l,m)，这意味着概率分布是对称的。

ABSTRACT

In this paper we study a one-dimensional quantum random walk with the Hadamard transformation which is often called the Hadamard walk. We construct the Hadamard walk using a transition matrix on probability amplitude and give some results on symmetry of probability distributions for the Hadamard walk.

研究动机与目标

• 分析一维Hadamard量子随机游走中概率分布的对称性特性。
• 理解由Hadamard矩阵控制的幺正演化如何在位置空间中产生结构化、对称的分布。
• 推导出在任意时间步长下，游走态向量振幅系数的精确解析表达式。
• 建立当初始态对称时，振幅分布关于空间反射对称的结论。

提出的方法

• 在大小为(2N+1)的有限格点上，使用单位化转移矩阵H̄ₙ对位置-自旋振幅态建模Hadamard游走。
• 定义非幺正投影算子P和Q，将Hadamard演化分解为左行和右行分量。
• 通过将路径分解为交替的P和Q块序列，以γ（块数）和w = (w₁,…,w₂ᵧ)（块大小）为参数，分析n步演化。
• 利用有效块序列上的组合求和，推导出右行路径和左行路径的振幅系数C(r,w)ₙ⁽²ᵞ⁾(l,m)和C(s,w)ₙ⁽²ᵞ⁾(l,m)。
• 使用生成函数和二项式系数恒等式简化对γ的求和，从而得到总振幅rₙ(l,m)和sₙ(l,m)的闭式表达式。
• 证明对所有l, m，有rₙ(l,m) = sₙ(l,m)，这意味着概率分布关于原点对称。

实验结果

研究问题

• RQ1 在一维Hadamard量子随机游走中，当初始条件对称时，其概率分布是否表现出空间对称性？
• RQ2 在时间n时，游走的位置和自旋态的振幅系数的精确解析形式是什么？
• RQ3 P和Q块的路径分解方式以及块数如何影响振幅分布？
• RQ4 能否通过振幅层面的分析而非数值模拟，严格证明分布的对称性？
• RQ5 在位置l和m处结束的路径的振幅系数rₙ(l,m)和sₙ(l,m)之间存在何种关系？

主要发现

• Hadamard游走的振幅系数对所有l, m ≥ 0满足rₙ(l,m) = sₙ(l,m)，证明了概率分布关于原点对称。
• 精确振幅表达式为rₙ(l,m) = (1/√2)ⁿ⁻¹ (−1)ᵐ ∑_{γ=1}^{l∧m} (−1)ᵞ (l−1 choose γ−1)(m−1 choose γ−1)，适用于l, m ≥ 1。
• 当l∧m = 0（即l或m中有一个为零）时，振幅rₙ(l,m) = 0，表明在路径类型不平衡的位置无振幅。
• 弱极限分布的m阶矩为E((Z^φ)^{2n}) = 1 − (1/√2) ∑_{k=0}^{n−1} (1/8ᵏ) (2k choose k)，其中E((Z^φ)²) = (2−√2)/2。
• 推导结果表明，振幅分布关于空间反射不变，这是P和Q序列路径对称性的直接结果。
• 只要初始自旋态φ在原点处局域化，该结果与初始自旋态无关，其成立依赖于游走的幺正结构以及P和Q算子的正交性。