Simple and efficient end-to-end quantum thermal and ground state preparation

问题陈述

量子热态和基态的制备是模拟多体物理、化学和材料科学在量子计算机上的基本前提。现有的方法在简洁性、效率、通用性和严谨性之间面临着持久的权衡。变分算法需要参数调优；绝热方法可能速度较慢；而高阶耗散算法（例如基于 Lindblad 动力学的算法）通常需要复杂的电路结构，包括受控或时间反向的哈密顿演化以及大量的辅助比特。这些复杂性使其难以在早期容错量子设备上实现。相反，简化的协议往往缺乏关于混合时间或固定点精度的严格理论保证。目标是开发一种既足够简单以适应早期硬件，又能在物理相关哈密顿量上具有严格端到端性能保证的算法。

方法论

作者提出了一种随机系统-浴相互作用方案，该方案仅需要系统-浴哈密顿量下的前向时间演化以及单个可重复使用的辅助比特。该协议运行如下：

1. 哈密顿量设置： 总哈密顿量定义为 $H_\alpha(t) = H + H_E + \alpha f(t) (A_S \otimes B_E + A_S^\dagger \otimes B_E^\dagger)$，其中 $H$ 是系统哈密顿量，$H_E = -\omega Z/2$ 是依赖于随机频率 $\omega$ 的浴哈密顿量，$A_S$ 是从集合 $\mathcal{A}$ 中随机选择的耦合算符。
2. 浴初始化： 辅助比特（浴）被初始化为状态 $\rho_E \propto \exp(-\beta H_E)$。对于基态制备（$\beta = \infty$），浴被初始化为 $|0\rangle\langle 0|$。
3. 相互作用与演化： 在每次迭代中，从预设的分布中采样一个耦合算符 $A_S$ 和一个频率 $\omega$。系统和浴在随时间变化的哈密顿量 $H_\alpha(t)$ 下进行前向演化，其中 $f(t)$ 是一个平滑的时间包络（选择为高斯函数）。
4. 迹运算与重置： 辅助比特被求迹并重置为 $\rho_E$。这一过程定义了一个作用在系统上的量子通道 $\Phi$。
5. 迭代： 迭代量子通道 $\Phi$，共进行 $\tau_{mix}$ 次，其中 $\tau_{mix}$ 是达到固定点所需的混合时间。

实现过程中利用二阶 Trotter 分解来模拟随时间变化的演化，从而避免了对反向哈密顿演化或复杂控制逻辑的需求。

核心贡献

• 架构简单： 该算法仅需要单个辅助比特和前向哈密顿演化，使其非常适合早期容错和混合模拟-数字设备。
• 严格的固定点保证： 作者证明，通过精心设计浴状态、耦合算符和采样分布，可以使量子通道 $\Phi$ 的固定点与目标态之间任意接近。
• 混合时间分析： 本文为几类具有物理相关性的哈密顿量建立了严格的多项式混合时间界限，解决了算法简洁性与理论严谨性之间的矛盾。
• 端到端效率： 通过结合固定点误差界限与混合时间结果，作者提供了完整的复杂度分析，表明对于特定模型，总运行时间随系统规模和逆精度呈多项式缩放。

结果

论文提出了关于所提算法效率和正确性的三个主要定理：

1. 固定点逼近（定理 1）： 对于任何目标精度 $\epsilon$，存在参数选择，使得通道的固定点与目标态之间的迹距离至多为 $\epsilon$。总哈密顿量演化时间被限制为混合时间、逆温度（或能隙）以及 $1/\epsilon$ 的多项式。
2. 热态混合（定理 2）： 对于非相互作用自旋系统、二次费米子系统（在恒定 $\beta$ 下）以及局部对易自旋系统（在高温下），混合时间按 $\text{poly}(N, 1/\epsilon)$ 缩放。
3. 基态混合（定理 3）： 对于非相互作用自旋系统和二次费米子系统的基态制备，混合时间同样按 $\text{poly}(N, 1/\epsilon)$ 缩放。

分析依赖于证明离散量子通道 $\Phi$ 近似于连续时间 Lindblad 动力学。一个关键的技术贡献是证明，即使在增加 $\sigma$ 以减小固定点误差时，混合时间仍保持有界（独立于滤波器宽度参数 $\sigma$）。这是通过设计相互作用，使其在允许产生大能量跃迁的同时，保持对近似固定点的扰动很小来实现的。

意义与主张

作者声称这项工作提供了系统-浴相互作用框架内，针对热态和基态制备的首个端到端效率保证。具体而言：

• 这是第一个在该框架下为热态和基态制备建立严格混合时间保证的研究，为相关研究中观察到的经验结果奠定了理论基础。
• 该算法避免了高阶 Lindblad 模拟的复杂性（后者通常需要时间反向演化和许多辅助比特），同时保持了严格的性能保证。
• 该协议可作为耗散工程和纠错协同设计的基准，因为它测试了硬件利用极简电路支持向稳定固定点进行长时间演化的能力。
• 这项工作表明，弱系统-浴相互作用框架可以被视为一种近似的、低阶的 Lindblad 模拟方法，为早期容错设备提供了一条切实可行的路径。

论文承认，虽然目前的实现使用了二阶 Trotter 化（这可能导致与高阶方法相比的渐近减速），但架构的简洁性是针对近期设备的 primary 优势。文中还指出，如果反向演化在特定硬件上变得高效，未来的改进可能会涉及更高阶的 Trotter 化。