[论文解读] One-dimensional discrete-time quantum walks on random environments

Norio Konno|arXiv (Cornell University)|Apr 2, 2009

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

一句话总结

本论文利用路径计数技术，建立了在一维随机环境中离散时间量子行走的 quenched 与 annealed 弱极限定理。它推导了行走者位置的极限分布，表明 quenched 极限依赖于局部环境参数 ω₀，而 annealed 极限则对 ω₀ 取平均，将对称 Hadamard 量子行走已知的极限分布推广至随机环境。

ABSTRACT

We consider discrete-time nearest-neighbor quantum walks on random environments in one dimension. Using the method based on a path counting, we present both quenched and annealed weak limit theorems for the quantum walk.

研究动机与目标

• 建立一维离散时间量子行走于随机环境下的首个严格弱极限定理。
• 分析在 quenched（条件于固定环境）与 annealed（对环境取平均）测度下，行走者位置分布的渐近行为。
• 将对称 Hadamard 量子行走的已知极限律推广至空间非均匀、随机酉矩阵的情形。
• 通过组合求和推导路径振幅的显式表达式，并将其与雅可比多项式关联，以实现渐近分析。

提出的方法

• 模型采用 i.i.d. 随机酉矩阵序列 $ U_x = \frac{1}{\sqrt{2}} \begin{bmatrix} e^{i\omega_x} & 1 \\ 1 & -e^{-i\omega_x} \end{bmatrix} $，其中 $ \omega_x \in \mathbb{R} $，定义局部动力学。
• 采用路径计数法计算行走者在 $ n = l + m $ 步后到达位置 $ x = -l + m $ 的振幅。
• Hadamard 量子行走的振幅 $ p_n^{(H)}(l,m) $ 与 $ q_n^{(H)}(l,m) $ 通过包含二项式系数与交错符号的求和表达。
• 这些求和被重写为雅可比多项式 $ P^{\nu,\mu}_{n}(x) $ 的形式，从而可通过超几何函数恒等式实现渐近分析。
• 在 $ n \to \infty $ 的极限下分析特征函数 $ E_n^\omega(e^{i\xi X_n/n}) $，导出弱极限定理。
• 通过将确定性 Hadamard 量子行走极限与正比于 $ \sin(\omega_0) $ 的扰动项结合，推导出 quenched 极限。

实验结果

研究问题

• RQ1 在一维随机环境中，离散时间量子行走者的位置渐近分布为何？
• RQ2 与标准 Hadamard 量子行走相比，随机环境的存在如何影响弱极限律？
• RQ3 能否通过路径计数与特殊函数显式表征 quenched 与 annealed 分布？
• RQ4 局部环境参数 $ \omega_0 $ 在塑造极限分布中起何作用？
• RQ5 在渐近 regime 下，具有特定左右步数的路径振幅如何与正交多项式关联？

主要发现

• 量子行走的 quenched 弱极限收敛于区间 $ [-1/\sqrt{2}, 1/\sqrt{2}] $ 上的概率密度，其形式为 $ \frac{1 - \sin(\omega_0)x}{\pi(1 - x^2)\sqrt{1 - 2x^2}} $。
• 通过在 $ \omega_0 $ 上取平均得到 annealed 弱极限，当 $ \omega_0 = 0 $ 时恢复标准 Hadamard 量子行走的极限。
• 路径振幅 $ p_n^{(H)}(l,m) $ 与 $ q_n^{(H)}(l,m) $ 可表示为雅可比多项式 $ P^{0,n-2l}_{l-1}(0) $ 与 $ P^{1,n-2l}_{l-1}(0) $，从而实现精确的渐近分析。
• 特征函数 $ E_n^\omega(e^{i\xi X_n/n}) $ 收敛于包含 $ \sin(\omega_0) $ 的积分，表明环境在标准密度上引入线性修正。
• 极限密度在 $ x = \pm 1/\sqrt{2} $ 处具有奇点，表现为反平方根奇点，与 Hadamard 量子行走类似，但受环境参数调制。
• 该方法成功将 Hadamard 量子行走的极限律推广至随机环境，为未来在无序介质中研究量子行走提供了严格的理论基础。