[论文解读] Absorption Probabilities for the Two-Barrier Quantum Walk

Eric Bach, Lev Borisov|arXiv (Cornell University)|Jan 27, 2009

Quantum Computing Algorithms and Architecture参考文献 3被引用 6

一句话总结

本文推导出有限整数格点上双屏障哈达玛量子行走吸收概率的显式闭式公式，解决了沃特罗斯关于 $ p_1^{(n)} $ 的线性分式递推关系的猜想。通过生成函数与留数计算，作者证明了 $ p_j^{(n)} = \frac{\sqrt{2}}{4} \frac{(A^{n-j} - B^{n-j})(A^{j-1} + B^{j-1})}{A^{n-1} + B^{n-1}} $，其中 $ A = 2 + \sqrt{2} $，$ B = 2 - \sqrt{2} $，表明内部起始点在左屏障处的吸收概率约为35.35%，与经典随机行走形成鲜明对比。

ABSTRACT

Let p_j^(n) be the probability that a Hadamard quantum walk, started at site j on the integer lattice {0,...,n}, is absorbed at 0. We give an explicit formula for p_j^(n). Our formula proves a conjecture of John Watrous, concerning an empirically observed linear fractional recurrence relation for the numbers p_1^(n).

研究动机与目标

• 推导哈达玛量子行走从站点 $ j $ 出发、在 $ \{0, \dots, n\} $ 上且在 0 和 $ n $ 处设有吸收屏障时，被 0 吸收的概率 $ p_j^{(n)} $ 的精确闭式表达式。
• 证明沃特罗斯的猜想：$ p_1^{(n)} $ 满足线性分式递推关系 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $。
• 解释吸收概率中观察到的数值模式，包括列与对角线上的线性分式递推关系，以及行上的线性递推关系。
• 展示当 $ n $ 很大时，从内部站点 $ j = \alpha n $ 出发的吸收概率收敛于 $ \frac{\sqrt{2}}{4} \approx 0.35355 $，凸显量子行走相比经典行走具有更均匀的空间分布。

提出的方法

• 作者采用路径计数生成函数方法，定义 $ f_j^{(n)}(z) $ 为从 $ j $ 到 0 的路径的生成函数，符号基于连续 'L' 移动（LL 块）的数量。
• 推导出递推关系：$ f_1^{(n)} = z \frac{1 - 2z f_1^{(n-1)}}{1 - z f_1^{(n-1)}} $ 与 $ f_j^{(n)} = f_{j-1}^{(n-1)}(f_1^{(n)} - 2z) $（$ j \geq 2 $），从而实现生成函数的递归计算。
• 通过复变围线积分计算吸收概率：$ p_j^{(n)} = \frac{1}{2\pi i} \int_{|z|=1/\sqrt{2}} |f_j^{(n)}(z)|^2 z^{-1} dz $，并利用留数理论进行求值。
• 关键步骤是将生成函数表示为有理函数 $ r_k(t) $ 的形式，并在 $ t = -1/2 $ 处计算留数，通过代入 $ r_k(-1/2) = \frac{A^k - B^k}{2^{k+1/2}} $ 得到最终公式。
• 采用基于留数近似并结合结式与判别式边界的数值方法，精确计算出 $ n=20 $ 以内的 $ p_j^{(n)} $ 的精确有理数值，确保精确性与高效性。
• 证明利用代数整数与伽罗瓦理论的性质，表明积分结果为有理数，且数值精度足以识别出精确值。

实验结果

研究问题

• RQ1 在双屏障哈达玛量子行走中，吸收概率 $ p_j^{(n)} $ 的精确闭式表达式是什么？
• RQ2 经验观察到的递推关系 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ 是否对所有 $ n \geq 2 $ 成立？若是，其原因是什么？
• RQ3 当 $ n \to \infty $ 时，吸收概率的行为如何，特别是对于内部起始点 $ j = \alpha n $ 时？
• RQ4 吸收概率表中列与对角线上的线性分式递推关系背后的组合或代数结构是什么？

主要发现

• 吸收概率的精确公式为 $ p_j^{(n)} = \frac{\sqrt{2}}{4} \frac{(A^{n-j} - B^{n-j})(A^{j-1} + B^{j-1})}{A^{n-1} + B^{n-1}} $，其中 $ A = 2 + \sqrt{2} $，$ B = 2 - \sqrt{2} $，对所有 $ n \geq 1 $，$ 1 \leq j \leq n $ 成立。
• 递推关系 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ 被严格证明对所有 $ n \geq 2 $ 成立，证实了沃特罗斯的猜想。
• 推导出极限 $ \lim_{n \to \infty} p_1^{(n)} = \frac{1}{\sqrt{2}} \approx 0.7071 $，表明在左屏障处被吸收的概率趋近于 $ 1/\sqrt{2} $。
• 对于内部起始点 $ j = \alpha n $，在 0 处的吸收概率收敛于 $ \frac{\sqrt{2}}{4} \approx 0.35355 $，表明其空间分布比经典随机行走更均匀。
• 吸收概率在行上满足线性递推关系：对所有 $ 1 \leq j \leq n-3 $，有 $ p_j^{(n)} - 7p_{j+1}^{(n)} + 7p_{j+2}^{(n)} - p_{j+3}^{(n)} = 0 $。
• 基于结式与判别式边界的留数近似数值方法，可精确高效地计算出 $ n=20 $ 以内的 $ p_j^{(n)} $ 的精确有理数值。