[论文解读] Limit theorems and absorption problems for quantum random walks in one dimension

Norio Konno|ArXiv.org|Oct 2, 2002

Quantum Computing Algorithms and Architecture参考文献 29被引用 4

一句话总结

本文使用一种新颖的PQRS组合方法，建立了两类一维量子随机游走（QRWs）——G型（Gudder）与A型（Ambainis等）——的极限定理与吸收概率。研究揭示了其在极限分布、对称性及吸收概率方面的显著差异，表明A型QRW对原点的吸收概率高于G型，且通过谱分析与母函数方法，为有限与无限系统精确推导出边界值。

ABSTRACT

In this paper we consider limit theorems, symmetry of distribution, and absorption problems for two types of one-dimensional quantum random walks determined by 2 times 2 unitary matrices using our PQRS method. The one type was introduced by Gudder in 1988, and the other type was studied intensively by Ambainis et al. in 2001. The difference between both types of quantum random walks is also clarified.

研究动机与目标

• 阐明G型与A型一维量子随机游走在行为上的基本差异。
• 使用组合PQRS方法推导两类QRW的极限定理，避免使用傅里叶分析。
• 分析有限与无限系统中两类QRW的吸收概率与首次 hitting 时间矩。
• 利用母函数与谱方法，提供吸收概率与条件矩的精确表达式。

提出的方法

• PQRS方法将时间演化分解为作用于左、右手性态的算子P与Q，其中P与Q由酉矩阵U定义。
• 振幅演化建模为 |Ψ_{j,k}(n+1)⟩ = P_j |Ψ_{j,k+1}(n)⟩ + Q_j |Ψ_{j,k-1}(n)⟩，其中A型与G型QRW的P与Q矩阵不同。
• 利用母函数与边界条件，推导有限系统中概率母函数 p_k^{(N)}(z) 与 r_k^{(N)}(z) 的表达式。
• 通过谱分析与围道积分，利用单位圆上的积分计算吸收概率：P^{(N)}_{j,k}(φ) = ∫ |⋯|² dθ / (2π)。
• 该方法使吸收概率与矩的精确计算成为可能，其表达式涉及贝塞尔函数及特征方程的根。
• 对于Hadamard漫步（U = H），在N ≥ 2时推导出显式公式，包括 r_1^{(N)}(z) 的闭式表达式，其形式为类贝塞尔函数的和。

实验结果

研究问题

• RQ1 在一维情况下，A型与G型量子随机游走的极限分布有何不同？
• RQ2 每类QRW的概率分布具有何种对称性结构？
• RQ3 在有限与无限系统中，两类QRW对原点的精确吸收概率是多少？
• RQ4 在最终被吸收的条件下，首次 hitting 时间的矩如何表现？
• RQ5 PQRS方法与QRW演化谱性质之间的确切关系为何？

主要发现

• 在无限系统中，从k=1出发对原点的吸收概率满足 (4−π)/π ≤ P_{j,1}^{(∞)}(φ) ≤ 1，适用于A型与G型QRW。
• 从k=1出发，首次 hitting 时间到0的条件一阶矩为 E_{j,1}^{(∞)}(T_0|T_0<∞) = 1 / P_{j,1}^{(∞)}(φ)，且当m≥2时高阶矩发散。
• 在有限系统中，当N≥2时，吸收概率 P^{(N)}_{A,1}(φ) 表示为α, β的二次型，其系数包含 ∫ |r_1^{(N)}(e^{iθ})|² dθ / (2π)，明确显示出对初始态的依赖性。
• 对于初始态为|R⟩的Hadamard漫步，P^{(N)}_{A,1}(|R⟩) 在N=2,…,6时满足式(4.6)中的猜想。
• 推导出 r_1^{(N)}(z) 的显式公式，包括 r_1^{(2)}(z)=0，r_1^{(3)}(z)=z³/(2−z²)，以及当N≥4时，r_1^{(N)}(z) = −z² J_{N-3}(z) J_{N-4}(z) / [√2 (J_{N-3}(z))² − z J_{N-3}(z) J_{N-4}(z) − √2 (−1)^{N-3}]。
• G型QRW在k=1处的吸收概率为 P^{(N)}_{G,1}(φ) = |α|² + (∫ |r_1^{(N)}(e^{iθ})|² dθ / 2π) |β|²，表明其对初始态的依赖性较A型更简单。