近期模拟量子模拟器上可高效验证的量子优势

现有的展示量子计算优势的方案受到多种实际限制，包括验证的困难性和实验实现的挑战。与此同时，模拟量子模拟器已在许多实验中实现，用于研究新物理。在这项工作中，我们提出了一种基于模拟量子模拟单步 Feynman-Kitaev 验证的量子优势协议，其中验证者只需运行 $O(\lambda^2)$ 时间的经典计算，证明者只需准备 $O(1)$ 个历史态样本并执行 $O(\lambda^2)$ 次单量子比特测量，安全参数为 $\lambda$。我们还为诚实的证明者提出了一种近期可行的策略，并讨论了潜在的实验实现。