量子 Hamiltonian 模拟问题

$H$ 描述瞬时变化，$e^{-iHt}$ 描述经历时间 $t$ 后的整体演化。量子模拟并不要求把这个 $N\times N$ 矩阵的全部条目经典打印出来，而是让未知量子态受到相同作用。

维数可能指数大，但只有当 $H$ 具有可用的局部结构或高效访问接口时，电路才可能比逐项处理整个矩阵更省。把一个庞大数据表藏在“调用一次H”里，会把真正昂贵的输入工作从账本中删掉。

一个可直接复算的模拟：H等于X加Z ​

令

由Pauli 代数公理库Pauli 算子与 Pauli 群Pauli operator · Pauli group · Pauli string · 泡利算子 · 泡利群保留整体相位的 Pauli 张量积群，以二进制标签计算乘法、Hermitian 条件和对易符号。的 $X^2=Z^2=I$ 及 $XZ+ZX=0$，有 $H^2=2I$，所以

这条小矩阵恒等式只是用来检验电路，不是把一般量子模拟改成经典矩阵指数计算。

把复振幅视作实部与虚部组成的 $2N$ 维实向量，Schrödinger 方程就是常系数线性 ODE，其两个子流为相应酉演化。取整数 $r\ge 1$、$\mathrm{\Delta }=t/r$，调用已有Lie–Trotter分裂公理库Lie–Trotter 与 Strang 分裂Lie-Trotter splitting · Strang splitting把可解子流按一阶或对称二阶次序复合，用非交换误差解释分裂的精度与结构保持。：

每片在时间上先执行 $X$ 演化，再执行 $Z$ 演化；矩阵乘法右侧先作用。两门分别是 $R_X(2\mathrm{\Delta })$、$R_Z(2\mathrm{\Delta })$，因此调用局部演化恰为 $2r$ 次。

对Hermitian两项，Duhamel积分中的演化均为酉，范数为1，单片误差可界为

再对 $r$ 个酉片逐项替换，得到

这里沿用分裂方法的基本机制，只利用酉性把增长因子去掉；一般多项、高阶公式的对易子分析见文献 [2]。

数值误差与理论保证不是同一个数 ​

当 $t=1$ 时，直接用式 (2) 计算可得：

上界不是实际误差的等式。交换片内两门次序会改变近似电路；二者都收敛到同一目标，但有限 $r$ 时不能直接认为矩阵相同。

如果要求总误差不超过 $\epsilon$，可先给分裂分配 $\epsilon /2$，选择 $r\ge 2t^2/\epsilon$。若每个局部旋转又只有误差 $\eta$，逐门替换额外带来至多 $2r\eta$；选 $\eta \le \epsilon /(4r)$ 才完成这份预算。固定门集合成公理库固定门集近似与测量误差预算Finite gate approximation · Quantum gate synthesis error budget从单qubit旋转的算子误差推到任意参考系统上的测量总变差，逐门分配合成预算，并处理受控门中的相对相位。的实际门数需按该精度再计，不能把任意实角旋转永久当作精确免费门。

一个模拟保证对应哪些可观察结果 ​

式 (1) 使任意输入的输出纯态向量差至多 $\epsilon$，进而迹距离至多 $\epsilon$；混合输入和带参考输入可通过纯化公理库量子态纯化Quantum state purification · Purification of a quantum state量子态纯化将一个混态表示成较大系统中纯态的约化态，最小辅助空间维数等于原态的秩。得到同一测量分布保证。因此一个具体测量事件的概率差至多 $\epsilon$。

这不意味着一次运行能知道全部振幅。若最终需要某个可观察量的平均值，还要准备多份输入、重复模拟和测量；这些采样次数与模拟一次的门成本分别报告。Hadamard测试公理库Hadamard 测试Hadamard test逐振幅推导受控酉期望值的实部和虚部读出，固定S逆门的相位约定，并给出样本数、输入制备和黑盒控制访问的完整成本。给出一个具体的期望值读出接口。

时间、尺度和黑盒幂都要计费 ​

对常数 $c>0$，$(cH,t/c)$ 给同一演化，所以自然参数包含 $\Vert H\Vert |t|$，或某种访问构造的更大归一化尺度。稀疏度 $d$、条目位宽和目标精度也会影响查询与门数。

相位估计公理库量子相位估计Quantum phase estimation · QPE用受控酉幂将特征相位写入控制寄存器，再以逆 Fourier 变换读出，推导精确情形、有限概率分布与实际查询成本。若使用 $U=e^{-iH\tau }$，其 $U^{2^j}$ 对应时间 $2^j\tau$，不是因为写成一个幂就只算一次基本模拟。若接口真的额外提供高次幂，应把它列为更强的输入承诺。

一般黑盒Hamiltonian不能任意快进。不可快进定理公理库量子模拟的不可快进定理No-fast-forwarding theorem以范数一的加权路径Hamiltonian把隐藏输入奇偶传播到终点，证明每次稀疏访问只需常数次bit查询，从而得到最坏情形线性时间查询下界。用范数有界的稀疏实例把输入奇偶编码到长时间传播中，证明最坏情形需要与时间成比例的查询。它不排除像已知对角矩阵这样的特殊易模拟族。