量子行走（quantum walk）是随机行走的量子化：叠加态上的相干行走靠干涉把经典扩散式的 展程变成弹道式的 展程——这是搜索与输运类问题二次加速的通用机制。对 CFD，行走的地位特殊而具体：平移算子本身就是酉，格点上的受控平移正是 LBM streaming 步的幺正版；波动方程与 Dirac 型算子的离散化天然落在行走框架里。量子行走因此既是”格子方法量子化”的语法，也是平移主导方程的模拟器。
离散时间量子行走
离散时间带币行走（coined walk）生活在位置 ⊗ 币的 Hilbert 空间，一步 = 币翻转 + 条件平移：
为单格点上的币旋转（如 Hadamard）。从 出发， 步后的分布是双峰弹道型——与经典二项分布的中心峰相反，差异全部来自路径间的相消干涉。Szegedy 的对应构造（对任意马尔可夫链的幅值放大式行走）把经典混合时间平方级压低，是行走加速 Markov 链与量子搜索的模板（亦见quantum-mcmc）。
连续时间行走与 Childs 图行走
连续时间量子行走解 ， 为图 Laplacian——即”图上自由粒子的薛定谔方程”。Childs 等的系列工作确立了两个事实：其行走传播子在格点上的连续极限是 Dirac 方程的离散化（行走 = 相对论性输运的格式）；仅凭图上行走的散射即可实现通用量子计算——行走作为计算原语的普遍性。因此”行走进 PDE”不只是类比：任何能写成自由/近自由输运的算子，都能以行走步为基本门离散模拟，模拟误差与格距的关系由对应格式（迎风/交错）决定。通用哈密顿顿模拟（见hamiltonian-simulation）可视为这一思想的 QSP 极限。
行走进平移与对流：LBM streaming 的幺正版
一维平移算子 是严格酉的——常系数对流方程 的解算子 就是平移，Fourier 域中演化为对角相位 。这正是量子 LBM 中 streaming 步可精确幺正实现的原因（见qlbm-streaming-circuit、quantum-lbm-overview）：每个离散速度方向一个受控平移，多方向并行叠加。结构性矛盾在碰撞步——非线性碰撞不是酉运算，需要 Carleman/线性求解等处理（见carleman-qlbm、quantum-lbm-overview）。迎风格式对间断稳定但带数值耗散（非酉），其量子化要走 Schrödinger 化通道（见schrodingerization、quantum-advection-equation）。
波动方程
波动方程 化为一阶系统后算子自伴，是哈密顿顿模拟的天然客户。Costa–Love–Santos（PRL 2019）给出 维波动方程的量子算法：把波场两分量编码进量子态、以离散 Hamiltonian 模拟实现传播（NISQ 版实现与真机验证见quantum-wave-equation的转述Liu & Lopes 2024 (arXiv)）。与行走视角的连接：交错网格上波动传播子的离散化即无币（或币可消去）的行走——波速是行走的群速度，双曲方程的有限传播速度与行走的弹道展程是同一件事。
搜索与输运加速的一般原理
行走加速的公共机制值得单独陈述：经典马尔可夫过程的混合靠随机性抹平初始信息，步数 谱隙倒数；量子行走的相干演化让本征相位差转化为可检测的干涉，命中时间/混合时间平方级缩短。Grover 搜索是其在完全图上的特例（）。对 CFD 的启示集中在两类任务：系综采样（湍流统计、UQ 的 MCMC 加速，见quantum-mcmc、quantum-amplitude-estimation）与平移主导的输运算符（streaming、粒子追踪）；而对非线性碰撞动力学，行走本身不提供绕过酉性约束的出口。