[论文解读] Quantum Random Walks Hit Exponentially Faster

Julia Kempe|ArXiv.org|May 14, 2002

Quantum Computing Algorithms and Architecture参考文献 19被引用 98

一句话总结

本文提出了离散量子随机游走中量子首次 hitting 时间的两个新定义，证明在 $n$-比特超立方体上，从一个角到其对角的 hitting 时间为 $n$ 的多项式时间，与经典情况下的指数时间形成鲜明对比。这首次建立了 hitting 时间上的分析性指数级量子-经典差距，使得即使在次指数噪声下，也能实现高成功率的鲁棒量子路由协议。

ABSTRACT

We show that the hitting time of the discrete time quantum random walk on the n-bit hypercube from one corner to its opposite is polynomial in n. This gives the first exponential quantum-classical gap in the hitting time of discrete quantum random walks. We provide the framework for quantum hitting time and give two alternative definitions to set the ground for its study on general graphs. We then give an application to random routing.

研究动机与目标

• 为离散量子随机游走定义并形式化量子 hitting 时间，解决测量引起的退相干挑战。
• 建立分析一般图上 hitting 时间的理论框架，与经典混合时间分析相区分。
• 展示在 $n$-比特超立方体上，量子游走相比经典随机游走实现 hitting 时间的指数加速。
• 开发一种实际应用——量子随机路由，展示其对噪声和部分网络故障的鲁棒性。
• 研究在对抗性边或节点故障下，量子 hitting 时间的鲁棒性，并界定多项式 hitting 行为持续存在的邻域范围。

提出的方法

• 提出两种量子 hitting 时间的定义：一次性 $p$ hitting 时间（在固定时间 $T$ 测量）和并发 $p$ hitting 时间（每一步进行部分测量）。
• 使用 $d$-维的 coin 操作算子 $C_d$ 分析 $n$-比特超立方体上的量子随机游走，时间演化由 $T = d \cdot \pi/2$ 步决定。
• 采用振幅传播论证：在时间 $T = \pi n/2$ 时，振幅集中在目标态 $|\overline{x}\rangle$，而汉明距离为 $k$ 的节点上振幅为 $O(1/n^k)$。
• 利用量子干涉和相位相消实现快速传播与目标定位，与经典随机游走的扩散式传播形成对比。
• 将量子游走限制在维度为 $d = d_H(x,y)$ 的子立方体上，仅关注相关比特位置以降低复杂度。
• 实施一种测量策略，在保持量子相干性的同时实现对目标到达的检测，从而实现概率性但高效的路由。

实验结果

研究问题

• RQ1 量子随机游走能否在结构化图上实现相比经典随机游走的指数级更快 hitting 时间？
• RQ2 当测量导致态坍缩时，如何为量子游走定义一个物理上有意义的 hitting 时间？
• RQ3 在子指数数量的边或节点故障下，量子 hitting 时间的鲁棒性如何？
• RQ4 初始与最终位置的选择如何影响 hitting 时间？多项式 hitting 时间的邻域范围有多大？
• RQ5 能否利用量子 hitting 时间实现具有抗噪声能力的实际网络路由协议？

主要发现

• 在 $n$-比特超立方体上，从一个角到其对角的量子 hitting 时间为 $n$ 的多项式时间，具体为 $O(n)$，而经典 hitting 时间为指数时间。
• 对于一次性 hitting 时间，当时间 $T = \pi n/2$ 时，测量到目标态 $|\overline{x}\rangle$ 的概率接近 1，且振幅在更早时间已分布于邻居节点。
• 对于并发测量模型，经过 $T$ 步后检测到目标的失败概率为 $\Omega(1/(n \log^2 n))$，可通过 $O(n \log^2 n)$ 次重试提升至接近 1。
• 当 $d = \Omega(n)$ 时，即使有次指数数量的边或节点被删除或故障，量子路由协议的成功概率仍为 $1 - O(\log^3 d / d)$。
• 协议对中间节点的部分测量具有鲁棒性，因为任一单个节点拦截的概率极低，这是由于振幅分布的对称性。
• 该框架首次在图上离散量子随机游走中建立了完全分析性的指数级量子-经典 hitting 时间差距。