量子随机行走 - FreeLists.PDF

量子随机行走 Quantum Walk 理论、应用、实现与未决问题 吴 楠 南京大学计算机科学与技术系 2013 年6 月7 日 主 要 内 容  随机行走的数学模型  量子随机行走  用于量子搜索的量子随机行走  量子随机行走的物理实现  关于量子随机行走的未决问题 主要内容 2 随机行走的数学模型  随机行走（random walk ）过程如果被弱化 为离散空间（如在 −维格或者图 , ） 上的随机过程，则可近似为一个马尔可夫 过程，这种近似对一般数学分析和物理模 拟是足够的 随机行走的数学模型 3 随机行走的数学模型（续）  1,2 −维离散随机行走的模型较为简单，其 扩散行为的概率分布为离散高斯分布： 1 2 , = − /4 4  1,2 −维离散随机行走是“可返回原点”的 随机行走的数学模型 4 随机行走的数学模型（续）  Galton’s board 实验（1-d R.W.） 随机行走的数学模型 5 随机行走的数学模型（续） 随机行走的数学模型 6 随机行走的数学模型（续）  1,2 −维离散随机行走的模型较为简单，其 扩散行为的概率分布为离散高斯分布： 1 2 , = − /4 4  1,2 −维离散随机行走是“可返回原点”的 随机行走的数学模型 7 随机行走的数学模型（续）  3 −维及更高维的离散随机行走不能保证返 回原点 随机行走的数学模型 8 量子随机行走  研究动因：对某些具有Oracle的问题，量 子行走与经典算法相比具有指数级加速； 对另一类无结构搜索问题，量子随机行走 与经典算法相比具有多项式级加速；对其 它量子算法，量子随机行走均可等效实现 量子随机行走 9 量子随机行走（续）  例：图 上的搜索（到达EXIT的概率）  经典随机行走：≤ 2−  量子随机行走：≥ 2 + 1 −1 量子随机行走 10 量子随机行走（续）  主要方法：将经