把一枚硬币正面朝上抛出去，它落地时大约一半正一半反。把一个粒子沿着一条直线撒出去，它会随时间向两侧均匀扩散——这是 19 世纪物理学家早就熟悉的随机行走。
但如果换一种规则：粒子在每一个格点上都「同时向左和向右走一步」，并把这两条路径的振幅加在一起，那么它在格点上呈现的概率分布会出现一种奇怪的「双肩包络」，同时在原点的概率密度随时间持续起伏，永远到不了经典随机行走那种平滑的高斯钟形。这就是量子行走——一种把量子叠加直接写进粒子位移规则的行走方式，最近十年从纯理论走进了囚禁离子阵列、超导线路、激光冷却原子点阵甚至光子芯片。
一、从抛硬币到抛量子位
经典随机行走的每一步都掷一枚硬币，硬币说向左，粒子就向左，说向右，粒子就向右。N 步之后，粒子到达某个格点的概率遵循二项分布，扩散宽度按根号 N 增长——这是所有扩散现象最朴素的数学原型。
量子行走把「硬币」换成了一个量子位。量子位可以同时处在「向左」和「向右」的叠加态，这种叠加不是概率的混合，而是相位可以互相叠加的振幅。粒子每走一步，都要先把硬币「翻」一下——也就是对这个量子位做一次酉变换——然后根据硬币的两种结果同时向左、向右移动。两条路径的振幅在下一个格点相遇，根据它们相位是否同相，决定该格点的概率密度被加强还是被抵消。
区别在第二步就显现出来。经典粒子每一步互相独立，走过的格点集合可以理解为一棵二叉树的不同分支；而量子粒子的两条分支在下一个格点重新合并，发生干涉。结果是某些格点的概率被压制，某些格点被放大，整个分布的形状从钟形变成两侧鼓起、中间凹陷的「双峰」。
二、为什么「概率」不再像概率
在经典行走里，N 步之后粒子出现在距离原点 x 的格点的概率是一个钟形曲线，峰值在原点，宽度随根号 N 变宽。量子行走的概率分布则呈现两个对称的鼓包，鼓包的距离原点大约按 N 线性增长——也就是说，量子粒子在同样多步之后，能「走得更远」。
这并不是说量子粒子比经典粒子快，而是它的扩散定律换了。在经典世界，「平均走了多远」和「标准差」都由根号 N 决定；而在量子行走里，「平均走了多远」按 N 增长，标准差同样按 N 增长。一个走在格点上的量子粒子并不按经典的高斯钟形散开，而是更快地「逃逸」到格子的两端。
更微妙的是，原点处的概率密度并不随时间衰减到零，而是持续以周期性的方式上下起伏。这是因为一部分路径始终在原点两侧反复返回，而它们的相位叠加后并不彼此抵消。这种「原地驻留」是经典行走完全看不到的现象，也是量子干涉在位移层面的直接表现。
三、离散行走和连续行走的两种物理
目前主流的量子行走实验分成两大流派。
一派是离散时间量子行走。粒子每一步都要先和「硬币态」做一次交互，再用硬币的结果决定位移。这套体系最早在 1990 年代被理论提出，本质上是一台每走一步都被推一下的量子机器。它对硬件的要求是「每一步都能精确执行一个两位门操作」，因此天然适合囚禁离子阵列和低温超导线路——这两种平台恰好都擅长把若干量子单元串成一条一维链。
另一派是连续时间量子行走。它没有显式的硬币步骤，粒子在图上每个顶点之间都被允许同时跳跃，跳跃的速率由图的邻接矩阵直接给出。这种走法的数学描述更接近一张图上扩散方程的量子版本，而在实验上更容易用光子的波导阵列实现——每个波导代表一个顶点，光子在波导之间隧穿就是一步跳跃。2010 年代以来，波导型连续行走实验已经能在几十个顶点的小型图上展示出明显的双峰分布和图结构依赖的扩散。
四、格子的形状如何改写扩散结果
把行走画在一维直线上，分布是最经典的双峰。如果把直线换成二维方格，粒子每一步可以朝上下左右四个方向走，硬币也随之换成有四种结果的量子位，那么扩散图案会出现一种几乎完美的圆形对称——意味着在二维均匀格子上，「远近」的概念是各向同性的。
换成三角格、六角格、或者有缺陷的图，扩散就不再是圆。某些顶点缺一条边，就足以让某些方向上的概率密度高于其他方向。理论家利用这一点设计出特殊的图，让量子行走的高概率区域沿着特定的路径汇聚——这正是后来「基于行走的搜索算法」最爱的工具。
还有一类特殊的「光子行走」实验，光子在芯片上由波导阵列组成的人字形或蛛网形路径中传播，每经过一个耦合点就分裂一次再合一次。研究者用这种结构演示过拓扑保护的边界态——粒子沿着图边界上的特殊模式循环行走，对图内部的缺陷免疫。这件事在 2018 年前后成为把「量子行走」和「拓扑量子态」这两个原本独立的小圈子连在一起的桥梁。
五、当搜索算法借用行走
经典算法在图上做搜索，往往要在每个顶点多看几次才能确认某个目标在哪里。而量子搜索的核心想法是让振幅在每一步都「向目标方向倾斜」，干涉后让目标顶点被放大、其他顶点被压制。沿着这个思路，量子行走恰好是构造这种振幅倾斜的最自然工具。
具体到实现上，研究者把搜索目标当作图上的一个或几个特殊顶点，在这些顶点上对硬币做一个特殊的相位翻转操作，让走过它们的路径相位和别的路径不同。经过大约根号 N 步后，目标顶点的概率密度从 1/N 跃升到接近 1，——这正是经典搜索算法需要 N 步才能达到的结果的平方根加速。
这种思路不止适用于一维格点。在某些特殊结构的图（如超立方体、分形图、稀疏无标度网络）上，行走型搜索的步数可以做到与图的顶点数呈多项式关系，在某些极端情况下甚至能超过 Grover 类通用搜索给出的理论上限。这一类结果让「量子行走」在算法论文里频繁出现，但同时也带来一个现实问题：把这么复杂的图映射到物理硬件，需要的量子位数量和线路深度仍超出当前主流设备的能力。
六、它还模拟了别的物理
量子行走并不只是一个算法工具，它本身就是一个可以被调控的量子系统——这意味着它可以用来模拟其他更复杂的量子多体问题。把行走画在二维方格上，硬掷币规则做特定设计，等价于一个无相互作用的费米子在方格上的自由传播；把硬币改成多步耦合，等价于引入特定的相互作用。
利用这种等价性，研究者已经在小规模光子和囚禁离子系统上演示过：拓扑绝缘体的边界态、量子霍尔系统的边缘模、甚至某些难以在固体里直接构造的合成规范场。它们的优势是「走路的过程」每一步都对应物理上一段真实的演化，研究者可以像看慢动作回放一样观察中间步骤。
这种「用走模拟物理」的特点，意味着量子行走系统可以被当成一台模拟器，但它的读出同样面临量子系统共有的统计采样代价——我们看到的每一张漂亮的双峰分布图，背后都是几千次重复实验数据的统计平均。
一种会自己「分散」的量子规则
把经典规则换成量子规则，连最朴素的「抛硬币 + 走一步」都会变成完全不同的扩散行为。它展示了量子力学最让人意外的一面：单独看每条路径都只是普通位移，把所有路径叠在一起，却能让粒子更快、更远、也更整齐地走向格子两端。
这种「用规则本身制造干涉」的方法之所以重要，是因为它把量子计算的几个核心子领域——叠加、相位干涉、图结构搜索——压缩进了一个相当简单的原型。理解量子行走，比理解 Shor 算法或 Grover 算法的全貌要容易得多，但它携带的概念密度又足以承接后续更复杂的量子算法与模拟实验。
接下来几年，随着囚禁离子线路深度增加、光子芯片上波导节点密度提升，量子行走很可能从「教科书上的例子」变成「真实硬件上的常驻工具」。它带来的不仅是搜索速度的提升，还包括一种新的看待「扩散」的方式——一种让规则本身就是干涉源的扩散。