量子操作是线性的，流动方程不是
量子门是线性且酉的，而支配湍流等流动问题的 Navier-Stokes 方程是非线性的。论文针对的正是这一错配：基于量子线性求解器的算法必须先把非线性偏微分方程改写为线性问题，才谈得上量子加速。
论文的路径是同伦分析。它不直接离散非线性方程，而是构造一串形变方程，从一个可解的线性猜测解出发（例如 Burgers 方程对应的线性扩散解），逐步把它形变到非线性解。每一项形变项都由前面的项算出，因此非线性是在构造嵌入时处理的，而不是在量子线路内部处理。
新增变量闭合系统且不引入截断误差
形变方程是递推的：第 M 项依赖前面各项的乘积，这通常会迫使我们再做一次近似。作者用维度扩张消除这种递推，为非线性乘积及其导数定义辅助变量。以 M = 4 的 Burgers 例子为例，提升后的状态包含 v1 到 v4，再加上 v5 = ū1²、v6 = ū1ū2 和 v7 = (∂xū1)²，以及已知的基础解 ū0 及其导数。
由于基础解被保留在提升状态中，原本会充当强迫项的那些项变成了来自基础解的线性耦合。结果是一个闭合的齐次线性系统 dv/dt = Av，不引入额外截断误差；作者将其与 Carleman 和 Koopman 嵌入对比，后者的这类截断是固有的。在 Ng 个网格点上离散后，M = 4 的 Burgers 算子维度为 8Ng，非零元个数为 O(Ng)。
有限差分驱动紧凑的时间推进线路
空间导数用中心有限差分替代，因此一阶导数块按 O(Δx⁻¹) 缩放，二阶导数块按 O(Δx⁻²) 缩放。时间推进采用显式 Euler，v_{j+1} = (I + ΔtA)v_j，或隐式 Euler，v_{j+1} = (I − ΔtA)⁻¹v_j。隐式格式对耗散线性部分无条件稳定，显式格式则受时间步长限制。
量子程序推进这个线性系统的方式，是把单步算子分解为若干酉算子的线性组合，再把该和提升到 τ 次幂展开，或用 log(τ) 个量子比特的倒计数寄存器把线路迭代 τ 次。隐式和一次性变体中的矩阵求逆用截断 Neumann 级数近似，其截断误差上界为 O(κ − 1)^{P_min}，所需项数为 P_min = O(log(1/ε_N)/log(1/(κ − 1)))。论文报告称，其复杂度估计在时间推进系统规模、模拟时间、精度参数和后选择参数方面优于已有方法。
类雷诺数限定可用的时间窗口
论文中最影响判断的量是 Re_H，一个同伦非线性参数，由基础解幅值、区域长度和导数算子范数之比构成，并在能分辨最小物理尺度的网格间距上取值。对一维 Burgers 流动，该尺度是黏性激波宽度，此时 Re_H 与普通雷诺数 Re 同阶。
关键在于，收敛并不要求 Re_H < 1。必须小于一的是累积的有限时间形变量，由此得到条件 Re_H < 2/(|ĥ|t*) 和非线性时间窗口 t_NS = (L/Ū)·2/(|ĥ|Re_H)。换算成有量纲形式，窗口大致按 Re⁻¹ 缩短。因此雷诺数更高并不会让方法立刻失效，而是缩短同伦截断被保证几何收敛的区间；在该条件成立期间，误差按 ρ̄_ĥ^{M+1}/(1 − ρ̄_ĥ) 下降。
基准算例覆盖三次反应与四阶刚性
论文用 Burgers、Fisher–KPP、阻尼 Kuramoto–Sivashinsky 以及实 Ginzburg–Landau/Allen–Cahn 方程对嵌入做了数值演示。这些算例合起来覆盖二次输运、三次非线性与饱和，以及四阶耗散刚性，因此演示并不局限于单一的非线性形式。
对实 Ginzburg–Landau/Allen–Cahn 情形，反应时间 t_H = 1/α 和界面长度 ℓ_H = √(ν/α) 定义出 Re_H^{RGL} = βU_H²/α，在归一化饱和幅值下为 O(1)。取 α = 2、ĥ = 0.25 时，估计的非线性时间为 t_NS ≈ 4，远超过最终模拟时间 T = 1.2，因此该基准落在可容许边界之内。末时刻均方误差随同伦阶数 M 近似指数衰减，在 M = 50 时同伦解在整个窗口内都跟随直接数值模拟。
精度、阶数与窗口相互制约
实际读法是一种三方权衡：在 ĥ 和无量纲时间 t* 固定时，提高同伦阶数 M 会让截断误差几何式下降，但只在 Re_H 低于 2/(|ĥ|t*) 时成立。把积分窗口拉长或把非线性推高，被保证收敛的区间就会结束，尽管 Re_H 本身可以大于一。
论文把这一定位为潜力，而非在硬件上已展示的优势：它给出稳定性、精度、门数和查询复杂度的界，并把该方法定位为适用于近期和容错设备的混合候选方案。数值证据是对嵌入的经典模拟，不是量子运行，因此复杂度主张依赖推导出的界，而非实测的量子性能。
因此论文确立的重点不是原始渐近加速，而是可容许区域的形状：一个由 Re_H 支配、依赖精度的有限时间窗口，同伦阶数则是在窗口内换取精度的旋钮。读者若要把它与基于 Carleman 的量子求解器比较，应比较这个窗口及其随 Re 的缩放，而不只是截断阶数。
本文引用的文献
Quantum Homotopy Algorithm for Solving Nonlinear PDEs and Flow Problems
基于同伦的嵌入把含时耗散非线性偏微分方程转化为闭合线性系统，可由紧凑的量子时间推进算法求解；一个类雷诺参数 Re_H 的倒数决定了给定精度和复杂度下可容许的积分窗口。